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, 2011 CFR

    2011-04-01

    ... BORDER PROTECTION, DEPARTMENT OF HOMELAND SECURITY; DEPARTMENT OF THE TREASURY (CONTINUED) NORTH AMERICAN FREE TRADE AGREEMENT Origin Verifications and Determinations § 181.71 Denial of preferential...

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

    Code of Federal Regulations, 2012 CFR

    2012-04-01

    ... BORDER PROTECTION, DEPARTMENT OF HOMELAND SECURITY; DEPARTMENT OF THE TREASURY (CONTINUED) NORTH AMERICAN FREE TRADE AGREEMENT Origin Verifications and Determinations § 181.71 Denial of preferential...

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

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ... BORDER PROTECTION, DEPARTMENT OF HOMELAND SECURITY; DEPARTMENT OF THE TREASURY (CONTINUED) NORTH AMERICAN FREE TRADE AGREEMENT Origin Verifications and Determinations § 181.71 Denial of preferential...

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

    Code of Federal Regulations, 2013 CFR

    2013-04-01

    ... BORDER PROTECTION, DEPARTMENT OF HOMELAND SECURITY; DEPARTMENT OF THE TREASURY (CONTINUED) NORTH AMERICAN FREE TRADE AGREEMENT Origin Verifications and Determinations § 181.71 Denial of preferential...

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

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

  7. A new look at OEM (original equipment manufacturer) service agreements.

    PubMed

    Gregory, S; David, G

    1995-01-01

    Next to personnel services, equipment maintenance is the second largest budgetary expense in large radiology departments. Because they are under constant pressure to contain costs, radiology administrators spend considerable time negotiating the best service at the lowest cost. Today, administrators have several options for imaging equipment maintenance: equipment maintenance insurance, in-house engineering, and various arrangements with original equipment manufacturers (OEMs) and independent service organizations (ISOs). In response to increased competition, OEMs have become more price-competitive with ISOs and have expanded their service menu and equipment maintenance insurance programs. OEM service menu options include: full service, tiered pricing, labor only, planned maintenance, full service with deductible, shared maintenance and extended warranty. Any type of service arrangement can be customized according to equipment age and sophistication, redundancy, income-producing potential, criticality of downtime and the strength and depth of the service organization. Even when vendor maintenance contracts are more expensive than purchasing service on a time-and-materials basis, they allow customers to budget accurately for the service of covered equipment. The authors' institution gets the best results for the best price from a judicious mix of maintenance options. Wise customers will explore many options before choosing a service agreement.

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

    DOE PAGES

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

    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

  9. 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.... Cause: HUD's regulations permit HUD to terminate the Agreement with any mortgagee having a default and... field office rate. Effect: Termination of the Agreement precludes branch(es) of the mortgagee...

  10. 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.... Cause: HUD's regulations permit HUD to terminate the Agreement with any mortgagee having a default and... field office rate. Effect: Termination of the Agreement precludes branch(es) of the mortgagee...

  11. 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.... Cause: HUD's regulations permit HUD to terminate the Agreement with any mortgagee having a default and... default and claim rate exceeds both the national rate and 200 percent of the field office rate....

  12. 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.... Cause: HUD's regulations permit HUD to terminate the Agreement with any mortgagee having a default and... default and claim rate exceeds both the national rate and 200 percent of the field office rate....

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

    Federal Register 2010, 2011, 2012, 2013, 2014

    2010-10-04

    .... 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 and... default and claim rate exceeds both the national rate and 200 percent of the field office rate....

  14. 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... taken by HUD's Mortgagee Review Board under HUD's regulations at 24 CFR part 25. Cause: HUD's... and claim rate exceeds both the national rate and 200 percent of the field office rate....

  15. 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... taken by HUD's Mortgagee Review Board under HUD's regulations at 24 CFR part 25. Cause: HUD's... default and claim rate exceeds both the national rate and 200 percent of the field office rate....

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

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    .... United States-Chile Free Trade Agreement Origin Verifications and Determinations § 10.472 Verification in... is accurate. CBP will endeavor, at the request of the government of Chile, to conduct a verification... tariff treatment. If the government of Chile is unable to make the determination described in...

  17. 19 CFR 10.309 - Verification of documentation.

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ... 19 Customs Duties 1 2010-04-01 2010-04-01 false Verification of documentation. 10.309 Section 10.309 Customs Duties U.S. CUSTOMS AND BORDER PROTECTION, DEPARTMENT OF HOMELAND SECURITY; DEPARTMENT OF... Trade Agreement § 10.309 Verification of documentation. Any evidence of country of origin or of...

  18. What's the agreement between self-reported and biochemical verification of drug use? A look at permanent supportive housing residents.

    PubMed

    Rendon, Alexis; Livingston, Melvin; Suzuki, Sumihiro; Hill, Whitney; Walters, Scott

    2017-02-10

    Self-reported substance use is commonly used as an outcome measure in treatment research. We evaluated the validity of self-reported drug use in a sample of 334 adults with mental health problems who were residing in supportive housing programs. The primary analysis was the calculation of the positive predictive values (PPVs) of self-report compared to an oral fluid test taken at the same time. A sensitivity analysis compared the positive predictive values of two self-reported drug use histories: biological testing window (ranging between the past 96h to 30days depending on drug type) or the full past 90-day comparison window (maximum length recorded during interview). A multivariable logistic regression was used to predict discordance between self-report and the drug test for users. Self-reported drug use and oral fluid drug tests were compared to determine the positive predictive value for amphetamines/methamphetamines/PCP (47.1% agreement), cocaine (43.8% agreement), and marijuana (69.7% agreement) drug tests. Participants who misreported their drug use were more likely to be older, non-White, have no medical insurance, and not report any alcohol use. In general, amphetamine/methamphetamine/PCP and cocaine use was adequately captured by the biological test, while marijuana use was best captured by a combination of self-report and biological data. Using the full past 90day comparison window resulted in higher concordance with the oral fluid drug test, indicating that self-reported drug use in the past 90days may be a proxy for drug use within the biological testing window. Self-report has some disadvantages when used as the sole measure of drug use in this population.

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

  20. 19 CFR 10.927 - Special rule for verifications in Peru of U.S. imports 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 Special rule for verifications in Peru of U.S... TO A REDUCED RATE, ETC. United States-Peru Trade Promotion Agreement Origin Verifications and Determinations § 10.927 Special rule for verifications in Peru of U.S. imports of textile and apparel goods....

  1. 19 CFR 10.927 - Special rule for verifications in Peru of U.S. imports 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 Special rule for verifications in Peru of U.S... TO A REDUCED RATE, ETC. United States-Peru Trade Promotion Agreement Origin Verifications and Determinations § 10.927 Special rule for verifications in Peru of U.S. imports of textile and apparel goods....

  2. 19 CFR 10.927 - Special rule for verifications in Peru of U.S. imports 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 Special rule for verifications in Peru of U.S... TO A REDUCED RATE, ETC. United States-Peru Trade Promotion Agreement Origin Verifications and Determinations § 10.927 Special rule for verifications in Peru of U.S. imports of textile and apparel goods....

  3. 19 CFR 10.1027 - Special rule for verifications in Korea of U.S. imports 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 Special rule for verifications in Korea of U.S... TO A REDUCED RATE, ETC. United States-Korea Free Trade Agreement Origin Verifications and Determinations § 10.1027 Special rule for verifications in Korea of U.S. imports of textile and apparel goods....

  4. 19 CFR 10.1027 - Special rule for verifications in Korea of U.S. imports 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 Special rule for verifications in Korea of U.S... TO A REDUCED RATE, ETC. United States-Korea Free Trade Agreement Origin Verifications and Determinations § 10.1027 Special rule for verifications in Korea of U.S. imports of textile and apparel goods....

  5. 19 CFR 10.1027 - Special rule for verifications in Korea of U.S. imports 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 Special rule for verifications in Korea of U.S... TO A REDUCED RATE, ETC. United States-Korea Free Trade Agreement Origin Verifications and Determinations § 10.1027 Special rule for verifications in Korea of U.S. imports of textile and apparel goods....

  6. 19 CFR 10.471 - Special rule for verifications in Chile of U.S. imports of textile and apparel products.

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ... 19 Customs Duties 1 2010-04-01 2010-04-01 false Special rule for verifications in Chile of U.S... TO A REDUCED RATE, ETC. United States-Chile Free Trade Agreement Origin Verifications and Determinations § 10.471 Special rule for verifications in Chile of U.S. imports of textile and apparel...

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

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

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

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

    Code of Federal Regulations, 2012 CFR

    2012-04-01

    ... RATE, ETC. United States-Korea Free Trade Agreement Origin Verifications and Determinations § 10.1026... the territory of Korea, to review the records of the type referred to in § 10.1009(c)(1) of...

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

    Code of Federal Regulations, 2014 CFR

    2014-04-01

    ... RATE, ETC. United States-Korea Free Trade Agreement Origin Verifications and Determinations § 10.1026... the territory of Korea, to review the records of the type referred to in § 10.1009(c)(1) of...

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

    Code of Federal Regulations, 2013 CFR

    2013-04-01

    ... RATE, ETC. United States-Korea Free Trade Agreement Origin Verifications and Determinations § 10.1026... the territory of Korea, to review the records of the type referred to in § 10.1009(c)(1) of...

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

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

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

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

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

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ... 19 Customs Duties 1 2010-04-01 2010-04-01 false Issuance of negative origin determinations. 10.825... Free Trade Agreement Origin Verifications and Determinations § 10.825 Issuance of negative origin... together with the identifying numbers and dates of the export and import documents pertaining to the...

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

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ... 19 Customs Duties 1 2010-04-01 2010-04-01 false Issuance of negative origin determinations. 10.551...-Singapore Free Trade Agreement Origin Verifications and Determinations § 10.551 Issuance of negative origin... the identifying numbers and dates of the import documents pertaining to the good; (b) A...

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

    ... Proclamation 6641 of December 15, 1993, implemented the North American Free Trade Agreement (NAFTA) with... (the ``NAFTA Act'') (Public Law 103-182, 107 Stat. 2057), incorporated in the HTS the schedule of duty reductions and rules of origin necessary or appropriate to carry out the NAFTA. 13. Section 202 of the...

  20. 19 CFR 181.75 - Issuance of origin determination.

    Code of Federal Regulations, 2012 CFR

    2012-04-01

    ... 19 Customs Duties 2 2012-04-01 2012-04-01 false Issuance of origin determination. 181.75 Section 181.75 Customs Duties U.S. CUSTOMS AND BORDER PROTECTION, DEPARTMENT OF HOMELAND SECURITY; DEPARTMENT OF THE TREASURY (CONTINUED) NORTH AMERICAN FREE TRADE AGREEMENT Origin Verifications...

  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 181.75 Customs Duties U.S. CUSTOMS AND BORDER PROTECTION, DEPARTMENT OF HOMELAND SECURITY; DEPARTMENT OF THE TREASURY (CONTINUED) NORTH AMERICAN FREE TRADE AGREEMENT Origin Verifications...

  2. 19 CFR 181.75 - Issuance of origin determination.

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ... 19 Customs Duties 2 2010-04-01 2010-04-01 false Issuance of origin determination. 181.75 Section 181.75 Customs Duties U.S. CUSTOMS AND BORDER PROTECTION, DEPARTMENT OF HOMELAND SECURITY; DEPARTMENT OF THE TREASURY (CONTINUED) NORTH AMERICAN FREE TRADE AGREEMENT Origin Verifications...

  3. 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 181.75 Customs Duties U.S. CUSTOMS AND BORDER PROTECTION, DEPARTMENT OF HOMELAND SECURITY; DEPARTMENT OF THE TREASURY (CONTINUED) NORTH AMERICAN FREE TRADE AGREEMENT Origin Verifications...

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

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

  6. RESRAD-BUILD verification.

    SciTech Connect

    Kamboj, S.; Yu, C.; Biwer, B. M.; Klett, T.

    2002-01-31

    The results generated by the RESRAD-BUILD code (version 3.0) were verified with hand or spreadsheet calculations using equations given in the RESRAD-BUILD manual for different pathways. For verification purposes, different radionuclides--H-3, C-14, Na-22, Al-26, Cl-36, Mn-54, Co-60, Au-195, Ra-226, Ra-228, Th-228, and U-238--were chosen to test all pathways and models. Tritium, Ra-226, and Th-228 were chosen because of the special tritium and radon models in the RESRAD-BUILD code. Other radionuclides were selected to represent a spectrum of radiation types and energies. Verification of the RESRAD-BUILD code was conducted with an initial check of all the input parameters for correctness against their original source documents. Verification of the calculations was performed external to the RESRAD-BUILD code with Microsoft{reg_sign} Excel to verify all the major portions of the code. In some cases, RESRAD-BUILD results were compared with those of external codes, such as MCNP (Monte Carlo N-particle) and RESRAD. The verification was conducted on a step-by-step basis and used different test cases as templates. The following types of calculations were investigated: (1) source injection rate, (2) air concentration in the room, (3) air particulate deposition, (4) radon pathway model, (5) tritium model for volume source, (6) external exposure model, (7) different pathway doses, and (8) time dependence of dose. Some minor errors were identified in version 3.0; these errors have been corrected in later versions of the code. Some possible improvements in the code were also identified.

  7. Verification Games: Crowd-Sourced Formal Verification

    DTIC Science & Technology

    2016-03-01

    Formal Verification the verification tools developed by the Programming Languages and Software Engineering group were improved. A series of games...were developed by the Center for Game Science: Pipe Jam, Traffic Jam, Flow Jam and Paradox. Verification tools and games were integrated to verify...N/A i Contents List of Figures 1. SUMMARY .............................................................................................. 1 2

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

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

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

  11. Shift Verification and Validation

    SciTech Connect

    Pandya, Tara M.; Evans, Thomas M.; Davidson, Gregory G; Johnson, Seth R.; Godfrey, Andrew T.

    2016-09-07

    This documentation outlines the verification and validation of Shift for the Consortium for Advanced Simulation of Light Water Reactors (CASL). Five main types of problems were used for validation: small criticality benchmark problems; full-core reactor benchmarks for light water reactors; fixed-source coupled neutron-photon dosimetry benchmarks; depletion/burnup benchmarks; and full-core reactor performance benchmarks. We compared Shift results to measured data and other simulated Monte Carlo radiation transport code results, and found very good agreement in a variety of comparison measures. These include prediction of critical eigenvalue, radial and axial pin power distributions, rod worth, leakage spectra, and nuclide inventories over a burn cycle. Based on this validation of Shift, we are confident in Shift to provide reference results for CASL benchmarking.

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

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

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

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

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

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

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

  19. 7 CFR 1260.550 - Verification of information.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... SERVICE (MARKETING AGREEMENTS AND ORDERS; MISCELLANEOUS COMMODITIES), DEPARTMENT OF AGRICULTURE BEEF PROMOTION AND RESEARCH Beef Promotion and Research: Certification and Nomination Procedures for the Cattlemen's Beef Promotion and Research Board § 1260.550 Verification of information. The Secretary...

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

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

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

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

  4. Cold fusion verification

    NASA Astrophysics Data System (ADS)

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

    1991-03-01

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

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

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

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

  8. Cleaning and Cleanliness Verification Techniques for Mars Returned Sample Handling

    NASA Technical Reports Server (NTRS)

    Mickelson, E. T.; Lindstrom, D. J.; Allton, J. H.; Hittle, J. D.

    2002-01-01

    Precision cleaning and cleanliness verification techniques are examined as a subset of a comprehensive contamination control strategy for a Mars sample return mission. Additional information is contained in the original extended abstract.

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

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

  11. Successful associateship agreements.

    PubMed

    Crafton, B C

    1997-08-01

    When evaluating potential associateship agreements, dentists need to recognize and understand how status, noncompete clauses, scheduling and compensation affect the strength of an associateship agreement. Dentists should not enter an associateship agreement without fully understanding the agreement and its obligations or without the help of an accountant and an attorney.

  12. INF verification: a guide for the perplexed

    SciTech Connect

    Mendelsohn, J.

    1987-09-01

    The administration has dug itself some deep holes on the verification issue. It will have to conclude an arms control treaty without having resolved earlier (but highly questionable) compliance issues on which it has placed great emphasis. It will probably have to abandon its more sweeping (and unnecessary) on-site inspection (OSI) proposals because of adverse security and political implications for the United States and its allies. And, finally, it will probably have to present to the Congress an INF treaty that will provide for a considerably less-stringent (but nonetheless adequate) verification regime that it had originally demanded. It is difficult to dispel the impression that, when the likelihood of concluding an INF treaty seemed remote, the administration indulged its penchant for intrusive and non-negotiable verification measures. As the possibility of, and eagerness for, a treaty increased, and as the Soviet Union shifted its policy from one of the resistance to OSI to one of indicating that on-site verification involved reciprocal obligations, the administration was forced to scale back its OSI rhetoric. This re-evaluation of OSI by the administration does not make the INF treaty any less verifiable; from the outset the Reagan administration was asking for a far more extensive verification package than was necessary, practicable, acceptable, or negotiable.

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

    NASA Astrophysics Data System (ADS)

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

    2010-01-01

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

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

  15. Component testing for dynamic model verification

    NASA Technical Reports Server (NTRS)

    Hasselman, T. K.; Chrostowski, J. D.

    1984-01-01

    Dynamic model verification is the process whereby an analytical model of a dynamic system is compared with experimental data, adjusted if necessary to bring it into agreement with the data, and then qualified for future use in predicting system response in a different dynamic environment. These are various ways to conduct model verification. The approach taken here employs Bayesian statistical parameter estimation. Unlike curve fitting, whose objective is to minimize the difference between some analytical function and a given quantity of test data (or curve), Bayesian estimation attempts also to minimize the difference between the parameter values of that funciton (the model) and their initial estimates, in a least squares sense. The objectives of dynamic model verification, therefore, are to produce a model which: (1) is in agreement with test data; (2) will assist in the interpretation of test data; (3) can be used to help verify a design; (4) will reliably predict performance; and (5) in the case of space structures, will facilitate dynamic control.

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

  18. Voice verification upgrade

    NASA Astrophysics Data System (ADS)

    Davis, R. L.; Sinnamon, J. T.; Cox, D. L.

    1982-06-01

    This contractor has two major objectives. The first was to build, test, and deliver to the government an entry control system using speaker verification (voice authentication) as the mechanism for verifying the user's claimed identity. This system included a physical mantrap, with an integral weight scale to prevent more than one user from gaining access with one verification (tailgating). The speaker verification part of the entry control system contained all the updates and embellishments to the algorithm that was developed earlier for the BISS (Base and Installation Security System) system under contract with the Electronic Systems Division of the USAF. These updates were tested prior to and during the contract on an operational system used at Texas Instruments in Dallas, Texas, for controlling entry to the Corporate Information Center (CIC).

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

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

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

  2. General Environmental Verification Specification

    NASA Technical Reports Server (NTRS)

    Milne, J. Scott, Jr.; Kaufman, Daniel S.

    2003-01-01

    The NASA Goddard Space Flight Center s General Environmental Verification Specification (GEVS) for STS and ELV Payloads, Subsystems, and Components is currently being revised based on lessons learned from GSFC engineering and flight assurance. The GEVS has been used by Goddard flight projects for the past 17 years as a baseline from which to tailor their environmental test programs. A summary of the requirements and updates are presented along with the rationale behind the changes. The major test areas covered by the GEVS include mechanical, thermal, and EMC, as well as more general requirements for planning, tracking of the verification programs.

  3. Voice Verification Upgrade.

    DTIC Science & Technology

    1982-06-01

    to develop speaker verification techniques for use over degraded commun- ication channels -- specifically telephone lines. A test of BISS type speaker...verification technology was performed on a degraded channel and compensation techniques were then developed . The fifth program [103 (Total Voice SV...UPGAW. *mbit aL DuI~sel Jme T. SImmoon e~d David L. Cox AAWVLP FIR MIEW RMAS Utgl~rIMIW At" DT11C AU9 231f CD, _ ROME AIR DEVELOPMENT CENTER Air

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

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

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

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

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

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

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

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

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

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

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

  15. Alternate Boost Vehicle (ABV) Verification Tests. Environmental Assessment

    DTIC Science & Technology

    2007-11-02

    stickleback, or the threatened California red-legged frog. Although the noise level for the ABV is expected to be within the range, or less, of...are anticipated. ABV launches would be performed under existing agreements between Vandenberg AFB and park/beach authorities. The California ...CLASSIFICATION OF THIS PAGE UNCLASSIFIED EXECUTIVE SUMMARY ABV Verification Tests EA es-1 EXECUTIVE SUMMARY Introduction

  16. 7 CFR 983.68 - 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. 983.68 Section 983.68 Agriculture Regulations of the Department of Agriculture (Continued) AGRICULTURAL MARKETING SERVICE (Marketing Agreements and Orders; Fruits, Vegetables, Nuts), DEPARTMENT OF AGRICULTURE PISTACHIOS GROWN IN...

  17. 7 CFR 983.68 - Verification of reports.

    Code of Federal Regulations, 2011 CFR

    2011-01-01

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

  18. Mining agreements III

    SciTech Connect

    Not Available

    1991-01-01

    This book cover the following: Forms of mining agreements; Preliminary letter agreements; Acquisition of mineral interests involving securities; Partnership tax treatment in mining agreements; Non-tax consequences of partnerships under state law; Protection against joint venturers' liabilities; Joint venture decision making; Mining royalties; Commingling and unitization provisions; Indemnification and insurance provisions; Area of interest provision; Dispute resolution; and Non-participation and default provisions.

  19. Computer Graphics Verification

    NASA Technical Reports Server (NTRS)

    1992-01-01

    Video processing creates technical animation sequences using studio quality equipment to realistically represent fluid flow over space shuttle surfaces, helicopter rotors, and turbine blades.Computer systems Co-op, Tim Weatherford, performing computer graphics verification. Part of Co-op brochure.

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

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

  2. Exomars Mission Verification Approach

    NASA Astrophysics Data System (ADS)

    Cassi, Carlo; Gilardi, Franco; Bethge, Boris

    According to the long-term cooperation plan established by ESA and NASA in June 2009, the ExoMars project now consists of two missions: A first mission will be launched in 2016 under ESA lead, with the objectives to demonstrate the European capability to safely land a surface package on Mars, to perform Mars Atmosphere investigation, and to provide communi-cation capability for present and future ESA/NASA missions. For this mission ESA provides a spacecraft-composite, made up of an "Entry Descent & Landing Demonstrator Module (EDM)" and a Mars Orbiter Module (OM), NASA provides the Launch Vehicle and the scientific in-struments located on the Orbiter for Mars atmosphere characterisation. A second mission with it launch foreseen in 2018 is lead by NASA, who provides spacecraft and launcher, the EDL system, and a rover. ESA contributes the ExoMars Rover Module (RM) to provide surface mobility. It includes a drill system allowing drilling down to 2 meter, collecting samples and to investigate them for signs of past and present life with exobiological experiments, and to investigate the Mars water/geochemical environment, In this scenario Thales Alenia Space Italia as ESA Prime industrial contractor is in charge of the design, manufacturing, integration and verification of the ESA ExoMars modules, i.e.: the Spacecraft Composite (OM + EDM) for the 2016 mission, the RM for the 2018 mission and the Rover Operations Control Centre, which will be located at Altec-Turin (Italy). The verification process of the above products is quite complex and will include some pecu-liarities with limited or no heritage in Europe. Furthermore the verification approach has to be optimised to allow full verification despite significant schedule and budget constraints. The paper presents the verification philosophy tailored for the ExoMars mission in line with the above considerations, starting from the model philosophy, showing the verification activities flow and the sharing of tests

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

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

  5. Microcode Verification Project.

    DTIC Science & Technology

    1980-05-01

    MICROCOPY RESOLUTION TEST CHART MADCTR.S042 /2>t w NI TeduIem R"pm’ 00 0 MICRQCODE VERIFICATION PROJECT Unhvrsity of Southern California Stephen D...in the production, testing , and maintenance of Air Force software. This effort was undertaken in response to that goal. The objective of the effort was...rather than hard wiring, is a recent development in computer technology. Hardware diagnostics do not fulfill testing requirements for these computers

  6. Robust verification analysis

    NASA Astrophysics Data System (ADS)

    Rider, William; Witkowski, Walt; Kamm, James R.; Wildey, Tim

    2016-02-01

    We introduce a new methodology for inferring the accuracy of computational simulations through the practice of solution verification. We demonstrate this methodology on examples from computational heat transfer, fluid dynamics and radiation transport. Our methodology is suited to both well- and ill-behaved sequences of simulations. Our approach to the analysis of these sequences of simulations incorporates expert judgment into the process directly via a flexible optimization framework, and the application of robust statistics. The expert judgment is systematically applied as constraints to the analysis, and together with the robust statistics guards against over-emphasis on anomalous analysis results. We have named our methodology Robust Verification. Our methodology is based on utilizing multiple constrained optimization problems to solve the verification model in a manner that varies the analysis' underlying assumptions. Constraints applied in the analysis can include expert judgment regarding convergence rates (bounds and expectations) as well as bounding values for physical quantities (e.g., positivity of energy or density). This approach then produces a number of error models, which are then analyzed through robust statistical techniques (median instead of mean statistics). This provides self-contained, data and expert informed error estimation including uncertainties for both the solution itself and order of convergence. Our method produces high quality results for the well-behaved cases relatively consistent with existing practice. The methodology can also produce reliable results for ill-behaved circumstances predicated on appropriate expert judgment. We demonstrate the method and compare the results with standard approaches used for both code and solution verification on well-behaved and ill-behaved simulations.

  7. Robust verification analysis

    SciTech Connect

    Rider, William; Witkowski, Walt; Kamm, James R.; Wildey, Tim

    2016-02-15

    We introduce a new methodology for inferring the accuracy of computational simulations through the practice of solution verification. We demonstrate this methodology on examples from computational heat transfer, fluid dynamics and radiation transport. Our methodology is suited to both well- and ill-behaved sequences of simulations. Our approach to the analysis of these sequences of simulations incorporates expert judgment into the process directly via a flexible optimization framework, and the application of robust statistics. The expert judgment is systematically applied as constraints to the analysis, and together with the robust statistics guards against over-emphasis on anomalous analysis results. We have named our methodology Robust Verification. Our methodology is based on utilizing multiple constrained optimization problems to solve the verification model in a manner that varies the analysis' underlying assumptions. Constraints applied in the analysis can include expert judgment regarding convergence rates (bounds and expectations) as well as bounding values for physical quantities (e.g., positivity of energy or density). This approach then produces a number of error models, which are then analyzed through robust statistical techniques (median instead of mean statistics). This provides self-contained, data and expert informed error estimation including uncertainties for both the solution itself and order of convergence. Our method produces high quality results for the well-behaved cases relatively consistent with existing practice. The methodology can also produce reliable results for ill-behaved circumstances predicated on appropriate expert judgment. We demonstrate the method and compare the results with standard approaches used for both code and solution verification on well-behaved and ill-behaved simulations.

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

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

  10. Quantum money with classical verification

    NASA Astrophysics Data System (ADS)

    Gavinsky, Dmitry

    2014-12-01

    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.

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

  12. Canadian Seismic Agreement

    SciTech Connect

    Wetmiller, R.J.; Lyons, J.A.; Shannon, W.E.; Munro, P.S.; Thomas, J.T.; Andrew, M.D.; Lapointe, S.P.; Lamontagne, M.; Wong, C.; Anglin, F.M.; Adams, J.; Cajka, M.G.; McNeil, W.; Drysdale, J.A. )

    1992-05-01

    This is a progress report of work carried out under the terms of a research agreement entitled the Canadian Seismic Agreement'' between the US Nuclear Regulatory Commission (USNRC), the Canadian Commercial Corporation and the Geophysics Division of the Geological Survey of Canada (GD/GSC) during the period from July 01, 1989 to June 30, 1990. The Canadian Seismic Agreement'' supports generally the operation of various seismograph stations in eastern Canada and the collection and analysis of earthquake data for the purpose of mitigating seismic hazards in eastern Canada and the northeastern US. The specific activities carried out in this one-year period are summarized below under four headings; Eastern Canada Telemetred Network and local network developments, Datalab developments, strong-motion network developments and earthquake activity. During this period the first surface fault unequivocably determined to have accompanied a historic earthquake in eastern North America, occurred in northern Quebec.

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

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

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ... 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 Accepted Accounting Principles applicable in the country of production....

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

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

  17. Production readiness verification testing

    NASA Technical Reports Server (NTRS)

    James, A. M.; Bohon, H. L.

    1980-01-01

    A Production Readiness Verification Testing (PRVT) program has been established to determine if structures fabricated from advanced composites can be committed on a production basis to commercial airline service. The program utilizes subcomponents which reflect the variabilities in structure that can realistically be expected from current production and quality control technology to estimate the production qualities, variation in static strength, and durability of advanced composite structures. The results of the static tests and a durability assessment after one year of continuous load/environment testing of twenty two duplicates of each of two structural components (a segment of the front spar and cover of a vertical stabilizer box structure) are discussed.

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

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

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

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

  3. TFE Verification Program

    SciTech Connect

    Not Available

    1993-05-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 (thermionic fuel element) suitable for use as the basic element in a thermionic reactor with electric power output in the 0.5 to 5.0 MW(e) range, and a full-power life of 7 years. The TFE Verification Program builds directly on the technology and data base developed in the 1960s and early 1970s in an AEC/NASA program, and in the SP-100 program conducted in 1983, 1984 and 1985. In the SP-100 program, the attractive features of thermionic power conversion technology were recognized but concern was expressed over the lack of fast reactor irradiation data. The TFE Verification Program addresses this concern.

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

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

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

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

  8. Model Implementation Agreement

    EPA Pesticide Factsheets

    This document may be of assistance in applying the Title V air operating permit regulations. This document is part of the Title V Policy and Guidance Database available at www2.epa.gov/title-v-operating-permits/title-v-operating-permit-policy-and-guidance-document-index. Some documents in the database are a scanned or retyped version of a paper photocopy of the original. Although we have taken considerable effort to quality assure the documents, some may contain typographical errors. Contact the office that issued the document if you need a copy of the original.

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

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

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

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

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

  14. Verification, Validation and Sensitivity Studies in Computational Biomechanics

    PubMed Central

    Anderson, Andrew E.; Ellis, Benjamin J.; Weiss, Jeffrey A.

    2012-01-01

    Computational techniques and software for the analysis of problems in mechanics have naturally moved from their origins in the traditional engineering disciplines to the study of cell, tissue and organ biomechanics. Increasingly complex models have been developed to describe and predict the mechanical behavior of such biological systems. While the availability of advanced computational tools has led to exciting research advances in the field, the utility of these models is often the subject of criticism due to inadequate model verification and validation. The objective of this review is to present the concepts of verification, validation and sensitivity studies with regard to the construction, analysis and interpretation of models in computational biomechanics. Specific examples from the field are discussed. It is hoped that this review will serve as a guide to the use of verification and validation principles in the field of computational biomechanics, thereby improving the peer acceptance of studies that use computational modeling techniques. PMID:17558646

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

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

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

  18. Boundary layer integral matrix procedure code modifications and verifications

    NASA Technical Reports Server (NTRS)

    Evans, R. M.; Morse, H. L.

    1974-01-01

    A summary of modifications to Aerotherm's Boundary Layer Integral Matrix Procedure (BLIMP) code is presented. These modifications represent a preliminary effort to make BLIMP compatible with other JANNAF codes and to adjust the code for specific application to rocket nozzle flows. Results of the initial verification of the code for prediction of rocket nozzle type flows are discussed. For those cases in which measured free stream flow conditions were used as input to the code, the boundary layer predictions and measurements are in excellent agreement. In two cases, with free stream flow conditions calculated by another JANNAF code (TDK) for use as input to BLIMP, the predictions and the data were in fair agreement for one case and in poor agreement for the other case. The poor agreement is believed to result from failure of the turbulent model in BLIMP to account for laminarization of a turbulent flow. Recommendations for further code modifications and improvements are also presented.

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

  20. Woodward Effect Experimental Verifications

    NASA Astrophysics Data System (ADS)

    March, Paul

    2004-02-01

    The work of J. F. Woodward (1990 1996a; 1996b; 1998; 2002a; 2002b; 2004) on the existence of ``mass fluctuations'' and their use in exotic propulsion schemes was examined for possible application in improving space flight propulsion and power generation. Woodward examined Einstein's General Relativity Theory (GRT) and assumed that if the strong Machian interpretation of GRT as well as gravitational / inertia like Wheeler-Feynman radiation reaction forces hold, then when an elementary particle is accelerated through a potential gradient, its rest mass should fluctuate around its mean value during its acceleration. Woodward also used GRT to clarify the precise experimental conditions necessary for observing and exploiting these mass fluctuations or ``Woodward effect'' (W-E). Later, in collaboration with his ex-graduate student T. Mahood, they also pushed the experimental verification boundaries of these proposals. If these purported mass fluctuations occur as Woodward claims, and his assumption that gravity and inertia are both byproducts of the same GRT based phenomenon per Mach's Principle is correct, then many innovative applications such as propellantless propulsion and gravitational exotic matter generators may be feasible. This paper examines the reality of mass fluctuations and the feasibility of using the W-E to design propellantless propulsion devices in the near to mid-term future. The latest experimental results, utilizing MHD-like force rectification systems, will also be presented.

  1. What is the Final Verification of Engineering Requirements?

    NASA Technical Reports Server (NTRS)

    Poole, Eric

    2010-01-01

    This slide presentation reviews the process of development through the final verification of engineering requirements. The definition of the requirements is driven by basic needs, and should be reviewed by both the supplier and the customer. All involved need to agree upon a formal requirements including changes to the original requirements document. After the requirements have ben developed, the engineering team begins to design the system. The final design is reviewed by other organizations. The final operational system must satisfy the original requirements, though many verifications should be performed during the process. The verification methods that are used are test, inspection, analysis and demonstration. The plan for verification should be created once the system requirements are documented. The plan should include assurances that every requirement is formally verified, that the methods and the responsible organizations are specified, and that the plan is reviewed by all parties. The options of having the engineering team involved in all phases of the development as opposed to having some other organization continue the process once the design has been complete is discussed.

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

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

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

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

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

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

  8. Agreement and Attraction in Russian

    ERIC Educational Resources Information Center

    Lorimor, Heidi; Bock, Kathryn; Zalkind, Ekaterina; Sheyman, Alina; Beard, Robert

    2008-01-01

    We assessed whether and under what conditions noncanonical agreement patterns occur in Russian, with the goal of understanding the factors involved in normal agreement. Russian is a morphosyntactically rich language in which agreement involves features for number, gender, and case. If consistent, overt specification of number and gender agreement…

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

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

  11. Identity Verification Through the Fusion of Face and Speaker Recognition

    DTIC Science & Technology

    1993-12-01

    the original signal into a linear combination of basis functions, which are obtained from simple dilations and translations of a " mother " wavelet (for...learning experience, as well as a pleasurable one. I also wish to thank " Mother " Dan Zambon for his unceasing efforts in keeping the computer systems...is examined for suitability in the verification task. The base face recognition system used the KLT for feature reduction and a back- propagation

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

  13. Technical challenges for dismantlement verification

    SciTech Connect

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

    1997-11-01

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

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

  15. Verification of the SPEC code in stellarator geometries

    NASA Astrophysics Data System (ADS)

    Loizu, J.; Hudson, S. R.; Nührenberg, C.

    2016-11-01

    We present the first calculations performed with the Stepped-Pressure Equilibrium Code (SPEC) in stellarator geometry. Provided a boundary magnetic surface, stellarator vacuum fields with islands are computed and verified to machine precision, for both a classical l = 2 stellarator field and a Wendelstein 7-X limiter configuration of the first experimental campaign. Beyond verification, a detailed comparison of SPEC solutions to Biot-Savart solutions for the corresponding coil currents is shown. The level of agreement is quantified, and the error is shown to be dominated by the accuracy with which the boundary representation is given. Finally, partially relaxed stellarator equilibria are computed with SPEC, and verification is presented with force-balance down to machine precision.

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

  17. TFE Verification Program

    DTIC Science & Technology

    2007-11-02

    sheath insulators were heated by radio frequency (RF) induction , and in the second experiment by radiation in a Multi-Foil furnace . The heat pipe was...a fuel pellet of depleted uranium oxide. The converter designation with the U02 pellet in the converter is PC-1 (MOD). The original test strategy...and G. L. Hatch, "Design of a Planar Thermionic Converter to Measure the Effect of Diffusion of Uranium Oxide on Performance", Ninth Symposium on

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

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

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

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

  2. Cold Fusion Verification.

    DTIC Science & Technology

    1991-03-01

    published work, talking with others in the field, and attending conferences, that CNF probably is chimera and will go the way of N-rays and polywater ...way of N-rays and polywater . To date, no one, including Pons and Fleischmann, has been able to construct a so-called CNF electrochemical cell that...Cold Nuclear Fusion (CNF), as originally reported in 1989. The conclusion is that CNF probably is chimera and will go the way of N-rays and polywater

  3. Automated verification system user's guide

    NASA Technical Reports Server (NTRS)

    Hoffman, R. H.

    1972-01-01

    Descriptions of the operational requirements for all of the programs of the Automated Verification System (AVS) are provided. The AVS programs are: (1) FORTRAN code analysis and instrumentation program (QAMOD); (2) Test Effectiveness Evaluation Program (QAPROC); (3) Transfer Control Variable Tracking Program (QATRAK); (4) Program Anatomy Table Generator (TABGEN); and (5) Network Path Analysis Program (RAMBLE).

  4. Verification Challenges at Low Numbers

    SciTech Connect

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

    2013-07-16

    This paper will explore the difficulties of deep reductions by examining the technical verification challenges. 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 (Pifer 2010). Further reductions will include stepping stones at 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 lab complex, and will look at technologies utilized in other areas of industry for their application to arms control verification.

  5. SU-E-T-442: Geometric Calibration and Verification of a GammaPod Breast SBRT System

    SciTech Connect

    Yu, C; Niu, Y; Maton, P; Hoban, P; Mutaf, Y

    2015-06-15

    Purpose: The first GammaPod™ unit for prone stereotactic treatment of early stage breast cancer has recently been installed and calibrated. Thirty-six rotating circular Co-60 beams focus dose at an isocenter that traverses throughout a breast target via continuous motion of the treatment table. The breast is immobilized and localized using a vacuum-assisted stereotactic cup system that is fixed to the table during treatment. Here we report on system calibration and on verification of geometric and dosimetric accuracy. Methods: Spatial calibration involves setting the origin of each table translational axis within the treatment control system such that the relationship between beam isocenter and table geometry is consistent with that assumed by the treatment planning system. A polyethylene QA breast phantom inserted into an aperture in the patient couch is used for calibration and verification. The comparison is performed via fiducial-based registration of measured single-isocenter dose profiles (radiochromic film) with kernel dose profiles. With the table calibrations applied, measured relative dose distributions were compared with TPS calculations for single-isocenter and dynamic (many-isocenter) treatment plans. Further, table motion accuracy and linearity was tested via comparison of planned control points with independent encoder readouts. Results: After table calibration, comparison of measured and calculated single-isocenter dose profiles show agreement to within 0.5 mm for each axis. Gamma analysis of measured vs calculated profiles with 3%/2mm criteria yields a passing rate of >99% and >98% for single-isocenter and dynamic plans respectively. This also validates the relative dose distributions produced by the TPS. Measured table motion accuracy was within 0.05 mm for all translational axes. Conclusion: GammaPod table coordinate calibration is a straightforward process that yields very good agreement between planned and measured relative dose distributions

  6. Agreements at the Pharmaceutical/University Interface.

    ERIC Educational Resources Information Center

    Ku, Katherine

    1987-01-01

    Specific agreements that arise at the interface between universities and pharmaceutical companies are described including sponsored research agreements, license agreements, clinical study agreements, material transfer agreements, and patient consent forms with respect to commercialization rights. (Author/MLW)

  7. International Grants and Cooperative Agreements

    EPA Pesticide Factsheets

    EPA provides grants and enters into cooperative agreements that support protecting human health and the environment while advancing U.S. national interests through international environmental collaboration.

  8. Experience and grammatical agreement: statistical learning shapes number agreement production.

    PubMed

    Haskell, Todd R; Thornton, Robert; Macdonald, Maryellen C

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

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

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

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

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

  13. EURATOM safeguards efforts in the development of spent fuel verification methods by non-destructive assay

    SciTech Connect

    Matloch, L.; Vaccaro, S.; Couland, M.; De Baere, P.; Schwalbach, P.

    2015-07-01

    The back end of the nuclear fuel cycle continues to develop. The European Commission, particularly the Nuclear Safeguards Directorate of the Directorate General for Energy, implements Euratom safeguards and needs to adapt to this situation. The verification methods for spent nuclear fuel, which EURATOM inspectors can use, require continuous improvement. Whereas the Euratom on-site laboratories provide accurate verification results for fuel undergoing reprocessing, the situation is different for spent fuel which is destined for final storage. In particular, new needs arise from the increasing number of cask loadings for interim dry storage and the advanced plans for the construction of encapsulation plants and geological repositories. Various scenarios present verification challenges. In this context, EURATOM Safeguards, often in cooperation with other stakeholders, is committed to further improvement of NDA methods for spent fuel verification. In this effort EURATOM plays various roles, ranging from definition of inspection needs to direct participation in development of measurement systems, including support of research in the framework of international agreements and via the EC Support Program to the IAEA. This paper presents recent progress in selected NDA methods. These methods have been conceived to satisfy different spent fuel verification needs, ranging from attribute testing to pin-level partial defect verification. (authors)

  14. The Sedov Blast Wave as a Radial Piston Verification Test

    DOE PAGES

    Pederson, Clark; Brown, Bart; Morgan, Nathaniel

    2016-06-22

    The Sedov blast wave is of great utility as a verification problem for hydrodynamic methods. The typical implementation uses an energized cell of finite dimensions to represent the energy point source. We avoid this approximation by directly finding the effects of the energy source as a boundary condition (BC). Furthermore, the proposed method transforms the Sedov problem into an outward moving radial piston problem with a time-varying velocity. A portion of the mesh adjacent to the origin is removed and the boundaries of this hole are forced with the velocities from the Sedov solution. This verification test is implemented onmore » two types of meshes, and convergence is shown. Our results from the typical initial condition (IC) method and the new BC method are compared.« less

  15. The Sedov Blast Wave as a Radial Piston Verification Test

    SciTech Connect

    Pederson, Clark; Brown, Bart; Morgan, Nathaniel

    2016-06-22

    The Sedov blast wave is of great utility as a verification problem for hydrodynamic methods. The typical implementation uses an energized cell of finite dimensions to represent the energy point source. We avoid this approximation by directly finding the effects of the energy source as a boundary condition (BC). Furthermore, the proposed method transforms the Sedov problem into an outward moving radial piston problem with a time-varying velocity. A portion of the mesh adjacent to the origin is removed and the boundaries of this hole are forced with the velocities from the Sedov solution. This verification test is implemented on two types of meshes, and convergence is shown. Our results from the typical initial condition (IC) method and the new BC method are compared.

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

  17. Verification, validation and sensitivity studies in computational biomechanics.

    PubMed

    Anderson, Andrew E; Ellis, Benjamin J; Weiss, Jeffrey A

    2007-06-01

    Computational techniques and software for the analysis of problems in mechanics have naturally moved from their origins in the traditional engineering disciplines to the study of cell, tissue and organ biomechanics. Increasingly complex models have been developed to describe and predict the mechanical behavior of such biological systems. While the availability of advanced computational tools has led to exciting research advances in the field, the utility of these models is often the subject of criticism due to inadequate model verification and validation (V&V). The objective of this review is to present the concepts of verification, validation and sensitivity studies with regard to the construction, analysis and interpretation of models in computational biomechanics. Specific examples from the field are discussed. It is hoped that this review will serve as a guide to the use of V&V principles in the field of computational biomechanics, thereby improving the peer acceptance of studies that use computational modeling techniques.

  18. Verification of RESRAD-build computer code, version 3.1.

    SciTech Connect

    2003-06-02

    RESRAD-BUILD is a computer model for analyzing the radiological doses resulting from the remediation and occupancy of buildings contaminated with radioactive material. It is part of a family of codes that includes RESRAD, RESRAD-CHEM, RESRAD-RECYCLE, RESRAD-BASELINE, and RESRAD-ECORISK. The RESRAD-BUILD models were developed and codified by Argonne National Laboratory (ANL); version 1.5 of the code and the user's manual were publicly released in 1994. The original version of the code was written for the Microsoft DOS operating system. However, subsequent versions of the code were written for the Microsoft Windows operating system. The purpose of the present verification task (which includes validation as defined in the standard) is to provide an independent review of the latest version of RESRAD-BUILD under the guidance provided by ANSI/ANS-10.4 for verification and validation of existing computer programs. This approach consists of a posteriori V&V review which takes advantage of available program development products as well as user experience. The purpose, as specified in ANSI/ANS-10.4, is to determine whether the program produces valid responses when used to analyze problems within a specific domain of applications, and to document the level of verification. The culmination of these efforts is the production of this formal Verification Report. The first step in performing the verification of an existing program was the preparation of a Verification Review Plan. The review plan consisted of identifying: Reason(s) why a posteriori verification is to be performed; Scope and objectives for the level of verification selected; Development products to be used for the review; Availability and use of user experience; and Actions to be taken to supplement missing or unavailable development products. The purpose, scope and objectives for the level of verification selected are described in this section of the Verification Report. The development products that were used for

  19. Validation (not just verification) of Deep Space Missions

    NASA Technical Reports Server (NTRS)

    Duren, Riley M.

    2006-01-01

    ion & Validation (V&V) is a widely recognized and critical systems engineering function. However, the often used definition 'Verification proves the design is right; validation proves it is the right design' is rather vague. And while Verification is a reasonably well standardized systems engineering process, Validation is a far more abstract concept and the rigor and scope applied to it varies widely between organizations and individuals. This is reflected in the findings in recent Mishap Reports for several NASA missions, in which shortfalls in Validation (not just Verification) were cited as root- or contributing-factors in catastrophic mission loss. Furthermore, although there is strong agreement in the community that Test is the preferred method for V&V, many people equate 'V&V' with 'Test', such that Analysis and Modeling aren't given comparable attention. Another strong motivator is a realization that the rapid growth in complexity of deep-space missions (particularly Planetary Landers and Space Observatories given their inherent unknowns) is placing greater demands on systems engineers to 'get it right' with Validation.

  20. Wavelet Features Based Fingerprint Verification

    NASA Astrophysics Data System (ADS)

    Bagadi, Shweta U.; Thalange, Asha V.; Jain, Giridhar P.

    2010-11-01

    In this work; we present a automatic fingerprint identification system based on Level 3 features. Systems based only on minutiae features do not perform well for poor quality images. In practice, we often encounter extremely dry, wet fingerprint images with cuts, warts, etc. Due to such fingerprints, minutiae based systems show poor performance for real time authentication applications. To alleviate the problem of poor quality fingerprints, and to improve overall performance of the system, this paper proposes fingerprint verification based on wavelet statistical features & co-occurrence matrix features. The features include mean, standard deviation, energy, entropy, contrast, local homogeneity, cluster shade, cluster prominence, Information measure of correlation. In this method, matching can be done between the input image and the stored template without exhaustive search using the extracted feature. The wavelet transform based approach is better than the existing minutiae based method and it takes less response time and hence suitable for on-line verification, with high accuracy.

  1. NEXT Thruster Component Verification Testing

    NASA Technical Reports Server (NTRS)

    Pinero, Luis R.; Sovey, James S.

    2007-01-01

    Component testing is a critical part of thruster life validation activities under NASA s Evolutionary Xenon Thruster (NEXT) project testing. The high voltage propellant isolators were selected for design verification testing. Even though they are based on a heritage design, design changes were made because the isolators will be operated under different environmental conditions including temperature, voltage, and pressure. The life test of two NEXT isolators was therefore initiated and has accumulated more than 10,000 hr of operation. Measurements to date indicate only a negligibly small increase in leakage current. The cathode heaters were also selected for verification testing. The technology to fabricate these heaters, developed for the International Space Station plasma contactor hollow cathode assembly, was transferred to Aerojet for the fabrication of the NEXT prototype model ion thrusters. Testing the contractor-fabricated heaters is necessary to validate fabrication processes for high reliability heaters. This paper documents the status of the propellant isolator and cathode heater tests.

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

  3. Crowd-Sourced Program Verification

    DTIC Science & Technology

    2012-12-01

    S / ROBERT L. KAMINSKI WARREN H. DEBANY, JR. Work Unit Manager Technical Advisor, Information Exploitation & Operations...Arlington, VA 22202-4302, and to the Office of Management and Budget, Paperwork Reduction Project (0704-0188) Washington, DC 20503. PLEASE DO NOT RETURN...investigation, the contractor constructed a prototype of a crowd-sourced verification system that takes as input a given program and produces as output a

  4. Structural System Identification Technology Verification

    DTIC Science & Technology

    1981-11-01

    USAAVRADCOM-TR-81-D-28Q V󈧄 ADA1091 81 LEI STRUCTURAL SYSTEM IDENTIFICATION TECHNOLOGY VERIFICATION \\ N. Giansante, A. Berman, W. o. Flannelly, E...release; distribution unlimited. Prepared for APPLIED TECHNOLOGY LABORATORY U. S. ARMY RESEARCH AND TECHNOLOGY LABORATORIES (AVRADCOM) S Fort Eustis...Va. 23604 4-J" APPLI ED TECHNOLOGY LABORATORY POSITION STATEMENT The Applied Technology Laboratory has been involved in the development of the Struc

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

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

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

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

  9. Earthquake Forecasting, Validation and Verification

    NASA Astrophysics Data System (ADS)

    Rundle, J.; Holliday, J.; Turcotte, D.; Donnellan, A.; Tiampo, K.; Klein, B.

    2009-05-01

    Techniques for earthquake forecasting are in development using both seismicity data mining methods, as well as numerical simulations. The former rely on the development of methods to recognize patterns in data, while the latter rely on the use of dynamical models that attempt to faithfully replicate the actual fault systems. Testing such forecasts is necessary not only to determine forecast quality, but also to improve forecasts. A large number of techniques to validate and verify forecasts have been developed for weather and financial applications. Many of these have been elaborated in public locations, including, for example, the URL as listed below. Typically, the goal is to test for forecast resolution, reliability and sharpness. A good forecast is characterized by consistency, quality and value. Most, if not all of these forecast verification procedures can be readily applied to earthquake forecasts as well. In this talk, we discuss both methods of forecasting, as well as validation and verification using a number of these standard methods. We show how these test methods might be useful for both fault-based forecasting, a group of forecast methods that includes the WGCEP and simulator-based renewal models, and grid-based forecasting, which includes the Relative Intensity, Pattern Informatics, and smoothed seismicity methods. We find that applying these standard methods of forecast verification is straightforward. Judgments about the quality of a given forecast method can often depend on the test applied, as well as on the preconceptions and biases of the persons conducting the tests.

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

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

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

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

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

  15. Light dose verification for pleural PDT.

    PubMed

    Sandell, Julia L; Liang, Xing; Zhu, Timothy

    2012-02-13

    The ability to deliver uniform light dose in Photodynamic therapy (PDT) is critical to treatment efficacy. Current protocol in pleural photodynamic therapy uses 7 isotropic detectors placed at discrete locations within the pleural cavity to monitor light dose throughout treatment. While effort is made to place the detectors uniformly through the cavity, measurements do not provide an overall uniform measurement of delivered dose. A real-time infrared (IR) tracking camera is development to better deliver and monitor a more uniform light distribution during treatment. It has been shown previously that there is good agreement between fluence calculated using IR tracking data and isotropic detector measurements for direct light phantom experiments. This study presents the results of an extensive phantom study which uses variable, patient-like geometries and optical properties (both absorption and scattering). Position data of the treatment is collected from the IR navigation system while concurrently light distribution measurements are made using the aforementioned isotropic detectors. These measurements are compared to fluence calculations made using data from the IR navigation system to verify our light distribution theory is correct and applicable in patient-like settings. The verification of this treatment planning technique is an important step in bringing real-time fluence monitoring into the clinic for more effective treatment.

  16. Fully automated 2D-3D registration and verification.

    PubMed

    Varnavas, Andreas; Carrell, Tom; Penney, Graeme

    2015-12-01

    Clinical application of 2D-3D registration technology often requires a significant amount of human interaction during initialisation and result verification. This is one of the main barriers to more widespread clinical use of this technology. We propose novel techniques for automated initial pose estimation of the 3D data and verification of the registration result, and show how these techniques can be combined to enable fully automated 2D-3D registration, particularly in the case of a vertebra based system. The initialisation method is based on preoperative computation of 2D templates over a wide range of 3D poses. These templates are used to apply the Generalised Hough Transform to the intraoperative 2D image and the sought 3D pose is selected with the combined use of the generated accumulator arrays and a Gradient Difference Similarity Measure. On the verification side, two algorithms are proposed: one using normalised features based on the similarity value and the other based on the pose agreement between multiple vertebra based registrations. The proposed methods are employed here for CT to fluoroscopy registration and are trained and tested with data from 31 clinical procedures with 417 low dose, i.e. low quality, high noise interventional fluoroscopy images. When similarity value based verification is used, the fully automated system achieves a 95.73% correct registration rate, whereas a no registration result is produced for the remaining 4.27% of cases (i.e. incorrect registration rate is 0%). The system also automatically detects input images outside its operating range.

  17. Leaf sequencing and dosimetric verification in intensity-modulated radiotherapy

    NASA Astrophysics Data System (ADS)

    Agazaryan, Nzhde

    Although sophisticated means to calculate and deliver intensity modulated radiotherapy (IMRT) have been developed by many groups, methods to verify the delivery, as well as definitions of acceptability of a treatment in terms of these measurements are the most problematic at this stage of advancement of IMRT. Present intensity modulated radiotherapy systems fail to account for many dosimetric characteristics of the delivery system. In this dissertation, a dosimetrically based leaf sequencing algorithm is developed and implemented for multileaf collimated intensity modulated radiotherapy. The dosimetric considerations are investigated and are shown to significantly improve the outcome in terms of an agreement between desired and delivered radiation dose distributions. Subsequently, a system for determining the desirability of a produced intensity modulated radiotherapy plan in terms of deliverability of calculated profiles with the use of a multileaf collimator is developed. Three deliverability scoring indices are defined to evaluate the deliverability of the profiles. Gradient Index (GI) is a measure of the complexity of the profile in terms of gradients. Baseline Index (BI) is the fraction of the profile that is planned to get lower than the minimum level of transmission radiation. Cumulative Monitor Unit Index (CMUI) is the ratio of the cumulative monitor units (CMU) required for obtaining the desired profile to an average dose level in the profile. The dosimetric investigations of the deliverability scoring indices are presented, showing a clear correlation between scoring indices and dosimetric accuracy. Finally, materials and methods are developed for verification of intensity modulated radiotherapy. Dosimetric verification starts from investigations of the developed leaf sequencing algorithm, then extends to dosimetric verification in terms of deliverability, and lastly, dosimetric verification of complete clinical IMRT plans is performed.

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

  19. Pesticide Worker Safety Cooperative Agreements

    EPA Pesticide Factsheets

    The worker safety program cooperative agreements fund projects to educate pesticide applicators, handlers, and farmworkers on working safely with, and around, pesticides. Read about pesticide related grant opportunities and reports from previous grants.

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

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

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

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

  4. Compendium of Arms Control Verification Proposals.

    DTIC Science & Technology

    1982-03-01

    ZONAL ON-SITE INSPECTION ............ 123 CHAPTER D - CONTROL POSTS ................................... 139 CHAPTER E - RECORDS MONITORING...de:cribi.nr in reneral the zirnifiemit features of the verification method concerned. I’ ’ ’vi.i Chapters A to D deal with verification by direct on...inspection (i.e. increasing as confidence develops), and chapter D with control or observation posts. Chapter E deals with verification by examination of

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

  6. Using tools for verification, documentation and testing

    NASA Technical Reports Server (NTRS)

    Osterweil, L. J.

    1978-01-01

    Methodologies are discussed on four of the major approaches to program upgrading -- namely dynamic testing, symbolic execution, formal verification and static analysis. The different patterns of strengths, weaknesses and applications of these approaches are shown. It is demonstrated that these patterns are in many ways complementary, offering the hope that they can be coordinated and unified into a single comprehensive program testing and verification system capable of performing a diverse and useful variety of error detection, verification and documentation functions.

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

  8. Validation and verification of measurement methods in clinical chemistry.

    PubMed

    Theodorsson, Elvar

    2012-02-01

    The present overview of validation and verification procedures in clinical chemistry focuses on the use of harmonized concepts and nomenclature, fitness-for-purpose evaluations and procedures for minimizing overall measurement and diagnostic uncertainty. The need for mutually accepted validation procedures in all fields of bioanalysis becomes obvious when they implement international accreditation and certification standards or their equivalents. The guide on bioanalytical method validation published by the US FDA in 2001 represents a sensible compromise between thoroughness and cost-effectiveness. Lacking comprehensive international agreements in the field, this document has also been successfully adapted in other fields of bioanalysis. European and international efforts aiming for consensus in the entire field of bioanalysis are currently being made. Manufacturers of highly automated in vitro diagnostic methods provide the majority of measurement methods used in unmodified in clinical chemistry. Validated by the manufacturers for their intended use and fitness-for-purpose, they need to be verified in the circumstances of the end-users. As yet, there is unfortunately no general agreement on the extent of the verification procedures needed.

  9. Automated verification of flight software. User's manual

    NASA Technical Reports Server (NTRS)

    Saib, S. H.

    1982-01-01

    (Automated Verification of Flight Software), a collection of tools for analyzing source programs written in FORTRAN and AED is documented. The quality and the reliability of flight software are improved by: (1) indented listings of source programs, (2) static analysis to detect inconsistencies in the use of variables and parameters, (3) automated documentation, (4) instrumentation of source code, (5) retesting guidance, (6) analysis of assertions, (7) symbolic execution, (8) generation of verification conditions, and (9) simplification of verification conditions. Use of AVFS in the verification of flight software is described.

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

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

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

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

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

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

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

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

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

  19. Optimal Imaging for Treaty Verification

    SciTech Connect

    Brubaker, Erik; Hilton, Nathan R.; Johnson, William; Marleau, Peter; Kupinski, Matthew; MacGahan, Christopher Jonathan

    2014-09-01

    Future arms control treaty verification regimes may use radiation imaging measurements to confirm and track nuclear warheads or other treaty accountable items (TAIs). This project leverages advanced inference methods developed for medical and adaptive imaging to improve task performance in arms control applications. Additionally, we seek a method to acquire and analyze imaging data of declared TAIs without creating an image of those objects or otherwise storing or revealing any classified information. Such a method would avoid the use of classified-information barriers (IB).

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

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

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

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

  5. Bayesian inference for agreement measures.

    PubMed

    Vidal, Ignacio; de Castro, Mário

    2016-08-25

    The agreement of different measurement methods is an important issue in several disciplines like, for example, Medicine, Metrology, and Engineering. In this article, some agreement measures, common in the literature, were analyzed from a Bayesian point of view. Posterior inferences for such agreement measures were obtained based on well-known Bayesian inference procedures for the bivariate normal distribution. As a consequence, a general, simple, and effective method is presented, which does not require Markov Chain Monte Carlo methods and can be applied considering a great variety of prior distributions. Illustratively, the method was exemplified using five objective priors for the bivariate normal distribution. A tool for assessing the adequacy of the model is discussed. Results from a simulation study and an application to a real dataset are also reported.

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

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

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

  9. Simplifying EPID dosimetry for IMRT treatment verification

    SciTech Connect

    Pecharroman-Gallego, R.; Mans, Anton; Sonke, Jan-Jakob; Stroom, Joep C.; Olaciregui-Ruiz, Igor; Herk, Marcel van; Mijnheer, Ben J.

    2011-02-15

    Purpose: Electronic portal imaging devices (EPIDs) are increasingly used for IMRT dose verification, both pretreatment and in vivo. In this study, an earlier developed backprojection model has been modified to avoid the need for patient-specific transmission measurements and, consequently, leads to a faster procedure. Methods: Currently, the transmission, an essential ingredient of the backprojection model, is estimated from the ratio of EPID measurements with and without a phantom/patient in the beam. Thus, an additional irradiation to obtain ''open images'' under the same conditions as the actual phantom/patient irradiation is required. However, by calculating the transmission of the phantom/patient in the direction of the beam instead of using open images, this extra measurement can be avoided. This was achieved by using a model that includes the effect of beam hardening and off-axis dependence of the EPID response on photon beam spectral changes. The parameters in the model were empirically obtained by performing EPID measurements using polystyrene slab phantoms of different thickness in 6, 10, and 18 MV photon beams. A theoretical analysis to verify the sensitivity of the model with patient thickness changes was performed. The new model was finally applied for the analysis of EPID dose verification measurements of step-and-shoot IMRT treatments of head and neck, lung, breast, cervix, prostate, and rectum patients. All measurements were carried out using Elekta SL20i linear accelerators equipped with a hydrogenated amorphous silicon EPID, and the IMRT plans were made using PINNACLE software (Philips Medical Systems). Results: The results showed generally good agreement with the dose determined using the old model applying the measured transmission. The average differences between EPID-based in vivo dose at the isocenter determined using either the new model for transmission and its measured value were 2.6{+-}3.1%, 0.2{+-}3.1%, and 2.2{+-}3.9% for 47 patients

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

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

  12. Identity Verification, Control, and Aggression in Marriage

    ERIC Educational Resources Information Center

    Stets, Jan E.; Burke, Peter J.

    2005-01-01

    In this research we study the identity verification process and its effects in marriage. Drawing on identity control theory, we hypothesize that a lack of verification in the spouse identity (1) threatens stable self-meanings and interaction patterns between spouses, and (2) challenges a (nonverified) spouse's perception of control over the…

  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. 14 CFR 460.17 - Verification program.

    Code of Federal Regulations, 2013 CFR

    2013-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 2013-01-01 2013-01-01 false Verification program. 460.17 Section...

  15. 14 CFR 460.17 - Verification program.

    Code of Federal Regulations, 2012 CFR

    2012-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 2012-01-01 2012-01-01 false Verification program. 460.17 Section...

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

  17. 24 CFR 4001.112 - Income verification.

    Code of Federal Regulations, 2011 CFR

    2011-04-01

    ... 24 Housing and Urban Development 5 2011-04-01 2011-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:...

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

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

  20. 18 CFR 158.5 - Verification.

    Code of Federal Regulations, 2011 CFR

    2011-04-01

    ... 18 Conservation of Power and Water Resources 1 2011-04-01 2011-04-01 false Verification. 158.5 Section 158.5 Conservation of Power and Water Resources FEDERAL ENERGY REGULATORY COMMISSION, DEPARTMENT....5 Verification. The facts stated in the memorandum must be sworn to by persons having...

  1. 18 CFR 158.5 - Verification.

    Code of Federal Regulations, 2012 CFR

    2012-04-01

    ... 18 Conservation of Power and Water Resources 1 2012-04-01 2012-04-01 false Verification. 158.5 Section 158.5 Conservation of Power and Water Resources FEDERAL ENERGY REGULATORY COMMISSION, DEPARTMENT....5 Verification. The facts stated in the memorandum must be sworn to by persons having...

  2. 18 CFR 286.107 - Verification.

    Code of Federal Regulations, 2011 CFR

    2011-04-01

    ... 18 Conservation of Power and Water Resources 1 2011-04-01 2011-04-01 false Verification. 286.107 Section 286.107 Conservation of Power and Water Resources FEDERAL ENERGY REGULATORY COMMISSION, DEPARTMENT... Contested Audit Findings and Proposed Remedies § 286.107 Verification. The facts stated in the...

  3. 18 CFR 41.5 - Verification.

    Code of Federal Regulations, 2011 CFR

    2011-04-01

    ... 18 Conservation of Power and Water Resources 1 2011-04-01 2011-04-01 false Verification. 41.5 Section 41.5 Conservation of Power and Water Resources FEDERAL ENERGY REGULATORY COMMISSION, DEPARTMENT OF....5 Verification. The facts stated in the memorandum must be sworn to by persons having...

  4. 18 CFR 349.5 - Verification.

    Code of Federal Regulations, 2011 CFR

    2011-04-01

    ... 18 Conservation of Power and Water Resources 1 2011-04-01 2011-04-01 false Verification. 349.5 Section 349.5 Conservation of Power and Water Resources FEDERAL ENERGY REGULATORY COMMISSION, DEPARTMENT... PROPOSED REMEDIES § 349.5 Verification. The facts stated in the memorandum must be sworn to by...

  5. 18 CFR 286.107 - Verification.

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ... 18 Conservation of Power and Water Resources 1 2010-04-01 2010-04-01 false Verification. 286.107 Section 286.107 Conservation of Power and Water Resources FEDERAL ENERGY REGULATORY COMMISSION, DEPARTMENT... Contested Audit Findings and Proposed Remedies § 286.107 Verification. The facts stated in the...

  6. 18 CFR 41.5 - Verification.

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ... 18 Conservation of Power and Water Resources 1 2010-04-01 2010-04-01 false Verification. 41.5 Section 41.5 Conservation of Power and Water Resources FEDERAL ENERGY REGULATORY COMMISSION, DEPARTMENT OF....5 Verification. The facts stated in the memorandum must be sworn to by persons having...

  7. 18 CFR 41.5 - Verification.

    Code of Federal Regulations, 2012 CFR

    2012-04-01

    ... 18 Conservation of Power and Water Resources 1 2012-04-01 2012-04-01 false Verification. 41.5 Section 41.5 Conservation of Power and Water Resources FEDERAL ENERGY REGULATORY COMMISSION, DEPARTMENT OF....5 Verification. The facts stated in the memorandum must be sworn to by persons having...

  8. 18 CFR 349.5 - Verification.

    Code of Federal Regulations, 2012 CFR

    2012-04-01

    ... 18 Conservation of Power and Water Resources 1 2012-04-01 2012-04-01 false Verification. 349.5 Section 349.5 Conservation of Power and Water Resources FEDERAL ENERGY REGULATORY COMMISSION, DEPARTMENT... PROPOSED REMEDIES § 349.5 Verification. The facts stated in the memorandum must be sworn to by...

  9. 18 CFR 158.5 - Verification.

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ... 18 Conservation of Power and Water Resources 1 2010-04-01 2010-04-01 false Verification. 158.5 Section 158.5 Conservation of Power and Water Resources FEDERAL ENERGY REGULATORY COMMISSION, DEPARTMENT....5 Verification. The facts stated in the memorandum must be sworn to by persons having...

  10. 18 CFR 349.5 - Verification.

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ... 18 Conservation of Power and Water Resources 1 2010-04-01 2010-04-01 false Verification. 349.5 Section 349.5 Conservation of Power and Water Resources FEDERAL ENERGY REGULATORY COMMISSION, DEPARTMENT... PROPOSED REMEDIES § 349.5 Verification. The facts stated in the memorandum must be sworn to by...

  11. 47 CFR 2.902 - Verification.

    Code of Federal Regulations, 2013 CFR

    2013-10-01

    ... 47 Telecommunication 1 2013-10-01 2013-10-01 false Verification. 2.902 Section 2.902 Telecommunication FEDERAL COMMUNICATIONS COMMISSION GENERAL FREQUENCY ALLOCATIONS AND RADIO TREATY MATTERS; GENERAL RULES AND REGULATIONS Equipment Authorization Procedures General Provisions § 2.902 Verification....

  12. 47 CFR 2.902 - Verification.

    Code of Federal Regulations, 2012 CFR

    2012-10-01

    ... 47 Telecommunication 1 2012-10-01 2012-10-01 false Verification. 2.902 Section 2.902 Telecommunication FEDERAL COMMUNICATIONS COMMISSION GENERAL FREQUENCY ALLOCATIONS AND RADIO TREATY MATTERS; GENERAL RULES AND REGULATIONS Equipment Authorization Procedures General Provisions § 2.902 Verification....

  13. 47 CFR 2.902 - Verification.

    Code of Federal Regulations, 2014 CFR

    2014-10-01

    ... 47 Telecommunication 1 2014-10-01 2014-10-01 false Verification. 2.902 Section 2.902 Telecommunication FEDERAL COMMUNICATIONS COMMISSION GENERAL FREQUENCY ALLOCATIONS AND RADIO TREATY MATTERS; GENERAL RULES AND REGULATIONS Equipment Authorization Procedures General Provisions § 2.902 Verification....

  14. 47 CFR 2.902 - Verification.

    Code of Federal Regulations, 2010 CFR

    2010-10-01

    ... 47 Telecommunication 1 2010-10-01 2010-10-01 false Verification. 2.902 Section 2.902 Telecommunication FEDERAL COMMUNICATIONS COMMISSION GENERAL FREQUENCY ALLOCATIONS AND RADIO TREATY MATTERS; GENERAL RULES AND REGULATIONS Equipment Authorization Procedures General Provisions § 2.902 Verification....

  15. 47 CFR 2.902 - Verification.

    Code of Federal Regulations, 2011 CFR

    2011-10-01

    ... 47 Telecommunication 1 2011-10-01 2011-10-01 false Verification. 2.902 Section 2.902 Telecommunication FEDERAL COMMUNICATIONS COMMISSION GENERAL FREQUENCY ALLOCATIONS AND RADIO TREATY MATTERS; GENERAL RULES AND REGULATIONS Equipment Authorization Procedures General Provisions § 2.902 Verification....

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

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

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

  19. 14 CFR 460.17 - Verification program.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... a flight. Verification must include flight testing. ... 14 Aeronautics and Space 4 2010-01-01 2010-01-01 false Verification program. 460.17 Section 460.17... TRANSPORTATION LICENSING HUMAN SPACE FLIGHT REQUIREMENTS Launch and Reentry with Crew § 460.17...

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

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

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

  3. Quantitative reactive modeling and verification.

    PubMed

    Henzinger, Thomas A

    Formal verification aims to improve the quality of software by detecting errors before they do harm. At the basis of formal verification is the logical notion of correctness, which purports to capture whether or not a program behaves as desired. We suggest that the boolean partition of software into correct and incorrect programs falls short of the practical need to assess the behavior of software in a more nuanced fashion against multiple criteria. We therefore propose to introduce quantitative fitness measures for programs, specifically for measuring the function, performance, and robustness of reactive programs such as concurrent processes. This article describes the goals of the ERC Advanced Investigator Project QUAREM. The project aims to build and evaluate a theory of quantitative fitness measures for reactive models. Such a theory must strive to obtain quantitative generalizations of the paradigms that have been success stories in qualitative reactive modeling, such as compositionality, property-preserving abstraction and abstraction refinement, model checking, and synthesis. The theory will be evaluated not only in the context of software and hardware engineering, but also in the context of systems biology. In particular, we will use the quantitative reactive models and fitness measures developed in this project for testing hypotheses about the mechanisms behind data from biological experiments.

  4. Modular verification of concurrent systems

    SciTech Connect

    Sobel, A.E.K.

    1986-01-01

    During the last ten years, a number of authors have proposed verification techniques that allow one to prove properties of individual processes by using global assumptions about the behavior of the remaining processes in the distributed program. As a result, one must justify these global assumptions before drawing any conclusions regarding the correctness of the entire program. This justification is often the most difficult part of the proof and presents a serious obstacle to hierarchical program development. This thesis develops a new approach to the verification of concurrent systems. The approach is modular and supports compositional development of programs since the proofs of each individual process of a program are completely isolated from all others. The generality of this approach is illustrated by applying it to a representative set of contemporary concurrent programming languages, namely: CSP, ADA, Distributed Processes, and a shared variable language. In addition, it is also shown how the approach may be used to deal with a number of other constructs that have been proposed for inclusion in concurrent languages: FORK and JOIN primitives, nested monitor calls, path expressions, atomic transactions, and asynchronous message passing. These results allow argument that the approach is universal and can be used to design proof systems for any concurrent language.

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

  6. Hierarchical Design and Verification for VLSI

    NASA Technical Reports Server (NTRS)

    Shostak, R. E.; Elliott, W. D.; Levitt, K. N.

    1983-01-01

    The specification and verification work is described in detail, and some of the problems and issues to be resolved in their application to Very Large Scale Integration VLSI systems are examined. The hierarchical design methodologies enable a system architect or design team to decompose a complex design into a formal hierarchy of levels of abstraction. The first step inprogram verification is tree formation. The next step after tree formation is the generation from the trees of the verification conditions themselves. The approach taken here is similar in spirit to the corresponding step in program verification but requires modeling of the semantics of circuit elements rather than program statements. The last step is that of proving the verification conditions using a mechanical theorem-prover.

  7. University of Scranton: Master Agreement.

    ERIC Educational Resources Information Center

    Scranton Univ., PA.

    This document is the collective bargaining agreement between the University of Scranton and its faculty effective September 1, 1975 until August 31, 1976. Its provisions include all full-time faculty members associated with the Reading Clinic and Counseling Center, full-time faculty assigned to the Department of Physical Education, full-time…

  8. 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;…

  9. Form 6 - gas balancing agreement

    SciTech Connect

    Not Available

    1990-01-01

    In 1988, a special Committee of the Rocky Mountain Mineral Law Foundation undertook a project to draft a model from gas balancing agreement. This project was initiated at the request of a number of Foundation members who felt that a model form gas balancing agreement would facilitate the negotiation of operating agreement, since gas balancing issues had become sticking points in the process. The Committee was composed of attorneys representing a wide cross-section of the oil and gas industry including both major and independent oil companies, production companies with interstate pipeline affiliates, and private practitioners. The Committee attempted to address the more controversial issues in gas balancing with optional provisions in the Form. To facilitate the negotiation process, the number of optional provisions was minimized. This form may be used as an Appendix to the new A.A.P.L. Form 610-1989 Model Form Operating Agreement. This book includes provision of this Form which are: Ownership of gas production; Balancing of production accounts; Cash balancing upon depletion; Deliverability tests; Nominations; Statements; Payment of taxes; Operating expenses; Overproducing allowable; Payment of leasehold burdens; Operator's liability; Successors and assigns; Audits; Arbitration; and Operator's fees.

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

  11. Impact of radiation attenuation by a carbon fiber couch on patient dose verification

    PubMed Central

    Yu, Chun-Yen; Chou, Wen-Tsae; Liao, Yi-Jen; Lee, Jeng-Hung; Liang, Ji-An; Hsu, Shih-Ming

    2017-01-01

    The aim of this study was to understand the difference between the measured and calculated irradiation attenuations obtained using two algorithms and to identify the influence of couch attenuation on patient dose verification. We performed eight tests of couch attenuation with two photon energies, two longitudinal couch positions, and two rail positions. The couch attenuation was determined using a radiation treatment planning system. The measured and calculated attenuations were compared. We also performed 12 verifications of head-and-neck and rectum cases by using a Delta phantom. The dose deviation (DD), distance to agreement (DTA), and gamma index of pencil-beam convolution (PBC) verifications were nearly the same. The agreement was least consistent for the anisotropic analytical algorithm (AAA) without the couch for the head-and-neck case, in which the DD, DTA, and gamma index were 74.4%, 99.3%, and 89%, respectively; for the rectum case, the corresponding values were 56.2%, 95.1%, and 92.4%. We suggest that dose verification should be performed using the following three metrics simultaneously: DD, DTA, and the gamma index. PMID:28240236

  12. Impact of radiation attenuation by a carbon fiber couch on patient dose verification

    NASA Astrophysics Data System (ADS)

    Yu, Chun-Yen; Chou, Wen-Tsae; Liao, Yi-Jen; Lee, Jeng-Hung; Liang, Ji-An; Hsu, Shih-Ming

    2017-02-01

    The aim of this study was to understand the difference between the measured and calculated irradiation attenuations obtained using two algorithms and to identify the influence of couch attenuation on patient dose verification. We performed eight tests of couch attenuation with two photon energies, two longitudinal couch positions, and two rail positions. The couch attenuation was determined using a radiation treatment planning system. The measured and calculated attenuations were compared. We also performed 12 verifications of head-and-neck and rectum cases by using a Delta phantom. The dose deviation (DD), distance to agreement (DTA), and gamma index of pencil-beam convolution (PBC) verifications were nearly the same. The agreement was least consistent for the anisotropic analytical algorithm (AAA) without the couch for the head-and-neck case, in which the DD, DTA, and gamma index were 74.4%, 99.3%, and 89%, respectively; for the rectum case, the corresponding values were 56.2%, 95.1%, and 92.4%. We suggest that dose verification should be performed using the following three metrics simultaneously: DD, DTA, and the gamma index.

  13. Impact of radiation attenuation by a carbon fiber couch on patient dose verification.

    PubMed

    Yu, Chun-Yen; Chou, Wen-Tsae; Liao, Yi-Jen; Lee, Jeng-Hung; Liang, Ji-An; Hsu, Shih-Ming

    2017-02-27

    The aim of this study was to understand the difference between the measured and calculated irradiation attenuations obtained using two algorithms and to identify the influence of couch attenuation on patient dose verification. We performed eight tests of couch attenuation with two photon energies, two longitudinal couch positions, and two rail positions. The couch attenuation was determined using a radiation treatment planning system. The measured and calculated attenuations were compared. We also performed 12 verifications of head-and-neck and rectum cases by using a Delta phantom. The dose deviation (DD), distance to agreement (DTA), and gamma index of pencil-beam convolution (PBC) verifications were nearly the same. The agreement was least consistent for the anisotropic analytical algorithm (AAA) without the couch for the head-and-neck case, in which the DD, DTA, and gamma index were 74.4%, 99.3%, and 89%, respectively; for the rectum case, the corresponding values were 56.2%, 95.1%, and 92.4%. We suggest that dose verification should be performed using the following three metrics simultaneously: DD, DTA, and the gamma index.

  14. 1996 initiatives under the CNEN/DOE safeguards cooperation agreement

    SciTech Connect

    Vinhas, L.; Iskin, M.C.L.; Almeida, S.G. de; Dupree, S.; Reilly, D.; Smith, C.; Whitaker, J.M.

    1996-12-31

    In September 1995, the US Department of Energy (DOE) and the Brazilian Comissao Nacional de Energia Nuclear (CNEN) signed an agreement on methods and technologies for safeguards applications. This agreement provides for cooperation in the areas of nuclear material control, accountancy, verification, physical protection, and advanced containment and surveillance technologies for international safeguards applications. CNEN is responsible for managing nuclear facilities and institutions in Brazil and is responsible for coordinating international safeguards as applied by the International Atomic Energy Agency (IAEA) and the Brazilian-Argentine Agency for Accounting and Control of Nuclear Materials (ABACC). Following the ratification of the Quadripartite Agreement among Argentina, Brazil, ABACC, and IAEA in March 1994, all nuclear materials in all nuclear activities in Brazil became subject to comprehensive safeguards. Collaboration between CNEN and DOE in 1996 is focusing on: (1) the use of a GRAND FORK detector at the Angra Nuclear Power Station, (2) a remote monitoring field trial, (3) workshops on environmental monitoring and analysis as a safeguards application, (4) developing and studying methods and techniques for applying safeguards at enrichment plants, and (5) support of CNEN`s safeguards analytical laboratory. This paper will describe each of the aforementioned safeguards cooperation activities.

  15. 29 CFR 1908.10 - Cooperative Agreements.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... 29 Labor 5 2010-07-01 2010-07-01 false Cooperative Agreements. 1908.10 Section 1908.10 Labor... CONSULTATION AGREEMENTS § 1908.10 Cooperative Agreements. (a) Who may make Agreements. The Assistant Secretary may make a Cooperative Agreement under this part with the Governor of a State or with any State...

  16. 29 CFR 1908.10 - Cooperative Agreements.

    Code of Federal Regulations, 2012 CFR

    2012-07-01

    ... 29 Labor 5 2012-07-01 2012-07-01 false Cooperative Agreements. 1908.10 Section 1908.10 Labor... CONSULTATION AGREEMENTS § 1908.10 Cooperative Agreements. (a) Who may make Agreements. The Assistant Secretary may make a Cooperative Agreement under this part with the Governor of a State or with any State...

  17. 29 CFR 1908.10 - Cooperative Agreements.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... 29 Labor 5 2011-07-01 2011-07-01 false Cooperative Agreements. 1908.10 Section 1908.10 Labor... CONSULTATION AGREEMENTS § 1908.10 Cooperative Agreements. (a) Who may make Agreements. The Assistant Secretary may make a Cooperative Agreement under this part with the Governor of a State or with any State...

  18. 2 CFR 1401.220 - Cooperative agreement.

    Code of Federal Regulations, 2011 CFR

    2011-01-01

    ... 2 Grants and Agreements 1 2011-01-01 2011-01-01 false Cooperative agreement. 1401.220 Section 1401....220 Cooperative agreement. Cooperative agreement means an award of financial assistance that... include cooperative research and development agreements as defined in 15 U.S.C. 3710a....

  19. 29 CFR 1908.10 - Cooperative Agreements.

    Code of Federal Regulations, 2014 CFR

    2014-07-01

    ... 29 Labor 5 2014-07-01 2014-07-01 false Cooperative Agreements. 1908.10 Section 1908.10 Labor... CONSULTATION AGREEMENTS § 1908.10 Cooperative Agreements. (a) Who may make Agreements. The Assistant Secretary may make a Cooperative Agreement under this part with the Governor of a State or with any State...

  20. 29 CFR 1908.10 - Cooperative Agreements.

    Code of Federal Regulations, 2013 CFR

    2013-07-01

    ... 29 Labor 5 2013-07-01 2013-07-01 false Cooperative Agreements. 1908.10 Section 1908.10 Labor... CONSULTATION AGREEMENTS § 1908.10 Cooperative Agreements. (a) Who may make Agreements. The Assistant Secretary may make a Cooperative Agreement under this part with the Governor of a State or with any State...

  1. 2 CFR 182.620 - Cooperative agreement.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... 2 Grants and Agreements 1 2010-01-01 2010-01-01 false Cooperative agreement. 182.620 Section 182... § 182.620 Cooperative agreement. Cooperative agreement means an award of financial assistance that... cooperative research and development agreements as defined in 15 U.S.C. 3710a....

  2. Standardized verification of fuel cycle modeling

    SciTech Connect

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

  3. Standardized verification of fuel cycle modeling

    DOE PAGES

    Feng, B.; Dixon, B.; Sunny, E.; ...

    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

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

  5. Achieving Agreement in Three Rounds with Bounded-Byzantine Faults

    NASA Technical Reports Server (NTRS)

    Malekpour, Mahyar, R.

    2017-01-01

    A three-round algorithm is presented that guarantees agreement in a system of K greater than or equal to 3F+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, Shostak, and Pease and is scalable with respect to the number of nodes in the system and applies equally to 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.

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

  7. Verification of a low Mach variable-density Navier-Stokes solver for turbulent combustion

    NASA Astrophysics Data System (ADS)

    Mullyadzhanov, R.; Palkin, E.; Nićeno, B.; Vervisch, L.; Hanjalić, K.

    2016-10-01

    We describe the low Mach variable-density Navier-Stokes numerical iterative solution procedure implemented in the finite-volume unstructured T-FlowS code. As the test cases we use a number of analytic manufactured solutions and Rayleigh-Taylor instability problem from the literature for algorithm verification purposes. The tests show that the code is second-order accurate in agreement with the spatial discretization scheme. We outline the recent combustion ADEF model implemented in the program.

  8. 77 FR 32115 - Notice of Agreements Filed

    Federal Register 2010, 2011, 2012, 2013, 2014

    2012-05-31

    ... Agreement Western Mediterranean-U.S. East Coast. Parties: CMA CGM, S.A. and A.P. Moller-Maersk A/S. Filing.... Synopsis: The amendment would add Morocco to the geographic scope of the agreement. Agreement No.:...

  9. 48 CFR 842.1203 - Processing agreements.

    Code of Federal Regulations, 2011 CFR

    2011-10-01

    ... MANAGEMENT CONTRACT ADMINISTRATION AND AUDIT SERVICES Novation and Change-of-Name Agreements 842.1203 Processing agreements. Before execution of novation and change-of-name agreements, contracting officers...

  10. 48 CFR 842.1203 - Processing agreements.

    Code of Federal Regulations, 2010 CFR

    2010-10-01

    ... MANAGEMENT CONTRACT ADMINISTRATION AND AUDIT SERVICES Novation and Change-of-Name Agreements 842.1203 Processing agreements. Before execution of novation and change-of-name agreements, contracting officers...

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

  12. 76 FR 20668 - Notice of Agreements Filed

    Federal Register 2010, 2011, 2012, 2013, 2014

    2011-04-13

    ... amendment deletes Hanjin Shipping as a party to the Agreement. Agreement No.: 012105-001. Title: SCM Lines Transportes/CCNI Agreement. Parties: Compania Chilena de Navegacion Interoceanica S.A. and SCM...

  13. Review of the provisions and effectiveness of selected arms control agreements, 1812-1939

    SciTech Connect

    Phillips, J.H.

    1985-10-01

    RDA has conducted historical research on a number of arms control agreements, with particular emphasis on the verification and compliance provisions, for the period between the conclusion of the War of 1812 and the beginning of World War II. Particular emphasis was placed on the Treaty of Versailles for several reasons, among them the fact that it was the first agreement that contained quantitative arms reduction and disarmament provisions along with a formal mechanism for carrying them out, including unrestricted on-site inspections. Other arms control agreements and activities that are addressed include the Rush-Bagot Agreement, the Hague Conferences, League of Nations activities, and US initiatives after World War I that resulted in treaties that attempted to limit naval armaments.

  14. KAT-7 Science Verification Highlights

    NASA Astrophysics Data System (ADS)

    Lucero, Danielle M.; Carignan, Claude; KAT-7 Science Data; Processing Team, KAT-7 Science Commissioning Team

    2015-01-01

    KAT-7 is a pathfinder of the Square Kilometer Array precursor MeerKAT, which is under construction. Its short baselines and low system temperature make it sensitive to large scale, low surface brightness emission. This makes it an ideal instrument to use in searches for faint extended radio emission and low surface density extraplanar gas. We present an update on the progress of several such ongoing KAT-7 science verification projects. These include a large scale radio continuum and polarization survey of the Galactic Center, deep HI observations (100+ hours) of nearby disk galaxies (e.g. NGC253 and NGC3109), and targeted searches for HI tidal tails in galaxy groups (e.g. IC1459). A brief status update for MeerKAT will also be presented if time permits.

  15. MFTF sensor verification computer program

    SciTech Connect

    Chow, H.K.

    1984-11-09

    The design, requirements document and implementation of the MFE Sensor Verification System were accomplished by the Measurement Engineering Section (MES), a group which provides instrumentation for the MFTF magnet diagnostics. The sensors, installed on and around the magnets and solenoids, housed in a vacuum chamber, will supply information about the temperature, strain, pressure, liquid helium level and magnet voltage to the facility operator for evaluation. As the sensors are installed, records must be maintained as to their initial resistance values. Also, as the work progresses, monthly checks will be made to insure continued sensor health. Finally, after the MFTF-B demonstration, yearly checks will be performed as well as checks of sensors as problem develops. The software to acquire and store the data was written by Harry Chow, Computations Department. The acquired data will be transferred to the MFE data base computer system.

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

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

  18. Verification of FANTASTIC integrated code

    NASA Technical Reports Server (NTRS)

    Chauhan, Rajinder Singh

    1987-01-01

    FANTASTIC is an acronym for Failure Analysis Nonlinear Thermal and Structural Integrated Code. This program was developed by Failure Analysis Associates, Palo Alto, Calif., for MSFC to improve the accuracy of solid rocket motor nozzle analysis. FANTASTIC has three modules: FACT - thermochemical analysis; FAHT - heat transfer analysis; and FAST - structural analysis. All modules have keywords for data input. Work is in progress for the verification of the FAHT module, which is done by using data for various problems with known solutions as inputs to the FAHT module. The information obtained is used to identify problem areas of the code and passed on to the developer for debugging purposes. Failure Analysis Associates have revised the first version of the FANTASTIC code and a new improved version has been released to the Thermal Systems Branch.

  19. Contracting for professional service agreements.

    PubMed

    Berman, M L

    1995-08-01

    A review of several professional service agreements (PSA) of managed care organizations which contract with gynecologic oncologists in the Southern California area demonstrates several distinct patterns of practice restrictions and financial benefits which can help guide the physician who is considering signing such an agreement. These contracts must be evaluated in a manner similar to any business transaction as they are legally binding and can enhance or adversely impact one's clinical practice. Their advantages include increased numbers of referrals resulting in higher practice income; however, their disadvantages include practice restrictions which can adversely impact office overhead, practice efficiency, and the ability to deliver quality medical care. General guidelines to physicians evaluating a PSA include (1) avoiding "hold harmless" clauses, (2) avoiding contracts which tie enrollment in one plan to others, (3) the need to enter any verbal agreements by managed care administrators into the contract language, and (4) avoidance of actions which might be construed as being in violation of antitrust activities. Furthermore, physicians must avoid contracts which will result in the uncontrolled growth of a practice beyond its capabilities for expansion.

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

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

  2. Non-Invertible Transforms for Image-Based Verification

    SciTech Connect

    White, Timothy A.; Robinson, Sean M.; Jarman, Kenneth D.; Miller, Erin A.; Seifert, Allen; McDonald, Benjamin S.; Pitts, W. Karl; Misner, Alex C.

    2011-07-20

    Imaging may play a unique role in verifying the presence and distribution of warhead components in warhead counting and dismantlement settings where image information content can distinguish among shapes, forms, and material composition of items. However, a major issue with imaging is the high level of intrusiveness, and in particular, the possible need to store sensitive comparison images in the inspection system that would violate information barrier (IB) principles. Reducing images via transformations or feature extraction can produce image features (e.g. attributes) for verification, but with enough prior information about structure the reduced information itself may be sufficient to deduce sensitive details of the original image. Further reducing resolution of the transformed image information is an option, but too much reduction destroys the quality of the attribute. We study the possibility of a one-way transform that allows storage of non-sensitive reference information and analysis to enable comparison of transformed images within IB constraints. In particular, we consider the degree to which images can be reconstructed from image intensity histograms depending on the number of pixel intensity bins and the degree of frequency data quantization, as well as assumed knowledge of configuration of objects in the images. We also explore the concept of a 'perceptual hash' as a class of transforms that may enable verification with provable non-invertibility, leading to an effective one-way transform that preserves the nature of the image feature data without revealing sufficient information to reconstruct the original image.

  3. 40 CFR 35.1615 - Substate agreements.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... agencies. The agreement shall be developed, administered and approved in accordance with the provisions of... this subchapter. The agreement shall specify outputs, milestone schedule, and the budget required...

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

  5. Formal specification and verification of Ada software

    NASA Technical Reports Server (NTRS)

    Hird, Geoffrey R.

    1991-01-01

    The use of formal methods in software development achieves levels of quality assurance unobtainable by other means. The Larch approach to specification is described, and the specification of avionics software designed to implement the logic of a flight control system is given as an example. Penelope is described which is an Ada-verification environment. The Penelope user inputs mathematical definitions, Larch-style specifications and Ada code and performs machine-assisted proofs that the code obeys its specifications. As an example, the verification of a binary search function is considered. Emphasis is given to techniques assisting the reuse of a verification effort on modified code.

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

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

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

  9. Design for Verification: Enabling Verification of High Dependability Software-Intensive Systems

    NASA Technical Reports Server (NTRS)

    Mehlitz, Peter C.; Penix, John; Markosian, Lawrence Z.; Koga, Dennis (Technical Monitor)

    2003-01-01

    Strategies to achieve confidence that high-dependability applications are correctly implemented include testing and automated verification. Testing deals mainly with a limited number of expected execution paths. Verification usually attempts to deal with a larger number of possible execution paths. While the impact of architecture design on testing is well known, its impact on most verification methods is not as well understood. The Design for Verification approach considers verification from the application development perspective, in which system architecture is designed explicitly according to the application's key properties. The D4V-hypothesis is that the same general architecture and design principles that lead to good modularity, extensibility and complexity/functionality ratio can be adapted to overcome some of the constraints on verification tools, such as the production of hand-crafted models and the limits on dynamic and static analysis caused by state space explosion.

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

  11. Monte Carlo dose verification for intensity-modulated arc therapy

    NASA Astrophysics Data System (ADS)

    Li, X. Allen; Ma, Lijun; Naqvi, Shahid; Shih, Rompin; Yu, Cedric

    2001-09-01

    Intensity-modulated arc therapy (IMAT), a technique which combines beam rotation and dynamic multileaf collimation, has been implemented in our clinic. Dosimetric errors can be created by the inability of the planning system to accurately account for the effects of tissue inhomogeneities and physical characteristics of the multileaf collimator (MLC). The objective of this study is to explore the use of Monte Carlo (MC) simulation for IMAT dose verification. The BEAM/DOSXYZ Monte Carlo system was implemented to perform dose verification for the IMAT treatment. The implementation includes the simulation of the linac head/MLC (Elekta SL20), the conversion of patient CT images and beam arrangement for 3D dose calculation, the calculation of gantry rotation and leaf motion by a series of static beams and the development of software to automate the entire MC process. The MC calculations were verified by measurements for conventional beam settings. The agreement was within 2%. The IMAT dose distributions generated by a commercial forward planning system (RenderPlan, Elekta) were compared with those calculated by the MC package. For the cases studied, discrepancies of over 10% were found between the MC and the RenderPlan dose calculations. These discrepancies were due in part to the inaccurate dose calculation of the RenderPlan system. The computation time for the IMAT MC calculation was in the range of 20-80 min on 15 Pentium-III computers. The MC method was also useful in verifying the beam apertures used in the IMAT treatments.

  12. Space Station automated systems testing/verification and the Galileo Orbiter fault protection design/verification

    NASA Technical Reports Server (NTRS)

    Landano, M. R.; Easter, R. W.

    1984-01-01

    Aspects of Space Station automated systems testing and verification are discussed, taking into account several program requirements. It is found that these requirements lead to a number of issues of uncertainties which require study and resolution during the Space Station definition phase. Most, if not all, of the considered uncertainties have implications for the overall testing and verification strategy adopted by the Space Station Program. A description is given of the Galileo Orbiter fault protection design/verification approach. Attention is given to a mission description, an Orbiter description, the design approach and process, the fault protection design verification approach/process, and problems of 'stress' testing.

  13. Cleared for Launch - Lessons Learned from the OSIRIS-REx System Requirements Verification Program

    NASA Technical Reports Server (NTRS)

    Stevens, Craig; Adams, Angela; Williams, Bradley; Goodloe, Colby

    2017-01-01

    Requirements verification of a large flight system is a challenge. It is especially challenging for engineers taking on their first role in space systems engineering. This paper describes our approach to verification of the Origins, Spectral Interpretation, Resource Identification, Security-Regolith Explorer (OSIRIS-REx) system requirements. It also captures lessons learned along the way from developing systems engineers embroiled in this process. We begin with an overview of the mission and science objectives as well as the project requirements verification program strategy. A description of the requirements flow down is presented including our implementation for managing the thousands of program and element level requirements and associated verification data. We discuss both successes and methods to improve the managing of this data across multiple organizational interfaces. Our approach to verifying system requirements at multiple levels of assembly is presented using examples from our work at instrument, spacecraft, and ground segment levels. We include a discussion of system end-to-end testing limitations and their impacts to the verification program. Finally, we describe lessons learned that are applicable to all emerging space systems engineers using our unique perspectives across multiple organizations of a large NASA program.

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

  16. 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... approve the following Reliability Standards that were submitted to the Commission for approval by the North American Electric Reliability Corporation, the Commission-certified Electric...

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

  18. HDM/PASCAL Verification System User's Manual

    NASA Technical Reports Server (NTRS)

    Hare, D.

    1983-01-01

    The HDM/Pascal verification system is a tool for proving the correctness of programs written in PASCAL and specified in the Hierarchical Development Methodology (HDM). This document assumes an understanding of PASCAL, HDM, program verification, and the STP system. The steps toward verification which this tool provides are parsing programs and specifications, checking the static semantics, and generating verification conditions. Some support functions are provided such as maintaining a data base, status management, and editing. The system runs under the TOPS-20 and TENEX operating systems and is written in INTERLISP. However, no knowledge is assumed of these operating systems or of INTERLISP. The system requires three executable files, HDMVCG, PARSE, and STP. Optionally, the editor EMACS should be on the system in order for the editor to work. The file HDMVCG is invoked to run the system. The files PARSE and STP are used as lower forks to perform the functions of parsing and proving.

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

  20. The PASCAL-HDM Verification System

    NASA Technical Reports Server (NTRS)

    1983-01-01

    The PASCAL-HDM verification system is described. This system supports the mechanical generation of verification conditions from PASCAL programs and HDM-SPECIAL specifications using the Floyd-Hoare axiomatic method. Tools are provided to parse programs and specifications, check their static semantics, generate verification conditions from Hoare rules, and translate the verification conditions appropriately for proof using the Shostak Theorem Prover, are explained. The differences between standard PASCAL and the language handled by this system are explained. This consists mostly of restrictions to the standard language definition, the only extensions or modifications being the addition of specifications to the code and the change requiring the references to a function of no arguments to have empty parentheses.

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

  2. Verification of the Calore thermal analysis code.

    SciTech Connect

    Dowding, Kevin J.; Blackwell, Bennie Francis

    2004-07-01

    Calore is the ASC code developed to model steady and transient thermal diffusion with chemistry and dynamic enclosure radiation. An integral part of the software development process is code verification, which addresses the question 'Are we correctly solving the model equations'? This process aids the developers in that it identifies potential software bugs and gives the thermal analyst confidence that a properly prepared input will produce satisfactory output. Grid refinement studies have been performed on problems for which we have analytical solutions. In this talk, the code verification process is overviewed and recent results are presented. Recent verification studies have focused on transient nonlinear heat conduction and verifying algorithms associated with (tied) contact and adaptive mesh refinement. In addition, an approach to measure the coverage of the verification test suite relative to intended code applications is discussed.

  3. 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... deviation occurs; (d) Reviewing the critical limits; (e) Reviewing other records pertaining to the...

  4. Verification criteria for the determination of Vo2 MAX in the field.

    PubMed

    Sánchez-Otero, Tania; Iglesias-Soler, Eliseo; Boullosa, Daniel A; Tuimil, José L

    2014-12-01

    The purpose of this study was to evaluate if a verification test (VT) performed in the field offers more confident results than do traditional criteria in the determination of maximal oxygen uptake ((Equation is included in full-text article.)). Twelve amateur runners (age, 36.6 ± 6.6 years) performed a maximal graded field test and after 15 minutes of passive recovery a supramaximal test to exhaustion at 105% of their velocity associated with (Equation is included in full-text article.)(v(Equation is included in full-text article.)). Traditional criteria and 2 different verification criteria were evaluated. Verification criteria were (a) maximal oxygen uptake achieved in the VT ((Equation is included in full-text article.)) must be ≤5% higher than (Equation is included in full-text article.), and (b) no significant differences of means between tests. All participants met the first verification criterion although significant differences were found between (Equation is included in full-text article.)and (Equation is included in full-text article.)(59.4 ± 5.1 vs. 56.2 ± 4.7 ml·kg·min, p < 0.01). The criteria for the plateau, peak heart rate (HRpeak), maximum respiratory exchange ratio (RERmax), and maximum blood lactate concentration ([La]max) were satisfied by 75, 66, 92, and 66 of the participants, respectively. Kappa coefficients gave a significant and substantial agreement beyond chance between traditional criteria (p < 0.001). Despite the substantial agreement, traditional criteria induced the rejection of participants that might have achieved a true (Equation is included in full-text article.)with HRpeak and [La]max being the more stringent criteria for amateur runners. A verification protocol in the field using the criterion based on individual analysis is recommended.

  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. Transmutation Fuel Performance Code Thermal Model Verification

    SciTech Connect

    Gregory K. Miller; Pavel G. Medvedev

    2007-09-01

    FRAPCON fuel performance code is being modified to be able to model performance of the nuclear fuels of interest to the Global Nuclear Energy Partnership (GNEP). The present report documents the effort for verification of the FRAPCON thermal model. It was found that, with minor modifications, FRAPCON thermal model temperature calculation agrees with that of the commercial software ABAQUS (Version 6.4-4). This report outlines the methodology of the verification, code input, and calculation results.

  7. Dynamic testing for shuttle design verification

    NASA Technical Reports Server (NTRS)

    Green, C. E.; Leadbetter, S. A.; Rheinfurth, M. H.

    1972-01-01

    Space shuttle design verification requires dynamic data from full scale structural component and assembly tests. Wind tunnel and other scaled model tests are also required early in the development program to support the analytical models used in design verification. Presented is a design philosophy based on mathematical modeling of the structural system strongly supported by a comprehensive test program; some of the types of required tests are outlined.

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

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

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

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

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

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

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

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

  16. 78 FR 63474 - Notice of Agreements Filed

    Federal Register 2010, 2011, 2012, 2013, 2014

    2013-10-24

    ... under the Shipping Act of 1984. Interested parties may submit comments on the agreements to the....gov . Agreement No.: 012204-001. Title: ELJSA-Hanjin Shipping Slot Exchange Agreement. Parties: Evergreen Line Joint Service Agreement and Hanjin Shipping Co. Ltd. Filing Party: Paul M. Keane,...

  17. 23 CFR 710.307 - Project agreement.

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ... 23 Highways 1 2010-04-01 2010-04-01 false Project agreement. 710.307 Section 710.307 Highways... REAL ESTATE Project Development § 710.307 Project agreement. As a condition of Federal-aid, the STD... project agreement in accordance with 23 CFR part 630, subpart C. The agreement shall be based on...

  18. 46 CFR 356.41 - Management agreements.

    Code of Federal Regulations, 2011 CFR

    2011-10-01

    ... 46 Shipping 8 2011-10-01 2011-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...

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

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

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

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

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

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

  5. 46 CFR 356.41 - Management agreements.

    Code of Federal Regulations, 2013 CFR

    2013-10-01

    ... 46 Shipping 8 2013-10-01 2013-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. 46 CFR 356.41 - Management agreements.

    Code of Federal Regulations, 2012 CFR

    2012-10-01

    ... 46 Shipping 8 2012-10-01 2012-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...

  7. 46 CFR 356.41 - Management agreements.

    Code of Federal Regulations, 2014 CFR

    2014-10-01

    ... 46 Shipping 8 2014-10-01 2014-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...

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

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

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

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

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

  13. 45 CFR 1155.620 - Cooperative agreement.

    Code of Federal Regulations, 2011 CFR

    2011-10-01

    ... 45 Public Welfare 3 2011-10-01 2011-10-01 false Cooperative agreement. 1155.620 Section 1155.620... ASSISTANCE) Definitions § 1155.620 Cooperative agreement. Cooperative agreement means an award of financial... term does not include cooperative research and development agreements as defined in 15 U.S.C. 3710a....

  14. 22 CFR 312.620 - Cooperative agreement.

    Code of Federal Regulations, 2012 CFR

    2012-04-01

    ... 22 Foreign Relations 2 2012-04-01 2009-04-01 true Cooperative agreement. 312.620 Section 312.620...) Definitions § 312.620 Cooperative agreement. Cooperative agreement means an award of financial assistance that... cooperative research and development agreements as defined in 15 U.S.C. 3710a....

  15. 22 CFR 1008.620 - Cooperative agreement.

    Code of Federal Regulations, 2012 CFR

    2012-04-01

    ... 22 Foreign Relations 2 2012-04-01 2009-04-01 true Cooperative agreement. 1008.620 Section 1008.620... ASSISTANCE) Definitions § 1008.620 Cooperative agreement. Cooperative agreement means an award of financial... term does not include cooperative research and development agreements as defined in 15 U.S.C. 3710a....

  16. 36 CFR 1212.620 - Cooperative agreement.

    Code of Federal Regulations, 2012 CFR

    2012-07-01

    ... 36 Parks, Forests, and Public Property 3 2012-07-01 2012-07-01 false Cooperative agreement. 1212... § 1212.620 Cooperative agreement. Cooperative agreement means an award of financial assistance that... include cooperative research and development agreements as defined in 15 U.S.C. 3710a....

  17. 36 CFR 1212.620 - Cooperative agreement.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... 36 Parks, Forests, and Public Property 3 2011-07-01 2011-07-01 false Cooperative agreement. 1212... § 1212.620 Cooperative agreement. Cooperative agreement means an award of financial assistance that... include cooperative research and development agreements as defined in 15 U.S.C. 3710a....

  18. 22 CFR 133.620 - Cooperative agreement.

    Code of Federal Regulations, 2013 CFR

    2013-04-01

    ... 22 Foreign Relations 1 2013-04-01 2013-04-01 false Cooperative agreement. 133.620 Section 133.620... (FINANCIAL ASSISTANCE) Definitions § 133.620 Cooperative agreement. Cooperative agreement means an award of... term does not include cooperative research and development agreements as defined in 15 U.S.C. 3710a....

  19. 2 CFR 1401.220 - Cooperative agreement.

    Code of Federal Regulations, 2014 CFR

    2014-01-01

    ... 2 Grants and Agreements 1 2014-01-01 2014-01-01 false Cooperative agreement. 1401.220 Section 1401... INTERIOR REQUIREMENTS FOR DRUG-FREE WORKPLACE (FINANCIAL ASSISTANCE) Definitions § 1401.220 Cooperative agreement. Cooperative agreement means an award of financial assistance that, consistent with 31 U.S.C....

  20. 34 CFR 84.620 - Cooperative agreement.

    Code of Federal Regulations, 2014 CFR

    2014-07-01

    ... 34 Education 1 2014-07-01 2014-07-01 false Cooperative agreement. 84.620 Section 84.620 Education... (FINANCIAL ASSISTANCE) Definitions § 84.620 Cooperative agreement. Cooperative agreement means an award of... term does not include cooperative research and development agreements as defined in 15 U.S.C....

  1. 45 CFR 1155.620 - Cooperative agreement.

    Code of Federal Regulations, 2013 CFR

    2013-10-01

    ... 45 Public Welfare 3 2013-10-01 2013-10-01 false Cooperative agreement. 1155.620 Section 1155.620... ASSISTANCE) Definitions § 1155.620 Cooperative agreement. Cooperative agreement means an award of financial... term does not include cooperative research and development agreements as defined in 15 U.S.C. 3710a....

  2. 34 CFR 84.620 - Cooperative agreement.

    Code of Federal Regulations, 2012 CFR

    2012-07-01

    ... 34 Education 1 2012-07-01 2012-07-01 false Cooperative agreement. 84.620 Section 84.620 Education... (FINANCIAL ASSISTANCE) Definitions § 84.620 Cooperative agreement. Cooperative agreement means an award of... term does not include cooperative research and development agreements as defined in 15 U.S.C....

  3. 22 CFR 312.620 - Cooperative agreement.

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ... 22 Foreign Relations 2 2010-04-01 2010-04-01 true Cooperative agreement. 312.620 Section 312.620...) Definitions § 312.620 Cooperative agreement. Cooperative agreement means an award of financial assistance that... cooperative research and development agreements as defined in 15 U.S.C. 3710a....

  4. 22 CFR 1509.620 - Cooperative agreement.

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ... 22 Foreign Relations 2 2010-04-01 2010-04-01 true Cooperative agreement. 1509.620 Section 1509.620... (FINANCIAL ASSISTANCE) Definitions § 1509.620 Cooperative agreement. Cooperative agreement means an award of... award. The term does not include cooperative research and development agreements as defined in 15...

  5. 20 CFR 439.620 - Cooperative agreement.

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ... 20 Employees' Benefits 2 2010-04-01 2010-04-01 false Cooperative agreement. 439.620 Section 439... WORKPLACE (FINANCIAL ASSISTANCE) Definitions § 439.620 Cooperative agreement. Cooperative agreement means an... contemplated by the award. The term does not include cooperative research and development agreements as...

  6. 2 CFR 200.24 - Cooperative agreement.

    Code of Federal Regulations, 2014 CFR

    2014-01-01

    ... 2 Grants and Agreements 1 2014-01-01 2014-01-01 false Cooperative agreement. 200.24 Section 200.24... REQUIREMENTS FOR FEDERAL AWARDS Acronyms and Definitions Acronyms § 200.24 Cooperative agreement. Cooperative... include: (1) A cooperative research and development agreement as defined in 15 U.S.C. 3710a; or (2)...

  7. 22 CFR 1008.620 - Cooperative agreement.

    Code of Federal Regulations, 2011 CFR

    2011-04-01

    ... 22 Foreign Relations 2 2011-04-01 2009-04-01 true Cooperative agreement. 1008.620 Section 1008.620... ASSISTANCE) Definitions § 1008.620 Cooperative agreement. Cooperative agreement means an award of financial... term does not include cooperative research and development agreements as defined in 15 U.S.C. 3710a....

  8. 26 CFR 601.802 - Cooperative agreements.

    Code of Federal Regulations, 2011 CFR

    2011-04-01

    ... 26 Internal Revenue 20 2011-04-01 2011-04-01 false Cooperative agreements. 601.802 Section 601.802... STATEMENT OF PROCEDURAL RULES Tax Counseling for the Elderly § 601.802 Cooperative agreements. (a) General... cooperative agreements with the Internal Revenue Service. Use of cooperative agreements is in accordance...

  9. 22 CFR 1008.620 - Cooperative agreement.

    Code of Federal Regulations, 2013 CFR

    2013-04-01

    ... 22 Foreign Relations 2 2013-04-01 2009-04-01 true Cooperative agreement. 1008.620 Section 1008.620... ASSISTANCE) Definitions § 1008.620 Cooperative agreement. Cooperative agreement means an award of financial... term does not include cooperative research and development agreements as defined in 15 U.S.C. 3710a....

  10. 45 CFR 1155.620 - Cooperative agreement.

    Code of Federal Regulations, 2012 CFR

    2012-10-01

    ... 45 Public Welfare 3 2012-10-01 2012-10-01 false Cooperative agreement. 1155.620 Section 1155.620... ASSISTANCE) Definitions § 1155.620 Cooperative agreement. Cooperative agreement means an award of financial... term does not include cooperative research and development agreements as defined in 15 U.S.C. 3710a....

  11. 49 CFR 32.620 - Cooperative agreement.

    Code of Federal Regulations, 2012 CFR

    2012-10-01

    ... 49 Transportation 1 2012-10-01 2012-10-01 false Cooperative agreement. 32.620 Section 32.620... (FINANCIAL ASSISTANCE) Definitions § 32.620 Cooperative agreement. Cooperative agreement means an award of... term does not include cooperative research and development agreements as defined in 15 U.S.C. 3710a....

  12. 29 CFR 94.620 - Cooperative agreement.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... 29 Labor 1 2011-07-01 2011-07-01 false Cooperative agreement. 94.620 Section 94.620 Labor Office...) Definitions § 94.620 Cooperative agreement. Cooperative agreement means an award of financial assistance that... cooperative research and development agreements as defined in 15 U.S.C. 3710a....

  13. 45 CFR 1173.620 - Cooperative agreement.

    Code of Federal Regulations, 2010 CFR

    2010-10-01

    ... 45 Public Welfare 3 2010-10-01 2010-10-01 false Cooperative agreement. 1173.620 Section 1173.620... (FINANCIAL ASSISTANCE) Definitions § 1173.620 Cooperative agreement. Cooperative agreement means an award of... award. The term does not include cooperative research and development agreements as defined in 15...

  14. 2 CFR 182.620 - Cooperative agreement.

    Code of Federal Regulations, 2012 CFR

    2012-01-01

    ... 2 Grants and Agreements 1 2012-01-01 2012-01-01 false Cooperative agreement. 182.620 Section 182... GOVERNMENTWIDE REQUIREMENTS FOR DRUG-FREE WORKPLACE (FINANCIAL ASSISTANCE) Definitions § 182.620 Cooperative agreement. Cooperative agreement means an award of financial assistance that, consistent with 31 U.S.C....

  15. 21 CFR 1405.620 - Cooperative agreement.

    Code of Federal Regulations, 2013 CFR

    2013-04-01

    ... 21 Food and Drugs 9 2013-04-01 2013-04-01 false Cooperative agreement. 1405.620 Section 1405.620... WORKPLACE (FINANCIAL ASSISTANCE) Definitions § 1405.620 Cooperative agreement. Cooperative agreement means... contemplated by the award. The term does not include cooperative research and development agreements as...

  16. 2 CFR 182.620 - Cooperative agreement.

    Code of Federal Regulations, 2014 CFR

    2014-01-01

    ... 2 Grants and Agreements 1 2014-01-01 2014-01-01 false Cooperative agreement. 182.620 Section 182... FOR DRUG-FREE WORKPLACE (FINANCIAL ASSISTANCE) Definitions § 182.620 Cooperative agreement. Cooperative agreement means an award of financial assistance that, consistent with 31 U.S.C. 6305, is used...

  17. 26 CFR 601.802 - Cooperative agreements.

    Code of Federal Regulations, 2012 CFR

    2012-04-01

    ... 26 Internal Revenue 20 2012-04-01 2012-04-01 false Cooperative agreements. 601.802 Section 601.802... STATEMENT OF PROCEDURAL RULES Tax Counseling for the Elderly § 601.802 Cooperative agreements. (a) General... cooperative agreements with the Internal Revenue Service. Use of cooperative agreements is in accordance...

  18. 49 CFR 32.620 - Cooperative agreement.

    Code of Federal Regulations, 2010 CFR

    2010-10-01

    ... 49 Transportation 1 2010-10-01 2010-10-01 false Cooperative agreement. 32.620 Section 32.620... (FINANCIAL ASSISTANCE) Definitions § 32.620 Cooperative agreement. Cooperative agreement means an award of... term does not include cooperative research and development agreements as defined in 15 U.S.C. 3710a....

  19. 22 CFR 312.620 - Cooperative agreement.

    Code of Federal Regulations, 2014 CFR

    2014-04-01

    ... 22 Foreign Relations 2 2014-04-01 2014-04-01 false Cooperative agreement. 312.620 Section 312.620...) Definitions § 312.620 Cooperative agreement. Cooperative agreement means an award of financial assistance that... cooperative research and development agreements as defined in 15 U.S.C. 3710a....

  20. 36 CFR 1212.620 - Cooperative agreement.

    Code of Federal Regulations, 2014 CFR

    2014-07-01

    ... 36 Parks, Forests, and Public Property 3 2014-07-01 2014-07-01 false Cooperative agreement. 1212... § 1212.620 Cooperative agreement. Cooperative agreement means an award of financial assistance that... include cooperative research and development agreements as defined in 15 U.S.C. 3710a....

  1. 45 CFR 1155.620 - Cooperative agreement.

    Code of Federal Regulations, 2014 CFR

    2014-10-01

    ... 45 Public Welfare 3 2014-10-01 2014-10-01 false Cooperative agreement. 1155.620 Section 1155.620... ASSISTANCE) Definitions § 1155.620 Cooperative agreement. Cooperative agreement means an award of financial... term does not include cooperative research and development agreements as defined in 15 U.S.C. 3710a....

  2. 21 CFR 1405.620 - Cooperative agreement.

    Code of Federal Regulations, 2014 CFR

    2014-04-01

    ... 21 Food and Drugs 9 2014-04-01 2014-04-01 false Cooperative agreement. 1405.620 Section 1405.620... WORKPLACE (FINANCIAL ASSISTANCE) Definitions § 1405.620 Cooperative agreement. Cooperative agreement means... contemplated by the award. The term does not include cooperative research and development agreements as...

  3. 28 CFR 83.620 - Cooperative agreement.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... 28 Judicial Administration 2 2011-07-01 2011-07-01 false Cooperative agreement. 83.620 Section 83...-FREE WORKPLACE (GRANTS) Definitions § 83.620 Cooperative agreement. Cooperative agreement means an... by the award. The term does not include cooperative research and development agreements as defined...

  4. 29 CFR 94.620 - Cooperative agreement.

    Code of Federal Regulations, 2013 CFR

    2013-07-01

    ... 29 Labor 1 2013-07-01 2013-07-01 false Cooperative agreement. 94.620 Section 94.620 Labor Office...) Definitions § 94.620 Cooperative agreement. Cooperative agreement means an award of financial assistance that... cooperative research and development agreements as defined in 15 U.S.C. 3710a....

  5. 22 CFR 133.620 - Cooperative agreement.

    Code of Federal Regulations, 2012 CFR

    2012-04-01

    ... 22 Foreign Relations 1 2012-04-01 2012-04-01 false Cooperative agreement. 133.620 Section 133.620... (FINANCIAL ASSISTANCE) Definitions § 133.620 Cooperative agreement. Cooperative agreement means an award of... term does not include cooperative research and development agreements as defined in 15 U.S.C. 3710a....

  6. 45 CFR 1155.620 - Cooperative agreement.

    Code of Federal Regulations, 2010 CFR

    2010-10-01

    ... 45 Public Welfare 3 2010-10-01 2010-10-01 false Cooperative agreement. 1155.620 Section 1155.620... ASSISTANCE) Definitions § 1155.620 Cooperative agreement. Cooperative agreement means an award of financial... term does not include cooperative research and development agreements as defined in 15 U.S.C. 3710a....

  7. 36 CFR 1212.620 - Cooperative agreement.

    Code of Federal Regulations, 2013 CFR

    2013-07-01

    ... 36 Parks, Forests, and Public Property 3 2013-07-01 2012-07-01 true Cooperative agreement. 1212... § 1212.620 Cooperative agreement. Cooperative agreement means an award of financial assistance that... include cooperative research and development agreements as defined in 15 U.S.C. 3710a....

  8. 21 CFR 1405.620 - Cooperative agreement.

    Code of Federal Regulations, 2012 CFR

    2012-04-01

    ... 21 Food and Drugs 9 2012-04-01 2012-04-01 false Cooperative agreement. 1405.620 Section 1405.620... WORKPLACE (FINANCIAL ASSISTANCE) Definitions § 1405.620 Cooperative agreement. Cooperative agreement means... contemplated by the award. The term does not include cooperative research and development agreements as...

  9. 22 CFR 210.620 - Cooperative agreement.

    Code of Federal Regulations, 2011 CFR

    2011-04-01

    ... 22 Foreign Relations 1 2011-04-01 2011-04-01 false Cooperative agreement. 210.620 Section 210.620... (FINANCIAL ASSISTANCE) Definitions § 210.620 Cooperative agreement. Cooperative agreement means an award of... term does not include cooperative research and development agreements as defined in 15 U.S.C. 3710a....

  10. 28 CFR 83.620 - Cooperative agreement.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... 28 Judicial Administration 2 2010-07-01 2010-07-01 false Cooperative agreement. 83.620 Section 83...-FREE WORKPLACE (GRANTS) Definitions § 83.620 Cooperative agreement. Cooperative agreement means an... by the award. The term does not include cooperative research and development agreements as defined...

  11. 49 CFR 32.620 - Cooperative agreement.

    Code of Federal Regulations, 2011 CFR

    2011-10-01

    ... 49 Transportation 1 2011-10-01 2011-10-01 false Cooperative agreement. 32.620 Section 32.620... (FINANCIAL ASSISTANCE) Definitions § 32.620 Cooperative agreement. Cooperative agreement means an award of... term does not include cooperative research and development agreements as defined in 15 U.S.C. 3710a....

  12. 7 CFR 1491.20 - Cooperative agreements.

    Code of Federal Regulations, 2011 CFR

    2011-01-01

    ... 7 Agriculture 10 2011-01-01 2011-01-01 false Cooperative agreements. 1491.20 Section 1491.20... Cooperative Agreements and Conservation Easement Deeds § 1491.20 Cooperative agreements. (a) NRCS, on behalf of CCC, shall enter into a cooperative agreement with those entities selected for funding. Once...

  13. 22 CFR 133.620 - Cooperative agreement.

    Code of Federal Regulations, 2014 CFR

    2014-04-01

    ... 22 Foreign Relations 1 2014-04-01 2014-04-01 false Cooperative agreement. 133.620 Section 133.620... (FINANCIAL ASSISTANCE) Definitions § 133.620 Cooperative agreement. Cooperative agreement means an award of... term does not include cooperative research and development agreements as defined in 15 U.S.C. 3710a....

  14. 28 CFR 83.620 - Cooperative agreement.

    Code of Federal Regulations, 2012 CFR

    2012-07-01

    ... 28 Judicial Administration 2 2012-07-01 2012-07-01 false Cooperative agreement. 83.620 Section 83...-FREE WORKPLACE (GRANTS) Definitions § 83.620 Cooperative agreement. Cooperative agreement means an... by the award. The term does not include cooperative research and development agreements as defined...

  15. 2 CFR 182.620 - Cooperative agreement.

    Code of Federal Regulations, 2013 CFR

    2013-01-01

    ... 2 Grants and Agreements 1 2013-01-01 2013-01-01 false Cooperative agreement. 182.620 Section 182... GOVERNMENTWIDE REQUIREMENTS FOR DRUG-FREE WORKPLACE (FINANCIAL ASSISTANCE) Definitions § 182.620 Cooperative agreement. Cooperative agreement means an award of financial assistance that, consistent with 31 U.S.C....

  16. 22 CFR 312.620 - Cooperative agreement.

    Code of Federal Regulations, 2011 CFR

    2011-04-01

    ... 22 Foreign Relations 2 2011-04-01 2009-04-01 true Cooperative agreement. 312.620 Section 312.620...) Definitions § 312.620 Cooperative agreement. Cooperative agreement means an award of financial assistance that... cooperative research and development agreements as defined in 15 U.S.C. 3710a....

  17. 22 CFR 1509.620 - Cooperative agreement.

    Code of Federal Regulations, 2013 CFR

    2013-04-01

    ... 22 Foreign Relations 2 2013-04-01 2009-04-01 true Cooperative agreement. 1509.620 Section 1509.620... (FINANCIAL ASSISTANCE) Definitions § 1509.620 Cooperative agreement. Cooperative agreement means an award of... award. The term does not include cooperative research and development agreements as defined in 15...

  18. 22 CFR 133.620 - Cooperative agreement.

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ... 22 Foreign Relations 1 2010-04-01 2010-04-01 false Cooperative agreement. 133.620 Section 133.620... (FINANCIAL ASSISTANCE) Definitions § 133.620 Cooperative agreement. Cooperative agreement means an award of... term does not include cooperative research and development agreements as defined in 15 U.S.C. 3710a....

  19. 26 CFR 601.802 - Cooperative agreements.

    Code of Federal Regulations, 2014 CFR

    2014-04-01

    ... 26 Internal Revenue 20 2014-04-01 2014-04-01 false Cooperative agreements. 601.802 Section 601.802... STATEMENT OF PROCEDURAL RULES Tax Counseling for the Elderly § 601.802 Cooperative agreements. (a) General... cooperative agreements with the Internal Revenue Service. Use of cooperative agreements is in accordance...

  20. 7 CFR 3021.620 - Cooperative agreement.

    Code of Federal Regulations, 2011 CFR

    2011-01-01

    ... 7 Agriculture 15 2011-01-01 2011-01-01 false Cooperative agreement. 3021.620 Section 3021.620...) Definitions § 3021.620 Cooperative agreement. Cooperative agreement means an award of financial assistance... not include cooperative research and development agreements as defined in 15 U.S.C. 3710a....

  1. 49 CFR 32.620 - Cooperative agreement.

    Code of Federal Regulations, 2013 CFR

    2013-10-01

    ... 49 Transportation 1 2013-10-01 2013-10-01 false Cooperative agreement. 32.620 Section 32.620... (FINANCIAL ASSISTANCE) Definitions § 32.620 Cooperative agreement. Cooperative agreement means an award of... term does not include cooperative research and development agreements as defined in 15 U.S.C. 3710a....

  2. 36 CFR 1212.620 - Cooperative agreement.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... 36 Parks, Forests, and Public Property 3 2010-07-01 2010-07-01 false Cooperative agreement. 1212... § 1212.620 Cooperative agreement. Cooperative agreement means an award of financial assistance that... include cooperative research and development agreements as defined in 15 U.S.C. 3710a....

  3. 29 CFR 94.620 - Cooperative agreement.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... 29 Labor 1 2010-07-01 2010-07-01 true Cooperative agreement. 94.620 Section 94.620 Labor Office of...) Definitions § 94.620 Cooperative agreement. Cooperative agreement means an award of financial assistance that... cooperative research and development agreements as defined in 15 U.S.C. 3710a....

  4. 2 CFR 1401.220 - Cooperative agreement.

    Code of Federal Regulations, 2013 CFR

    2013-01-01

    ... 2 Grants and Agreements 1 2013-01-01 2013-01-01 false Cooperative agreement. 1401.220 Section 1401... INTERIOR REQUIREMENTS FOR DRUG-FREE WORKPLACE (FINANCIAL ASSISTANCE) Definitions § 1401.220 Cooperative agreement. Cooperative agreement means an award of financial assistance that, consistent with 31 U.S.C....

  5. 49 CFR 32.620 - Cooperative agreement.

    Code of Federal Regulations, 2014 CFR

    2014-10-01

    ... 49 Transportation 1 2014-10-01 2014-10-01 false Cooperative agreement. 32.620 Section 32.620... (FINANCIAL ASSISTANCE) Definitions § 32.620 Cooperative agreement. Cooperative agreement means an award of... term does not include cooperative research and development agreements as defined in 15 U.S.C. 3710a....

  6. 21 CFR 1405.620 - Cooperative agreement.

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ... 21 Food and Drugs 9 2010-04-01 2010-04-01 false Cooperative agreement. 1405.620 Section 1405.620... WORKPLACE (FINANCIAL ASSISTANCE) Definitions § 1405.620 Cooperative agreement. Cooperative agreement means... contemplated by the award. The term does not include cooperative research and development agreements as...

  7. 22 CFR 1509.620 - Cooperative agreement.

    Code of Federal Regulations, 2012 CFR

    2012-04-01

    ... 22 Foreign Relations 2 2012-04-01 2009-04-01 true Cooperative agreement. 1509.620 Section 1509.620... (FINANCIAL ASSISTANCE) Definitions § 1509.620 Cooperative agreement. Cooperative agreement means an award of... award. The term does not include cooperative research and development agreements as defined in 15...

  8. 22 CFR 312.620 - Cooperative agreement.

    Code of Federal Regulations, 2013 CFR

    2013-04-01

    ... 22 Foreign Relations 2 2013-04-01 2009-04-01 true Cooperative agreement. 312.620 Section 312.620...) Definitions § 312.620 Cooperative agreement. Cooperative agreement means an award of financial assistance that... cooperative research and development agreements as defined in 15 U.S.C. 3710a....

  9. 28 CFR 83.620 - Cooperative agreement.

    Code of Federal Regulations, 2013 CFR

    2013-07-01

    ... 28 Judicial Administration 2 2013-07-01 2013-07-01 false Cooperative agreement. 83.620 Section 83...-FREE WORKPLACE (GRANTS) Definitions § 83.620 Cooperative agreement. Cooperative agreement means an... by the award. The term does not include cooperative research and development agreements as defined...

  10. 22 CFR 133.620 - Cooperative agreement.

    Code of Federal Regulations, 2011 CFR

    2011-04-01

    ... 22 Foreign Relations 1 2011-04-01 2011-04-01 false Cooperative agreement. 133.620 Section 133.620... (FINANCIAL ASSISTANCE) Definitions § 133.620 Cooperative agreement. Cooperative agreement means an award of... term does not include cooperative research and development agreements as defined in 15 U.S.C. 3710a....

  11. 28 CFR 83.620 - Cooperative agreement.

    Code of Federal Regulations, 2014 CFR

    2014-07-01

    ... 28 Judicial Administration 2 2014-07-01 2014-07-01 false Cooperative agreement. 83.620 Section 83...-FREE WORKPLACE (GRANTS) Definitions § 83.620 Cooperative agreement. Cooperative agreement means an... by the award. The term does not include cooperative research and development agreements as defined...

  12. 34 CFR 84.620 - Cooperative agreement.

    Code of Federal Regulations, 2013 CFR

    2013-07-01

    ... 34 Education 1 2013-07-01 2013-07-01 false Cooperative agreement. 84.620 Section 84.620 Education... (FINANCIAL ASSISTANCE) Definitions § 84.620 Cooperative agreement. Cooperative agreement means an award of... term does not include cooperative research and development agreements as defined in 15 U.S.C....

  13. 29 CFR 94.620 - Cooperative agreement.

    Code of Federal Regulations, 2014 CFR

    2014-07-01

    ... 29 Labor 1 2014-07-01 2013-07-01 true Cooperative agreement. 94.620 Section 94.620 Labor Office of...) Definitions § 94.620 Cooperative agreement. Cooperative agreement means an award of financial assistance that... cooperative research and development agreements as defined in 15 U.S.C. 3710a....

  14. 22 CFR 210.620 - Cooperative agreement.

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ... 22 Foreign Relations 1 2010-04-01 2010-04-01 false Cooperative agreement. 210.620 Section 210.620... (FINANCIAL ASSISTANCE) Definitions § 210.620 Cooperative agreement. Cooperative agreement means an award of... term does not include cooperative research and development agreements as defined in 15 U.S.C. 3710a....

  15. 22 CFR 1509.620 - Cooperative agreement.

    Code of Federal Regulations, 2011 CFR

    2011-04-01

    ... 22 Foreign Relations 2 2011-04-01 2009-04-01 true Cooperative agreement. 1509.620 Section 1509.620... (FINANCIAL ASSISTANCE) Definitions § 1509.620 Cooperative agreement. Cooperative agreement means an award of... award. The term does not include cooperative research and development agreements as defined in 15...

  16. 29 CFR 94.620 - Cooperative agreement.

    Code of Federal Regulations, 2012 CFR

    2012-07-01

    ... 29 Labor 1 2012-07-01 2012-07-01 false Cooperative agreement. 94.620 Section 94.620 Labor Office...) Definitions § 94.620 Cooperative agreement. Cooperative agreement means an award of financial assistance that... cooperative research and development agreements as defined in 15 U.S.C. 3710a....

  17. 22 CFR 1008.620 - Cooperative agreement.

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ... 22 Foreign Relations 2 2010-04-01 2010-04-01 true Cooperative agreement. 1008.620 Section 1008.620... ASSISTANCE) Definitions § 1008.620 Cooperative agreement. Cooperative agreement means an award of financial... term does not include cooperative research and development agreements as defined in 15 U.S.C. 3710a....

  18. 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... (FINANCIAL ASSISTANCE) Definitions § 84.620 Cooperative agreement. Cooperative agreement means an award of... term does not include cooperative research and development agreements as defined in 15 U.S.C....

  19. 34 CFR 84.620 - Cooperative agreement.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... 34 Education 1 2011-07-01 2011-07-01 false Cooperative agreement. 84.620 Section 84.620 Education... (FINANCIAL ASSISTANCE) Definitions § 84.620 Cooperative agreement. Cooperative agreement means an award of... term does not include cooperative research and development agreements as defined in 15 U.S.C....

  20. 2 CFR 1401.220 - Cooperative agreement.

    Code of Federal Regulations, 2012 CFR

    2012-01-01

    ... 2 Grants and Agreements 1 2012-01-01 2012-01-01 false Cooperative agreement. 1401.220 Section 1401... INTERIOR REQUIREMENTS FOR DRUG-FREE WORKPLACE (FINANCIAL ASSISTANCE) Definitions § 1401.220 Cooperative agreement. Cooperative agreement means an award of financial assistance that, consistent with 31 U.S.C....

  1. 7 CFR 3021.620 - Cooperative agreement.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... 7 Agriculture 15 2010-01-01 2010-01-01 false Cooperative agreement. 3021.620 Section 3021.620...) Definitions § 3021.620 Cooperative agreement. Cooperative agreement means an award of financial assistance... not include cooperative research and development agreements as defined in 15 U.S.C. 3710a....

  2. 7 CFR 3021.620 - Cooperative agreement.

    Code of Federal Regulations, 2012 CFR

    2012-01-01

    ... 7 Agriculture 15 2012-01-01 2012-01-01 false Cooperative agreement. 3021.620 Section 3021.620...) Definitions § 3021.620 Cooperative agreement. Cooperative agreement means an award of financial assistance... not include cooperative research and development agreements as defined in 15 U.S.C. 3710a....

  3. 22 CFR 1008.620 - Cooperative agreement.

    Code of Federal Regulations, 2014 CFR

    2014-04-01

    ... 22 Foreign Relations 2 2014-04-01 2014-04-01 false Cooperative agreement. 1008.620 Section 1008... (FINANCIAL ASSISTANCE) Definitions § 1008.620 Cooperative agreement. Cooperative agreement means an award of... award. The term does not include cooperative research and development agreements as defined in 15...

  4. 22 CFR 1509.620 - Cooperative agreement.

    Code of Federal Regulations, 2014 CFR

    2014-04-01

    ... 22 Foreign Relations 2 2014-04-01 2014-04-01 false Cooperative agreement. 1509.620 Section 1509... WORKPLACE (FINANCIAL ASSISTANCE) Definitions § 1509.620 Cooperative agreement. Cooperative agreement means... contemplated by the award. The term does not include cooperative research and development agreements as...

  5. 21 CFR 1405.620 - Cooperative agreement.

    Code of Federal Regulations, 2011 CFR

    2011-04-01

    ... 21 Food and Drugs 9 2011-04-01 2011-04-01 false Cooperative agreement. 1405.620 Section 1405.620... WORKPLACE (FINANCIAL ASSISTANCE) Definitions § 1405.620 Cooperative agreement. Cooperative agreement means... contemplated by the award. The term does not include cooperative research and development agreements as...

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

  7. 76 FR 16420 - Notice of Agreements Filed

    Federal Register 2010, 2011, 2012, 2013, 2014

    2011-03-23

    ....gov . Agreement No.: 011790-001. Title: Dole Ocean Cargo Express/King Ocean Services Limited Space Charter Agreement. Parties: Dole Ocean Cargo Express, Inc., and King Ocean Services Limited. Filing Party... of King Ocean, and restate the Agreement. Agreement No.: 012088-001. Title: Hanjin and...

  8. 23 CFR 710.307 - Project agreement.

    Code of Federal Regulations, 2011 CFR

    2011-04-01

    ... 23 Highways 1 2011-04-01 2011-04-01 false Project agreement. 710.307 Section 710.307 Highways... REAL ESTATE Project Development § 710.307 Project agreement. As a condition of Federal-aid, the STD... project agreement in accordance with 23 CFR part 630, subpart C. The agreement shall be based on...

  9. 23 CFR 710.307 - Project agreement.

    Code of Federal Regulations, 2012 CFR

    2012-04-01

    ... 23 Highways 1 2012-04-01 2012-04-01 false Project agreement. 710.307 Section 710.307 Highways... REAL ESTATE Project Development § 710.307 Project agreement. As a condition of Federal-aid, the STD... project agreement in accordance with 23 CFR part 630, subpart C. The agreement shall be based on...

  10. 23 CFR 710.307 - Project agreement.

    Code of Federal Regulations, 2013 CFR

    2013-04-01

    ... 23 Highways 1 2013-04-01 2013-04-01 false Project agreement. 710.307 Section 710.307 Highways... REAL ESTATE Project Development § 710.307 Project agreement. As a condition of Federal-aid, the STD... project agreement in accordance with 23 CFR part 630, subpart C. The agreement shall be based on...

  11. 23 CFR 710.307 - Project agreement.

    Code of Federal Regulations, 2014 CFR

    2014-04-01

    ... 23 Highways 1 2014-04-01 2014-04-01 false Project agreement. 710.307 Section 710.307 Highways... REAL ESTATE Project Development § 710.307 Project agreement. As a condition of Federal-aid, the STD... project agreement in accordance with 23 CFR part 630, subpart C. The agreement shall be based on...

  12. 75 FR 19402 - Notice of Agreements Filed

    Federal Register 2010, 2011, 2012, 2013, 2014

    2010-04-14

    .... Agreement No.: 012042-002. Title: MOL/ELJSA Slot Exchange Agreement. Parties: Evergreen Line Joint Service.... Title: MOL/APL/HMM Asia/USWC Slot Charter Agreement. Parties: American President Lines, Ltd.; APL Co... sold, and updates party addresses. Agreement No.: 012044-003. Title: MOL/CMA CGM Slot Charter...

  13. 7 CFR 1948.98 - Grant agreements.

    Code of Federal Regulations, 2012 CFR

    2012-01-01

    ... 7 Agriculture 13 2012-01-01 2012-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...

  14. Originator dynamics

    PubMed Central

    Manapat, Michael; Ohtsuki, Hisashi; Bürger, Reinhard; Nowak, Martin A.

    2009-01-01

    We study the origin of evolution. Evolution is based on replication, mutation, and selection. But how does evolution begin? When do chemical kinetics turn into evolutionary dynamics? We propose “prelife” and “prevolution” as the logical precursors of life and evolution. Prelife generates sequences of variable length. Prelife is a generative chemistry that proliferates information and produces diversity without replication. The resulting “prevolutionary dynamics” have mutation and selection. We propose an equation that allows us to investigate the origin of evolution. In one limit, this “originator equation” gives the classical selection equation. In the other limit, we obtain “prelife.” There is competition between life and prelife and there can be selection for or against replication. Simple prelife equations with uniform rate constants have the property that longer sequences are exponentially less frequent than shorter ones. But replication can reverse such an ordering. As the replication rate increases, some longer sequences can become more frequent than shorter ones. Thus, replication can lead to “reversals” in the equilibrium portraits. We study these reversals, which mark the transition from prelife to life in our model. If the replication potential exceeds a critical value, then life replicates into existence. PMID:18996397

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

  16. The oil and gas joint operating agreement

    SciTech Connect

    Not Available

    1990-01-01

    This book covers the following topics: introduction to the AAPL model form operating agreement; property provisions of the operating agreement; Article 6---the drilling and development article; duties and obligations revisited---who bear what risk of loss; operator's liens; accounting procedure joint operations; insurance; taking gas in kind absent a balancing agreement; RMMLF Form 5 Gas Balancing Agreement; tax partnerships for nontax professionals; alternative agreement forms.

  17. INNOVATIVE TECHNOLOGY VERIFICATION REPORT XRF ...

    EPA Pesticide Factsheets

    The Niton XLt 700 Series (XLt) XRF Services x-ray fluorescence (XRF) analyzer was demonstrated under the U.S. Environmental Protection Agency (EPA) Superfund Innovative Technology Evaluation (SITE) Program. The field portion of the demonstration was conducted in January 2005 at the Kennedy Athletic, Recreational and Social Park (KARS) at Kennedy Space Center on Merritt Island, Florida. The demonstration was designed to collect reliable performance and cost data for the XLt analyzer and seven other commercially available XRF instruments for measuring trace elements in soil and sediment. The performance and cost data were evaluated to document the relative performance of each XRF instrument. This innovative technology verification report describes the objectives and the results of that evaluation and serves to verify the performance and cost of the XLt analyzer. Separate reports have been prepared for the other XRF instruments that were evaluated as part of the demonstration. The objectives of the evaluation included determining each XRF instrument’s accuracy, precision, sample throughput, and tendency for matrix effects. To fulfill these objectives, the field demonstration incorporated the analysis of 326 prepared samples of soil and sediment that contained 13 target elements. The prepared samples included blends of environmental samples from nine different sample collection sites as well as spiked samples with certified element concentrations. Accuracy

  18. INNOVATIVE TECHNOLOGY VERIFICATION REPORT XRF ...

    EPA Pesticide Factsheets

    The Elvatech, Ltd. ElvaX (ElvaX) x-ray fluorescence (XRF) analyzer distributed in the United States by Xcalibur XRF Services (Xcalibur), was demonstrated under the U.S. Environmental Protection Agency (EPA) Superfund Innovative Technology Evaluation (SITE) Program. The field portion of the demonstration was conducted in January 2005 at the Kennedy Athletic, Recreational and Social Park (KARS) at Kennedy Space Center on Merritt Island, Florida. The demonstration was designed to collect reliable performance and cost data for the ElvaX analyzer and seven other commercially available XRF instruments for measuring trace elements in soil and sediment. The performance and cost data were evaluated to document the relative performance of each XRF instrument. This innovative technology verification report describes the objectives and the results of that evaluation and serves to verify the performance and cost of the ElvaX analyzer. Separate reports have been prepared for the other XRF instruments that were evaluated as part of the demonstration. The objectives of the evaluation included determining each XRF instrument’s accuracy, precision, sample throughput, and tendency for matrix effects. To fulfill these objectives, the field demonstration incorporated the analysis of 326 prepared samples of soil and sediment that contained 13 target elements. The prepared samples included blends of environmental samples from nine different sample collection sites as well as s

  19. INNOVATIVE TECHNOLOGY VERIFICATION REPORT XRF ...

    EPA Pesticide Factsheets

    The Oxford ED2000 x-ray fluorescence (XRF) analyzer was demonstrated under the U.S. Environmental Protection Agency (EPA) Superfund Innovative Technology Evaluation (SITE) Program. The field portion of the demonstration was conducted in January 2005 at the Kennedy Athletic, Recreational and Social Park (KARS) at Kennedy Space Center on Merritt Island, Florida. The demonstration was designed to collect reliable performance and cost data for the ED2000 analyzer and seven other commercially available XRF instruments for measuring trace elements in soil and sediment. The performance and cost data were evaluated to document the relative performance of each XRF instrument. This innovative technology verification report describes the objectives and the results of that evaluation and serves to verify the performance and cost of the ED2000 analyzer. Separate reports have been prepared for the other XRF instruments that were evaluated as part of the demonstration. The objectives of the evaluation included determining each XRF instrument’s accuracy, precision, sample throughput, and tendency for matrix effects. To fulfill these objectives, the field demonstration incorporated the analysis of 326 prepared samples of soil and sediment that contained 13 target elements. The prepared samples included blends of environmental samples from nine different sample collection sites as well as spiked samples with certified element concentrations. Accuracy was assessed by com

  20. INNOVATIVE TECHNOLOGY VERIFICATION REPORT XRF ...

    EPA Pesticide Factsheets

    The Rigaku ZSX Mini II (ZSX Mini II) XRF Services x-ray fluorescence (XRF) analyzer was demon-strated under the U.S. Environmental Protection Agency (EPA) Superfund Innovative Technology Evaluation (SITE) Program. The field portion of the demonstration was conducted in January 2005 at the Kennedy Athletic, Recreational and Social Park (KARS) at Kennedy Space Center on Merritt Island, Florida. The demonstration was designed to collect reliable performance and cost data for the ZSX Mini II analyzer and seven other commercially available XRF instruments for measuring trace elements in soil and sediment. The performance and cost data were evaluated to document the relative performance of each XRF instrument. This innovative technology verification report describes the objectives and the results of that evaluation and serves to verify the performance and cost of the ZSX Mini II analyzer. Separate reports have been prepared for the other XRF instruments that were evaluated as part of the demonstration. The objectives of the evaluation included determining each XRF instrument’s accuracy, precision, sample throughput, and tendency for matrix effects. To fulfill these objectives, the field demonstration incorporated the analysis of 326 prepared samples of soil and sediment that contained 13 target elements. The prepared samples included blends of environmental samples from nine different sample collection sites as well as spiked samples with certified element con

  1. INNOVATIVE TECHNOLOGY VERIFICATION REPORT XRF ...

    EPA Pesticide Factsheets

    The Innov-X XT400 Series (XT400) x-ray fluorescence (XRF) analyzer was demonstrated under the U.S. Environmental Protection Agency (EPA) Superfund Innovative Technology Evaluation (SITE) Program. The field portion of the demonstration was conducted in January 2005 at the Kennedy Athletic, Recreational and Social Park (KARS) at Kennedy Space Center on Merritt Island, Florida. The demonstration was designed to collect reliable performance and cost data for the XT400 analyzer and seven other commercially available XRF instruments for measuring trace elements in soil and sediment. The performance and cost data were evaluated to document the relative performance of each XRF instrument. This innovative technology verification report describes the objectives and the results of that evaluation and serves to verify the performance and cost of the XT400 analyzer. Separate reports have been prepared for the other XRF instruments that were evaluated as part of the demonstration. The objectives of the evaluation included determining each XRF instrument’s accuracy, precision, sample throughput, and tendency for matrix effects. To fulfill these objectives, the field demonstration incorporated the analysis of 326 prepared samples of soil and sediment that contained 13 target elements. The prepared samples included blends of environmental samples from nine different sample collection sites as well as spiked samples with certified element concentrations. Accuracy was as

  2. INNOVATIVE TECHNOLOGY VERIFICATION REPORT XRF ...

    EPA Pesticide Factsheets

    The Rontec PicoTAX x-ray fluorescence (XRF) analyzer was demonstrated under the U.S. Environmental Protection Agency (EPA) Superfund Innovative Technology Evaluation (SITE) Program. The field portion of the demonstration was conducted in January 2005 at the Kennedy Athletic, Recreational and Social Park (KARS) at Kennedy Space Center on Merritt Island, Florida. The demonstration was designed to collect reliable performance and cost data for the PicoTAX analyzer and seven other commercially available XRF instruments for measuring trace elements in soil and sediment. The performance and cost data were evaluated to document the relative performance of each XRF instrument. This innovative technology verification report describes the objectives and the results of that evaluation and serves to verify the performance and cost of the PicoTAX analyzer. Separate reports have been prepared for the other XRF instruments that were evaluated as part of the demonstration. The objectives of the evaluation included determining each XRF instrument’s accuracy, precision, sample throughput, and tendency for matrix effects. To fulfill these objectives, the field demonstration incorporated the analysis of 326 prepared samples of soil and sediment that contained 13 target elements. The prepared samples included blends of environmental samples from nine different sample collection sites as well as spiked samples with certified element concentrations. Accuracy was assessed by c

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

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

  5. ALMA Band 5 Science Verification

    NASA Astrophysics Data System (ADS)

    Humphreys, L.; Biggs, A.; Immer, K.; Laing, R.; Liu, H. B.; Marconi, G.; Mroczkowski, T.; Testi, L.; Yagoubov, P.

    2017-03-01

    ALMA Band 5 (163–211 GHz) was recently commissioned and Science Verification (SV) observations were obtained in the latter half of 2016. A primary scientific focus of this band is the H2O line at 183.3 GHz, which can be observed around 15% of the time when the precipitable water vapour is sufficiently low (< 0.5 mm). Many more lines are covered in Band 5 and can be observed for over 70% of the time on Chajnantor, requiring similar restrictions to those for ALMA Bands 4 and 6. Examples include the H218O line at 203 GHz, some of the bright (3–2) lines of singly and doubly deuterated forms of formaldehyde, the (2–1) lines of HCO+, HCN, HNC, N2H+ and several of their isotopologues. A young star-forming region near the centre of the Milky Way, an evolved star also in our Galaxy, and a nearby ultraluminous infrared galaxy (ULIRG) were observed as part of the SV process and the data are briefly described. The reduced data, along with imaged data products, are now public and demonstrate the power of ALMA for high-resolution studies of H2O and other molecules in a variety of astronomical targets.

  6. SU-E-T-49: A Multi-Institutional Study of Independent Dose Verification for IMRT

    SciTech Connect

    Baba, H; Tachibana, H; Kamima, T; Takahashi, R; Kawai, D; Sugawara, Y; Yamamoto, T; Sato, A; Yamashita, M

    2015-06-15

    Purpose: AAPM TG114 does not cover the independent verification for IMRT. We conducted a study of independent dose verification for IMRT in seven institutes to show the feasibility. Methods: 384 IMRT plans in the sites of prostate and head and neck (HN) were collected from the institutes, where the planning was performed using Eclipse and Pinnacle3 with the two techniques of step and shoot (S&S) and sliding window (SW). All of the institutes used a same independent dose verification software program (Simple MU Analysis: SMU, Triangle Product, Ishikawa, JP), which is Clarkson-based and CT images were used to compute radiological path length. An ion-chamber measurement in a water-equivalent slab phantom was performed to compare the doses computed using the TPS and an independent dose verification program. Additionally, the agreement in dose computed in patient CT images between using the TPS and using the SMU was assessed. The dose of the composite beams in the plan was evaluated. Results: The agreement between the measurement and the SMU were −2.3±1.9 % and −5.6±3.6 % for prostate and HN sites, respectively. The agreement between the TPSs and the SMU were −2.1±1.9 % and −3.0±3.7 for prostate and HN sites, respectively. There was a negative systematic difference with similar standard deviation and the difference was larger in the HN site. The S&S technique showed a statistically significant difference between the SW. Because the Clarkson-based method in the independent program underestimated (cannot consider) the dose under the MLC. Conclusion: The accuracy would be improved when the Clarkson-based algorithm should be modified for IMRT and the tolerance level would be within 5%.

  7. Verification of the VARSKIN beta skin dose calculation computer code.

    PubMed

    Sherbini, Sami; DeCicco, Joseph; Gray, Anita Turner; Struckmeyer, Richard

    2008-06-01

    The computer code VARSKIN is used extensively to calculate dose to the skin resulting from contaminants on the skin or on protective clothing covering the skin. The code uses six pre-programmed source geometries, four of which are volume sources, and a wide range of user-selectable radionuclides. Some verification of this code had been carried out before the current version of the code, version 3.0, was released, but this was limited in extent and did not include all the source geometries that the code is capable of modeling. This work extends this verification to include all the source geometries that are programmed in the code over a wide range of beta radiation energies and skin depths. Verification was carried out by comparing the doses calculated using VARSKIN with the doses for similar geometries calculated using the Monte Carlo radiation transport code MCNP5. Beta end-point energies used in the calculations ranged from 0.3 MeV up to 2.3 MeV. The results showed excellent agreement between the MCNP and VARSKIN calculations, with the agreement being within a few percent for point and disc sources and within 20% for other sources with the exception of a few cases, mainly at the low end of the beta end-point energies. The accuracy of the VARSKIN results, based on the work in this paper, indicates that it is sufficiently accurate for calculation of skin doses resulting from skin contaminations, and that the uncertainties arising from the use of VARSKIN are likely to be small compared with other uncertainties that typically arise in this type of dose assessment, such as those resulting from a lack of exact information on the size, shape, and density of the contaminant, the depth of the sensitive layer of the skin at the location of the contamination, the duration of the exposure, and the possibility of the source moving over various areas of the skin during the exposure period if the contaminant is on protective clothing.

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

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

  11. On international fisheries agreements, entry deterrence, and ecological uncertainty.

    PubMed

    Ellefsen, Hans; Grønbæk, Lone; Ravn-Jonsen, Lars

    2017-02-10

    A prerequisite for an international fisheries agreement (IFA) to be stable is that parties expect the benefits from joining the agreement to exceed the benefits from free riding on the agreement, and parties only comply with the agreement as long as this is true. The agreement, therefore, implicitly builds on an expectation of the ecological condition of the natural resource. Game theoretical models often assume that all parties have the same (often perfect) information about the resource and that the exploitation is an equilibrium use of the stock. As stated by experts in natural science, the fish ecology still has many open questions, for example how to predict population dynamics, migration patterns, food availability, etc. In some cases, parties disagree about the state, abundance, and migration of a stock, which can reduce the possibilities of reaching an agreement for exploitation of the stock. This paper develops a model and applies it to the North-East Atlantic mackerel fishery, in order to analyze an IFA under different ecological scenarios, and also combines the model with the economic theory of entry deterrence. The model is used empirically to determine whether the parties with original access to the resource have an advantage when forming an agreement with a new party in having the ability to fish the stock down to a smaller size and thereby prevent another party from entering into the fishery. With a basis in entry deterrence, combined with lack of information, the paper illustrates the obstacles that have made an agreement for the North-East Atlantic mackerel so difficult to achieve.

  12. An Efficient Joint Formulation for Bayesian Face Verification.

    PubMed

    Chen, Dong; Cao, Xudong; Wipf, David; Wen, Fang; Sun, Jian

    2017-01-01

    This paper revisits the classical Bayesian face recognition algorithm from Baback Moghaddam et al. and proposes enhancements tailored to face verification, the problem of predicting whether or not a pair of facial images share the same identity. Like a variety of face verification algorithms, the original Bayesian face model only considers the appearance difference between two faces rather than the raw images themselves. However, we argue that such a fixed and blind projection may prematurely reduce the separability between classes. Consequently, we model two facial images jointly with an appropriate prior that considers intra- and extra-personal variations over the image pairs. This joint formulation is trained using a principled EM algorithm, while testing involves only efficient closed-formed computations that are suitable for real-time practical deployment. Supporting theoretical analyses investigate computational complexity, scale-invariance properties, and convergence issues. We also detail important relationships with existing algorithms, such as probabilistic linear discriminant analysis and metric learning. Finally, on extensive experimental evaluations, the proposed model is superior to the classical Bayesian face algorithm and many alternative state-of-the-art supervised approaches, achieving the best test accuracy on three challenging datasets, Labeled Face in Wild, Multi-PIE, and YouTube Faces, all with unparalleled computational efficiency.

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

  14. Neighborhood Repulsed Metric Learning for Kinship Verification.

    PubMed

    Lu, Jiwen; Zhou, Xiuzhuang; Tan, Yap-Pen; Shang, Yuanyuan; Zhou, Jie

    2013-07-16

    Kinship verification from facial images is an interesting and challenging problem in computer vision, and there is very limited attempts on tackle this problem in the iterature. In this paper, we propose a new neighborhood repulsed metric learning (NRML) method for kinship verification. Motivated by the fact that interclass samples (without kinship relations) with higher similarity usually lie in a neighborhood and are more easily misclassified than those with lower similarity, we aim to learn a distance metric under which the intraclass samples (with kinship relations) are pulled as close as possible and interclass samples lying in a neighborhood are repulsed and pushed away as far as possible, simultaneously, such that more discriminative information can be exploited for verification. To make better use of multiple feature descriptors to extract complementary information, we further propose a multiview NRML (MNRML) method to seek a common distance metric to perform multiple feature fusion to improve the kinship verification performance. Experimental results are presented to demonstrate the efficacy of our proposed methods. Lastly, we also test human ability in kinship verification from facial images and our experimental results show that our methods are comparable to that of human observers.

  15. Neighborhood repulsed metric learning for kinship verification.

    PubMed

    Lu, Jiwen; Zhou, Xiuzhuang; Tan, Yap-Pen; Shang, Yuanyuan; Zhou, Jie

    2014-02-01

    Kinship verification from facial images is an interesting and challenging problem in computer vision, and there are very limited attempts on tackle this problem in the literature. In this paper, we propose a new neighborhood repulsed metric learning (NRML) method for kinship verification. Motivated by the fact that interclass samples (without a kinship relation) with higher similarity usually lie in a neighborhood and are more easily misclassified than those with lower similarity, we aim to learn a distance metric under which the intraclass samples (with a kinship relation) are pulled as close as possible and interclass samples lying in a neighborhood are repulsed and pushed away as far as possible, simultaneously, such that more discriminative information can be exploited for verification. To make better use of multiple feature descriptors to extract complementary information, we further propose a multiview NRML (MNRML) method to seek a common distance metric to perform multiple feature fusion to improve the kinship verification performance. Experimental results are presented to demonstrate the efficacy of our proposed methods. Finally, we also test human ability in kinship verification from facial images and our experimental results show that our methods are comparable to that of human observers.

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

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

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

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

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

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

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

  3. 78 FR 44563 - Notice of Agreement Filed

    Federal Register 2010, 2011, 2012, 2013, 2014

    2013-07-24

    ....: 012213. Title: Simatech/ELJSA Slot Purchase Agreement. Parties: Simatech Americas S.A. and Evergreen Line..., LLP; 61 Broadway, Suite 3000, New York, NY 10006- 2802. Synopsis: The agreement authorizes...

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

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

  6. 76 FR 72408 - Notice of Agreements Filed

    Federal Register 2010, 2011, 2012, 2013, 2014

    2011-11-23

    ....S. East coast. Agreement No.: 012146. Title: HLAG/HSDG USWC-Mediterranean Vessel Sharing Agreement..., Morocco, Panama, Colombia, the Dominican Republic, Canada, and Mexico. By Order of the Federal...

  7. 48 CFR 1542.1203 - Processing agreements.

    Code of Federal Regulations, 2010 CFR

    2010-10-01

    ... MANAGEMENT CONTRACT ADMINISTRATION Novation and Change of Name Agreements 1542.1203 Processing agreements. (a... covering all applicable outstanding and incomplete contracts affected by the transfer of assets or...

  8. 48 CFR 1542.1203 - Processing agreements.

    Code of Federal Regulations, 2011 CFR

    2011-10-01

    ... CONTRACT MANAGEMENT CONTRACT ADMINISTRATION Novation and Change of Name Agreements 1542.1203 Processing... assets or change of name. A supplemental agreement number need not be obtained for contracts other...

  9. 78 FR 68444 - Notice of Agreements Filed

    Federal Register 2010, 2011, 2012, 2013, 2014

    2013-11-14

    ... . Agreement No.: 010071-040. Title: Cruise Lines International Association Agreement. Parties: AMA Waterways; American Cruise Lines, Inc.; Avalon Waterways; Azamara Cruises; Carnival Cruise Lines; Celebrity Cruises, Inc.; Costa Cruise Lines; Crystal Cruises; Cunard Line; Disney Cruise Line; Holland America...

  10. 75 FR 2141 - Notice of Agreements Filed

    Federal Register 2010, 2011, 2012, 2013, 2014

    2010-01-14

    ....gov . Agreement No.: 010071-037. ] Title: Cruise Lines International Association Agreement. Parties: AMA Waterways; American Cruise Lines, Inc.; Azamara Cruises; Carnival Cruise Lines; Celebrity Cruises, Inc.; Costa Cruise Lines; Crystal Cruises; Cunard Line; Disney Cruise Line; Holland America...

  11. 32 CFR 37.1260 - Cooperative agreement.

    Code of Federal Regulations, 2011 CFR

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

  12. 77 FR 33459 - Notice of Agreements Filed

    Federal Register 2010, 2011, 2012, 2013, 2014

    2012-06-06

    ... Agreement and to share the cost of same. Agreement No.: 012173. Title: Hyundai/MOL/APL Asia/Latin America/U... authorizes Hyundai to charter space to MOL and APL in the relevant trade and to authorize the parties...

  13. 75 FR 8719 - Notice of Agreements Filed

    Federal Register 2010, 2011, 2012, 2013, 2014

    2010-02-25

    ....gov . Agreement No.: 011346-020. Title: Israel Trade Conference Agreement. Parties: American President.... Filing Party: Howard A. Levy, Esq.; Chairman; Israel Trade Conference; 80 Wall Street, Suite 1117;...

  14. 75 FR 6397 - Notice of Agreements Filed

    Federal Register 2010, 2011, 2012, 2013, 2014

    2010-02-09

    ....gov . Agreement No.: 011346-019. Title: Israel Trade Conference Agreement. Parties: A.P. Moller-Maersk..., Esq.; Chairman; Israel Trade Conference; 80 Wall Street, Suite 1117; New York, NY 10005-3602....

  15. 76 FR 63618 - Notice of Agreements Filed

    Federal Register 2010, 2011, 2012, 2013, 2014

    2011-10-13

    ... Singapore. Agreement No.: 012138. Title: CSAV/CCNI Venezuela Space Charter Agreement. Parties: Compana Sud... Venezuela. Dated: October 7, 2011. By Order of the Federal Maritime Commission. Karen V. Gregory,...

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

  17. Improved operator agreement and efficiency using the minimum area contour change method for delineation of hyperintense multiple sclerosis lesions on FLAIR MRI

    PubMed Central

    2013-01-01

    Background Activity of disease in patients with multiple sclerosis (MS) is monitored by detecting and delineating hyper-intense lesions on MRI scans. The Minimum Area Contour Change (MACC) algorithm has been created with two main goals: a) to improve inter-operator agreement on outlining regions of interest (ROIs) and b) to automatically propagate longitudinal ROIs from the baseline scan to a follow-up scan. Methods The MACC algorithm first identifies an outer bound for the solution path, forms a high number of iso-contour curves based on equally spaced contour values, and then selects the best contour value to outline the lesion. The MACC software was tested on a set of 17 FLAIR MRI images evaluated by a pair of human experts and a longitudinal dataset of 12 pairs of T2-weighted Fluid Attenuated Inversion Recovery (FLAIR) images that had lesion analysis ROIs drawn by a single expert operator. Results In the tests where two human experts evaluated the same MRI images, the MACC program demonstrated that it could markedly reduce inter-operator outline error. In the longitudinal part of the study, the MACC program created ROIs on follow-up scans that were in close agreement to the original expert’s ROIs. Finally, in a post-hoc analysis of 424 follow-up scans 91% of propagated MACC were accepted by an expert and only 9% of the final accepted ROIS had to be created or edited by the expert. Conclusion When used with an expert operator's verification of automatically created ROIs, MACC can be used to improve inter- operator agreement and decrease analysis time, which should improve data collected and analyzed in multicenter clinical trials. PMID:24004511

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

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

  20. Dosimetric, mechanical, and geometric verification of conformal dynamic arc treatment.

    PubMed

    Malatesta, T; Landoni, V; delle Canne, S; Bufacchi, A; Marmiroli, L; Caspiani, O; Bonanni, A; Tortoreto, F; Leone, M V; Capparella, R; Fragomeni, R; Begnozzi, L

    2003-01-01

    A conformal dynamic arc (CD-arc) technique has been implemented at the S. Giovanni Calibita-Fatebenefratelli Hospital Radiotherapy Center. This technique is performed by rotational beams and a dynamic multileaf collimator (DMLC): during the treatment delivery the gantry rotates and the field shape, formed by the DMLC changes continuously. The aim of this study was to perform dosimetric, mechanical, and geometric verification to ensure that the dose calculated by a commercial treatment planning system and administered to the patient was correct, before and during the clinical use of this technique. Absolute dose values, at the isocenter and at other points placed in dose heterogeneity zone, have been verified with an ionization chamber in a solid homogeneous phantom. In uniform dose regions measured dose values resulted in agreements with the calculated doses within 2%. Isodose distributions have also been determined by radiographic films and compared with those predicted by the planning system. Distance to agreement between calculated and measured isodoses in dose gradient zone was within 2 mm. In conclusion, our results demonstrated the feasibility and the accuracy of the CD-arc technique for achieving highly conformal dose distributions. Up till now 20 patients have been treated with CD-arc therapy.

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

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

  3. 77 FR 58592 - Modified Norway Post Agreement

    Federal Register 2010, 2011, 2012, 2013, 2014

    2012-09-21

    ... Modified Norway Post Agreement AGENCY: Postal Regulatory Commission. ACTION: Notice. SUMMARY: The Commission is noticing a recently-filed Postal Service request to include a modified Norway Post Agreement... existing bilateral agreement for inbound competitive services with Posten Norge AS (Modified Norway...

  4. 22 CFR 120.23 - Distribution agreement.

    Code of Federal Regulations, 2012 CFR

    2012-04-01

    ... 22 Foreign Relations 1 2012-04-01 2012-04-01 false Distribution agreement. 120.23 Section 120.23 Foreign Relations DEPARTMENT OF STATE INTERNATIONAL TRAFFIC IN ARMS REGULATIONS PURPOSE AND DEFINITIONS § 120.23 Distribution agreement. An agreement (e.g., a contract) to establish a warehouse...

  5. 22 CFR 120.23 - Distribution agreement.

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ... 22 Foreign Relations 1 2010-04-01 2010-04-01 false Distribution agreement. 120.23 Section 120.23 Foreign Relations DEPARTMENT OF STATE INTERNATIONAL TRAFFIC IN ARMS REGULATIONS PURPOSE AND DEFINITIONS § 120.23 Distribution agreement. An agreement (e.g., a contract) to establish a warehouse...

  6. 22 CFR 120.23 - Distribution agreement.

    Code of Federal Regulations, 2011 CFR

    2011-04-01

    ... 22 Foreign Relations 1 2011-04-01 2011-04-01 false Distribution agreement. 120.23 Section 120.23 Foreign Relations DEPARTMENT OF STATE INTERNATIONAL TRAFFIC IN ARMS REGULATIONS PURPOSE AND DEFINITIONS § 120.23 Distribution agreement. An agreement (e.g., a contract) to establish a warehouse...

  7. 22 CFR 120.23 - Distribution agreement.

    Code of Federal Regulations, 2013 CFR

    2013-04-01

    ... 22 Foreign Relations 1 2013-04-01 2013-04-01 false Distribution agreement. 120.23 Section 120.23 Foreign Relations DEPARTMENT OF STATE INTERNATIONAL TRAFFIC IN ARMS REGULATIONS PURPOSE AND DEFINITIONS § 120.23 Distribution agreement. An agreement (e.g., a contract) to establish a warehouse...

  8. 22 CFR 120.23 - Distribution agreement.

    Code of Federal Regulations, 2014 CFR

    2014-04-01

    ... 22 Foreign Relations 1 2014-04-01 2014-04-01 false Distribution agreement. 120.23 Section 120.23 Foreign Relations DEPARTMENT OF STATE INTERNATIONAL TRAFFIC IN ARMS REGULATIONS PURPOSE AND DEFINITIONS § 120.23 Distribution agreement. An agreement (e.g., a contract) to establish a warehouse...

  9. 75 FR 44261 - Notice of Agreement Filed

    Federal Register 2010, 2011, 2012, 2013, 2014

    2010-07-28

    ... agreement under the Shipping Act of 1984. Interested parties may submit comments on the agreement to the... Agreement. Parties: COSCO Container Lines Company, Limited; Kawasaki Kisen Kaisha, Ltd.; Yangming (UK) Ltd.; and Hanjin Shipping Co., Ltd. Filing Party: Amy Cano; Nixon Peabody LLP; 555 West Fifth Street,...

  10. 78 FR 36781 - Notice of Agreements Filed

    Federal Register 2010, 2011, 2012, 2013, 2014

    2013-06-19

    ... under the Shipping Act of 1984. Interested parties may submit comments on the agreements to the... . Agreement No.: 012211. Title: COSCON/Zim Slot Charter Agreement. Parties: COSCO Container Lines Co, Ltd. and Zim Integrated Shipping Services, Ltd. Filing Party: Wayne R. Rohde, Esq.; Cozen O'Connor; 1627...

  11. 78 FR 53455 - Notice of Agreements Filed

    Federal Register 2010, 2011, 2012, 2013, 2014

    2013-08-29

    ... . Agreement No.: 011689-015. Title: Zim/CSCL Slot Charter Agreement. Parties: Zim Integrated Shipping Services, Ltd.; China Shipping Container Line Co., Ltd. and China Shipping Container Lines (Hong Kong) Co., Ltd... under the Shipping Act of 1984. Interested parties may submit comments on the agreements to...

  12. 76 FR 76411 - Notice of Agreements Filed

    Federal Register 2010, 2011, 2012, 2013, 2014

    2011-12-07

    ....gov . Agreement No.: 012148. Title: CSCL/POS Slot Charter Agreement. Parties: China Shipping Container Lines Co., Ltd., China Shipping Container Lines (Hong Kong) Co., Ltd., and Hainan P O Shipping Co., Ltd... under the Shipping Act of 1984. Interested parties may submit comments on the agreements to...

  13. 43 CFR 24.5 - International agreements.

    Code of Federal Regulations, 2012 CFR

    2012-10-01

    ... shall be to recommend that the United States negotiate and accede to only those international agreements... WILDLIFE POLICY: STATE-FEDERAL RELATIONSHIPS § 24.5 International agreements. (a) International conventions... boundaries. The authority to enter into such agreements is reserved to the President by and with the...

  14. 43 CFR 24.5 - International agreements.

    Code of Federal Regulations, 2013 CFR

    2013-10-01

    ... shall be to recommend that the United States negotiate and accede to only those international agreements... WILDLIFE POLICY: STATE-FEDERAL RELATIONSHIPS § 24.5 International agreements. (a) International conventions... boundaries. The authority to enter into such agreements is reserved to the President by and with the...

  15. The Pros and Cons of Petroleum Agreements.

    ERIC Educational Resources Information Center

    Lipton, Charles J.

    1980-01-01

    A mineral agreements expert discusses the options open to tribes, from the most standard lease form to arrangements as yet untried by Indian Nations. Discussion covers 18 basic provisions for inclusion in agreements, tax considerations, and basic forms of petroleum agreements (leases, joint ventures, production sharing, and service contracts).…

  16. 50 CFR 81.6 - Project Agreement.

    Code of Federal Regulations, 2010 CFR

    2010-10-01

    ... 50 Wildlife and Fisheries 6 2010-10-01 2010-10-01 false Project Agreement. 81.6 Section 81.6... SPECIES OF FISH, WILDLIFE, AND PLANTS-COOPERATION WITH THE STATES § 81.6 Project Agreement. (a) Subsequent... projects for the conservation of endangered and threatened species. Financial agreements will consist of...

  17. 23 CFR 140.606 - Project agreements.

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ... 23 Highways 1 2010-04-01 2010-04-01 false Project agreements. 140.606 Section 140.606 Highways... Reimbursement for Bond Issue Projects § 140.606 Project agreements. Project Agreements, Form PR-2, shall be... projects. 1 The text of FHWA Form PR-2 is found in 23 CFR part 630, subpart C, appendix A....

  18. 23 CFR 633.206 - Project agreements.

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ... 23 Highways 1 2010-04-01 2010-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:...

  19. 75 FR 3466 - Notice of Agreement Filed

    Federal Register 2010, 2011, 2012, 2013, 2014

    2010-01-21

    ... From the Federal Register Online via the Government Publishing Office FEDERAL MARITIME COMMISSION Notice of Agreement Filed The Commission hereby gives notice of the filing of the following agreement under the Shipping Act of 1984. Interested parties may submit comments on the agreement to the Secretary, Federal Maritime Commission,...

  20. 48 CFR 519.7010 - Agreement contents.

    Code of Federal Regulations, 2011 CFR

    2011-10-01

    ... 48 Federal Acquisition Regulations System 4 2011-10-01 2011-10-01 false Agreement contents. 519.7010 Section 519.7010 Federal Acquisition Regulations System GENERAL SERVICES ADMINISTRATION SOCIOECONOMIC PROGRAMS SMALL BUSINESS PROGRAMS GSA Mentor-Protégé Program 519.7010 Agreement contents. The contents of the Agreement must contain: (a)...