Science.gov

Sample records for agreement origin verifications

  1. 19 CFR 181.71 - Denial of preferential tariff treatment dependent on origin verification and determination.

    Code of Federal Regulations, 2012 CFR

    2012-04-01

    ... on origin verification and determination. 181.71 Section 181.71 Customs Duties U.S. CUSTOMS AND... FREE TRADE AGREEMENT Origin Verifications and Determinations § 181.71 Denial of preferential tariff treatment dependent on origin verification and determination. Except where a Certificate of Origin either...

  2. Direct Reading Particle Counters: Calibration Verification and Multiple Instrument Agreement via Bump Testing

    SciTech Connect

    Jankovic, John; Zontek, Tracy L.; Ogle, Burton R.; Hollenbeck, Scott

    2015-01-27

    We examined the calibration records of two direct reading instruments designated as condensation particle counters in order to determine the number of times they were found to be out of tolerance at annual manufacturer's recalibration. For both instruments were found to be out of tolerance more times than within tolerance. And, it was concluded that annual calibration alone was insufficient to provide operational confidence in an instrument's response. Thus, a method based on subsequent agreement with data gathered from a newly calibrated instrument was developed to confirm operational readiness between annual calibrations, hereafter referred to as bump testing. The method consists of measuring source particles produced by a gas grille spark igniter in a gallon-size jar. Sampling from this chamber with a newly calibrated instrument to determine the calibrated response over the particle concentration range of interest serves as a reference. Agreement between this reference response and subsequent responses at later dates implies that the instrument is performing as it was at the time of calibration. Side-by-side sampling allows the level of agreement between two or more instruments to be determined. This is useful when simultaneously collected data are compared for differences, i.e., background with process aerosol concentrations. A reference set of data was obtained using the spark igniter. The generation system was found to be reproducible and suitable to form the basis of calibration verification. Finally, the bump test is simple enough to be performed periodically throughout the calibration year or prior to field monitoring.

  3. Direct Reading Particle Counters: Calibration Verification and Multiple Instrument Agreement via Bump Testing.

    PubMed

    Jankovic, John; Zontek, Tracy L; Ogle, Burton R; Hollenbeck, Scott

    2015-01-01

    The calibration records of two direct reading instruments designated as condensation particle counters were examined to determine the number of times they were found to be out of tolerance at annual manufacturer's recalibration. Both instruments were found to be out of tolerance more times than within tolerance. And, it was concluded that annual calibration alone was insufficient to provide operational confidence in an instrument's response. Therefore, a method based on subsequent agreement with data gathered from a newly calibrated instrument was developed to confirm operational readiness between annual calibrations, hereafter referred to as bump testing. The method consists of measuring source particles produced by a gas grille spark igniter in a gallon-size jar. Sampling from this chamber with a newly calibrated instrument to determine the calibrated response over the particle concentration range of interest serves as a reference. Agreement between this reference response and subsequent responses at later dates implies that the instrument is performing as it was at the time of calibration. Side-by-side sampling allows the level of agreement between two or more instruments to be determined. This is useful when simultaneously collected data are compared for differences, i.e., background with process aerosol concentrations. A reference set of data was obtained using the spark igniter. The generation system was found to be reproducible and suitable to form the basis of calibration verification. The bump test is simple enough to be performed periodically throughout the calibration year or prior to field monitoring.

  4. Direct Reading Particle Counters: Calibration Verification and Multiple Instrument Agreement via Bump Testing

    DOE PAGES

    Jankovic, John; Zontek, Tracy L.; Ogle, Burton R.; Hollenbeck, Scott

    2015-01-27

    We examined the calibration records of two direct reading instruments designated as condensation particle counters in order to determine the number of times they were found to be out of tolerance at annual manufacturer's recalibration. For both instruments were found to be out of tolerance more times than within tolerance. And, it was concluded that annual calibration alone was insufficient to provide operational confidence in an instrument's response. Thus, a method based on subsequent agreement with data gathered from a newly calibrated instrument was developed to confirm operational readiness between annual calibrations, hereafter referred to as bump testing. The methodmore » consists of measuring source particles produced by a gas grille spark igniter in a gallon-size jar. Sampling from this chamber with a newly calibrated instrument to determine the calibrated response over the particle concentration range of interest serves as a reference. Agreement between this reference response and subsequent responses at later dates implies that the instrument is performing as it was at the time of calibration. Side-by-side sampling allows the level of agreement between two or more instruments to be determined. This is useful when simultaneously collected data are compared for differences, i.e., background with process aerosol concentrations. A reference set of data was obtained using the spark igniter. The generation system was found to be reproducible and suitable to form the basis of calibration verification. Finally, the bump test is simple enough to be performed periodically throughout the calibration year or prior to field monitoring.« less

  5. 23 CFR 630.110 - Modification of original agreement.

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ... unless specifically authorized by statute. (b) The STD may develop the modification of project agreement in a format acceptable to both the STD and the FHWA provided the following are included: (1) The... of officials from both the State and the FHWA and date executed. (c) The STD may use an...

  6. 76 FR 4126 - Credit Watch Termination Initiative Termination of Origination Approval Agreements

    Federal Register 2010, 2011, 2012, 2013, 2014

    2011-01-24

    .... SUMMARY: This notice advises of the cause and effect of termination of Origination Approval Agreements..., 1999 HUD published a notice (64 FR 26769), on its procedures for terminating Origination Approval.... Cause: HUD's regulations permit HUD to terminate the Agreement with any mortgagee having a default...

  7. 77 FR 38818 - Credit Watch Termination Initiative; Termination of Origination Approval Agreements

    Federal Register 2010, 2011, 2012, 2013, 2014

    2012-06-29

    .... SUMMARY: This notice advises of the cause and effect of termination of Origination Approval Agreements... published a notice (64 FR 26769), on its procedures for terminating Origination Approval Agreements with FHA... taken by HUD's Mortgagee Review Board under HUD's regulations at 24 CFR part 25. Cause:...

  8. 77 FR 5263 - Credit Watch Termination Initiative Termination of Origination Approval Agreements

    Federal Register 2010, 2011, 2012, 2013, 2014

    2012-02-02

    .... SUMMARY: This notice advises of the cause and effect of termination of Origination Approval Agreements... published a notice (64 FR 26769), on its procedures for terminating Origination Approval Agreements with FHA... taken by HUD's Mortgagee Review Board under HUD's regulations at 24 CFR part 25. Cause:...

  9. 75 FR 67387 - Credit Watch Termination Initiative Termination of Origination Approval Agreements

    Federal Register 2010, 2011, 2012, 2013, 2014

    2010-11-02

    .... SUMMARY: This notice advises of the cause and effect of termination of Origination Approval Agreements..., 1999 HUD published a notice (64 FR 26769), on its procedures for terminating Origination Approval.... Cause: HUD's regulations permit HUD to terminate the Agreement with any mortgagee having a default...

  10. 76 FR 22120 - Credit Watch Termination Initiative; Termination of Origination Approval Agreements

    Federal Register 2010, 2011, 2012, 2013, 2014

    2011-04-20

    .... SUMMARY: This notice advises of the cause and effect of termination of Origination Approval Agreements... 17, 1999 HUD published a notice (64 FR 26769), on its procedures for terminating Origination Approval.... Cause: HUD's regulations permit HUD to terminate the Agreement with any mortgagee having a default...

  11. 76 FR 38406 - Credit Watch Termination Initiative; Termination of Origination Approval Agreements

    Federal Register 2010, 2011, 2012, 2013, 2014

    2011-06-30

    .... SUMMARY: This notice advises of the cause and effect of termination of Origination Approval Agreements..., 1999 HUD published a notice (64 FR 26769), on its procedures for terminating Origination Approval.... Cause: HUD's regulations permit HUD to terminate the Agreement with any mortgagee having a default...

  12. 75 FR 61164 - Credit Watch Termination Initiative Termination of Origination Approval Agreements

    Federal Register 2010, 2011, 2012, 2013, 2014

    2010-10-04

    ..., 1999 HUD published a notice (64 FR 26769), on its procedures for terminating Origination Approval.... SUMMARY: This notice advises of the cause and effect of termination of Origination Approval Agreements.... Cause: HUD's regulations permit HUD to terminate the Agreement with any mortgagee having a default...

  13. Verification of the agreement of two dosimetric methods with radioiodine therapy in hyperthyroid patients

    SciTech Connect

    Canzi, Cristina; Zito, Felicia; Voltini, Franco; Reschini, Eugenio; Gerundini, Paolo

    2006-08-15

    . Greater discrepancies were found with the fixed-{lambda}{sub eff} method, in which {delta}D ranged from -69 to 95% (-202 to 88 Gy, respectively). In hyperthyroid patients, the five uptake value dosimetric method is able to predict with a good agreement the radioiodine kinetics and the dose after the therapeutic administration in about 73% of the analyzed thyroid structures. The fixed-{lambda}{sub eff} method is less reliable.

  14. 19 CFR 10.473 - Issuance of negative origin determinations.

    Code of Federal Regulations, 2014 CFR

    2014-04-01

    ... 19 Customs Duties 1 2014-04-01 2014-04-01 false Issuance of negative origin determinations. 10.473... Free Trade Agreement Origin Verifications and Determinations § 10.473 Issuance of negative origin determinations. If CBP determines, as a result of an origin verification initiated under this subpart, that...

  15. 19 CFR 10.3028 - Issuance of negative origin determinations.

    Code of Federal Regulations, 2014 CFR

    2014-04-01

    ... 19 Customs Duties 1 2014-04-01 2014-04-01 false Issuance of negative origin determinations. 10...-Colombia Trade Promotion Agreement Origin Verifications and Determinations § 10.3028 Issuance of negative origin determinations. If, as a result of an origin verification initiated under this subpart,...

  16. 19 CFR 10.1028 - Issuance of negative origin determinations.

    Code of Federal Regulations, 2014 CFR

    2014-04-01

    ... 19 Customs Duties 1 2014-04-01 2014-04-01 false Issuance of negative origin determinations. 10... Free Trade Agreement Origin Verifications and Determinations § 10.1028 Issuance of negative origin determinations. If, as a result of an origin verification initiated under this subpart, CBP determines that...

  17. 19 CFR 10.825 - Issuance of negative origin determinations.

    Code of Federal Regulations, 2014 CFR

    2014-04-01

    ... 19 Customs Duties 1 2014-04-01 2014-04-01 false Issuance of negative origin determinations. 10.825... Free Trade Agreement Origin Verifications and Determinations § 10.825 Issuance of negative origin determinations. If, as a result of an origin verification initiated under this subpart, CBP determines that...

  18. 19 CFR 10.888 - Issuance of negative origin determinations.

    Code of Federal Regulations, 2011 CFR

    2011-04-01

    ... 19 Customs Duties 1 2011-04-01 2011-04-01 false Issuance of negative origin determinations. 10.888... Free Trade Agreement Origin Verifications and Determinations § 10.888 Issuance of negative origin determinations. If, as a result of an origin verification initiated under this subpart, CBP determines that...

  19. 19 CFR 10.551 - Issuance of negative origin determinations.

    Code of Federal Regulations, 2014 CFR

    2014-04-01

    ... 19 Customs Duties 1 2014-04-01 2014-04-01 false Issuance of negative origin determinations. 10.551...-Singapore Free Trade Agreement Origin Verifications and Determinations § 10.551 Issuance of negative origin determinations. If, as a result of an origin verification initiated under § 10.550 of this subpart, CBP denies...

  20. 19 CFR 10.473 - Issuance of negative origin determinations.

    Code of Federal Regulations, 2011 CFR

    2011-04-01

    ... 19 Customs Duties 1 2011-04-01 2011-04-01 false Issuance of negative origin determinations. 10.473... Free Trade Agreement Origin Verifications and Determinations § 10.473 Issuance of negative origin determinations. If CBP determines, as a result of an origin verification initiated under this subpart, that...

  1. 19 CFR 10.888 - Issuance of negative origin determinations.

    Code of Federal Regulations, 2014 CFR

    2014-04-01

    ... 19 Customs Duties 1 2014-04-01 2014-04-01 false Issuance of negative origin determinations. 10.888... Free Trade Agreement Origin Verifications and Determinations § 10.888 Issuance of negative origin determinations. If, as a result of an origin verification initiated under this subpart, CBP determines that...

  2. 19 CFR 10.551 - Issuance of negative origin determinations.

    Code of Federal Regulations, 2011 CFR

    2011-04-01

    ... 19 Customs Duties 1 2011-04-01 2011-04-01 false Issuance of negative origin determinations. 10.551...-Singapore Free Trade Agreement Origin Verifications and Determinations § 10.551 Issuance of negative origin determinations. If, as a result of an origin verification initiated under § 10.550 of this subpart, CBP denies...

  3. 19 CFR 10.2028 - Issuance of negative origin determinations.

    Code of Federal Regulations, 2014 CFR

    2014-04-01

    ... 19 Customs Duties 1 2014-04-01 2014-04-01 false Issuance of negative origin determinations. 10... Trade Promotion Agreement Origin Verifications and Determinations § 10.2028 Issuance of negative origin determinations. If, as a result of an origin verification initiated under this subpart, CBP determines that...

  4. 19 CFR 10.825 - Issuance of negative origin determinations.

    Code of Federal Regulations, 2011 CFR

    2011-04-01

    ... 19 Customs Duties 1 2011-04-01 2011-04-01 false Issuance of negative origin determinations. 10.825... Free Trade Agreement Origin Verifications and Determinations § 10.825 Issuance of negative origin determinations. If, as a result of an origin verification initiated under this subpart, CBP determines that...

  5. Electronic portal imaging registration in breast cancer radiotherapy verification: analysis of inter-observer agreement among different categories of health practitioners.

    PubMed

    Jereczek-Fossa, B A; Santoro, L; Colangione, S P; Morselli, L; Fodor, C; Vischioni, B; Rozza, D; Leppa, A; Cambria, R; Leonardi, M C; Morra, A; Baroni, G; Zurrida, S; Orecchia, R

    2013-01-01

    Electronic portal imaging (EPI) is commonly used to identify and correct for inter-fraction variability in tangential breast irradiation. Based on the institutional policy, EPI registration is performed by either radiation oncologist or therapist. Little data is available on the inter-observer agreement in EPI registration among different health practitioners. The aim of our study was to analyze inter-observer agreement among radiation oncologists and therapists in the evaluation of EPI for breast cancer radiotherapy verification. EPI data of 40 patients treated with tangential fields were independently reviewed by a radiation oncologist (on-line, just before treatment) and off-line by junior and senior therapists. Displacement of each EPI image with respect to the digital reconstructed radiographs (DRRs) was quantified using manual EPI registration based on bony marks with the corresponding DRRs. Agreement between observers was evaluated using weighted Cohen's Kappa statistics. In 95% out of 720 EPI-DRR comparisons, the EPI-DRR misalignment was < 5 mm. The difference between observers was < 2 mm in 666 (92.5%) out of all 720 delta values. High inter-observer agreement was found, with weighted Cohen's Kappa values attesting evaluation overlaps ranging from moderate (among therapists) to almost perfect (among radiation oncologist and therapists). The high agreement among the observers demonstrated the precision of breast localization using EPI. These findings suggest that routine EPI-based patient set-up verification in breast cancer radiotherapy can be safely entrusted to trained therapists (supervision should be assured based on the local tasks definition). Our study might be useful in quality assurance and in the optimization of workload in the radiotherapy departments. They might allow for wider implementation of complex and evolving radiotherapy technologies. PMID:23374000

  6. 19 CFR 10.825 - Issuance of negative origin determinations.

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ... Free Trade Agreement Origin Verifications and Determinations § 10.825 Issuance of negative origin... issue a determination in writing or via an authorized electronic data interchange system to the...

  7. 19 CFR 10.473 - Issuance of negative origin determinations.

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ... Free Trade Agreement Origin Verifications and Determinations § 10.473 Issuance of negative origin... determination in writing or via an authorized electronic data interchange system to the importer that sets...

  8. 19 CFR 10.551 - Issuance of negative origin determinations.

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ...-Singapore Free Trade Agreement Origin Verifications and Determinations § 10.551 Issuance of negative origin... in writing or via an authorized electronic data interchange system to the importer that sets...

  9. 19 CFR 10.785 - Issuance of negative origin determinations.

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ... Free Trade Agreement Origin Verifications and Determinations § 10.785 Issuance of negative origin... issue a determination in writing or via an authorized electronic data interchange system to the...

  10. Evaluating the agreement between recordings and simulation results: use of both seismological and engineering criteria within the framework of Euroseistest Verification and Validation Project (E2VP)

    NASA Astrophysics Data System (ADS)

    Maufroy, Emeline; Chaljub, Emmanuel; Bard, Pierre-Yves; Hollender, Fabrice

    2013-04-01

    Numerical prediction of the ground motion is a major challenge for seismic hazard assessment, especially in regions of low to moderate seismicity where only few data are available. With the continuous improvement of the 3-D numerical methods and the increase of computational power, it is now possible to simulate earthquake ground motion even for realistic configurations, for example large models (size of tens of kilometers) including low shear wave velocities (< 200 m/s) and site effects up to 4-5 Hz. However at those frequencies the ground motion is affected by a large variety of features: for examples lithology of the rocks, geometry of the free surface and of the near-surface structures, damping. The diversity and the potential combination of these features slow down the understanding of the ground motion in the high-frequency range and thus increase the difficulty to obtain a satisfying agreement between predicted and recorded waveforms. We perform a comparison exercise between recorded waveforms and their predictions by 3-D numerical methods. This work is based on the international project E2VP (Euroseistest Verification and Validation Project) on the Mygdonian basin, northwest of Thessaloniki, Greece. It is not so simple to decide the criteria of what is good or poor agreement between recordings and their numerical predictions. The experience in E2VP shows the answer could be a matter of point of view. Our goal is to evaluate the reliability of the simulation tools for civil engineering design purposes, but it is definitely necessary to include the seismologist point of view as well; their expertise is essential in order to identify the reason of discrepancy between recordings and their numerical predictions, and thus to suggest ways of improvement. We discuss on the respective interest of several seismological and engineering parameters (including PGA, elastic spectral acceleration, Arias intensity, relative significant duration, transfer functions, and full

  11. 19 CFR 10.550 - Verification and justification of claim for preferential treatment.

    Code of Federal Regulations, 2014 CFR

    2014-04-01

    .... United States-Singapore Free Trade Agreement Origin Verifications and Determinations § 10.550... directly to CBP; (4) Visits to the premises of the exporter or producer in Singapore, in accordance...

  12. 19 CFR 10.550 - Verification and justification of claim for preferential treatment.

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    .... United States-Singapore Free Trade Agreement Origin Verifications and Determinations § 10.550... directly to CBP; (4) Visits to the premises of the exporter or producer in Singapore, in accordance...

  13. 19 CFR 10.550 - Verification and justification of claim for preferential treatment.

    Code of Federal Regulations, 2012 CFR

    2012-04-01

    .... United States-Singapore Free Trade Agreement Origin Verifications and Determinations § 10.550... directly to CBP; (4) Visits to the premises of the exporter or producer in Singapore, in accordance...

  14. 19 CFR 10.550 - Verification and justification of claim for preferential treatment.

    Code of Federal Regulations, 2013 CFR

    2013-04-01

    .... United States-Singapore Free Trade Agreement Origin Verifications and Determinations § 10.550... directly to CBP; (4) Visits to the premises of the exporter or producer in Singapore, in accordance...

  15. 19 CFR 10.550 - Verification and justification of claim for preferential treatment.

    Code of Federal Regulations, 2011 CFR

    2011-04-01

    .... United States-Singapore Free Trade Agreement Origin Verifications and Determinations § 10.550... directly to CBP; (4) Visits to the premises of the exporter or producer in Singapore, in accordance...

  16. 19 CFR 10.926 - Verification and justification of claim for preferential tariff treatment.

    Code of Federal Regulations, 2012 CFR

    2012-04-01

    ... RATE, ETC. United States-Peru Trade Promotion Agreement Origin Verifications and Determinations § 10... premises of the exporter or producer in the territory of Peru, to review the records of the type...

  17. 19 CFR 10.926 - Verification and justification of claim for preferential tariff treatment.

    Code of Federal Regulations, 2013 CFR

    2013-04-01

    ... RATE, ETC. United States-Peru Trade Promotion Agreement Origin Verifications and Determinations § 10... premises of the exporter or producer in the territory of Peru, to review the records of the type...

  18. 19 CFR 10.926 - Verification and justification of claim for preferential tariff treatment.

    Code of Federal Regulations, 2014 CFR

    2014-04-01

    ... RATE, ETC. United States-Peru Trade Promotion Agreement Origin Verifications and Determinations § 10... premises of the exporter or producer in the territory of Peru, to review the records of the type...

  19. 19 CFR 10.618 - Issuance of negative origin determinations.

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ...-Central America-United States Free Trade Agreement Origin Verifications and Determinations § 10.618... subpart should be denied, it will issue a determination in writing or via an authorized electronic...

  20. 19 CFR 181.74 - Verification visit procedures.

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ... THE TREASURY (CONTINUED) NORTH AMERICAN FREE TRADE AGREEMENT Origin Verifications and Determinations... Principles applied in the producer's country, CBP may deny preferential tariff treatment on the good based... presence of observers shall in no way affect the right to have legal counsel or other advisors...

  1. 19 CFR 181.75 - Issuance of origin determination.

    Code of Federal Regulations, 2013 CFR

    2013-04-01

    ... 19 Customs Duties 2 2013-04-01 2013-04-01 false Issuance of origin determination. 181.75 Section... OF THE TREASURY (CONTINUED) NORTH AMERICAN FREE TRADE AGREEMENT Origin Verifications and Determinations § 181.75 Issuance of origin determination. (a) General. Except in the case of a pattern of...

  2. 19 CFR 181.75 - Issuance of origin determination.

    Code of Federal Regulations, 2014 CFR

    2014-04-01

    ... 19 Customs Duties 2 2014-04-01 2014-04-01 false Issuance of origin determination. 181.75 Section... OF THE TREASURY (CONTINUED) NORTH AMERICAN FREE TRADE AGREEMENT Origin Verifications and Determinations § 181.75 Issuance of origin determination. (a) General. Except in the case of a pattern of...

  3. 19 CFR 181.76 - Application of origin determinations.

    Code of Federal Regulations, 2013 CFR

    2013-04-01

    ... 19 Customs Duties 2 2013-04-01 2013-04-01 false Application of origin determinations. 181.76...; DEPARTMENT OF THE TREASURY (CONTINUED) NORTH AMERICAN FREE TRADE AGREEMENT Origin Verifications and Determinations § 181.76 Application of origin determinations. (a) General. Except as otherwise provided in...

  4. 19 CFR 181.76 - Application of origin determinations.

    Code of Federal Regulations, 2012 CFR

    2012-04-01

    ... 19 Customs Duties 2 2012-04-01 2012-04-01 false Application of origin determinations. 181.76...; DEPARTMENT OF THE TREASURY (CONTINUED) NORTH AMERICAN FREE TRADE AGREEMENT Origin Verifications and Determinations § 181.76 Application of origin determinations. (a) General. Except as otherwise provided in...

  5. 19 CFR 181.75 - Issuance of origin determination.

    Code of Federal Regulations, 2011 CFR

    2011-04-01

    ... 19 Customs Duties 2 2011-04-01 2011-04-01 false Issuance of origin determination. 181.75 Section... OF THE TREASURY (CONTINUED) NORTH AMERICAN FREE TRADE AGREEMENT Origin Verifications and Determinations § 181.75 Issuance of origin determination. (a) General. Except in the case of a pattern of...

  6. 19 CFR 181.76 - Application of origin determinations.

    Code of Federal Regulations, 2011 CFR

    2011-04-01

    ... 19 Customs Duties 2 2011-04-01 2011-04-01 false Application of origin determinations. 181.76...; DEPARTMENT OF THE TREASURY (CONTINUED) NORTH AMERICAN FREE TRADE AGREEMENT Origin Verifications and Determinations § 181.76 Application of origin determinations. (a) General. Except as otherwise provided in...

  7. 19 CFR 181.76 - Application of origin determinations.

    Code of Federal Regulations, 2014 CFR

    2014-04-01

    ... 19 Customs Duties 2 2014-04-01 2014-04-01 false Application of origin determinations. 181.76...; DEPARTMENT OF THE TREASURY (CONTINUED) NORTH AMERICAN FREE TRADE AGREEMENT Origin Verifications and Determinations § 181.76 Application of origin determinations. (a) General. Except as otherwise provided in...

  8. Hybrid Enrichment Verification Array: Investigations of the High-Energy Gamma-Ray Signature Origin and Use for Partial Defect Detection

    SciTech Connect

    Kulisek, Jonathan A.; Jordan, David V.; Mace, Emily K.; McDonald, Benjamin S.; Smith, Leon E.

    2014-06-11

    The International Atomic Energy Agency (IAEA) is exploring the use of an Unattended Cylinder Verification Station (UCVS) to provide independent verification of the declared relative 235U enrichment, 235U mass and total uranium mass of the declared UF6 cylinders moving through modern centrifuge enrichment plants. The Hybrid Enrichment Verification Array (HEVA) method is a candidate nondestructive assay method for inclusion in a UCVS. Modeling and measured data from several field campaigns have demonstrated the potential of the HEVA method to assay relative cylinder enrichment with a precision comparable to or substantially better than today’s high-resolution handheld devices. The HEVA instrument is comprised of an array of sodium iodide gamma-ray detectors that measure two primary spectral components. One of these components is the traditional, direct, weakly-penetrating 235U gamma-ray signature, which contains the 186 keV photopeak. The other spectral component is a non-traditional, high-energy (above ~3 MeV) gamma-ray signature, which is generated indirectly from neutrons emitted from within the UF6 cylinder. These neutrons are more penetrating and create high-energy gamma rays through neutron capture reactions in the steel collimators surrounding the detectors and within the detector crystals. This paper will present results from Monte Carlo simulations and analyses of the HEVA method with a focus on the origins of this high-energy signature, the optimization of instrument design to enhance the signature, and the ability of this non-traditional signature to reveal partial defect scenarios wherein material is missing or substituted in the interior of the cylinder.

  9. 75 FR 68153 - To Adjust the Rules of Origin Under the United States-Bahrain Free Trade Agreement, Implement...

    Federal Register 2010, 2011, 2012, 2013, 2014

    2010-11-04

    .... 2703a) (CBERA), as amended by the Haiti Economic Lift Program Act of 2010 (Public Law 111-171, 124 Stat... provided for apparel and other articles originating in Haiti that are imported directly from Haiti or...

  10. Verification and arms control

    SciTech Connect

    Potter, W.C.

    1985-01-01

    Recent years have witnessed an increased stress upon the verification of arms control agreements, both as a technical problem and as a political issue. As one contribution here points out, the middle ground has shrunk between those who are persuaded that the Soviets are ''cheating'' and those who are willing to take some verification risks for the sake of achieving arms control. One angle, according to a Lawrence Livermore physicist who served as a member of the delegation to the various test-ban treaty negotiations, is the limited effectiveness of on-site inspection as compared to other means of verification.

  11. 19 CFR 10.928 - Issuance of negative origin determinations.

    Code of Federal Regulations, 2012 CFR

    2012-04-01

    ... 19 Customs Duties 1 2012-04-01 2012-04-01 false Issuance of negative origin determinations. 10.928 Section 10.928 Customs Duties U.S. CUSTOMS AND BORDER PROTECTION, DEPARTMENT OF HOMELAND SECURITY... Trade Promotion Agreement Origin Verifications and Determinations § 10.928 Issuance of negative...

  12. 19 CFR 10.888 - Issuance of negative origin determinations.

    Code of Federal Regulations, 2012 CFR

    2012-04-01

    ... 19 Customs Duties 1 2012-04-01 2012-04-01 false Issuance of negative origin determinations. 10.888 Section 10.888 Customs Duties U.S. CUSTOMS AND BORDER PROTECTION, DEPARTMENT OF HOMELAND SECURITY... Free Trade Agreement Origin Verifications and Determinations § 10.888 Issuance of negative...

  13. 19 CFR 10.473 - Issuance of negative origin determinations.

    Code of Federal Regulations, 2013 CFR

    2013-04-01

    ... 19 Customs Duties 1 2013-04-01 2013-04-01 false Issuance of negative origin determinations. 10.473 Section 10.473 Customs Duties U.S. CUSTOMS AND BORDER PROTECTION, DEPARTMENT OF HOMELAND SECURITY... Free Trade Agreement Origin Verifications and Determinations § 10.473 Issuance of negative...

  14. 19 CFR 10.3028 - Issuance of negative origin determinations.

    Code of Federal Regulations, 2013 CFR

    2013-04-01

    ... 19 Customs Duties 1 2013-04-01 2013-04-01 false Issuance of negative origin determinations. 10.3028 Section 10.3028 Customs Duties U.S. CUSTOMS AND BORDER PROTECTION, DEPARTMENT OF HOMELAND SECURITY...-Colombia Trade Promotion Agreement Origin Verifications and Determinations § 10.3028 Issuance of...

  15. 19 CFR 10.473 - Issuance of negative origin determinations.

    Code of Federal Regulations, 2012 CFR

    2012-04-01

    ... 19 Customs Duties 1 2012-04-01 2012-04-01 false Issuance of negative origin determinations. 10.473 Section 10.473 Customs Duties U.S. CUSTOMS AND BORDER PROTECTION, DEPARTMENT OF HOMELAND SECURITY... Free Trade Agreement Origin Verifications and Determinations § 10.473 Issuance of negative...

  16. 19 CFR 10.785 - Issuance of negative origin determinations.

    Code of Federal Regulations, 2013 CFR

    2013-04-01

    ... 19 Customs Duties 1 2013-04-01 2013-04-01 false Issuance of negative origin determinations. 10.785 Section 10.785 Customs Duties U.S. CUSTOMS AND BORDER PROTECTION, DEPARTMENT OF HOMELAND SECURITY... Free Trade Agreement Origin Verifications and Determinations § 10.785 Issuance of negative...

  17. 19 CFR 10.551 - Issuance of negative origin determinations.

    Code of Federal Regulations, 2012 CFR

    2012-04-01

    ... 19 Customs Duties 1 2012-04-01 2012-04-01 false Issuance of negative origin determinations. 10.551 Section 10.551 Customs Duties U.S. CUSTOMS AND BORDER PROTECTION, DEPARTMENT OF HOMELAND SECURITY...-Singapore Free Trade Agreement Origin Verifications and Determinations § 10.551 Issuance of negative...

  18. 19 CFR 10.785 - Issuance of negative origin determinations.

    Code of Federal Regulations, 2012 CFR

    2012-04-01

    ... 19 Customs Duties 1 2012-04-01 2012-04-01 false Issuance of negative origin determinations. 10.785 Section 10.785 Customs Duties U.S. CUSTOMS AND BORDER PROTECTION, DEPARTMENT OF HOMELAND SECURITY... Free Trade Agreement Origin Verifications and Determinations § 10.785 Issuance of negative...

  19. 19 CFR 10.1028 - Issuance of negative origin determinations.

    Code of Federal Regulations, 2012 CFR

    2012-04-01

    ... 19 Customs Duties 1 2012-04-01 2012-04-01 false Issuance of negative origin determinations. 10.1028 Section 10.1028 Customs Duties U.S. CUSTOMS AND BORDER PROTECTION, DEPARTMENT OF HOMELAND SECURITY... Free Trade Agreement Origin Verifications and Determinations § 10.1028 Issuance of negative...

  20. 19 CFR 10.551 - Issuance of negative origin determinations.

    Code of Federal Regulations, 2013 CFR

    2013-04-01

    ... 19 Customs Duties 1 2013-04-01 2013-04-01 false Issuance of negative origin determinations. 10.551 Section 10.551 Customs Duties U.S. CUSTOMS AND BORDER PROTECTION, DEPARTMENT OF HOMELAND SECURITY...-Singapore Free Trade Agreement Origin Verifications and Determinations § 10.551 Issuance of negative...

  1. 19 CFR 10.825 - Issuance of negative origin determinations.

    Code of Federal Regulations, 2012 CFR

    2012-04-01

    ... 19 Customs Duties 1 2012-04-01 2012-04-01 false Issuance of negative origin determinations. 10.825 Section 10.825 Customs Duties U.S. CUSTOMS AND BORDER PROTECTION, DEPARTMENT OF HOMELAND SECURITY... Free Trade Agreement Origin Verifications and Determinations § 10.825 Issuance of negative...

  2. 19 CFR 10.928 - Issuance of negative origin determinations.

    Code of Federal Regulations, 2013 CFR

    2013-04-01

    ... 19 Customs Duties 1 2013-04-01 2013-04-01 false Issuance of negative origin determinations. 10.928 Section 10.928 Customs Duties U.S. CUSTOMS AND BORDER PROTECTION, DEPARTMENT OF HOMELAND SECURITY... Trade Promotion Agreement Origin Verifications and Determinations § 10.928 Issuance of negative...

  3. 19 CFR 10.888 - Issuance of negative origin determinations.

    Code of Federal Regulations, 2013 CFR

    2013-04-01

    ... 19 Customs Duties 1 2013-04-01 2013-04-01 false Issuance of negative origin determinations. 10.888 Section 10.888 Customs Duties U.S. CUSTOMS AND BORDER PROTECTION, DEPARTMENT OF HOMELAND SECURITY... Free Trade Agreement Origin Verifications and Determinations § 10.888 Issuance of negative...

  4. 19 CFR 10.1028 - Issuance of negative origin determinations.

    Code of Federal Regulations, 2013 CFR

    2013-04-01

    ... 19 Customs Duties 1 2013-04-01 2013-04-01 false Issuance of negative origin determinations. 10.1028 Section 10.1028 Customs Duties U.S. CUSTOMS AND BORDER PROTECTION, DEPARTMENT OF HOMELAND SECURITY... Free Trade Agreement Origin Verifications and Determinations § 10.1028 Issuance of negative...

  5. 19 CFR 10.825 - Issuance of negative origin determinations.

    Code of Federal Regulations, 2013 CFR

    2013-04-01

    ... 19 Customs Duties 1 2013-04-01 2013-04-01 false Issuance of negative origin determinations. 10.825 Section 10.825 Customs Duties U.S. CUSTOMS AND BORDER PROTECTION, DEPARTMENT OF HOMELAND SECURITY... Free Trade Agreement Origin Verifications and Determinations § 10.825 Issuance of negative...

  6. Origins.

    ERIC Educational Resources Information Center

    Online-Offline, 1999

    1999-01-01

    Provides an annotated list of resources dealing with the theme of origins of life, the universe, and traditions. Includes Web sites, videos, books, audio materials, and magazines with appropriate grade levels and/or subject disciplines indicated; professional resources; and learning activities. (LRW)

  7. 19 CFR 181.75 - Issuance of origin determination.

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ... the origin verification, Customs shall provide the exporter or producer whose good is the subject of... calendar days after conclusion of the origin verification process, unless circumstances require...

  8. Origins.

    PubMed

    Weinberg, S

    1985-10-01

    The farthest of the galaxies that can be seen through the large ground-based telescopes of modern astronomy, such as those on La Palma in the Canary Islands, are so far away that they appear as they did close to the time of the origin of the universe, perhaps some 10 billion years ago. Much has been learned, and much has still to be learned, about the young universe from optical and radio telescopes, but these instruments cannot be used to look directly at the universe in its first few hundred thousand years. Instead, they are used to search the relatively recent past for relics of much earlier times. Together with experiments planned for the next generation of elementary particle accelerators, astronomical observations should continue to extend what is known about the universe backward in time to the Big Bang and may eventually help to reveal the origins of the physical laws that govern the universe.

  9. 7 CFR 983.67 - Random verification audits.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... Agreements and Orders; Fruits, Vegetables, Nuts), DEPARTMENT OF AGRICULTURE PISTACHIOS GROWN IN CALIFORNIA...' pistachio inventory shall be subject to random verification audits by the committee to ensure...

  10. 7 CFR 983.67 - Random verification audits.

    Code of Federal Regulations, 2011 CFR

    2011-01-01

    ... Agreements and Orders; Fruits, Vegetables, Nuts), DEPARTMENT OF AGRICULTURE PISTACHIOS GROWN IN CALIFORNIA...' pistachio inventory shall be subject to random verification audits by the committee to ensure...

  11. 7 CFR 983.67 - Random verification audits.

    Code of Federal Regulations, 2012 CFR

    2012-01-01

    ... Agreements and Orders; Fruits, Vegetables, Nuts), DEPARTMENT OF AGRICULTURE PISTACHIOS GROWN IN CALIFORNIA...' pistachio inventory shall be subject to random verification audits by the committee to ensure...

  12. 7 CFR 983.67 - Random verification audits.

    Code of Federal Regulations, 2013 CFR

    2013-01-01

    ... AGREEMENTS AND ORDERS; FRUITS, VEGETABLES, NUTS), DEPARTMENT OF AGRICULTURE PISTACHIOS GROWN IN CALIFORNIA...' pistachio inventory shall be subject to random verification audits by the committee to ensure...

  13. 7 CFR 983.67 - Random verification audits.

    Code of Federal Regulations, 2014 CFR

    2014-01-01

    ... AGREEMENTS AND ORDERS; FRUITS, VEGETABLES, NUTS), DEPARTMENT OF AGRICULTURE PISTACHIOS GROWN IN CALIFORNIA...' pistachio inventory shall be subject to random verification audits by the committee to ensure...

  14. Verification and transparency in future arms control

    SciTech Connect

    Pilat, J.F.

    1996-09-01

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

  15. Geometric verification

    NASA Technical Reports Server (NTRS)

    Grebowsky, G. J.

    1982-01-01

    Present LANDSAT data formats are reviewed to clarify how the geodetic location and registration capabilities were defined for P-tape products and RBV data. Since there is only one geometric model used in the master data processor, geometric location accuracy of P-tape products depends on the absolute accuracy of the model and registration accuracy is determined by the stability of the model. Due primarily to inaccuracies in data provided by the LANDSAT attitude management system, desired accuracies are obtained only by using ground control points and a correlation process. The verification of system performance with regards to geodetic location requires the capability to determine pixel positions of map points in a P-tape array. Verification of registration performance requires the capability to determine pixel positions of common points (not necessarily map points) in 2 or more P-tape arrays for a given world reference system scene. Techniques for registration verification can be more varied and automated since map data are not required. The verification of LACIE extractions is used as an example.

  16. 76 FR 30499 - To Modify the Rules of Origin for the United States-Singapore Free Trade Agreement, and for Other...

    Federal Register 2010, 2011, 2012, 2013, 2014

    2011-05-25

    ....014 TD25MY11.015 ] TD25MY11.016 [FR Doc. 2011-13171 Filed 5-24-11; 11:15 am] Billing code 7020-02-C ...-Singapore Free Trade Agreement, and for Other Purposes By the President of the United States of America A Proclamation 1. On May 6, 2003, the President entered into the United States-Singapore Free Trade...

  17. Swarm Verification

    NASA Technical Reports Server (NTRS)

    Holzmann, Gerard J.; Joshi, Rajeev; Groce, Alex

    2008-01-01

    Reportedly, supercomputer designer Seymour Cray once said that he would sooner use two strong oxen to plow a field than a thousand chickens. Although this is undoubtedly wise when it comes to plowing a field, it is not so clear for other types of tasks. Model checking problems are of the proverbial "search the needle in a haystack" type. Such problems can often be parallelized easily. Alas, none of the usual divide and conquer methods can be used to parallelize the working of a model checker. Given that it has become easier than ever to gain access to large numbers of computers to perform even routine tasks it is becoming more and more attractive to find alternate ways to use these resources to speed up model checking tasks. This paper describes one such method, called swarm verification.

  18. Criteria for monitoring a chemical arms treaty: Implications for the verification regime. Report No. 13

    SciTech Connect

    Mullen, M.F.; Apt, K.E.; Stanbro, W.D.

    1991-12-01

    The multinational Chemical Weapons Convention (CWC) being negotiated at the Conference on Disarmament in Geneva is viewed by many as an effective way to rid the world of the threat of chemical weapons. Parties could, however, legitimately engage in certain CW-related activities in industry, agriculture, research, medicine, and law enforcement. Treaty verification requirements related to declared activities include: confirming destruction of declared CW stockpiles and production facilities; monitoring legitimate, treaty-allowed activities, such as production of certain industrial chemicals; and, detecting proscribed activities within the declared locations of treaty signatories, e.g., the illegal production of CW agents at a declared industrial facility or the diversion or substitution of declared CW stockpile items. Verification requirements related to undeclared activities or locations include investigating possible clandestine CW stocks and production capability not originally declared by signatories; detecting clandestine, proscribed activities at facilities or sites that are not declared and hence not subject to routine inspection; and, investigating allegations of belligerent use of CW. We discuss here a possible set of criteria for assessing the effectiveness of CWC verification (and certain aspects of the bilateral CW reduction agreement). Although the criteria are applicable to the full range of verification requirements, the discussion emphasizes verification of declared activities and sites.

  19. Criteria for monitoring a chemical arms treaty: Implications for the verification regime

    SciTech Connect

    Mullen, M.F.; Apt, K.E.; Stanbro, W.D.

    1991-12-01

    The multinational Chemical Weapons Convention (CWC) being negotiated at the Conference on Disarmament in Geneva is viewed by many as an effective way to rid the world of the threat of chemical weapons. Parties could, however, legitimately engage in certain CW-related activities in industry, agriculture, research, medicine, and law enforcement. Treaty verification requirements related to declared activities include: confirming destruction of declared CW stockpiles and production facilities; monitoring legitimate, treaty-allowed activities, such as production of certain industrial chemicals; and, detecting proscribed activities within the declared locations of treaty signatories, e.g., the illegal production of CW agents at a declared industrial facility or the diversion or substitution of declared CW stockpile items. Verification requirements related to undeclared activities or locations include investigating possible clandestine CW stocks and production capability not originally declared by signatories; detecting clandestine, proscribed activities at facilities or sites that are not declared and hence not subject to routine inspection; and, investigating allegations of belligerent use of CW. We discuss here a possible set of criteria for assessing the effectiveness of CWC verification (and certain aspects of the bilateral CW reduction agreement). Although the criteria are applicable to the full range of verification requirements, the discussion emphasizes verification of declared activities and sites.

  20. 30 CFR 1227.601 - What are a State's responsibilities if it performs automated verification?

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... in the Standards or your delegation agreement; (d) Access well, lease, agreement, and production... automated verification? To perform automated verification of production reports or royalty reports, you must..., as specified in the Standards or your delegation agreement; (b) Resolve and respond to all...

  1. Disseminated neoplastic cells in Mytilus trossulus: verification of host species origin by (16S-like) rRNA sequence comparison.

    PubMed

    Gee, A; Specht, J M; Kerk, D; Moore, J D; Drum, A S; Elston, R A

    1994-02-01

    Disseminated neoplasia is a leukemia-like disease that occurs in many species of bivalve molluscs worldwide, including the bay mussel (Mytilus trossulus). The etiology of the disease is undetermined, but an early report proposed that the anomalous bivalve cells were actually an invasive parasite rather than cancerous cells of host origin. Comparison of partial sequences of small subunit rRNA from normal and putative cancer cells was performed to resolve this issue. These studies showed a close phylogenetic relationship of the different forms of cancer cells to each other (similarity coefficient, 0.982), to the normal hemocytes (similarity coefficient, 0.990, 0.992), and to the oyster, Crassostrea virginica (similarity coefficient, 0.895-0.927). A large phylogenetic distance separates all 3 mussel hemocyte types from several representative protists (similarity coefficient, 0.702-0.761). These results indicate that the disseminated neoplastic cells in mussels are indeed proliferative host cells and not unicellular parasites.

  2. Model-based verification of hypotheses on the origin of modern Japanese revisited by Bayesian inference based on genome-wide SNP data.

    PubMed

    Nakagome, Shigeki; Sato, Takehiro; Ishida, Hajime; Hanihara, Tsunehiko; Yamaguchi, Tetsutaro; Kimura, Ryosuke; Mano, Shuhei; Oota, Hiroki

    2015-06-01

    Various hypotheses for the peopling of the Japanese archipelago have been proposed, which can be classified into three models: transformation, replacement, and hybridization. In recent years, one of the hybridization models ("dual-structure model") has been widely accepted. According to this model, Neolithic hunter-gatherers known as Jomon, who are assumed to have originated in southeast Asia and lived in the Japanese archipelago greater than 10,000 years ago, admixed with an agricultural people known as Yayoi, whom were migrants from the East Asian continent 2,000-3,000 years ago. Meanwhile, some anthropologists propose that rather, morphological differences between the Jomon and Yayoi people can be explained by microevolution following the lifestyle change. To resolve this controversy, we compared three demographic models by approximate Bayesian computation using genome-wide single nucleotide polymorphism (gwSNP) data from the Ainu people who are thought to be direct descendants of indigenous Jomon. If we assume Chinese people sampled in Beijing from HapMap have the same ancestry as Yayoi, then the hybridization model is predicted to be between 29 and 63 times more likely than the replacement and transformation models, respectively. Furthermore, our data provide strong support for a model in which the Jomon lineages had population structure diversified in local areas before the admixture event. Initial divergence between the Jomon and Yayoi ancestries was dated to late Pleistocene, followed by the divergence of Jomon lineages at early Holocene. These results suggest gwSNP data provides a detailed picture of the complex hybridization model for Japanese population history.

  3. Generic Verification Protocol for Verification of Online Turbidimeters

    EPA Science Inventory

    This protocol provides generic procedures for implementing a verification test for the performance of online turbidimeters. The verification tests described in this document will be conducted under the Environmental Technology Verification (ETV) Program. Verification tests will...

  4. 10 CFR 60.47 - Facility information and verification.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... 10 Energy 2 2010-01-01 2010-01-01 false Facility information and verification. 60.47 Section 60.47 Energy NUCLEAR REGULATORY COMMISSION (CONTINUED) DISPOSAL OF HIGH-LEVEL RADIOACTIVE WASTES IN GEOLOGIC REPOSITORIES Licenses Us/iaea Safeguards Agreement § 60.47 Facility information and verification. (a)...

  5. 10 CFR 60.47 - Facility information and verification.

    Code of Federal Regulations, 2012 CFR

    2012-01-01

    ... 10 Energy 2 2012-01-01 2012-01-01 false Facility information and verification. 60.47 Section 60.47 Energy NUCLEAR REGULATORY COMMISSION (CONTINUED) DISPOSAL OF HIGH-LEVEL RADIOACTIVE WASTES IN GEOLOGIC REPOSITORIES Licenses Us/iaea Safeguards Agreement § 60.47 Facility information and verification. (a)...

  6. 10 CFR 60.47 - Facility information and verification.

    Code of Federal Regulations, 2014 CFR

    2014-01-01

    ... 10 Energy 2 2014-01-01 2014-01-01 false Facility information and verification. 60.47 Section 60.47 Energy NUCLEAR REGULATORY COMMISSION (CONTINUED) DISPOSAL OF HIGH-LEVEL RADIOACTIVE WASTES IN GEOLOGIC REPOSITORIES Licenses Us/iaea Safeguards Agreement § 60.47 Facility information and verification. (a)...

  7. 10 CFR 60.47 - Facility information and verification.

    Code of Federal Regulations, 2011 CFR

    2011-01-01

    ... 10 Energy 2 2011-01-01 2011-01-01 false Facility information and verification. 60.47 Section 60.47 Energy NUCLEAR REGULATORY COMMISSION (CONTINUED) DISPOSAL OF HIGH-LEVEL RADIOACTIVE WASTES IN GEOLOGIC REPOSITORIES Licenses Us/iaea Safeguards Agreement § 60.47 Facility information and verification. (a)...

  8. 10 CFR 60.47 - Facility information and verification.

    Code of Federal Regulations, 2013 CFR

    2013-01-01

    ... 10 Energy 2 2013-01-01 2013-01-01 false Facility information and verification. 60.47 Section 60.47 Energy NUCLEAR REGULATORY COMMISSION (CONTINUED) DISPOSAL OF HIGH-LEVEL RADIOACTIVE WASTES IN GEOLOGIC REPOSITORIES Licenses Us/iaea Safeguards Agreement § 60.47 Facility information and verification. (a)...

  9. Columbus pressurized module verification

    NASA Technical Reports Server (NTRS)

    Messidoro, Piero; Comandatore, Emanuele

    1986-01-01

    The baseline verification approach of the COLUMBUS Pressurized Module was defined during the A and B1 project phases. Peculiarities of the verification program are the testing requirements derived from the permanent manned presence in space. The model philosophy and the test program have been developed in line with the overall verification concept. Such critical areas as meteoroid protections, heat pipe radiators and module seals are identified and tested. Verification problem areas are identified and recommendations for the next development are proposed.

  10. Verification of VLSI designs

    NASA Technical Reports Server (NTRS)

    Windley, P. J.

    1991-01-01

    In this paper we explore the specification and verification of VLSI designs. The paper focuses on abstract specification and verification of functionality using mathematical logic as opposed to low-level boolean equivalence verification such as that done using BDD's and Model Checking. Specification and verification, sometimes called formal methods, is one tool for increasing computer dependability in the face of an exponentially increasing testing effort.

  11. Application Agreement and Integration Services

    NASA Technical Reports Server (NTRS)

    Driscoll, Kevin R.; Hall, Brendan; Schweiker, Kevin

    2013-01-01

    Application agreement and integration services are required by distributed, fault-tolerant, safety critical systems to assure required performance. An analysis of distributed and hierarchical agreement strategies are developed against the backdrop of observed agreement failures in fielded systems. The documented work was performed under NASA Task Order NNL10AB32T, Validation And Verification of Safety-Critical Integrated Distributed Systems Area 2. This document is intended to satisfy the requirements for deliverable 5.2.11 under Task 4.2.2.3. This report discusses the challenges of maintaining application agreement and integration services. A literature search is presented that documents previous work in the area of replica determinism. Sources of non-deterministic behavior are identified and examples are presented where system level agreement failed to be achieved. We then explore how TTEthernet services can be extended to supply some interesting application agreement frameworks. This document assumes that the reader is familiar with the TTEthernet protocol. The reader is advised to read the TTEthernet protocol standard [1] before reading this document. This document does not re-iterate the content of the standard.

  12. Verification of Adaptive Systems

    SciTech Connect

    Pullum, Laura L; Cui, Xiaohui; Vassev, Emil; Hinchey, Mike; Rouff, Christopher; Buskens, Richard

    2012-01-01

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

  13. Benchmark testing and independent verification of the VS2DT computer code

    SciTech Connect

    McCord, J.T.; Goodrich, M.T.

    1994-11-01

    The finite difference flow and transport simulator VS2DT was benchmark tested against several other codes which solve the same equations (Richards equation for flow and the Advection-Dispersion equation for transport). The benchmark problems investigated transient two-dimensional flow in a heterogeneous soil profile with a localized water source at the ground surface. The VS2DT code performed as well as or better than all other codes when considering mass balance characteristics and computational speed. It was also rated highly relative to the other codes with regard to ease-of-use. Following the benchmark study, the code was verified against two analytical solutions, one for two-dimensional flow and one for two-dimensional transport. These independent verifications show reasonable agreement with the analytical solutions, and complement the one-dimensional verification problems published in the code`s original documentation.

  14. Benchmark testing and independent verification of the VS2DT computer code

    NASA Astrophysics Data System (ADS)

    McCord, James T.; Goodrich, Michael T.

    1994-11-01

    The finite difference flow and transport simulator VS2DT was benchmark tested against several other codes which solve the same equations (Richards equation for flow and the Advection-Dispersion equation for transport). The benchmark problems investigated transient two-dimensional flow in a heterogeneous soil profile with a localized water source at the ground surface. The VS2DT code performed as well as or better than all other codes when considering mass balance characteristics and computational speed. It was also rated highly relative to the other codes with regard to ease-of-use. Following the benchmark study, the code was verified against two analytical solutions, one for two-dimensional flow and one for two-dimensional transport. These independent verifications show reasonable agreement with the analytical solutions, and complement the one-dimensional verification problems published in the code's original documentation.

  15. Programmable RET Mask Layout Verification

    NASA Astrophysics Data System (ADS)

    Beale, Daniel F.; Mayhew, Jeffrey P.; Rieger, Michael L.; Tang, Zongwu

    2002-12-01

    Emerging resolution enhancement techniques (RET) and OPC are dramatically increasing the complexity of mask layouts and, in turn, mask verification. Mask shapes needed to achieve required results on the wafer diverge significantly from corresponding shapes in the physical design, and in some cases a single chip layer may be decomposed into two masks used in multiple exposures. The mask verification challenge is to certify that a RET-synthesized mask layout will produce an acceptable facsimile of the design intent expressed in the design layout. Furthermore costs, tradeoffs between mask-complexity, design intent, targeted process latitude, and other factors are playing a growing role in helping to control rising mask costs. All of these considerations must in turn be incorporated into the mask layout verification strategy needed for data prep sign-off. In this paper we describe a technique for assessing the lithographic quality of mask layouts for diverse RET methods while effectively accommodating various manufacturing objectives and specifications. It leverages the familiar DRC paradigm for identifying errors and producing DRC-like error shapes in its output layout. It integrates a unique concept of "check figures" - layer-based geometries that dictate where and how simulations of shapes on the wafer are to be compared to the original desired layout. We will show how this provides a highly programmable environment that makes it possible to engage in "compound" check strategies that vary based on design intent and adaptive simulation with multiple checks. Verification may be applied at the "go/no go" level or can be used to build a body of data for quantitative analysis of lithographic behavior at multiple process conditions or for specific user-defined critical features. In addition, we will outline automated methods that guide the selection of input parameters controlling specific verification strategies.

  16. 78 FR 32431 - Notice of Submission of Proposed Information Collection to OMB; Enterprise Income Verification...

    Federal Register 2010, 2011, 2012, 2013, 2014

    2013-05-30

    ... Verification (EIV) System User Access Authorization Form and Rules of Behavior and User Agreement AGENCY... Verification (EIV) System User Access Authorization Form and Rules of Behavior and User Agreement. OMB Approval..., as initially published on July 20, 2005, in the Federal Register at page 41780 (70 FR 41780)...

  17. Simulation verification techniques study

    NASA Technical Reports Server (NTRS)

    Schoonmaker, P. B.; Wenglinski, T. H.

    1975-01-01

    Results are summarized of the simulation verification techniques study which consisted of two tasks: to develop techniques for simulator hardware checkout and to develop techniques for simulation performance verification (validation). The hardware verification task involved definition of simulation hardware (hardware units and integrated simulator configurations), survey of current hardware self-test techniques, and definition of hardware and software techniques for checkout of simulator subsystems. The performance verification task included definition of simulation performance parameters (and critical performance parameters), definition of methods for establishing standards of performance (sources of reference data or validation), and definition of methods for validating performance. Both major tasks included definition of verification software and assessment of verification data base impact. An annotated bibliography of all documents generated during this study is provided.

  18. Software verification and testing

    NASA Technical Reports Server (NTRS)

    1985-01-01

    General procedures for software verification and validation are provided as a guide for managers, programmers, and analysts involved in software development. The verification and validation procedures described are based primarily on testing techniques. Testing refers to the execution of all or part of a software system for the purpose of detecting errors. Planning, execution, and analysis of tests are outlined in this document. Code reading and static analysis techniques for software verification are also described.

  19. 19 CFR 10.784 - Verification and justification of claim for preferential treatment.

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ... accounting principles. When conducting a verification of origin to which Generally Accepted Accounting Principles may be relevant, CBP will apply and accept the Generally Accepted Accounting Principles...

  20. 19 CFR 10.824 - Verification and justification of claim for preferential treatment.

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ... accounting principles. When conducting a verification of origin to which Generally Accepted Accounting Principles may be relevant, CBP will apply and accept the Generally Accepted Accounting Principles...

  1. Monitoring and verification R&D

    SciTech Connect

    Pilat, Joseph F; Budlong - Sylvester, Kory W; Fearey, Bryan L

    2011-01-01

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

  2. Formal verification of an oral messages algorithm for interactive consistency

    NASA Technical Reports Server (NTRS)

    Rushby, John

    1992-01-01

    The formal specification and verification of an algorithm for Interactive Consistency based on the Oral Messages algorithm for Byzantine Agreement is described. We compare our treatment with that of Bevier and Young, who presented a formal specification and verification for a very similar algorithm. Unlike Bevier and Young, who observed that 'the invariant maintained in the recursive subcases of the algorithm is significantly more complicated than is suggested by the published proof' and who found its formal verification 'a fairly difficult exercise in mechanical theorem proving,' our treatment is very close to the previously published analysis of the algorithm, and our formal specification and verification are straightforward. This example illustrates how delicate choices in the formulation of the problem can have significant impact on the readability of its formal specification and on the tractability of its formal verification.

  3. Dose Verification in IMRT and VMAT

    SciTech Connect

    Feygelman, Vladimir; Nelms, Benjamin E.

    2011-05-05

    This is a review paper of the current IMRT dosimetric verification methods, with the emphasis on the solid state dosimeters. Different types of IMRT treatments and the associated quality assurance challenges are described. The prevailing techniques of quantifying dosimetric agreement and their weaknesses in terms of clinical relevance are discussed. A variety of empirical, semi-empirical, and purely calculational methods are summarized from a clinical practice point of view. A number of available commercial devices and emerging technologies are described.

  4. Verification of RADTRAN

    SciTech Connect

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

    1995-12-31

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

  5. Voltage verification unit

    DOEpatents

    Martin, Edward J.

    2008-01-15

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

  6. Complementary technologies for verification of excess plutonium

    SciTech Connect

    Langner, , D.G.; Nicholas, N.J.; Ensslin, N.; Fearey, B.L.; Mitchell, D.J.; Marlow, K.W.; Luke, S.J.; Gosnell, T.B.

    1998-12-31

    Three complementary measurement technologies have been identified as candidates for use in the verification of excess plutonium of weapons origin. These technologies: high-resolution gamma-ray spectroscopy, neutron multiplicity counting, and low-resolution gamma-ray spectroscopy, are mature, robust technologies. The high-resolution gamma-ray system, Pu-600, uses the 630--670 keV region of the emitted gamma-ray spectrum to determine the ratio of {sup 240}Pu to {sup 239}Pu. It is useful in verifying the presence of plutonium and the presence of weapons-grade plutonium. Neutron multiplicity counting is well suited for verifying that the plutonium is of a safeguardable quantity and is weapons-quality material, as opposed to residue or waste. In addition, multiplicity counting can independently verify the presence of plutonium by virtue of a measured neutron self-multiplication and can detect the presence of non-plutonium neutron sources. The low-resolution gamma-ray spectroscopic technique is a template method that can provide continuity of knowledge that an item that enters the a verification regime remains under the regime. In the initial verification of an item, multiple regions of the measured low-resolution spectrum form a unique, gamma-radiation-based template for the item that can be used for comparison in subsequent verifications. In this paper the authors discuss these technologies as they relate to the different attributes that could be used in a verification regime.

  7. Hybrid plan verification for intensity-modulated radiation therapy (IMRT) using the 2D ionization chamber array I'mRT MatriXX--a feasibility study.

    PubMed

    Dobler, Barbara; Streck, Natalia; Klein, Elisabeth; Loeschel, Rainer; Haertl, Petra; Koelbl, Oliver

    2010-01-21

    The 2D ionization chamber array I'mRT MatriXX (IBA, Schwarzenbruck, Germany) has been developed for absolute 2D dosimetry and verification of intensity-modulated radiation therapy (IMRT) for perpendicular beam incidence. The aim of this study is to evaluate the applicability of I'mRT MatriXX for oblique beam incidence and hybrid plan verification of IMRT with original gantry angles. For the assessment of angular dependence, open fields with gantry angles in steps of 10 degrees were calculated on a CT scan of I'mRT MatriXX. For hybrid plan verification, 17 clinical IMRT plans and one rotational plan were used. Calculations were performed with pencil beam (PB), collapsed cone (CC) and Monte Carlo (MC) methods, which had been previously validated. Measurements were conducted on an Elekta SynergyS linear accelerator. To assess the potential and limitations of the system, gamma evaluation was performed with different dose tolerances and distances to agreement. Hybrid plan verification passed the gamma test with 4% dose tolerance and 3 mm distance to agreement in all cases, in 82-88% of the cases for tolerances of 3%/3 mm, and in 59-76% of the cases if 3%/2 mm were used. Separate evaluation of the low dose and high dose regions showed that I'mRT MatriXX can be used for hybrid plan verification of IMRT plans within 3% dose tolerance and 3 mm distance to agreement with a relaxed dose tolerance of 4% in the low dose region outside the multileaf collimator (MLC).

  8. Agreement among 2 x 2 Agreement Indices.

    ERIC Educational Resources Information Center

    Conger, Anthony J.; Ward, David G.

    1984-01-01

    Sixteen measures of reliability for two-category nominal scales are compared. Upon correcting for chance agreement, there are only five distinct indices: Fleiss's modification of A-sub-1, the phi coefficient, Cohen's kappa, and two intraclass coefficients. Recommendations for choosing an agreement index are made based on definitions, magnitude,…

  9. 77 FR 68121 - Notice of Agreements Filed

    Federal Register 2010, 2011, 2012, 2013, 2014

    2012-11-15

    ... trade between Puerto Rico and the Dominican Republic. Agreement No.: 012186. Title: Crowley/Priority Ro... trade between Puerto Rico and the Dominican Republic for cargo originating in Puerto Rico as well as...

  10. 24 CFR 7.43 - Settlement agreements.

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ... and/or their designees; and (4) Otherwise comply with 29 CFR part 1614. (b) Any settlement agreement... Regard to Race, Color Religion, Sex, National Origin, Age, Disability or Reprisal Remedies,...

  11. 24 CFR 7.43 - Settlement agreements.

    Code of Federal Regulations, 2013 CFR

    2013-04-01

    ... and/or their designees; and (4) Otherwise comply with 29 CFR part 1614. (b) Any settlement agreement... Regard to Race, Color Religion, Sex, National Origin, Age, Disability or Reprisal Remedies,...

  12. 24 CFR 7.43 - Settlement agreements.

    Code of Federal Regulations, 2011 CFR

    2011-04-01

    ... and/or their designees; and (4) Otherwise comply with 29 CFR part 1614. (b) Any settlement agreement... Regard to Race, Color Religion, Sex, National Origin, Age, Disability or Reprisal Remedies,...

  13. 24 CFR 7.43 - Settlement agreements.

    Code of Federal Regulations, 2012 CFR

    2012-04-01

    ... and/or their designees; and (4) Otherwise comply with 29 CFR part 1614. (b) Any settlement agreement... Regard to Race, Color Religion, Sex, National Origin, Age, Disability or Reprisal Remedies,...

  14. 24 CFR 7.43 - Settlement agreements.

    Code of Federal Regulations, 2014 CFR

    2014-04-01

    ... and/or their designees; and (4) Otherwise comply with 29 CFR part 1614. (b) Any settlement agreement... Regard to Race, Color Religion, Sex, National Origin, Age, Disability or Reprisal Remedies,...

  15. Nuclear disarmament verification

    SciTech Connect

    DeVolpi, A.

    1993-12-31

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

  16. Explaining Verification Conditions

    NASA Technical Reports Server (NTRS)

    Deney, Ewen; Fischer, Bernd

    2006-01-01

    The Hoare approach to program verification relies on the construction and discharge of verification conditions (VCs) but offers no support to trace, analyze, and understand the VCs themselves. We describe a systematic extension of the Hoare rules by labels so that the calculus itself can be used to build up explanations of the VCs. The labels are maintained through the different processing steps and rendered as natural language explanations. The explanations can easily be customized and can capture different aspects of the VCs; here, we focus on their structure and purpose. The approach is fully declarative and the generated explanations are based only on an analysis of the labels rather than directly on the logical meaning of the underlying VCs or their proofs. Keywords: program verification, Hoare calculus, traceability.

  17. Wind gust warning verification

    NASA Astrophysics Data System (ADS)

    Primo, Cristina

    2016-07-01

    Operational meteorological centres around the world increasingly include warnings as one of their regular forecast products. Warnings are issued to warn the public about extreme weather situations that might occur leading to damages and losses. In forecasting these extreme events, meteorological centres help their potential users in preventing the damage or losses they might suffer. However, verifying these warnings requires specific methods. This is due not only to the fact that they happen rarely, but also because a new temporal dimension is added when defining a warning, namely the time window of the forecasted event. This paper analyses the issues that might appear when dealing with warning verification. It also proposes some new verification approaches that can be applied to wind warnings. These new techniques are later applied to a real life example, the verification of wind gust warnings at the German Meteorological Centre ("Deutscher Wetterdienst"). Finally, the results obtained from the latter are discussed.

  18. Verification and validation benchmarks.

    SciTech Connect

    Oberkampf, William Louis; Trucano, Timothy Guy

    2007-02-01

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

  19. Verification of Ceramic Structures

    NASA Astrophysics Data System (ADS)

    Behar-Lafenetre, Stephanie; Cornillon, Laurence; Rancurel, Michael; De Graaf, Dennis; Hartmann, Peter; Coe, Graham; Laine, Benoit

    2012-07-01

    In the framework of the “Mechanical Design and Verification Methodologies for Ceramic Structures” contract [1] awarded by ESA, Thales Alenia Space has investigated literature and practices in affiliated industries to propose a methodological guideline for verification of ceramic spacecraft and instrument structures. It has been written in order to be applicable to most types of ceramic or glass-ceramic materials - typically Cesic®, HBCesic®, Silicon Nitride, Silicon Carbide and ZERODUR®. The proposed guideline describes the activities to be performed at material level in order to cover all the specific aspects of ceramics (Weibull distribution, brittle behaviour, sub-critical crack growth). Elementary tests and their post-processing methods are described, and recommendations for optimization of the test plan are given in order to have a consistent database. The application of this method is shown on an example in a dedicated article [7]. Then the verification activities to be performed at system level are described. This includes classical verification activities based on relevant standard (ECSS Verification [4]), plus specific analytical, testing and inspection features. The analysis methodology takes into account the specific behaviour of ceramic materials, especially the statistical distribution of failures (Weibull) and the method to transfer it from elementary data to a full-scale structure. The demonstration of the efficiency of this method is described in a dedicated article [8]. The verification is completed by classical full-scale testing activities. Indications about proof testing, case of use and implementation are given and specific inspection and protection measures are described. These additional activities are necessary to ensure the required reliability. The aim of the guideline is to describe how to reach the same reliability level as for structures made of more classical materials (metals, composites).

  20. 75 FR 4101 - Enterprise Income Verification (EIV) System User Access Authorization Form and Rules of Behavior...

    Federal Register 2010, 2011, 2012, 2013, 2014

    2010-01-26

    ... the Chief Information Officer. BILLING CODE 4210-67-P ... URBAN DEVELOPMENT Enterprise Income Verification (EIV) System User Access Authorization Form and Rules of Behavior and User Agreement AGENCY: Office of the Chief Information Officer, HUD. ACTION:...

  1. Requirement Assurance: A Verification Process

    NASA Technical Reports Server (NTRS)

    Alexander, Michael G.

    2011-01-01

    Requirement Assurance is an act of requirement verification which assures the stakeholder or customer that a product requirement has produced its "as realized product" and has been verified with conclusive evidence. Product requirement verification answers the question, "did the product meet the stated specification, performance, or design documentation?". In order to ensure the system was built correctly, the practicing system engineer must verify each product requirement using verification methods of inspection, analysis, demonstration, or test. The products of these methods are the "verification artifacts" or "closure artifacts" which are the objective evidence needed to prove the product requirements meet the verification success criteria. Institutional direction is given to the System Engineer in NPR 7123.1A NASA Systems Engineering Processes and Requirements with regards to the requirement verification process. In response, the verification methodology offered in this report meets both the institutional process and requirement verification best practices.

  2. Systems Approach to Arms Control Verification

    SciTech Connect

    Allen, K; Neimeyer, I; Listner, C; Stein, G; Chen, C; Dreicer, M

    2015-05-15

    Using the decades of experience of developing concepts and technologies for verifying bilateral and multilateral arms control agreements, a broad conceptual systems approach is being developed that takes into account varying levels of information and risk. The IAEA has already demonstrated the applicability of a systems approach by implementing safeguards at the State level, with acquisition path analysis as the key element. In order to test whether such an approach could also be implemented for arms control verification, an exercise was conducted in November 2014 at the JRC ITU Ispra. Based on the scenario of a hypothetical treaty between two model nuclear weapons states aimed at capping their nuclear arsenals at existing levels, the goal of this exercise was to explore how to use acquisition path analysis in an arms control context. Our contribution will present the scenario, objectives and results of this exercise, and attempt to define future workshops aimed at further developing verification measures that will deter or detect treaty violations.

  3. Workgroup for Hydraulic laboratory Testing and Verification of Hydroacoustic Instrumentation

    USGS Publications Warehouse

    Fulford, Janice M.; Armstrong, Brandy N.; Thibodeaux, Kirk G.

    2015-01-01

    An international workgroup was recently formed for hydraulic laboratory testing and verification of hydroacoustic instrumentation used for water velocity measurements. The activities of the workgroup have included one face to face meeting, conference calls and an inter-laboratory exchange of two acoustic meters among participating laboratories. Good agreement was found among four laboratories at higher tow speeds and poorer agreement at the lowest tow speed.

  4. ENVIRONMENTAL TECHNOLOGY VERIFICATION PROGRAM

    EPA Science Inventory

    This presentation will be given at the EPA Science Forum 2005 in Washington, DC. The Environmental Technology Verification Program (ETV) was initiated in 1995 to speed implementation of new and innovative commercial-ready environemntal technologies by providing objective, 3rd pa...

  5. FPGA Verification Accelerator (FVAX)

    NASA Technical Reports Server (NTRS)

    Oh, Jane; Burke, Gary

    2008-01-01

    Is Verification Acceleration Possible? - Increasing the visibility of the internal nodes of the FPGA results in much faster debug time - Forcing internal signals directly allows a problem condition to be setup very quickly center dot Is this all? - No, this is part of a comprehensive effort to improve the JPL FPGA design and V&V process.

  6. Is flow verification necessary

    SciTech Connect

    Beetle, T.M.

    1986-01-01

    Safeguards test statistics are used in an attempt to detect diversion of special nuclear material. Under assumptions concerning possible manipulation (falsification) of safeguards accounting data, the effects on the statistics due to diversion and data manipulation are described algebraically. A comprehensive set of statistics that is capable of detecting any diversion of material is defined in terms of the algebraic properties of the effects. When the assumptions exclude collusion between persons in two material balance areas, then three sets of accounting statistics are shown to be comprehensive. Two of the sets contain widely known accountancy statistics. One of them does not require physical flow verification - comparisons of operator and inspector data for receipts and shipments. The third set contains a single statistic which does not require physical flow verification. In addition to not requiring technically difficult and expensive flow verification, this single statistic has several advantages over other comprehensive sets of statistics. This algebraic approach as an alternative to flow verification for safeguards accountancy is discussed in this paper.

  7. Telescope performance verification

    NASA Astrophysics Data System (ADS)

    Swart, Gerhard P.; Buckley, David A. H.

    2004-09-01

    While Systems Engineering appears to be widely applied on the very large telescopes, it is lacking in the development of many of the medium and small telescopes currently in progress. The latter projects rely heavily on the experience of the project team, verbal requirements and conjecture based on the successes and failures of other telescopes. Furthermore, it is considered an unaffordable luxury to "close-the-loop" by carefully analysing and documenting the requirements and then verifying the telescope's compliance with them. In this paper the authors contend that a Systems Engineering approach is a keystone in the development of any telescope and that verification of the telescope's performance is not only an important management tool but also forms the basis upon which successful telescope operation can be built. The development of the Southern African Large Telescope (SALT) has followed such an approach and is now in the verification phase of its development. Parts of the SALT verification process will be discussed in some detail to illustrate the suitability of this approach, including oversight by the telescope shareholders, recording of requirements and results, design verification and performance testing. Initial test results will be presented where appropriate.

  8. 10 CFR 63.47 - Facility information and verification.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... 10 Energy 2 2010-01-01 2010-01-01 false Facility information and verification. 63.47 Section 63.47 Energy NUCLEAR REGULATORY COMMISSION (CONTINUED) DISPOSAL OF HIGH-LEVEL RADIOACTIVE WASTES IN A GEOLOGIC REPOSITORY AT YUCCA MOUNTAIN, NEVADA Licenses Us/iaea Safeguards Agreement § 63.47 Facility information...

  9. 10 CFR 63.47 - Facility information and verification.

    Code of Federal Regulations, 2013 CFR

    2013-01-01

    ... 10 Energy 2 2013-01-01 2013-01-01 false Facility information and verification. 63.47 Section 63.47 Energy NUCLEAR REGULATORY COMMISSION (CONTINUED) DISPOSAL OF HIGH-LEVEL RADIOACTIVE WASTES IN A GEOLOGIC REPOSITORY AT YUCCA MOUNTAIN, NEVADA Licenses Us/iaea Safeguards Agreement § 63.47 Facility information...

  10. 10 CFR 63.47 - Facility information and verification.

    Code of Federal Regulations, 2012 CFR

    2012-01-01

    ... 10 Energy 2 2012-01-01 2012-01-01 false Facility information and verification. 63.47 Section 63.47 Energy NUCLEAR REGULATORY COMMISSION (CONTINUED) DISPOSAL OF HIGH-LEVEL RADIOACTIVE WASTES IN A GEOLOGIC REPOSITORY AT YUCCA MOUNTAIN, NEVADA Licenses Us/iaea Safeguards Agreement § 63.47 Facility information...

  11. 10 CFR 63.47 - Facility information and verification.

    Code of Federal Regulations, 2011 CFR

    2011-01-01

    ... 10 Energy 2 2011-01-01 2011-01-01 false Facility information and verification. 63.47 Section 63.47 Energy NUCLEAR REGULATORY COMMISSION (CONTINUED) DISPOSAL OF HIGH-LEVEL RADIOACTIVE WASTES IN A GEOLOGIC REPOSITORY AT YUCCA MOUNTAIN, NEVADA Licenses Us/iaea Safeguards Agreement § 63.47 Facility information...

  12. 10 CFR 63.47 - Facility information and verification.

    Code of Federal Regulations, 2014 CFR

    2014-01-01

    ... 10 Energy 2 2014-01-01 2014-01-01 false Facility information and verification. 63.47 Section 63.47 Energy NUCLEAR REGULATORY COMMISSION (CONTINUED) DISPOSAL OF HIGH-LEVEL RADIOACTIVE WASTES IN A GEOLOGIC REPOSITORY AT YUCCA MOUNTAIN, NEVADA Licenses Us/iaea Safeguards Agreement § 63.47 Facility information...

  13. 7 CFR 993.75 - Verification of reports.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... 7 Agriculture 8 2010-01-01 2010-01-01 false Verification of reports. 993.75 Section 993.75 Agriculture Regulations of the Department of Agriculture (Continued) AGRICULTURAL MARKETING SERVICE (Marketing Agreements and Orders; Fruits, Vegetables, Nuts), DEPARTMENT OF AGRICULTURE DRIED PRUNES PRODUCED...

  14. 7 CFR 929.64 - Verification of reports and records.

    Code of Federal Regulations, 2011 CFR

    2011-01-01

    ... 7 Agriculture 8 2011-01-01 2011-01-01 false Verification of reports and records. 929.64 Section 929.64 Agriculture Regulations of the Department of Agriculture (Continued) AGRICULTURAL MARKETING SERVICE (Marketing Agreements and Orders; Fruits, Vegetables, Nuts), DEPARTMENT OF AGRICULTURE...

  15. 7 CFR 929.64 - Verification of reports and records.

    Code of Federal Regulations, 2012 CFR

    2012-01-01

    ... 7 Agriculture 8 2012-01-01 2012-01-01 false Verification of reports and records. 929.64 Section 929.64 Agriculture Regulations of the Department of Agriculture (Continued) AGRICULTURAL MARKETING SERVICE (Marketing Agreements and Orders; Fruits, Vegetables, Nuts), DEPARTMENT OF AGRICULTURE...

  16. 7 CFR 929.64 - Verification of reports and records.

    Code of Federal Regulations, 2013 CFR

    2013-01-01

    ... 7 Agriculture 8 2013-01-01 2013-01-01 false Verification of reports and records. 929.64 Section 929.64 Agriculture Regulations of the Department of Agriculture (Continued) AGRICULTURAL MARKETING SERVICE (MARKETING AGREEMENTS AND ORDERS; FRUITS, VEGETABLES, NUTS), DEPARTMENT OF AGRICULTURE...

  17. 7 CFR 929.64 - Verification of reports and records.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... 7 Agriculture 8 2010-01-01 2010-01-01 false Verification of reports and records. 929.64 Section 929.64 Agriculture Regulations of the Department of Agriculture (Continued) AGRICULTURAL MARKETING SERVICE (Marketing Agreements and Orders; Fruits, Vegetables, Nuts), DEPARTMENT OF AGRICULTURE...

  18. 7 CFR 929.64 - Verification of reports and records.

    Code of Federal Regulations, 2014 CFR

    2014-01-01

    ... 7 Agriculture 8 2014-01-01 2014-01-01 false Verification of reports and records. 929.64 Section 929.64 Agriculture Regulations of the Department of Agriculture (Continued) AGRICULTURAL MARKETING SERVICE (MARKETING AGREEMENTS AND ORDERS; FRUITS, VEGETABLES, NUTS), DEPARTMENT OF AGRICULTURE...

  19. Multibody modeling and verification

    NASA Technical Reports Server (NTRS)

    Wiens, Gloria J.

    1989-01-01

    A summary of a ten week project on flexible multibody modeling, verification and control is presented. Emphasis was on the need for experimental verification. A literature survey was conducted for gathering information on the existence of experimental work related to flexible multibody systems. The first portion of the assigned task encompassed the modeling aspects of flexible multibodies that can undergo large angular displacements. Research in the area of modeling aspects were also surveyed, with special attention given to the component mode approach. Resulting from this is a research plan on various modeling aspects to be investigated over the next year. The relationship between the large angular displacements, boundary conditions, mode selection, and system modes is of particular interest. The other portion of the assigned task was the generation of a test plan for experimental verification of analytical and/or computer analysis techniques used for flexible multibody systems. Based on current and expected frequency ranges of flexible multibody systems to be used in space applications, an initial test article was selected and designed. A preliminary TREETOPS computer analysis was run to ensure frequency content in the low frequency range, 0.1 to 50 Hz. The initial specifications of experimental measurement and instrumentation components were also generated. Resulting from this effort is the initial multi-phase plan for a Ground Test Facility of Flexible Multibody Systems for Modeling Verification and Control. The plan focusses on the Multibody Modeling and Verification (MMV) Laboratory. General requirements of the Unobtrusive Sensor and Effector (USE) and the Robot Enhancement (RE) laboratories were considered during the laboratory development.

  20. 12 CFR 1291.9 - Agreements.

    Code of Federal Regulations, 2014 CFR

    2014-01-01

    ... or other legally enforceable retention agreement or mechanism described in this paragraph (a)(7); and... return below the cost of funds originally used by the Bank to calculate the interest rate subsidy... rate equal to the cost of funds originally used by the Bank to calculate the interest rate...

  1. Design and Realization of Controllable Ultrasonic Fault Detector Automatic Verification System

    NASA Astrophysics Data System (ADS)

    Sun, Jing-Feng; Liu, Hui-Ying; Guo, Hui-Juan; Shu, Rong; Wei, Kai-Li

    The ultrasonic flaw detection equipment with remote control interface is researched and the automatic verification system is developed. According to use extensible markup language, the building of agreement instruction set and data analysis method database in the system software realizes the controllable designing and solves the diversification of unreleased device interfaces and agreements. By using the signal generator and a fixed attenuator cascading together, a dynamic error compensation method is proposed, completes what the fixed attenuator does in traditional verification and improves the accuracy of verification results. The automatic verification system operating results confirms that the feasibility of the system hardware and software architecture design and the correctness of the analysis method, while changes the status of traditional verification process cumbersome operations, and reduces labor intensity test personnel.

  2. Improved Verification for Aerospace Systems

    NASA Technical Reports Server (NTRS)

    Powell, Mark A.

    2008-01-01

    Aerospace systems are subject to many stringent performance requirements to be verified with low risk. This report investigates verification planning using conditional approaches vice the standard classical statistical methods, and usage of historical surrogate data for requirement validation and in verification planning. The example used in this report to illustrate the results of these investigations is a proposed mission assurance requirement with the concomitant maximum acceptable verification risk for the NASA Constellation Program Orion Launch Abort System (LAS). This report demonstrates the following improvements: 1) verification planning using conditional approaches vice classical statistical methods results in plans that are more achievable and feasible; 2) historical surrogate data can be used to bound validation of performance requirements; and, 3) incorporation of historical surrogate data in verification planning using conditional approaches produces even less costly and more reasonable verification plans. The procedures presented in this report may produce similar improvements and cost savings in verification for any stringent performance requirement for an aerospace system.

  3. Nuclear Proliferation Using Laser Isotope Separation -- Verification Options

    SciTech Connect

    Erickson, S A

    2001-10-15

    Two levels of nonproliferation verification exist. Signatories of the basic agreements under the Nuclear Non-proliferation Treaty (NPT) agree to open their nuclear sites to inspection by the IAEA. A more detailed and intrusive level was developed following the determination that Iraq had begun a nuclear weapons development program that was not detected by the original level of verification methods. This level, referred to as 93+2 and detailed in model protocol INFCIRC/540, allows the IAEA to do environmental monitoring of non-declared facilities that are suspected of containing proliferation activity, and possibly further inspections, as well as allowing more detailed inspections of declared sites. 56 countries have signed a Strengthened Safeguards Systems Additional Protocol as of 16 July 2001. These additional inspections can be done on the instigation of the IAEA itself, or after requests by other parties to the NPT, based on information that they have collected. Since information able to cause suspicion of proliferation could arrive at any country, it is important that countries have procedures in place that will assist them in making decisions related to these inspections. Furthermore, IAEA inspection resources are limited, and therefore care needs to be taken to make best use of these resources. Most of the nonproliferation verification inspections may be concentrated on establishing that diversion of nuclear materials is not occurring, but some fraction will be related to determining if undeclared sites have nuclear materials production taking place within them. Of these, most suspicions will likely be related to the major existing technologies for uranium enrichment and reprocessing for plutonium extraction, as it would seem most likely that nations attempting proliferation would use tested means of producing nuclear materials. However, as technology continues to advance and new methods of enrichment and reprocessing are developed, inspection

  4. Overview of the TOPEX/Poseidon Platform Harvest Verification Experiment

    NASA Technical Reports Server (NTRS)

    Morris, Charles S.; DiNardo, Steven J.; Christensen, Edward J.

    1995-01-01

    An overview is given of the in situ measurement system installed on Texaco's Platform Harvest for verification of the sea level measurement from the TOPEX/Poseidon satellite. The prelaunch error budget suggested that the total root mean square (RMS) error due to measurements made at this verification site would be less than 4 cm. The actual error budget for the verification site is within these original specifications. However, evaluation of the sea level data from three measurement systems at the platform has resulted in unexpectedly large differences between the systems. Comparison of the sea level measurements from the different tide gauge systems has led to a better understanding of the problems of measuring sea level in relatively deep ocean. As of May 1994, the Platform Harvest verification site has successfully supported 60 TOPEX/Poseidon overflights.

  5. TFE Verification Program

    SciTech Connect

    Not Available

    1990-03-01

    The objective of the semiannual progress report is to summarize the technical results obtained during the latest reporting period. The information presented herein will include evaluated test data, design evaluations, the results of analyses and the significance of results. The program objective is to demonstrate the technology readiness of a TFE suitable for use as the basic element in a thermionic reactor with electric power output in the 0.5 to 5.0 MW(e) range, and a full-power life of 7 years. The TF Verification Program builds directly on the technology and data base developed in the 1960s and 1970s in an AEC/NASA program, and in the SP-100 program conducted in 1983, 1984 and 1985. In the SP-100 program, the attractive but concern was expressed over the lack of fast reactor irradiation data. The TFE Verification Program addresses this concern. The general logic and strategy of the program to achieve its objectives is shown on Fig. 1-1. Five prior programs form the basis for the TFE Verification Program: (1) AEC/NASA program of the 1960s and early 1970; (2) SP-100 concept development program;(3) SP-100 thermionic technology program; (4) Thermionic irradiations program in TRIGA in FY-86; (5) and Thermionic Technology Program in 1986 and 1987. 18 refs., 64 figs., 43 tabs.

  6. Theory verification and numerical benchmarking on neoclassical toroidal viscosity

    NASA Astrophysics Data System (ADS)

    Wang, Z. R.; Park, J.-K.; Liu, Y. Q.; Logan, N. C.; Menard, J. E.

    2013-10-01

    Systematic verification and numerical benchmarking has been successfully carried out among three different approaches of neoclassical toroidal viscosity (NTV) theory and the corresponding codes: IPEC-PENT is developed based on the combined NTV theory but without geometric simplifications; MARS-K originally calculating the kinetic energy is upgraded to calculate the NTV torque based on the equivalence between kinetic energy and NTV torque; MARS-Q includes smoothly connected NTV formula. The derivation and numerical results both indicate that the imaginary part of kinetic energy calculated by MARS-K is equivalent to the NTV torque in IPEC-PENT. In the benchmark of precession resonance between MARS-Q and MARS-K/IPEC-PENT, it is first time to show the agreement and the correlation between the connected NTV formula and the combined NTV theory in different collisional region. Additionally, both IPEC-PENT and MARS-K indicates the importance of the bounce harmonic resonance which could greatly enhance the NTV torque when E cross B drift frequency reaches the bounce resonance condition. Since MARS-K also has the capability to calculate the plasma response including the kinetic effect self-consistently, the self-consistent NTV torque calculations have also been tested. This work is supported by DOE Contract No. DE-AC02-09CH11466.

  7. Agreement, Shells, and Focus.

    ERIC Educational Resources Information Center

    Simpson, Andrew; Wu, Zoe

    2002-01-01

    Reconsiders development and licensing of agreement as a syntactic projection and argues for a productive developmental relation between agreement and the category of focus. Suggests that focus projections are initially selected by a variety of functional heads with real semantic content, then, over time decays into a simple concord shell. Upon…

  8. Non-Proliferation Agreements.

    ERIC Educational Resources Information Center

    Swalec, John J.

    1981-01-01

    Discusses five kinds of cooperative agreements established by the College of Lake County (IL): those with other community colleges/technical institutes; the military; business, industry, and organizations; secondary schools; and community and special interest groups. Pays particular attention to two kinds of agreements with other colleges. (CAM)

  9. Cooperative Agreements Study Report.

    ERIC Educational Resources Information Center

    Lawton, R. E.; Magruder, D.

    During the 1983 meeting of the Florida Legislature, action was taken to begin a systematic study of the level of cooperation between the Florida public schools K-12 program and the community and junior colleges. The goals and objectives of the Cooperative Agreements Study were to review and compile a list of the cooperative agreements and identify…

  10. The Helsinki Agreement

    ERIC Educational Resources Information Center

    Babel: Journal of the Australian Federation of Modern Language Teachers' Associations, 1977

    1977-01-01

    A reprint of sections of the Helsinki agreement dealing with foreign languages and civilization, and cooperation and exchanges in the field of education. The agreement supports wider knowledge of foreign languages and promotes exchanges, cooperation, lexicography, and specialized programs in adult education. (AMH)

  11. Continuous verification using multimodal biometrics.

    PubMed

    Sim, Terence; Zhang, Sheng; Janakiraman, Rajkumar; Kumar, Sandeep

    2007-04-01

    Conventional verification systems, such as those controlling access to a secure room, do not usually require the user to reauthenticate himself for continued access to the protected resource. This may not be sufficient for high-security environments in which the protected resource needs to be continuously monitored for unauthorized use. In such cases, continuous verification is needed. In this paper, we present the theory, architecture, implementation, and performance of a multimodal biometrics verification system that continuously verifies the presence of a logged-in user. Two modalities are currently used--face and fingerprint--but our theory can be readily extended to include more modalities. We show that continuous verification imposes additional requirements on multimodal fusion when compared to conventional verification systems. We also argue that the usual performance metrics of false accept and false reject rates are insufficient yardsticks for continuous verification and propose new metrics against which we benchmark our system. PMID:17299225

  12. Using color for face verification

    NASA Astrophysics Data System (ADS)

    Leszczynski, Mariusz

    2009-06-01

    This paper presents research on importance of color information in face verification system. Four most popular color spaces where used: RGB, YIQ, YCbCr, luminance and compared using four types of discriminant classifiers. Experiments conducted on facial databases with complex background, different poses and light condition show that color information can improve the verification accuracy compared to the traditionally used luminance information. To achieve the best performance we recommend to use multi frames verification encoded to YIQ color space.

  13. Quantum money with classical verification

    SciTech Connect

    Gavinsky, Dmitry

    2014-12-04

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

  14. Comments for A Conference on Verification in the 21st Century

    SciTech Connect

    Doyle, James E.

    2012-06-12

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

  15. Verification of LHS distributions.

    SciTech Connect

    Swiler, Laura Painton

    2006-04-01

    This document provides verification test results for normal, lognormal, and uniform distributions that are used in Sandia's Latin Hypercube Sampling (LHS) software. The purpose of this testing is to verify that the sample values being generated in LHS are distributed according to the desired distribution types. The testing of distribution correctness is done by examining summary statistics, graphical comparisons using quantile-quantile plots, and format statistical tests such as the Chisquare test, the Kolmogorov-Smirnov test, and the Anderson-Darling test. The overall results from the testing indicate that the generation of normal, lognormal, and uniform distributions in LHS is acceptable.

  16. Cancelable face verification using optical encryption and authentication.

    PubMed

    Taheri, Motahareh; Mozaffari, Saeed; Keshavarzi, Parviz

    2015-10-01

    In a cancelable biometric system, each instance of enrollment is distorted by a transform function, and the output should not be retransformed to the original data. This paper presents a new cancelable face verification system in the encrypted domain. Encrypted facial images are generated by a double random phase encoding (DRPE) algorithm using two keys (RPM1 and RPM2). To make the system noninvertible, a photon counting (PC) method is utilized, which requires a photon distribution mask for information reduction. Verification of sparse images that are not recognizable by direct visual inspection is performed by unconstrained minimum average correlation energy filter. In the proposed method, encryption keys (RPM1, RPM2, and PDM) are used in the sender side, and the receiver needs only encrypted images and correlation filters. In this manner, the system preserves privacy if correlation filters are obtained by an adversary. Performance of PC-DRPE verification system is evaluated under illumination variation, pose changes, and facial expression. Experimental results show that utilizing encrypted images not only increases security concerns but also enhances verification performance. This improvement can be attributed to the fact that, in the proposed system, the face verification problem is converted to key verification tasks. PMID:26479930

  17. Lipidomic fingerprint of almonds (Prunus dulcis L. cv Nonpareil) using TiO₂ nanoparticle based matrix solid-phase dispersion and MALDI-TOF/MS and its potential in geographical origin verification.

    PubMed

    Shen, Qing; Dong, Wei; Yang, Mei; Li, Linqiu; Cheung, Hon-Yeung; Zhang, Zhifeng

    2013-08-14

    A matrix solid-phase dispersion (MSPD) procedure with titanium dioxide (TiO2) nanoparticles (NP) as sorbent was developed for the selective extraction of phospholipids from almond samples, and matrix-assisted laser desorption ionization-time-of-flight mass spectrometry (MALDI-TOF/MS) was employed for analysis. A remarkable increase in the signals of phospholipid accompanied by a decrease in those of triacylglycerols and diacylglycerols was observed in the relevant mass spectra. The proposed method was applied to five batches of almonds originating from four geographical areas, whereas principal component analysis (PCA) was utilized to normalize the relative amounts of the identified phospholipid species. The results indicated that the lipidomic fingerprint of almonds was successfully established by the negative ion mode spectrum, and the ratio of m/z 833.6 to 835.6 as well as m/z 821.6 could be introduced as potential markers for the differentiation of the tested almonds with different geographical origins. The whole method is of great promise for selective separation of phospholipids from nonphospholipids, especially the glycerides, and superior in fast screening and characterization of phospholipids in almond samples.

  18. Thoughts on Verification of Nuclear Disarmament

    SciTech Connect

    Dunlop, W H

    2007-09-26

    It is my pleasure to be here to day to participate in this Conference. My thanks to the organizers for preparing such an interesting agenda on a very difficult topic. My effort in preparing my presentation was performed under the auspices of the U.S. Department of Energy by University of California, Lawrence Livermore National Laboratory under Contract W-7405-Eng-48. And as many of you know Lawrence Livermore National Laboratory is now, as of Oct 1st, under contract to the Lawrence Livermore National Security LLC. There has been a long history of how to view verification of arms control agreements. The basis for verification during the days of SALT was that verification would be based on each country's national technical means. For treaties dealing with strategic missiles this worked well as the individual items subject to verification were of such a size that they were visible by the National Technical Means available at the time. And it was felt that the counting of missiles and launchers could be verified by our National Technical Means. For nuclear testing treaties the use of seismic measurements developed into a capability that was reasonably robust for all but the smallest of nuclear tests. However, once we had the Threshold Test Ban Treaty, there was a significant problem in that the fidelity of the measurements were not sufficient to determine if a test was slightly above the 150 kt limit or slightly below the 150 kt limit. This led some in the US to believe that the Soviet Union was not living up to the TTBT agreement. An on-site verification protocol was negotiated in 1988 and 1989 that allowed the US to make hydrodynamic yield measurements on Soviet tests above 50 kt yield and regional seismic measurements on all tests above 35 kt of yield; and the Soviets to make the same type of measurements on US tests to ensure that they were not over 150 kt. These on-site measurements were considered reasonably intrusive. Again the measurement capability was not

  19. 19 CFR 10.616 - Verification and justification of claim for preferential tariff treatment.

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    .... (b) Applicable accounting principles. When conducting a verification of origin to which Generally Accepted Accounting Principles may be relevant, CBP will apply and accept the Generally Accepted Accounting Principles applicable in the country of production....

  20. Formal Verification of Large Software Systems

    NASA Technical Reports Server (NTRS)

    Yin, Xiang; Knight, John

    2010-01-01

    We introduce a scalable proof structure to facilitate formal verification of large software systems. In our approach, we mechanically synthesize an abstract specification from the software implementation, match its static operational structure to that of the original specification, and organize the proof as the conjunction of a series of lemmas about the specification structure. By setting up a different lemma for each distinct element and proving each lemma independently, we obtain the important benefit that the proof scales easily for large systems. We present details of the approach and an illustration of its application on a challenge problem from the security domain

  1. Development of advanced seal verification

    NASA Technical Reports Server (NTRS)

    Workman, Gary L.; Kosten, Susan E.; Abushagur, Mustafa A.

    1992-01-01

    The purpose of this research is to develop a technique to monitor and insure seal integrity with a sensor that has no active elements to burn-out during a long duration activity, such as a leakage test or especially during a mission in space. The original concept proposed is that by implementing fiber optic sensors, changes in the integrity of a seal can be monitored in real time and at no time should the optical fiber sensor fail. The electrical components which provide optical excitation and detection through the fiber are not part of the seal; hence, if these electrical components fail, they can be easily changed without breaking the seal. The optical connections required for the concept to work does present a functional problem to work out. The utility of the optical fiber sensor for seal monitoring should be general enough that the degradation of a seal can be determined before catastrophic failure occurs and appropriate action taken. Two parallel efforts were performed in determining the feasibility of using optical fiber sensors for seal verification. In one study, research on interferometric measurements of the mechanical response of the optical fiber sensors to seal integrity was studied. In a second study, the implementation of the optical fiber to a typical vacuum chamber was implemented and feasibility studies on microbend experiments in the vacuum chamber were performed. Also, an attempt was made to quantify the amount of pressure actually being applied to the optical fiber using finite element analysis software by Algor.

  2. Software Verification and Validation Procedure

    SciTech Connect

    Olund, Thomas S.

    2008-09-15

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

  3. Deductive Verification of Cryptographic Software

    NASA Technical Reports Server (NTRS)

    Almeida, Jose Barcelar; Barbosa, Manuel; Pinto, Jorge Sousa; Vieira, Barbara

    2009-01-01

    We report on the application of an off-the-shelf verification platform to the RC4 stream cipher cryptographic software implementation (as available in the openSSL library), and introduce a deductive verification technique based on self-composition for proving the absence of error propagation.

  4. HDL to verification logic translator

    NASA Technical Reports Server (NTRS)

    Gambles, J. W.; Windley, P. J.

    1992-01-01

    The increasingly higher number of transistors possible in VLSI circuits compounds the difficulty in insuring correct designs. As the number of possible test cases required to exhaustively simulate a circuit design explodes, a better method is required to confirm the absence of design faults. Formal verification methods provide a way to prove, using logic, that a circuit structure correctly implements its specification. Before verification is accepted by VLSI design engineers, the stand alone verification tools that are in use in the research community must be integrated with the CAD tools used by the designers. One problem facing the acceptance of formal verification into circuit design methodology is that the structural circuit descriptions used by the designers are not appropriate for verification work and those required for verification lack some of the features needed for design. We offer a solution to this dilemma: an automatic translation from the designers' HDL models into definitions for the higher-ordered logic (HOL) verification system. The translated definitions become the low level basis of circuit verification which in turn increases the designer's confidence in the correctness of higher level behavioral models.

  5. FFTF Authorization Agreement

    SciTech Connect

    DAUTEL, W.A.

    2000-09-25

    The purpose of the Authorization Agreement is to serve as a mechanism whereby the U.S. Department of Energy, Richland Operations Office (RL) and Fluor Hanford (FH) jointly clarify and agree to key conditions for conducting work safely and efficiently in the Fast Flux Test Facility (FFTF). Work must be accomplished in a manner that achieves high levels of quality while protecting the environment and the safety and health of workers and the public, and complying with applicable contractual and regulatory requirements. It is the intent of this Agreement to address those items of significant importance in establishing and supporting the FFTF Authorization Envelope, but this Agreement in no way alters the terms and conditions of the Project Hanford Management Contract (PHMC), Contract Number DE-AC06-96RL13200.

  6. Verification of Internal Dose Calculations.

    NASA Astrophysics Data System (ADS)

    Aissi, Abdelmadjid

    The MIRD internal dose calculations have been in use for more than 15 years, but their accuracy has always been questionable. There have been attempts to verify these calculations; however, these attempts had various shortcomings which kept the question of verification of the MIRD data still unanswered. The purpose of this research was to develop techniques and methods to verify the MIRD calculations in a more systematic and scientific manner. The research consisted of improving a volumetric dosimeter, developing molding techniques, and adapting the Monte Carlo computer code ALGAM to the experimental conditions and vice versa. The organic dosimetric system contained TLD-100 powder and could be shaped to represent human organs. The dosimeter possessed excellent characteristics for the measurement of internal absorbed doses, even in the case of the lungs. The molding techniques are inexpensive and were used in the fabrication of dosimetric and radioactive source organs. The adaptation of the computer program provided useful theoretical data with which the experimental measurements were compared. The experimental data and the theoretical calculations were compared for 6 source organ-7 target organ configurations. The results of the comparison indicated the existence of an agreement between measured and calculated absorbed doses, when taking into consideration the average uncertainty (16%) of the measurements, and the average coefficient of variation (10%) of the Monte Carlo calculations. However, analysis of the data gave also an indication that the Monte Carlo method might overestimate the internal absorbed doses. Even if the overestimate exists, at least it could be said that the use of the MIRD method in internal dosimetry was shown to lead to no unnecessary exposure to radiation that could be caused by underestimating the absorbed dose. The experimental and the theoretical data were also used to test the validity of the Reciprocity Theorem for heterogeneous

  7. Mechanical verification of a schematic Byzantine clock synchronization algorithm

    NASA Technical Reports Server (NTRS)

    Shankar, Natarajan

    1991-01-01

    Schneider generalizes a number of protocols for Byzantine fault tolerant clock synchronization and presents a uniform proof for their correctness. The authors present a machine checked proof of this schematic protocol that revises some of the details in Schneider's original analysis. The verification was carried out with the EHDM system developed at the SRI Computer Science Laboratory. The mechanically checked proofs include the verification that the egocentric mean function used in Lamport and Melliar-Smith's Interactive Convergence Algorithm satisfies the requirements of Schneider's protocol.

  8. Verification of VENTSAR

    SciTech Connect

    Simpkins, A.A.

    1995-01-01

    The VENTSAR code is an upgraded and improved version of the VENTX code, which estimates concentrations on or near a building from a release at a nearby location. The code calculates the concentrations either for a given meteorological exceedance probability or for a given stability and wind speed combination. A single building can be modeled which lies in the path of the plume, or a penthouse can be added to the top of the building. Plume rise may also be considered. Release types can be either chemical or radioactive. Downwind concentrations are determined at user-specified incremental distances. This verification report was prepared to demonstrate that VENTSAR is properly executing all algorithms and transferring data. Hand calculations were also performed to ensure proper application of methodologies.

  9. Online fingerprint verification.

    PubMed

    Upendra, K; Singh, S; Kumar, V; Verma, H K

    2007-01-01

    As organizations search for more secure authentication methods for user access, e-commerce, and other security applications, biometrics is gaining increasing attention. With an increasing emphasis on the emerging automatic personal identification applications, fingerprint based identification is becoming more popular. The most widely used fingerprint representation is the minutiae based representation. The main drawback with this representation is that it does not utilize a significant component of the rich discriminatory information available in the fingerprints. Local ridge structures cannot be completely characterized by minutiae. Also, it is difficult quickly to match two fingerprint images containing different number of unregistered minutiae points. In this study filter bank based representation, which eliminates these weakness, is implemented and the overall performance of the developed system is tested. The results have shown that this system can be used effectively for secure online verification applications. PMID:17365425

  10. 40 CFR 1065.390 - PM balance verifications and weighing process verification.

    Code of Federal Regulations, 2012 CFR

    2012-07-01

    ... 40 Protection of Environment 34 2012-07-01 2012-07-01 false PM balance verifications and weighing... § 1065.390 PM balance verifications and weighing process verification. (a) Scope and frequency. This section describes three verifications. (1) Independent verification of PM balance performance within...

  11. 40 CFR 1065.390 - PM balance verifications and weighing process verification.

    Code of Federal Regulations, 2014 CFR

    2014-07-01

    ... 40 Protection of Environment 33 2014-07-01 2014-07-01 false PM balance verifications and weighing... § 1065.390 PM balance verifications and weighing process verification. (a) Scope and frequency. This section describes three verifications. (1) Independent verification of PM balance performance within...

  12. 40 CFR 1065.390 - PM balance verifications and weighing process verification.

    Code of Federal Regulations, 2013 CFR

    2013-07-01

    ... 40 Protection of Environment 34 2013-07-01 2013-07-01 false PM balance verifications and weighing... § 1065.390 PM balance verifications and weighing process verification. (a) Scope and frequency. This section describes three verifications. (1) Independent verification of PM balance performance within...

  13. 40 CFR 1065.390 - PM balance verifications and weighing process verification.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... 40 Protection of Environment 32 2010-07-01 2010-07-01 false PM balance verifications and weighing... § 1065.390 PM balance verifications and weighing process verification. (a) Scope and frequency. This section describes three verifications. (1) Independent verification of PM balance performance within...

  14. 40 CFR 1065.390 - PM balance verifications and weighing process verification.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... 40 Protection of Environment 33 2011-07-01 2011-07-01 false PM balance verifications and weighing... § 1065.390 PM balance verifications and weighing process verification. (a) Scope and frequency. This section describes three verifications. (1) Independent verification of PM balance performance within...

  15. Independent calculation-based verification of IMRT plans using a 3D dose-calculation engine

    SciTech Connect

    Arumugam, Sankar; Xing, Aitang; Goozee, Gary; Holloway, Lois

    2013-01-01

    Independent monitor unit verification of intensity-modulated radiation therapy (IMRT) plans requires detailed 3-dimensional (3D) dose verification. The aim of this study was to investigate using a 3D dose engine in a second commercial treatment planning system (TPS) for this task, facilitated by in-house software. Our department has XiO and Pinnacle TPSs, both with IMRT planning capability and modeled for an Elekta-Synergy 6 MV photon beam. These systems allow the transfer of computed tomography (CT) data and RT structures between them but do not allow IMRT plans to be transferred. To provide this connectivity, an in-house computer programme was developed to convert radiation therapy prescription (RTP) files as generated by many planning systems into either XiO or Pinnacle IMRT file formats. Utilization of the technique and software was assessed by transferring 14 IMRT plans from XiO and Pinnacle onto the other system and performing 3D dose verification. The accuracy of the conversion process was checked by comparing the 3D dose matrices and dose volume histograms (DVHs) of structures for the recalculated plan on the same system. The developed software successfully transferred IMRT plans generated by 1 planning system into the other. Comparison of planning target volume (TV) DVHs for the original and recalculated plans showed good agreement; a maximum difference of 2% in mean dose, − 2.5% in D95, and 2.9% in V95 was observed. Similarly, a DVH comparison of organs at risk showed a maximum difference of +7.7% between the original and recalculated plans for structures in both high- and medium-dose regions. However, for structures in low-dose regions (less than 15% of prescription dose) a difference in mean dose up to +21.1% was observed between XiO and Pinnacle calculations. A dose matrix comparison of original and recalculated plans in XiO and Pinnacle TPSs was performed using gamma analysis with 3%/3 mm criteria. The mean and standard deviation of pixels passing

  16. Enhanced Verification Test Suite for Physics Simulation Codes

    SciTech Connect

    Kamm, J R; Brock, J S; Brandon, S T; Cotrell, D L; Johnson, B; Knupp, P; Rider, W; Trucano, T; Weirs, V G

    2008-10-10

    This document discusses problems with which to augment, in quantity and in quality, the existing tri-laboratory suite of verification problems used by Los Alamos National Laboratory (LANL), Lawrence Livermore National Laboratory (LLNL), and Sandia National Laboratories (SNL). The purpose of verification analysis is demonstrate whether the numerical results of the discretization algorithms in physics and engineering simulation codes provide correct solutions of the corresponding continuum equations. The key points of this document are: (1) Verification deals with mathematical correctness of the numerical algorithms in a code, while validation deals with physical correctness of a simulation in a regime of interest. This document is about verification. (2) The current seven-problem Tri-Laboratory Verification Test Suite, which has been used for approximately five years at the DOE WP laboratories, is limited. (3) Both the methodology for and technology used in verification analysis have evolved and been improved since the original test suite was proposed. (4) The proposed test problems are in three basic areas: (a) Hydrodynamics; (b) Transport processes; and (c) Dynamic strength-of-materials. (5) For several of the proposed problems we provide a 'strong sense verification benchmark', consisting of (i) a clear mathematical statement of the problem with sufficient information to run a computer simulation, (ii) an explanation of how the code result and benchmark solution are to be evaluated, and (iii) a description of the acceptance criterion for simulation code results. (6) It is proposed that the set of verification test problems with which any particular code be evaluated include some of the problems described in this document. Analysis of the proposed verification test problems constitutes part of a necessary--but not sufficient--step that builds confidence in physics and engineering simulation codes. More complicated test cases, including physics models of greater

  17. SPR Hydrostatic Column Model Verification and Validation.

    SciTech Connect

    Bettin, Giorgia; Lord, David; Rudeen, David Keith

    2015-10-01

    A Hydrostatic Column Model (HCM) was developed to help differentiate between normal "tight" well behavior and small-leak behavior under nitrogen for testing the pressure integrity of crude oil storage wells at the U.S. Strategic Petroleum Reserve. This effort was motivated by steady, yet distinct, pressure behavior of a series of Big Hill caverns that have been placed under nitrogen for extended period of time. This report describes the HCM model, its functional requirements, the model structure and the verification and validation process. Different modes of operation are also described, which illustrate how the software can be used to model extended nitrogen monitoring and Mechanical Integrity Tests by predicting wellhead pressures along with nitrogen interface movements. Model verification has shown that the program runs correctly and it is implemented as intended. The cavern BH101 long term nitrogen test was used to validate the model which showed very good agreement with measured data. This supports the claim that the model is, in fact, capturing the relevant physical phenomena and can be used to make accurate predictions of both wellhead pressure and interface movements.

  18. Agreements in Virtual Organizations

    NASA Astrophysics Data System (ADS)

    Pankowska, Malgorzata

    This chapter is an attempt to explain the important impact that contract theory delivers with respect to the concept of virtual organization. The author believes that not enough research has been conducted in order to transfer theoretical foundations for networking to the phenomena of virtual organizations and open autonomic computing environment to ensure the controllability and management of them. The main research problem of this chapter is to explain the significance of agreements for virtual organizations governance. The first part of this chapter comprises explanations of differences among virtual machines and virtual organizations for further descriptions of the significance of the first ones to the development of the second. Next, the virtual organization development tendencies are presented and problems of IT governance in highly distributed organizational environment are discussed. The last part of this chapter covers analysis of contracts and agreements management for governance in open computing environments.

  19. Countries renew rescue agreement

    NASA Astrophysics Data System (ADS)

    Bush, Susan M.

    To insure long-term continuity for the international satellite search and rescue system, COSPAS/SARSAT, an intergovernmental agreement binding the four sponsoring nations to cooperate was signed July 1 in Paris. According to Russell Vollmers of the National Oceanic and Atmospheric Administration, the agreement is binding for 15 years, with an automatic extension.The system marked the fifth anniversary of its first rescue last year, when on September 10, 1982, three persons were rescued. Begun in the 1970s by NASA as an experiment, COSPAS/SARSAT (a Russian-English acronym) is now a cooperative project among the United States, Canada, France, and the Soviet Union. Its goal is to reduce the time required to rescue air and maritime distress victims and also to locate victims who otherwise may not be found, thus using the satellite system as a life-saving device.

  20. Biometric verification with correlation filters.

    PubMed

    Vijaya Kumar, B V K; Savvides, Marios; Xie, Chunyan; Venkataramani, Krithika; Thornton, Jason; Mahalanobis, Abhijit

    2004-01-10

    Using biometrics for subject verification can significantly improve security over that of approaches based on passwords and personal identification numbers, both of which people tend to lose or forget. In biometric verification the system tries to match an input biometric (such as a fingerprint, face image, or iris image) to a stored biometric template. Thus correlation filter techniques are attractive candidates for the matching precision needed in biometric verification. In particular, advanced correlation filters, such as synthetic discriminant function filters, can offer very good matching performance in the presence of variability in these biometric images (e.g., facial expressions, illumination changes, etc.). We investigate the performance of advanced correlation filters for face, fingerprint, and iris biometric verification. PMID:14735958

  1. Generic interpreters and microprocessor verification

    NASA Technical Reports Server (NTRS)

    Windley, Phillip J.

    1990-01-01

    The following topics are covered in viewgraph form: (1) generic interpreters; (2) Viper microprocessors; (3) microprocessor verification; (4) determining correctness; (5) hierarchical decomposition; (6) interpreter theory; (7) AVM-1; (8) phase-level specification; and future work.

  2. TPS verification with UUT simulation

    NASA Astrophysics Data System (ADS)

    Wang, Guohua; Meng, Xiaofeng; Zhao, Ruixian

    2006-11-01

    TPS's (Test Program Set) verification or first article acceptance test commonly depends on fault insertion experiment on UUT (Unit Under Test). However the failure modes injected on UUT is limited and it is almost infeasible when the UUT is in development or in a distributed state. To resolve this problem, a TPS verification method based on UUT interface signal simulation is putting forward. The interoperability between ATS (automatic test system) and UUT simulation platform is very important to realize automatic TPS verification. After analyzing the ATS software architecture, the approach to realize interpretability between ATS software and UUT simulation platform is proposed. And then the UUT simulation platform software architecture is proposed based on the ATS software architecture. The hardware composition and software architecture of the UUT simulation is described in details. The UUT simulation platform has been implemented in avionics equipment TPS development, debug and verification.

  3. Reliable Entanglement Verification

    NASA Astrophysics Data System (ADS)

    Arrazola, Juan; Gittsovich, Oleg; Donohue, John; Lavoie, Jonathan; Resch, Kevin; Lütkenhaus, Norbert

    2013-05-01

    Entanglement plays a central role in quantum protocols. It is therefore important to be able to verify the presence of entanglement in physical systems from experimental data. In the evaluation of these data, the proper treatment of statistical effects requires special attention, as one can never claim to have verified the presence of entanglement with certainty. Recently increased attention has been paid to the development of proper frameworks to pose and to answer these type of questions. In this work, we apply recent results by Christandl and Renner on reliable quantum state tomography to construct a reliable entanglement verification procedure based on the concept of confidence regions. The statements made do not require the specification of a prior distribution nor the assumption of an independent and identically distributed (i.i.d.) source of states. Moreover, we develop efficient numerical tools that are necessary to employ this approach in practice, rendering the procedure ready to be employed in current experiments. We demonstrate this fact by analyzing the data of an experiment where photonic entangled two-photon states were generated and whose entanglement is verified with the use of an accessible nonlinear witness.

  4. US-Euratom Nuclear Cooperation Agreement: The eleventh hour

    SciTech Connect

    1995-01-01

    Issues involved in negotiations between the United States and Euratom for renewing the Nuclear Cooperation Agreement are discussed. The Agreement impacts exports to Euratom countries of nuclear material and technology, and US approval of third party transfers of US-origin material, including Japanese reprocessing, to Euratom countries. The US Nuclear Non-Proliferation Act, requiring more stringent safeguards for US-origin materials, is described as a major issue preventing Euratom countries signing the Agreement. Potential impacts of allowing the Agreement to lapse are described, and actions required for renewal are outlined.

  5. Monte Carlo Calculations Supporting Patient Plan Verification in Proton Therapy

    PubMed Central

    Lima, Thiago V. M.; Dosanjh, Manjit; Ferrari, Alfredo; Molineli, Silvia; Ciocca, Mario; Mairani, Andrea

    2016-01-01

    Patient’s treatment plan verification covers substantial amount of the quality assurance (QA) resources; this is especially true for Intensity-Modulated Proton Therapy (IMPT). The use of Monte Carlo (MC) simulations in supporting QA has been widely discussed, and several methods have been proposed. In this paper, we studied an alternative approach from the one being currently applied clinically at Centro Nazionale di Adroterapia Oncologica (CNAO). We reanalyzed the previously published data (Molinelli et al. (1)), where 9 patient plans were investigated in which the warning QA threshold of 3% mean dose deviation was crossed. The possibility that these differences between measurement and calculated dose were related to dose modeling (Treatment Planning Systems (TPS) vs. MC), limitations on dose delivery system, or detectors mispositioning was originally explored, but other factors, such as the geometric description of the detectors, were not ruled out. For the purpose of this work, we compared ionization chambers’ measurements with different MC simulation results. It was also studied that some physical effects were introduced by this new approach, for example, inter-detector interference and the delta ray thresholds. The simulations accounting for a detailed geometry typically are superior (statistical difference – p-value around 0.01) to most of the MC simulations used at CNAO (only inferior to the shift approach used). No real improvement was observed in reducing the current delta ray threshold used (100 keV), and no significant interference between ion chambers in the phantom were detected (p-value 0.81). In conclusion, it was observed that the detailed geometrical description improves the agreement between measurement and MC calculations in some cases. But in other cases, position uncertainty represents the dominant uncertainty. The inter-chamber disturbance was not detected for the therapeutic protons energies, and the results from the current delta

  6. Monte Carlo Calculations Supporting Patient Plan Verification in Proton Therapy.

    PubMed

    Lima, Thiago V M; Dosanjh, Manjit; Ferrari, Alfredo; Molineli, Silvia; Ciocca, Mario; Mairani, Andrea

    2016-01-01

    Patient's treatment plan verification covers substantial amount of the quality assurance (QA) resources; this is especially true for Intensity-Modulated Proton Therapy (IMPT). The use of Monte Carlo (MC) simulations in supporting QA has been widely discussed, and several methods have been proposed. In this paper, we studied an alternative approach from the one being currently applied clinically at Centro Nazionale di Adroterapia Oncologica (CNAO). We reanalyzed the previously published data (Molinelli et al. (1)), where 9 patient plans were investigated in which the warning QA threshold of 3% mean dose deviation was crossed. The possibility that these differences between measurement and calculated dose were related to dose modeling (Treatment Planning Systems (TPS) vs. MC), limitations on dose delivery system, or detectors mispositioning was originally explored, but other factors, such as the geometric description of the detectors, were not ruled out. For the purpose of this work, we compared ionization chambers' measurements with different MC simulation results. It was also studied that some physical effects were introduced by this new approach, for example, inter-detector interference and the delta ray thresholds. The simulations accounting for a detailed geometry typically are superior (statistical difference - p-value around 0.01) to most of the MC simulations used at CNAO (only inferior to the shift approach used). No real improvement was observed in reducing the current delta ray threshold used (100 keV), and no significant interference between ion chambers in the phantom were detected (p-value 0.81). In conclusion, it was observed that the detailed geometrical description improves the agreement between measurement and MC calculations in some cases. But in other cases, position uncertainty represents the dominant uncertainty. The inter-chamber disturbance was not detected for the therapeutic protons energies, and the results from the current delta threshold

  7. Development of high-accuracy pointing verification for ALMA antenna

    NASA Astrophysics Data System (ADS)

    Matsuzawa, Ayumu; Saito, Masao; Iguchi, Satoru; Nakanishi, Kouichiro; Saito, Hiro

    2014-07-01

    Pointing performance of a radio telescope antenna is important in radio astronomical observations to obtain accurate intensity of a target source. The pointing errors of the ALMA ACA antenna are required to be better than 0.6 arcsec rss, which corresponds to 1/10 and 1/20 of the field of view of the ALMA ACA 12-m and 7-m antenna at 950 GHz, respectively. The pointing verification measurements of the ACA antenna were performed using an Optical pointing telescope (OPT) mounted on the antenna backup structure at the ALMA Operations Site Facility at 2900m above the sea level. Pointing errors of these OPT measurements contain three different origins; originated from antenna, originated of atmosphere (optical seeing), and originated of OPT itself. In order to estimate pointing errors of the antenna origin, we need to subtract the components of optical seeing and OPT itself accurately, while we need to add components that cannot be measured in the OPT measurements. The ACA antenna verification test report demonstrated that all the ACA 7-m antenna meets pointing specification of ALMA. However, about one-third of datasets, values of estimated optical seeing is larger than measured pointing errors. We re-examined a procedure to estimate optical seeing, by investigating the property of optical seeing from the high-sampling OPT pointing measurements of long tracking a bright star for 15 minutes. Particularly, we examined the relation between optical seeing and sampling rate derived from Kolmogorov PSD. Our analysis indicated that the optical seeing at ALMA site may have been overestimated in the verification test. We present a new relation between optical seeing and sampling rate proportional to average wind velocity during measurement. We used this new relation to derive the optical seeing and as a result the number of datasets becomes half in which the optical seeing is larger than measured pointing errors. As a result, we successfully develop a new verification method of

  8. Multichip reticle approach for OPC model verification

    NASA Astrophysics Data System (ADS)

    Taravade, Kunal N.; Belova, Nadya; Jost, Andrew M.; Callan, Neal P.

    2003-12-01

    The complexity of current semiconductor technology due to shrinking feature sizes causes more and more engineering efforts and expenses to deliver the final product to customers. One of the largest expense in the entire budget is the reticle manufacturing. With the need to perform mask correction in order to account for optical proximity effects on the wafer level, the reticle expenses have become even more critical. For 0.13um technology one can not avoid optical proximity correction (OPC) procedure for modifying original designs to comply with design rules as required by Front End (FE) and Back End (BE) processes. Once an OPC model is generated one needs to confirm and verify the said model with additional test reticles for every critical layer of the technology. Such a verification procedure would include the most critical layers (two FE layers and four BE layers for the 0.13 technology node). This allows us to evaluate model performance under real production conditions encountered on customer designs. At LSI we have developed and verified the low volume reticle (LVR) approach for verification of different OPC models. The proposed approach allows performing die-to-die reticle defect inspection in addition to checking the printed image on the wafer. It helps finalizing litho and etch process parameters. Processing wafers with overlaying masks for two consecutive BE layer (via and metal2 masks) allowed us to evaluate robustness of OPC models for a wafer stack against both reticle and wafer induced misalignments.

  9. CTBT integrated verification system evaluation model supplement

    SciTech Connect

    EDENBURN,MICHAEL W.; BUNTING,MARCUS; PAYNE JR.,ARTHUR C.; TROST,LAWRENCE C.

    2000-03-02

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

  10. Hard and Soft Safety Verifications

    NASA Technical Reports Server (NTRS)

    Wetherholt, Jon; Anderson, Brenda

    2012-01-01

    The purpose of this paper is to examine the differences between and the effects of hard and soft safety verifications. Initially, the terminology should be defined and clarified. A hard safety verification is datum which demonstrates how a safety control is enacted. An example of this is relief valve testing. A soft safety verification is something which is usually described as nice to have but it is not necessary to prove safe operation. An example of a soft verification is the loss of the Solid Rocket Booster (SRB) casings from Shuttle flight, STS-4. When the main parachutes failed, the casings impacted the water and sank. In the nose cap of the SRBs, video cameras recorded the release of the parachutes to determine safe operation and to provide information for potential anomaly resolution. Generally, examination of the casings and nozzles contributed to understanding of the newly developed boosters and their operation. Safety verification of SRB operation was demonstrated by examination for erosion or wear of the casings and nozzle. Loss of the SRBs and associated data did not delay the launch of the next Shuttle flight.

  11. Face verification with balanced thresholds.

    PubMed

    Yan, Shuicheng; Xu, Dong; Tang, Xiaoou

    2007-01-01

    The process of face verification is guided by a pre-learned global threshold, which, however, is often inconsistent with class-specific optimal thresholds. It is, hence, beneficial to pursue a balance of the class-specific thresholds in the model-learning stage. In this paper, we present a new dimensionality reduction algorithm tailored to the verification task that ensures threshold balance. This is achieved by the following aspects. First, feasibility is guaranteed by employing an affine transformation matrix, instead of the conventional projection matrix, for dimensionality reduction, and, hence, we call the proposed algorithm threshold balanced transformation (TBT). Then, the affine transformation matrix, constrained as the product of an orthogonal matrix and a diagonal matrix, is optimized to improve the threshold balance and classification capability in an iterative manner. Unlike most algorithms for face verification which are directly transplanted from face identification literature, TBT is specifically designed for face verification and clarifies the intrinsic distinction between these two tasks. Experiments on three benchmark face databases demonstrate that TBT significantly outperforms the state-of-the-art subspace techniques for face verification.

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

    SciTech Connect

    P.C. Weaver

    2009-04-29

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

  13. Structural verification for GAS experiments

    NASA Technical Reports Server (NTRS)

    Peden, Mark Daniel

    1992-01-01

    The purpose of this paper is to assist the Get Away Special (GAS) experimenter in conducting a thorough structural verification of its experiment structural configuration, thus expediting the structural review/approval process and the safety process in general. Material selection for structural subsystems will be covered with an emphasis on fasteners (GSFC fastener integrity requirements) and primary support structures (Stress Corrosion Cracking requirements and National Space Transportation System (NSTS) requirements). Different approaches to structural verifications (tests and analyses) will be outlined especially those stemming from lessons learned on load and fundamental frequency verification. In addition, fracture control will be covered for those payloads that utilize a door assembly or modify the containment provided by the standard GAS Experiment Mounting Plate (EMP). Structural hazard assessment and the preparation of structural hazard reports will be reviewed to form a summation of structural safety issues for inclusion in the safety data package.

  14. 44 CFR 206.44 - FEMA-State Agreements.

    Code of Federal Regulations, 2013 CFR

    2013-10-01

    ... Households Program. (b) Terms and conditions. This Agreement describes the incident and the incident period... close or amend the incident period, to add forms of assistance not originally authorized, or...

  15. Verification of weapons of mass destruction treaties. A necessary engagement in an evolutionary enlargement. Research report

    SciTech Connect

    Allen, J.L.

    1996-04-15

    The United States has signed and become a party to more than 30 multilateral and bilateral arms control agreements since 1959. The lack of absolute effectiveness and confidence of these agreements to limit or ban WMD arsenals or to prevent WMD proliferation has caused many learned arms control scholars to question America`s use of these treaties to meet national security objectives. The controversy often focuses on verification of a treaty member`s compliance with the terms of the agreement. However, what seems to be a poor record of treaty compliance and adequate verification is in reality, a moderate success in stemming WMD proliferation and is indicative of the continuing evolution of compliance verification as the central factor in evaluating treaty effectiveness. The thesis of this study is that verification of treaty compliance has also evolved as the most important component of arms control, and the U.S. must remained engaged as the world leader to strengthen WMD treaties with verification procedures that provide a high probability of detection and deterrence to potential violators.

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

    SciTech Connect

    J. M. Capron and K. A. Anselm

    2008-02-21

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

  17. Verification and validation of impinging round jet simulations using an adaptive FEM

    NASA Astrophysics Data System (ADS)

    Pelletier, Dominique; Turgeon, Éric; Tremblay, Dominique

    2004-03-01

    This paper illustrates the use of an adaptive finite element method as a means of achieving verification of codes and simulations of impinging round jets, that is obtaining numerical predictions with controlled accuracy. Validation of these grid-independent solution is then performed by comparing predictions to measurements. We adopt the standard and accepted definitions of verification and validation (Technical Report AIAA-G-077-1998, American Institute of Aeronautics and Astronautics, 1998; Verification and Validation in Computational Science and Engineering. Hermosa Publishers: Albuquerque, NM, 1998). Mesh adaptation is used to perform the systematic and rigorous grid refinement studies required for both verification and validation in CFD. This ensures that discrepancies observed between predictions and measurements are due to deficiencies in the mathematical model of the flow. Issues in verification and validation are discussed. The paper presents an example of code verification by the method of manufactured solution. Examples of successful and unsuccessful validation for laminar and turbulent impinging jets show that agreement with experiments is achieved only with a good mathematical model of the flow physics combined with accurate numerical solution of the differential equations. The paper emphasizes good CFD practice to systematically achieve verification so that validation studies are always performed on solid grounds.

  18. 19 CFR 10.472 - Verification in the United States of textile and apparel goods.

    Code of Federal Regulations, 2013 CFR

    2013-04-01

    ... 19 Customs Duties 1 2013-04-01 2013-04-01 false Verification in the United States of textile and... the United States of textile and apparel goods. (a) Procedures to determine whether a claim of origin... for the purpose of determining that a claim of origin for a textile or apparel good is accurate....

  19. 19 CFR 10.472 - Verification in the United States of textile and apparel goods.

    Code of Federal Regulations, 2014 CFR

    2014-04-01

    ... 19 Customs Duties 1 2014-04-01 2014-04-01 false Verification in the United States of textile and... the United States of textile and apparel goods. (a) Procedures to determine whether a claim of origin... for the purpose of determining that a claim of origin for a textile or apparel good is accurate....

  20. 19 CFR 10.472 - Verification in the United States of textile and apparel goods.

    Code of Federal Regulations, 2012 CFR

    2012-04-01

    ... 19 Customs Duties 1 2012-04-01 2012-04-01 false Verification in the United States of textile and... the United States of textile and apparel goods. (a) Procedures to determine whether a claim of origin... for the purpose of determining that a claim of origin for a textile or apparel good is accurate....

  1. 19 CFR 10.472 - Verification in the United States of textile and apparel goods.

    Code of Federal Regulations, 2011 CFR

    2011-04-01

    ... 19 Customs Duties 1 2011-04-01 2011-04-01 false Verification in the United States of textile and... the United States of textile and apparel goods. (a) Procedures to determine whether a claim of origin... for the purpose of determining that a claim of origin for a textile or apparel good is accurate....

  2. 19 CFR 10.472 - Verification in the United States of textile and apparel goods.

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ... 19 Customs Duties 1 2010-04-01 2010-04-01 false Verification in the United States of textile and... the United States of textile and apparel goods. (a) Procedures to determine whether a claim of origin... for the purpose of determining that a claim of origin for a textile or apparel good is accurate....

  3. 19 CFR 10.618 - Issuance of negative origin determinations.

    Code of Federal Regulations, 2013 CFR

    2013-04-01

    ... 19 Customs Duties 1 2013-04-01 2013-04-01 false Issuance of negative origin determinations. 10.618 Section 10.618 Customs Duties U.S. CUSTOMS AND BORDER PROTECTION, DEPARTMENT OF HOMELAND SECURITY... Issuance of negative origin determinations. If, as a result of an origin verification initiated under...

  4. 19 CFR 10.618 - Issuance of negative origin determinations.

    Code of Federal Regulations, 2012 CFR

    2012-04-01

    ... 19 Customs Duties 1 2012-04-01 2012-04-01 false Issuance of negative origin determinations. 10.618 Section 10.618 Customs Duties U.S. CUSTOMS AND BORDER PROTECTION, DEPARTMENT OF HOMELAND SECURITY... Issuance of negative origin determinations. If, as a result of an origin verification initiated under...

  5. 19 CFR 10.173 - Evidence of country of origin.

    Code of Federal Regulations, 2012 CFR

    2012-04-01

    ... 19 Customs Duties 1 2012-04-01 2012-04-01 false Evidence of country of origin. 10.173 Section 10... Generalized System of Preferences § 10.173 Evidence of country of origin. (a) Shipments covered by a formal... origin as deemed necessary. (c) Verification of documentation. Any evidence of country of...

  6. 19 CFR 10.173 - Evidence of country of origin.

    Code of Federal Regulations, 2013 CFR

    2013-04-01

    ... 19 Customs Duties 1 2013-04-01 2013-04-01 false Evidence of country of origin. 10.173 Section 10... Generalized System of Preferences § 10.173 Evidence of country of origin. (a) Shipments covered by a formal... origin as deemed necessary. (c) Verification of documentation. Any evidence of country of...

  7. 19 CFR 10.173 - Evidence of country of origin.

    Code of Federal Regulations, 2014 CFR

    2014-04-01

    ... 19 Customs Duties 1 2014-04-01 2014-04-01 false Evidence of country of origin. 10.173 Section 10... Generalized System of Preferences § 10.173 Evidence of country of origin. (a) Shipments covered by a formal... origin as deemed necessary. (c) Verification of documentation. Any evidence of country of...

  8. 19 CFR 10.173 - Evidence of country of origin.

    Code of Federal Regulations, 2011 CFR

    2011-04-01

    ... 19 Customs Duties 1 2011-04-01 2011-04-01 false Evidence of country of origin. 10.173 Section 10... Generalized System of Preferences § 10.173 Evidence of country of origin. (a) Shipments covered by a formal... origin as deemed necessary. (c) Verification of documentation. Any evidence of country of...

  9. VERIFICATION TEST PROBLEMS

    SciTech Connect

    Moran, B

    2007-08-08

    We present analytic solutions to two test problems that can be used to check the hydrodynamic implementation in computer codes designed to calculate the propagation of shocks in spherically convergent geometry. Our analysis is restricted to fluid materials with constant bulk modulus. In the first problem we present the exact initial acceleration and pressure gradient at the outer surface of a sphere subjected to an exponentially decaying pressure of the form P(t) = P{sub 0}e{sup -at}. We show that finely-zoned hydro-code simulations are in good agreement with our analytic solution. In the second problem we discuss the implosions of incompressible spherical fluid shells and we present the radial pressure profile across the shell thickness. We also discuss a semi-analytic solution to the time-evolution of a nearly spherical shell with arbitrary but small initial 3-dimensional (3-D) perturbations on its inner and outer surfaces.

  10. Formal verification of mathematical software

    NASA Technical Reports Server (NTRS)

    Sutherland, D.

    1984-01-01

    Methods are investigated for formally specifying and verifying the correctness of mathematical software (software which uses floating point numbers and arithmetic). Previous work in the field was reviewed. A new model of floating point arithmetic called the asymptotic paradigm was developed and formalized. Two different conceptual approaches to program verification, the classical Verification Condition approach and the more recently developed Programming Logic approach, were adapted to use the asymptotic paradigm. These approaches were then used to verify several programs; the programs chosen were simplified versions of actual mathematical software.

  11. 14 CFR § 1274.207 - Extended agreements.

    Code of Federal Regulations, 2014 CFR

    2014-01-01

    ... 14 Aeronautics and Space 5 2014-01-01 2014-01-01 false Extended agreements. § 1274.207 Section § 1274.207 Aeronautics and Space NATIONAL AERONAUTICS AND SPACE ADMINISTRATION COOPERATIVE AGREEMENTS... original scope, period of performance and funding levels; therefore, new proposals, certifications,...

  12. CHEMICAL INDUCTION MIXER VERIFICATION - ENVIRONMENTAL TECHNOLOGY VERIFICATION PROGRAM

    EPA Science Inventory

    The Wet-Weather Flow Technologies Pilot of the Environmental Technology Verification (ETV) Program, which is supported by the U.S. Environmental Protection Agency and facilitated by NSF International, has recently evaluated the performance of chemical induction mixers used for di...

  13. Bidirectionality in synesthesia: evidence from a multiplication verification task.

    PubMed

    Gevers, Wim; Imbo, Ineke; Cohen Kadosh, Roi; Fias, Wim; Hartsuiker, Robert J

    2010-01-01

    Color-grapheme synesthetes automatically perceive achromatic numbers as colored (e.g., 7 is turquoise). Up until recently, synesthesia was believed to be unidirectional. For instance, the number 7 gives rise to the percept of turquoise but the perception of turquoise does not trigger the number 7. However, some recent studies argue for bidirectional connections Cohen Kadosh et al., 2005; Johnson et al., 2007; Knoch et al., 2005). In this study, a multiplication verification task (e.g., 7 x 2 = 14, true/false?) was used to test bidirectionality. In agreement with previous studies we observed that the presentation of colors evokes numerical magnitudes. The current findings add two important notions to previous studies: (a) The influence of color on the processing of numerical information can be extended to multiplication verification tasks and (b) The perception of color can both facilitate and interfere with the processing of digit-related information.

  14. Assessment of pharmacogenomic agreement.

    PubMed

    Safikhani, Zhaleh; El-Hachem, Nehme; Quevedo, Rene; Smirnov, Petr; Goldenberg, Anna; Juul Birkbak, Nicolai; Mason, Christopher; Hatzis, Christos; Shi, Leming; Aerts, Hugo Jwl; Quackenbush, John; Haibe-Kains, Benjamin

    2016-01-01

    In 2013 we published an analysis demonstrating that drug response data and gene-drug associations reported in two independent large-scale pharmacogenomic screens, Genomics of Drug Sensitivity in Cancer (GDSC) and Cancer Cell Line Encyclopedia (CCLE), were inconsistent. The GDSC and CCLE investigators recently reported that their respective studies exhibit reasonable agreement and yield similar molecular predictors of drug response, seemingly contradicting our previous findings. Reanalyzing the authors' published methods and results, we found that their analysis failed to account for variability in the genomic data and more importantly compared different drug sensitivity measures from each study, which substantially deviate from our more stringent consistency assessment. Our comparison of the most updated genomic and pharmacological data from the GDSC and CCLE confirms our published findings that the measures of drug response reported by these two groups are not consistent. We believe that a principled approach to assess the reproducibility of drug sensitivity predictors is necessary before envisioning their translation into clinical settings. PMID:27408686

  15. Assessment of pharmacogenomic agreement

    PubMed Central

    Safikhani, Zhaleh; El-Hachem, Nehme; Quevedo, Rene; Smirnov, Petr; Goldenberg, Anna; Juul Birkbak, Nicolai; Mason, Christopher; Hatzis, Christos; Shi, Leming; Aerts, Hugo JWL; Quackenbush, John; Haibe-Kains, Benjamin

    2016-01-01

    In 2013 we published an analysis demonstrating that drug response data and gene-drug associations reported in two independent large-scale pharmacogenomic screens, Genomics of Drug Sensitivity in Cancer (GDSC) and Cancer Cell Line Encyclopedia (CCLE), were inconsistent. The GDSC and CCLE investigators recently reported that their respective studies exhibit reasonable agreement and yield similar molecular predictors of drug response, seemingly contradicting our previous findings. Reanalyzing the authors’ published methods and results, we found that their analysis failed to account for variability in the genomic data and more importantly compared different drug sensitivity measures from each study, which substantially deviate from our more stringent consistency assessment. Our comparison of the most updated genomic and pharmacological data from the GDSC and CCLE confirms our published findings that the measures of drug response reported by these two groups are not consistent. We believe that a principled approach to assess the reproducibility of drug sensitivity predictors is necessary before envisioning their translation into clinical settings. PMID:27408686

  16. A verification system of RMAP protocol controller

    NASA Astrophysics Data System (ADS)

    Khanov, V. Kh; Shakhmatov, A. V.; Chekmarev, S. A.

    2015-01-01

    The functional verification problem of IP blocks of RMAP protocol controller is considered. The application of the verification method using fully- functional models of the processor and the internal bus of a system-on-chip is justified. Principles of construction of a verification system based on the given approach are proposed. The practical results of creating a system of verification of IP block of RMAP protocol controller is presented.

  17. Working Memory Mechanism in Proportional Quantifier Verification

    ERIC Educational Resources Information Center

    Zajenkowski, Marcin; Szymanik, Jakub; Garraffa, Maria

    2014-01-01

    The paper explores the cognitive mechanisms involved in the verification of sentences with proportional quantifiers (e.g. "More than half of the dots are blue"). The first study shows that the verification of proportional sentences is more demanding than the verification of sentences such as: "There are seven blue and eight yellow…

  18. 78 FR 58492 - Generator Verification Reliability Standards

    Federal Register 2010, 2011, 2012, 2013, 2014

    2013-09-24

    ... Energy Regulatory Commission 18 CFR Part 40 Generator Verification Reliability Standards AGENCY: Federal... Organization: MOD-025-2 (Verification and Data Reporting of Generator Real and Reactive Power Capability and Synchronous Condenser Reactive Power Capability), MOD- 026-1 (Verification of Models and Data for...

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

    SciTech Connect

    Paul, J. N.; Chin, M. R.; Sjoden, G. E.

    2013-07-01

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

  20. Agreement with Subjects in Lubukusu

    ERIC Educational Resources Information Center

    Diercks, Michael J. K.

    2010-01-01

    This dissertation examines three topics in the morphosyntax of Lubukusu (Bantu, Kenya), all of which are concerned with agreement with subjects: locative inversion, complementizer agreement, and alternative agreement effects in subject extraction. Each topic reports novel Lubukusu data which are both typologically interesting and theoretically…

  1. Mining Agreements with Indian Tribes

    ERIC Educational Resources Information Center

    Luebben, Tom

    1976-01-01

    The article discusses aspects of negotiating agreements for exploration, development, and mining of hard minerals on Indian Reservations. The agreements discussed are typical of copper agreements, but the general points under discussion are applicable to most hard minerals except for uranium, coal, and oil which are substantially different.…

  2. A study of applications scribe frame data verifications using design rule check

    NASA Astrophysics Data System (ADS)

    Saito, Shoko; Miyazaki, Masaru; Sakurai, Mitsuo; Itoh, Takahisa; Doi, Kazumasa; Sakurai, Norioko; Okada, Tomoyuki

    2013-06-01

    In semiconductor manufacturing, scribe frame data generally is generated for each LSI product according to its specific process design. Scribe frame data is designed based on definition tables of scanner alignment, wafer inspection and customers specified marks. We check that scribe frame design is conforming to specification of alignment and inspection marks at the end. Recently, in COT (customer owned tooling) business or new technology development, there is no effective verification method for the scribe frame data, and we take a lot of time to work on verification. Therefore, we tried to establish new verification method of scribe frame data by applying pattern matching and DRC (Design Rule Check) which is used in device verification. We would like to show scheme of the scribe frame data verification using DRC which we tried to apply. First, verification rules are created based on specifications of scanner, inspection and others, and a mark library is also created for pattern matching. Next, DRC verification is performed to scribe frame data. Then the DRC verification includes pattern matching using mark library. As a result, our experiments demonstrated that by use of pattern matching and DRC verification our new method can yield speed improvements of more than 12 percent compared to the conventional mark checks by visual inspection and the inspection time can be reduced to less than 5 percent if multi-CPU processing is used. Our method delivers both short processing time and excellent accuracy when checking many marks. It is easy to maintain and provides an easy way for COT customers to use original marks. We believe that our new DRC verification method for scribe frame data is indispensable and mutually beneficial.

  3. The science verification of FLAMES

    NASA Astrophysics Data System (ADS)

    Primas, Francesca

    2003-06-01

    After a new VLT instrument has been commissioned and thoroughly tested1, a series of scientific and technical checkups are scheduled in order to test the front-to-end operations chain before the official start of regular operations. Technically speaking, these are the socalled Dry Runs, part of which are usually devoted to the Science Verification (SV for short) of that specific instrument. A Science Verification programme includes a set of typical scientific observations with the aim of verifying and demonstrating to the community the capabilities of a new instrument in the operational framework of the VLT Paranal Observatory. Though manifold, its goals can be summarised in two main points: from the scientific point of view, by demonstrating the scientific potential of the new instrument, these observations will provide ESO users with first science- grade data, thus fostering an early scientific return. From the technical point of view, by testing the whole operational system (from the preparation of the observations to their execution and analysis), it will provide important feedback to the Instrument Operation Teams (both in Paranal and in Garching), to the Instrument Division, and to the Data Flow groups. More details about the concept(s) behind a Science Verification can be found in the “Science Verification Policy and Procedures” document (available at http://www.eso.org/science/vltsv/).

  4. Verification of MELCOR Input Decks Used in ITER RPrS Analyses

    SciTech Connect

    Richard L. Moore

    2008-01-01

    This report as part of an ITER Task Agreement, documents the verification of the MELCOR Input Computer Decks used in performing the required safety analyses to be presented in the Preliminary Safety Report (Rapport Préliminaire de Séreté, RPrS).

  5. Integrated Medical Model Verification, Validation, and Credibility

    NASA Technical Reports Server (NTRS)

    Walton, Marlei; Kerstman, Eric; Foy, Millennia; Shah, Ronak; Saile, Lynn; Boley, Lynn; Butler, Doug; Myers, Jerry

    2014-01-01

    The Integrated Medical Model (IMM) was designed to forecast relative changes for a specified set of crew health and mission success risk metrics by using a probabilistic (stochastic process) model based on historical data, cohort data, and subject matter expert opinion. A probabilistic approach is taken since exact (deterministic) results would not appropriately reflect the uncertainty in the IMM inputs. Once the IMM was conceptualized, a plan was needed to rigorously assess input information, framework and code, and output results of the IMM, and ensure that end user requests and requirements were considered during all stages of model development and implementation. METHODS: In 2008, the IMM team developed a comprehensive verification and validation (VV) plan, which specified internal and external review criteria encompassing 1) verification of data and IMM structure to ensure proper implementation of the IMM, 2) several validation techniques to confirm that the simulation capability of the IMM appropriately represents occurrences and consequences of medical conditions during space missions, and 3) credibility processes to develop user confidence in the information derived from the IMM. When the NASA-STD-7009 (7009) was published, the IMM team updated their verification, validation, and credibility (VVC) project plan to meet 7009 requirements and include 7009 tools in reporting VVC status of the IMM. RESULTS: IMM VVC updates are compiled recurrently and include 7009 Compliance and Credibility matrices, IMM VV Plan status, and a synopsis of any changes or updates to the IMM during the reporting period. Reporting tools have evolved over the lifetime of the IMM project to better communicate VVC status. This has included refining original 7009 methodology with augmentation from the NASA-STD-7009 Guidance Document. End user requests and requirements are being satisfied as evidenced by ISS Program acceptance of IMM risk forecasts, transition to an operational model and

  6. Verification of the FtCayuga fault-tolerant microprocessor system. Volume 1: A case study in theorem prover-based verification

    NASA Technical Reports Server (NTRS)

    Srivas, Mandayam; Bickford, Mark

    1991-01-01

    The design and formal verification of a hardware system for a task that is an important component of a fault tolerant computer architecture for flight control systems is presented. The hardware system implements an algorithm for obtaining interactive consistancy (byzantine agreement) among four microprocessors as a special instruction on the processors. The property verified insures that an execution of the special instruction by the processors correctly accomplishes interactive consistency, provided certain preconditions hold. An assumption is made that the processors execute synchronously. For verification, the authors used a computer aided design hardware design verification tool, Spectool, and the theorem prover, Clio. A major contribution of the work is the demonstration of a significant fault tolerant hardware design that is mechanically verified by a theorem prover.

  7. 75 FR 40837 - Notice of Agreements Filed

    Federal Register 2010, 2011, 2012, 2013, 2014

    2010-07-14

    ....gov . Agreement No.: 011279-027. Title: Latin America Agreement. Parties: ABC Discussion Agreement; Caribbean Shipowners Association; Central America Discussion Agreement; Compania Libra de Navegacion Uruguay... America Discussion Agreement; and Zim Integrated Shipping Services, Ltd. Filing Party: Wayne R. Rohde,...

  8. Byzantine agreement method without authentication

    SciTech Connect

    Reischuk, R.K.

    1983-12-01

    This invention relates to a method for achieving Byzantine agreement without authentication among n 100 communicating processors using event counting and thresholding rather than message exchanges and evaluations.

  9. Experimental verification of quantum computation

    NASA Astrophysics Data System (ADS)

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

    2013-11-01

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

  10. Ontology Matching with Semantic Verification

    PubMed Central

    Jean-Mary, Yves R.; Shironoshita, E. Patrick; Kabuka, Mansur R.

    2009-01-01

    ASMOV (Automated Semantic Matching of Ontologies with Verification) is a novel algorithm that uses lexical and structural characteristics of two ontologies to iteratively calculate a similarity measure between them, derives an alignment, and then verifies it to ensure that it does not contain semantic inconsistencies. In this paper, we describe the ASMOV algorithm, and then present experimental results that measure its accuracy using the OAEI 2008 tests, and that evaluate its use with two different thesauri: WordNet, and the Unified Medical Language System (UMLS). These results show the increased accuracy obtained by combining lexical, structural and extensional matchers with semantic verification, and demonstrate the advantage of using a domain-specific thesaurus for the alignment of specialized ontologies. PMID:20186256

  11. Ontology Matching with Semantic Verification.

    PubMed

    Jean-Mary, Yves R; Shironoshita, E Patrick; Kabuka, Mansur R

    2009-09-01

    ASMOV (Automated Semantic Matching of Ontologies with Verification) is a novel algorithm that uses lexical and structural characteristics of two ontologies to iteratively calculate a similarity measure between them, derives an alignment, and then verifies it to ensure that it does not contain semantic inconsistencies. In this paper, we describe the ASMOV algorithm, and then present experimental results that measure its accuracy using the OAEI 2008 tests, and that evaluate its use with two different thesauri: WordNet, and the Unified Medical Language System (UMLS). These results show the increased accuracy obtained by combining lexical, structural and extensional matchers with semantic verification, and demonstrate the advantage of using a domain-specific thesaurus for the alignment of specialized ontologies.

  12. Experience and grammatical agreement: Statistical learning shapes number agreement production

    PubMed Central

    Haskell, Todd R.; Thornton, Robert; MacDonald, Maryellen C.

    2009-01-01

    A robust result in research on the production of grammatical agreement is that speakers are more likely to produce an erroneous verb with phrases such as the key to the cabinets, with a singular noun followed by a plural one, than with phrases such as the keys to the cabinet, where a plural noun is followed by a singular. These asymmetries are thought to reflect core language production processes. Previous accounts have attributed error patterns to a syntactic number feature present on plurals but not singulars. An alternative approach is presented in which a process similar to structural priming contributes to the error asymmetry via speakers' past experiences with related agreement constructions. A corpus analysis and two agreement production studies test this account. The results suggest that agreement production is shaped by statistical learning from past language experience. Implications for accounts of agreement are discussed. PMID:19942213

  13. Formal verification of a fault tolerant clock synchronization algorithm

    NASA Technical Reports Server (NTRS)

    Rushby, John; Vonhenke, Frieder

    1989-01-01

    A formal specification and mechanically assisted verification of the interactive convergence clock synchronization algorithm of Lamport and Melliar-Smith is described. Several technical flaws in the analysis given by Lamport and Melliar-Smith were discovered, even though their presentation is unusally precise and detailed. It seems that these flaws were not detected by informal peer scrutiny. The flaws are discussed and a revised presentation of the analysis is given that not only corrects the flaws but is also more precise and easier to follow. Some of the corrections to the flaws require slight modifications to the original assumptions underlying the algorithm and to the constraints on its parameters, and thus change the external specifications of the algorithm. The formal analysis of the interactive convergence clock synchronization algorithm was performed using the Enhanced Hierarchical Development Methodology (EHDM) formal specification and verification environment. This application of EHDM provides a demonstration of some of the capabilities of the system.

  14. Formal verification of AI software

    NASA Technical Reports Server (NTRS)

    Rushby, John; Whitehurst, R. Alan

    1989-01-01

    The application of formal verification techniques to Artificial Intelligence (AI) software, particularly expert systems, is investigated. Constraint satisfaction and model inversion are identified as two formal specification paradigms for different classes of expert systems. A formal definition of consistency is developed, and the notion of approximate semantics is introduced. Examples are given of how these ideas can be applied in both declarative and imperative forms.

  15. Verification of Oncentra brachytherapy planning using independent calculation

    NASA Astrophysics Data System (ADS)

    Safian, N. A. M.; Abdullah, N. H.; Abdullah, R.; Chiang, C. S.

    2016-03-01

    This study was done to investigate the verification technique of treatment plan quality assurance for brachytherapy. It is aimed to verify the point doses in 192Ir high dose rate (HDR) brachytherapy between Oncentra Masterplan brachytherapy treatment planning system and independent calculation software at a region of rectum, bladder and prescription points for both pair ovoids and full catheter set ups. The Oncentra TPS output text files were automatically loaded into the verification programme that has been developed based on spreadsheets. The output consists of source coordinates, desired calculation point coordinates and the dwell time of a patient plan. The source strength and reference dates were entered into the programme and then dose point calculations were independently performed. The programme shows its results in a comparison of its calculated point doses with the corresponding Oncentra TPS outcome. From the total of 40 clinical cases that consisted of two fractions for 20 patients, the results that were given in term of percentage difference, it shows an agreement between TPS and independent calculation are in the range of 2%. This programme only takes a few minutes to be used is preferably recommended to be implemented as the verification technique in clinical brachytherapy dosimetry.

  16. Nuclear Data Verification and Standardization

    SciTech Connect

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

    2011-10-01

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

  17. Regression Verification Using Impact Summaries

    NASA Technical Reports Server (NTRS)

    Backes, John; Person, Suzette J.; Rungta, Neha; Thachuk, Oksana

    2013-01-01

    Regression verification techniques are used to prove equivalence of syntactically similar programs. Checking equivalence of large programs, however, can be computationally expensive. Existing regression verification techniques rely on abstraction and decomposition techniques to reduce the computational effort of checking equivalence of the entire program. These techniques are sound but not complete. In this work, we propose a novel approach to improve scalability of regression verification by classifying the program behaviors generated during symbolic execution as either impacted or unimpacted. Our technique uses a combination of static analysis and symbolic execution to generate summaries of impacted program behaviors. The impact summaries are then checked for equivalence using an o-the-shelf decision procedure. We prove that our approach is both sound and complete for sequential programs, with respect to the depth bound of symbolic execution. Our evaluation on a set of sequential C artifacts shows that reducing the size of the summaries can help reduce the cost of software equivalence checking. Various reduction, abstraction, and compositional techniques have been developed to help scale software verification techniques to industrial-sized systems. Although such techniques have greatly increased the size and complexity of systems that can be checked, analysis of large software systems remains costly. Regression analysis techniques, e.g., regression testing [16], regression model checking [22], and regression verification [19], restrict the scope of the analysis by leveraging the differences between program versions. These techniques are based on the idea that if code is checked early in development, then subsequent versions can be checked against a prior (checked) version, leveraging the results of the previous analysis to reduce analysis cost of the current version. Regression verification addresses the problem of proving equivalence of closely related program

  18. Verification Challenges at Low Numbers

    SciTech Connect

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

    2013-06-01

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

  19. The simple economics of risk-sharing agreements between the NHS and the pharmaceutical industry.

    PubMed

    Barros, Pedro Pita

    2011-04-01

    The introduction of new (and expensive) pharmaceutical products is one of the major challenges for health systems. The search for new institutional arrangements is natural. The use of the so-called risk-sharing agreements is one example. Recent discussions have somewhat neglected the economic fundamentals underlying risk-sharing agreements. We argue here that risk-sharing agreements, although attractive due to the principle of paying by results, also entail risks. Too many patients may be put under treatment. Prices are likely to be adjusted upward, in anticipation of future risk-sharing agreements between the pharmaceutical company and the third-party payer. An available instrument is a verification cost per patient treated, which allows obtaining the first-best allocation of patients to the new treatment, under the agreement. Overall, the welfare effects of risk-sharing agreements are ambiguous, and caution is urged regarding their use.

  20. Experimental verification of an innovative debris detector

    NASA Astrophysics Data System (ADS)

    Bauer, Waldemar; Romberg, Oliver; Putzar, Robin

    2015-12-01

    To analyse the quantity of space debris and micrometeoroids in space, an innovative in-situ impact detection method has been developed at DLR (German Aerospace Center) in Bremen, Germany. The method Solar generator based Impact Detector "SOLID" uses solar panels for impact detection. Since solar panels provide large detection areas, this method allows for the collection of large amounts of data, to be used also for model validation. Furthermore, impact damage can be verified once more to confirm or to refute an impact. Both aspects can significantly improve the quality of model validation by using large amounts of highly reliable data. A verification of the detection method was performed by Hypervelocity Impact (HVI) tests at Fraunhofer EMI, Freiburg, Germany. The HVI tests were conducted using projectiles with a diameter between 500 μm and 2 mm. The impact velocity of those objects ranged from 3.9 km/s to 6.2 km/s. The objective of this investigation was to test the applicability of the developed method concerning in-situ detection of space debris and micrometeoroids. The achieved test results are in agreement with ESA developed damage equations. The ability of the detection method SOLID for impact detection of space debris and micrometeoroids was clearly demonstrated.

  1. Entropy Measurement for Biometric Verification Systems.

    PubMed

    Lim, Meng-Hui; Yuen, Pong C

    2016-05-01

    Biometric verification systems are designed to accept multiple similar biometric measurements per user due to inherent intrauser variations in the biometric data. This is important to preserve reasonable acceptance rate of genuine queries and the overall feasibility of the recognition system. However, such acceptance of multiple similar measurements decreases the imposter's difficulty of obtaining a system-acceptable measurement, thus resulting in a degraded security level. This deteriorated security needs to be measurable to provide truthful security assurance to the users. Entropy is a standard measure of security. However, the entropy formula is applicable only when there is a single acceptable possibility. In this paper, we develop an entropy-measuring model for biometric systems that accepts multiple similar measurements per user. Based on the idea of guessing entropy, the proposed model quantifies biometric system security in terms of adversarial guessing effort for two practical attacks. Excellent agreement between analytic and experimental simulation-based measurement results on a synthetic and a benchmark face dataset justify the correctness of our model and thus the feasibility of the proposed entropy-measuring approach.

  2. Skills agreement. Recipe for success.

    PubMed

    Nolan, Alexis

    2007-06-21

    The aims of the national health Sector Skills Agreement need regional and local implementation by stakeholders to become reality. Work in the East of England will produce a first regional skills agreement later this year. The Harlow Project is producing award winning process on recuitment and retention. PMID:17847967

  3. Gender verification in competitive sports.

    PubMed

    Simpson, J L; Ljungqvist, A; de la Chapelle, A; Ferguson-Smith, M A; Genel, M; Carlson, A S; Ehrhardt, A A; Ferris, E

    1993-11-01

    The possibility that men might masquerade as women and be unfair competitors in women's sports is accepted as outrageous by athletes and the public alike. Since the 1930s, media reports have fuelled claims that individuals who once competed as female athletes subsequently appeared to be men. In most of these cases there was probably ambiguity of the external genitalia, possibly as a result of male pseudohermaphroditism. Nonetheless, beginning at the Rome Olympic Games in 1960, the International Amateur Athletics Federation (IAAF) began establishing rules of eligibility for women athletes. Initially, physical examination was used as a method for gender verification, but this plan was widely resented. Thus, sex chromatin testing (buccal smear) was introduced at the Mexico City Olympic Games in 1968. The principle was that genetic females (46,XX) show a single X-chromatic mass, whereas males (46,XY) do not. Unfortunately, sex chromatin analysis fell out of common diagnostic use by geneticists shortly after the International Olympic Committee (IOC) began its implementation for gender verification. The lack of laboratories routinely performing the test aggravated the problem of errors in interpretation by inexperienced workers, yielding false-positive and false-negative results. However, an even greater problem is that there exist phenotypic females with male sex chromatin patterns (e.g. androgen insensitivity, XY gonadal dysgenesis). These individuals have no athletic advantage as a result of their congenital abnormality and reasonably should not be excluded from competition. That is, only the chromosomal (genetic) sex is analysed by sex chromatin testing, not the anatomical or psychosocial status. For all the above reasons sex chromatin testing unfairly excludes many athletes. Although the IOC offered follow-up physical examinations that could have restored eligibility for those 'failing' sex chromatin tests, most affected athletes seemed to prefer to 'retire'. All

  4. 19 CFR 10.617 - Special rule for verifications in a Party of U.S. imports of textile and apparel goods.

    Code of Federal Regulations, 2013 CFR

    2013-04-01

    .... imports of textile and apparel goods. 10.617 Section 10.617 Customs Duties U.S. CUSTOMS AND BORDER... Verifications and Determinations § 10.617 Special rule for verifications in a Party of U.S. imports of textile... the purpose of determining that a claim of origin for a textile or apparel good is accurate, CBP...

  5. 19 CFR 10.617 - Special rule for verifications in a Party of U.S. imports of textile and apparel goods.

    Code of Federal Regulations, 2014 CFR

    2014-04-01

    .... imports of textile and apparel goods. 10.617 Section 10.617 Customs Duties U.S. CUSTOMS AND BORDER... Verifications and Determinations § 10.617 Special rule for verifications in a Party of U.S. imports of textile... the purpose of determining that a claim of origin for a textile or apparel good is accurate, CBP...

  6. 19 CFR 10.617 - Special rule for verifications in a Party of U.S. imports of textile and apparel goods.

    Code of Federal Regulations, 2012 CFR

    2012-04-01

    .... imports of textile and apparel goods. 10.617 Section 10.617 Customs Duties U.S. CUSTOMS AND BORDER... Verifications and Determinations § 10.617 Special rule for verifications in a Party of U.S. imports of textile... the purpose of determining that a claim of origin for a textile or apparel good is accurate, CBP...

  7. 19 CFR 10.617 - Special rule for verifications in a Party of U.S. imports of textile and apparel goods.

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    .... imports of textile and apparel goods. 10.617 Section 10.617 Customs Duties U.S. CUSTOMS AND BORDER... Verifications and Determinations § 10.617 Special rule for verifications in a Party of U.S. imports of textile... the purpose of determining that a claim of origin for a textile or apparel good is accurate, CBP...

  8. 19 CFR 10.617 - Special rule for verifications in a Party of U.S. imports of textile and apparel goods.

    Code of Federal Regulations, 2011 CFR

    2011-04-01

    .... imports of textile and apparel goods. 10.617 Section 10.617 Customs Duties U.S. CUSTOMS AND BORDER... Verifications and Determinations § 10.617 Special rule for verifications in a Party of U.S. imports of textile... the purpose of determining that a claim of origin for a textile or apparel good is accurate, CBP...

  9. Linear and nonlinear verification of gyrokinetic microstability codes

    SciTech Connect

    Bravenec, R. V.; Candy, J.; Barnes, M.

    2011-12-15

    Verification of nonlinear microstability codes is a necessary step before comparisons or predictions of turbulent transport in toroidal devices can be justified. By verification we mean demonstrating that a code correctly solves the mathematical model upon which it is based. Some degree of verification can be accomplished indirectly from analytical instability threshold conditions, nonlinear saturation estimates, etc., for relatively simple plasmas. However, verification for experimentally relevant plasma conditions and physics is beyond the realm of analytical treatment and must rely on code-to-code comparisons, i.e., benchmarking. The premise is that the codes are verified for a given problem or set of parameters if they all agree within a specified tolerance. True verification requires comparisons for a number of plasma conditions, e.g., different devices, discharges, times, and radii. Running the codes and keeping track of linear and nonlinear inputs and results for all conditions could be prohibitive unless there was some degree of automation. We have written software to do just this and have formulated a metric for assessing agreement of nonlinear simulations. We present comparisons, both linear and nonlinear, between the gyrokinetic codes GYRO[J. Candy and R. E. Waltz, J. Comput. Phys. 186, 545 (2003)] and GS2[W. Dorland, F. Jenko, M. Kotschenreuther, and B. N. Rogers, Phys. Rev. Lett. 85, 5579 (2000)]. We do so at the mid-radius for the same discharge as in earlier work [C. Holland, A. E. White, G. R. McKee, M. W. Shafer, J. Candy, R. E. Waltz, L. Schmitz, and G. R. Tynan, Phys. Plasmas 16, 052301 (2009)]. The comparisons include electromagnetic fluctuations, passing and trapped electrons, plasma shaping, one kinetic impurity, and finite Debye-length effects. Results neglecting and including electron collisions (Lorentz model) are presented. We find that the linear frequencies with or without collisions agree well between codes, as do the time averages of

  10. Linear and nonlinear verification of gyrokinetic microstability codes

    NASA Astrophysics Data System (ADS)

    Bravenec, R. V.; Candy, J.; Barnes, M.; Holland, C.

    2011-12-01

    Verification of nonlinear microstability codes is a necessary step before comparisons or predictions of turbulent transport in toroidal devices can be justified. By verification we mean demonstrating that a code correctly solves the mathematical model upon which it is based. Some degree of verification can be accomplished indirectly from analytical instability threshold conditions, nonlinear saturation estimates, etc., for relatively simple plasmas. However, verification for experimentally relevant plasma conditions and physics is beyond the realm of analytical treatment and must rely on code-to-code comparisons, i.e., benchmarking. The premise is that the codes are verified for a given problem or set of parameters if they all agree within a specified tolerance. True verification requires comparisons for a number of plasma conditions, e.g., different devices, discharges, times, and radii. Running the codes and keeping track of linear and nonlinear inputs and results for all conditions could be prohibitive unless there was some degree of automation. We have written software to do just this and have formulated a metric for assessing agreement of nonlinear simulations. We present comparisons, both linear and nonlinear, between the gyrokinetic codes GYRO [J. Candy and R. E. Waltz, J. Comput. Phys. 186, 545 (2003)] and GS2 [W. Dorland, F. Jenko, M. Kotschenreuther, and B. N. Rogers, Phys. Rev. Lett. 85, 5579 (2000)]. We do so at the mid-radius for the same discharge as in earlier work [C. Holland, A. E. White, G. R. McKee, M. W. Shafer, J. Candy, R. E. Waltz, L. Schmitz, and G. R. Tynan, Phys. Plasmas 16, 052301 (2009)]. The comparisons include electromagnetic fluctuations, passing and trapped electrons, plasma shaping, one kinetic impurity, and finite Debye-length effects. Results neglecting and including electron collisions (Lorentz model) are presented. We find that the linear frequencies with or without collisions agree well between codes, as do the time averages of

  11. 40 CFR 1065.920 - PEMS calibrations and verifications.

    Code of Federal Regulations, 2013 CFR

    2013-07-01

    ... 40 Protection of Environment 34 2013-07-01 2013-07-01 false PEMS calibrations and verifications....920 PEMS calibrations and verifications. (a) Subsystem calibrations and verifications. Use all the applicable calibrations and verifications in subpart D of this part, including the linearity verifications...

  12. 40 CFR 1065.920 - PEMS calibrations and verifications.

    Code of Federal Regulations, 2012 CFR

    2012-07-01

    ... 40 Protection of Environment 34 2012-07-01 2012-07-01 false PEMS calibrations and verifications....920 PEMS calibrations and verifications. (a) Subsystem calibrations and verifications. Use all the applicable calibrations and verifications in subpart D of this part, including the linearity verifications...

  13. PERFORMANCE VERIFICATION OF STORMWATER TREATMENT DEVICES UNDER EPA�S ENVIRONMENTAL TECHNOLOGY VERIFICATION PROGRAM

    EPA Science Inventory

    The Environmental Technology Verification (ETV) Program was created to facilitate the deployment of innovative or improved environmental technologies through performance verification and dissemination of information. The program�s goal is to further environmental protection by a...

  14. PERFORMANCE VERIFICATION OF ANIMAL WATER TREATMENT TECHNOLOGIES THROUGH EPA'S ENVIRONMENTAL TECHNOLOGY VERIFICATION PROGRAM

    EPA Science Inventory

    The U.S. Environmental Protection Agency created the Environmental Technology Verification Program (ETV) to further environmental protection by accelerating the commercialization of new and innovative technology through independent performance verification and dissemination of in...

  15. Magnetic cleanliness verification approach on tethered satellite

    NASA Technical Reports Server (NTRS)

    Messidoro, Piero; Braghin, Massimo; Grande, Maurizio

    1990-01-01

    Magnetic cleanliness testing was performed on the Tethered Satellite as the last step of an articulated verification campaign aimed at demonstrating the capability of the satellite to support its TEMAG (TEthered MAgnetometer) experiment. Tests at unit level and analytical predictions/correlations using a dedicated mathematical model (GANEW program) are also part of the verification activities. Details of the tests are presented, and the results of the verification are described together with recommendations for later programs.

  16. Hydrologic data-verification management program plan

    USGS Publications Warehouse

    Alexander, C.W.

    1982-01-01

    Data verification refers to the performance of quality control on hydrologic data that have been retrieved from the field and are being prepared for dissemination to water-data users. Water-data users now have access to computerized data files containing unpublished, unverified hydrologic data. Therefore, it is necessary to develop techniques and systems whereby the computer can perform some data-verification functions before the data are stored in user-accessible files. Computerized data-verification routines can be developed for this purpose. A single, unified concept describing master data-verification program using multiple special-purpose subroutines, and a screen file containing verification criteria, can probably be adapted to any type and size of computer-processing system. Some traditional manual-verification procedures can be adapted for computerized verification, but new procedures can also be developed that would take advantage of the powerful statistical tools and data-handling procedures available to the computer. Prototype data-verification systems should be developed for all three data-processing environments as soon as possible. The WATSTORE system probably affords the greatest opportunity for long-range research and testing of new verification subroutines. (USGS)

  17. Input apparatus for dynamic signature verification systems

    DOEpatents

    EerNisse, Errol P.; Land, Cecil E.; Snelling, Jay B.

    1978-01-01

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

  18. Guide to good practices for independent verification

    SciTech Connect

    1998-12-01

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

  19. The SeaHorn Verification Framework

    NASA Technical Reports Server (NTRS)

    Gurfinkel, Arie; Kahsai, Temesghen; Komuravelli, Anvesh; Navas, Jorge A.

    2015-01-01

    In this paper, we present SeaHorn, a software verification framework. The key distinguishing feature of SeaHorn is its modular design that separates the concerns of the syntax of the programming language, its operational semantics, and the verification semantics. SeaHorn encompasses several novelties: it (a) encodes verification conditions using an efficient yet precise inter-procedural technique, (b) provides flexibility in the verification semantics to allow different levels of precision, (c) leverages the state-of-the-art in software model checking and abstract interpretation for verification, and (d) uses Horn-clauses as an intermediate language to represent verification conditions which simplifies interfacing with multiple verification tools based on Horn-clauses. SeaHorn provides users with a powerful verification tool and researchers with an extensible and customizable framework for experimenting with new software verification techniques. The effectiveness and scalability of SeaHorn are demonstrated by an extensive experimental evaluation using benchmarks from SV-COMP 2015 and real avionics code.

  20. Verification of operating software for cooperative monitoring applications

    SciTech Connect

    Tolk, K.M.; Rembold, R.K.

    1997-08-01

    Monitoring agencies often use computer based equipment to control instruments and to collect data at sites that are being monitored under international safeguards or other cooperative monitoring agreements. In order for this data to be used as an independent verification of data supplied by the host at the facility, the software used must be trusted by the monitoring agency. The monitoring party must be sure that the software has not be altered to give results that could lead to erroneous conclusions about nuclear materials inventories or other operating conditions at the site. The host might also want to verify that the software being used is the software that has been previously inspected in order to be assured that only data that is allowed under the agreement is being collected. A description of a method to provide this verification using keyed has functions and how the proposed method overcomes possible vulnerabilities in methods currently in use such as loading the software from trusted disks is presented. The use of public key data authentication for this purpose is also discussed.

  1. 40 CFR 1065.550 - Gas analyzer range verification and drift verification.

    Code of Federal Regulations, 2014 CFR

    2014-07-01

    ... Cycles § 1065.550 Gas analyzer range verification and drift verification. (a) Range verification. If an... with a CLD and the removed water is corrected based on measured CO2, CO, THC, and NOX concentrations...-specific emissions over the entire duty cycle for drift. For each constituent to be verified, both sets...

  2. Federal Facility Agreement progress report

    SciTech Connect

    Not Available

    1993-10-01

    The (SRS) Federal Facility Agreement (FFA) was made effective by the US. Environmental Protection Agency Region IV (EPA) on August 16, 1993. To meet the reporting requirements in Section XXV of the Agreement, the FFA Progress Report was developed. The FFA Progress Report is the first of a series of quarterly progress reports to be prepared by the SRS. As such this report describes the information and action taken to September 30, 1993 on the SRS units identified for investigation and remediation in the Agreement. This includes; rubble pits, runoff basins, retention basin, seepage basin, burning pits, H-Area Tank 16, and spill areas.

  3. Suspension agreements: The status quota

    SciTech Connect

    1996-01-01

    Since the initial filing of anti-dumping actions uranium imports from the former Soviet Union, a maze of filings, agreements, amendments, bills, measures, and deals have emerged on which only the closest observers remain current. Even with all the actions that have taken place, none of the parties appear content with the status quo and changes to the agreements are ongoing. Given this dynamic state of affairs, a recap of events and a summary of the current agreements is helpful for understanding the concerns of the involved parties and digesting future events.

  4. Turbulence Modeling Verification and Validation

    NASA Technical Reports Server (NTRS)

    Rumsey, Christopher L.

    2014-01-01

    Computational fluid dynamics (CFD) software that solves the Reynolds-averaged Navier-Stokes (RANS) equations has been in routine use for more than a quarter of a century. It is currently employed not only for basic research in fluid dynamics, but also for the analysis and design processes in many industries worldwide, including aerospace, automotive, power generation, chemical manufacturing, polymer processing, and petroleum exploration. A key feature of RANS CFD is the turbulence model. Because the RANS equations are unclosed, a model is necessary to describe the effects of the turbulence on the mean flow, through the Reynolds stress terms. The turbulence model is one of the largest sources of uncertainty in RANS CFD, and most models are known to be flawed in one way or another. Alternative methods such as direct numerical simulations (DNS) and large eddy simulations (LES) rely less on modeling and hence include more physics than RANS. In DNS all turbulent scales are resolved, and in LES the large scales are resolved and the effects of the smallest turbulence scales are modeled. However, both DNS and LES are too expensive for most routine industrial usage on today's computers. Hybrid RANS-LES, which blends RANS near walls with LES away from walls, helps to moderate the cost while still retaining some of the scale-resolving capability of LES, but for some applications it can still be too expensive. Even considering its associated uncertainties, RANS turbulence modeling has proved to be very useful for a wide variety of applications. For example, in the aerospace field, many RANS models are considered to be reliable for computing attached flows. However, existing turbulence models are known to be inaccurate for many flows involving separation. Research has been ongoing for decades in an attempt to improve turbulence models for separated and other nonequilibrium flows. When developing or improving turbulence models, both verification and validation are important

  5. Original Misunderstanding

    ERIC Educational Resources Information Center

    Holtzman, Alexander

    2009-01-01

    Humorist Josh Billings quipped, "About the most originality that any writer can hope to achieve honestly is to steal with good judgment." Billings was harsh in his view of originality, but his critique reveals a tension faced by students every time they write a history paper. Research is the essence of any history paper. Especially in high school,…

  6. Conformance Verification of Privacy Policies

    NASA Astrophysics Data System (ADS)

    Fu, Xiang

    Web applications are both the consumers and providers of information. To increase customer confidence, many websites choose to publish their privacy protection policies. However, policy conformance is often neglected. We propose a logic based framework for formally specifying and reasoning about the implementation of privacy protection by a web application. A first order extension of computation tree logic is used to specify a policy. A verification paradigm, built upon a static control/data flow analysis, is presented to verify if a policy is satisfied.

  7. Structural dynamics verification facility study

    NASA Technical Reports Server (NTRS)

    Kiraly, L. J.; Hirchbein, M. S.; Mcaleese, J. M.; Fleming, D. P.

    1981-01-01

    The need for a structural dynamics verification facility to support structures programs was studied. Most of the industry operated facilities are used for highly focused research, component development, and problem solving, and are not used for the generic understanding of the coupled dynamic response of major engine subsystems. Capabilities for the proposed facility include: the ability to both excite and measure coupled structural dynamic response of elastic blades on elastic shafting, the mechanical simulation of various dynamical loadings representative of those seen in operating engines, and the measurement of engine dynamic deflections and interface forces caused by alternative engine mounting configurations and compliances.

  8. Approaches to wind resource verification

    NASA Technical Reports Server (NTRS)

    Barchet, W. R.

    1982-01-01

    Verification of the regional wind energy resource assessments produced by the Pacific Northwest Laboratory addresses the question: Is the magnitude of the resource given in the assessments truly representative of the area of interest? Approaches using qualitative indicators of wind speed (tree deformation, eolian features), old and new data of opportunity not at sites specifically chosen for their exposure to the wind, and data by design from locations specifically selected to be good wind sites are described. Data requirements and evaluation procedures for verifying the resource are discussed.

  9. Why do verification and validation?

    DOE PAGES

    Hu, Kenneth T.; Paez, Thomas L.

    2016-02-19

    In this discussion paper, we explore different ways to assess the value of verification and validation (V&V) of engineering models. We first present a literature review on the value of V&V and then use value chains and decision trees to show how value can be assessed from a decision maker's perspective. In this context, the value is what the decision maker is willing to pay for V&V analysis with the understanding that the V&V results are uncertain. As a result, the 2014 Sandia V&V Challenge Workshop is used to illustrate these ideas.

  10. Good Agreements Make Good Friends

    PubMed Central

    Han, The Anh; Pereira, Luís Moniz; Santos, Francisco C.; Lenaerts, Tom

    2013-01-01

    When starting a new collaborative endeavor, it pays to establish upfront how strongly your partner commits to the common goal and what compensation can be expected in case the collaboration is violated. Diverse examples in biological and social contexts have demonstrated the pervasiveness of making prior agreements on posterior compensations, suggesting that this behavior could have been shaped by natural selection. Here, we analyze the evolutionary relevance of such a commitment strategy and relate it to the costly punishment strategy, where no prior agreements are made. We show that when the cost of arranging a commitment deal lies within certain limits, substantial levels of cooperation can be achieved. Moreover, these levels are higher than that achieved by simple costly punishment, especially when one insists on sharing the arrangement cost. Not only do we show that good agreements make good friends, agreements based on shared costs result in even better outcomes. PMID:24045873

  11. Quick Guide: Power Purchase Agreements

    SciTech Connect

    2010-06-25

    Introduction to Federal power purchase agreements (PPAs), including available FEMP services and technical assistance as well as questions to ask when evaluating PPAs for a Federal renewable energy project.

  12. Empirical agreement in model validation.

    PubMed

    Jebeile, Julie; Barberousse, Anouk

    2016-04-01

    Empirical agreement is often used as an important criterion when assessing the validity of scientific models. However, it is by no means a sufficient criterion as a model can be so adjusted as to fit available data even though it is based on hypotheses whose plausibility is known to be questionable. Our aim in this paper is to investigate into the uses of empirical agreement within the process of model validation.

  13. THE DEVELOPMENT OF A SHIP BALLAST WATER TREATMENT TECHNOLOGY VERIFICATION PROTOCOL THROUGH AN INTERAGENCY AGREEMENT PARTNERSHIP

    EPA Science Inventory

    The introduction of nonindigenous aquatic nuisance species through the discharge of shipboard ballast water into coastal areas around the world has profound negative impacts on aquatic ecosystems worldwide. Aquatic nuisance species are one of the most important environmental issu...

  14. 7 CFR 247.4 - Agreements.

    Code of Federal Regulations, 2013 CFR

    2013-01-01

    ... CHILD NUTRITION PROGRAMS COMMODITY SUPPLEMENTAL FOOD PROGRAM § 247.4 Agreements. (a) What agreements are..., sex, or disability. (d) What is the duration of required agreements? Agreements between FNS and...

  15. 7 CFR 247.4 - Agreements.

    Code of Federal Regulations, 2014 CFR

    2014-01-01

    ... CHILD NUTRITION PROGRAMS COMMODITY SUPPLEMENTAL FOOD PROGRAM § 247.4 Agreements. (a) What agreements are..., sex, or disability. (d) What is the duration of required agreements? Agreements between FNS and...

  16. 19 CFR 10.470 - Verification and justification of claim for preferential treatment.

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ...) Applicable accounting principles. When conducting a verification of origin to which Generally Accepted Accounting Principles may be relevant, CBP will apply and accept the Generally Accepted Accounting Principles... accounting and financial records, information relating to the place of production, the number...

  17. 19 CFR 10.1026 - Verification and justification of claim for preferential tariff treatment.

    Code of Federal Regulations, 2012 CFR

    2012-04-01

    ... an importer, exporter, or producer has provided false or unsupported declarations or certifications... Parties may agree. (b) Applicable accounting principles. When conducting a verification of origin to which Generally Accepted Accounting Principles may be relevant, CBP will apply and accept the Generally...

  18. Applying the neutron scatter camera to treaty verification and warhead monitoring.

    SciTech Connect

    Cooper, Robert Lee; Gerling, Mark; Brennan, James S.; Mascarenhas, Nicholas; Mrowka, Stanley; Marleau, Peter

    2010-12-01

    The neutron scatter camera was originally developed for a range of SNM detection applications. We are now exploring the feasibility of applications in treaty verification and warhead monitoring using experimentation, maximum likelihood estimation method (MLEM), detector optimization, and MCNP-PoliMi simulations.

  19. 78 FR 56266 - Consent Based Social Security Number Verification (CBSV) Service

    Federal Register 2010, 2011, 2012, 2013, 2014

    2013-09-12

    ... Security number (SSN) verification services to enrolled private businesses, State and local government agencies who obtain a valid, signed consent form from the SSN holder. We originally published a notice... Code of Federal Regulation 401.100, establish the legal authority for us to provide SSN ]...

  20. Verification and maintenance of dental explorer sharpness.

    PubMed

    Pape, H R; Mäkinen, K K

    1994-01-01

    An ongoing study of the relationship between different chewing gums, remineralization, and caries rates was started in 1989 in Belize, Central America. Initially 1277 children, age 10 years, were assigned in equal randomized groups to four dentists who had been trained to identify a standard of caries diagnosis. The same children were examined according to a modified WHO caries code by the same dentist in each of the three subsequent years. To eliminate one possible variable, all 200 dental explorers used were examined under a X20 binocular Bausch and Lomb dissecting microscope initially and at each exam period. Any explorer not comparable to an explorer that was originally marked and kept unused as a standard was sharpened by hand on an Arkansas oilstone wetted with engine oil for lubrication. Explorers that could not be restored to a condition comparable at X20 to the standard were discarded. Approximately 10% of the explorers needed correction at each exam period and about 1% were discarded. In any study related to dental caries evaluation with dental explorers or comparison of explorer use versus nonuse, verification and maintenance of sharpness of used and even new dental explorers should be addressed to remove that factor as a possible variable.

  1. Verification watermarks on fingerprint recognition and retrieval

    NASA Astrophysics Data System (ADS)

    Yeung, Minerva M.; Pankanti, Sharatchandra

    2000-10-01

    Current `invisible' watermarking techniques aim at producing watermarked data that suffer no or little quality degradation and are perceptually identical to the original versions. The most common utility of a watermarked image is (1) for image viewing and display, and (2) for extracting the embedded watermark in subsequent copy protection applications. The issue is often centered on the robustness of the watermark for detection and extraction. In addition to robustness studies, a fundamental question will center on the utilization value of the watermarked images beyond perceptual quality evaluation. Essentially we have to study how the watermarks inserted affect the subsequent processing and utility of images, and what watermarking schemes we can develop that will cater to these processing tasks. This work focuses on the study of watermarking on images used in automatic personal identification technology based on fingerprints. We investigate the effects of watermarking fingerprint images on the recognition and retrieval accuracy using a proposed invisible fragile watermarking technique for image verification applications on a specific fingerprint recognition system. We shall also describe the watermarking scheme, fingerprint recognition and feature extraction techniques used. We believe that watermarking of images will provide value-added protection, as well as copyright notification capability, to the fingerprint data collection processes and subsequent usage.

  2. Verification watermarks on fingerprint recognition and retrieval

    NASA Astrophysics Data System (ADS)

    Pankanti, Sharatchandra; Yeung, Minerva M.

    1999-04-01

    Current 'invisible' watermarking techniques aim at producing watermarked data that suffer no or little quality degradation and perceptually identical to the original versions. The most common utility of a watermarked image is (1) for image viewing and display, and (2) for extracting the embedded watermark in subsequent copy protection applications. The issue is often centered on the robustness of the watermark for detection and extraction. In addition to robustness studies, a fundamental question will center on the utilization value of the watermarked images beyond perceptual quality evaluation. Essentially we have to study how the watermarks inserted affect the subsequent processing and utility of images, and what watermarking schemes we can develop that will cater to these processing tasks. This work focuses on the study of watermarking on images used in automatic personal identification technology based fingerprints. We investigate the effects of watermarking fingerprint images on the recognition and retrieval accuracy using a proposed invisible fragile watermarking technique for image verification applications on a specific fingerprint recognition system. We shall also describe the watermarking scheme, fingerprint recognition and feature extraction techniques used. We believe that watermarking of images will provided value-added protection, as well as copyright notification capability, to the fingerprint data collection processes and subsequent usage.

  3. RISKIND verification and benchmark comparisons

    SciTech Connect

    Biwer, B.M.; Arnish, J.J.; Chen, S.Y.; Kamboj, S.

    1997-08-01

    This report presents verification calculations and benchmark comparisons for RISKIND, a computer code designed to estimate potential radiological consequences and health risks to individuals and the population from exposures associated with the transportation of spent nuclear fuel and other radioactive materials. Spreadsheet calculations were performed to verify the proper operation of the major options and calculational steps in RISKIND. The program is unique in that it combines a variety of well-established models into a comprehensive treatment for assessing risks from the transportation of radioactive materials. Benchmark comparisons with other validated codes that incorporate similar models were also performed. For instance, the external gamma and neutron dose rate curves for a shipping package estimated by RISKIND were compared with those estimated by using the RADTRAN 4 code and NUREG-0170 methodology. Atmospheric dispersion of released material and dose estimates from the GENII and CAP88-PC codes. Verification results have shown the program to be performing its intended function correctly. The benchmark results indicate that the predictions made by RISKIND are within acceptable limits when compared with predictions from similar existing models.

  4. Cognitive Bias in Systems Verification

    NASA Technical Reports Server (NTRS)

    Larson, Steve

    2012-01-01

    Working definition of cognitive bias: Patterns by which information is sought and interpreted that can lead to systematic errors in decisions. Cognitive bias is used in diverse fields: Economics, Politics, Intelligence, Marketing, to name a few. Attempts to ground cognitive science in physical characteristics of the cognitive apparatus exceed our knowledge. Studies based on correlations; strict cause and effect is difficult to pinpoint. Effects cited in the paper and discussed here have been replicated many times over, and appear sound. Many biases have been described, but it is still unclear whether they are all distinct. There may only be a handful of fundamental biases, which manifest in various ways. Bias can effect system verification in many ways . Overconfidence -> Questionable decisions to deploy. Availability -> Inability to conceive critical tests. Representativeness -> Overinterpretation of results. Positive Test Strategies -> Confirmation bias. Debiasing at individual level very difficult. The potential effect of bias on the verification process can be managed, but not eliminated. Worth considering at key points in the process.

  5. Runtime Verification with State Estimation

    NASA Technical Reports Server (NTRS)

    Stoller, Scott D.; Bartocci, Ezio; Seyster, Justin; Grosu, Radu; Havelund, Klaus; Smolka, Scott A.; Zadok, Erez

    2011-01-01

    We introduce the concept of Runtime Verification with State Estimation and show how this concept can be applied to estimate theprobability that a temporal property is satisfied by a run of a program when monitoring overhead is reduced by sampling. In such situations, there may be gaps in the observed program executions, thus making accurate estimation challenging. To deal with the effects of sampling on runtime verification, we view event sequences as observation sequences of a Hidden Markov Model (HMM), use an HMM model of the monitored program to "fill in" sampling-induced gaps in observation sequences, and extend the classic forward algorithm for HMM state estimation (which determines the probability of a state sequence, given an observation sequence) to compute the probability that the property is satisfied by an execution of the program. To validate our approach, we present a case study based on the mission software for a Mars rover. The results of our case study demonstrate high prediction accuracy for the probabilities computed by our algorithm. They also show that our technique is much more accurate than simply evaluating the temporal property on the given observation sequences, ignoring the gaps.

  6. A Verification Method for MASOES.

    PubMed

    Perozo, N; Aguilar Perozo, J; Terán, O; Molina, H

    2013-02-01

    MASOES is a 3agent architecture for designing and modeling self-organizing and emergent systems. This architecture describes the elements, relationships, and mechanisms, both at the individual and the collective levels, that favor the analysis of the self-organizing and emergent phenomenon without mathematically modeling the system. In this paper, a method is proposed for verifying MASOES from the point of view of design in order to study the self-organizing and emergent behaviors of the modeled systems. The verification criteria are set according to what is proposed in MASOES for modeling self-organizing and emerging systems and the principles of the wisdom of crowd paradigm and the fuzzy cognitive map (FCM) theory. The verification method for MASOES has been implemented in a tool called FCM Designer and has been tested to model a community of free software developers that works under the bazaar style as well as a Wikipedia community in order to study their behavior and determine their self-organizing and emergent capacities.

  7. Video-based fingerprint verification.

    PubMed

    Qin, Wei; Yin, Yilong; Liu, Lili

    2013-09-04

    Conventional fingerprint verification systems use only static information. In this paper, fingerprint videos, which contain dynamic information, are utilized for verification. Fingerprint videos are acquired by the same capture device that acquires conventional fingerprint images, and the user experience of providing a fingerprint video is the same as that of providing a single impression. After preprocessing and aligning processes, "inside similarity" and "outside similarity" are defined and calculated to take advantage of both dynamic and static information contained in fingerprint videos. Match scores between two matching fingerprint videos are then calculated by combining the two kinds of similarity. Experimental results show that the proposed video-based method leads to a relative reduction of 60 percent in the equal error rate (EER) in comparison to the conventional single impression-based method. We also analyze the time complexity of our method when different combinations of strategies are used. Our method still outperforms the conventional method, even if both methods have the same time complexity. Finally, experimental results demonstrate that the proposed video-based method can lead to better accuracy than the multiple impressions fusion method, and the proposed method has a much lower false acceptance rate (FAR) when the false rejection rate (FRR) is quite low.

  8. Video-Based Fingerprint Verification

    PubMed Central

    Qin, Wei; Yin, Yilong; Liu, Lili

    2013-01-01

    Conventional fingerprint verification systems use only static information. In this paper, fingerprint videos, which contain dynamic information, are utilized for verification. Fingerprint videos are acquired by the same capture device that acquires conventional fingerprint images, and the user experience of providing a fingerprint video is the same as that of providing a single impression. After preprocessing and aligning processes, “inside similarity” and “outside similarity” are defined and calculated to take advantage of both dynamic and static information contained in fingerprint videos. Match scores between two matching fingerprint videos are then calculated by combining the two kinds of similarity. Experimental results show that the proposed video-based method leads to a relative reduction of 60 percent in the equal error rate (EER) in comparison to the conventional single impression-based method. We also analyze the time complexity of our method when different combinations of strategies are used. Our method still outperforms the conventional method, even if both methods have the same time complexity. Finally, experimental results demonstrate that the proposed video-based method can lead to better accuracy than the multiple impressions fusion method, and the proposed method has a much lower false acceptance rate (FAR) when the false rejection rate (FRR) is quite low. PMID:24008283

  9. GENERIC VERIFICATION PROTOCOL FOR THE VERIFICATION OF PESTICIDE SPRAY DRIFT REDUCTION TECHNOLOGIES FOR ROW AND FIELD CROPS

    EPA Science Inventory

    This ETV program generic verification protocol was prepared and reviewed for the Verification of Pesticide Drift Reduction Technologies project. The protocol provides a detailed methodology for conducting and reporting results from a verification test of pesticide drift reductio...

  10. The Use of Remote Sensing Satellites for Verification in International Law

    NASA Astrophysics Data System (ADS)

    Hettling, J. K.

    The contribution is a very sensitive topic which is currently about to gain significance and importance in the international community. It implies questions of international law as well as the contemplation of new developments and decisions in international politics. The paper will begin with the meaning and current status of verification in international law as well as the legal basis of satellite remote sensing in international treaties and resolutions. For the verification part, this implies giving a definition of verification and naming its fields of application and the different means of verification. For the remote sensing part, it involves the identification of relevant provisions in the Outer Space Treaty and the United Nations General Assembly Principles on Remote Sensing. Furthermore it shall be looked at practical examples: in how far have remote sensing satellites been used to verify international obligations? Are there treaties which would considerably profit from the use of remote sensing satellites? In this respect, there are various examples which can be contemplated, such as the ABM Treaty (even though out of force now), the SALT and START Agreements, the Chemical Weapons Convention and the Conventional Test Ban Treaty. It will be mentioned also that NGOs have started to verify international conventions, e.g. Landmine Monitor is verifying the Mine-Ban Convention. Apart from verifying arms control and disarmament treaties, satellites can also strengthen the negotiation of peace agreements (such as the Dayton Peace Talks) and the prevention of international conflicts from arising. Verification has played an increasingly prominent role in high-profile UN operations. Verification and monitoring can be applied to the whole range of elements that constitute a peace implementation process, ranging from the military aspects through electoral monitoring and human rights monitoring, from negotiating an accord to finally monitoring it. Last but not least the

  11. Students' Verification Strategies for Combinatorial Problems

    ERIC Educational Resources Information Center

    Mashiach Eizenberg, Michal; Zaslavsky, Orit

    2004-01-01

    We focus on a major difficulty in solving combinatorial problems, namely, on the verification of a solution. Our study aimed at identifying undergraduate students' tendencies to verify their solutions, and the verification strategies that they employ when solving these problems. In addition, an attempt was made to evaluate the level of efficiency…

  12. IMPROVING AIR QUALITY THROUGH ENVIRONMENTAL TECHNOLOGY VERIFICATIONS

    EPA Science Inventory

    The U.S. Environmental Protection Agency (EPA) began the Environmental Technology Verification (ETV) Program in 1995 as a means of working with the private sector to establish a market-based verification process available to all environmental technologies. Under EPA's Office of R...

  13. 14 CFR 460.17 - Verification program.

    Code of Federal Regulations, 2014 CFR

    2014-01-01

    ... TRANSPORTATION LICENSING HUMAN SPACE FLIGHT REQUIREMENTS Launch and Reentry with Crew § 460.17 Verification... software in an operational flight environment before allowing any space flight participant on board during... 14 Aeronautics and Space 4 2014-01-01 2014-01-01 false Verification program. 460.17 Section...

  14. ENVIRONMENTAL TECHNOLOGY VERIFICATION FOR INDOOR AIR PRODUCTS

    EPA Science Inventory

    The paper discusses environmental technology verification (ETV) for indoor air products. RTI is developing the framework for a verification testing program for indoor air products, as part of EPA's ETV program. RTI is establishing test protocols for products that fit into three...

  15. 24 CFR 4001.112 - Income verification.

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ... 24 Housing and Urban Development 5 2010-04-01 2010-04-01 false Income verification. 4001.112... Requirements and Underwriting Procedures § 4001.112 Income verification. The mortgagee shall use FHA's procedures to verify the mortgagor's income and shall comply with the following additional requirements:...

  16. ENVIRONMENTAL TECHNOLOGY VERIFICATION AND INDOOR AIR

    EPA Science Inventory

    The paper discusses environmental technology verification and indoor air. RTI has responsibility for a pilot program for indoor air products as part of the U.S. EPA's Environmental Technology Verification (ETV) program. The program objective is to further the development of sel...

  17. The monitoring and verification of nuclear weapons

    SciTech Connect

    Garwin, Richard L.

    2014-05-09

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

  18. 29 CFR 1903.19 - Abatement verification.

    Code of Federal Regulations, 2014 CFR

    2014-07-01

    ... 29 Labor 5 2014-07-01 2014-07-01 false Abatement verification. 1903.19 Section 1903.19 Labor Regulations Relating to Labor (Continued) OCCUPATIONAL SAFETY AND HEALTH ADMINISTRATION, DEPARTMENT OF LABOR INSPECTIONS, CITATIONS AND PROPOSED PENALTIES § 1903.19 Abatement verification. Purpose. OSHA's inspections are intended to result in...

  19. Gender Verification of Female Olympic Athletes.

    ERIC Educational Resources Information Center

    Dickinson, Barry D.; Genel, Myron; Robinowitz, Carolyn B.; Turner, Patricia L.; Woods, Gary L.

    2002-01-01

    Gender verification of female athletes has long been criticized by geneticists, endocrinologists, and others in the medical community. Recently, the International Olympic Committee's Athletic Commission called for discontinuation of mandatory laboratory-based gender verification of female athletes. This article discusses normal sexual…

  20. Guidelines for qualifying cleaning and verification materials

    NASA Technical Reports Server (NTRS)

    Webb, D.

    1995-01-01

    This document is intended to provide guidance in identifying technical issues which must be addressed in a comprehensive qualification plan for materials used in cleaning and cleanliness verification processes. Information presented herein is intended to facilitate development of a definitive checklist that should address all pertinent materials issues when down selecting a cleaning/verification media.

  1. CFE verification: The decision to inspect

    SciTech Connect

    Allentuck, J.

    1990-01-01

    Verification of compliance with the provisions of the treaty on Conventional Forces-Europe (CFE) is subject to inspection quotas of various kinds. Thus the decision to carry out a specific inspection or verification activity must be prudently made. This decision process is outlined, and means for conserving quotas'' are suggested. 4 refs., 1 fig.

  2. Guidance and Control Software Project Data - Volume 3: Verification Documents

    NASA Technical Reports Server (NTRS)

    Hayhurst, Kelly J. (Editor)

    2008-01-01

    The Guidance and Control Software (GCS) project was the last in a series of software reliability studies conducted at Langley Research Center between 1977 and 1994. The technical results of the GCS project were recorded after the experiment was completed. Some of the support documentation produced as part of the experiment, however, is serving an unexpected role far beyond its original project context. Some of the software used as part of the GCS project was developed to conform to the RTCA/DO-178B software standard, "Software Considerations in Airborne Systems and Equipment Certification," used in the civil aviation industry. That standard requires extensive documentation throughout the software development life cycle, including plans, software requirements, design and source code, verification cases and results, and configuration management and quality control data. The project documentation that includes this information is open for public scrutiny without the legal or safety implications associated with comparable data from an avionics manufacturer. This public availability has afforded an opportunity to use the GCS project documents for DO-178B training. This report provides a brief overview of the GCS project, describes the 4-volume set of documents and the role they are playing in training, and includes the verification documents from the GCS project. Volume 3 contains four appendices: A. Software Verification Cases and Procedures for the Guidance and Control Software Project; B. Software Verification Results for the Pluto Implementation of the Guidance and Control Software; C. Review Records for the Pluto Implementation of the Guidance and Control Software; and D. Test Results Logs for the Pluto Implementation of the Guidance and Control Software.

  3. 42 CFR 442.16 - Extension of agreement for ICFs/MR.

    Code of Federal Regulations, 2010 CFR

    2010-10-01

    ... Medicaid agency may extend a provider agreement for a single period of up to 2 months beyond the original expiration date specified in the agreement if it receives written notice from the survey agency, before the expiration date of the agreement, that extension will not jeopardize the patients' health and safety, and—...

  4. New method of verificating optical flat flatness

    NASA Astrophysics Data System (ADS)

    Sun, Hao; Li, Xueyuan; Han, Sen; Zhu, Jianrong; Guo, Zhenglai; Fu, Yuegang

    2014-11-01

    Optical flat is commonly used in optical testing instruments, flatness is the most important parameter of forming errors. As measurement criteria, optical flat flatness (OFF) index needs to have good precision. Current measurement in China is heavily dependent on the artificial visual interpretation, through discrete points to characterize the flatness. The efficiency and accuracy of this method can not meet the demand of industrial development. In order to improve the testing efficiency and accuracy of measurement, it is necessary to develop an optical flat verification system, which can obtain all surface information rapidly and efficiently, at the same time, in accordance with current national metrological verification procedures. This paper reviews current optical flat verification method and solves the problems existing in previous test, by using new method and its supporting software. Final results show that the new system can improve verification efficiency and accuracy, by comparing with JJG 28-2000 metrological verification procedures method.

  5. Working memory mechanism in proportional quantifier verification.

    PubMed

    Zajenkowski, Marcin; Szymanik, Jakub; Garraffa, Maria

    2014-12-01

    The paper explores the cognitive mechanisms involved in the verification of sentences with proportional quantifiers (e.g., "More than half of the dots are blue"). The first study shows that the verification of proportional sentences is more demanding than the verification of sentences such as: "There are seven blue and eight yellow dots". The second study reveals that both types of sentences are correlated with memory storage, however, only proportional sentences are associated with the cognitive control. This result suggests that the cognitive mechanism underlying the verification of proportional quantifiers is crucially related to the integration process, in which an individual has to compare in memory the cardinalities of two sets. In the third study we find that the numerical distance between two cardinalities that must be compared significantly influences the verification time and accuracy. The results of our studies are discussed in the broader context of processing complex sentences. PMID:24374596

  6. Space transportation system payload interface verification

    NASA Technical Reports Server (NTRS)

    Everline, R. T.

    1977-01-01

    The paper considers STS payload-interface verification requirements and the capability provided by STS to support verification. The intent is to standardize as many interfaces as possible, not only through the design, development, test and evaluation (DDT and E) phase of the major payload carriers but also into the operational phase. The verification process is discussed in terms of its various elements, such as the Space Shuttle DDT and E (including the orbital flight test program) and the major payload carriers DDT and E (including the first flights). Five tools derived from the Space Shuttle DDT and E are available to support the verification process: mathematical (structural and thermal) models, the Shuttle Avionics Integration Laboratory, the Shuttle Manipulator Development Facility, and interface-verification equipment (cargo-integration test equipment).

  7. Verification of monitor unit calculations for non-IMRT clinical radiotherapy: Report of AAPM Task Group 114

    SciTech Connect

    Stern, Robin L.; Heaton, Robert; Fraser, Martin W.; and others

    2011-01-15

    The requirement of an independent verification of the monitor units (MU) or time calculated to deliver the prescribed dose to a patient has been a mainstay of radiation oncology quality assurance. The need for and value of such a verification was obvious when calculations were performed by hand using look-up tables, and the verification was achieved by a second person independently repeating the calculation. However, in a modern clinic using CT/MR/PET simulation, computerized 3D treatment planning, heterogeneity corrections, and complex calculation algorithms such as convolution/superposition and Monte Carlo, the purpose of and methodology for the MU verification have come into question. In addition, since the verification is often performed using a simpler geometrical model and calculation algorithm than the primary calculation, exact or almost exact agreement between the two can no longer be expected. Guidelines are needed to help the physicist set clinically reasonable action levels for agreement. This report addresses the following charges of the task group: (1) To re-evaluate the purpose and methods of the ''independent second check'' for monitor unit calculations for non-IMRT radiation treatment in light of the complexities of modern-day treatment planning. (2) To present recommendations on how to perform verification of monitor unit calculations in a modern clinic. (3) To provide recommendations on establishing action levels for agreement between primary calculations and verification, and to provide guidance in addressing discrepancies outside the action levels. These recommendations are to be used as guidelines only and shall not be interpreted as requirements.

  8. Verification of monitor unit calculations for non-IMRT clinical radiotherapy: report of AAPM Task Group 114.

    PubMed

    Stern, Robin L; Heaton, Robert; Fraser, Martin W; Goddu, S Murty; Kirby, Thomas H; Lam, Kwok Leung; Molineu, Andrea; Zhu, Timothy C

    2011-01-01

    The requirement of an independent verification of the monitor units (MU) or time calculated to deliver the prescribed dose to a patient has been a mainstay of radiation oncology quality assurance. The need for and value of such a verification was obvious when calculations were performed by hand using look-up tables, and the verification was achieved by a second person independently repeating the calculation. However, in a modern clinic using CT/MR/PET simulation, computerized 3D treatment planning, heterogeneity corrections, and complex calculation algorithms such as convolution/superposition and Monte Carlo, the purpose of and methodology for the MU verification have come into question. In addition, since the verification is often performed using a simpler geometrical model and calculation algorithm than the primary calculation, exact or almost exact agreement between the two can no longer be expected. Guidelines are needed to help the physicist set clinically reasonable action levels for agreement. This report addresses the following charges of the task group: (1) To re-evaluate the purpose and methods of the "independent second check" for monitor unit calculations for non-IMRT radiation treatment in light of the complexities of modern-day treatment planning. (2) To present recommendations on how to perform verification of monitor unit calculations in a modern clinic. (3) To provide recommendations on establishing action levels for agreement between primary calculations and verification, and to provide guidance in addressing discrepancies outside the action levels. These recommendations are to be used as guidelines only and shall not be interpreted as requirements.

  9. 3D Dose Verification Using Tomotherapy CT Detector Array

    SciTech Connect

    Sheng Ke; Jones, Ryan; Yang Wensha; Saraiya, Siddharth; Schneider, Bernard; Chen Quan; Sobering, Geoff; Olivera, Gustavo; Read, Paul

    2012-02-01

    Purpose: To evaluate a three-dimensional dose verification method based on the exit dose using the onboard detector of tomotherapy. Methods and Materials: The study included 347 treatment fractions from 24 patients, including 10 prostate, 5 head and neck (HN), and 9 spinal stereotactic body radiation therapy (SBRT) cases. Detector sonograms were retrieved and back-projected to calculate entrance fluence, which was then forward-projected on the CT images to calculate the verification dose, which was compared with ion chamber and film measurement in the QA plans and with the planning dose in patient plans. Results: Root mean square (RMS) errors of 2.0%, 2.2%, and 2.0% were observed comparing the dose verification (DV) and the ion chamber measured point dose in the phantom plans for HN, prostate, and spinal SBRT patients, respectively. When cumulative dose in the entire treatment is considered, for HN patients, the error of the mean dose to the planning target volume (PTV) varied from 1.47% to 5.62% with a RMS error of 3.55%. For prostate patients, the error of the mean dose to the prostate target volume varied from -5.11% to 3.29%, with a RMS error of 2.49%. The RMS error of maximum doses to the bladder and the rectum were 2.34% (-4.17% to 2.61%) and 2.64% (-4.54% to 3.94%), respectively. For the nine spinal SBRT patients, the RMS error of the minimum dose to the PTV was 2.43% (-5.39% to 2.48%). The RMS error of maximum dose to the spinal cord was 1.05% (-2.86% to 0.89%). Conclusions: An excellent agreement was observed between the measurement and the verification dose. In the patient treatments, the agreement in doses to the majority of PTVs and organs at risk is within 5% for the cumulative treatment course doses. The dosimetric error strongly depends on the error in multileaf collimator leaf opening time with a sensitivity correlating to the gantry rotation period.

  10. Gender agreement and multiple referents.

    PubMed

    Finocchiaro, Chiara; Mahon, Bradford Z; Caramazza, Alfonso

    2008-01-01

    We report a new pattern of usage in current, spoken Italian that has implications for both psycholinguistic models of language production and linguistic theories of language change. In Italian, gender agreement is mandatory for both singular and plural nouns. However, when two or more nouns of different grammatical gender appear in a conjoined noun phrase (NP), masculine plural agreement is required. In this study, we combined on-line and off-line methodologies in order to assess the mechanisms involved in gender marking in the context of multiple referents. The results of two pronoun production tasks showed that plural feminine agreement was significantly more difficult than plural masculine agreement. In a separate study using offline judgements of acceptability, we found that agreement violations in Italian are tolerated more readily in the case of feminine conjoined noun phrases (e.g., la mela e la banana 'the:fem apple:fem and the: fem banana: fem') than masculine conjoined noun phrases (e.g., il fiore e il libro 'the:mas flower: mas and the:mas book:mas'). Implications of these results are discussed both at the level of functional architecture within the language production system and at the level of changes in language use. PMID:21037930

  11. Gender agreement and multiple referents.

    PubMed

    Finocchiaro, Chiara; Mahon, Bradford Z; Caramazza, Alfonso

    2008-01-01

    We report a new pattern of usage in current, spoken Italian that has implications for both psycholinguistic models of language production and linguistic theories of language change. In Italian, gender agreement is mandatory for both singular and plural nouns. However, when two or more nouns of different grammatical gender appear in a conjoined noun phrase (NP), masculine plural agreement is required. In this study, we combined on-line and off-line methodologies in order to assess the mechanisms involved in gender marking in the context of multiple referents. The results of two pronoun production tasks showed that plural feminine agreement was significantly more difficult than plural masculine agreement. In a separate study using offline judgements of acceptability, we found that agreement violations in Italian are tolerated more readily in the case of feminine conjoined noun phrases (e.g., la mela e la banana 'the:fem apple:fem and the: fem banana: fem') than masculine conjoined noun phrases (e.g., il fiore e il libro 'the:mas flower: mas and the:mas book:mas'). Implications of these results are discussed both at the level of functional architecture within the language production system and at the level of changes in language use.

  12. Gender agreement and multiple referents

    PubMed Central

    Finocchiaro, Chiara; Mahon, Bradford Z.; Caramazza, Alfonso

    2010-01-01

    We report a new pattern of usage in current, spoken Italian that has implications for both psycholinguistic models of language production and linguistic theories of language change. In Italian, gender agreement is mandatory for both singular and plural nouns. However, when two or more nouns of different grammatical gender appear in a conjoined noun phrase (NP), masculine plural agreement is required. In this study, we combined on-line and off-line methodologies in order to assess the mechanisms involved in gender marking in the context of multiple referents. The results of two pronoun production tasks showed that plural feminine agreement was significantly more difficult than plural masculine agreement. In a separate study using offline judgements of acceptability, we found that agreement violations in Italian are tolerated more readily in the case of feminine conjoined noun phrases (e.g., la mela e la banana ‘the:fem apple:fem and the: fem banana: fem’) than masculine conjoined noun phrases (e.g., il fiore e il libro ‘the:mas flower: mas and the:mas book:mas’). Implications of these results are discussed both at the level of functional architecture within the language production system and at the level of changes in language use.* PMID:21037930

  13. INFCIRC/153 as the basis for verification of a special nuclear materials production cutoff convention

    SciTech Connect

    Parsick, R.; Sanborn, J.

    1994-08-01

    Although safeguards practice under the Nuclear Non-Proliferation Treaty (NPT) has evolved considerably over the lifetime of the agreement, INFCIRC/153 remains the defining document of NPT verification. It is the only available document that might be adopted as an element of a special nuclear materials production cutoff convention to define an ``NPT-like`` verification regime. The clearly stated objective of INFCIRC/153 safeguards is the ability to ``detect diversion,`` which is achieved by verifying the state`s nuclear material accounting system. Although the way in which the verification objectives of a cutoff convention will be formulated is not yet known, it is clear that there will not be an exact fit between the two. The mismatch becomes greater to the extent that material in declared facilities is ``grandfathered`` under cutoff. It also increases as a cutoff regime focuses verification on the physical process of production (in operating facilities) or on facility operational status or capability (at non-operating facilities) rather than on the nuclear material itself. This paper compares the technical objectives which may be assigned to the IAEA under a cutoff convention with those described in INFCIRC/153. It also deals with means and limitations of verification activities which are closely linked to these objectives. The broader political and legal objectives associated with the convention are not considered.

  14. Experience and Grammatical Agreement: Statistical Learning Shapes Number Agreement Production

    ERIC Educational Resources Information Center

    Haskell, Todd R.; Thornton, Robert; MacDonald, Maryellen C.

    2010-01-01

    A robust result in research on the production of grammatical agreement is that speakers are more likely to produce an erroneous verb with phrases such as "the key to the cabinets", with a singular noun followed by a plural one, than with phrases such as "the keys to the cabinet", where a plural noun is followed by a singular. These asymmetries are…

  15. Standardized verification of fuel cycle modeling

    DOE PAGES

    Feng, B.; Dixon, B.; Sunny, E.; Cuadra, A.; Jacobson, J.; Brown, N. R.; Powers, J.; Worrall, A.; Passerini, S.; Gregg, R.

    2016-04-05

    A nuclear fuel cycle systems modeling and code-to-code comparison effort was coordinated across multiple national laboratories to verify the tools needed to perform fuel cycle analyses of the transition from a once-through nuclear fuel cycle to a sustainable potential future fuel cycle. For this verification study, a simplified example transition scenario was developed to serve as a test case for the four systems codes involved (DYMOND, VISION, ORION, and MARKAL), each used by a different laboratory participant. In addition, all participants produced spreadsheet solutions for the test case to check all the mass flows and reactor/facility profiles on a year-by-yearmore » basis throughout the simulation period. The test case specifications describe a transition from the current US fleet of light water reactors to a future fleet of sodium-cooled fast reactors that continuously recycle transuranic elements as fuel. After several initial coordinated modeling and calculation attempts, it was revealed that most of the differences in code results were not due to different code algorithms or calculation approaches, but due to different interpretations of the input specifications among the analysts. Therefore, the specifications for the test case itself were iteratively updated to remove ambiguity and to help calibrate interpretations. In addition, a few corrections and modifications were made to the codes as well, which led to excellent agreement between all codes and spreadsheets for this test case. Although no fuel cycle transition analysis codes matched the spreadsheet results exactly, all remaining differences in the results were due to fundamental differences in code structure and/or were thoroughly explained. As a result, the specifications and example results are provided so that they can be used to verify additional codes in the future for such fuel cycle transition scenarios.« less

  16. Field verification program for small wind turbines

    SciTech Connect

    Windward Engineering, LLC

    2003-11-30

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

  17. Authenticated algorithms for Byzantine agreement

    SciTech Connect

    Dolev, D.; Strong, H.R.

    1983-11-01

    Reaching agreement in a distributed system in the presence of fault processors is a central issue for reliable computer systems. Using an authentication protocol, one can limit the undetected behavior of faulty processors to a simple failure to relay messages to all intended targets. In this paper the authors show that, in spite of such an ability to limit faulty behavior, and no matter what message types or protocols are allowed, reaching (Byzantine) agreement requires at least t+1 phases or rounds of information exchange, where t is an upper bound on the number of faulty processors. They present algorithms for reaching agreement based on authentication that require a total number of messages sent by correctly operating processors that is polynomial in both t and the number of processors, n. The best algorithm uses only t+1 phases and o(nt) messages. 9 references.

  18. Verification of NASA Emergent Systems

    NASA Technical Reports Server (NTRS)

    Rouff, Christopher; Vanderbilt, Amy K. C. S.; Truszkowski, Walt; Rash, James; Hinchey, Mike

    2004-01-01

    NASA is studying advanced technologies for a future robotic exploration mission to the asteroid belt. This mission, the prospective ANTS (Autonomous Nano Technology Swarm) mission, will comprise of 1,000 autonomous robotic agents designed to cooperate in asteroid exploration. The emergent properties of swarm type missions make them powerful, but at the same time are more difficult to design and assure that the proper behaviors will emerge. We are currently investigating formal methods and techniques for verification and validation of future swarm-based missions. The advantage of using formal methods is their ability to mathematically assure the behavior of a swarm, emergent or otherwise. The ANT mission is being used as an example and case study for swarm-based missions for which to experiment and test current formal methods with intelligent swam. Using the ANTS mission, we have evaluated multiple formal methods to determine their effectiveness in modeling and assuring swarm behavior.

  19. MCFC power plant system verification

    SciTech Connect

    Farooque, M.; Bernard, R.; Doyon, J.; Paetsch, L.; Patel, P.; Skok, A.; Yuh, C.

    1993-11-01

    In pursuit of commercialization, efforts are underway to: (1) advance the technology base by enhancing performance and demonstrating endurance, (2) scale up stack to the full area and height, (3) acquire stack manufacturing capability and experience, (4) establish capability as well as gain experience for power plant system testing of the full-height carbonate fuel cell stack, (5) and define power plant design and develop critical subsystem components. All the major project objectives have already been attained. Over the last year, significant progress has been achieved in establishing the full-height stack design, gaining stack manufacturing and system integrated testing experience, and verifying the major equipment design in power plant system tests. In this paper, recent progresses on stack scaleup, demonstration testing, BOP verification, and stack endurance are presented.

  20. Retail applications of signature verification

    NASA Astrophysics Data System (ADS)

    Zimmerman, Thomas G.; Russell, Gregory F.; Heilper, Andre; Smith, Barton A.; Hu, Jianying; Markman, Dmitry; Graham, Jon E.; Drews, Clemens

    2004-08-01

    The dramatic rise in identity theft, the ever pressing need to provide convenience in checkout services to attract and retain loyal customers, and the growing use of multi-function signature captures devices in the retail sector provides favorable conditions for the deployment of dynamic signature verification (DSV) in retail settings. We report on the development of a DSV system to meet the needs of the retail sector. We currently have a database of approximately 10,000 signatures collected from 600 subjects and forgers. Previous work at IBM on DSV has been merged and extended to achieve robust performance on pen position data available from commercial point of sale hardware, achieving equal error rates on skilled forgeries and authentic signatures of 1.5% to 4%.

  1. Requirements, Verification, and Compliance (RVC) Database Tool

    NASA Technical Reports Server (NTRS)

    Rainwater, Neil E., II; McDuffee, Patrick B.; Thomas, L. Dale

    2001-01-01

    This paper describes the development, design, and implementation of the Requirements, Verification, and Compliance (RVC) database used on the International Space Welding Experiment (ISWE) project managed at Marshall Space Flight Center. The RVC is a systems engineer's tool for automating and managing the following information: requirements; requirements traceability; verification requirements; verification planning; verification success criteria; and compliance status. This information normally contained within documents (e.g. specifications, plans) is contained in an electronic database that allows the project team members to access, query, and status the requirements, verification, and compliance information from their individual desktop computers. Using commercial-off-the-shelf (COTS) database software that contains networking capabilities, the RVC was developed not only with cost savings in mind but primarily for the purpose of providing a more efficient and effective automated method of maintaining and distributing the systems engineering information. In addition, the RVC approach provides the systems engineer the capability to develop and tailor various reports containing the requirements, verification, and compliance information that meets the needs of the project team members. The automated approach of the RVC for capturing and distributing the information improves the productivity of the systems engineer by allowing that person to concentrate more on the job of developing good requirements and verification programs and not on the effort of being a "document developer".

  2. Eukaryotic origins.

    PubMed

    Lake, James A

    2015-09-26

    The origin of the eukaryotes is a fundamental scientific question that for over 30 years has generated a spirited debate between the competing Archaea (or three domains) tree and the eocyte tree. As eukaryotes ourselves, humans have a personal interest in our origins. Eukaryotes contain their defining organelle, the nucleus, after which they are named. They have a complex evolutionary history, over time acquiring multiple organelles, including mitochondria, chloroplasts, smooth and rough endoplasmic reticula, and other organelles all of which may hint at their origins. It is the evolutionary history of the nucleus and their other organelles that have intrigued molecular evolutionists, myself included, for the past 30 years and which continues to hold our interest as increasingly compelling evidence favours the eocyte tree. As with any orthodoxy, it takes time to embrace new concepts and techniques.

  3. Eukaryotic origins

    PubMed Central

    Lake, James A.

    2015-01-01

    The origin of the eukaryotes is a fundamental scientific question that for over 30 years has generated a spirited debate between the competing Archaea (or three domains) tree and the eocyte tree. As eukaryotes ourselves, humans have a personal interest in our origins. Eukaryotes contain their defining organelle, the nucleus, after which they are named. They have a complex evolutionary history, over time acquiring multiple organelles, including mitochondria, chloroplasts, smooth and rough endoplasmic reticula, and other organelles all of which may hint at their origins. It is the evolutionary history of the nucleus and their other organelles that have intrigued molecular evolutionists, myself included, for the past 30 years and which continues to hold our interest as increasingly compelling evidence favours the eocyte tree. As with any orthodoxy, it takes time to embrace new concepts and techniques. PMID:26323753

  4. Articulation Agreements Ease the Way.

    ERIC Educational Resources Information Center

    Reese, Susan

    2002-01-01

    Articulation agreements between secondary and postsecondary institutions often provide for granting college credit for course work completed at another institution. They have been described as programs designed to create pathways of learning that ease the transition of students from secondary to postsecondary levels. (JOW)

  5. Block Transfer Agreement Evaluation Project

    ERIC Educational Resources Information Center

    Bastedo, Helena

    2010-01-01

    The objective of this project is to evaluate for the British Columbia Council on Admissions and Transfer (BCCAT) the effectiveness of block transfer agreements (BTAs) in the BC Transfer System and recommend steps to be taken to improve their effectiveness. Findings of this study revealed that institutions want to expand block credit transfer;…

  6. A Scala DSL for RETE-Based Runtime Verification

    NASA Technical Reports Server (NTRS)

    Havelund, Klaus

    2013-01-01

    Runtime verification (RV) consists in part of checking execution traces against formalized specifications. Several systems have emerged, most of which support specification notations based on state machines, regular expressions, temporal logic, or grammars. The field of Artificial Intelligence (AI) has for an even longer period of time studied rule-based production systems, which at a closer look appear to be relevant for RV, although seemingly focused on slightly different application domains, such as for example business processes and expert systems. The core algorithm in many of these systems is the Rete algorithm. We have implemented a Rete-based runtime verification system, named LogFire (originally intended for offline log analysis but also applicable to online analysis), as an internal DSL in the Scala programming language, using Scala's support for defining DSLs. This combination appears attractive from a practical point of view. Our contribution is in part conceptual in arguing that such rule-based frameworks originating from AI may be suited for RV.

  7. Enhanced Cancelable Biometrics for Online Signature Verification

    NASA Astrophysics Data System (ADS)

    Muramatsu, Daigo; Inuma, Manabu; Shikata, Junji; Otsuka, Akira

    Cancelable approaches for biometric person authentication have been studied to protect enrolled biometric data, and several algorithms have been proposed. One drawback of cancelable approaches is that the performance is inferior to that of non-cancelable approaches. In this paper, we propose a scheme to improve the performance of a cancelable approach for online signature verification. Our scheme generates two cancelable dataset from one raw dataset and uses them for verification. Preliminary experiments were performed using a distance-based online signature verification algorithm. The experimental results show that our proposed scheme is promising.

  8. Liquefied Natural Gas (LNG) dispenser verification device

    NASA Astrophysics Data System (ADS)

    Xiong, Maotao; Yang, Jie-bin; Zhao, Pu-jun; Yu, Bo; Deng, Wan-quan

    2013-01-01

    The composition of working principle and calibration status of LNG (Liquefied Natural Gas) dispenser in China are introduced. According to the defect of weighing method in the calibration of LNG dispenser, LNG dispenser verification device has been researched. The verification device bases on the master meter method to verify LNG dispenser in the field. The experimental results of the device indicate it has steady performance, high accuracy level and flexible construction, and it reaches the international advanced level. Then LNG dispenser verification device will promote the development of LNG dispenser industry in China and to improve the technical level of LNG dispenser manufacture.

  9. 48 CFR 16.702 - Basic agreements.

    Code of Federal Regulations, 2010 CFR

    2010-10-01

    ... 48 Federal Acquisition Regulations System 1 2010-10-01 2010-10-01 false Basic agreements. 16.702... AND CONTRACT TYPES TYPES OF CONTRACTS Agreements 16.702 Basic agreements. (a) Description. A basic... attachment the required and applicable clauses agreed upon in the basic agreement. A basic agreement is not...

  10. 48 CFR 16.702 - Basic agreements.

    Code of Federal Regulations, 2011 CFR

    2011-10-01

    ... 48 Federal Acquisition Regulations System 1 2011-10-01 2011-10-01 false Basic agreements. 16.702... AND CONTRACT TYPES TYPES OF CONTRACTS Agreements 16.702 Basic agreements. (a) Description. A basic... attachment the required and applicable clauses agreed upon in the basic agreement. A basic agreement is not...

  11. 48 CFR 16.702 - Basic agreements.

    Code of Federal Regulations, 2012 CFR

    2012-10-01

    ... 48 Federal Acquisition Regulations System 1 2012-10-01 2012-10-01 false Basic agreements. 16.702... AND CONTRACT TYPES TYPES OF CONTRACTS Agreements 16.702 Basic agreements. (a) Description. A basic... attachment the required and applicable clauses agreed upon in the basic agreement. A basic agreement is not...

  12. 48 CFR 16.702 - Basic agreements.

    Code of Federal Regulations, 2014 CFR

    2014-10-01

    ... 48 Federal Acquisition Regulations System 1 2014-10-01 2014-10-01 false Basic agreements. 16.702... AND CONTRACT TYPES TYPES OF CONTRACTS Agreements 16.702 Basic agreements. (a) Description. A basic... attachment the required and applicable clauses agreed upon in the basic agreement. A basic agreement is not...

  13. 48 CFR 16.702 - Basic agreements.

    Code of Federal Regulations, 2013 CFR

    2013-10-01

    ... 48 Federal Acquisition Regulations System 1 2013-10-01 2013-10-01 false Basic agreements. 16.702... AND CONTRACT TYPES TYPES OF CONTRACTS Agreements 16.702 Basic agreements. (a) Description. A basic... attachment the required and applicable clauses agreed upon in the basic agreement. A basic agreement is not...

  14. SU-E-T-602: Patient-Specific Online Dose Verification Based On Transmission Detector Measurements

    SciTech Connect

    Thoelking, J; Yuvaraj, S; Jens, F; Lohr, F; Wenz, F; Wertz, H; Wertz, H

    2015-06-15

    Purpose: Intensity modulated radiotherapy requires a comprehensive quality assurance program in general and ideally independent verification of dose delivery. Since conventional 2D detector arrays allow only pre-treatment verification, there is a debate concerning the need of online dose verification. This study presents the clinical performance, including dosimetric plan verification in 2D as well as in 3D and the error detection abilities of a new transmission detector (TD) for online dose verification of 6MV photon beam. Methods: To validate the dosimetric performance of the new device, dose reconstruction based on TD measurements were compared to a conventional pre-treatment verification method (reference) and treatment planning system (TPS) for 18 IMRT and VMAT treatment plans. Furthermore, dose reconstruction inside the patient based on TD read-out was evaluated by comparing various dose volume indices and 3D gamma evaluations against independent dose computation and TPS. To investigate the sensitivity of the new device, different types of systematic and random errors for leaf positions and linac output were introduced in IMRT treatment sequences. Results: The 2D gamma index evaluation of transmission detector based dose reconstruction showed an excellent agreement for all IMRT and VMAT plans compared to reference measurements (99.3±1.2)% and TPS (99.1±0.7)%. Good agreement was also obtained for 3D dose reconstruction based on TD read-out compared to dose computation (mean gamma value of PTV = 0.27±0.04). Only a minimal dose underestimation within the target volume was observed when analyzing DVH indices (<1%). Positional errors in leaf banks larger than 1mm and errors in linac output larger than 2% could clearly identified with the TD. Conclusion: Since 2D and 3D evaluations for all IMRT and VMAT treatment plans were in excellent agreement with reference measurements and dose computation, the new TD is suitable to qualify for routine treatment plan

  15. Original Version

    Cancer.gov

    The EPEC-O (Education in Palliative and End-of-Life Care for Oncology) Self-Study Original Version is a free comprehensive multimedia curricula for health professionals caring for persons with cancer and their families. The curricula is available as an online Self-Study Section and as a CD-ROM you can order.

  16. Concepts of Model Verification and Validation

    SciTech Connect

    B.H.Thacker; S.W.Doebling; F.M.Hemez; M.C. Anderson; J.E. Pepin; E.A. Rodriguez

    2004-10-30

    safety-related nuclear facility design, analyses, and operations. In fact, DNFSB 2002-1 recommends to the DOE and National Nuclear Security Administration (NNSA) that a V&V process be performed for all safety related software and analysis. Model verification and validation are the primary processes for quantifying and building credibility in numerical models. Verification is the process of determining that a model implementation accurately represents the developer's conceptual description of the model and its solution. Validation is the process of determining the degree to which a model is an accurate representation of the real world from the perspective of the intended uses of the model. Both verification and validation are processes that accumulate evidence of a model's correctness or accuracy for a specific scenario; thus, V&V cannot prove that a model is correct and accurate for all possible scenarios, but, rather, it can provide evidence that the model is sufficiently accurate for its intended use. Model V&V is fundamentally different from software V&V. Code developers developing computer programs perform software V&V to ensure code correctness, reliability, and robustness. In model V&V, the end product is a predictive model based on fundamental physics of the problem being solved. In all applications of practical interest, the calculations involved in obtaining solutions with the model require a computer code, e.g., finite element or finite difference analysis. Therefore, engineers seeking to develop credible predictive models critically need model V&V guidelines and procedures. The expected outcome of the model V&V process is the quantified level of agreement between experimental data and model prediction, as well as the predictive accuracy of the model. This report attempts to describe the general philosophy, definitions, concepts, and processes for conducting a successful V&V program. This objective is motivated by the need for highly accurate numerical models

  17. Online Handwritten Signature Verification Using Neural Network Classifier Based on Principal Component Analysis

    PubMed Central

    Iranmanesh, Vahab; Ahmad, Sharifah Mumtazah Syed; Adnan, Wan Azizun Wan; Arigbabu, Olasimbo Ayodeji; Malallah, Fahad Layth

    2014-01-01

    One of the main difficulties in designing online signature verification (OSV) system is to find the most distinctive features with high discriminating capabilities for the verification, particularly, with regard to the high variability which is inherent in genuine handwritten signatures, coupled with the possibility of skilled forgeries having close resemblance to the original counterparts. In this paper, we proposed a systematic approach to online signature verification through the use of multilayer perceptron (MLP) on a subset of principal component analysis (PCA) features. The proposed approach illustrates a feature selection technique on the usually discarded information from PCA computation, which can be significant in attaining reduced error rates. The experiment is performed using 4000 signature samples from SIGMA database, which yielded a false acceptance rate (FAR) of 7.4% and a false rejection rate (FRR) of 6.4%. PMID:25133227

  18. Online handwritten signature verification using neural network classifier based on principal component analysis.

    PubMed

    Iranmanesh, Vahab; Ahmad, Sharifah Mumtazah Syed; Adnan, Wan Azizun Wan; Yussof, Salman; Arigbabu, Olasimbo Ayodeji; Malallah, Fahad Layth

    2014-01-01

    One of the main difficulties in designing online signature verification (OSV) system is to find the most distinctive features with high discriminating capabilities for the verification, particularly, with regard to the high variability which is inherent in genuine handwritten signatures, coupled with the possibility of skilled forgeries having close resemblance to the original counterparts. In this paper, we proposed a systematic approach to online signature verification through the use of multilayer perceptron (MLP) on a subset of principal component analysis (PCA) features. The proposed approach illustrates a feature selection technique on the usually discarded information from PCA computation, which can be significant in attaining reduced error rates. The experiment is performed using 4000 signature samples from SIGMA database, which yielded a false acceptance rate (FAR) of 7.4% and a false rejection rate (FRR) of 6.4%. PMID:25133227

  19. Online handwritten signature verification using neural network classifier based on principal component analysis.

    PubMed

    Iranmanesh, Vahab; Ahmad, Sharifah Mumtazah Syed; Adnan, Wan Azizun Wan; Yussof, Salman; Arigbabu, Olasimbo Ayodeji; Malallah, Fahad Layth

    2014-01-01

    One of the main difficulties in designing online signature verification (OSV) system is to find the most distinctive features with high discriminating capabilities for the verification, particularly, with regard to the high variability which is inherent in genuine handwritten signatures, coupled with the possibility of skilled forgeries having close resemblance to the original counterparts. In this paper, we proposed a systematic approach to online signature verification through the use of multilayer perceptron (MLP) on a subset of principal component analysis (PCA) features. The proposed approach illustrates a feature selection technique on the usually discarded information from PCA computation, which can be significant in attaining reduced error rates. The experiment is performed using 4000 signature samples from SIGMA database, which yielded a false acceptance rate (FAR) of 7.4% and a false rejection rate (FRR) of 6.4%.

  20. Achieving Agreement in Three Rounds With Bounded-Byzantine Faults

    NASA Technical Reports Server (NTRS)

    Malekpour, Mahyar R.

    2015-01-01

    A three-round algorithm is presented that guarantees agreement in a system of K (nodes) greater than or equal to 3F (faults) +1 nodes provided each faulty node induces no more than F faults and each good node experiences no more than F faults, where, F is the maximum number of simultaneous faults in the network. The algorithm is based on the Oral Message algorithm of Lamport et al. and is scalable with respect to the number of nodes in the system and applies equally to the traditional node-fault model as well as the link-fault model. We also present a mechanical verification of the algorithm focusing on verifying the correctness of a bounded model of the algorithm as well as confirming claims of determinism.

  1. Making the best of corporate integrity agreements.

    PubMed

    Henderson, W M; Imperato, G L

    2001-07-01

    Corporate integrity agreements (CIAs) imposed by the Office of Inspector General (OIG) of HHS have increased dramatically in the past five years. Healthcare organizations that enter into a CIA face burdensome monitoring and reporting requirements. However, it may be possible to lessen these burdens by negotiating modifications to the CIA's requirements. Organizations that have compliance programs in place can negotiate with the OIG to integrate elements of their existing compliance programs into the CIA. The organization also should attempt to negotiate limiting the scope of the monitoring to include only the area that was originally investigated. In addition, it may be valuable to negotiate insertion of a clause in the CIA allowing the organization to request renegotiation of the terms and duration of certain elements of the agreement after the first year, if conditions are met. An organized CIA negotiation process may be valuable in obtaining a reduced scope of the procedures required by the CIA and preparing the organization to meet its obligations. PMID:11467232

  2. Making the best of corporate integrity agreements.

    PubMed

    Henderson, W M; Imperato, G L

    2001-07-01

    Corporate integrity agreements (CIAs) imposed by the Office of Inspector General (OIG) of HHS have increased dramatically in the past five years. Healthcare organizations that enter into a CIA face burdensome monitoring and reporting requirements. However, it may be possible to lessen these burdens by negotiating modifications to the CIA's requirements. Organizations that have compliance programs in place can negotiate with the OIG to integrate elements of their existing compliance programs into the CIA. The organization also should attempt to negotiate limiting the scope of the monitoring to include only the area that was originally investigated. In addition, it may be valuable to negotiate insertion of a clause in the CIA allowing the organization to request renegotiation of the terms and duration of certain elements of the agreement after the first year, if conditions are met. An organized CIA negotiation process may be valuable in obtaining a reduced scope of the procedures required by the CIA and preparing the organization to meet its obligations.

  3. 78 FR 15951 - Notice of Agreements Filed

    Federal Register 2010, 2011, 2012, 2013, 2014

    2013-03-13

    ... agreement. Agreement No.: 012196. Title: MSC/CSAV Ecuador--North Europe Vessel Sharing Agreement. Parties... on the U.S. East Coast on the one hand, and from ports on the U.S. East Coast to Panama and...

  4. 75 FR 11180 - Notice of Agreements Filed

    Federal Register 2010, 2011, 2012, 2013, 2014

    2010-03-10

    ....gov . Agreement No.: 011730-003. Title: GWF/Dole Space Charter and Sailing Agreement. Parties: Dole... China-US Pacific Coast Two-Loop Space Charter, Sailing and Cooperative Working Agreement. Parties:...

  5. 40 CFR 35.1615 - Substate agreements.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... 40 CFR 33.240 (Intergovernmental agreements). A State may enter into an agreement with a substate... STATE AND LOCAL ASSISTANCE Cooperative Agreements for Protecting and Restoring Publicly Owned...

  6. 40 CFR 35.1615 - Substate agreements.

    Code of Federal Regulations, 2014 CFR

    2014-07-01

    ... 40 CFR 33.240 (Intergovernmental agreements). A State may enter into an agreement with a substate... STATE AND LOCAL ASSISTANCE Cooperative Agreements for Protecting and Restoring Publicly Owned...

  7. 40 CFR 35.1615 - Substate agreements.

    Code of Federal Regulations, 2012 CFR

    2012-07-01

    ... 40 CFR 33.240 (Intergovernmental agreements). A State may enter into an agreement with a substate... STATE AND LOCAL ASSISTANCE Cooperative Agreements for Protecting and Restoring Publicly Owned...

  8. 40 CFR 35.1615 - Substate agreements.

    Code of Federal Regulations, 2013 CFR

    2013-07-01

    ... 40 CFR 33.240 (Intergovernmental agreements). A State may enter into an agreement with a substate... STATE AND LOCAL ASSISTANCE Cooperative Agreements for Protecting and Restoring Publicly Owned...

  9. 40 CFR 35.1615 - Substate agreements.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... 40 CFR 33.240 (Intergovernmental agreements). A State may enter into an agreement with a substate... STATE AND LOCAL ASSISTANCE Cooperative Agreements for Protecting and Restoring Publicly Owned...

  10. 77 FR 61751 - Notice of Agreements Filed

    Federal Register 2010, 2011, 2012, 2013, 2014

    2012-10-11

    ... Agreement. Parties: Crowley Latin America Services, LLC and A.P. Moller-Maersk A/S Filing Party: Wayne R... . Agreement No.: 012155-001. Title: MSC/Zim South America East Coast Vessel Sharing Agreement....

  11. MAMA Software Features: Quantification Verification Documentation-1

    SciTech Connect

    Ruggiero, Christy E.; Porter, Reid B.

    2014-05-21

    This document reviews the verification of the basic shape quantification attributes in the MAMA software against hand calculations in order to show that the calculations are implemented mathematically correctly and give the expected quantification results.

  12. Engineering drawing field verification program. Revision 3

    SciTech Connect

    Ulk, P.F.

    1994-10-12

    Safe, efficient operation of waste tank farm facilities is dependent in part upon the availability of accurate, up-to-date plant drawings. Accurate plant drawings are also required in support of facility upgrades and future engineering remediation projects. This supporting document establishes the procedure for performing a visual field verification of engineering drawings, the degree of visual observation being performed and documenting the results. A copy of the drawing attesting to the degree of visual observation will be paginated into the released Engineering Change Notice (ECN) documenting the field verification for future retrieval and reference. All waste tank farm essential and support drawings within the scope of this program will be converted from manual to computer aided drafting (CAD) drawings. A permanent reference to the field verification status will be placed along the right border of the CAD-converted drawing, referencing the revision level, at which the visual verification was performed and documented.

  13. ENVIRONMENTAL TECHNOLOGY VERIFICATION (ETV) PROGRAM: FUEL CELLS

    EPA Science Inventory

    The U.S. Environmental Protection Agency (EPA) Environmental Technology Verification (ETV) Program evaluates the performance of innovative air, water, pollution prevention and monitoring technologies that have the potential to improve human health and the environment. This techno...

  14. ENVIRONMENTAL TECHNOLOGY VERIFICATION (ETV) PROGRAM: STORMWATER TECHNOLOGIES

    EPA Science Inventory

    The U.S. Environmental Protection Agency (EPA) Environmental Technology Verification (ETV) program evaluates the performance of innovative air, water, pollution prevention and monitoring technologies that have the potential to improve human health and the environment. This techn...

  15. 9 CFR 417.8 - Agency verification.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... ANALYSIS AND CRITICAL CONTROL POINT (HACCP) SYSTEMS § 417.8 Agency verification. FSIS will verify the... plan or system; (f) Direct observation or measurement at a CCP; (g) Sample collection and analysis...

  16. 9 CFR 417.8 - Agency verification.

    Code of Federal Regulations, 2011 CFR

    2011-01-01

    ... ANALYSIS AND CRITICAL CONTROL POINT (HACCP) SYSTEMS § 417.8 Agency verification. FSIS will verify the... plan or system; (f) Direct observation or measurement at a CCP; (g) Sample collection and analysis...

  17. PERFORMANCE VERIFICATION OF WATER SECURITY - RELATED TECHNOLOGIES

    EPA Science Inventory

    The Environmental Technology Verification (ETV) Program's Advanced Monitoring Systems (AMS) Center has been charged by EPA to verify the performance of commercially available monitoring technologies for air, water, soil. Four categories of water security technologies (most of whi...

  18. Environmental Technology Verification Program (ETV) Policy Compendium

    EPA Science Inventory

    The Policy Compendium summarizes operational decisions made to date by participants in the U.S. Environmental Protection Agency's (EPA's) Environmental Technology Verification Program (ETV) to encourage consistency among the ETV centers. The policies contained herein evolved fro...

  19. U.S. Environmental Technology Verification Program

    EPA Science Inventory

    Overview of the U.S. Environmental Technology Verification Program (ETV), the ETV Greenhouse Gas Technology Center, and energy-related ETV projects. Presented at the Department of Energy's National Renewable Laboratory in Boulder, Colorado on June 23, 2008.

  20. The origin of life

    NASA Astrophysics Data System (ADS)

    McClendon, John H.

    1999-07-01

    Microfossil finds have been firmly established at about 3.5 Ga (giga annee=10 9 years), but no rocks older than about 4.0 Ga have been demonstrated, leaving the history of the first 0.6 Ga missing. This gap has been filled by models of the solar system. The origin of the ocean, atmosphere, and much crustal material apparently lies in a heavy rain of comets, subsequent to the catastrophic Moon-forming event. The earliest microfossils are those of the Apex chert in Australia, about 3.5 Ga old. `Prebiotic' simulations of possible biochemistry have made some progress in recent years, but many obstacles remain, and there is no agreement as to the course of development. The `ribose nucleic acid (RNA) World', aboriginal `clay genes', and catalysis on iron-sulfide precipitates are not ruled out. The search for the `last common ancestor' has reached a point between the Bacteria and the Archaea. It is possible that this organism may have been a thermophile, similar to many modern hot spring organisms. But it is likely to have been an autotroph, and a late development after the true origin of life. Even more speculative are suggestions about the origins of metabolic sequences, in particular the origin of the genetic code. Since all modern organisms share this code (and many other things), there had to be a long history of development during the blank period of Earth history.

  1. Limiting technology by negotiated agreement

    SciTech Connect

    Carnesale, A.

    1983-01-01

    The author concentrates on anti-ballistic missile (ABM) systems as an example of a continuing effort to limit technology by negotiated agreement. He first discusses the ABM treaty of 1972, ratified by both the US and the USSR. Afterwards, he briefly treats each of the following: ballistic missile defense (BMD) dilemmas; nature of the BMD choice; technology; economics; deterrence; nuclear warfighting; relations with allies; arms control; Star Wars; and on limiting technology.

  2. Measurement Challenges in International Agreements

    NASA Astrophysics Data System (ADS)

    Luke, John

    2006-10-01

    Making measurements in support of international agreements can pose many challenges both from a policy and science point of view. Policy issues may arise because physics measurements made in the area of arms control or disarmament may be deemed too intrusive since they could possibly reveal sensitive information about the material that is being interrogated. Therefore, agreements must include a framework for safeguarding against the potential release of this information. Most of the scientific issues center around the fact that it is desirable to make high quality measurements without any operator interaction. This leads to the development of instrumentation and software that are very stable and robust. Due to different concerns, policy and science priorities may be at odds with one another. Therefore, it is the scientist's challenge - in this field - to keep policy makers informed by conveying what is technically possible and what is not in a manner that is easily understood and also negotiable. In this paper we will discuss some of the technology that has been developed to address some of these challenges in various international and model agreements. We will discuss the principle of informational barrier used in these measurement technologies to safeguard the release of sensitive information. We will also discuss some of the pitfalls that may arise when policy is ill informed about the physical constraints in the making of measurements of nuclear materials.

  3. Hadronic shower code inter-comparison and verification

    SciTech Connect

    Mokhov, N.V.; Striganov, S.I.; /Fermilab

    2007-01-01

    To evaluate the quality of general purpose particle interaction and transport codes widely used in the high-energy physics community, express benchmarking is conducted. Seven tasks, important for high-energy physics applications, are chosen. For this first shot, they are limited to particle production on thin and thick targets and energy deposition in targets and calorimetric setups. Five code groups were asked to perform calculations in the identical conditions and provide results to the authors of this report. Summary of the code inter-comparison and verification against available experimental data is presented in this paper. Agreement is quite reasonable in many cases, but quite serious problems were revealed in the others.

  4. A verification library for multibody simulation software

    NASA Technical Reports Server (NTRS)

    Kim, Sung-Soo; Haug, Edward J.; Frisch, Harold P.

    1989-01-01

    A multibody dynamics verification library, that maintains and manages test and validation data is proposed, based on RRC Robot arm and CASE backhoe validation and a comparitive study of DADS, DISCOS, and CONTOPS that are existing public domain and commercial multibody dynamic simulation programs. Using simple representative problems, simulation results from each program are cross checked, and the validation results are presented. Functionalities of the verification library are defined, in order to automate validation procedure.

  5. The NPARC Alliance Verification and Validation Archive

    NASA Technical Reports Server (NTRS)

    Slater, John W.; Dudek, Julianne C.; Tatum, Kenneth E.

    2000-01-01

    The NPARC Alliance (National Project for Applications oriented Research in CFD) maintains a publicly-available, web-based verification and validation archive as part of the development and support of the WIND CFD code. The verification and validation methods used for the cases attempt to follow the policies and guidelines of the ASME and AIAA. The emphasis is on air-breathing propulsion flow fields with Mach numbers ranging from low-subsonic to hypersonic.

  6. Learning Assumptions for Compositional Verification

    NASA Technical Reports Server (NTRS)

    Cobleigh, Jamieson M.; Giannakopoulou, Dimitra; Pasareanu, Corina; Clancy, Daniel (Technical Monitor)

    2002-01-01

    Compositional verification is a promising approach to addressing the state explosion problem associated with model checking. One compositional technique advocates proving properties of a system by checking properties of its components in an assume-guarantee style. However, the application of this technique is difficult because it involves non-trivial human input. This paper presents a novel framework for performing assume-guarantee reasoning in an incremental and fully automated fashion. To check a component against a property, our approach generates assumptions that the environment needs to satisfy for the property to hold. These assumptions are then discharged on the rest of the system. Assumptions are computed by a learning algorithm. They are initially approximate, but become gradually more precise by means of counterexamples obtained by model checking the component and its environment, alternately. This iterative process may at any stage conclude that the property is either true or false in the system. We have implemented our approach in the LTSA tool and applied it to the analysis of a NASA system.

  7. Visual inspection for CTBT verification

    SciTech Connect

    Hawkins, W.; Wohletz, K.

    1997-03-01

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

  8. Biometric verification in dynamic writing

    NASA Astrophysics Data System (ADS)

    George, Susan E.

    2002-03-01

    Pen-tablet devices capable of capturing the dynamics of writing record temporal and pressure information as well as the spatial pattern. This paper explores biometric verification based upon the dynamics of writing where writers are distinguished not on the basis of what they write (ie the signature), but how they write. We have collected samples of dynamic writing from 38 Chinese writers. Each writer was asked to provide 10 copies of a paragraph of text and the same number of signature samples. From the data we have extracted stroke-based primitives from the sentence data utilizing pen-up/down information and heuristic rules about the shape of the character. The x, y and pressure values of each primitive were interpolated into an even temporal range based upon a 20 msec sampling rate. We applied the Daubechies 1 wavelet transform to the x signal, y signal and pressure signal using the coefficients as inputs to a multi-layer perceptron trained with back-propagation on the sentence data. We found a sensitivity of 0.977 and specificity of 0.990 recognizing writers based on test primitives extracted from sentence data and measures of 0.916 and 0.961 respectively, from test primitives extracted from signature data.

  9. National Verification System of National Meteorological Center , China

    NASA Astrophysics Data System (ADS)

    Zhang, Jinyan; Wei, Qing; Qi, Dan

    2016-04-01

    Product Quality Verification Division for official weather forecasting of China was founded in April, 2011. It is affiliated to Forecast System Laboratory (FSL), National Meteorological Center (NMC), China. There are three employees in this department. I'm one of the employees and I am in charge of Product Quality Verification Division in NMC, China. After five years of construction, an integrated realtime National Verification System of NMC, China has been established. At present, its primary roles include: 1) to verify official weather forecasting quality of NMC, China; 2) to verify the official city weather forecasting quality of Provincial Meteorological Bureau; 3) to evaluate forecasting quality for each forecasters in NMC, China. To verify official weather forecasting quality of NMC, China, we have developed : • Grid QPF Verification module ( including upascale) • Grid temperature, humidity and wind forecast verification module • Severe convective weather forecast verification module • Typhoon forecast verification module • Disaster forecast verification • Disaster warning verification module • Medium and extend period forecast verification module • Objective elements forecast verification module • Ensemble precipitation probabilistic forecast verification module To verify the official city weather forecasting quality of Provincial Meteorological Bureau, we have developed : • City elements forecast verification module • Public heavy rain forecast verification module • City air quality forecast verification module. To evaluate forecasting quality for each forecasters in NMC, China, we have developed : • Off-duty forecaster QPF practice evaluation module • QPF evaluation module for forecasters • Severe convective weather forecast evaluation module • Typhoon track forecast evaluation module for forecasters • Disaster warning evaluation module for forecasters • Medium and extend period forecast evaluation module The further

  10. 32 CFR 78.7 - Standard agreement.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... 32 National Defense 1 2010-07-01 2010-07-01 false Standard agreement. 78.7 Section 78.7 National... VOLUNTARY STATE TAX WITHHOLDING FROM RETIRED PAY § 78.7 Standard agreement. Standard Agreement For Voluntary..., hereafter referred to as the “Standard Agreement,” establishes administrative procedures and...

  11. 48 CFR 3416.702 - Basic agreements.

    Code of Federal Regulations, 2010 CFR

    2010-10-01

    ... 48 Federal Acquisition Regulations System 7 2010-10-01 2010-10-01 false Basic agreements. 3416.702... CONTRACTING METHODS AND CONTRACT TYPES TYPES OF CONTRACTS Agreements 3416.702 Basic agreements. (a)-(d) (e) Negotiated overhead rates. Basic agreements may include negotiated overhead rates for...

  12. 78 FR 26779 - Notice of Agreements Filed

    Federal Register 2010, 2011, 2012, 2013, 2014

    2013-05-08

    ... reflects the suspension of the agreement, effective May 1, 2013 through April 14, 2015. Agreement No... the fact that the parties have agreed to charter and rationalize vessel space among themselves and...). Agreement No.: 012206. Title: Industria Armamento Meridionale S.P.A./K-Line Space Charter Agreement....

  13. 2 CFR 182.620 - Cooperative agreement.

    Code of Federal Regulations, 2012 CFR

    2012-01-01

    ... agreement. Cooperative agreement means an award of financial assistance that, consistent with 31 U.S.C. 6305... development agreements as defined in 15 U.S.C. 3710a. ... MANAGEMENT AND BUDGET GOVERNMENTWIDE GUIDANCE FOR GRANTS AND AGREEMENTS NATIONAL POLICY...

  14. 5 CFR 2421.20 - Election agreement.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... 5 Administrative Personnel 3 2010-01-01 2010-01-01 false Election agreement. 2421.20 Section 2421... Election agreement. Election agreement means an agreement under part 2422 of this subchapter signed by all... representation election in an appropriate unit....

  15. 5 CFR 2421.20 - Election agreement.

    Code of Federal Regulations, 2012 CFR

    2012-01-01

    ... 5 Administrative Personnel 3 2012-01-01 2012-01-01 false Election agreement. 2421.20 Section 2421... Election agreement. Election agreement means an agreement under part 2422 of this subchapter signed by all... representation election in an appropriate unit....

  16. 5 CFR 2421.20 - Election agreement.

    Code of Federal Regulations, 2011 CFR

    2011-01-01

    ... 5 Administrative Personnel 3 2011-01-01 2011-01-01 false Election agreement. 2421.20 Section 2421... Election agreement. Election agreement means an agreement under part 2422 of this subchapter signed by all... representation election in an appropriate unit....

  17. 5 CFR 2421.20 - Election agreement.

    Code of Federal Regulations, 2014 CFR

    2014-01-01

    ... 5 Administrative Personnel 3 2014-01-01 2014-01-01 false Election agreement. 2421.20 Section 2421... Election agreement. Election agreement means an agreement under part 2422 of this subchapter signed by all... representation election in an appropriate unit....

  18. 5 CFR 2421.20 - Election agreement.

    Code of Federal Regulations, 2013 CFR

    2013-01-01

    ... 5 Administrative Personnel 3 2013-01-01 2013-01-01 false Election agreement. 2421.20 Section 2421... Election agreement. Election agreement means an agreement under part 2422 of this subchapter signed by all... representation election in an appropriate unit....

  19. 7 CFR 1948.98 - Grant agreements.

    Code of Federal Regulations, 2013 CFR

    2013-01-01

    ... 7 Agriculture 13 2013-01-01 2013-01-01 false Grant agreements. 1948.98 Section 1948.98 Agriculture... § 1948.98 Grant agreements. The following Grant Agreements are a part of this regulation. (a) Exhibit A of this subpart is a Grant Agreement for Growth Management and Housing Planning Grants for...

  20. 7 CFR 1948.98 - Grant agreements.

    Code of Federal Regulations, 2011 CFR

    2011-01-01

    ... 7 Agriculture 13 2011-01-01 2009-01-01 true Grant agreements. 1948.98 Section 1948.98 Agriculture... § 1948.98 Grant agreements. The following Grant Agreements are a part of this regulation. (a) Exhibit A of this subpart is a Grant Agreement for Growth Management and Housing Planning Grants for...

  1. 7 CFR 1415.11 - Restoration agreements.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... 7 Agriculture 10 2010-01-01 2010-01-01 false Restoration agreements. 1415.11 Section 1415.11... Restoration agreements. (a) Restoration agreements are only authorized to be used in conjunction with... a restoration agreement is needed. Such a determination is also subject to the availability...

  2. 7 CFR 1415.11 - Restoration agreements.

    Code of Federal Regulations, 2011 CFR

    2011-01-01

    ... 7 Agriculture 10 2011-01-01 2011-01-01 false Restoration agreements. 1415.11 Section 1415.11... Restoration agreements. (a) Restoration agreements are only authorized to be used in conjunction with... a restoration agreement is needed. Such a determination is also subject to the availability...

  3. 7 CFR 947.111 - Marketing agreement.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... 7 Agriculture 8 2010-01-01 2010-01-01 false Marketing agreement. 947.111 Section 947.111 Agriculture Regulations of the Department of Agriculture (Continued) AGRICULTURAL MARKETING SERVICE (Marketing... Definitions § 947.111 Marketing agreement. Marketing agreement means Marketing Agreement No. 114, as amended....

  4. 7 CFR 947.111 - Marketing agreement.

    Code of Federal Regulations, 2011 CFR

    2011-01-01

    ... 7 Agriculture 8 2011-01-01 2011-01-01 false Marketing agreement. 947.111 Section 947.111 Agriculture Regulations of the Department of Agriculture (Continued) AGRICULTURAL MARKETING SERVICE (Marketing... Definitions § 947.111 Marketing agreement. Marketing agreement means Marketing Agreement No. 114, as amended....

  5. 46 CFR 356.41 - Management agreements.

    Code of Federal Regulations, 2010 CFR

    2010-10-01

    ... 46 Shipping 8 2010-10-01 2010-10-01 false Management agreements. 356.41 Section 356.41 Shipping..., Management Agreements and Exclusive or Long-Term Contracts § 356.41 Management agreements. (a) An owner or bareboat charterer of a Fishing Industry Vessel may enter into a management agreement with a Non-Citizen...

  6. 25 CFR 163.71 - Agreement funding.

    Code of Federal Regulations, 2014 CFR

    2014-04-01

    ... 25 Indians 1 2014-04-01 2014-04-01 false Agreement funding. 163.71 Section 163.71 Indians BUREAU OF INDIAN AFFAIRS, DEPARTMENT OF THE INTERIOR LAND AND WATER GENERAL FORESTRY REGULATIONS Cooperative Agreements § 163.71 Agreement funding. In cooperative agreements, the Secretary is authorized to advance...

  7. 25 CFR 163.71 - Agreement funding.

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ... 25 Indians 1 2010-04-01 2010-04-01 false Agreement funding. 163.71 Section 163.71 Indians BUREAU OF INDIAN AFFAIRS, DEPARTMENT OF THE INTERIOR LAND AND WATER GENERAL FORESTRY REGULATIONS Cooperative Agreements § 163.71 Agreement funding. In cooperative agreements, the Secretary is authorized to advance...

  8. 25 CFR 163.71 - Agreement funding.

    Code of Federal Regulations, 2011 CFR

    2011-04-01

    ... 25 Indians 1 2011-04-01 2011-04-01 false Agreement funding. 163.71 Section 163.71 Indians BUREAU OF INDIAN AFFAIRS, DEPARTMENT OF THE INTERIOR LAND AND WATER GENERAL FORESTRY REGULATIONS Cooperative Agreements § 163.71 Agreement funding. In cooperative agreements, the Secretary is authorized to advance...

  9. 25 CFR 163.71 - Agreement funding.

    Code of Federal Regulations, 2013 CFR

    2013-04-01

    ... 25 Indians 1 2013-04-01 2013-04-01 false Agreement funding. 163.71 Section 163.71 Indians BUREAU OF INDIAN AFFAIRS, DEPARTMENT OF THE INTERIOR LAND AND WATER GENERAL FORESTRY REGULATIONS Cooperative Agreements § 163.71 Agreement funding. In cooperative agreements, the Secretary is authorized to advance...

  10. 25 CFR 163.71 - Agreement funding.

    Code of Federal Regulations, 2012 CFR

    2012-04-01

    ... 25 Indians 1 2012-04-01 2011-04-01 true Agreement funding. 163.71 Section 163.71 Indians BUREAU OF INDIAN AFFAIRS, DEPARTMENT OF THE INTERIOR LAND AND WATER GENERAL FORESTRY REGULATIONS Cooperative Agreements § 163.71 Agreement funding. In cooperative agreements, the Secretary is authorized to advance...

  11. 77 FR 10743 - Notice of Agreements Filed

    Federal Register 2010, 2011, 2012, 2013, 2014

    2012-02-23

    ... . Agreement No.: 011353-036. Title: The Credit Agreement. Parties: Crowley Latin America Services, LLC; Dole..., DC 20006-4007. Synopsis: The amendment deletes Crowley Latin American Services, LLC and a King Ocean entity as a party to the Agreement. Agreement No.: 012155. Title: MSC/Zim South America East Coast...

  12. 7 CFR 947.111 - Marketing agreement.

    Code of Federal Regulations, 2013 CFR

    2013-01-01

    ... 7 Agriculture 8 2013-01-01 2013-01-01 false Marketing agreement. 947.111 Section 947.111 Agriculture Regulations of the Department of Agriculture (Continued) AGRICULTURAL MARKETING SERVICE (MARKETING... Definitions § 947.111 Marketing agreement. Marketing agreement means Marketing Agreement No. 114, as amended....

  13. 7 CFR 947.111 - Marketing agreement.

    Code of Federal Regulations, 2014 CFR

    2014-01-01

    ... 7 Agriculture 8 2014-01-01 2014-01-01 false Marketing agreement. 947.111 Section 947.111 Agriculture Regulations of the Department of Agriculture (Continued) AGRICULTURAL MARKETING SERVICE (MARKETING... Definitions § 947.111 Marketing agreement. Marketing agreement means Marketing Agreement No. 114, as amended....

  14. 7 CFR 947.111 - Marketing agreement.

    Code of Federal Regulations, 2012 CFR

    2012-01-01

    ... 7 Agriculture 8 2012-01-01 2012-01-01 false Marketing agreement. 947.111 Section 947.111 Agriculture Regulations of the Department of Agriculture (Continued) AGRICULTURAL MARKETING SERVICE (Marketing... Definitions § 947.111 Marketing agreement. Marketing agreement means Marketing Agreement No. 114, as amended....

  15. 27 CFR 70.485 - Closing agreements.

    Code of Federal Regulations, 2012 CFR

    2012-04-01

    ... 27 Alcohol, Tobacco Products and Firearms 2 2012-04-01 2011-04-01 true Closing agreements. 70.485... Relating to Alcohol, Tobacco, Firearms, and Explosives Administrative Remedies § 70.485 Closing agreements... taxable period ending prior or subsequent to the date of such agreement. A closing agreement may...

  16. 27 CFR 70.485 - Closing agreements.

    Code of Federal Regulations, 2013 CFR

    2013-04-01

    ... 27 Alcohol, Tobacco Products and Firearms 2 2013-04-01 2013-04-01 false Closing agreements. 70.485... Relating to Alcohol, Tobacco, Firearms, and Explosives Administrative Remedies § 70.485 Closing agreements... taxable period ending prior or subsequent to the date of such agreement. A closing agreement may...

  17. 27 CFR 70.485 - Closing agreements.

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ... 27 Alcohol, Tobacco Products and Firearms 2 2010-04-01 2010-04-01 false Closing agreements. 70.485... Relating to Alcohol, Tobacco, Firearms, and Explosives Administrative Remedies § 70.485 Closing agreements... taxable period ending prior or subsequent to the date of such agreement. A closing agreement may...

  18. 27 CFR 70.485 - Closing agreements.

    Code of Federal Regulations, 2011 CFR

    2011-04-01

    ... 27 Alcohol, Tobacco Products and Firearms 2 2011-04-01 2011-04-01 false Closing agreements. 70.485... Relating to Alcohol, Tobacco, Firearms, and Explosives Administrative Remedies § 70.485 Closing agreements... taxable period ending prior or subsequent to the date of such agreement. A closing agreement may...

  19. 27 CFR 70.485 - Closing agreements.

    Code of Federal Regulations, 2014 CFR

    2014-04-01

    ... 27 Alcohol, Tobacco Products and Firearms 2 2014-04-01 2014-04-01 false Closing agreements. 70.485... Relating to Alcohol, Tobacco, Firearms, and Explosives Administrative Remedies § 70.485 Closing agreements... taxable period ending prior or subsequent to the date of such agreement. A closing agreement may...

  20. 40 CFR 46.170 - Fellowship agreement.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... 40 Protection of Environment 1 2011-07-01 2011-07-01 false Fellowship agreement. 46.170 Section 46... FELLOWSHIPS Award § 46.170 Fellowship agreement. (a) The “Fellowship Agreement” (EPA Form 5770-8) is the written agreement, including amendments, between EPA and you. The fellowship agreement will state...

  1. 40 CFR 46.170 - Fellowship agreement.

    Code of Federal Regulations, 2012 CFR

    2012-07-01

    ... 40 Protection of Environment 1 2012-07-01 2012-07-01 false Fellowship agreement. 46.170 Section 46... FELLOWSHIPS Award § 46.170 Fellowship agreement. (a) The “Fellowship Agreement” (EPA Form 5770-8) is the written agreement, including amendments, between EPA and you. The fellowship agreement will state...

  2. 40 CFR 46.170 - Fellowship agreement.

    Code of Federal Regulations, 2013 CFR

    2013-07-01

    ... 40 Protection of Environment 1 2013-07-01 2013-07-01 false Fellowship agreement. 46.170 Section 46... FELLOWSHIPS Award § 46.170 Fellowship agreement. (a) The “Fellowship Agreement” (EPA Form 5770-8) is the written agreement, including amendments, between EPA and you. The fellowship agreement will state...

  3. 40 CFR 46.170 - Fellowship agreement.

    Code of Federal Regulations, 2014 CFR

    2014-07-01

    ... 40 Protection of Environment 1 2014-07-01 2014-07-01 false Fellowship agreement. 46.170 Section 46... FELLOWSHIPS Award § 46.170 Fellowship agreement. (a) The “Fellowship Agreement” (EPA Form 5770-8) is the written agreement, including amendments, between EPA and you. The fellowship agreement will state...

  4. 40 CFR 46.170 - Fellowship agreement.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... 40 Protection of Environment 1 2010-07-01 2010-07-01 false Fellowship agreement. 46.170 Section 46... FELLOWSHIPS Award § 46.170 Fellowship agreement. (a) The “Fellowship Agreement” (EPA Form 5770-8) is the written agreement, including amendments, between EPA and you. The fellowship agreement will state...

  5. Verification of Functional Fault Models and the Use of Resource Efficient Verification Tools

    NASA Technical Reports Server (NTRS)

    Bis, Rachael; Maul, William A.

    2015-01-01

    Functional fault models (FFMs) are a directed graph representation of the failure effect propagation paths within a system's physical architecture and are used to support development and real-time diagnostics of complex systems. Verification of these models is required to confirm that the FFMs are correctly built and accurately represent the underlying physical system. However, a manual, comprehensive verification process applied to the FFMs was found to be error prone due to the intensive and customized process necessary to verify each individual component model and to require a burdensome level of resources. To address this problem, automated verification tools have been developed and utilized to mitigate these key pitfalls. This paper discusses the verification of the FFMs and presents the tools that were developed to make the verification process more efficient and effective.

  6. 19 CFR 181.75 - Issuance of origin determination.

    Code of Federal Regulations, 2012 CFR

    2012-04-01

    ... within the meaning of § 181.76(c) of this part, following receipt and analysis of the results of an... calendar days after conclusion of the origin verification process, unless circumstances require additional... determination where specific findings of fact cannot be made because of a failure to respond to a...

  7. Ozone Monitoring Instrument geolocation verification

    NASA Astrophysics Data System (ADS)

    Kroon, M.; Dobber, M. R.; Dirksen, R.; Veefkind, J. P.; van den Oord, G. H. J.; Levelt, P. F.

    2008-08-01

    Verification of the geolocation assigned to individual ground pixels as measured by the Ozone Monitoring Instrument (OMI) aboard the NASA EOS-Aura satellite was performed by comparing geophysical Earth surface details as observed in OMI false color images with the high-resolution continental outline vector map as provided by the Interactive Data Language (IDL) software tool from ITT Visual Information Solutions. The OMI false color images are generated from the OMI visible channel by integration over 20-nm-wide spectral bands of the Earth radiance intensity around 484 nm, 420 nm, and 360 nm wavelength per ground pixel. Proportional to the integrated intensity, we assign color values composed of CRT standard red, green, and blue to the OMI ground pixels. Earth surface details studied are mostly high-contrast coast lines where arid land or desert meets deep blue ocean. The IDL high-resolution vector map is based on the 1993 CIA World Database II Map with a 1-km accuracy. Our results indicate that the average OMI geolocation offset over the years 2005-2006 is 0.79 km in latitude and 0.29 km in longitude, with a standard deviation of 1.64 km in latitude and 2.04 km in longitude, respectively. Relative to the OMI nadir pixel size, one obtains mean displacements of ˜6.1% in latitude and ˜1.2% in longitude, with standard deviations of 12.6% and 7.9%, respectively. We conclude that the geolocation assigned to individual OMI ground pixels is sufficiently accurate to support scientific studies of atmospheric features as observed in OMI level 2 satellite data products, such as air quality issues on urban scales or volcanic eruptions and its plumes, that occur on spatial scales comparable to or smaller than OMI nadir pixels.

  8. Automated verification of system configuration

    NASA Astrophysics Data System (ADS)

    Andrews, W. H., Jr.; Baker, S. P.; Blalock, A. V.

    1991-05-01

    Errors in field wiring can result in significant correction costs (if the errors are discovered prior to use), in erroneous or unusable data (if the errors are not discovered in time), or in serious accidents (if the errors corrupt critical data). Detailed field wiring checkout rework are tedious and expensive, but they are essential steps in the quality assurance process for large, complex instrumentation and control systems. A recent Oak Ridge National Laboratory (ORNL) development, the CONFiguration IDEnification System (CONFIDES) automates verification of field wiring. In CONFIDES, an identifier module is installed on or integrated into each component (e.g., sensor, actuator, cable, distribution panel) to be verified. Interrogator modules, controlled by a personal computer (PC), are installed at the connections of the field wiring to the inputs of the data acquisition and control system (DACS). Interrogator modules poll the components connected to each channel of the DACS and can determine the path taken by each channel's signal to or from the end device for that channel. The system will provide not only the identification (ID) code for the cables and patch panels in the path to a particular sensor or actuator but for individual cable conductor IDs as well. One version of the system uses existing signal wires for communications between CONFIDES modules. Another, more powerful version requires a single dedicated conductor in each cable. Both version can operate with or without instrument power applied and neither interferes with the normal operation of the DACS. Identifier modules can provide a variety of information including status and calibration data.

  9. Approaching the investigation of plasma turbulence through a rigorous verification and validation procedure: A practical example

    SciTech Connect

    Ricci, P. Riva, F.; Theiler, C.; Fasoli, A.; Furno, I.; Halpern, F. D.; Loizu, J.

    2015-05-15

    In the present work, a Verification and Validation procedure is presented and applied showing, through a practical example, how it can contribute to advancing our physics understanding of plasma turbulence. Bridging the gap between plasma physics and other scientific domains, in particular, the computational fluid dynamics community, a rigorous methodology for the verification of a plasma simulation code is presented, based on the method of manufactured solutions. This methodology assesses that the model equations are correctly solved, within the order of accuracy of the numerical scheme. The technique to carry out a solution verification is described to provide a rigorous estimate of the uncertainty affecting the numerical results. A methodology for plasma turbulence code validation is also discussed, focusing on quantitative assessment of the agreement between experiments and simulations. The Verification and Validation methodology is then applied to the study of plasma turbulence in the basic plasma physics experiment TORPEX [Fasoli et al., Phys. Plasmas 13, 055902 (2006)], considering both two-dimensional and three-dimensional simulations carried out with the GBS code [Ricci et al., Plasma Phys. Controlled Fusion 54, 124047 (2012)]. The validation procedure allows progress in the understanding of the turbulent dynamics in TORPEX, by pinpointing the presence of a turbulent regime transition, due to the competition between the resistive and ideal interchange instabilities.

  10. Dose Verification of Stereotactic Radiosurgery Treatment for Trigeminal Neuralgia with Presage 3D Dosimetry System

    NASA Astrophysics Data System (ADS)

    Wang, Z.; Thomas, A.; Newton, J.; Ibbott, G.; Deasy, J.; Oldham, M.

    2010-11-01

    Achieving adequate verification and quality-assurance (QA) for radiosurgery treatment of trigeminal-neuralgia (TGN) is particularly challenging because of the combination of very small fields, very high doses, and complex irradiation geometries (multiple gantry and couch combinations). TGN treatments have extreme requirements for dosimetry tools and QA techniques, to ensure adequate verification. In this work we evaluate the potential of Presage/Optical-CT dosimetry system as a tool for the verification of TGN distributions in high-resolution and in 3D. A TGN treatment was planned and delivered to a Presage 3D dosimeter positioned inside the Radiological-Physics-Center (RPC) head and neck IMRT credentialing phantom. A 6-arc treatment plan was created using the iPlan system, and a maximum dose of 80Gy was delivered with a Varian Trilogy machine. The delivered dose to Presage was determined by optical-CT scanning using the Duke Large field-of-view Optical-CT Scanner (DLOS) in 3D, with isotropic resolution of 0.7mm3. DLOS scanning and reconstruction took about 20minutes. 3D dose comparisons were made with the planning system. Good agreement was observed between the planned and measured 3D dose distributions, and this work provides strong support for the viability of Presage/Optical-CT as a highly useful new approach for verification of this complex technique.

  11. Hybrid Deep Learning for Face Verification.

    PubMed

    Sun, Yi; Wang, Xiaogang; Tang, Xiaoou

    2016-10-01

    This paper proposes a hybrid convolutional network (ConvNet)-Restricted Boltzmann Machine (RBM) model for face verification. A key contribution of this work is to learn high-level relational visual features with rich identity similarity information. The deep ConvNets in our model start by extracting local relational visual features from two face images in comparison, which are further processed through multiple layers to extract high-level and global relational features. To keep enough discriminative information, we use the last hidden layer neuron activations of the ConvNet as features for face verification instead of those of the output layer. To characterize face similarities from different aspects, we concatenate the features extracted from different face region pairs by different deep ConvNets. The resulting high-dimensional relational features are classified by an RBM for face verification. After pre-training each ConvNet and the RBM separately, the entire hybrid network is jointly optimized to further improve the accuracy. Various aspects of the ConvNet structures, relational features, and face verification classifiers are investigated. Our model achieves the state-of-the-art face verification performance on the challenging LFW dataset under both the unrestricted protocol and the setting when outside data is allowed to be used for training. PMID:26660699

  12. Verification against perturbed analyses and observations

    NASA Astrophysics Data System (ADS)

    Bowler, N. E.; Cullen, M. J. P.; Piccolo, C.

    2015-07-01

    It has long been known that verification of a forecast against the sequence of analyses used to produce those forecasts can under-estimate the magnitude of forecast errors. Here we show that under certain conditions the verification of a short-range forecast against a perturbed analysis coming from an ensemble data assimilation scheme can give the same root-mean-square error as verification against the truth. This means that a perturbed analysis can be used as a reliable proxy for the truth. However, the conditions required for this result to hold are rather restrictive: the analysis must be optimal, the ensemble spread must be equal to the error in the mean, the ensemble size must be large and the forecast being verified must be the background forecast used in the data assimilation. Although these criteria are unlikely to be met exactly it becomes clear that for most cases verification against a perturbed analysis gives better results than verification against an unperturbed analysis. We demonstrate the application of these results in a idealised model framework and a numerical weather prediction context. In deriving this result we recall that an optimal (Kalman) analysis is one for which the analysis increments are uncorrelated with the analysis errors.

  13. Hybrid Deep Learning for Face Verification.

    PubMed

    Sun, Yi; Wang, Xiaogang; Tang, Xiaoou

    2016-10-01

    This paper proposes a hybrid convolutional network (ConvNet)-Restricted Boltzmann Machine (RBM) model for face verification. A key contribution of this work is to learn high-level relational visual features with rich identity similarity information. The deep ConvNets in our model start by extracting local relational visual features from two face images in comparison, which are further processed through multiple layers to extract high-level and global relational features. To keep enough discriminative information, we use the last hidden layer neuron activations of the ConvNet as features for face verification instead of those of the output layer. To characterize face similarities from different aspects, we concatenate the features extracted from different face region pairs by different deep ConvNets. The resulting high-dimensional relational features are classified by an RBM for face verification. After pre-training each ConvNet and the RBM separately, the entire hybrid network is jointly optimized to further improve the accuracy. Various aspects of the ConvNet structures, relational features, and face verification classifiers are investigated. Our model achieves the state-of-the-art face verification performance on the challenging LFW dataset under both the unrestricted protocol and the setting when outside data is allowed to be used for training.

  14. Verification of COSMO model over Poland

    NASA Astrophysics Data System (ADS)

    Linkowska, Joanna; Mazur, Andrzej; Wyszogrodzki, Andrzej

    2014-05-01

    The Polish National Weather Service and Institute of Meteorology and Water Management - National Research Institute (IMWM-NRI, Warsaw, Poland) joined the Consortium for Small-Scale Modeling (COSMO) in 2002. Thanks to cooperation in the consortium the meteorological model COSMO is run operationally at IMWM-NRI at both 2.8km and 7km horizontal resolutions. In research mode, data assimilation tests have been carried out using a 6-hourly cycle nudging scheme. We would like to present verification results of the COSMO model, comparing model generated surface temperature, wind and rain fall rates with the Synop measurements. In addition, verification results of vertical profiles for chosen variables will also be analyzed and presented. The verification is divided into the following areas: i) assessing impact of data assimilation on the quality of 2.8km resolution model forecasts by switching data assimilation on and off, ii) spatio-temporal verification of model results at 7km resolution and iii) conditional verification of selected parameters against chosen meteorological condition(s).

  15. International Agreement on Planetary Protection

    NASA Technical Reports Server (NTRS)

    2000-01-01

    The maintenance of a NASA policy, is consistent with international agreements. The planetary protection policy management in OSS, with Field Center support. The advice from internal and external advisory groups (NRC, NAC/Planetary Protection Task Force). The technology research and standards development in bioload characterization. The technology research and development in bioload reduction/sterilization. This presentation focuses on: forward contamination - research on the potential for Earth life to exist on other bodies, improved strategies for planetary navigation and collision avoidance, and improved procedures for sterile spacecraft assembly, cleaning and/or sterilization; and backward contamination - development of sample transfer and container sealing technologies for Earth return, improvement in sample return landing target assessment and navigation strategy, planning for sample hazard determination requirements and procedures, safety certification, (liaison to NEO Program Office for compositional data on small bodies), facility planning for sample recovery system, quarantine, and long-term curation of 4 returned samples.

  16. Beam and Truss Finite Element Verification for DYNA3D

    SciTech Connect

    Rathbun, H J

    2007-07-16

    The explicit finite element (FE) software program DYNA3D has been developed at Lawrence Livermore National Laboratory (LLNL) to simulate the dynamic behavior of structures, systems, and components. This report focuses on verification of beam and truss element formulations in DYNA3D. An efficient protocol has been developed to verify the accuracy of these structural elements by generating a set of representative problems for which closed-form quasi-static steady-state analytical reference solutions exist. To provide as complete coverage as practically achievable, problem sets are developed for each beam and truss element formulation (and their variants) in all modes of loading and physical orientation. Analyses with loading in the elastic and elastic-plastic regimes are performed. For elastic loading, the FE results are within 1% of the reference solutions for all cases. For beam element bending and torsion loading in the plastic regime, the response is heavily dependent on the numerical integration rule chosen, with higher refinement yielding greater accuracy (agreement to within 1%). Axial loading in the plastic regime produces accurate results (agreement to within 0.01%) for all integration rules and element formulations. Truss elements are also verified to provide accurate results (within 0.01%) for elastic and elastic-plastic loading. A sample problem to verify beam element response in ParaDyn, the parallel version DYNA3D, is also presented.

  17. Verification of gyrokinetic microstability codes with an LHD configuration

    SciTech Connect

    Mikkelsen, D. R.; Nunami, M.; Sugama, H.; Tanaka, K.; Watanabe, T.-H.

    2014-11-15

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

  18. Verification of gyrokinetic microstability codes with an LHD configuration

    SciTech Connect

    Mikkelsen, D. R.; Nunami, M.; Watanabe, T. -H.; Sugama, H.; Tanaka, K.

    2014-11-01

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

  19. Data verification in the residue laboratory.

    PubMed

    Ault, J A; Cassidy, P S; Crawford, C J; Jablonski, J E; Kenyon, R G

    1994-12-01

    Residue analysis frequently presents a challenge to the quality assurance (QA) auditor due to the sheer volume of data to be audited. In the face of multiple boxes of raw data, some process must be defined that assures the scientist and the QA auditor of the quality and integrity of the data. A program that ensures that complete and appropriate verification of data before it reaches the Quality Assurance Unit (QAU) is presented. The "Guidelines for Peer Review of Data" were formulated by the Residue Analysis Business Center at Ricerca, Inc. to accommodate efficient use of review time and to define any uncertainties concerning what are acceptable data. The core of this program centers around five elements: Study initiation (definitional) meetings, calculations, verification, approval, and the use of a verification checklist.

  20. Fuel Retrieval System (FRS) Design Verification

    SciTech Connect

    YANOCHKO, R.M.

    2000-01-27

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

  1. Heavy water physical verification in power plants

    SciTech Connect

    Morsy, S.; Schuricht, V.; Beetle, T.; Szabo, E.

    1986-01-01

    This paper is a report on the Agency experience in verifying heavy water inventories in power plants. The safeguards objectives and goals for such activities are defined in the paper. The heavy water is stratified according to the flow within the power plant, including upgraders. A safeguards scheme based on a combination of records auditing, comparing records and reports, and physical verification has been developed. This scheme has elevated the status of heavy water safeguards to a level comparable to nuclear material safeguards in bulk facilities. It leads to attribute and variable verification of the heavy water inventory in the different system components and in the store. The verification methods include volume and weight determination, sampling and analysis, non-destructive assay (NDA), and criticality check. The analysis of the different measurement methods and their limits of accuracy are discussed in the paper.

  2. Critical Surface Cleaning and Verification Alternatives

    NASA Technical Reports Server (NTRS)

    Melton, Donald M.; McCool, A. (Technical Monitor)

    2000-01-01

    As a result of federal and state requirements, historical critical cleaning and verification solvents such as Freon 113, Freon TMC, and Trichloroethylene (TCE) are either highly regulated or no longer 0 C available. Interim replacements such as HCFC 225 have been qualified, however toxicity and future phase-out regulations necessitate long term solutions. The scope of this project was to qualify a safe and environmentally compliant LOX surface verification alternative to Freon 113, TCE and HCFC 225. The main effort was focused on initiating the evaluation and qualification of HCFC 225G as an alternate LOX verification solvent. The project was scoped in FY 99/00 to perform LOX compatibility, cleaning efficiency and qualification on flight hardware.

  3. Active alignment/contact verification system

    DOEpatents

    Greenbaum, William M.

    2000-01-01

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

  4. Packaged low-level waste verification system

    SciTech Connect

    Tuite, K.T.; Winberg, M.; Flores, A.Y.; Killian, E.W.; McIsaac, C.V.

    1996-08-01

    Currently, states and low-level radioactive waste (LLW) disposal site operators have no method of independently verifying the radionuclide content of packaged LLW that arrive at disposal sites for disposal. At this time, disposal sites rely on LLW generator shipping manifests and accompanying records to insure that LLW received meets the waste acceptance criteria. An independent verification system would provide a method of checking generator LLW characterization methods and help ensure that LLW disposed of at disposal facilities meets requirements. The Mobile Low-Level Waste Verification System (MLLWVS) provides the equipment, software, and methods to enable the independent verification of LLW shipping records to insure that disposal site waste acceptance criteria are being met. The MLLWVS system was developed under a cost share subcontract between WMG, Inc., and Lockheed Martin Idaho Technologies through the Department of Energy`s National Low-Level Waste Management Program at the Idaho National Engineering Laboratory (INEL).

  5. Land Ice Verification and Validation Kit

    2015-07-15

    To address a pressing need to better understand the behavior and complex interaction of ice sheets within the global Earth system, significant development of continental-scale, dynamical ice-sheet models is underway. The associated verification and validation process of these models is being coordinated through a new, robust, python-based extensible software package, the Land Ice Verification and Validation toolkit (LIVV). This release provides robust and automated verification and a performance evaluation on LCF platforms. The performance V&Vmore » involves a comprehensive comparison of model performance relative to expected behavior on a given computing platform. LIVV operates on a set of benchmark and test data, and provides comparisons for a suite of community prioritized tests, including configuration and parameter variations, bit-4-bit evaluation, and plots of tests where differences occur.« less

  6. Land Ice Verification and Validation Kit

    SciTech Connect

    2015-07-15

    To address a pressing need to better understand the behavior and complex interaction of ice sheets within the global Earth system, significant development of continental-scale, dynamical ice-sheet models is underway. The associated verification and validation process of these models is being coordinated through a new, robust, python-based extensible software package, the Land Ice Verification and Validation toolkit (LIVV). This release provides robust and automated verification and a performance evaluation on LCF platforms. The performance V&V involves a comprehensive comparison of model performance relative to expected behavior on a given computing platform. LIVV operates on a set of benchmark and test data, and provides comparisons for a suite of community prioritized tests, including configuration and parameter variations, bit-4-bit evaluation, and plots of tests where differences occur.

  7. GHG MITIGATION TECHNOLOGY PERFORMANCE EVALUATIONS UNDERWAY AT THE GHG TECHNOLOGY VERIFICATION CENTER

    EPA Science Inventory

    The paper outlines the verification approach and activities of the Greenhouse Gas (GHG) Technology Verification Center, one of 12 independent verification entities operating under the U.S. EPA-sponsored Environmental Technology Verification (ETV) program. (NOTE: The ETV program...

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

    SciTech Connect

    Wuest, C R

    2012-05-24

    Nuclear weapon arms control treaty verification is a key aspect of any agreement between signatories to establish that the terms and conditions spelled out in the treaty are being met. Historically, arms control negotiations have focused more on the rules and protocols for reducing the numbers of warheads and delivery systems - sometimes resorting to complex and arcane procedures for counting forces - in an attempt to address perceived or real imbalances in a nation's strategic posture that could lead to instability. Verification procedures are generally defined in arms control treaties and supporting documents and tend to focus on technical means and measures designed to ensure that a country is following the terms of the treaty and that it is not liable to engage in deception or outright cheating in an attempt to circumvent the spirit and the letter of the agreement. As the Obama Administration implements the articles, terms, and conditions of the recently ratified and entered-into-force New START treaty, there are already efforts within and outside of government to move well below the specified New START levels of 1550 warheads, 700 deployed strategic delivery vehicles, and 800 deployed and nondeployed strategic launchers (Inter-Continental Ballistic Missile (ICBM) silos, Submarine-Launched Ballistic Missile (SLBM) tubes on submarines, and bombers). A number of articles and opinion pieces have appeared that advocate for significantly deeper cuts in the U.S. nuclear stockpile, with some suggesting that unilateral reductions on the part of the U.S. would help coax Russia and others to follow our lead. Papers and studies prepared for the U.S. Department of Defense and at the U.S. Air War College have also been published, suggesting that nuclear forces totaling no more than about 300 warheads would be sufficient to meet U.S. national security and deterrence needs. (Davis 2011, Schaub and Forsyth 2010) Recent articles by James M. Acton and others suggest that the

  9. Comments on an ID-Based Authenticated Group Key Agreement Protocol with Withstanding Insider Attacks

    NASA Astrophysics Data System (ADS)

    Wu, Tsu-Yang; Tseng, Yuh-Min

    In PKC 2004, Choi et al. proposed an ID-based authenticated group key agreement (AGKA) protocol using bilinear pairings. Unfortunately, their protocol suffered from an impersonation attack and an insider colluding attack. In 2008, Choi et al. presented an improvement to resist insider attacks. In their modified protocol, they used an ID-based signature scheme on transcripts for binding them in a session to prevent replay of transcripts. In particular, they smartly used the batch verification technique to reduce the computational cost. In this paper, we first show that Choi et al.'s modified AGKA protocol still suffers from an insider colluding attack. Then, we prove that the batch verification of the adopted ID-based signature scheme in their modified protocol suffers from a forgery attack.

  10. Methods for identification and verification using vacuum XRF system

    NASA Technical Reports Server (NTRS)

    Schramm, Fred (Inventor); Kaiser, Bruce (Inventor)

    2005-01-01

    Apparatus and methods in which one or more elemental taggants that are intrinsically located in an object are detected by x-ray fluorescence analysis under vacuum conditions to identify or verify the object's elemental content for elements with lower atomic numbers. By using x-ray fluorescence analysis, the apparatus and methods of the invention are simple and easy to use, as well as provide detection by a non line-of-sight method to establish the origin of objects, as well as their point of manufacture, authenticity, verification, security, and the presence of impurities. The invention is extremely advantageous because it provides the capability to measure lower atomic number elements in the field with a portable instrument.

  11. Origins of Stellar Halos

    NASA Astrophysics Data System (ADS)

    Johnston, Kathryn V.

    2016-08-01

    This contribution reviews ideas about the origins of stellar halos. It includes discussion of the theoretical understanding of and observational evidence for stellar populations formed ``in situ'' (meaning formed in orbits close to their current ones), ``kicked-out'' (meaning formed in the inner galaxy in orbits unlike their current ones) and ``accreted'' (meaning formed in a dark matter halo other than the one they currently occupy). At this point there is general agreement that a significant fraction of any stellar halo population is likely ``accreted''. There is modest evidence for the presence of a ``kicked-out'' population around both the Milky Way and M31. Our theoretical understanding of and the observational evidence for an ``in situ'' population are less clear.

  12. Electric power system test and verification program

    NASA Technical Reports Server (NTRS)

    Rylicki, Daniel S.; Robinson, Frank, Jr.

    1994-01-01

    Space Station Freedom's (SSF's) electric power system (EPS) hardware and software verification is performed at all levels of integration, from components to assembly and system level tests. Careful planning is essential to ensure the EPS is tested properly on the ground prior to launch. The results of the test performed on breadboard model hardware and analyses completed to date have been evaluated and used to plan for design qualification and flight acceptance test phases. These results and plans indicate the verification program for SSF's 75-kW EPS would have been successful and completed in time to support the scheduled first element launch.

  13. Challenges in High-Assurance Runtime Verification

    NASA Technical Reports Server (NTRS)

    Goodloe, Alwyn E.

    2016-01-01

    Safety-critical systems are growing more complex and becoming increasingly autonomous. Runtime Verification (RV) has the potential to provide protections when a system cannot be assured by conventional means, but only if the RV itself can be trusted. In this paper, we proffer a number of challenges to realizing high-assurance RV and illustrate how we have addressed them in our research. We argue that high-assurance RV provides a rich target for automated verification tools in hope of fostering closer collaboration among the communities.

  14. Verification of Plan Models Using UPPAAL

    NASA Technical Reports Server (NTRS)

    Khatib, Lina; Muscettola, Nicola; Haveland, Klaus; Lau, Sonic (Technical Monitor)

    2001-01-01

    This paper describes work on the verification of HSTS, the planner and scheduler of the Remote Agent autonomous control system deployed in Deep Space 1 (DS1). The verification is done using UPPAAL, a real time model checking tool. We start by motivating our work in the introduction. Then we give a brief description of HSTS and UPPAAL. After that, we give a mapping of HSTS models into UPPAAL and we present samples of plan model properties one may want to verify. Finally, we conclude with a summary.

  15. The formal verification of generic interpreters

    NASA Technical Reports Server (NTRS)

    Windley, P.; Levitt, K.; Cohen, G. C.

    1991-01-01

    The task assignment 3 of the design and validation of digital flight control systems suitable for fly-by-wire applications is studied. Task 3 is associated with formal verification of embedded systems. In particular, results are presented that provide a methodological approach to microprocessor verification. A hierarchical decomposition strategy for specifying microprocessors is also presented. A theory of generic interpreters is presented that can be used to model microprocessor behavior. The generic interpreter theory abstracts away the details of instruction functionality, leaving a general model of what an interpreter does.

  16. Generic Protocol for the Verification of Ballast Water Treatment Technology

    EPA Science Inventory

    In anticipation of the need to address performance verification and subsequent approval of new and innovative ballast water treatment technologies for shipboard installation, the U.S Coast Guard and the Environmental Protection Agency‘s Environmental Technology Verification Progr...

  17. VALIDATION AND VERIFICATION OF CMST-CP REMOTE SURVEILLANCE SENSORS

    SciTech Connect

    M.A. Ebadian, Ph.D.

    1999-01-01

    In its original form, this project was intended to utilize the capabilities of the Analytical Laboratory at Florida International University's Hemispheric Center for Environmental Technology (FIU-HCET) to carry out validation and verification of data obtained in the field for purposes of characterization, monitoring, and sensing in relation to closure and post-closure of various sites throughout the DOE complex. To do this, technologies were to be identified that had already been deployed and had produced field data. The role of the FIU-HCET Analytical Laboratory was considered first as part of a round robin team with other laboratories or, alternatively, to act as an objective third-party laboratory in evaluating validation data by others. Shortly after the onset of the project, FIU-HCET determined that specific deployed technologies were not readily identifiable. Thus, the direction of the project was changed to one in which the FKJ-HCET Analytical Laboratory would investigate DOE needs that require validation. These needs were examined primarily on the Internet, as listed by each specific site. In addition, needs having validation implications for regulatory agencies, such as the EPA, were also investigated. Furthermore, contact was made with laboratories with which the FIU-HCET Analytical Laboratory could act in a round robin or third-party capacity. Included in this report are potentially deployable technologies that would lend themselves to validation and verification of field data. FIU-HCET intends to monitor the deployment of these technologies with a view toward carrying out the validation activities originally proposed.

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

    SciTech Connect

    Pabian, Frank Vincent

    2010-09-16

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

  19. Sexual Agreements among Gay Male Couples

    PubMed Central

    Hoff, Colleen H.; Beougher, Sean C.

    2009-01-01

    Many gay male couples make agreements about whether or not to permit sex with outside partners, yet little is known about the development and maintenance of these agreements, their impact on relationships, and whether they are an effective HIV prevention strategy. Using semi-structured, qualitative interviews, 39 gay male couples were asked about their sexual agreements and about other relationship dynamics that might affect their agreements. Analysis revealed a wide range of agreement types, all of which are presented along a continuum rather than as discrete categories. For couples with open agreements, most placed rules or conditions limiting when, where, how often, and with whom outside sex was permitted. Although motivations for having agreements varied, HIV prevention did not rank as a primary factor for any couple. Most couples had congruous agreements; however, a small number reported discrepancies which may increase HIV transmission risk. How couples handled breaks in their agreements also varied, depending on what condition was broken, whether it was disclosed, and the partner's reaction. Additional results include differences in agreement type and motivations for having an agreement based on couple serostatus. Overall, agreements benefited couples by providing boundaries for the relationship, supporting a non-heteronormative identity, and fulfilling the sexual needs of the couple. Future prevention efforts involving gay couples must address the range of agreement types and the meanings couples ascribe to them, in addition to tempering safety messages with the relationship issues that are important to and faced by gay couples. PMID:18686027

  20. 22 CFR 124.1 - Manufacturing license agreements and technical assistance agreements.

    Code of Federal Regulations, 2011 CFR

    2011-04-01

    ... 22 Foreign Relations 1 2011-04-01 2011-04-01 false Manufacturing license agreements and technical... ARMS REGULATIONS AGREEMENTS, OFF-SHORE PROCUREMENT AND OTHER DEFENSE SERVICES § 124.1 Manufacturing... manufacturing license agreements, technical assistance agreements, distribution agreements, or...

  1. 22 CFR 124.1 - Manufacturing license agreements and technical assistance agreements.

    Code of Federal Regulations, 2013 CFR

    2013-04-01

    ... 22 Foreign Relations 1 2013-04-01 2013-04-01 false Manufacturing license agreements and technical... ARMS REGULATIONS AGREEMENTS, OFF-SHORE PROCUREMENT AND OTHER DEFENSE SERVICES § 124.1 Manufacturing... manufacturing license agreements, technical assistance agreements, distribution agreements, or...

  2. 22 CFR 124.1 - Manufacturing license agreements and technical assistance agreements.

    Code of Federal Regulations, 2014 CFR

    2014-04-01

    ... 22 Foreign Relations 1 2014-04-01 2014-04-01 false Manufacturing license agreements and technical... ARMS REGULATIONS AGREEMENTS, OFF-SHORE PROCUREMENT, AND OTHER DEFENSE SERVICES § 124.1 Manufacturing... manufacturing license agreements, technical assistance agreements, distribution agreements, or...

  3. 22 CFR 124.1 - Manufacturing license agreements and technical assistance agreements.

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ... 22 Foreign Relations 1 2010-04-01 2010-04-01 false Manufacturing license agreements and technical... ARMS REGULATIONS AGREEMENTS, OFF-SHORE PROCUREMENT AND OTHER DEFENSE SERVICES § 124.1 Manufacturing... manufacturing license agreements, technical assistance agreements, distribution agreements, or...

  4. 22 CFR 124.1 - Manufacturing license agreements and technical assistance agreements.

    Code of Federal Regulations, 2012 CFR

    2012-04-01

    ... 22 Foreign Relations 1 2012-04-01 2012-04-01 false Manufacturing license agreements and technical... ARMS REGULATIONS AGREEMENTS, OFF-SHORE PROCUREMENT AND OTHER DEFENSE SERVICES § 124.1 Manufacturing... manufacturing license agreements, technical assistance agreements, distribution agreements, or...

  5. Dosimetric verification of modulated photon fields by means of compensators for a kernel model.

    PubMed

    Weber, Lars; Laursen, Finn

    2002-01-01

    The approach in treatment planning of applying beam quality correction factors to model compensator-induced depth-hardening effects is investigated and the present work comprises a dosimetric verification of the model for a common compensator material. Lead sheet modulators for four different phantom shapes were designed using a treatment planning system based on the model. The modulators were designed to yield homogeneous dose in a plane. The calculated modulation created by the lead sheets was re-imported into the treatment planning system and applied to a water phantom geometry for verification purposes. Comparing measurements, a total of 31 different geometries were measured, with calculations in this geometry showing good agreement for depth doses, dose profiles and output data with a maximum deviation of 4% except locally in the penumbra region and close to the edges of the cut lead sheets.

  6. Structural Verification and Modeling of a Tension Cone Inflatable Aerodynamic Decelerator

    NASA Technical Reports Server (NTRS)

    Tanner, Christopher L.; Cruz, Juan R.; Braun, Robert D.

    2010-01-01

    Verification analyses were conducted on membrane structures pertaining to a tension cone inflatable aerodynamic decelerator using the analysis code LS-DYNA. The responses of three structures - a cylinder, torus, and tension shell - were compared against linear theory for various loading cases. Stress distribution, buckling behavior, and wrinkling behavior were investigated. In general, agreement between theory and LS-DYNA was very good for all cases investigated. These verification cases exposed the important effects of using a linear elastic liner in membrane structures under compression. Finally, a tension cone wind tunnel test article is modeled in LS-DYNA for which preliminary results are presented. Unlike data from supersonic wind tunnel testing, the segmented tension shell and torus experienced oscillatory behavior when subjected to a steady aerodynamic pressure distribution. This work is presented as a work in progress towards development of a fluid-structures interaction mechanism to investigate aeroelastic behavior of inflatable aerodynamic decelerators.

  7. 78 FR 39283 - Forum on Environmental Measurements Announcement of Competency Policy for Assistance Agreements...

    Federal Register 2010, 2011, 2012, 2013, 2014

    2013-07-01

    ... environmental data under the agreement. The Policy was originally approved on December 12, 2012 by the Science...) is implementing a policy requiring organizations generating or using environmental data under certain... generation of environmental data; and Non-competitive assistance agreements awarded on or after October...

  8. 7 CFR Exhibit A to Subpart I of... - Self-Help Technical Assistance Grant Agreement

    Code of Federal Regulations, 2013 CFR

    2013-01-01

    ... without regard to their race, religion, color, sex, marital status, national origin, or mental or physical... docket, 7 CFR part 1944, subpart I, and the further conditions set forth in this Agreement. If any of the... rights under 7 CFR part 1900, subpart B. (f) An extension of this grant agreement may be approved by...

  9. 37 CFR 1.701 - Extension of patent term due to examination delay under the Uruguay Round Agreements Act...

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... to examination delay under the Uruguay Round Agreements Act (original applications, other than... Examination Delay § 1.701 Extension of patent term due to examination delay under the Uruguay Round Agreements... phrase is used in 35 U.S.C. 154(b)(2) as amended by section 532(a) of the Uruguay Round Agreements...

  10. 37 CFR 1.701 - Extension of patent term due to examination delay under the Uruguay Round Agreements Act...

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... to examination delay under the Uruguay Round Agreements Act (original applications, other than... Examination Delay § 1.701 Extension of patent term due to examination delay under the Uruguay Round Agreements... phrase is used in 35 U.S.C. 154(b)(2) as amended by section 532(a) of the Uruguay Round Agreements...

  11. Earth Science Enterprise Scientific Data Purchase Project: Verification and Validation

    NASA Technical Reports Server (NTRS)

    Jenner, Jeff; Policelli, Fritz; Fletcher, Rosea; Holecamp, Kara; Owen, Carolyn; Nicholson, Lamar; Dartez, Deanna

    2000-01-01

    This paper presents viewgraphs on the Earth Science Enterprise Scientific Data Purchase Project's verification,and validation process. The topics include: 1) What is Verification and Validation? 2) Why Verification and Validation? 3) Background; 4) ESE Data Purchas Validation Process; 5) Data Validation System and Ingest Queue; 6) Shipment Verification; 7) Tracking and Metrics; 8) Validation of Contract Specifications; 9) Earth Watch Data Validation; 10) Validation of Vertical Accuracy; and 11) Results of Vertical Accuracy Assessment.

  12. Perceptions of patient provider agreements

    PubMed Central

    Albrecht, Jennifer S.; Khokhar, Bilal; Pradel, Françoise; Campbell, Michelle; Palmer, Jacqueline; Harris, Ilene; Palumbo, Francis

    2016-01-01

    Objectives Use of patient provider agreements (PPAs) is increasing, yet there is limited evidence on the effectiveness of PPAs to prevent prescription opioid misuse and diversion, and few guidelines for providers. We conducted eight focus groups to understand patient and prescriber perceptions of PPAs. Methods We recruited 40 patients who had been asked to sign a PPA and 40 prescribers who had administered at least one PPA. We developed topic guides for the two groups based on prior literature. Focus groups were audio-recorded and transcribed verbatim. Two investigators independently performed the content analysis of the transcripts and reached consensus on recurring themes. Key findings PPA use varied according to physician specialty. General practitioners used PPAs the least but reported increasing pressure from liability insurers to use them. Many patients reported signing a PPA in the emergency room of a hospital. Prescribers and patients reported a lack of understanding among patients concerning the purpose and content of the PPA. Prescribers questioned the legal status of the PPA, while patients believed that the PPA was a legal document intended to protect prescribers. Patients and prescribers valued PPA content items differently, although both groups agreed that signing a PPA would not prevent opioid misuse. Conclusions We identified several themes concerning the administration, content, effectiveness and utility of PPAs that highlight areas of research to improve PPAs. We also describe trends requiring further investigation. Understanding content of importance to patients will facilitate the development of a patient-centred PPA. PMID:27293486

  13. Monitoring of Biomedical License Agreements

    PubMed Central

    Keller, George H.; Ferguson, Steven M.; Pan, Percy

    2009-01-01

    Because technology licensed from research organizations can play a significant role in drug innovation and the generation of novel biomedical products, licensee performance under such agreements must be effectively monitored. This is necessary so that resultant benefits, including public health improvement, may be returned to the innovator(s) as well as society at large. The tasks that comprise monitoring are varied, but all come under the general heading of ‘enforcement of license provisions’. Since 1996, the license monitoring and enforcement program established by the US National Institutes of Health (NIH) Group has collected about $US17 million in unpaid and underpaid license royalties through formal financial audits and other investigative activities. During the same period, the Office of Technology Transfer (OTT) settled more than 60 cases of suspected patent infringement, generating around 60 new licenses and collected both back and ongoing royalties. As these numbers show, an active and effective monitoring program is an essential part of any technology transfer or biomedical licensing program. PMID:19960074

  14. 14 CFR 437.35 - Agreements.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... TRANSPORTATION LICENSING EXPERIMENTAL PERMITS Requirements to Obtain an Experimental Permit Operational Safety Documentation § 437.35 Agreements. An applicant must enter into the agreements required by § 437.63, and...

  15. 14 CFR 437.35 - Agreements.

    Code of Federal Regulations, 2011 CFR

    2011-01-01

    ... TRANSPORTATION LICENSING EXPERIMENTAL PERMITS Requirements to Obtain an Experimental Permit Operational Safety Documentation § 437.35 Agreements. An applicant must enter into the agreements required by § 437.63, and...

  16. 75 FR 61757 - Notice of Agreements Filed

    Federal Register 2010, 2011, 2012, 2013, 2014

    2010-10-06

    ....: 012071-001. Title: APL/Hanjin Reciprocal Space Charter Agreement. Parties: American President Lines, Ltd... Agreement. Parties: Eagle Marine Services, Ltd.; Ports of America Outer Harbor Terminal, LLC; Port...

  17. 75 FR 150 - Notice of Agreements Filed

    Federal Register 2010, 2011, 2012, 2013, 2014

    2010-01-04

    ... the members to address issues relating to environmental initiatives and the reduction of air and water pollution. Agreement No.: 012008-004. Title: The 360 Quality Association Agreement. Parties: NYKCool AB...

  18. 76 FR 12962 - Notice of Agreements Filed

    Federal Register 2010, 2011, 2012, 2013, 2014

    2011-03-09

    ....gov . Agreement No.: 011885-002. Title: CMA CGM/MSC Reciprocal Space Charter, Sailing and Cooperative... Coast Two-Loop Space Charter, Sailing and Cooperative Working Agreement. Parties: A.P. Moller-Maersk...

  19. 37 CFR 42.409 - Settlement agreements.

    Code of Federal Regulations, 2014 CFR

    2014-07-01

    ... OF COMMERCE TRIAL PRACTICE BEFORE THE PATENT TRIAL AND APPEAL BOARD Derivation After Institution of Derivation Proceeding § 42.409 Settlement agreements. An agreement or understanding under 35 U.S.C. 135(e)...

  20. 75 FR 31438 - Notice of Agreements Filed

    Federal Register 2010, 2011, 2012, 2013, 2014

    2010-06-03

    ... Lines Joint Service Agreement. Filing Party: Tara L. Leiter, Esq.; Blank Rome, LLP; Watergate; 600 New... Service Agreement. Filing Party: Tara L. Leiter, Esq.; Blank Rome, LLP; Watergate; 600 New...

  1. 47 CFR 51.303 - Preexisting agreements.

    Code of Federal Regulations, 2010 CFR

    2010-10-01

    ... Telecommunication FEDERAL COMMUNICATIONS COMMISSION (CONTINUED) COMMON CARRIER SERVICES (CONTINUED) INTERCONNECTION... interconnection agreements between an incumbent LEC and a telecommunications carrier, including those negotiated... approval pursuant to section 252(e) of the Act. (b) Interconnection agreements negotiated before February...

  2. 77 FR 71001 - Notice of Agreements Filed

    Federal Register 2010, 2011, 2012, 2013, 2014

    2012-11-28

    ..., updates both parties address, and various other changes. Agreement No.: 012187-000. Title: Siem Car Carrier Pacific AS/Hoegh Autoliners, Inc. Space Charter Agreement. Parties: Siem Car Carrier Pacific...

  3. 32 CFR 37.1260 - Cooperative agreement.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... REGULATIONS TECHNOLOGY INVESTMENT AGREEMENTS Definitions of Terms Used in This Part § 37.1260 Cooperative... the cooperative agreement. The term does not include “cooperative research and development...

  4. 77 FR 1689 - Notice of Agreements Filed

    Federal Register 2010, 2011, 2012, 2013, 2014

    2012-01-11

    ... . Agreement No.: 012150. Title: COSCON/POS Space Charter and Sailing Agreement. Parties: COSCO Container Lines... COSCO to charter space to Hainan POS in the trade between U.S. West Coast ports and ports in China...

  5. 75 FR 20849 - Notice of Agreements Filed

    Federal Register 2010, 2011, 2012, 2013, 2014

    2010-04-21

    .... Agreement No.: 011075-073. Title: Central America Discussion Agreement. Parties: APL Co. PTE Ltd.; Crowley Latin America Services, LLC.; Dole Ocean Cargo Express; Great White Fleet; King Ocean Services...

  6. Legal issues critical in software license agreements.

    PubMed

    Manfredi, M J; Peterson, D M

    1989-05-01

    The complex legal aspects of software license agreements are addressed in this final part of a three-part series. A healthcare organization that has selected a software vendor and has reviewed the central provisions of a licensing agreement must then take a close look at the other provisions of the agreement. These include numerous legal provisions, regulatory requirements, and ancillary agreements related to maintenance and access to the software.

  7. 40 CFR 1065.395 - Inertial PM balance verifications.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... 40 Protection of Environment 32 2010-07-01 2010-07-01 false Inertial PM balance verifications... Inertial PM balance verifications. This section describes how to verify the performance of an inertial PM balance. (a) Independent verification. Have the balance manufacturer (or a representative approved by...

  8. 40 CFR 1065.395 - Inertial PM balance verifications.

    Code of Federal Regulations, 2014 CFR

    2014-07-01

    ... 40 Protection of Environment 33 2014-07-01 2014-07-01 false Inertial PM balance verifications... Inertial PM balance verifications. This section describes how to verify the performance of an inertial PM balance. (a) Independent verification. Have the balance manufacturer (or a representative approved by...

  9. 40 CFR 1065.395 - Inertial PM balance verifications.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... 40 Protection of Environment 33 2011-07-01 2011-07-01 false Inertial PM balance verifications... Inertial PM balance verifications. This section describes how to verify the performance of an inertial PM balance. (a) Independent verification. Have the balance manufacturer (or a representative approved by...

  10. 40 CFR 1065.395 - Inertial PM balance verifications.

    Code of Federal Regulations, 2013 CFR

    2013-07-01

    ... 40 Protection of Environment 34 2013-07-01 2013-07-01 false Inertial PM balance verifications... Inertial PM balance verifications. This section describes how to verify the performance of an inertial PM balance. (a) Independent verification. Have the balance manufacturer (or a representative approved by...

  11. 40 CFR 1065.395 - Inertial PM balance verifications.

    Code of Federal Regulations, 2012 CFR

    2012-07-01

    ... 40 Protection of Environment 34 2012-07-01 2012-07-01 false Inertial PM balance verifications... Inertial PM balance verifications. This section describes how to verify the performance of an inertial PM balance. (a) Independent verification. Have the balance manufacturer (or a representative approved by...

  12. 45 CFR 1626.6 - Verification of citizenship.

    Code of Federal Regulations, 2014 CFR

    2014-10-01

    ... 45 Public Welfare 4 2014-10-01 2014-10-01 false Verification of citizenship. 1626.6 Section 1626.6... ON LEGAL ASSISTANCE TO ALIENS § 1626.6 Verification of citizenship. (a) A recipient shall require all... require verification of citizenship. A recipient shall not consider factors such as a person's...

  13. 24 CFR 5.512 - Verification of eligible immigration status.

    Code of Federal Regulations, 2013 CFR

    2013-04-01

    ... immigration status. 5.512 Section 5.512 Housing and Urban Development Office of the Secretary, Department of... Noncitizens § 5.512 Verification of eligible immigration status. (a) General. Except as described in paragraph...) Primary verification—(1) Automated verification system. Primary verification of the immigration status...

  14. 24 CFR 5.512 - Verification of eligible immigration status.

    Code of Federal Regulations, 2012 CFR

    2012-04-01

    ... immigration status. 5.512 Section 5.512 Housing and Urban Development Office of the Secretary, Department of... Noncitizens § 5.512 Verification of eligible immigration status. (a) General. Except as described in paragraph...) Primary verification—(1) Automated verification system. Primary verification of the immigration status...

  15. 24 CFR 5.512 - Verification of eligible immigration status.

    Code of Federal Regulations, 2014 CFR

    2014-04-01

    ... immigration status. 5.512 Section 5.512 Housing and Urban Development Office of the Secretary, Department of... Noncitizens § 5.512 Verification of eligible immigration status. (a) General. Except as described in paragraph...) Primary verification—(1) Automated verification system. Primary verification of the immigration status...

  16. 24 CFR 5.512 - Verification of eligible immigration status.

    Code of Federal Regulations, 2011 CFR

    2011-04-01

    ... immigration status. 5.512 Section 5.512 Housing and Urban Development Office of the Secretary, Department of... Noncitizens § 5.512 Verification of eligible immigration status. (a) General. Except as described in paragraph...) Primary verification—(1) Automated verification system. Primary verification of the immigration status...

  17. 24 CFR 5.512 - Verification of eligible immigration status.

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ... immigration status. 5.512 Section 5.512 Housing and Urban Development Office of the Secretary, Department of... Noncitizens § 5.512 Verification of eligible immigration status. (a) General. Except as described in paragraph...) Primary verification—(1) Automated verification system. Primary verification of the immigration status...

  18. 8 CFR 343b.5 - Verification of naturalization.

    Code of Federal Regulations, 2012 CFR

    2012-01-01

    ... 8 Aliens and Nationality 1 2012-01-01 2012-01-01 false Verification of naturalization. 343b.5... CERTIFICATE OF NATURALIZATION FOR RECOGNITION BY A FOREIGN STATE § 343b.5 Verification of naturalization. The application shall not be granted without first obtaining verification of the applicant's naturalization....

  19. 8 CFR 343b.5 - Verification of naturalization.

    Code of Federal Regulations, 2011 CFR

    2011-01-01

    ... 8 Aliens and Nationality 1 2011-01-01 2011-01-01 false Verification of naturalization. 343b.5... CERTIFICATE OF NATURALIZATION FOR RECOGNITION BY A FOREIGN STATE § 343b.5 Verification of naturalization. The application shall not be granted without first obtaining verification of the applicant's naturalization....

  20. 8 CFR 343b.5 - Verification of naturalization.

    Code of Federal Regulations, 2014 CFR

    2014-01-01

    ... 8 Aliens and Nationality 1 2014-01-01 2014-01-01 false Verification of naturalization. 343b.5... CERTIFICATE OF NATURALIZATION FOR RECOGNITION BY A FOREIGN STATE § 343b.5 Verification of naturalization. The application shall not be granted without first obtaining verification of the applicant's naturalization....

  1. 8 CFR 343b.5 - Verification of naturalization.

    Code of Federal Regulations, 2013 CFR

    2013-01-01

    ... 8 Aliens and Nationality 1 2013-01-01 2013-01-01 false Verification of naturalization. 343b.5... CERTIFICATE OF NATURALIZATION FOR RECOGNITION BY A FOREIGN STATE § 343b.5 Verification of naturalization. The application shall not be granted without first obtaining verification of the applicant's naturalization....

  2. 8 CFR 343b.5 - Verification of naturalization.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... 8 Aliens and Nationality 1 2010-01-01 2010-01-01 false Verification of naturalization. 343b.5... CERTIFICATE OF NATURALIZATION FOR RECOGNITION BY A FOREIGN STATE § 343b.5 Verification of naturalization. The application shall not be granted without first obtaining verification of the applicant's naturalization....

  3. 37 CFR 261.7 - Verification of royalty payments.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    .... This section prescribes general rules pertaining to the verification by any Copyright Owner or... section shall apply to situations where a Copyright Owner or a Performer and a Designated Agent have agreed as to proper verification methods. (b) Frequency of verification. A Copyright Owner or a...

  4. 40 CFR 1065.920 - PEMS calibrations and verifications.

    Code of Federal Regulations, 2014 CFR

    2014-07-01

    ... test conditions. As provided in 40 CFR 1068.5, we will deem your system to not meet the requirements of... 40 Protection of Environment 33 2014-07-01 2014-07-01 false PEMS calibrations and verifications....920 PEMS calibrations and verifications. (a) Subsystem calibrations and verifications. Use all...

  5. 34 CFR 84.620 - Cooperative agreement.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... 34 Education 1 2010-07-01 2010-07-01 false Cooperative agreement. 84.620 Section 84.620 Education Office of the Secretary, Department of Education GOVERNMENTWIDE REQUIREMENTS FOR DRUG-FREE WORKPLACE (FINANCIAL ASSISTANCE) Definitions § 84.620 Cooperative agreement. Cooperative agreement means an award...

  6. 23 CFR 633.206 - Project agreements.

    Code of Federal Regulations, 2013 CFR

    2013-04-01

    ... 23 Highways 1 2013-04-01 2013-04-01 false Project agreements. 633.206 Section 633.206 Highways... CONTRACT PROVISIONS Federal-Aid Contracts (Appalachian Contracts) § 633.206 Project agreements. (a) Project agreements executed for projects under the Appalachian program shall contain the following paragraphs:...

  7. 23 CFR 633.206 - Project agreements.

    Code of Federal Regulations, 2014 CFR

    2014-04-01

    ... 23 Highways 1 2014-04-01 2014-04-01 false Project agreements. 633.206 Section 633.206 Highways... CONTRACT PROVISIONS Federal-Aid Contracts (Appalachian Contracts) § 633.206 Project agreements. (a) Project agreements executed for projects under the Appalachian program shall contain the following paragraphs:...

  8. 23 CFR 633.206 - Project agreements.

    Code of Federal Regulations, 2012 CFR

    2012-04-01

    ... 23 Highways 1 2012-04-01 2012-04-01 false Project agreements. 633.206 Section 633.206 Highways... CONTRACT PROVISIONS Federal-Aid Contracts (Appalachian Contracts) § 633.206 Project agreements. (a) Project agreements executed for projects under the Appalachian program shall contain the following paragraphs:...

  9. 23 CFR 633.206 - Project agreements.

    Code of Federal Regulations, 2011 CFR

    2011-04-01

    ... 23 Highways 1 2011-04-01 2011-04-01 false Project agreements. 633.206 Section 633.206 Highways... CONTRACT PROVISIONS Federal-Aid Contracts (Appalachian Contracts) § 633.206 Project agreements. (a) Project agreements executed for projects under the Appalachian program shall contain the following paragraphs:...

  10. 19 CFR 118.3 - Written agreement.

    Code of Federal Regulations, 2013 CFR

    2013-04-01

    ... 19 Customs Duties 1 2013-04-01 2013-04-01 false Written agreement. 118.3 Section 118.3 Customs... CENTRALIZED EXAMINATION STATIONS General Provisions § 118.3 Written agreement. The applicant tentatively selected to operate a CES must sign a written agreement with CBP before commencing operations. Failure...

  11. 5 CFR 370.105 - Written agreements.

    Code of Federal Regulations, 2014 CFR

    2014-01-01

    ... 5 Administrative Personnel 1 2014-01-01 2014-01-01 false Written agreements. 370.105 Section 370... TECHNOLOGY EXCHANGE PROGRAM § 370.105 Written agreements. Before the detail begins, the agency and private sector organization must enter into a written agreement with the individual(s) detailed. The...

  12. 19 CFR 118.3 - Written agreement.

    Code of Federal Regulations, 2011 CFR

    2011-04-01

    ... 19 Customs Duties 1 2011-04-01 2011-04-01 false Written agreement. 118.3 Section 118.3 Customs... CENTRALIZED EXAMINATION STATIONS General Provisions § 118.3 Written agreement. The applicant tentatively selected to operate a CES must sign a written agreement with CBP before commencing operations. Failure...

  13. 5 CFR 370.105 - Written agreements.

    Code of Federal Regulations, 2013 CFR

    2013-01-01

    ... 5 Administrative Personnel 1 2013-01-01 2013-01-01 false Written agreements. 370.105 Section 370... TECHNOLOGY EXCHANGE PROGRAM § 370.105 Written agreements. Before the detail begins, the agency and private sector organization must enter into a written agreement with the individual(s) detailed. The...

  14. 19 CFR 118.3 - Written agreement.

    Code of Federal Regulations, 2014 CFR

    2014-04-01

    ... 19 Customs Duties 1 2014-04-01 2014-04-01 false Written agreement. 118.3 Section 118.3 Customs... CENTRALIZED EXAMINATION STATIONS General Provisions § 118.3 Written agreement. The applicant tentatively selected to operate a CES must sign a written agreement with CBP before commencing operations. Failure...

  15. 19 CFR 118.3 - Written agreement.

    Code of Federal Regulations, 2012 CFR

    2012-04-01

    ... 19 Customs Duties 1 2012-04-01 2012-04-01 false Written agreement. 118.3 Section 118.3 Customs... CENTRALIZED EXAMINATION STATIONS General Provisions § 118.3 Written agreement. The applicant tentatively selected to operate a CES must sign a written agreement with CBP before commencing operations. Failure...

  16. 5 CFR 370.105 - Written agreements.

    Code of Federal Regulations, 2011 CFR

    2011-01-01

    ... 5 Administrative Personnel 1 2011-01-01 2011-01-01 false Written agreements. 370.105 Section 370... TECHNOLOGY EXCHANGE PROGRAM § 370.105 Written agreements. Before the detail begins, the agency and private sector organization must enter into a written agreement with the individual(s) detailed. The...

  17. 5 CFR 370.105 - Written agreements.

    Code of Federal Regulations, 2012 CFR

    2012-01-01

    ... 5 Administrative Personnel 1 2012-01-01 2012-01-01 false Written agreements. 370.105 Section 370... TECHNOLOGY EXCHANGE PROGRAM § 370.105 Written agreements. Before the detail begins, the agency and private sector organization must enter into a written agreement with the individual(s) detailed. The...

  18. 78 FR 75345 - Notice of Agreements Filed

    Federal Register 2010, 2011, 2012, 2013, 2014

    2013-12-11

    ...@fmc.gov . Agreement No.; 011314-002. Title: CSAV/Trans Global Cooperative Working Agreement. Parties: Compania Sud Americana de Vapores S.A. and Trans Global Shipping NV. Filing Party: Walter H. Lion Esq.; Mc... party Swordfish Shipping Inc. to Trans Global Shipping NV and changes the agreement's termination...

  19. 48 CFR 519.7010 - Agreement contents.

    Code of Federal Regulations, 2013 CFR

    2013-10-01

    ... 48 Federal Acquisition Regulations System 4 2013-10-01 2013-10-01 false Agreement contents. 519... SOCIOECONOMIC PROGRAMS SMALL BUSINESS PROGRAMS GSA Mentor-Protégé Program 519.7010 Agreement contents. The contents of the Agreement must contain: (a) Names, addresses (including facsimile, e-mail, and...

  20. 48 CFR 519.7010 - Agreement contents.

    Code of Federal Regulations, 2012 CFR

    2012-10-01

    ... 48 Federal Acquisition Regulations System 4 2012-10-01 2012-10-01 false Agreement contents. 519... SOCIOECONOMIC PROGRAMS SMALL BUSINESS PROGRAMS GSA Mentor-Protégé Program 519.7010 Agreement contents. The contents of the Agreement must contain: (a) Names, addresses (including facsimile, e-mail, and...