Sample records for verification program aquatic

  1. Field Verification Program (Aquatic Disposal): Comparison of Field and Laboratory Bioaccumulation of Organic and Inorganic Contaminants from Black Rock Harbor Dredged Material

    DTIC Science & Technology

    1988-05-01

    include poly- chlorinated biphenyls (PCBs) and related chlorinated pesticides of similar polarity in addition to the petroleum hydrocarbons . The...Ui It tILL (JV: FIELD VERIFICATION PROGRAM (AQUATIC DISPOSAL).’Wh TECHNICAL REPORT D-87-6 COMPARISON OF FIELD AND LABORATORY BIOACCUMULATION OF...Laboratory Bioaccumulation of Organic and Inorganic Contaminants from Black Rock Harbor Dredged Material 12 PERSONAL AUTHOR(S) Lake, James L.; Galloway

  2. Field Verification Program (Aquatic Disposal). Bioenergetic Effects of Black Rock Harbor Dredged Material on the Polychaete Nephtys incisa: A Field Verification.

    DTIC Science & Technology

    1988-03-01

    observed in the laboratory, and to determine the degree of correlation between the bioaccumulation of contaminants and bioenergetic responses...toxicity of liquid, suspended particulate, and solid phases; (c) estimating the potential contami- nant bioaccumulation ; and (d) describing the initial... bioaccumulation of dredged material contami- nants with biological responses from laboratory and field exposure to dredged material. However, this study

  3. Field Verification Program (Aquatic Disposal). Sister Chromatid Exchange in Marine Polychaetes Exposed to Black Rock Harbor Sediment.

    DTIC Science & Technology

    1985-07-01

    the reservoi r Iones and were connected t - to (-. m capacit t itted wit ’ el on diaphragms. These pumps 4, . fI Stir ear Sigure . i-pended se(ti ret’t...phases served as the control. Each treatment had 15 worms. The worms were fed prawn flakes (ADT-Prime, Aquatic Diet Technology, Brooklyn, N. Y .) in a...counter - -- 4 relay o switch solenoid valve -- ani; seawater mnf~ water wtr trap "- lo -t chamber,t a I mix"n chamber float switch distribution *chamber

  4. Field Verification Program (Aquatic Disposal). The Assessment of Black Rock Harbor Dredged Material Impacts on Laboratory Population Responses.

    DTIC Science & Technology

    1987-07-01

    report describes work performed by the US Environmental Protection Agency (USEPA), Environmental Research Laboratory, Narragansett, R. I. (ERLN), as...of the use 2 such commercial prodluc!s TheP 0-series of reports includes Qubiicatiors Environmental Effects of Dredclng Proqramrs Dredg:ng Operations...public release; distribution 2b DECLASSIFICATION /DOWNGRADING SCHEDULE unlimited. 4 PERFORMING ORGANIZATION REPORT NUMBER(S) S MONITORING

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

  6. Field Verification Program (Aquatic Disposal). Use of Bioenergetics to Investigate the Impact of Dredged Material on Benthic Species: A Laboratory Study with Polychaetes and Black Rock Harbor Material.

    DTIC Science & Technology

    1985-09-01

    the presence of high concentrations of polychlorinated biphenyls, polynuclear aromatic hydrocarbons , and heavy metals including Cu, 69 - >- j :ij...34Measurement of the Responses of Individuals to Environmental Stress and Pollution: Studies With Bivalve Molluscs ," Philosophical Transactions Royal...Gilfillan, E.S. 1980. "The Use of Scope-for-growth Measurements in Monitoring Petroleum

  7. Verification and Evaluation of Aquatic Contaminant Simulation Module (CSM)

    DTIC Science & Technology

    2016-08-01

    RECOVERY model (Boyer et al. 1994, Ruiz et al. 2000) and Water- quality Analysis Simulation Program (WASP) model (Wool et al. 2006). This technical note (TN...bacteria, and detritus). Natural waters can contain a mixture of solid particles ranging from gravel (2 mm to 20 mm) or sand (0.07 mm to 2 mm) down to... quality perspective, cohesive sediments are usually of greater importance in water quality modeling. The chemical species in the active sediment

  8. Summary of the US Army Corps of Engineers/US Environmental Protection Agency Field Verification Program

    DTIC Science & Technology

    1988-10-01

    sites tend to be colonized by aquatic organisms adapted to an intertidal existence and by typical wetland plants. These plants may or may not be the...the upland site and within the intertidal range for the wetland site. Site Selection and Design Site selection 15. Acceptable sites for upland and... intertidal range. Along one side of the site, a sandbag dike was constructed that could be removed after filling to provide easy tidal interchange

  9. Field Verification Program (Aquatic Disposal). A Field and Laboratory Study Using Adenylate Energy Charge as an Indicator of Stress in Mytilus edulis and Nephtys incisa Treated with Dredged Material.

    DTIC Science & Technology

    1988-06-01

    USING ADENYLATE ENERGY CHARGE AS AN INDICATOR OF STRESS IN MYTILUS EDULIS AND NEPHTYS INCISA TREATED WITH DREDGED MATERIAL hy Gerald E- Zaroogian...of Stress in Mytilus edulis and Nephtys incisa Treated with Dredged Material" TO: All Report Recipients 1.. This is one in a series of scientific...STUDY USING ADENYLATE ENERGY CHPRGE AS AN INDICATOR OF STRESS IN MYTILUS EDULIS AND NEPHTYS INCISA TREATED WITH DREDGED MATERIAL PART I: INTRODUCTION

  10. Field Verification Program (Aquatic Disposal). Effects of Black Rock Harbor Dredged Material on the Histopathology of The Blue Mussel Mytilus edulis and Polychaete Worm Nephtys incisa After Laboratory and Field Exposures.

    DTIC Science & Technology

    1987-09-01

    reproductive tract from animal collected at 400E on T + 2. Photomicrograph shows normal ova, cytoplasm, and vitelline membrane ......................... 92 40...was brought to the laboratory, where it was sieved and the N. incisa were picked and sorted by size. Tests were con- ducted with adult specimens...palps, the esophagus, the stomach, the intestine and digestive diverticula ducts and tubules), the byssus organ, the muscles, and the connective

  11. 30 CFR 250.909 - What is the Platform Verification Program?

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... 30 Mineral Resources 2 2011-07-01 2011-07-01 false What is the Platform Verification Program? 250... Platforms and Structures Platform Verification Program § 250.909 What is the Platform Verification Program? The Platform Verification Program is the MMS approval process for ensuring that floating platforms...

  12. 30 CFR 250.913 - When must I resubmit Platform Verification Program plans?

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... Structures Platform Verification Program § 250.913 When must I resubmit Platform Verification Program plans? (a) You must resubmit any design verification, fabrication verification, or installation verification... 30 Mineral Resources 2 2010-07-01 2010-07-01 false When must I resubmit Platform Verification...

  13. 30 CFR 250.909 - What is the Platform Verification Program?

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... 30 Mineral Resources 2 2010-07-01 2010-07-01 false What is the Platform Verification Program? 250... Verification Program § 250.909 What is the Platform Verification Program? The Platform Verification Program is the MMS approval process for ensuring that floating platforms; platforms of a new or unique design...

  14. 30 CFR 250.913 - When must I resubmit Platform Verification Program plans?

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... CONTINENTAL SHELF Platforms and Structures Platform Verification Program § 250.913 When must I resubmit Platform Verification Program plans? (a) You must resubmit any design verification, fabrication... 30 Mineral Resources 2 2011-07-01 2011-07-01 false When must I resubmit Platform Verification...

  15. 76 FR 50164 - Protocol Gas Verification Program and Minimum Competency Requirements for Air Emission Testing...

    Federal Register 2010, 2011, 2012, 2013, 2014

    2011-08-12

    ...-AQ06 Protocol Gas Verification Program and Minimum Competency Requirements for Air Emission Testing... correct certain portions of the Protocol Gas Verification Program and Minimum Competency Requirements for... final rule that amends the Agency's Protocol Gas Verification Program (PGVP) and the minimum competency...

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

  17. Developmental Aquatics: Assessment and Instructional Programming.

    ERIC Educational Resources Information Center

    Doremus, Wendy A.

    1992-01-01

    This article provides an assessment tool and guidelines for creating instructional programing in aquatic skills development for children with disabilities functioning below levels required for most adapted beginning aquatics programs. It covers individualized goals and objectives, adjustment to the water, and specific aquatic skills. (DB)

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

  19. Early Intervention Aquatics: A Program for Children with Autism and Their Families

    ERIC Educational Resources Information Center

    Prupas, Andrea; Harvey, William J.; Benjamin, Janet

    2006-01-01

    The article describes an early intervention approach to aquatics for preschool children with autism. The Aquatic Nursery program successfully taught both the children and their parents to become involved in swimming. Specific programming details are provided in relation to people with autism, and particular attention is paid to aquatic skill…

  20. Three Lectures on Theorem-proving and Program Verification

    NASA Technical Reports Server (NTRS)

    Moore, J. S.

    1983-01-01

    Topics concerning theorem proving and program verification are discussed with particlar emphasis on the Boyer/Moore theorem prover, and approaches to program verification such as the functional and interpreter methods and the inductive assertion approach. A history of the discipline and specific program examples are included.

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

  2. Quality Assurance Project Plan For Verification of ANDalyze Lead100 Test Kit and AND1000 Fluorimeter

    EPA Science Inventory

    Lead (Pb) is a naturally occurring metal in the aquatic environment; however, most Pb contamination of concern arises from anthropogenic sources (such as deposition of Pb dust from combustion processes in natural waterways or due to its use in plumbing materials). Although Pb is...

  3. Using Small-Step Refinement for Algorithm Verification in Computer Science Education

    ERIC Educational Resources Information Center

    Simic, Danijela

    2015-01-01

    Stepwise program refinement techniques can be used to simplify program verification. Programs are better understood since their main properties are clearly stated, and verification of rather complex algorithms is reduced to proving simple statements connecting successive program specifications. Additionally, it is easy to analyse similar…

  4. Qualitative perspectives on aquatic exercise initiation and satisfaction among persons with multiple sclerosis.

    PubMed

    Chard, Sarah

    2017-06-01

    To identify the individual and social experiences underlying the initiation and satisfaction with aquatic exercise among persons with MS. A convenience sample (n = 45) of persons aged ≥18 with MS who had engaged in water-based exercise within the previous six months completed a 60-90 min semi-structured telephone interview regarding their aquatic exercise experiences. An aquatic exercise history was not a prerequisite for the adoption of aquatic exercise. Rather, participants described aquatic exercise routines as stemming from recognition of a decline in physical function combined with encouragement and invitations to join aquatic programs. Despite regular visits, health care providers were not a common source of information regarding the feasibility of aquatic exercise. Participants' aquatic activities included MS-specific and generalized aquatics courses, with class satisfaction resting on the instructor, class "fit" and a feeling of acceptance. Communication regarding local aquatic opportunities is critical for ensuring aquatics engagement among persons with MS. Providers could play a stronger role in emphasizing the feasibility and benefits of aquatic programs. In addition, persons with MS should be encouraged to try local MS and more generalized aquatic programs in order to identify a program matching their social and physical goals. Implications for Rehabilitation Directed communication regarding aquatic opportunities is essential to prompting the initiation of aquatic exercise Both MS-specific and general aquatics classes can provide positive exercise experiences for persons with MS A history of regular exercise or aquatic experiences is not a prerequisite for the initiation of aquatic exercise among persons with MS Health care provider visits may represent missed opportunities for promoting aquatics; providers should consider the suitability of aquatics for all patients with MS, regardless of the patient's exercise history.

  5. 33 CFR Appendix A to Part 273 - Aquatic Plant Control Program Legislative Authority

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... 33 Navigation and Navigable Waters 3 2010-07-01 2010-07-01 false Aquatic Plant Control Program... OF THE ARMY, DEPARTMENT OF DEFENSE AQUATIC PLANT CONTROL Pt. 273, App. A Appendix A to Part 273—Aquatic Plant Control Program Legislative Authority Section 104 of the Rivers and Harbors Act, approved 3...

  6. 33 CFR Appendix A to Part 273 - Aquatic Plant Control Program Legislative Authority

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... 33 Navigation and Navigable Waters 3 2011-07-01 2011-07-01 false Aquatic Plant Control Program... OF THE ARMY, DEPARTMENT OF DEFENSE AQUATIC PLANT CONTROL Pt. 273, App. A Appendix A to Part 273—Aquatic Plant Control Program Legislative Authority Section 104 of the Rivers and Harbors Act, approved 3...

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

  8. State of South Carolina Cooperative Aquatic Plant Control Program.

    DTIC Science & Technology

    1980-11-01

    Carolina Water Resources Commission. Abstract: The proposed program provides for a comprehensive plan to control noxious aquatic plants within the state...public water bodies in South Carolina to a more natural condition by controlling the excessive growth of aquatic vegetation in the interest of...Herbicides Proposed for Use in the Aquatic Plant Management Program D Cost Estimate E EPA Established Tolerances for Selected Herbicides in Potable Water F

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

  10. 30 CFR 250.912 - What plans must I submit under the Platform Verification Program?

    Code of Federal Regulations, 2012 CFR

    2012-07-01

    ... and major members of concrete-gravity and steel-gravity structures; (2) For jacket and floating... Platforms and Structures Platform Verification Program § 250.912 What plans must I submit under the Platform Verification Program? If your platform, associated structure, or major modification meets the criteria in § 250...

  11. 30 CFR 250.912 - What plans must I submit under the Platform Verification Program?

    Code of Federal Regulations, 2013 CFR

    2013-07-01

    ... and major members of concrete-gravity and steel-gravity structures; (2) For jacket and floating... Platforms and Structures Platform Verification Program § 250.912 What plans must I submit under the Platform Verification Program? If your platform, associated structure, or major modification meets the criteria in § 250...

  12. 30 CFR 250.912 - What plans must I submit under the Platform Verification Program?

    Code of Federal Regulations, 2014 CFR

    2014-07-01

    ... and major members of concrete-gravity and steel-gravity structures; (2) For jacket and floating... Platforms and Structures Platform Verification Program § 250.912 What plans must I submit under the Platform Verification Program? If your platform, associated structure, or major modification meets the criteria in § 250...

  13. ENVIRONMENTAL TECHNOLOGY VERIFICATION PROGRAM FOR MONITORING AND CHARACTERIZATION

    EPA Science Inventory

    The Environmental Technology Verification Program is a service of the Environmental Protection Agency designed to accelerate the development and commercialization of improved environmental technology through third party verification and reporting of performance. The goal of ETV i...

  14. Formally verifying Ada programs which use real number types

    NASA Technical Reports Server (NTRS)

    Sutherland, David

    1986-01-01

    Formal verification is applied to programs which use real number arithmetic operations (mathematical programs). Formal verification of a program P consists of creating a mathematical model of F, stating the desired properties of P in a formal logical language, and proving that the mathematical model has the desired properties using a formal proof calculus. The development and verification of the mathematical model are discussed.

  15. 33 CFR Appendix A to Part 273 - Aquatic Plant Control Program Legislative Authority

    Code of Federal Regulations, 2014 CFR

    2014-07-01

    ..., and other obnoxious aquatic plant growths, from the navigable waters, tributary streams, connecting... 33 Navigation and Navigable Waters 3 2014-07-01 2014-07-01 false Aquatic Plant Control Program... OF THE ARMY, DEPARTMENT OF DEFENSE AQUATIC PLANT CONTROL Pt. 273, App. A Appendix A to Part 273...

  16. 33 CFR Appendix A to Part 273 - Aquatic Plant Control Program Legislative Authority

    Code of Federal Regulations, 2013 CFR

    2013-07-01

    ..., and other obnoxious aquatic plant growths, from the navigable waters, tributary streams, connecting... 33 Navigation and Navigable Waters 3 2013-07-01 2013-07-01 false Aquatic Plant Control Program... OF THE ARMY, DEPARTMENT OF DEFENSE AQUATIC PLANT CONTROL Pt. 273, App. A Appendix A to Part 273...

  17. 33 CFR Appendix A to Part 273 - Aquatic Plant Control Program Legislative Authority

    Code of Federal Regulations, 2012 CFR

    2012-07-01

    ..., and other obnoxious aquatic plant growths, from the navigable waters, tributary streams, connecting... 33 Navigation and Navigable Waters 3 2012-07-01 2012-07-01 false Aquatic Plant Control Program... OF THE ARMY, DEPARTMENT OF DEFENSE AQUATIC PLANT CONTROL Pt. 273, App. A Appendix A to Part 273...

  18. ENVIRONMENTAL TECHNOLOGY VERIFICATION: ADD-ON NOX CONTROLS

    EPA Science Inventory

    The paper discusses the environmental technology verification (ETV) of add-on nitrogen oxide (NOx) controls. Research Triangle Institute (RTI) is EPA's cooperating partner for the Air Pollution Control Technology (APCT) Program, one of a dozen ETV pilot programs. Verification of ...

  19. 38 CFR 74.15 - What length of time may a business participate in VetBiz VIP Verification Program?

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... business participate in VetBiz VIP Verification Program? 74.15 Section 74.15 Pensions, Bonuses, and Veterans' Relief DEPARTMENT OF VETERANS AFFAIRS (CONTINUED) VETERANS SMALL BUSINESS REGULATIONS Application Guidelines § 74.15 What length of time may a business participate in VetBiz VIP Verification Program? (a) A...

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

  1. Use of Radio Frequency Identification (RFID) for Tracking Hazardous Waste Shipments Across International Borders -Test/QA Plan

    EPA Science Inventory

    The Environmental Technology Verification (ETV) – Environmental and Sustainable Technology Evaluations (ESTE) Program conducts third-party verification testing of commercially available technologies that may accomplish environmental program management goals. In this verification...

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

  3. PERFORMANCE VERIFICATION TEST FOR FIELD-PORTABLE MEASUREMENTS OF LEAD IN DUST

    EPA Science Inventory

    The US Environmental Protection Agency (EPA) Environmental Technology Verification (ETV) program (www.epa.jzov/etv) conducts performance verification tests of technologies used for the characterization and monitoring of contaminated media. The program exists to provide high-quali...

  4. 40 CFR 122.24 - Concentrated aquatic animal production facilities (applicable to State NPDES programs, see § 123...

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... Environment ENVIRONMENTAL PROTECTION AGENCY (CONTINUED) WATER PROGRAMS EPA ADMINISTERED PERMIT PROGRAMS: THE... animal production facility means a hatchery, fish farm, or other facility which meets the criteria in... any warm or cold water aquatic animal production facility as a concentrated aquatic animal production...

  5. 40 CFR 122.24 - Concentrated aquatic animal production facilities (applicable to State NPDES programs, see § 123...

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... Environment ENVIRONMENTAL PROTECTION AGENCY (CONTINUED) WATER PROGRAMS EPA ADMINISTERED PERMIT PROGRAMS: THE... animal production facility means a hatchery, fish farm, or other facility which meets the criteria in... any warm or cold water aquatic animal production facility as a concentrated aquatic animal production...

  6. Aquatic Species Program Review: Proceedings of the March 1983 Principal Investigators Meeting

    DOE Office of Scientific and Technical Information (OSTI.GOV)

    Not Available

    1983-06-01

    The Aquatic Species Program (ASP) addresses the utilization of plant biomass that naturally occurs in wetland or submerged areas. Processes are being developed through this program to make use of such aquatic species, capitalizing on their inherent capacity for rapid growth as well as their extraordinary chemical compositions.

  7. A community-based aquatic exercise program to improve endurance and mobility in adults with mild to moderate intellectual disability.

    PubMed

    Hakim, Renée M; Ross, Michael D; Runco, Wendy; Kane, Michael T

    2017-02-01

    The purpose of this study was to investigate the impact of a community-based aquatic exercise program on physical performance among adults with mild to moderate intellectual disability (ID). Twenty-two community-dwelling adults with mild to moderate ID volunteered to participate in this study. Participants completed an 8-week aquatic exercise program (2 days/wk, 1 hr/session). Measures of physical performance, which were assessed prior to and following the completion of the aquatic exercise program, included the timed-up-and-go test, 6-min walk test, 30-sec chair stand test, 10-m timed walk test, hand grip strength, and the static plank test. When comparing participants' measures of physical performance prior to and following the 8-week aquatic exercise program, improvements were seen in all measures, but the change in scores for the 6-min walk test, 30-sec chair stand test, and the static plank test achieved statistical significance ( P <0.05). An 8-week group aquatic exercise program for adults with ID may promote improvements in endurance and balance/mobility.

  8. ENVIRONMENTAL TECHNOLOGY VERIFICATION REPORT, GROUNDWATER SAMPLING TECHNOLOGIES, GEOLOG, INC., MICRO-FLO BLADDER PUMP MODEL 57400

    EPA Science Inventory

    The U.S. Environmental Protection Agency has created the Environmental Technology Verification Program to facilitate the deployment of innovative or improved environmental technologies through performance verification and dissemination of information. The goal of the ETV Program...

  9. BAGHOUSE FILTRATION PRODUCTS VERIFICATION TESTING, HOW IT BENEFITS THE BOILER BAGHOUSE OPERATOR

    EPA Science Inventory

    The paper describes the Environmental Technology Verification (ETV) Program for baghouse filtration products developed by the Air Pollution Control Technology Verification Center, one of six Centers under the ETV Program, and discusses how it benefits boiler baghouse operators. A...

  10. Aquatic Plant Control Research Program. Large-Scale Operations Management Test (LSOMT) of Insects and Pathogens for Control of Waterhyacinth in Louisiana. Volume 1. Results for 1979-1981.

    DTIC Science & Technology

    1985-01-01

    RD-Ai56 759 AQUATIC PLANT CONTROL RESEARCH PROGRAM LARGE-SCALE 1/2 OPERATIONS MRNAGEMENT..(U) ARMY ENGINEER WATERAYS EXPERIMENT STATION VICKSBURG MS...PO Box 631, Vicksburg, Aquatic Plant Control Mississippi 39180-0631 and University of Research Program Tennessee-Chattanooga, Chattanooga, 12...19. KEY WORDS (Continue on reverse side if necesary nd identify by block number) - Aquatic plant control Louisiana Biological control Plant

  11. 30 CFR 250.911 - If my platform is subject to the Platform Verification Program, what must I do?

    Code of Federal Regulations, 2012 CFR

    2012-07-01

    ... 30 Mineral Resources 2 2012-07-01 2012-07-01 false If my platform is subject to the Platform Verification Program, what must I do? 250.911 Section 250.911 Mineral Resources BUREAU OF SAFETY AND... CONTINENTAL SHELF Platforms and Structures Platform Verification Program § 250.911 If my platform is subject...

  12. 30 CFR 250.911 - If my platform is subject to the Platform Verification Program, what must I do?

    Code of Federal Regulations, 2013 CFR

    2013-07-01

    ... 30 Mineral Resources 2 2013-07-01 2013-07-01 false If my platform is subject to the Platform Verification Program, what must I do? 250.911 Section 250.911 Mineral Resources BUREAU OF SAFETY AND... CONTINENTAL SHELF Platforms and Structures Platform Verification Program § 250.911 If my platform is subject...

  13. 30 CFR 250.911 - If my platform is subject to the Platform Verification Program, what must I do?

    Code of Federal Regulations, 2014 CFR

    2014-07-01

    ... 30 Mineral Resources 2 2014-07-01 2014-07-01 false If my platform is subject to the Platform Verification Program, what must I do? 250.911 Section 250.911 Mineral Resources BUREAU OF SAFETY AND... CONTINENTAL SHELF Platforms and Structures Platform Verification Program § 250.911 If my platform is subject...

  14. Aquatic Plant Control Research Program: Literature Review of Economic Valuation of Aquatic Plant Control

    DTIC Science & Technology

    1991-02-01

    200 words) Aquatic plant control is necessary to maintain the flow of benefits for which water resources projects are constructed and operated (e.g...but little work has been performed by the Corps to evaluate the economic benefits resulting from aquatic plant control programs. This report reviewed...the applicability of the project evaluation guidance, Principles and Guidelines (P&G), for the eval- uation of aquatic plant control benefits . It was

  15. ENVIRONMENTAL TECHNOLOGY VERIFICATION REPORT: BAGHOUSE FILTRATION PRODUCTS—SOUTHERN FILTER MEDIA, LLC, PE-16/M-SPES FILTER SAMPLE

    EPA Science Inventory

    The U.S. EPA has created the Environmental Technology Verification program to facilitate the deployment of innovative or improved environmental technologies through performance verification and dissemination of information. The program tested the performance of baghouse filtrati...

  16. ENVIRONMENTAL TECHNOLOGY VERIFICATION COATINGS AND COATING EQUIPMENT PROGRAM (ETV CCEP) HIGH TRANSFER EFFICIENCE SPRAY EQUIPMENT--GENERIC VERIFICATION PROTOCOL

    EPA Science Inventory

    The Environmental Technology Verification (ETV) Program has been established to verify the performance characteristics of innovative environmental technologies and report this objective information, thus, accelerating the entrance of these new technologies into the marketplace. V...

  17. 7 CFR 62.206 - Access to program documents and activities.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... (CONTINUED) LIVESTOCK, MEAT, AND OTHER AGRICULTURAL COMMODITIES (QUALITY SYSTEMS VERIFICATION PROGRAMS) Quality Systems Verification Programs Definitions Service § 62.206 Access to program documents and... SERVICE (Standards, Inspections, Marketing Practices), DEPARTMENT OF AGRICULTURE (CONTINUED) REGULATIONS...

  18. A comparative study of the effects of trunk exercise program in aquatic and land-based therapy on gait in hemiplegic stroke patients.

    PubMed

    Park, Byoung-Sun; Noh, Ji-Woong; Kim, Mee-Young; Lee, Lim-Kyu; Yang, Seung-Min; Lee, Won-Deok; Shin, Yong-Sub; Kim, Ju-Hyun; Lee, Jeong-Uk; Kwak, Taek-Yong; Lee, Tae-Hyun; Park, Jaehong; Kim, Junghwan

    2016-06-01

    [Purpose] The purpose of this study was to compare the effects of aquatic and land-based trunk exercise program on gait in stroke patients. [Subjects and Methods] The subjects were 28 hemiplegic stroke patients (20 males, 8 females). The subjects performed a trunk exercise program for a total of four weeks. [Results] Walking speed and cycle, stance phase and stride length of the affected side, and the symmetry index of the stance phase significantly improved after the aquatic and land-based trunk exercise program. [Conclusion] These results suggest that the aquatic and land-based trunk exercise program may help improve gait performance ability after stroke.

  19. Aquatics for Disabled Persons.

    ERIC Educational Resources Information Center

    Priest, Louise

    1983-01-01

    Rising energy costs and staff reductions pose problems for those who direct aquatic programs for the disabled. At the same time, aquatics programs for the disabled are increasing in number, broadening in scope, and offering new opportunities for research and development of materials. (PP)

  20. ENVIRONMENTAL TECHNOLOGY VERIFICATION PROGRAM: Stormwater Source Area Treatment Device - Arkal Pressurized Stormwater Filtration System

    EPA Science Inventory

    Performance verification testing of the Arkal Pressurized Stormwater Filtration System was conducted under EPA's Environmental Technology Verification Program on a 5.5-acre parking lot and grounds of St. Mary's Hospital in Milwaukee, Wisconsin. The system consists of a water sto...

  1. Environmental Technology Verification Coatings and Coating Equipment Program (ETV CCEP) High Transfer Efficiency Spray Equipment--Generic Verification Protocol

    EPA Science Inventory

    The Environmental Technology Verification (ETV) Program has been established by the U.S. Environmental Protection Agency (EPA) to verify the performance characteristics of innovative environmental technologies across all media and report this objective information to the states, ...

  2. Fundamentals of Successful Monitoring, Reporting, and Verification under a Cap and Trade Program

    EPA Pesticide Factsheets

    Learn about the monitoring, reporting, and verification (MRV) elements as they apply to the Acid Rain Program and the Nox Budget Trading Program, and how they can be potentially used in other programs.

  3. Environmental Technology Verification Program Fact Sheet

    EPA Science Inventory

    This is a Fact Sheet for the ETV Program. The EPA Environmental Technology Verification Program (ETV) develops test protocols and verifies the performance of innovative technologies that have the potential to improve protection of human health and the environment. The program ...

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

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

  6. 7 CFR 62.209 - Reassessment.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... Regulations of the Department of Agriculture (Continued) AGRICULTURAL MARKETING SERVICE (Standards... AGRICULTURAL COMMODITIES (QUALITY SYSTEMS VERIFICATION PROGRAMS) Quality Systems Verification Programs Definitions Service § 62.209 Reassessment. Approved programs are subject to periodic reassessments to ensure...

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

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

  9. A comparative study of the effects of trunk exercise program in aquatic and land-based therapy on gait in hemiplegic stroke patients

    PubMed Central

    Park, Byoung-Sun; Noh, Ji-Woong; Kim, Mee-Young; Lee, Lim-Kyu; Yang, Seung-Min; Lee, Won-Deok; Shin, Yong-Sub; Kim, Ju-Hyun; Lee, Jeong-Uk; Kwak, Taek-Yong; Lee, Tae-Hyun; Park, Jaehong; Kim, Junghwan

    2016-01-01

    [Purpose] The purpose of this study was to compare the effects of aquatic and land-based trunk exercise program on gait in stroke patients. [Subjects and Methods] The subjects were 28 hemiplegic stroke patients (20 males, 8 females). The subjects performed a trunk exercise program for a total of four weeks. [Results] Walking speed and cycle, stance phase and stride length of the affected side, and the symmetry index of the stance phase significantly improved after the aquatic and land-based trunk exercise program. [Conclusion] These results suggest that the aquatic and land-based trunk exercise program may help improve gait performance ability after stroke. PMID:27390444

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

  11. Cost-Effective CNC Part Program Verification Development for Laboratory Instruction.

    ERIC Educational Resources Information Center

    Chen, Joseph C.; Chang, Ted C.

    2000-01-01

    Describes a computer numerical control program verification system that checks a part program before its execution. The system includes character recognition, word recognition, a fuzzy-nets system, and a tool path viewer. (SK)

  12. 7 CFR 62.207 - Official assessment.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... Regulations of the Department of Agriculture (Continued) AGRICULTURAL MARKETING SERVICE (Standards... AGRICULTURAL COMMODITIES (QUALITY SYSTEMS VERIFICATION PROGRAMS) Quality Systems Verification Programs Definitions Service § 62.207 Official assessment. Official assessment of an applicant's program shall include...

  13. 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 versions [19]. These techniques compare two programs with a large degree of syntactic similarity to prove that portions of one program version are equivalent to the other. Regression verification can be used for guaranteeing backward compatibility, and for showing behavioral equivalence in programs with syntactic differences, e.g., when a program is refactored to improve its performance, maintainability, or readability. Existing regression verification techniques leverage similarities between program versions by using abstraction and decomposition techniques to improve scalability of the analysis [10, 12, 19]. The abstractions and decomposition in the these techniques, e.g., summaries of unchanged code [12] or semantically equivalent methods [19], compute an over-approximation of the program behaviors. The equivalence checking results of these techniques are sound but not complete-they may characterize programs as not functionally equivalent when, in fact, they are equivalent. In this work we describe a novel approach that leverages the impact of the differences between two programs for scaling regression verification. We partition program behaviors of each version into (a) behaviors impacted by the changes and (b) behaviors not impacted (unimpacted) by the changes. Only the impacted program behaviors are used during equivalence checking. We then prove that checking equivalence of the impacted program behaviors is equivalent to checking equivalence of all program behaviors for a given depth bound. In this work we use symbolic execution to generate the program behaviors and leverage control- and data-dependence information to facilitate the partitioning of program behaviors. The impacted program behaviors are termed as impact summaries. The dependence analyses that facilitate the generation of the impact summaries, we believe, could be used in conjunction with other abstraction and decomposition based approaches, [10, 12], as a complementary reduction technique. An evaluation of our regression verification technique shows that our approach is capable of leveraging similarities between program versions to reduce the size of the queries and the time required to check for logical equivalence. The main contributions of this work are: - A regression verification technique to generate impact summaries that can be checked for functional equivalence using an off-the-shelf decision procedure. - A proof that our approach is sound and complete with respect to the depth bound of symbolic execution. - An implementation of our technique using the LLVMcompiler infrastructure, the klee Symbolic Virtual Machine [4], and a variety of Satisfiability Modulo Theory (SMT) solvers, e.g., STP [7] and Z3 [6]. - An empirical evaluation on a set of C artifacts which shows that the use of impact summaries can reduce the cost of regression verification.

  14. Verification of folk medicinal potentiality for some common plants in Jordan.

    PubMed

    Al-Qura'n, S

    2006-10-01

    87 Species belonging to 59 genera and 33 plant families were identified and presented in the area of study. The largest 3 families are: Lamiaceae (9 aquatic species), Asteraceae (7 species), and Salicaceae (7 species). The largest genera are Mentha (6 species), Polygonum (5 species), and Salix (5 species). 63 folk medicinal aquatic species (73.3%) have therapeutic similarities with neighbouring countries, while the 24 remaining species (26.7%) haven't such therapeutic similarity. Emerged species (living with close contact with water body) were the most recorded, while amphibious, submerged or floating species were the least. The folk medicinal importance value of aquatic species recorded was identified according to Friedman parameters. 21 species (24%) have ROP values higher than 50, and therefore; have the highest popularity in folk medicinal potentiality. 26 species (29.9%) have therapeutic effects informed by less than three informants, and therefore, excluded from further consideration. 40 species (46.1%) have ROP values less than 50, and therefore; considered nonpopular medicinal plants.

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

    EPA Science Inventory

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

  16. Aquatic Plant Control Research Program. Large-Scale Operations Management Test of Use of the White Amur for Control of Problem Aquatic Plants. Report 5. Synthesis Report.

    DTIC Science & Technology

    1984-06-01

    RD-Rl45 988 AQUATIC PLANT CONTROL RESEARCH PROGRAM LARGE-SCALE 1/2 OPERATIONS MANAGEMENT ..(U) ARMY ENGINEER WATERWAYS EXPERIMENT STATION VICKSBURG MS...REPORT A-78-2 LARGE-SCALE OPERATIONS MANAGEMENT TEST OF USE OF THE WHITE AMUR FOR -, CONTROL OF PROBLEM AQUATIC PLANTS Report 5 SYNTHESIS REPORT bv Andrew...Corps of Engineers Washington, DC 20314 84 0,_1 oil.. LARGE-SCALE OPERATIONS MANAGEMENT TEST OF USE OF THE WHITE AMUR FOR CONTROL OF PROBLEM AQUATIC

  17. 76 FR 41186 - Salmonella Verification Sampling Program: Response to Comments on New Agency Policies and...

    Federal Register 2010, 2011, 2012, 2013, 2014

    2011-07-13

    ... Service [Docket No. FSIS-2008-0008] Salmonella Verification Sampling Program: Response to Comments on New... establishments that participate in SIP. The Agency intends to conduct its own unannounced, small- set sampling to... considering publishing verification sampling results for other product classes. In the 2006 Federal Register...

  18. ENVIRONMENTAL TECHNOLOGY VERIFICATION PROGRAM: PROTOCOL FOR THE VERIFICATION OF GROUTING MATERIALS FOR INFRASTRUCTURE REHABILITATION AT THE UNIVERSITY OF HOUSTON - CIGMAT

    EPA Science Inventory

    This protocol was developed under the Environmental Protection Agency's Environmental Technology Verification (ETV) Program, and is intended to be used as a guide in preparing laboratory test plans for the purpose of verifying the performance of grouting materials used for infra...

  19. Orbit attitude processor. STS-1 bench program verification test plan

    NASA Technical Reports Server (NTRS)

    Mcclain, C. R.

    1980-01-01

    A plan for the static verification of the STS-1 ATT PROC ORBIT software requirements is presented. The orbit version of the SAPIENS bench program is used to generate the verification data. A brief discussion of the simulation software and flight software modules is presented along with a description of the test cases.

  20. The National Nonindigenous Aquatic Species Database

    USGS Publications Warehouse

    Neilson, Matthew E.; Fuller, Pamela L.

    2012-01-01

    The U.S. Geological Survey (USGS) Nonindigenous Aquatic Species (NAS) Program maintains a database that monitors, records, and analyzes sightings of nonindigenous aquatic plant and animal species throughout the United States. The program is based at the USGS Wetland and Aquatic Research Center in Gainesville, Florida.The initiative to maintain scientific information on nationwide occurrences of nonindigenous aquatic species began with the Aquatic Nuisance Species Task Force, created by Congress in 1990 to provide timely information to natural resource managers. Since then, the NAS database has been a clearinghouse of information for confirmed sightings of nonindigenous, also known as nonnative, aquatic species throughout the Nation. The database is used to produce email alerts, maps, summary graphs, publications, and other information products to support natural resource managers.

  1. Aquatic Exercise for the Aged.

    ERIC Educational Resources Information Center

    Daniel, Michael; And Others

    The development and implementation of aquatic exercise programs for the aged are discussed in this paper. Program development includes a discussion of training principles, exercise leadership and the setting up of safe water exercise programs for the participants. The advantages of developing water exercise programs and not swimming programs are…

  2. The Efficacy of an Aquatic Program on Physical Fitness and Aquatic Skills in Children with and without Autism Spectrum Disorders

    ERIC Educational Resources Information Center

    Pan, Chien-Yu

    2011-01-01

    This study evaluated the efficacy of a 14-week aquatic program on physical fitness and aquatic skills for children with autism spectrum disorders (ASD) and their siblings without a disability. Children with ASD (n = 15) and their siblings (n = 15), between 7 and 12 years (8.55 [plus or minus] 2.19 years) participated. In the first 14-week phase,…

  3. ENVIRONMENTAL TECHNOLOGY VERIFICATION (ETV) PROGRAM CASE STUDIES: DEMONSTRATING PROGRAM OUTCOMES

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

  4. ENVIRONMENTAL TECHNOLOGY VERIFICATION--TEST REPORT OF MOBILE SOURCE EMISSION CONTROL DEVICES, CUMMINS EMISSION SOLUTIONS AND CUMMINS FILTRATION DIESEL OXIDATION CATALYST AND CLOSED CRANKCASE VENTILATION SYSTEM

    EPA Science Inventory

    The U.S. EPA has created the Environmental Technology Verification (ETV) Program. ETV seeks to provide high-quality, peer-reviewed data on technology performance. The Air Pollution Control Technology (APCT) Verification Center, a center under the ETV Program, is operated by Res...

  5. Test and Verification Approach for the NASA Constellation Program

    NASA Technical Reports Server (NTRS)

    Strong, Edward

    2008-01-01

    This viewgraph presentation is a test and verification approach for the NASA Constellation Program. The contents include: 1) The Vision for Space Exploration: Foundations for Exploration; 2) Constellation Program Fleet of Vehicles; 3) Exploration Roadmap; 4) Constellation Vehicle Approximate Size Comparison; 5) Ares I Elements; 6) Orion Elements; 7) Ares V Elements; 8) Lunar Lander; 9) Map of Constellation content across NASA; 10) CxP T&V Implementation; 11) Challenges in CxP T&V Program; 12) T&V Strategic Emphasis and Key Tenets; 13) CxP T&V Mission & Vision; 14) Constellation Program Organization; 15) Test and Evaluation Organization; 16) CxP Requirements Flowdown; 17) CxP Model Based Systems Engineering Approach; 18) CxP Verification Planning Documents; 19) Environmental Testing; 20) Scope of CxP Verification; 21) CxP Verification - General Process Flow; 22) Avionics and Software Integrated Testing Approach; 23) A-3 Test Stand; 24) Space Power Facility; 25) MEIT and FEIT; 26) Flight Element Integrated Test (FEIT); 27) Multi-Element Integrated Testing (MEIT); 28) Flight Test Driving Principles; and 29) Constellation s Integrated Flight Test Strategy Low Earth Orbit Servicing Capability.

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

  7. Environmental Technology Verification (ETV) Quality Program (Poster)

    EPA Science Inventory

    This is a poster created for the ETV Quality Program. The EPA Environmental Technology Verification Program (ETV) develops test protocols and verifies the performance of innovative technologies that have the potential to improve protection of human health and the environment. The...

  8. ENVIRONMENTAL TECHNOLOGY VERIFICATION (ETV) PROGRAM CASE STUDIES: DEMONSTRATING PROGRAM OUTCOMES, VOLUME II

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

  9. Environmental Technology Verification Program - ETV - Case Studies: Demonstrating Program Outcomes

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

  10. Options and Risk for Qualification of Electric Propulsion System

    NASA Technical Reports Server (NTRS)

    Bailey, Michelle; Daniel, Charles; Cook, Steve (Technical Monitor)

    2002-01-01

    Electric propulsion vehicle systems envelop a wide range of propulsion alternatives including solar and nuclear, which present unique circumstances for qualification. This paper will address the alternatives for qualification of electric propulsion spacecraft systems. The approach taken will be to address the considerations for qualification at the various levels of systems definition. Additionally, for each level of qualification the system level risk implications will be developed. Also, the paper will explore the implications of analysis verses test for various levels of systems definition, while retaining the objectives of a verification program. The limitations of terrestrial testing will be explored along with the risk and implications of orbital demonstration testing. The paper will seek to develop a template for structuring of a verification program based on cost, risk and value return. A successful verification program should establish controls and define objectives of the verification compliance program. Finally the paper will seek to address the political and programmatic factors, which may impact options for system verification.

  11. Proceedings of Annual Meeting (26th) Aquatic Plant Control Research Program, Held in Dallas, Texas on 18-22 November, 1991

    DTIC Science & Technology

    1992-06-01

    AD-A254 592AQUATIC PLANT CONTROL (J tm~m.EhhhhE~m.J I I~ 1111R ESEA R C H PR O G R A M MISCELLANEOUS PAPER A-92-2 PROCEEDINGS, 26TH ANNUAL MEETING...AQUATIC PLANT CONTROL j RESEARCH PROGRAM 18-22 NOVEMBER 1991 DALLAS, TEXAS -9 _ AUG2 51992 June 19,92 Final Report -App~vt i For Fub~i3 2 In...Aquatic Plant Control Research Program, 18-22 November 1991, Dallas, Texas 6. AUTHOR(S) 7. PERFORMING ORGANIZATION NAME(S) AND ADDRESS(ES) e. PERFORMING

  12. Environmental Technology Verification Report -- Baghouse filtration products, GE Energy QG061 filtration media ( tested May 2007)

    EPA Science Inventory

    EPA has created the Environmental Technology Verification Program to facilitate the deployment of innovative or improved environmental technologies through performance verification and dissemination of information. The Air Pollution Control Technology Verification Center, a cente...

  13. 40 CFR Appendix C to Part 122 - Criteria for Determining a Concentrated Aquatic Animal Production Facility (§ 122.24)

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... ENVIRONMENTAL PROTECTION AGENCY (CONTINUED) WATER PROGRAMS EPA ADMINISTERED PERMIT PROGRAMS: THE NATIONAL... Concentrated Aquatic Animal Production Facility (§ 122.24) A hatchery, fish farm, or other facility is a... aquatic animals in either of the following categories: (a) Cold water fish species or other cold water...

  14. 40 CFR Appendix C to Part 122 - Criteria for Determining a Concentrated Aquatic Animal Production Facility (§ 122.24)

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... ENVIRONMENTAL PROTECTION AGENCY (CONTINUED) WATER PROGRAMS EPA ADMINISTERED PERMIT PROGRAMS: THE NATIONAL... Concentrated Aquatic Animal Production Facility (§ 122.24) A hatchery, fish farm, or other facility is a... aquatic animals in either of the following categories: (a) Cold water fish species or other cold water...

  15. Investigation, Development, and Evaluation of Performance Proving for Fault-tolerant Computers

    NASA Technical Reports Server (NTRS)

    Levitt, K. N.; Schwartz, R.; Hare, D.; Moore, J. S.; Melliar-Smith, P. M.; Shostak, R. E.; Boyer, R. S.; Green, M. W.; Elliott, W. D.

    1983-01-01

    A number of methodologies for verifying systems and computer based tools that assist users in verifying their systems were developed. These tools were applied to verify in part the SIFT ultrareliable aircraft computer. Topics covered included: STP theorem prover; design verification of SIFT; high level language code verification; assembly language level verification; numerical algorithm verification; verification of flight control programs; and verification of hardware logic.

  16. ENVIRONMENTAL TECHNOLOGY VERIFICATION REPORT - PERFORMANCE VERIFICATION OF THE W.L. GORE & ASSOCIATES GORE-SORBER SCREENING SURVEY

    EPA Science Inventory

    The U.S. Environmental Protection Agency (EPA) has created the Environmental Technology Verification Program (ETV) to facilitate the deployment of innovative or improved environmental technologies through performance verification and dissemination of information. The goal of the...

  17. 7 CFR 62.208 - Publication of QSVP assessment status.

    Code of Federal Regulations, 2011 CFR

    2011-01-01

    ... (CONTINUED) LIVESTOCK, MEAT, AND OTHER AGRICULTURAL COMMODITIES (QUALITY SYSTEMS VERIFICATION PROGRAMS) Quality Systems Verification Programs Definitions Service § 62.208 Publication of QSVP assessment status. Approved programs shall be posted for public reference on the ARC Branch Web site: http://www.ams.usda.gov...

  18. 7 CFR 62.208 - Publication of QSVP assessment status.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... (CONTINUED) LIVESTOCK, MEAT, AND OTHER AGRICULTURAL COMMODITIES (QUALITY SYSTEMS VERIFICATION PROGRAMS) Quality Systems Verification Programs Definitions Service § 62.208 Publication of QSVP assessment status. Approved programs shall be posted for public reference on the ARC Branch Web site: http://www.ams.usda.gov...

  19. 7 CFR 62.208 - Publication of QSVP assessment status.

    Code of Federal Regulations, 2013 CFR

    2013-01-01

    ... (CONTINUED) LIVESTOCK, MEAT, AND OTHER AGRICULTURAL COMMODITIES (QUALITY SYSTEMS VERIFICATION PROGRAMS) Quality Systems Verification Programs Definitions Service § 62.208 Publication of QSVP assessment status. Approved programs shall be posted for public reference on the ARC Branch Web site: http://www.ams.usda.gov...

  20. 7 CFR 62.208 - Publication of QSVP assessment status.

    Code of Federal Regulations, 2012 CFR

    2012-01-01

    ... (CONTINUED) LIVESTOCK, MEAT, AND OTHER AGRICULTURAL COMMODITIES (QUALITY SYSTEMS VERIFICATION PROGRAMS) Quality Systems Verification Programs Definitions Service § 62.208 Publication of QSVP assessment status. Approved programs shall be posted for public reference on the ARC Branch Web site: http://www.ams.usda.gov...

  1. 7 CFR 62.208 - Publication of QSVP assessment status.

    Code of Federal Regulations, 2014 CFR

    2014-01-01

    ... (CONTINUED) LIVESTOCK, MEAT, AND OTHER AGRICULTURAL COMMODITIES (QUALITY SYSTEMS VERIFICATION PROGRAMS) Quality Systems Verification Programs Definitions Service § 62.208 Publication of QSVP assessment status. Approved programs shall be posted for public reference on the ARC Branch Web site: http://www.ams.usda.gov...

  2. ENVIRONMENTAL TECHNOLOGY VERIFICATION PROGRAM: QUALITY AND MANAGEMENT PLAN FOR THE PILOT PERIOD (1995-2000)

    EPA Science Inventory

    Based upon the structure and specifications in ANSI/ASQC E4-1994, Specifications and Guidelines for Quality Systems for Environmental Data Collection and Environmental Technology Programs, the Environmental Technology Verification (ETV) program Quality and Management Plan (QMP) f...

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

  4. Crowd Sourced Formal Verification-Augmentation (CSFV-A)

    DTIC Science & Technology

    2016-06-01

    Formal Verification (CSFV) program built games that recast FV problems into puzzles to make these problems more accessible, increasing the manpower to...construct FV proofs. This effort supported the CSFV program by hosting the games on a public website, and analyzed the gameplay for efficiency to...provide FV proofs. 15. SUBJECT TERMS Crowd Source, Software, Formal Verification, Games 16. SECURITY CLASSIFICATION OF: 17. LIMITATION OF ABSTRACT

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

  6. Propagation and Establishment of Native Plants for Vegetative Restoration of Aquatic Ecosystems

    DTIC Science & Technology

    2013-06-01

    diverse native plant communities in aquatic systems. We document the successful application of these techniques in a number of aquatic ecosystems...Aquatic Plant Control Research Program (APCRP) for establishing native aquatic plants in reservoirs and other water bodies. These techniques should...that some control techniques may negatively affect efforts to establish native vegetation. Establishing native aquatic vegetation is not an exact

  7. Reducing software security risk through an integrated approach research initiative model based verification of the Secure Socket Layer (SSL) Protocol

    NASA Technical Reports Server (NTRS)

    Powell, John D.

    2003-01-01

    This document discusses the verification of the Secure Socket Layer (SSL) communication protocol as a demonstration of the Model Based Verification (MBV) portion of the verification instrument set being developed under the Reducing Software Security Risk (RSSR) Trough an Integrated Approach research initiative. Code Q of the National Aeronautics and Space Administration (NASA) funds this project. The NASA Goddard Independent Verification and Validation (IV&V) facility manages this research program at the NASA agency level and the Assurance Technology Program Office (ATPO) manages the research locally at the Jet Propulsion Laboratory (California institute of Technology) where the research is being carried out.

  8. U.S. EPA Environmental Technology Verification Program, the Founder of the ETV Concept

    EPA Science Inventory

    The U.S. EPA Environmental Technology Verification (ETV) Program develops test protocols and verifies the performance of innovative technologies that have the potential to improve protection of human health and the environment. The program was created in 1995 to help accelerate t...

  9. Lower Mississippi River Environmental Program. Report 13. Preliminary Environmental Design Considerations Associated with Articulated Concrete Mattress Revetments along the Lower Mississippi River

    DTIC Science & Technology

    1988-05-01

    Engineer Water Resources Support Center, Fort Belvoir, Va. Conner, J. W., Pennington, C. H., and Bosley, T. R. 1983. "Larval Fish of Selected Aquatic ...Mississippi River Environmental Program; Report 13 6a NAME OF PERFORMING ORGANIZATION 6b OFFICE SYMBOL 7a. NAME OF MONITORING ORGANIZATION Aquatic Ecosystem...Jenkins, Aquatic Ecosystem Analysts, PO Box 4188, Fayetteville, Ark. Mr. Stephen P. Cobb, MRC, Vicksburg, Miss., was the project officer and program manager

  10. Apollo experience report: Guidance and control systems. Engineering simulation program

    NASA Technical Reports Server (NTRS)

    Gilbert, D. W.

    1973-01-01

    The Apollo Program experience from early 1962 to July 1969 with respect to the engineering-simulation support and the problems encountered is summarized in this report. Engineering simulation in support of the Apollo guidance and control system is discussed in terms of design analysis and verification, certification of hardware in closed-loop operation, verification of hardware/software compatibility, and verification of both software and procedures for each mission. The magnitude, time, and cost of the engineering simulations are described with respect to hardware availability, NASA and contractor facilities (for verification of the command module, the lunar module, and the primary guidance, navigation, and control system), and scheduling and planning considerations. Recommendations are made regarding implementation of similar, large-scale simulations for future programs.

  11. CSTI Earth-to-orbit propulsion research and technology program overview

    NASA Technical Reports Server (NTRS)

    Gentz, Steven J.

    1993-01-01

    NASA supports a vigorous Earth-to-orbit (ETO) research and technology program as part of its Civil Space Technology Initiative. The purpose of this program is to provide an up-to-date technology base to support future space transportation needs for a new generation of lower cost, operationally efficient, long-lived and highly reliable ETO propulsion systems by enhancing the knowledge, understanding and design methodology applicable to advanced oxygen/hydrogen and oxygen/hydrocarbon ETO propulsion systems. Program areas of interest include analytical models, advanced component technology, instrumentation, and validation/verification testing. Organizationally, the program is divided between technology acquisition and technology verification as follows: (1) technology acquisition; and (2) technology verification.

  12. 7 CFR 62.213 - Official identification.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... Agriculture Regulations of the Department of Agriculture (Continued) AGRICULTURAL MARKETING SERVICE (Standards... AGRICULTURAL COMMODITIES (QUALITY SYSTEMS VERIFICATION PROGRAMS) Quality Systems Verification Programs Definitions Service § 62.213 Official identification. The following, as shown in figure 1, constitutes...

  13. 7 CFR 62.200 - Services.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... 7 Agriculture 3 2010-01-01 2010-01-01 false Services. 62.200 Section 62.200 Agriculture Regulations of the Department of Agriculture (Continued) AGRICULTURAL MARKETING SERVICE (Standards... AGRICULTURAL COMMODITIES (QUALITY SYSTEMS VERIFICATION PROGRAMS) Quality Systems Verification Programs...

  14. ENVIRONMENTAL TECHNOLOGY VERIFICATION PROGRAM QUARTERLY REPORT - OCTOBER 2003

    EPA Science Inventory

    The U.S. EPA Environmental Technology Verification (ETV) Program provides credible performance data for commercial-ready environmental technologies to speed their implementation for the benefit of vendors, purchasers, permitters, and the public. The ETV Quarterly Reports provide...

  15. ENVIRONMENTAL TECHNOLOGY VERIFICATION (ETV) PROGRAM: GREEN BUILDING 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 techno...

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

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

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

  19. ENVIRONMENTAL TECHNOLOGY VERIFICATION (ETV) PROGRAM; BAGHOUSE FILTRATION PRODUCTS

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

  20. 7 CFR 62.211 - Appeals.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... of the Department of Agriculture (Continued) AGRICULTURAL MARKETING SERVICE (Standards, Inspections... AGRICULTURAL COMMODITIES (QUALITY SYSTEMS VERIFICATION PROGRAMS) Quality Systems Verification Programs Definitions Service § 62.211 Appeals. Appeals of adverse decisions under this part, may be made in writing to...

  1. 7 CFR 62.212 - Official assessment reports.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... Agriculture Regulations of the Department of Agriculture (Continued) AGRICULTURAL MARKETING SERVICE (Standards... AGRICULTURAL COMMODITIES (QUALITY SYSTEMS VERIFICATION PROGRAMS) Quality Systems Verification Programs Definitions Service § 62.212 Official assessment reports. Official QSVP assessment reports shall be generated...

  2. ENVIRONMENTAL TECHNOLOGY VERIFICATION (ETV) PROGRAM: WET-WEATHER FLOW/SOURCE WATER PROTECTION

    EPA Science Inventory

    This paper presents an overview of the Environmental Protection Agency's (EPA) Environmental Technology Verification (ETV) program which was established to overcome the numerous impediments to commercialization experienced by developers of innovative environmental technologies. ...

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

  4. Investigation of the Effects of an Aquatics Program on the Psycho-Motor Function of Trainable Mentally Retarded Children.

    ERIC Educational Resources Information Center

    Miller, James F.; Throop, Robert K.

    To determine the effects of an aquatics program on the psycho-motor functions and body image of trainable mentally handicapped children, 60 children under 16 years of age were selected, and 39 children instructed three days per week over a period of one year. Results did not support the hypothesis that subjects in instructional aquatic classes…

  5. Environmental Technology Verification: Pesticide Spray Drift Reduction Technologies for Row and Field Crops

    EPA Pesticide Factsheets

    The Environmental Technology Verification Program, established by the EPA, is designed to accelerate the development and commercialization of new or improved technologies through third-party verification and reporting of performance.

  6. 14 CFR 460.17 - Verification program.

    Code of Federal Regulations, 2011 CFR

    2011-01-01

    ... software in an operational flight environment before allowing any space flight participant on board during a flight. Verification must include flight testing. ... TRANSPORTATION LICENSING HUMAN SPACE FLIGHT REQUIREMENTS Launch and Reentry with Crew § 460.17 Verification...

  7. 14 CFR 460.17 - Verification program.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... software in an operational flight environment before allowing any space flight participant on board during a flight. Verification must include flight testing. ... TRANSPORTATION LICENSING HUMAN SPACE FLIGHT REQUIREMENTS Launch and Reentry with Crew § 460.17 Verification...

  8. 14 CFR 460.17 - Verification program.

    Code of Federal Regulations, 2012 CFR

    2012-01-01

    ... software in an operational flight environment before allowing any space flight participant on board during a flight. Verification must include flight testing. ... TRANSPORTATION LICENSING HUMAN SPACE FLIGHT REQUIREMENTS Launch and Reentry with Crew § 460.17 Verification...

  9. 14 CFR 460.17 - Verification program.

    Code of Federal Regulations, 2013 CFR

    2013-01-01

    ... software in an operational flight environment before allowing any space flight participant on board during a flight. Verification must include flight testing. ... TRANSPORTATION LICENSING HUMAN SPACE FLIGHT REQUIREMENTS Launch and Reentry with Crew § 460.17 Verification...

  10. 14 CFR 460.17 - Verification program.

    Code of Federal Regulations, 2014 CFR

    2014-01-01

    ... software in an operational flight environment before allowing any space flight participant on board during a flight. Verification must include flight testing. ... TRANSPORTATION LICENSING HUMAN SPACE FLIGHT REQUIREMENTS Launch and Reentry with Crew § 460.17 Verification...

  11. 2018 EPA Protocol Gas Verification Program Participants

    EPA Pesticide Factsheets

    A list of participants for 2016 EPA's Protocol Gas Verification Program (PGVP) for stationary source monitoring. The list also has vendor IDs, which are production site-specific, and are the same ones used in the PGVP for ambient air monitoring.

  12. EVALUATION OF THE MART CORPORATION'S EQ-1 WASTEWATER PROCESSING SYSTEM

    EPA Science Inventory

    The USEPA has created the Environmental Technology Verification (ETV) Program to facilitate the deployment of innovative or improved environmental technologies through performance verification and dissemination of information. The goal of the ETV Program is to further environment...

  13. ENVIRONMENTAL TECHNOLOGY VERIFICATION (ETV) PROGRAM: ETV AND ANIMAL FEEDING OPERATIONS

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

  14. 7 CFR 62.201 - Availability of service.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... 7 Agriculture 3 2010-01-01 2010-01-01 false Availability of service. 62.201 Section 62.201 Agriculture Regulations of the Department of Agriculture (Continued) AGRICULTURAL MARKETING SERVICE (Standards... AGRICULTURAL COMMODITIES (QUALITY SYSTEMS VERIFICATION PROGRAMS) Quality Systems Verification Programs...

  15. 7 CFR 62.301 - Payment of fees and other charges.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... (CONTINUED) LIVESTOCK, MEAT, AND OTHER AGRICULTURAL COMMODITIES (QUALITY SYSTEMS VERIFICATION PROGRAMS) Quality Systems Verification Programs Definitions Charges for Service § 62.301 Payment of fees and other... SERVICE (Standards, Inspections, Marketing Practices), DEPARTMENT OF AGRICULTURE (CONTINUED) REGULATIONS...

  16. Aquatic Plants and their Control.

    ERIC Educational Resources Information Center

    Michigan State Dept. of Natural Resources, Lansing.

    Aquatic plants can be divided into two types: algae and macrophytes. The goal of aquatic plant management is to maintain a proper balance of plants within a lake and still retain the lake's recreational and economic importance. Aquatic plant management programs have two phases: long-term management (nutrient control), and short-term management…

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

  18. Verification Testing of Air Pollution Control Technology Quality Management Plan Revision 2.3

    EPA Pesticide Factsheets

    The Air Pollution Control Technology Verification Center was established in 1995 as part of the EPA’s Environmental Technology Verification Program to accelerate the development and commercialization of improved environmental technologies’ performance.

  19. Aquatic Contaminant and Mercury Simulation Modules Developed for Hydrologic and Hydraulic Models

    DTIC Science & Technology

    2016-07-01

    through the food chain. Human health may also be affected by ingesting contaminated water or fish. As a result, the criteria for protecting human...ER D C/ EL T R- 16 -8 Environmental Quality Technology Research Program Aquatic Contaminant and Mercury Simulation Modules Developed...Quality Technology Research Program ERDC/EL TR-16-8 July 2016 Aquatic Contaminant and Mercury Simulation Modules Developed for Hydrologic and

  20. ENVIRONMENTAL TECHNOLOGY VERIFICATION: CREDIBLE PERFORMANCE DATA FOR TECHNOLOGY USERS

    EPA Science Inventory

    The paper summarizes accomplishments of EPA's Environmental Technology Verification (ETV) Program, discusses lessons learned during the pilot period, briefly notes the restructuring of the pilot programs into six centers beginning in late 2000, and discusses in detail the Air Pol...

  1. 75 FR 39250 - Agency Information Collection Activities; Submission to OMB for Review and Approval; Comment...

    Federal Register 2010, 2011, 2012, 2013, 2014

    2010-07-08

    ... Protocol Gas Verification Program; EPA ICR No. 2375.01, OMB Control Number 2060-NEW AGENCY: Environmental... Air Protocol Gas Verification Program. ICR numbers: EPA ICR No. 2375.01, OMB Control No. 2060-NEW. ICR...

  2. ENVIRONMENTAL TECHNOLOGY VERIFICATION (ETV) PROGRAM: MICROTURBINES AND COMBINED HEAT AND POWER TECHNOLOGIES

    EPA Science Inventory

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

  3. ENVIRONMENTAL TECHNOLOGY VERIFICATION PROGRAM - ADVANCED MONITORING SYSTEMS OUTREACH

    EPA Science Inventory

    Technology performance information must be effectively communicated if it is to be of value to prospective users. The U.S. Environmental Protection Agency has provided funding to the Environmental Technology Verification (ETV) program to provide a plan to verify the environmen...

  4. 7 CFR 62.203 - How to withdraw service.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... 7 Agriculture 3 2010-01-01 2010-01-01 false How to withdraw service. 62.203 Section 62.203 Agriculture Regulations of the Department of Agriculture (Continued) AGRICULTURAL MARKETING SERVICE (Standards... AGRICULTURAL COMMODITIES (QUALITY SYSTEMS VERIFICATION PROGRAMS) Quality Systems Verification Programs...

  5. 7 CFR 62.204 - Authority to request service.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... 7 Agriculture 3 2010-01-01 2010-01-01 false Authority to request service. 62.204 Section 62.204 Agriculture Regulations of the Department of Agriculture (Continued) AGRICULTURAL MARKETING SERVICE (Standards... AGRICULTURAL COMMODITIES (QUALITY SYSTEMS VERIFICATION PROGRAMS) Quality Systems Verification Programs...

  6. Computer program user's manual for FIREFINDER digital topographic data verification library dubbing system

    NASA Astrophysics Data System (ADS)

    Ceres, M.; Heselton, L. R., III

    1981-11-01

    This manual describes the computer programs for the FIREFINDER Digital Topographic Data Verification-Library-Dubbing System (FFDTDVLDS), and will assist in the maintenance of these programs. The manual contains detailed flow diagrams and associated descriptions for each computer program routine and subroutine. Complete computer program listings are also included. This information should be used when changes are made in the computer programs. The operating system has been designed to minimize operator intervention.

  7. Evaluation of verification and testing tools for FORTRAN programs

    NASA Technical Reports Server (NTRS)

    Smith, K. A.

    1980-01-01

    Two automated software verification and testing systems were developed for use in the analysis of computer programs. An evaluation of the static analyzer DAVE and the dynamic analyzer PET, which are used in the analysis of FORTRAN programs on Control Data (CDC) computers, are described. Both systems were found to be effective and complementary, and are recommended for use in testing FORTRAN programs.

  8. The American College of Surgeons Children's Surgery Verification and Quality Improvement Program: implications for anesthesiologists.

    PubMed

    Houck, Constance S; Deshpande, Jayant K; Flick, Randall P

    2017-06-01

    The Task Force for Children's Surgical Care, an ad-hoc multidisciplinary group of invited leaders in pediatric perioperative medicine, was assembled in May 2012 to consider approaches to optimize delivery of children's surgical care in today's competitive national healthcare environment. Over the subsequent 3 years, with support from the American College of Surgeons (ACS) and Children's Hospital Association (CHA), the group established principles regarding perioperative resource standards, quality improvement and safety processes, data collection, and verification that were used to develop an ACS-sponsored Children's Surgery Verification and Quality Improvement Program (ACS CSV). The voluntary ACS CSV was officially launched in January 2017 and more than 125 pediatric surgical programs have expressed interest in verification. ACS CSV-verified programs have specific requirements for pediatric anesthesia leadership, resources, and the availability of pediatric anesthesiologists or anesthesiologists with pediatric expertise to care for infants and young children. The present review outlines the history of the ACS CSV, key elements of the program, and the standards specific to pediatric anesthesiology. As with the pediatric trauma programs initiated more than 40 years ago, this program has the potential to significantly improve surgical care for infants and children in the United States and Canada.

  9. Block 2 SRM conceptual design studies. Volume 1, Book 2: Preliminary development and verification plan

    NASA Technical Reports Server (NTRS)

    1986-01-01

    Activities that will be conducted in support of the development and verification of the Block 2 Solid Rocket Motor (SRM) are described. Development includes design, fabrication, processing, and testing activities in which the results are fed back into the project. Verification includes analytical and test activities which demonstrate SRM component/subassembly/assembly capability to perform its intended function. The management organization responsible for formulating and implementing the verification program is introduced. It also identifies the controls which will monitor and track the verification program. Integral with the design and certification of the SRM are other pieces of equipment used in transportation, handling, and testing which influence the reliability and maintainability of the SRM configuration. The certification of this equipment is also discussed.

  10. International Space Station Requirement Verification for Commercial Visiting Vehicles

    NASA Technical Reports Server (NTRS)

    Garguilo, Dan

    2017-01-01

    The COTS program demonstrated NASA could rely on commercial providers for safe, reliable, and cost-effective cargo delivery to ISS. The ISS Program has developed a streamlined process to safely integrate commercial visiting vehicles and ensure requirements are met Levy a minimum requirement set (down from 1000s to 100s) focusing on the ISS interface and safety, reducing the level of NASA oversight/insight and burden on the commercial Partner. Partners provide a detailed verification and validation plan documenting how they will show they've met NASA requirements. NASA conducts process sampling to ensure that the established verification processes is being followed. NASA participates in joint verification events and analysis for requirements that require both parties verify. Verification compliance is approved by NASA and launch readiness certified at mission readiness reviews.

  11. U.S.-MEXICO BORDER PROGRAM ARIZONA BORDER STUDY--STANDARD OPERATING PROCEDURE FOR PERFORMANCE OF COMPUTER SOFTWARE: VERIFICATION AND VALIDATION (IIT-A-2.0)

    EPA Science Inventory

    The purpose of this SOP is to define the procedures for the initial and periodic verification and validation of computer programs. The programs are used during the Arizona NHEXAS project and Border study at the Illinois Institute of Technology (IIT) site. Keywords: computers; s...

  12. Verification of MICNOISE computer program for the prediction of highway noise : part II : additional verification of MICNOISE version 5.

    DOT National Transportation Integrated Search

    1975-01-01

    This is a continuation of an earlier report in which the MICNOISE computer program for the prediction of highway noise was evaluated. The outputs of the MICNOISE program are the L50 and LI0 sound pressure levels, i.e., those levels experienced 50% an...

  13. Computer Program User’s Manual for FIREFINDER Digital Topographic Data Verification Library Dubbing System. Volume II. Dubbing.

    DTIC Science & Technology

    1982-01-29

    N - Nw .VA COMPUTER PROGRAM USER’S MANUAL FOR . 0FIREFINDER DIGITAL TOPOGRAPHIC DATA VERIFICATION LIBRARY DUBBING SYSTEM VOLUME II DUBBING 29 JANUARY...Digital Topographic Data Verification Library Dubbing System, Volume II, Dubbing 6. PERFORMING ORG. REPORT NUMER 7. AUTHOR(q) S. CONTRACT OR GRANT...Software Library FIREFINDER Dubbing 20. ABSTRACT (Continue an revWee *Ide II necessary end identify by leek mauber) PThis manual describes the computer

  14. University of Rhode Island Adapted Aquatics Program Manual. Second Edition.

    ERIC Educational Resources Information Center

    Bloomquist, Lorraine E.

    This manual provides guidelines for aquatic teachers of people with disabilities. It is based on experience in teaching American Red Cross Adapted Aquatics and is to be used to complement and accompany the Red Cross Adapted Aquatics materials. Emphasis is placed on successful experiences in a positive, safe, reinforcing environment stressing…

  15. Aquatic Plant Control Research Program. Allelopathic Aquatic Plants for Aquatic Plant Management: A Feasibility Study

    DTIC Science & Technology

    1989-10-01

    1978. " Ecotoxicology of aquatic plant communi- ties," Principles of Ecotoxicology , SCOPE Report 12, Chapter 11, pp 239-255. [Heavy metals, Pollutants...Phragmites communis and Equisetum limosum were cultivated . They found plant-plant influences depend on soil type. Typha latifolia, S. A2 lacustris, and

  16. Aquatic Equipment Information.

    ERIC Educational Resources Information Center

    Sova, Ruth

    Equipment usually used in water exercise programs is designed for variety, intensity, and program necessity. This guide discusses aquatic equipment under the following headings: (1) equipment design; (2) equipment principles; (3) precautions and contraindications; (4) population contraindications; and (5) choosing equipment. Equipment is used…

  17. 33 CFR Appendix C to Part 273 - Information Requirements for Aquatic Plant Control Program Environmental Impact Statements

    Code of Federal Regulations, 2014 CFR

    2014-07-01

    ... Navigable Waters CORPS OF ENGINEERS, DEPARTMENT OF THE ARMY, DEPARTMENT OF DEFENSE AQUATIC PLANT CONTROL Pt.... Program accomplishments: a. Goals. Discuss practical control levels. b. Monitoring accomplishment level. 3...

  18. VERIFYING CLEANER TECHNOLOGIES WITH EPA'S ENVIRONMENTAL TECHNOLOGY VERIFICATION PROGRAM

    EPA Science Inventory

    The US EPA's Office of Research and Development Environmental Technology Verification (ETV) Program completed its five-year pilot period in 2001. Now in 2002 lessons learned in the pilot period are being incorporated seamlessly into six operating ETV Centers which cover technolo...

  19. 40 CFR 86.094-13 - Light-duty exhaust durability programs.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... requirements. (5) In-use verification. The Standard Self-Approval Durability Program includes no requirement... selection methods, durability data vehicle compliance requirements, in-use verification requirements... Accumulation Carryover. Light-duty Trucks Tier 1 & Tier 0 Standard Self-Approval Carryover. Alternative Service...

  20. How Nasa's Independent Verification and Validation (IVandV) Program Builds Reliability into a Space Mission Software System (SMSS)

    NASA Technical Reports Server (NTRS)

    Fisher, Marcus S.; Northey, Jeffrey; Stanton, William

    2014-01-01

    The purpose of this presentation is to outline how the NASA Independent Verification and Validation (IVV) Program helps to build reliability into the Space Mission Software Systems (SMSSs) that its customers develop.

  1. 42 CFR 455.20 - Recipient verification procedure.

    Code of Federal Regulations, 2010 CFR

    2010-10-01

    ... 42 Public Health 4 2010-10-01 2010-10-01 false Recipient verification procedure. 455.20 Section 455.20 Public Health CENTERS FOR MEDICARE & MEDICAID SERVICES, DEPARTMENT OF HEALTH AND HUMAN SERVICES (CONTINUED) MEDICAL ASSISTANCE PROGRAMS PROGRAM INTEGRITY: MEDICAID Medicaid Agency Fraud Detection and...

  2. U.S. ENVIRONMENTAL PROTECTION AGENCY (EPA) ENVIRONMENTAL TECHNOLOGY VERIFICATION (ETV) PROGRAM: ARSENIC MONITORING TECHNOLOGIES

    EPA Science Inventory

    The U.S. Environmental Protection Agency 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 technology ...

  3. U.S. ENVIRONMENTAL PROTECTION AGENCY (EPA) ENVIRONMENTAL TECHNOLOGY VERIFICATION (ETV) PROGRAM: ARSENIC TREATMENT 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...

  4. ENVIRONMENTAL TECHNOLOGY VERIFICATION REPORT - CHROMATOGRAPH/MASS SPECTOMETOR INLICON, INC. HAPSITE

    EPA Science Inventory

    The U.S. Environmental Protection Agency, through the Environmental Technology Verification Program, is working to accelerate the acceptance and use of innovative technologies that improve the way the United States manages its environmental problems. As part of this program, the...

  5. 7 CFR 62.202 - How to apply for service.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... 7 Agriculture 3 2010-01-01 2010-01-01 false How to apply for service. 62.202 Section 62.202 Agriculture Regulations of the Department of Agriculture (Continued) AGRICULTURAL MARKETING SERVICE (Standards... AGRICULTURAL COMMODITIES (QUALITY SYSTEMS VERIFICATION PROGRAMS) Quality Systems Verification Programs...

  6. 20 CFR 632.77 - Participant eligibility determination.

    Code of Federal Regulations, 2011 CFR

    2011-04-01

    ... NATIVE AMERICAN EMPLOYMENT AND TRAINING PROGRAMS Program Design and Management § 632.77 Participant... maintaining a system which reasonably ensures an accurate determination and subsequent verification of... information is subject to verification and that falsification of the application shall be grounds for the...

  7. 20 CFR 632.77 - Participant eligibility determination.

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ... NATIVE AMERICAN EMPLOYMENT AND TRAINING PROGRAMS Program Design and Management § 632.77 Participant... maintaining a system which reasonably ensures an accurate determination and subsequent verification of... information is subject to verification and that falsification of the application shall be grounds for the...

  8. 7 CFR 3431.16 - Certifications and verifications.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ..., EDUCATION, AND EXTENSION SERVICE, DEPARTMENT OF AGRICULTURE VETERINARY MEDICINE LOAN REPAYMENT PROGRAM Administration of the Veterinary Medicine Loan Repayment Program § 3431.16 Certifications and verifications. (a... applicant would meet the requirements of: (i) The veterinary service shortage situations as defined in the...

  9. Toxicity to Aquatic Organisms and Chemistry of Nine Selected Waterborne Pollutants from Munitions Manufacture - A Literature Evaluation

    DTIC Science & Technology

    1975-05-01

    using both native freshwater and marine target species; the conduct ofcomplete chronic bioassay testing over the life-cycle of the same organisms usedin ...presents by far the greatest degree of sensitivity to perchlorate of any animal tested , and clearly merits verification. Plants. There are r...Between Toxicity and Solution Pressure with Polycelie nigra as Test Animal ", j. Exp. BioZ., 17, 408-415 (1940). 238. Dale, D., "On the Action of

  10. ENVIRONMENTAL TECHNOLOGY VERIFICATION REPORT, TNT DETECTION TECHNOLOGY, TEXAS INSTRUMENTS, SPREETA TM SENSOR

    EPA Science Inventory

    The U.S. Environmental Protection Agency (EPA) has created the Environmental Technology Verification Program (ETV) to facilitate the deployment of innovative or improved environmental technologies through performance verification and dissemination of information. The goal of the ...

  11. ENVIRONMENTAL TECHNOLOGY VERIFICATION REPORT, GROUNDWATER SAMPLING TECHNOLOGIES, CLEAN ENVIRONMENT EQUIPMENT, SAMPLEASE BLADDER PUMP

    EPA Science Inventory

    The U.S. Environmental Protection Agency (EPA) has created the Environmental Technology Verification Program (ETV) to facilitate the deployment of innovative or improved environmental technologies through performance verification and dissemination of information. The goal of the...

  12. IMPROVING AIR QUALITY THROUGH ENVIRONMENTAL TECHNOLOGY VERIFICATIONS

    EPA Science Inventory

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

  13. Environmental Technology Verification Report - NATCO Group, Inc. – Paques THIOPAQ Gas Purification Technology

    EPA Science Inventory

    The U.S. Environmental Protection Agency (EPA) has created the Environmental Technology Verification (ETV) program to facilitate the deployment of innovative or improved environmental technologies through performance verification and dissemination of information. The goal of the ...

  14. ENVIRONMENTAL TECHNOLOGY VERIFICATION REPORT, GROUNDWATER SAMPLING TECHNOLOGIES, BURGE ENVIRONMENTAL INC. MULTIPROBE 100

    EPA Science Inventory

    The U.S. Environmental Protection Agency (EPA) has created the Environmental Technology Verification Program (ETV) to facilitate the deployment of innovative or improved environmental technologies through performance verification and dissemination of information. The goal of the...

  15. ENVIRONMENTAL TECHNOLOGY VERIFICATION REPORT, ENVIRONMENTAL DECISION SUPPORT SOFTWARE, DECISION FX, INC., GROUNDWATER FX

    EPA Science Inventory

    The U.S. Environmental Protection Agency (EPA) has created the Environmental Technology Verification Program (ETV) to facilitate the deployment of innovative or improved environmental technologies through performance verification and dissemination of information. The goal of the...

  16. ENVIRONMENTAL TECHNOLOGY VERIFICATION REPORT, ENVIRONMENTAL DECISION SUPPORT SOFTWARE, DECISION FX, INC. SAMPLING FX

    EPA Science Inventory

    The U.S. Environmental Protection Agency (EPA) has created the Environmental Technology Verification Program (ETV) to facilitate the deployment of innovative or improved environmental technologies through performance verification and dissemination of information. The goal of the...

  17. VERIFICATION TESTING OF HIGH-RATE MECHANICAL INDUCTION MIXERS FOR CHEMICAL DISINFECTANTS

    EPA Science Inventory

    This paper describes the results of verification testing of mechanical induction mixers for dispersion of chemical disinfectants in wet-weather flow (WWF) conducted under the U.S. Environmental Protection Agency's Environmental Technology Verification (ETV) WWF Pilot Program. Th...

  18. Effect of aquatic versus land based exercise programs on physical performance in severely burned patients: a randomized controlled trial.

    PubMed

    Zoheiry, Ibrahim M; Ashem, Haidy N; Ahmed, Hamada Ahmed Hamada; Abbas, Rami

    2017-12-01

    [Purpose] To compare the effect of an aquatic-based versus a land-based exercise regimen on the physical performance of severely burned patients. [Subjects and Methods] Forty patients suffering from severe burn (total body surface area more than 30%) were recruited from several outpatient clinics in Greater Cairo. Their ages ranged between 20 to 40 years and were randomly assigned into two equal groups: group (A), which received an aquatic based exercise program, and group (B), which received a land-based exercise program. The exercise program, which took place in 12 consecutive weeks, consisted of flexibility, endurance, and lower and upper body training. Physical performance was assessed using 30 seconds chair stand test, stair climb test, 30 meter fast paced walk test, time up and go test, 6-minute walk test and a VO2max evaluation. [Results] Significantly increase in the 30 second chair stand, 6-minute walk, 30 meter fast paced walk, stair climb, and VO2 max tests and significantly decrease in the time up and go test in group A (aquatic based exercise) compared with group B (a land-based exercise) at the post treatment. [Conclusion] Twelve-week program of an aquatic program yields improvement in both physical performance and VO2 max in patients with severe burns.

  19. Effect of aquatic versus land based exercise programs on physical performance in severely burned patients: a randomized controlled trial

    PubMed Central

    Zoheiry, Ibrahim M.; Ashem, Haidy N.; Ahmed, Hamada Ahmed Hamada; Abbas, Rami

    2017-01-01

    [Purpose] To compare the effect of an aquatic-based versus a land-based exercise regimen on the physical performance of severely burned patients. [Subjects and Methods] Forty patients suffering from severe burn (total body surface area more than 30%) were recruited from several outpatient clinics in Greater Cairo. Their ages ranged between 20 to 40 years and were randomly assigned into two equal groups: group (A), which received an aquatic based exercise program, and group (B), which received a land-based exercise program. The exercise program, which took place in 12 consecutive weeks, consisted of flexibility, endurance, and lower and upper body training. Physical performance was assessed using 30 seconds chair stand test, stair climb test, 30 meter fast paced walk test, time up and go test, 6-minute walk test and a VO2max evaluation. [Results] Significantly increase in the 30 second chair stand, 6-minute walk, 30 meter fast paced walk, stair climb, and VO2 max tests and significantly decrease in the time up and go test in group A (aquatic based exercise) compared with group B (a land-based exercise) at the post treatment. [Conclusion] Twelve-week program of an aquatic program yields improvement in both physical performance and VO2 max in patients with severe burns. PMID:29643605

  20. ENVIRONMENTAL TECHNOLOGY VERIFICATION: JOINT (NSF-EPA) VERIFICATION STATEMENT AND REPORT FOR TREATMENT OF WASTEWATER GENERATED DURING DECONTAMINATION ACTIVITIES - ULTRASTRIP SYSTEMS, INC., MOBILE EMERGENCY FILTRATION SYSTEM (MEFS) - 04/14/WQPC-HS

    EPA Science Inventory

    Performance verification testing of the UltraStrip Systems, Inc., Mobile Emergency Filtration System (MEFS) was conducted under EPA's Environmental Technology Verification (ETV) Program at the EPA Test and Evaluation (T&E) Facility in Cincinnati, Ohio, during November, 2003, thr...

  1. Process Document, Joint Verification Protocol, and Joint Test Plan for Verification of HACH-LANGE GmbH LUMIStox 300 Bench Top Luminometer and ECLOX Handheld Luminometer for Luminescent Bacteria Test for use in Wastewater

    EPA Science Inventory

    The Danish Environmental Technology Verification program (DANETV) Water Test Centre operated by DHI, is supported by the Danish Ministry for Science, Technology and Innovation. DANETV, the United States Environmental Protection Agency Environmental Technology Verification Progra...

  2. VERIFICATION OF BALLAST WATER TREATMENT SYSTEMS UNDER EPA'S ENVIRONMENTAL TECHNOLOGY VERIFICATION (ETV) PROGRAM

    EPA Science Inventory

    This paper presents a brief overview of the EPA's ETV program which was established in 1995 to overcome the numerous impediments to commercialization experienced by developers of innovative environmental technologies. Among those most frequently mentioned is the lack of credible ...

  3. U.S. ENVIRONMENTAL PROTECTION AGENCY (EPA) ENVIRONMENTAL TECHNOLOGY VERIFICATION (ETV) PROGRAM: MERCURY CONTINUOUS EMISSION MONITORS

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

  4. ENVIRONMENTAL TECHNOLOGY VERIFICATION REPORT - PORTABLE GAS CHROMATOGRAPH ELECTRONIC SENSOR TECHNOLOGY MODEL 4100

    EPA Science Inventory

    The U.S. Environmental Protection Agency, through the Environmental Technology Verification Program, is working to accelerate the acceptance and use of innovative technologies that improve the way the United States manages its environmental problems. As part of this program, the...

  5. PERFORMANCE VERIFICATION TESTING OF SOURCE WATER PROTECTION TECHNOLOGIES UNDER EPA'S ENVIRONMENTAL TECHNOLOGY VERIFICATION PROGRAM

    EPA Science Inventory

    This paper presents a brief overview of EPA's ETV program established in 1995 to overcome the numerous impediments to commercialization experienced by developers of innovative environmental technologies. Among those most frequently mentioned is the lack of credible performance da...

  6. THE U.S. EVIRONMENTAL PROTECTION AGENCY ENVIRONMENTAL TECHNOLOGY VERIFICATION PROGRAM—AN OVERVIEW

    EPA Science Inventory

    This is an article about monitoring technologies in the Environmental Technolgy Verification (ETV) Program which will be published in the Journal of Occupational And Environmental Hygiene. This article gives an overview of the entire ETV program with emphasis on monitoring techn...

  7. Environmental Technology Verification Report - Electric Power and Heat Production Using Renewable Biogas at Patterson Farms

    EPA Science Inventory

    The U.S. EPA operates the Environmental Technology Verification program to facilitate the deployment of innovative technologies through performance verification and information dissemination. A technology area of interest is distributed electrical power generation, particularly w...

  8. ENVIRONMENTAL TECHNOLOGY VERIFICATION REPORT--BAGHOUSE FILTRATION PRODUCTS, DONALDSON COMPANY, INC., 6282 FILTRATION MEDIA

    EPA Science Inventory

    The Environmental Technology Verification (ETV) Program, established by the U.S. EPA, is designed to accelerate the developmentand commercialization of new or improved technologies through third-party verification and reporting of performance. The Air Pollution Control Technology...

  9. Environmental Technology Verification: Baghouse Filtration Products--Donaldson Co., Inc., Tetratec #6255-3 Filtration Media

    EPA Science Inventory

    The U.S. Environmental Protection Agency (EPA) has created the Environmental Technology Verification (ETV) Program to facilitate the deployment of innovative or improved environmental technologies through performance verification and dissemination of information. ETV seeks to ach...

  10. Circuitbot

    DTIC Science & Technology

    2016-03-01

    constraints problem. Game rules described valid moves allowing player to generate a memory graph performing improved C program verification . 15. SUBJECT...TERMS Formal Verification , Static Analysis, Abstract Interpretation, Pointer Analysis, Fixpoint Iteration 16. SECURITY CLASSIFICATION OF: 17...36 3.4.12 Example: Game Play . . . . . . . . . . . . . . . . . . . . . . . . . . . 37 3.4.13 Verification

  11. GENERIC VERIFICATION PROTOCOL: DISTRIBUTED GENERATION AND COMBINED HEAT AND POWER FIELD TESTING PROTOCOL

    EPA Science Inventory

    This report is a generic verification protocol by which EPA’s Environmental Technology Verification program tests newly developed equipment for distributed generation of electric power, usually micro-turbine generators and internal combustion engine generators. The protocol will ...

  12. Environmental Technology Verification: Baghouse Filtration Products--TDC Filter Manufacturing, Inc., SB025 Filtration Media

    EPA Science Inventory

    The U.S. Environmental Protection Agency (EPA) has created the Environmental Technology Verification (ETV) Program to facilitate the deployment of innovative or improved environmental technologies through performance verification and dissemination of information. ETV seeks to ach...

  13. VERIFICATION TESTING OF HIGH-RATE MECHANICAL INDUCTION MIXERS FOR CHEMICAL DISINFECTANTS, Oregon

    EPA Science Inventory

    This paper describes the results of verification testing of mechanical induction mixers for dispersion of chemical disinfectants in wet-weather flow (WWF) conducted under the U.S. Environmental Protection Agency's Environmental Technology Verification (ETV) WWF Pilot Program. Th...

  14. ENVIRONMENTAL TECHNOLOGY VERIFICATION--GENERIC VERIFICATION PROTOCOL FOR BIOLOGICAL AND AEROSOL TESTING OF GENERAL VENTILATION AIR CLEANERS

    EPA Science Inventory

    Under EPA's Environmental Technology Verification Program, Research Triangle Institute (RTI) will operate the Air Pollution Control Technology Center to verify the filtration efficiency and bioaerosol inactivation efficiency of heating, ventilation and air conditioning air cleane...

  15. THIRD PARTY TECHNOLOGY PERFORMANCE VERIFICATION DATA FROM A STAKEHOLD-DRIVEN TECHNOLOGY TESTING PROGRAM

    EPA Science Inventory

    The Greenhouse Gas (GHG) Technology Verification Center is one of 12 independently operated verification centers established by the U.S. Environmental Protection Agency. The Center provides third-party performance data to stakeholders interested in environmetnal technologies tha...

  16. ENVIRONMENTAL TECHNOLOGY VERIFICATION REPORT; ENVIRONMENTAL DECISION SUPPORT SOFTWARE; ENVIRONMENTAL SOFTWARE SITEPRO VERSION 2.0"

    EPA Science Inventory

    The U.S. Environmental Protection Agency (EPA) has created the Environmental Technology Verification Program (ETV) to facilitate the deployment of innovative or improved environmental technologies through performance verification and dissemination of information. The goal of the...

  17. Cluster man/system design requirements and verification. [for Skylab program

    NASA Technical Reports Server (NTRS)

    Watters, H. H.

    1974-01-01

    Discussion of the procedures employed for determining the man/system requirements that guided Skylab design, and review of the techniques used for implementing the man/system design verification. The foremost lesson learned from the design need anticipation and design verification experience is the necessity to allow for human capabilities of in-flight maintenance and repair. It is now known that the entire program was salvaged by a series of unplanned maintenance and repair events which were implemented in spite of poor design provisions for maintenance.

  18. Formulating face verification with semidefinite programming.

    PubMed

    Yan, Shuicheng; Liu, Jianzhuang; Tang, Xiaoou; Huang, Thomas S

    2007-11-01

    This paper presents a unified solution to three unsolved problems existing in face verification with subspace learning techniques: selection of verification threshold, automatic determination of subspace dimension, and deducing feature fusing weights. In contrast to previous algorithms which search for the projection matrix directly, our new algorithm investigates a similarity metric matrix (SMM). With a certain verification threshold, this matrix is learned by a semidefinite programming approach, along with the constraints of the kindred pairs with similarity larger than the threshold, and inhomogeneous pairs with similarity smaller than the threshold. Then, the subspace dimension and the feature fusing weights are simultaneously inferred from the singular value decomposition of the derived SMM. In addition, the weighted and tensor extensions are proposed to further improve the algorithmic effectiveness and efficiency, respectively. Essentially, the verification is conducted within an affine subspace in this new algorithm and is, hence, called the affine subspace for verification (ASV). Extensive experiments show that the ASV can achieve encouraging face verification accuracy in comparison to other subspace algorithms, even without the need to explore any parameters.

  19. What's New in Aquatics Training.

    ERIC Educational Resources Information Center

    Ensign, Jim

    1992-01-01

    There are many options for aquatic professionals requiring retraining to stay current and certified. The article describes six aquatics training programs, noting their strong points, common concerns, basic features, standard fees, course lengths, and how other professionals view their services. (SM)

  20. Quantifying aquatic invasion patterns through space and time

    EPA Science Inventory

    The objective of my study was to quantify the apparent spatio-temporal relationship between anthropogenic introduction pathway intensity and non-native aquatic species presence throughout the Laurentian Great Lakes. Non-native aquatic species early detection programs are based pr...

  1. What's New: Acquatic Stabilization: Aquatic Rehabilitation Strategies for the Lumbar Spine and Risk Management for the Aquatic Therapist.

    ERIC Educational Resources Information Center

    Moschettti, Marilou

    Through dynamic aquatic stabilization techniques, patients will develop the ability to characterize sensory distractions and develop self-awareness and sensitivity to movement in the water, which will relate directly to improved motor function. Aquatic therapy is a systematic method of treatment, with programs developed by a licensed physical…

  2. Bibliography of marine radiation ecology prepared for the Seabed Program

    DOE Office of Scientific and Technical Information (OSTI.GOV)

    Schultz, V.S.

    1980-02-01

    References on the effects of ionizing radiation on aquatic organisms have been obtained from a number of sources. Many were obtained from reviews and other publications. Although the primary purpose of preparing this bibliography was to obtain information related to the nuclear wastes Seabed Disposal Biology Program of Sandia Laboratories, freshwater organisms are included as a matter of convenience and also with the belief that such a bibliography would be of interest to a wider audience than that restricted to the Seabed Program. While compilation of a list in an area broad in scope is often somewhat arbitrary, an attemptmore » was made to reference publications that were related to field or laboratory studies of wild species of plants and animals with respect to radiation effects. Complete information concerning each reference are provided without excessive library search. Since one often finds references listed in the literature that are incompletely cited, it was not always possible to locate the reference for verification or completion of the citation. Such references are included where they appeared to be of possible value. When known, a reference is followed with its Nuclear Science Abstract designation, or rarely other abstract sources. Those desiring additional information should check Nuclear Science Abstracts utilizing the abstract number presented or other abstracting sources. In addition, the language of the article, other than English, is given when it is known to me.« less

  3. U.S.-MEXICO BORDER PROGRAM ARIZONA BORDER STUDY--STANDARD OPERATING PROCEDURE FOR PERFORMANCE OF COMPUTER SOFTWARE: VERIFICATION AND VALIDATION (UA-D-2.0)

    EPA Science Inventory

    The purpose of this SOP is to define the procedures used for the initial and periodic verification and validation of computer programs used during the Arizona NHEXAS project and the Border study. Keywords: Computers; Software; QA/QC.

    The U.S.-Mexico Border Program is sponsored ...

  4. National Summary of Aquatic Education Materials Developed by, or Adapted for Use with, State and Territorial Programs.

    ERIC Educational Resources Information Center

    Iowa State Dept. of Natural Resources, Des Moines.

    This document summarizes materials on aquatic education used by state programs. Emphasis is on materials developed by, or adapted for use with, programs in various states and territories. The 234 entries are categorized as activity books, brochures, newsletters, posters, videos, and other materials. Major subjects include fishing, boating and…

  5. C formal verification with unix communication and concurrency

    NASA Technical Reports Server (NTRS)

    Hoover, Doug N.

    1990-01-01

    The results of a NASA SBIR project are presented in which CSP-Ariel, a verification system for C programs which use Unix system calls for concurrent programming, interprocess communication, and file input and output, was developed. This project builds on ORA's Ariel C verification system by using the system of Hoare's book, Communicating Sequential Processes, to model concurrency and communication. The system runs in ORA's Clio theorem proving environment. The use of CSP to model Unix concurrency and sketch the CSP semantics of a simple concurrent program is outlined. Plans for further development of CSP-Ariel are discussed. This paper is presented in viewgraph form.

  6. Software Model Checking Without Source Code

    NASA Technical Reports Server (NTRS)

    Chaki, Sagar; Ivers, James

    2009-01-01

    We present a framework, called AIR, for verifying safety properties of assembly language programs via software model checking. AIR extends the applicability of predicate abstraction and counterexample guided abstraction refinement to the automated verification of low-level software. By working at the assembly level, AIR allows verification of programs for which source code is unavailable-such as legacy and COTS software-and programs that use features-such as pointers, structures, and object-orientation-that are problematic for source-level software verification tools. In addition, AIR makes no assumptions about the underlying compiler technology. We have implemented a prototype of AIR and present encouraging results on several non-trivial examples.

  7. Deductive Evaluation: Formal Code Analysis With Low User Burden

    NASA Technical Reports Server (NTRS)

    Di Vito, Ben. L

    2016-01-01

    We describe a framework for symbolically evaluating iterative C code using a deductive approach that automatically discovers and proves program properties. Although verification is not performed, the method can infer detailed program behavior. Software engineering work flows could be enhanced by this type of analysis. Floyd-Hoare verification principles are applied to synthesize loop invariants, using a library of iteration-specific deductive knowledge. When needed, theorem proving is interleaved with evaluation and performed on the fly. Evaluation results take the form of inferred expressions and type constraints for values of program variables. An implementation using PVS (Prototype Verification System) is presented along with results for sample C functions.

  8. Automatic programming for critical applications

    NASA Technical Reports Server (NTRS)

    Loganantharaj, Raj L.

    1988-01-01

    The important phases of a software life cycle include verification and maintenance. Usually, the execution performance is an expected requirement in a software development process. Unfortunately, the verification and the maintenance of programs are the time consuming and the frustrating aspects of software engineering. The verification cannot be waived for the programs used for critical applications such as, military, space, and nuclear plants. As a consequence, synthesis of programs from specifications, an alternative way of developing correct programs, is becoming popular. The definition, or what is understood by automatic programming, has been changed with our expectations. At present, the goal of automatic programming is the automation of programming process. Specifically, it means the application of artificial intelligence to software engineering in order to define techniques and create environments that help in the creation of high level programs. The automatic programming process may be divided into two phases: the problem acquisition phase and the program synthesis phase. In the problem acquisition phase, an informal specification of the problem is transformed into an unambiguous specification while in the program synthesis phase such a specification is further transformed into a concrete, executable program.

  9. 40 CFR 86.1823-01 - Durability demonstration procedures for exhaust emissions.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ...) Discussion of the manufacturer's in-use verification procedures including testing performed, vehicle... performed should also be documented in the manufacturer's submission. The in-use verification program shall...), the Alternate Service Accumulation Durability Program described in § 86.094-13(e) or the Standard Self...

  10. ENVIRONMENTAL TECHNOLOGY VERIFICATION FOR AIR POLLUTION CONTROL TECHNOLOGIES

    EPA Science Inventory

    The report describes the activities and progress of the pilot Air Pollution Control Technologies (APCT) portion of the Environmental Technology Verification (ETV) Program during the period from 09/15/97 to 09/15/02. The objective of the ETV Program is to verify the performance of...

  11. Verification of Java Programs using Symbolic Execution and Invariant Generation

    NASA Technical Reports Server (NTRS)

    Pasareanu, Corina; Visser, Willem

    2004-01-01

    Software verification is recognized as an important and difficult problem. We present a norel framework, based on symbolic execution, for the automated verification of software. The framework uses annotations in the form of method specifications an3 loop invariants. We present a novel iterative technique that uses invariant strengthening and approximation for discovering these loop invariants automatically. The technique handles different types of data (e.g. boolean and numeric constraints, dynamically allocated structures and arrays) and it allows for checking universally quantified formulas. Our framework is built on top of the Java PathFinder model checking toolset and it was used for the verification of several non-trivial Java programs.

  12. Considerations in STS payload environmental verification

    NASA Technical Reports Server (NTRS)

    Keegan, W. B.

    1978-01-01

    Considerations regarding the Space Transportation System (STS) payload environmental verification are reviewed. It is noted that emphasis is placed on testing at the subassembly level and that the basic objective of structural dynamic payload verification is to ensure reliability in a cost-effective manner. Structural analyses consist of: (1) stress analysis for critical loading conditions, (2) model analysis for launch and orbital configurations, (3) flight loads analysis, (4) test simulation analysis to verify models, (5) kinematic analysis of deployment/retraction sequences, and (6) structural-thermal-optical program analysis. In addition to these approaches, payload verification programs are being developed in the thermal-vacuum area. These include the exposure to extreme temperatures, temperature cycling, thermal-balance testing and thermal-vacuum testing.

  13. ENVIRONMENTAL TECHNOLOGY VERIFICATION--FUELCELL ENERGY, INC.: DFC 300A MOLTEN CARBONATE FUEL CELL COMBINED HEAT AND POWER SYSTEM

    EPA Science Inventory

    The U.S. EPA operates the Environmental Technology Verification program to facilitate the deployment of innovative technologies through performance verification and information dissemination. A technology area of interest is distributed electrical power generation, particularly w...

  14. ENVIRONMENTAL TECHNOLOGY VERIFICATION REPORT: BAGHOUSE FILTRATION PRODUCTS--DONALDSON COMPANY, INC., TETRATEC #6255 FILTRATION MEDIA

    EPA Science Inventory

    The Environmental Technology Verification (ETV) Program, established by the U.S. EPA, is designed to accelerate the development and commercialization of new or improved technologies through third-party verification and reporting of performance. The Air Pollution Control Technolog...

  15. ENVIRONMENTAL TECHNOLOGY VERIFICATION REPORT - GROUNDWATER SAMPLING TECHNOLOGIES - QED ENVIRONMENTAL SYSTEMS INC. WELL WIZARD DEDICATED SAMPLING SYSTEM

    EPA Science Inventory

    The U.S. Environmental Protection Agency (EPA) has created the Environmental Technology Verification Program (ETV) to facilitate the deployment of innovative or improved environmental technologies through performance verification and dissemination of information. The goal of the ...

  16. ENVIRONMENTAL TECHNOLOGY VERIFICATION REPORT: AISIN SEIKI 6.0 KW NATURAL-GAS-FIRED ENGINE COGENERATION UNIT

    EPA Science Inventory

    The U.S. EPA's Office of Research and Development operates the Environmental Technology Verification (ETV) program to facilitate the deployment of innovative technologies through performance verification and information dissemination. Congress funds ETV in response to the belief ...

  17. ENVIRONMENTAL TECHNOLOGY VERIFICATION REPORT, HONEYWELL POWER SYSTEMS, INC. PARALLON 75 KW TURBOGENERATOR WITH CO EMISSIONS CONTROL

    EPA Science Inventory

    The Greenhouse Gas Technology Center (GHG Center), one of six verification organizations under the Environmental Technology Verification (ETV) program, evaluated the performance of the Parallon 75 kW Turbogenerator (Turbogenerator) with carbon monoxide (CO) emissions control syst...

  18. SITE CHARACTERIZATION AND MONITORING TECHNOLOGY VERIFICATION: PROGRESS AND RESULTS

    EPA Science Inventory

    The Site Characterization and Monitoring Technology Pilot of the U.S. Environmental Protection Agency's Environmental Technology Verification Program (ETV) has been engaged in verification activities since the fall of 1994 (U.S. EPA, 1997). The purpose of the ETV is to promote th...

  19. Environmental Technology Verification: Baghouse Filtration Products--Sinoma Science & Technology Co. Ltd FT-806 Filtration Media

    EPA Science Inventory

    EPA created the Environmental Technology Verification (ETV) Program to facilitate the deployment of innovative or improved environmental technologies through performance verification and dissemination of information. It seeks to achieve this goal by providing high-quality, peer r...

  20. Generic Verification Protocol for Determination of Emissions from Cleaner Outdoor Wood-Fired Hydronic Heaters

    EPA Science Inventory

    This protocol describes the Environmental Technology Verification Program's considerations and requirements for verification of emissions reduction provided by cleaner outdoor wood-fired hydronic heaters. Outdoor wood-burning units provide heat and hot water for homes and other b...

  1. SSME Alternate Turbopump Development Program: Design verification specification for high-pressure fuel turbopump

    NASA Technical Reports Server (NTRS)

    1989-01-01

    The design and verification requirements are defined which are appropriate to hardware at the detail, subassembly, component, and engine levels and to correlate these requirements to the development demonstrations which provides verification that design objectives are achieved. The high pressure fuel turbopump requirements verification matrix provides correlation between design requirements and the tests required to verify that the requirement have been met.

  2. 75 FR 16171 - Privacy Act of 1974; Notice of Modification of Existing Computer Matching Program Between the...

    Federal Register 2010, 2011, 2012, 2013, 2014

    2010-03-31

    ... program for the purpose of income verifications and computer matching. DATES: Effective Date: The... additional verification to identify inappropriate (excess or insufficient) rental assistance, and perhaps... Act, the Native American Housing Assistance and Self-Determination Act of 1996, and the Quality...

  3. OVERVIEW OF SOURCE WATER PROTECTION (SWP) AND WET-WEATHER FLOW (WWF) ENVIRONMENTAL TECHNOLOGY VERIFICATION (ETV) PILOT PROGRAMS

    EPA Science Inventory

    The USEPA Environmental Technology Verification (ETV) Program objectives, goals and benefits were described in detail in the presentation for the ETV Package Drinking Water Treatment System pilot earlier in this session. As mentioned in the presentation, three of the twelve piul...

  4. The Evolution of Improved Baghouse Filter Media as Observed in the Environmental Technology Verification Program

    EPA Science Inventory

    The U.S. EPA implemented the Environmental Technology Verification (ETV) program in 1995 to generate independent and credible data on the performance of innovative technologies that have the potential to improve protection of public health and the environment. Results are publicl...

  5. 75 FR 4271 - Refinement of Income and Rent Determination Requirements in Public and Assisted Housing Programs...

    Federal Register 2010, 2011, 2012, 2013, 2014

    2010-01-27

    ... 2501-AD48 Refinement of Income and Rent Determination Requirements in Public and Assisted Housing Programs: Implementation of the Enterprise Income Verification System; Withdrawal of Rescinded Regulatory... use of the Enterprise Income Verification (EIV) system by public housing agencies and multifamily...

  6. Formal verification and testing: An integrated approach to validating Ada programs

    NASA Technical Reports Server (NTRS)

    Cohen, Norman H.

    1986-01-01

    An integrated set of tools called a validation environment is proposed to support the validation of Ada programs by a combination of methods. A Modular Ada Validation Environment (MAVEN) is described which proposes a context in which formal verification can fit into the industrial development of Ada software.

  7. A specific inpatient aquatic physiotherapy program improves strength after total hip or knee replacement surgery: a randomized controlled trial.

    PubMed

    Rahmann, Ann E; Brauer, Sandra G; Nitz, Jennifer C

    2009-05-01

    To evaluate the effect of inpatient aquatic physiotherapy in addition to usual ward physiotherapy on the recovery of strength, function, and gait speed after total hip or knee replacement surgery. Pragmatic randomized controlled trial with blinded 6-month follow-up. Acute-care private hospital. People (n=65) undergoing primary hip or knee arthroplasty (average age, 69.6+/-8.2y; 30 men). Participants were randomly assigned to receive supplementary inpatient physiotherapy, beginning on day 4: aquatic physiotherapy, nonspecific water exercise, or additional ward physiotherapy. Strength, gait speed, and functional ability at day 14. At day 14, hip abductor strength was significantly greater after aquatic physiotherapy intervention than additional ward treatment (P=.001) or water exercise (P=.011). No other outcome measures were significantly different at any time point in the trial, but relative differences favored the aquatic physiotherapy intervention at day 14. No adverse events occurred with early aquatic intervention. A specific inpatient aquatic physiotherapy program has a positive effect on early recovery of hip strength after joint replacement surgery. Further studies are required to confirm these findings. Our research indicates that aquatic physiotherapy can be safely considered in this early postoperative phase.

  8. Process Document for the joint ETV/NOWATECH verification of the Sorbisense GSW40 passive sampler

    EPA Science Inventory

    Nordic Water Technology Verification Center’s (NOWATECH) DHI Water Monitoring Center (DHI WMC), a pilot Environmental Technology Verification (ETV) program in the European Union, and the United States Environmental Protection Agency ETV (US EPA ETV) program’s Advanced Monitoring ...

  9. ENVIRONMENTAL TECHNOLOGY VERIFICATION REPORT; GROUNDWATER SAMPLING TECHNOLOGIES; W.L. GORE AND ASSOCIATES, INC., GORE-SORBER WATER QUALITY MONITORING

    EPA Science Inventory

    The U.S. Environmental Protection Agency (EPA) has created the Environmental Technology Verification Program (ETV) to facilitate the deployment of innovative or improved environmental technologies through performance verification and dissemination of information. The goal of the...

  10. 7 CFR 272.11 - Systematic Alien Verification for Entitlements (SAVE) Program.

    Code of Federal Regulations, 2013 CFR

    2013-01-01

    ... 7 Agriculture 4 2013-01-01 2013-01-01 false Systematic Alien Verification for Entitlements (SAVE... FOR PARTICIPATING STATE AGENCIES § 272.11 Systematic Alien Verification for Entitlements (SAVE... and Naturalization Service (INS), in order to verify the validity of documents provided by aliens...

  11. 7 CFR 272.11 - Systematic Alien Verification for Entitlements (SAVE) Program.

    Code of Federal Regulations, 2012 CFR

    2012-01-01

    ... 7 Agriculture 4 2012-01-01 2012-01-01 false Systematic Alien Verification for Entitlements (SAVE... FOR PARTICIPATING STATE AGENCIES § 272.11 Systematic Alien Verification for Entitlements (SAVE... and Naturalization Service (INS), in order to verify the validity of documents provided by aliens...

  12. 7 CFR 272.11 - Systematic Alien Verification for Entitlements (SAVE) Program.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... 7 Agriculture 4 2010-01-01 2010-01-01 false Systematic Alien Verification for Entitlements (SAVE... FOR PARTICIPATING STATE AGENCIES § 272.11 Systematic Alien Verification for Entitlements (SAVE... and Naturalization Service (INS), in order to verify the validity of documents provided by aliens...

  13. 7 CFR 272.11 - Systematic Alien Verification for Entitlements (SAVE) Program.

    Code of Federal Regulations, 2011 CFR

    2011-01-01

    ... 7 Agriculture 4 2011-01-01 2011-01-01 false Systematic Alien Verification for Entitlements (SAVE... FOR PARTICIPATING STATE AGENCIES § 272.11 Systematic Alien Verification for Entitlements (SAVE... and Naturalization Service (INS), in order to verify the validity of documents provided by aliens...

  14. 7 CFR 272.11 - Systematic Alien Verification for Entitlements (SAVE) Program.

    Code of Federal Regulations, 2014 CFR

    2014-01-01

    ... 7 Agriculture 4 2014-01-01 2014-01-01 false Systematic Alien Verification for Entitlements (SAVE... FOR PARTICIPATING STATE AGENCIES § 272.11 Systematic Alien Verification for Entitlements (SAVE... and Naturalization Service (INS), in order to verify the validity of documents provided by aliens...

  15. Environmental Technology Verification Report: Baghouse Filtration Products, Donaldson Company, Inc. Tetratex® 6282 Filtration Media (Tested March - April 2011)

    EPA Science Inventory

    The U.S. Environmental Protection Agency (EPA) has created the Environmental Technology Verification (ETV) Program to facilitate the deployment of innovative or improved environmental technologies through performance verification and dissemination of information. ETV seeks to ach...

  16. Environmental Technology Verification Report: Baghouse Filtration Products, Donaldson Company, Inc. Tetratex® 6277 Filtration Media (Tested March 2011)

    EPA Science Inventory

    The U.S. Environmental Protection Agency (EPA) has created the Environmental Technology Verification (ETV) Program to facilitate the deployment of innovative or improved environmental technologies through performance verification and dissemination of information. ETV seeks to ach...

  17. Environmental Technology Verification: Baghouse filtration products--W.L. Gore & Associates L3650 filtration media (tested November--December 2009)

    EPA Science Inventory

    The U.S. Environmental Protection Agency (EPA) has created the Environmental Technology Verification (ETV) Program to facilitate the deployment of innovative or improved environmental technologies through performance verification and dissemination of information. ETV seeks to ach...

  18. Environmental Technology Verification Report: Baghouse Filtration Products, Donaldson Company, Inc. Tetratex® 6262 Filtration Media (Tested March 2011)

    EPA Science Inventory

    The U.S. Environmental Protection Agency (EPA) has created the Environmental Technology Verification (ETV) Program to facilitate the deployment of innovative or improved environmental technologies through performance verification and dissemination of information. ETV seeks to ach...

  19. ENVIRONMENTAL TECHNOLOGY VERIFICATION, TEST REPORT OF CONTROL OF BIOAEROSOLS IN HVAC SYSTEMS, COLUMBUS INDUSTRIES HIGH EFFICIENCY MINI PLEAT

    EPA Science Inventory

    The U.S. Environmental Protection Agency (EPA) has created the Environmental Technology Verification (ETV) Program to facilitate the deployment of innovative or improved environmental technologies through performance verification and dissemination of information. The goal of the...

  20. ENVIRONMENTAL TECHNOLOGY VERIFICATION REPORT, ENVIRONMENTAL DECISION SUPPORT SOFTWARE, UNIVERSITY OF TENNESSEE RESEARCH CORPORATION, SPATIAL ANALYSIS AND DECISION ASSISTANCE (SADA)

    EPA Science Inventory

    The U.S. Environmental Protection Agency (EPA) has created the Environmental Technology Verification Program (ETV) to facilitate the deployment of innovative or improved environmental technologies through performance verification and dissemination of information. The goal of the...

  1. 49 CFR 236.905 - Railroad Safety Program Plan (RSPP).

    Code of Federal Regulations, 2012 CFR

    2012-10-01

    ... to be used in the verification and validation process, consistent with appendix C to this part. The...; and (iv) The identification of the safety assessment process. (2) Design for verification and validation. The RSPP must require the identification of verification and validation methods for the...

  2. 49 CFR 236.905 - Railroad Safety Program Plan (RSPP).

    Code of Federal Regulations, 2014 CFR

    2014-10-01

    ... to be used in the verification and validation process, consistent with appendix C to this part. The...; and (iv) The identification of the safety assessment process. (2) Design for verification and validation. The RSPP must require the identification of verification and validation methods for the...

  3. 49 CFR 236.905 - Railroad Safety Program Plan (RSPP).

    Code of Federal Regulations, 2013 CFR

    2013-10-01

    ... to be used in the verification and validation process, consistent with appendix C to this part. The...; and (iv) The identification of the safety assessment process. (2) Design for verification and validation. The RSPP must require the identification of verification and validation methods for the...

  4. 49 CFR 236.905 - Railroad Safety Program Plan (RSPP).

    Code of Federal Regulations, 2011 CFR

    2011-10-01

    ... to be used in the verification and validation process, consistent with appendix C to this part. The...; and (iv) The identification of the safety assessment process. (2) Design for verification and validation. The RSPP must require the identification of verification and validation methods for the...

  5. Aquatic Plant Control Research Program: Effects of Salinity and Irradiance Conditions on the Growth, Morphology and Chemical Composition of Submersed Aquatic Macrophytes

    DTIC Science & Technology

    1990-07-01

    L , AQUATIC PLANT CONTROL RESEARCH PROGRAM * * TECHNICAL REPORT A-90-5 EFFECTS OF SALINITY AND IRRADIANCE CONDITIONS ON THE GROWTH, MORPHOLOGY AND...UNIT ELEMENT NO. NO. NO. ACCESSION NO. 11. TITLE (Indude Security Classification) Effects of Salinity and Irradiance Conditions on the Growth...Dr. Robert W. Whalin. This report should be cited as follows: Twilley, Robert R., and Barko, John W. 1990. " Effects of Salinity and Irradiance

  6. Incidence and Management Costs of Freshwater Aquatic Nuisance Species at Projects Operated by the U.S. Army Corps of Engineers

    DTIC Science & Technology

    2010-07-01

    the occurrence of ANS impacts (Yes or No) from freshwater algae, large aquatic plants, fish, zebra mussels, Asiatic clams, water fleas, crayfish...2005. Freshwater aquatic nuisance species impacts and management costs and benefits at federal water resources projects. ERDC/TN ANSRP-06-3...ER D C/ EL T R- 10 -1 3 Aquatic Nuisance Species Research Program Incidence and Management Costs of Freshwater Aquatic Nuisance Species

  7. GULF OF MEXICO AQUATIC MORTALITY NETWORK (GMNET)

    EPA Science Inventory

    Five U.S. states share the northern coast of the Gulf, and each has a program to monitor mortalities of aquatic organisms (fish, shellfish, birds). However, each state has different standards, procedures, and documentation of mortality events. The Gulf of Mexico Aquatic Mortality...

  8. Sampling design for early detection of aquatic invasive species in Great Lakes ports

    EPA Science Inventory

    We evaluated a pilot adaptive monitoring program for aquatic invasive species (AIS) early detection in Lake Superior. The monitoring program is designed to detect newly-introduced fishes, and encompasses the lake’s three major ports (Duluth-Superior, Sault Ste. Marie, Thund...

  9. Stoneflies and Campers: Teaching Campers about Aquatic Environments.

    ERIC Educational Resources Information Center

    Edelstein, Karen

    1994-01-01

    Summer camps can implement a biomonitoring program that determines water quality through study of aquatic insects. Such a program requires a minimum of equipment and allows campers to explore the natural world and absorb information that will affect their views of science and the environment. (LP)

  10. The Learner Verification of Series r: The New Macmillan Reading Program; Highlights.

    ERIC Educational Resources Information Center

    National Evaluation Systems, Inc., Amherst, MA.

    National Evaluation Systems, Inc., has developed curriculum evaluation techniques, in terms of learner verification, which may be used to help the curriculum-development efforts of publishing companies, state education departments, and universities. This document includes a summary of the learner-verification approach, with data collected about a…

  11. ENVIRONMENTAL TECHNOLOGY VERIFICATION REPORT: MOBILE SOURCE RETROFIT AIR POLLUTION CONTROL DEVICES: CLEAN CLEAR FUEL TECHNOLOGIES, INC.’S, UNIVERSAL FUEL CELL

    EPA Science Inventory

    The U.S. EPA's Office of Research and Development operates the Environmental Technology Verification (ETV) program to facilitate the deployment of innovative technologies through performance verification and information dissemination. Congress funds ETV in response to the belief ...

  12. Test/QA Plan for Verification of Radio Frequency Identification (RFID) for Tracking Hazardous Waste Shipments across International Borders

    EPA Science Inventory

    The verification test will be conducted under the auspices of the U.S. Environmental Protection Agency (EPA) through the Environmental Technology Verification (ETV) Program. It will be performed by Battelle, which is managing the ETV Advanced Monitoring Systems (AMS) Center throu...

  13. ENVIRONMENTAL TECHNOLOGY VERIFICATION REPORT; ULTRASONIC AQUEOUS CLEANING SYSTEMS, SMART SONIC CORPORATION, SMART SONIC

    EPA Science Inventory

    This report is a product of the U.S. EPA's Environmental Technoloy Verification (ETV) Program and is focused on the Smart Sonics Ultrasonic Aqueous Cleaning Systems. The verification is based on three main objectives. (1) The Smart Sonic Aqueous Cleaning Systems, Model 2000 and...

  14. GENERIC VERIFICATION PROTOCOL FOR DETERMINATION OF EMISSIONS REDUCTIONS FROM SELECTIVE CATALYTIC REDUCTIONS CONTROL TECHNOLOGIES FOR HIGHWAY, NONROAD, AND STATIONARY USE DIESEL ENGINES

    EPA Science Inventory

    The protocol describes the Environmental Technology Verification (ETV) Program's considerations and requirements for verification of emissions reduction provided by selective catalytic reduction (SCR) technologies. The basis of the ETV will be comparison of the emissions and perf...

  15. Student-Teacher Linkage Verification: Model Process and Recommendations

    ERIC Educational Resources Information Center

    Watson, Jeffery; Graham, Matthew; Thorn, Christopher A.

    2012-01-01

    As momentum grows for tracking the role of individual educators in student performance, school districts across the country are implementing projects that involve linking teachers to their students. Programs that link teachers to student outcomes require a verification process for student-teacher linkages. Linkage verification improves accuracy by…

  16. Environmental Technology Verification Program Materials Management and Remediation Center Generic Protocol for Verification of In Situ Chemical Oxidation

    EPA Science Inventory

    The protocol provides generic procedures for implementing a verification test for the performance of in situ chemical oxidation (ISCO), focused specifically to expand the application of ISCO at manufactured gas plants with polyaromatic hydrocarbon (PAH) contamination (MGP/PAH) an...

  17. Project WILD: Aquatic Education Activity Guide.

    ERIC Educational Resources Information Center

    Memphis State Univ., TN. Tennessee Administrative Software Clearinghouse.

    Project WILD is an interdisciplinary, supplementary environmental and conservation education program which emphasizes wildlife. This document is one guide developed by Project WILD with the specific purpose of focusing on aquatic wildlife, or any wild animals that depend upon aquatic environments for survival. The book contains instructional…

  18. Considerations in STS payload environmental verification

    NASA Technical Reports Server (NTRS)

    Keegan, W. B.

    1978-01-01

    The current philosophy of the GSFS regarding environmental verification of Shuttle payloads is reviewed. In the structures area, increased emphasis will be placed on the use of analysis for design verification, with selective testing performed as necessary. Furthermore, as a result of recent cost optimization analysis, the multitier test program will presumably give way to a comprehensive test program at the major payload subassembly level after adequate workmanship at the component level has been verified. In the thermal vacuum area, thought is being given to modifying the approaches used for conventional spacecraft.

  19. Debris control design achievements of the booster separation motors

    NASA Technical Reports Server (NTRS)

    Smith, G. W.; Chase, C. A.

    1985-01-01

    The stringent debris control requirements imposed on the design of the Space Shuttle booster separation motor are described along with the verification program implemented to ensure compliance with debris control objectives. The principal areas emphasized in the design and development of the Booster Separation Motor (BSM) relative to debris control were the propellant formulation and nozzle closures which protect the motors from aerodynamic heating and moisture. A description of the motor design requirements, the propellant formulation and verification program, and the nozzle closures design and verification are presented.

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

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

  2. The Ocean as a Unique Therapeutic Environment: Developing a Surfing Program

    ERIC Educational Resources Information Center

    Clapham, Emily D.; Armitano, Cortney N.; Lamont, Linda S.; Audette, Jennifer G.

    2014-01-01

    Educational aquatic programming offers necessary physical activity opportunities to children with disabilities and the benefits of aquatic activities are more pronounced for children with disabilities than for their able-bodied peers. Similar benefits could potentially be derived from surfing in the ocean. This article describes an adapted surfing…

  3. Recommendations for Implementing an Aquatic Plyometric Program.

    ERIC Educational Resources Information Center

    Miller, Michael G.; Berry, David C.; Gilders, Roger; Bullard, Sue

    2001-01-01

    Describes the advantages of using plyometric programs in the water, explaining that they may provide athletes with several benefits (e.g., added resistance, which increases muscle strength, and getting a break from more monotonous drills on land). The paper discusses: the physical properties of water, aquatic rehabilitation that incorporates…

  4. ENVIRONMENTAL TECHNOLOGY VERIFICATION COATINGS AND COATING EQUIPMENT PROGRAM (ETV CCEP), FINAL TECHNOLOGY APPLICATIONS GROUP TAGNITE--TESTING AND QUALITY ASSURANCE PLAN (T/QAP)

    EPA Science Inventory

    The overall objective of the Environmental Testing and Verification Coatings and Coating Equipment Program is to verify pollution prevention and performance characteristics of coating technologies and make the results of the testing available to prospective coating technology use...

  5. 76 FR 56781 - Privacy Act of 1974; Notice of a Computer Matching Program Between the Department of Housing and...

    Federal Register 2010, 2011, 2012, 2013, 2014

    2011-09-14

    ... require additional verification to identify inappropriate or inaccurate rental assistance, and may provide... Affordable Housing Act, the Native American Housing Assistance and Self-Determination Act of 1996, and the... matching activities. The computer matching program will also provide for the verification of social...

  6. 30 CFR 250.910 - Which of my facilities are subject to the Platform Verification Program?

    Code of Federal Regulations, 2013 CFR

    2013-07-01

    ..., production, and pipeline risers, and riser tensioning systems (each platform must be designed to accommodate all the loads imposed by all risers and riser does not have tensioning systems);(ii) Turrets and... are subject to the Platform Verification Program: (i) Drilling, production, and pipeline risers, and...

  7. 30 CFR 250.910 - Which of my facilities are subject to the Platform Verification Program?

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... pipeline risers, and riser tensioning systems (each platform must be designed to accommodate all the loads imposed by all risers and riser does not have tensioning systems);(ii) Turrets and turret-and-hull... Platform Verification Program: (i) Drilling, production, and pipeline risers, and riser tensioning systems...

  8. 30 CFR 250.910 - Which of my facilities are subject to the Platform Verification Program?

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ..., production, and pipeline risers, and riser tensioning systems (each platform must be designed to accommodate all the loads imposed by all risers and riser does not have tensioning systems);(ii) Turrets and... are subject to the Platform Verification Program: (i) Drilling, production, and pipeline risers, and...

  9. 30 CFR 250.910 - Which of my facilities are subject to the Platform Verification Program?

    Code of Federal Regulations, 2012 CFR

    2012-07-01

    ..., production, and pipeline risers, and riser tensioning systems (each platform must be designed to accommodate all the loads imposed by all risers and riser does not have tensioning systems);(ii) Turrets and... are subject to the Platform Verification Program: (i) Drilling, production, and pipeline risers, and...

  10. 30 CFR 250.910 - Which of my facilities are subject to the Platform Verification Program?

    Code of Federal Regulations, 2014 CFR

    2014-07-01

    ..., production, and pipeline risers, and riser tensioning systems (each platform must be designed to accommodate all the loads imposed by all risers and riser does not have tensioning systems);(ii) Turrets and... are subject to the Platform Verification Program: (i) Drilling, production, and pipeline risers, and...

  11. ENVIRONMENTAL TECHNOLOGY VERIFICATION PROGRAM REPORT: PAINT OVERSPRAY ARRESTOR, ATI A-3000 5P BAG

    EPA Science Inventory

    The report gives results of March 24-25, 1999, tests of ATI's A-3000 5P Bag paint overspray arrestor (POA) as part of an evaluation of POAs by EPA's Air Pollution Control Technology (APCT) Environmental Technology Verification (ETV) Program. The basic performance factor being ver...

  12. Computer Program User’s Manual for FIREFINDER Digital Topographic Data Verification Library Dubbing System,

    DTIC Science & Technology

    1981-11-30

    COMPUTER PROGRAM USER’S MANUAL FOR FIREFINDER DIGITAL TOPOGRAPHIC DATA VERIFICATION LIBRARY DUBBING SYSTEM 30 NOVEMBER 1981 by: Marie Ceres Leslie R...Library .............................. 1-2 1.2.3 Dubbing .......................... 1-2 1.3 Library Process Overview ..................... 1-3 2 LIBRARY...RPOSE AND SCOPE This manual describes the computer programs for the FIREFINDER Digital Topographic Data Veri fication-Library- Dubbing System (FFDTDVLDS

  13. Aquatic Activities for Youth.

    ERIC Educational Resources Information Center

    Greene, H. David; And Others

    Designed to meet the diverse educational needs of youth groups, this aquatic program consists of eight individual lesson units, each devoted to one aspect of the aquatic world. Unit topics include: fish aquariums; raising earthworms; simulation of coastal planning; entomology and water; rope; calculating stream flow; saltwater aquariums; and fish…

  14. SU-F-T-494: A Multi-Institutional Study of Independent Dose Verification Using Golden Beam Data

    DOE Office of Scientific and Technical Information (OSTI.GOV)

    Itano, M; Yamazaki, T; Tachibana, R

    Purpose: In general, beam data of individual linac is measured for independent dose verification software program and the verification is performed as a secondary check. In this study, independent dose verification using golden beam data was compared to that using individual linac’s beam data. Methods: Six institutions were participated and three different beam data were prepared. The one was individual measured data (Original Beam Data, OBD) .The others were generated by all measurements from same linac model (Model-GBD) and all linac models (All-GBD). The three different beam data were registered to the independent verification software program for each institute. Subsequently,more » patient’s plans in eight sites (brain, head and neck, lung, esophagus, breast, abdomen, pelvis and bone) were analyzed using the verification program to compare doses calculated using the three different beam data. Results: 1116 plans were collected from six institutes. Compared to using the OBD, the results shows the variation using the Model-GBD based calculation and the All-GBD was 0.0 ± 0.3% and 0.0 ± 0.6%, respectively. The maximum variations were 1.2% and 2.3%, respectively. The plans with the variation over 1% shows the reference points were located away from the central axis with/without physical wedge. Conclusion: The confidence limit (2SD) using the Model-GBD and the All-GBD was within 0.6% and 1.2%, respectively. Thus, the use of golden beam data may be feasible for independent verification. In addition to it, the verification using golden beam data provide quality assurance of planning from the view of audit. This research is partially supported by Japan Agency for Medical Research and Development(AMED)« less

  15. A randomized trial of the effects of an aquatic exercise program on depression, anxiety levels, and functional capacity in of people who suffered an ischemic stroke.

    PubMed

    Aidar, Felipe J; Jacó de Oliveira, Ricardo; Gama de Matos, Dihogo; Chilibeck, Philip D; de Souza, Raphael F; Carneiro, André L; Machado Reis, Victor

    2017-05-09

    Aquatic exercise programs are used in rehabilitation and might help to reduce disability after stroke. This was a randomized intervention trial to assess the influence of an aquatic exercise program on people suffering from depression and anxiety after ischemic stroke. Participants were randomized to an experimental group (EG) composed of 19 individuals (51.8 ± 8.5 years; ten males and nine females), and a control group (CG) composed of 17 people (52.7 ± 6.7 years; nine males and eight females). The aquatic exercise program consisted of two sessions per week, each lasting between 45 and 60 minutes and divided into 5 to 10 minutes exercise sections during 12 weeks. The State-Trait Anxiety Inventory (STAI) was used to determine anxiety levels while the Beck Depression Inventory was used as a self-assessment of depression. EG improved measures of depression, anxiety trait and anxiety state between pre- and post-treatment, with no changes in CG. EG improved in all tests related to functional capacity compared to CG. The practice of aquatic exercises promotes improvements in the levels of depression and anxiety in people who suffered an ischemic stroke.

  16. The PICO project: aquatic exercise for knee osteoarthritis in overweight and obese individuals.

    PubMed

    Yázigi, Flávia; Espanha, Margarida; Vieira, Filomena; Messier, Stephen P; Monteiro, Cristina; Veloso, Antonio P

    2013-11-13

    Aquatic exercise is recommended by the Osteoarthritis Research Society (OARSI), by the American College of Rheumatology (ACR) and by the European League Against Rheumatism (EULAR) as a nonpharmacological method of controlling the knee osteoarthritis (KOA) symptoms. Moreover, given that weight loss results in a reduction of the load that is exerted upon the knee during daily activities, obesity is also considered to be a modifiable risk factor for the development and or exacerbation of KOA. The implementation of an exercise based weight loss program may, however, itself be limited by the symptoms of KOA. The aquatic program against osteoarthritis (termed "PICO" in Portuguese) prioritizes the control of symptoms and the recovery of functionality, with an attendant increase in the patient's physical activity level and, consequently, metabolic rate. Our laboratory is assessing the effectiveness of 3 months of PICO on the symptoms of KOA, on physical function, on quality of life and on gait. In addition, PICO shall examine the effects of said exercise intervention on inflammatory biomarkers, psychological health, life style and body composition. The trial is a prospective, single-blinded, randomized controlled trial, and involves 50 overweight and obese adults (BMI = 28-43.5 kg/m²; age 40-65 yrs) with radiographic KOA. The participants are randomly allocated into either an educational attention (control) group or an aquatic (exercise program) group. This paper describes the experimental protocol that is used in the PICO project. The PICO program shall provide insight into the effectiveness of an aquatic exercise program in the control of KOA symptoms and in the improvement of the quality of life. As such, they are likely to prove a useful reference to health professionals who intend to implement any kind of therapeutic intervention based around aquatic exercise. NCT01832545.

  17. Early Incorporation of an Evidence-Based Aquatic-Assisted Approach to Arthroscopic Rotator Cuff Repair Rehabilitation: Prospective Case Study.

    PubMed

    Burmaster, Chris; Eckenrode, Brian J; Stiebel, Matthew

    2016-01-01

    Both traditional and progressive rotator cuff repair rehabilitation protocols often delay active motion of the shoulder for 6 weeks or more. The early inclusion of a comprehensive aquatic-assisted exercise program presents a unique approach to postoperative management. The purpose of this case study is to describe a comprehensive evidence-based, aquatic-assisted rehabilitation program following arthroscopic rotator cuff repair. A 73-year-old woman with a nonretracted, medium-size, full-thickness tear (2.5 cm) of the supraspinatus tendon underwent arthroscopic rotator cuff repair and was referred for postoperative physical therapy. The rehabilitation program was initiated at 2 weeks postoperatively and consisted of concurrent land- and aquatic-based interventions over 6 weeks for a total of 18 physical therapy visits. Improvements were made in all 5 patient-reported outcome measures that were recorded weekly over the course of care. Improvements reached or exceeded minimal detectable change levels for the Shoulder Pain and Disability Index and the Penn Shoulder Score. Her numeric pain rating scale score at rest decreased from 4/10 at the initial evaluation to 2/10 at 8 weeks postoperatively and with activity decreased from 9/10 to 6/10. Shoulder strength and range of motion values also exhibited improvement over the course of care. No adverse events occurred during the case study. This case study illustrates the safe inclusion of low-stress aquatic exercises as an early adjunct to traditional land-based rotator cuff repair rehabilitation programs in small- to medium-size repairs. Further studies are needed to determine the long-term effectiveness of adding aquatic therapy to traditional postoperative programs. © 2016 American Physical Therapy Association.

  18. 78 FR 28812 - Energy Efficiency Program for Industrial Equipment: Petition of UL Verification Services Inc. for...

    Federal Register 2010, 2011, 2012, 2013, 2014

    2013-05-16

    ... are engineers. UL today is comprised of five businesses, Product Safety, Verification Services, Life..., Director--Global Technical Research, UL Verification Services. Subscribed and sworn to before me this 20... (431.447(c)(4)) General Personnel Overview UL is a global independent safety science company with more...

  19. ENVIRONMENTAL TECHNOLOGY VERIFICATION--TEST REPORT OF MOBILE SOURCE EMISSION CONTROL DEVICES, FLINT HILLS RESOURCES, LP, CCD15010 DIESEL FUEL FORMULATION WITH HITEC4121 ADDITIVE

    EPA Science Inventory

    The U.S. Environmental Protection Agency (EPA) has created the Environmental Technology Verification (ETV) Program to facilitate the deployment of innovative or improved environmental technologies through performance verification and dissemination of information. ETV seeks to ach...

  20. 38 CFR 74.12 - What must a concern submit to apply for VetBiz VIP Verification Program?

    Code of Federal Regulations, 2012 CFR

    2012-07-01

    ... electronic documents, these manual records will provide the CVE verification examiner with sufficient... Verification applicant must submit the electronic forms and attachments CVE requires. All electronic forms are... dispatches the electronic forms, the applicant must also retain on file at the principal place of business a...

  1. 38 CFR 74.12 - What must a concern submit to apply for VetBiz VIP Verification Program?

    Code of Federal Regulations, 2013 CFR

    2013-07-01

    ... electronic documents, these manual records will provide the CVE verification examiner with sufficient... Verification applicant must submit the electronic forms and attachments CVE requires. All electronic forms are... dispatches the electronic forms, the applicant must also retain on file at the principal place of business a...

  2. 38 CFR 74.12 - What must a concern submit to apply for VetBiz VIP Verification Program?

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... electronic documents, these manual records will provide the CVE verification examiner with sufficient... Verification applicant must submit the electronic forms and attachments CVE requires. All electronic forms are... dispatches the electronic forms, the applicant must also retain on file at the principal place of business a...

  3. 38 CFR 74.12 - What must a concern submit to apply for VetBiz VIP Verification Program?

    Code of Federal Regulations, 2014 CFR

    2014-07-01

    ... electronic documents, these manual records will provide the CVE verification examiner with sufficient... Verification applicant must submit the electronic forms and attachments CVE requires. All electronic forms are... dispatches the electronic forms, the applicant must also retain on file at the principal place of business a...

  4. 77 FR 16256 - Aquatic Nuisance Species Task Force Meeting

    Federal Register 2010, 2011, 2012, 2013, 2014

    2012-03-20

    ...] Aquatic Nuisance Species Task Force Meeting AGENCY: Fish and Wildlife Service, Interior. ACTION: Notice of meeting. SUMMARY: This notice announces a meeting of the Aquatic Nuisance Species (ANS) Task Force. The ANS Task Force's purpose is to develop and implement a program for U.S. waters to prevent introduction...

  5. 76 FR 60863 - Aquatic Nuisance Species Task Force Meeting

    Federal Register 2010, 2011, 2012, 2013, 2014

    2011-09-30

    ...] Aquatic Nuisance Species Task Force Meeting AGENCY: Fish and Wildlife Service, Interior. ACTION: Notice of meeting. SUMMARY: This notice announces a meeting of the Aquatic Nuisance Species Task Force (ANS Task Force). The ANS Task Force's purpose is to develop and implement a program for U.S. waters to prevent...

  6. Electron/proton spectrometer certification documentation analyses

    NASA Technical Reports Server (NTRS)

    Gleeson, P.

    1972-01-01

    A compilation of analyses generated during the development of the electron-proton spectrometer for the Skylab program is presented. The data documents the analyses required by the electron-proton spectrometer verification plan. The verification plan was generated to satisfy the ancillary hardware requirements of the Apollo Applications program. The certification of the spectrometer requires that various tests, inspections, and analyses be documented, approved, and accepted by reliability and quality control personnel of the spectrometer development program.

  7. The Evolution of the NASA Commercial Crew Program Mission Assurance Process

    NASA Technical Reports Server (NTRS)

    Canfield, Amy C.

    2016-01-01

    In 2010, the National Aeronautics and Space Administration (NASA) established the Commercial Crew Program (CCP) in order to provide human access to the International Space Station and low Earth orbit via the commercial (non-governmental) sector. A particular challenge to NASA has been how to determine that the Commercial Provider's transportation system complies with programmatic safety requirements. The process used in this determination is the Safety Technical Review Board which reviews and approves provider submitted hazard reports. One significant product of the review is a set of hazard control verifications. In past NASA programs, 100% of these safety critical verifications were typically confirmed by NASA. The traditional Safety and Mission Assurance (S&MA) model does not support the nature of the CCP. To that end, NASA S&MA is implementing a Risk Based Assurance process to determine which hazard control verifications require NASA authentication. Additionally, a Shared Assurance Model is also being developed to efficiently use the available resources to execute the verifications.

  8. Exploring the Meaning African American PETE Teacher Candidates Ascribe to Their Aquatic Experiences

    ERIC Educational Resources Information Center

    Sato, Takahiro; Hodge, Samuel R.

    2012-01-01

    Physical Education Teacher Education (PETE) programs typically require their graduates to learn to swim proficiently. However, the research base is underdeveloped regarding the aquatic experiences of African Americans in PETE programs. The purpose of this study was to explore the meaning African American PETE teacher candidates ascribe to their…

  9. 76 FR 20536 - Protocol Gas Verification Program and Minimum Competency Requirements for Air Emission Testing

    Federal Register 2010, 2011, 2012, 2013, 2014

    2011-04-13

    ... ENVIRONMENTAL PROTECTION AGENCY 40 CFR Part 75 [EPA-HQ-OAR-2009-0837; FRL-9280-9] RIN 2060-AQ06 Protocol Gas Verification Program and Minimum Competency Requirements for Air Emission Testing Correction In rule document 2011-6216 appearing on pages 17288-17325 in the issue of Monday, March 28, 2011...

  10. 78 FR 69602 - Foreign Supplier Verification Programs for Importers of Food for Humans and Animals; Extension of...

    Federal Register 2010, 2011, 2012, 2013, 2014

    2013-11-20

    ... ``Current Good Manufacturing Practice and Hazard Analysis and Risk-Based Preventive Controls for Food for... DEPARTMENT OF HEALTH AND HUMAN SERVICES Food and Drug Administration 21 CFR Part 1 [Docket No. FDA-2011-N-0143] RIN 0910-AG64 Foreign Supplier Verification Programs for Importers of Food for Humans and...

  11. Characterizing irrigation water requirements for rice production from the Arkansas Rice Research Verification Program

    USDA-ARS?s Scientific Manuscript database

    This study investigated rice irrigation water use in the University of Arkansas Rice Research Verification Program between the years of 2003 and 2011. Irrigation water use averaged 747 mm (29.4 inches) over the nine years. A significant 40% water savings was reported for rice grown under a zero gr...

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

  13. Electric power system test and verification program

    NASA Technical Reports Server (NTRS)

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

    1994-01-01

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

  14. Direct Verification of School Meal Applications with Medicaid Data: A Pilot Evaluation of Feasibility, Effectiveness and Costs

    ERIC Educational Resources Information Center

    Logan, Christopher W.; Cole, Nancy; Kamara, Sheku G.

    2010-01-01

    Purpose/Objectives: The Direct Verification Pilot tested the feasibility, effectiveness, and costs of using Medicaid and State Children's Health Insurance Program (SCHIP) data to verify applications for free and reduced-price (FRP) school meals instead of obtaining documentation from parents and guardians. Methods: The Direct Verification Pilot…

  15. WRAP-RIB antenna technology development

    NASA Technical Reports Server (NTRS)

    Freeland, R. E.; Garcia, N. F.; Iwamoto, H.

    1985-01-01

    The wrap-rib deployable antenna concept development is based on a combination of hardware development and testing along with extensive supporting analysis. The proof-of-concept hardware models are large in size so they will address the same basic problems associated with the design fabrication, assembly and test as the full-scale systems which were selected to be 100 meters at the beginning of the program. The hardware evaluation program consists of functional performance tests, design verification tests and analytical model verification tests. Functional testing consists of kinematic deployment, mesh management and verification of mechanical packaging efficiencies. Design verification consists of rib contour precision measurement, rib cross-section variation evaluation, rib materials characterizations and manufacturing imperfections assessment. Analytical model verification and refinement include mesh stiffness measurement, rib static and dynamic testing, mass measurement, and rib cross-section characterization. This concept was considered for a number of potential applications that include mobile communications, VLBI, and aircraft surveillance. In fact, baseline system configurations were developed by JPL, using the appropriate wrap-rib antenna, for all three classes of applications.

  16. The Effect of Mystery Shopper Reports on Age Verification for Tobacco Purchases

    PubMed Central

    KREVOR, BRAD S.; PONICKI, WILLIAM R.; GRUBE, JOEL W.; DeJONG, WILLIAM

    2011-01-01

    Mystery shops (MS) involving attempted tobacco purchases by young buyers have been employed to monitor retail stores’ performance in refusing underage sales. Anecdotal evidence suggests that MS visits with immediate feedback to store personnel can improve age verification. This study investigated the impact of monthly and twice-monthly MS reports on age verification. Forty-five Walgreens stores were each visited 20 times by mystery shoppers. The stores were randomly assigned to one of three conditions. Control group stores received no feedback, whereas two treatment groups received feedback communications every visit (twice monthly) or every second visit (monthly) after baseline. Logit regression models tested whether each treatment group improved verification rates relative to the control group. Post-baseline verification rates were higher in both treatment groups than in the control group, but only the stores receiving monthly communications had a significantly greater improvement than control group stores. Verification rates increased significantly during the study period for all three groups, with delayed improvement among control group stores. Communication between managers regarding the MS program may account for the delayed age-verification improvements observed in the control group stores. Encouraging inter-store communication might extend the benefits of MS programs beyond those stores that receive this intervention. PMID:21541874

  17. The effect of mystery shopper reports on age verification for tobacco purchases.

    PubMed

    Krevor, Brad S; Ponicki, William R; Grube, Joel W; DeJong, William

    2011-09-01

    Mystery shops involving attempted tobacco purchases by young buyers have been implemented in order to monitor retail stores' performance in refusing underage sales. Anecdotal evidence suggests that mystery shop visits with immediate feedback to store personnel can improve age verification. This study investigated the effect of monthly and twice-monthly mystery shop reports on age verification. Mystery shoppers visited 45 Walgreens stores 20 times. The stores were randomly assigned to 1 of 3 conditions. Control group stores received no feedback, whereas 2 treatment groups received feedback communications on every visit (twice monthly) or on every second visit (monthly) after baseline. Logit regression models tested whether each treatment group improved verification rates relative to the control group. Postbaseline verification rates were higher in both treatment groups than in the control group, but only the stores receiving monthly communications had a significantly greater improvement compared with the control group stores. Verification rates increased significantly during the study period for all 3 groups, with delayed improvement among control group stores. Communication between managers regarding the mystery shop program may account for the delayed age-verification improvements observed in the control group stores. Encouraging interstore communication might extend the benefits of mystery shop programs beyond those stores that receive this intervention. Copyright © Taylor & Francis Group, LLC

  18. The NASA Commercial Crew Program (CCP) Mission Assurance Process

    NASA Technical Reports Server (NTRS)

    Canfield, Amy

    2016-01-01

    In 2010, NASA established the Commercial Crew Program in order to provide human access to the International Space Station and low earth orbit via the commercial (non-governmental) sector. A particular challenge to NASA has been how to determine the commercial providers transportation system complies with Programmatic safety requirements. The process used in this determination is the Safety Technical Review Board which reviews and approves provider submitted Hazard Reports. One significant product of the review is a set of hazard control verifications. In past NASA programs, 100 percent of these safety critical verifications were typically confirmed by NASA. The traditional Safety and Mission Assurance (SMA) model does not support the nature of the Commercial Crew Program. To that end, NASA SMA is implementing a Risk Based Assurance (RBA) process to determine which hazard control verifications require NASA authentication. Additionally, a Shared Assurance Model is also being developed to efficiently use the available resources to execute the verifications. This paper will describe the evolution of the CCP Mission Assurance process from the beginning of the Program to its current incarnation. Topics to be covered include a short history of the CCP; the development of the Programmatic mission assurance requirements; the current safety review process; a description of the RBA process and its products and ending with a description of the Shared Assurance Model.

  19. A Research Program in Computer Technology

    DTIC Science & Technology

    1976-07-01

    K PROGRAM VERIFICATION 12 [Shaw76b] Shaw, M., W. A. Wulf, and R. L. London, Abstraction and Verification ain Aiphard: Iteration and Generators...millisecond trame of speech: pitch, gain, and 10 k -parameters (often called reflection coefficients). The 12 parameters from each frame are encoded into...del rey, CA 90291 Program Code 3D30 & 3P1O I,%’POLLING OFFICE NAME AND ADDRESS 12 REPORT DATE Defense Advanced Research Projects Agency July 1976 1400

  20. Aquatic Remediation of Communication Disorders.

    ERIC Educational Resources Information Center

    Smith, Virginia M.

    1985-01-01

    A 10-day aquatics program for learning disabled children with hand-eye coordination problems and low self-esteem is described. Activities for each session (including relaxation exercises) are listed. (CL)

  1. Off-line robot programming and graphical verification of path planning

    NASA Technical Reports Server (NTRS)

    Tonkay, Gregory L.

    1989-01-01

    The objective of this project was to develop or specify an integrated environment for off-line programming, graphical path verification, and debugging for robotic systems. Two alternatives were compared. The first was the integration of the ASEA Off-line Programming package with ROBSIM, a robotic simulation program. The second alternative was the purchase of the commercial product IGRIP. The needs of the RADL (Robotics Applications Development Laboratory) were explored and the alternatives were evaluated based on these needs. As a result, IGRIP was proposed as the best solution to the problem.

  2. How Formal Dynamic Verification Tools Facilitate Novel Concurrency Visualizations

    NASA Astrophysics Data System (ADS)

    Aananthakrishnan, Sriram; Delisi, Michael; Vakkalanka, Sarvani; Vo, Anh; Gopalakrishnan, Ganesh; Kirby, Robert M.; Thakur, Rajeev

    With the exploding scale of concurrency, presenting valuable pieces of information collected by formal verification tools intuitively and graphically can greatly enhance concurrent system debugging. Traditional MPI program debuggers present trace views of MPI program executions. Such views are redundant, often containing equivalent traces that permute independent MPI calls. In our ISP formal dynamic verifier for MPI programs, we present a collection of alternate views made possible by the use of formal dynamic verification. Some of ISP’s views help pinpoint errors, some facilitate discerning errors by eliminating redundancy, while others help understand the program better by displaying concurrent even orderings that must be respected by all MPI implementations, in the form of completes-before graphs. In this paper, we describe ISP’s graphical user interface (GUI) capabilities in all these areas which are currently supported by a portable Java based GUI, a Microsoft Visual Studio GUI, and an Eclipse based GUI whose development is in progress.

  3. 30 CFR 250.911 - If my platform is subject to the Platform Verification Program, what must I do?

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... a project management timeline, Gantt Chart, that depicts when interim and final reports required by... 30 Mineral Resources 2 2010-07-01 2010-07-01 false If my platform is subject to the Platform Verification Program, what must I do? 250.911 Section 250.911 Mineral Resources MINERALS MANAGEMENT SERVICE...

  4. Free and Reduced-Price Meal Application and Income Verification Practices in School Nutrition Programs in the United States

    ERIC Educational Resources Information Center

    Kwon, Junehee; Lee, Yee Ming; Park, Eunhye; Wang, Yujia; Rushing, Keith

    2017-01-01

    Purpose/Objectives: This study assessed current practices and attitudes of school nutrition program (SNP) management staff regarding free and reduced-price (F-RP) meal application and verification in SNPs. Methods: Stratified, randomly selected 1,500 SNP management staff in 14 states received a link to an online questionnaire and/or a printed…

  5. Effects of Aquatic Intervention on Gross Motor Skills in Children with Cerebral Palsy: A Systematic Review.

    PubMed

    Roostaei, Meysam; Baharlouei, Hamzeh; Azadi, Hamidreza; Fragala-Pinkham, Maria A

    2017-10-20

    To review the literature on the effects of aquatic intervention on gross motor skills for children with cerebral palsy (CP). Six databases were searched from inception to January 2016. Aquatic studies for children aged 1-21 years with any type or CP classification and at least one outcome measuring gross motor skills were included. Information was extracted on study design, outcomes, and aquatic program type, frequency, duration, and intensity. Quality was rated using the Centre of Evidence-Based Medicine: Levels of Evidence and the PEDro scale. Of the 11 studies which met inclusion criteria, only two used randomized control trial design, and the results were mixed. Quality of evidence was rated as moderate to high for only one study. Most studies used quasi-experimental designs and reported improvements in gross motor skills for within group analyses after aquatic programs were held for two to three times per week and lasting for 6-16 weeks. Participants were classified according to the Gross Motor Function Classification System (GMFCS) levels I-V, and were aged 3-21 years. Mild to no adverse reactions were reported. Evidence on aquatic interventions for ambulatory children with CP is limited. Aquatic exercise is feasible and adverse effects are minimal; however, dosing parameters are unclear. Further research is needed to determine aquatic intervention effectiveness and exercise dosing across age categories and GMFCS levels.

  6. Computer simulated building energy consumption for verification of energy conservation measures in network facilities

    NASA Technical Reports Server (NTRS)

    Plankey, B.

    1981-01-01

    A computer program called ECPVER (Energy Consumption Program - Verification) was developed to simulate all energy loads for any number of buildings. The program computes simulated daily, monthly, and yearly energy consumption which can be compared with actual meter readings for the same time period. Such comparison can lead to validation of the model under a variety of conditions, which allows it to be used to predict future energy saving due to energy conservation measures. Predicted energy saving can then be compared with actual saving to verify the effectiveness of those energy conservation changes. This verification procedure is planned to be an important advancement in the Deep Space Network Energy Project, which seeks to reduce energy cost and consumption at all DSN Deep Space Stations.

  7. 25 CFR 39.413 - Can a school appeal the verification of the count?

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ... 25 Indians 1 2010-04-01 2010-04-01 false Can a school appeal the verification of the count? 39.413 Section 39.413 Indians BUREAU OF INDIAN AFFAIRS, DEPARTMENT OF THE INTERIOR EDUCATION THE INDIAN SCHOOL EQUALIZATION PROGRAM Accountability § 39.413 Can a school appeal the verification of the count? Yes, a school...

  8. TEST/QA PLAN FOR THE VERIFICATION TESTING OF ALTERNATIVES OR REFORMULATED LIQUID FUELS, FUEL ADDITIVES, FUEL EMULSONS, AND LUBRICANTS FOR HIGHWAY AND NONROAD USE HEAVY DUTY DIESEL ENGINES AND LIGHT DUTY GASOLINE ENGINES AND VEHICLES

    EPA Science Inventory

    The U.S. Environmental Protection Agency established the Environmental Technology Verification Program to accelerate the development and commercialization of improved environmental technology through third party verification and reporting of product performance. Research Triangl...

  9. ENVIRONMENTAL TECHNOLOGY VERIFICATION JOINT (NSF-EPA) VERIFICATION STATEMENT AND REPORT PERFORMANCE OF INDUCTION MIXERS FOR DISINFECTION OF WET WEATHER FLOWS, GAS MASTRRR SERIES 32 SUBMERSIBLE CHEMICAL INDUCTION MIXERS

    EPA Science Inventory

    The Wet-Weather Flow Technologies Pilot of the EPA's Environmental Technology Verification (ETV) Program under a partnership with NSF International has verified the performance of the GAS MASTRRR Series 32 Submersible Chemical Induction Mixers used for disinfection of wet-weather...

  10. Children's Aquatics: Managing the Risk.

    ERIC Educational Resources Information Center

    Langendorfer, Stephen; And Others

    1989-01-01

    This article identifies the major risks faced by young children in aquatic programs, outlines several methods for managing risk factors, and discusses the steps involved in implementing a risk-management system. (IAH)

  11. Extremely accurate sequential verification of RELAP5-3D

    DOE PAGES

    Mesina, George L.; Aumiller, David L.; Buschman, Francis X.

    2015-11-19

    Large computer programs like RELAP5-3D solve complex systems of governing, closure and special process equations to model the underlying physics of nuclear power plants. Further, these programs incorporate many other features for physics, input, output, data management, user-interaction, and post-processing. For software quality assurance, the code must be verified and validated before being released to users. For RELAP5-3D, verification and validation are restricted to nuclear power plant applications. Verification means ensuring that the program is built right by checking that it meets its design specifications, comparing coding to algorithms and equations and comparing calculations against analytical solutions and method ofmore » manufactured solutions. Sequential verification performs these comparisons initially, but thereafter only compares code calculations between consecutive code versions to demonstrate that no unintended changes have been introduced. Recently, an automated, highly accurate sequential verification method has been developed for RELAP5-3D. The method also provides to test that no unintended consequences result from code development in the following code capabilities: repeating a timestep advancement, continuing a run from a restart file, multiple cases in a single code execution, and modes of coupled/uncoupled operation. In conclusion, mathematical analyses of the adequacy of the checks used in the comparisons are provided.« less

  12. Aquatic Physical Therapy for Children with Developmental Coordination Disorder: A Pilot Randomized Controlled Trial

    ERIC Educational Resources Information Center

    Hillier, Susan; McIntyre, Auburn; Plummer, Leanne

    2010-01-01

    Aquatic therapy is an intervention for children with Developmental Coordination Disorder (DCD) that has not been investigated formally. This was a pilot randomized controlled trial to investigate the feasibility and preliminary effectiveness of an aquatic therapy program to improve motor skills of children with DCD. Thirteen children (mean age 7…

  13. Behavioral biometrics for verification and recognition of malicious software agents

    NASA Astrophysics Data System (ADS)

    Yampolskiy, Roman V.; Govindaraju, Venu

    2008-04-01

    Homeland security requires technologies capable of positive and reliable identification of humans for law enforcement, government, and commercial applications. As artificially intelligent agents improve in their abilities and become a part of our everyday life, the possibility of using such programs for undermining homeland security increases. Virtual assistants, shopping bots, and game playing programs are used daily by millions of people. We propose applying statistical behavior modeling techniques developed by us for recognition of humans to the identification and verification of intelligent and potentially malicious software agents. Our experimental results demonstrate feasibility of such methods for both artificial agent verification and even for recognition purposes.

  14. Program Model Checking as a New Trend

    NASA Technical Reports Server (NTRS)

    Havelund, Klaus; Visser, Willem; Clancy, Daniel (Technical Monitor)

    2002-01-01

    This paper introduces a special section of STTT (International Journal on Software Tools for Technology Transfer) containing a selection of papers that were presented at the 7th International SPIN workshop, Stanford, August 30 - September 1, 2000. The workshop was named SPIN Model Checking and Software Verification, with an emphasis on model checking of programs. The paper outlines the motivation for stressing software verification, rather than only design and model verification, by presenting the work done in the Automated Software Engineering group at NASA Ames Research Center within the last 5 years. This includes work in software model checking, testing like technologies and static analysis.

  15. Activity-specific aquatic therapy targeting gait for a patient with incomplete spinal cord injury.

    PubMed

    Wall, Tracy; Falvo, Lisa; Kesten, Adam

    2017-04-01

    Aquatic therapy can lead to improved mobility and health in individuals with various conditions. This case report looks at an activity-specific aquatic therapy targeting gait for a patient with incomplete spinal cord injury (iSCI). The patient participated in an individualized aquatic therapy program two times a week for 6 weeks. Assessment occurred prior to the intervention. There were two follow-up assessments after the intervention. Follow-up assessment 1 was completed within the same week as the final intervention. Follow-up assessment 2 was completed 4 weeks after the first follow-up to assess for carryover. Improvements that met minimal detectable change and minimal clinically important difference were noted in The Walking for Spinal Cord Injury Index-II, Spinal Cord Injury Functional Ambulation Index gait parameters, and gait speed. An activity-specific aquatic therapy program improved gait in a patient with iSCI. The properties of water create a practical environment for safe practice of skills. Further studies are warranted in large samples.

  16. Aquatic Trash Prevention National Great Practices Compendium

    EPA Pesticide Factsheets

    The National Great Practice Compendium highlights outstanding activities, technologies, and programs that prevent trash from entering the aquatic environment and/or that reduce the overall volume of trash that is generated.

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

  18. A Practitioners Perspective on Verification

    NASA Astrophysics Data System (ADS)

    Steenburgh, R. A.

    2017-12-01

    NOAAs Space Weather Prediction Center offers a wide range of products and services to meet the needs of an equally wide range of customers. A robust verification program is essential to the informed use of model guidance and other tools by both forecasters and end users alike. In this talk, we present current SWPC practices and results, and examine emerging requirements and potential approaches to satisfy them. We explore the varying verification needs of forecasters and end users, as well as the role of subjective and objective verification. Finally, we describe a vehicle used in the meteorological community to unify approaches to model verification and facilitate intercomparison.

  19. [Effects of an intensive thalassotherapy and aquatic therapy program in stroke patients. A pilot study].

    PubMed

    Morer, C; Boestad, C; Zuluaga, P; Alvarez-Badillo, A; Maraver, F

    2017-09-16

    Stroke remains the leading cause of acquired disability. Health and social planning and management may vary and although prevention is crucial, having better treatments and strategies to reduce disability is needed. To determine the effect of an intensive program of thalassotherapy and aquatic therapy in stroke patients, valuing clinical parameters and functional validated scales. A quasi-experimental prospective study consisting of a specific program assessed pre- and post- 3 weeks treatment to 26 stroke patients with a mild-moderate disability. The outcomes measured were: Berg Balance scale, Timed Up and Go test, 10-meter walking test, 6-minute walking test and pain Visual Analogue Scale. After intervention, participants had a significant improvement in all outcomes measured. Our results suggest that an intensive program of thalassotherapy and aquatic therapy could be useful during stroke rehabilitation to improve balance, gait and pain.

  20. 48 CFR 22.1800 - Scope.

    Code of Federal Regulations, 2011 CFR

    2011-10-01

    ... APPLICATION OF LABOR LAWS TO GOVERNMENT ACQUISITIONS Employment Eligibility Verification 22.1800 Scope. This... Security (DHS), United States Citizenship and Immigration Service's employment eligibility verification program (E-Verify) as the means for verifying employment eligibility of certain employees. ...

  1. 48 CFR 22.1800 - Scope.

    Code of Federal Regulations, 2010 CFR

    2010-10-01

    ... APPLICATION OF LABOR LAWS TO GOVERNMENT ACQUISITIONS Employment Eligibility Verification 22.1800 Scope. This... Security (DHS), United States Citizenship and Immigration Service's employment eligibility verification program (E-Verify) as the means for verifying employment eligibility of certain employees. ...

  2. VERIFICATION OF GLOBAL CLIMATE CHANGE MITIGATION TECHNOLOGIES

    EPA Science Inventory

    This is a continuation of independent performance evaluations of environmental technologies under EPA's Environmental Technology Verification Program. Emissions of some greenhouse gases, most notably methane. can be controlled profitably now, even in the absence of regulations. ...

  3. Group Aquatic Aerobic Exercise for Children with Disabilities

    ERIC Educational Resources Information Center

    Fragala-Pinkham, Maria; Haley, Stephen M.; O'Neill, Margaret E.

    2008-01-01

    The effectiveness and safety of a group aquatic aerobic exercise program on cardiorespiratory endurance for children with disabilities was examined using an A-B study design. Sixteen children (11 males, five females) age range 6 to 11 years (mean age 9y 7mo [SD 1y 4mo]) participated in this twice-per-week program lasting 14 weeks. The children's …

  4. Metric Selection for Ecosystem Restoration

    DTIC Science & Technology

    2013-06-01

    focus on wetlands, submerged aquatic vegetation, oyster reefs, riparian forest, and wet prairie (Miner 2005). The objective of these Corps...of coastal habitats, Volume Two: Tools for monitoring coastal habitats. NOAA Coastal Ocean Program Decision Analysis Series No. 23. Silver Spring, MD...NOAA National Centers for Coastal Ocean Science. Thom, R. M., and K. F. Wellman. 1996. Planning aquatic ecosystem restoration monitoring programs

  5. The PICO project: aquatic exercise for knee osteoarthritis in overweight and obese individuals

    PubMed Central

    2013-01-01

    Background Aquatic exercise is recommended by the Osteoarthritis Research Society (OARSI), by the American College of Rheumatology (ACR) and by the European League Against Rheumatism (EULAR) as a nonpharmacological method of controlling the knee osteoarthritis (KOA) symptoms. Moreover, given that weight loss results in a reduction of the load that is exerted upon the knee during daily activities, obesity is also considered to be a modifiable risk factor for the development and or exacerbation of KOA. The implementation of an exercise based weight loss program may, however, itself be limited by the symptoms of KOA. The aquatic program against osteoarthritis (termed “PICO” in Portuguese) prioritizes the control of symptoms and the recovery of functionality, with an attendant increase in the patient’s physical activity level and, consequently, metabolic rate. Our laboratory is assessing the effectiveness of 3 months of PICO on the symptoms of KOA, on physical function, on quality of life and on gait. In addition, PICO shall examine the effects of said exercise intervention on inflammatory biomarkers, psychological health, life style and body composition. Methods/Design The trial is a prospective, single-blinded, randomized controlled trial, and involves 50 overweight and obese adults (BMI = 28–43.5 kg/m2; age 40–65 yrs) with radiographic KOA. The participants are randomly allocated into either an educational attention (control) group or an aquatic (exercise program) group. This paper describes the experimental protocol that is used in the PICO project. Discussion The PICO program shall provide insight into the effectiveness of an aquatic exercise program in the control of KOA symptoms and in the improvement of the quality of life. As such, they are likely to prove a useful reference to health professionals who intend to implement any kind of therapeutic intervention based around aquatic exercise. Trial registration NCT01832545. PMID:24219758

  6. ENVIRONMENTAL TECHNOLOGY VERIFICATION JOINT (NSF-EPA) VERIFICATION STATEMENT AND REPORT, PERFORMANCE OF INDUCTION MIXERS FOR DISINFECTION OF WET WEATHER FLOWS, US FILTER/STRANCO PRODUCTS WATER CHAMP R F SERIES CHEMICAL INDUCTION SYSTEM

    EPA Science Inventory

    The Wet-Weather Flow Technologies Pilot of the EPA's Technology Verification (ETV) Program under a partnership with NSF International has verified the performawnce of the USFilter/Stranco Products chemical induction mixer used for disinfection of wet-weather flows. The USFilter t...

  7. Comparison between In-house developed and Diamond commercial software for patient specific independent monitor unit calculation and verification with heterogeneity corrections.

    PubMed

    Kuppusamy, Vijayalakshmi; Nagarajan, Vivekanandan; Jeevanandam, Prakash; Murugan, Lavanya

    2016-02-01

    The study was aimed to compare two different monitor unit (MU) or dose verification software in volumetric modulated arc therapy (VMAT) using modified Clarkson's integration technique for 6 MV photons beams. In-house Excel Spreadsheet based monitor unit verification calculation (MUVC) program and PTW's DIAMOND secondary check software (SCS), version-6 were used as a secondary check to verify the monitor unit (MU) or dose calculated by treatment planning system (TPS). In this study 180 patients were grouped into 61 head and neck, 39 thorax and 80 pelvic sites. Verification plans are created using PTW OCTAVIUS-4D phantom and also measured using 729 detector chamber and array with isocentre as the suitable point of measurement for each field. In the analysis of 154 clinically approved VMAT plans with isocentre at a region above -350 HU, using heterogeneity corrections, In-house Spreadsheet based MUVC program and Diamond SCS showed good agreement TPS. The overall percentage average deviations for all sites were (-0.93% + 1.59%) and (1.37% + 2.72%) for In-house Excel Spreadsheet based MUVC program and Diamond SCS respectively. For 26 clinically approved VMAT plans with isocentre at a region below -350 HU showed higher variations for both In-house Spreadsheet based MUVC program and Diamond SCS. It can be concluded that for patient specific quality assurance (QA), the In-house Excel Spreadsheet based MUVC program and Diamond SCS can be used as a simple and fast accompanying to measurement based verification for plans with isocentre at a region above -350 HU. Copyright © 2016 Associazione Italiana di Fisica Medica. Published by Elsevier Ltd. All rights reserved.

  8. Deep and shallow water effects on developing preschoolers' aquatic skills.

    PubMed

    Costa, Aldo M; Marinho, Daniel A; Rocha, Helena; Silva, António J; Barbosa, Tiago M; Ferreira, Sandra S; Martins, Marta

    2012-05-01

    The aim of the study was to assess deep and shallow water teaching methods in swimming lessons for preschool children and identify variations in the basic aquatic skills acquired. The study sample included 32 swimming instructors (16 from deep water programs and 16 from shallow water programs) and 98 preschool children (50 from deep water swimming pool and 48 from shallow water swimming pool). The children were also studied regarding their previous experience in swimming (6, 12 and 18 months or practice). Chi-Square test and Fisher's exact test were used to compare the teaching methodology. A discriminant analysis was conducted with Λ wilk's method to predict under what conditions students are better or worse (aquatic competence). Results suggest that regardless of the non-significant variations found in teaching methods, the water depth can affect aquatic skill acquisition - shallow water lessons seem to impose greater water competence particularly after 6 months of practice. The discriminant function revealed a significant association between groups and all predictors for 6 months of swimming practice (p<0.001). Body position in gliding and leg displacements were the main predictors. For 12 and 18 months of practice, the discriminant function do not revealed any significant association between groups. As a conclusion, it seems that the teaching methodology of aquatic readiness based on deep and shallow water programs for preschoolers is not significantly different. However, shallow water lessons could be preferable for the development of basic aquatic skills.

  9. Deep and Shallow Water Effects on Developing Preschoolers’ Aquatic Skills

    PubMed Central

    Costa, Aldo M.; Marinho, Daniel A.; Rocha, Helena; Silva, António J.; Barbosa, Tiago M.; Ferreira, Sandra S.; Martins, Marta

    2012-01-01

    The aim of the study was to assess deep and shallow water teaching methods in swimming lessons for preschool children and identify variations in the basic aquatic skills acquired. The study sample included 32 swimming instructors (16 from deep water programs and 16 from shallow water programs) and 98 preschool children (50 from deep water swimming pool and 48 from shallow water swimming pool). The children were also studied regarding their previous experience in swimming (6, 12 and 18 months or practice). Chi-Square test and Fisher’s exact test were used to compare the teaching methodology. A discriminant analysis was conducted with Λ wilk’s method to predict under what conditions students are better or worse (aquatic competence). Results suggest that regardless of the non-significant variations found in teaching methods, the water depth can affect aquatic skill acquisition - shallow water lessons seem to impose greater water competence particularly after 6 months of practice. The discriminant function revealed a significant association between groups and all predictors for 6 months of swimming practice (p<0.001). Body position in gliding and leg displacements were the main predictors. For 12 and 18 months of practice, the discriminant function do not revealed any significant association between groups. As a conclusion, it seems that the teaching methodology of aquatic readiness based on deep and shallow water programs for preschoolers is not significantly different. However, shallow water lessons could be preferable for the development of basic aquatic skills. PMID:23487406

  10. Man-rated flight software for the F-8 DFBW program

    NASA Technical Reports Server (NTRS)

    Bairnsfather, R. R.

    1976-01-01

    The design, implementation, and verification of the flight control software used in the F-8 DFBW program are discussed. Since the DFBW utilizes an Apollo computer and hardware, the procedures, controls, and basic management techniques employed are based on those developed for the Apollo software system. Program assembly control, simulator configuration control, erasable-memory load generation, change procedures and anomaly reporting are discussed. The primary verification tools are described, as well as the program test plans and their implementation on the various simulators. Failure effects analysis and the creation of special failure generating software for testing purposes are described.

  11. Independent Validation and Verification of automated information systems in the Department of Energy

    DOE Office of Scientific and Technical Information (OSTI.GOV)

    Hunteman, W.J.; Caldwell, R.

    1994-07-01

    The Department of Energy (DOE) has established an Independent Validation and Verification (IV&V) program for all classified automated information systems (AIS) operating in compartmented or multi-level modes. The IV&V program was established in DOE Order 5639.6A and described in the manual associated with the Order. This paper describes the DOE IV&V program, the IV&V process and activities, the expected benefits from an IV&V, and the criteria and methodologies used during an IV&V. The first IV&V under this program was conducted on the Integrated Computing Network (ICN) at Los Alamos National Laboratory and several lessons learned are presented. The DOE IV&Vmore » program is based on the following definitions. An IV&V is defined as the use of expertise from outside an AIS organization to conduct validation and verification studies on a classified AIS. Validation is defined as the process of applying the specialized security test and evaluation procedures, tools, and equipment needed to establish acceptance for joint usage of an AIS by one or more departments or agencies and their contractors. Verification is the process of comparing two levels of an AIS specification for proper correspondence (e.g., security policy model with top-level specifications, top-level specifications with source code, or source code with object code).« less

  12. Pressure and Buoyancy in Aquatic Ecosystems. Physical Processes in Terrestrial and Aquatic Ecosystems, Transport Processes.

    ERIC Educational Resources Information Center

    Cowan, Christina E.

    This module is part of a series designed to be used by life science students for instruction in the application of physical theory to ecosystem operation. Most modules contain computer programs which are built around a particular application of a physical process. This module explores some of the characteristics of aquatic organisms which can be…

  13. End-to-End Verification of Information-Flow Security for C and Assembly Programs

    DTIC Science & Technology

    2016-04-01

    seL4 security verification [18] avoids this issue in the same way. In that work, the authors frame their solution as a restriction that disallows...identical: (σ, σ′1) ∈ TM ∧ (σ, σ′2) ∈ TM =⇒ Ol(σ′1) = Ol(σ′2) The successful security verifications of both seL4 and mCertiKOS provide reasonable...evidence that this restriction on specifications is not a major hindrance for usability. Unlike the seL4 verification, however, our framework runs into a

  14. ENVIRONMENTAL TECHNOLOGY VERIFICATION REPORT: EXEL INDUSTRIAL AIRMIX SPRAY GUN

    EPA Science Inventory

    The Environmental Technology Verification Program has partnered with Concurrent Technologies Corp. to verify innovative coatings and coating equipment technologies for reducing air emissions. This report describes the performance of EXEL Industrial's Kremlin Airmix high transfer ...

  15. ENVIRONMENTAL TECHNOLOGY VERIFICATION FOR AIR POLLUTION CONTROL TECHNOLOGIES: FINAL REPORT

    EPA Science Inventory

    The technical objective of the Environmental Technology Verification (ETV) Program's Air Pollution Control Technology (APCT) Center is to verify environmental technology performance by obtaining objective quality-assured data, thus providing potential purchasers and permitters wi...

  16. ENVIRONMENTAL TECHNOLOGY VERIFICATION (ETV) OF PAINT OVERSPRAY ARRESTORS

    EPA Science Inventory

    The paper discusses the environmental technology verification (ETV) of paint overspray arrestors undertaken as part of a program to accelerate the development and commercialization of improved environmental technologies through third-party verififcation and reporting of performan...

  17. ETV PILOT FOR SOURCE WATER PROTECTION TECHNOLOGY VERIFICATION

    EPA Science Inventory

    The Environmental Technology Verification (ETV) Program, a five-year pilot, provides technology purchasers, permitters and developers with objective, quality assured performance data on new and/or improved technologies. EPA has partnered with the National Sanitation Foundation (...

  18. VERIFICATION OF HIGH-RATE DISINFECTION TECHNOLOGIES FOR WET-WEATHER FLOWS

    EPA Science Inventory

    This paper describes the critical components of the USEPA's Environmental Technology Verification Program for two specific technologies categories: ultraviolet disinfection technologies for treating combined sewer overflow (CSO) and sanitary sewer overflow (SSO), and; induction m...

  19. In-Field Performance Testing of Stormwater Treatment Devices

    EPA Science Inventory

    The Environmental Technology Verification (ETV) Program was created by EPA’s Office of Research and Development to facilitate the deployment of innovative or improved environmental technologies through performance verification and dissemination of information. The program’s goal ...

  20. Proceedings of the Annual Meeting, Aquatic Plant Control Research Program (18th) Held at Raleigh, North Carolina on 14-17 November 1983.

    DTIC Science & Technology

    1984-06-01

    Aquatic Plant Management Program: Water Quality Monitoring, by John H. Rodgers, Jr., Kevin H. Reinert, and Mark L. Hinman...Rodgers, Jr.,* Kevin H. Reinert,* and Mark L. Hinman* Din INTRODUCTION 0 A water quality monitoring program was conducted on Pat Mayse Lake during...Mississippi. 117 Herbicide Sprayer Plant Bed Translucen- Rof -SupplementalLighting_ Waer Supply _ W i Sampling Stations Figure 1. Flume system set up to

  1. The Effectiveness of Aquatic Group Therapy for Improving Water Safety and Social Interactions in Children with Autism Spectrum Disorder: A Pilot Program

    ERIC Educational Resources Information Center

    Alaniz, Michele L.; Rosenberg, Sheila S.; Beard, Nicole R.; Rosario, Emily R.

    2017-01-01

    Drowning is the number one cause of accidental death in children with Autism Spectrum Disorder (ASD). Few studies have examined the effectiveness of swim instruction for improving water safety skills in children with moderate to severe ASD. This study examines the feasibility and effectiveness of an aquatic therapy program on water safety and…

  2. Effects of an aquatic-based exercise program to improve cardiometabolic profile, quality of life, and physical activity levels in men with type 2 diabetes mellitus.

    PubMed

    Cugusi, Lucia; Cadeddu, Christian; Nocco, Silvio; Orrù, Fabio; Bandino, Stefano; Deidda, Martino; Caria, Alessandra; Bassareo, Pier Paolo; Piras, Alessandra; Cabras, Sergio; Mercuro, Giuseppe

    2015-02-01

    The role of structured exercise in improving cardiometabolic profile and quality of life in patients with type 2 diabetes mellitus (2DM) has been widely demonstrated. Little is known about the effects of an aquatic-based exercise program in patients with 2DM. To evaluate the effects of a supervised aquatic-based exercise program on cardiometabolic profile, quality of life, and physical activity levels in patients with 2DM. Observational study, community pre-post aquatic-based exercise program, primary care intervention. Eighteen men diagnosed with 2DM (52.2 ± 9.3 years). and Cardiometabolic profile, quality of life, and physical activity levels were assessed before and after 12 weeks of an aquatic-based exercise program. The results show a significant improvement of cardiometabolic assessments (maximum oxygen consumption: 24.1 versus 21.1 mL/kg/min, P < .05; blood pressure: 125.4/77 versus 130.7/82.5 mm Hg, P < .05; fasting blood glucose: 119.6 versus 132.5 mg/dL, P < .05; body mass index: 29.9 versus 31.1 kg/m², P < .005; low-density lipoprotein cholesterol: 95.2 versus 104.9 mg/dL, P < .05; and diastolic function: E/E' 9.1 versus 10.1, P < .005) and an increase in quality of life and physical activity levels (Medical Outcome Study 36-item Short Form Health Survey mental component summary: 72.3 versus 67, P < .05; Problems Area About Diabetes: 20.1 versus 33.2, P < .005) and energy expenditure in general physical activity (physical activity: 3888.7 versus 1239.5 kcal/wk, P < .05). These findings demonstrate that an aquatic-based exercise program produces benefits for the cardiovascular system and metabolic profile and appears to be safe and effective in improving quality of life and increasing physical activity levels in patients with 2DM. Copyright © 2015 American Academy of Physical Medicine and Rehabilitation. Published by Elsevier Inc. All rights reserved.

  3. Do Go Near the Water

    ERIC Educational Resources Information Center

    Thomas, David G., Ed.

    1976-01-01

    A collection of eight articles explains that swimming is but one of the many aquatic sports that can take place in a swimming pool and that aquatic education is becoming an integral part of physical education programs. (MM)

  4. VERIFICATION OF HIGH-RATE DISINFECTION TECHNOLOGIES FOR WET-WEATHER FLOW APPLICATIONS

    EPA Science Inventory

    This paper describes the critical components of the USEPA's Environmental Technology Verification Program for two specific technologies categories: ultraviolet disinfection technologies for treating combined sewer overflow (CSO) and sanitary sewer overflow (SSO), and; and mechani...

  5. Environmental Technology Verification (ETV) Program: Site Characterization and Monitoring Technologies Center

    EPA Pesticide Factsheets

    The ETV Site Characterization and Monitoring Technology Pilot is composed of EPA, DoD, DOE, other Federal agencies, state regulators, technology evaluation and verification entities, and potential end users of these technologies to facilitate independent..

  6. ETV - ENVIRONMENTAL TECHNOLOGY VERIFICATION (ETV) - RISK MANAGEMENT

    EPA Science Inventory

    In October 1995, the Environmental Technology Verification (ETV) Program was established by EPA. The goal of ETV is to provide credible performance data for commercial-ready environmental technologies to speed their implementation for the benefit of vendors, purchasers, permitter...

  7. Simulation validation and management

    NASA Astrophysics Data System (ADS)

    Illgen, John D.

    1995-06-01

    Illgen Simulation Technologies, Inc., has been working interactive verification and validation programs for the past six years. As a result, they have evolved a methodology that has been adopted and successfully implemented by a number of different verification and validation programs. This methodology employs a unique case of computer-assisted software engineering (CASE) tools to reverse engineer source code and produce analytical outputs (flow charts and tables) that aid the engineer/analyst in the verification and validation process. We have found that the use of CASE tools saves time,which equate to improvements in both schedule and cost. This paper will describe the ISTI-developed methodology and how CASe tools are used in its support. Case studies will be discussed.

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

    DOE Office of Scientific and Technical Information (OSTI.GOV)

    Zhou, Nan; Romankiewicz, John; Fridley, David

    2012-06-01

    Enforcement of appliance standards and consumer trust in appliance labeling are important foundations of growing a more energy efficient economy. Product certification and verification increase compliance rates which in turn increase both energy savings and consumer trust. This paper will serve two purposes: 1) to review international practices for product certification and verification as they relate to the enforcement of standards and labeling programs in the U.S., E.U., Australia, Japan, Canada, and China; and 2) to make recommendations for China to implement improved certification processes related to their mandatory standards and labeling program such as to increase compliance rates andmore » energy savings potential.« less

  9. The Impact of Aquatic Exercise on Sleep Behaviors in Children with Autism Spectrum Disorder: A Pilot Study

    ERIC Educational Resources Information Center

    Oriel, Kathryn N.; Kanupka, Jennifer Wood; DeLong, Kylee S.; Noel, Kelsie

    2016-01-01

    The purpose of this pilot study was to determine if participation in an aquatic exercise program improves sleep in children with Autism Spectrum Disorder (ASD). Participants included 8 children. An A-B-A withdrawal design was utilized. Each phase lasted for 4 weeks. The treatment included 60 min of aquatic exercise 2X/week. Phone calls to parents…

  10. A Computer Simulation of the Trophic Dynamics of an Aquatic System.

    ERIC Educational Resources Information Center

    Bowker, D. W.; Randerson, P. F.

    1989-01-01

    Described is a computer program, AQUASIM, which simulates interaction between environmental factors, phytoplankton, zooplankton, and fish in an aquatic ecosystem. The conceptual flow, equations, variables, rate processes, and parameter manipulations are discussed. (CW)

  11. Map of National Aquatic Resource Surveys Sampling Locations

    EPA Pesticide Factsheets

    This map displays all of the lakes, rivers and streams, wetlands, and coastal waters sampled by the National Aquatic Resource Surveys, a collaborative EPA program that assesses the condition of the nation's waters using statistical designs.

  12. Environmental Technology Verification Report: Taconic Energy, Inc. TEA Fuel Additive

    EPA Science Inventory

    The Greenhouse Gas Technology Center (GHG Center) is one of six verification organizations operating under EPA’s ETV program. One sector of significant interest to GHG Center stakeholders is transportation - particularly technologies that result in fuel economy improvements. Taco...

  13. 7 CFR 3431.16 - Certifications and verifications.

    Code of Federal Regulations, 2014 CFR

    2014-01-01

    ... 7 Agriculture 15 2014-01-01 2014-01-01 false Certifications and verifications. 3431.16 Section 3431.16 Agriculture Regulations of the Department of Agriculture (Continued) NATIONAL INSTITUTE OF FOOD AND AGRICULTURE VETERINARY MEDICINE LOAN REPAYMENT PROGRAM Administration of the Veterinary Medicine...

  14. 7 CFR 3431.16 - Certifications and verifications.

    Code of Federal Regulations, 2012 CFR

    2012-01-01

    ... 7 Agriculture 15 2012-01-01 2012-01-01 false Certifications and verifications. 3431.16 Section 3431.16 Agriculture Regulations of the Department of Agriculture (Continued) NATIONAL INSTITUTE OF FOOD AND AGRICULTURE VETERINARY MEDICINE LOAN REPAYMENT PROGRAM Administration of the Veterinary Medicine...

  15. 7 CFR 3431.16 - Certifications and verifications.

    Code of Federal Regulations, 2013 CFR

    2013-01-01

    ... 7 Agriculture 15 2013-01-01 2013-01-01 false Certifications and verifications. 3431.16 Section 3431.16 Agriculture Regulations of the Department of Agriculture (Continued) NATIONAL INSTITUTE OF FOOD AND AGRICULTURE VETERINARY MEDICINE LOAN REPAYMENT PROGRAM Administration of the Veterinary Medicine...

  16. PROMOTING AIR QUALITY THROUGH ENVIRONMENTAL TECHNOLOGY VERIFICATION

    EPA Science Inventory

    The paper discusses the promotion of improved air quality through environmental technology verifications (ETVs). In 1995, the U.S. EPA's Office of Research and Development began the ETV Program in response to President Clinton's "Bridge to a Sustainable Future" and Vice Presiden...

  17. ENVIRONMENTAL TECHNOLOGY VERIFICATION OF BAGHOUSE FILTRATION PRODUCTS

    EPA Science Inventory

    The Environmental Technology Verification Program (ETV) was started by EPA in 1995 to generate independent credible data on the performance of innovative technologies that have potential to improve protection of public health and the environment. ETV does not approve or certify p...

  18. Effects of Water Exercise Swimming Program on Aquatic Skills and Social Behaviors in Children with Autism Spectrum Disorders

    ERIC Educational Resources Information Center

    Pan, Chien-Yu

    2010-01-01

    The purpose of this study was to determine the effectiveness of a 10 week water exercise swimming program (WESP) on the aquatic skills and social behaviors of 16 boys with autism spectrum disorders (ASDs). In the first 10 week phase (phase I), eight children (group A) received the WESP while eight children (group B) did not. A second 10 week phase…

  19. Effects of an aquatic physical exercise program on glycemic control and perinatal outcomes of gestational diabetes: study protocol for a randomized controlled trial.

    PubMed

    da Silva, José Roberto; Borges, Paulo Sérgio; Agra, Karine F; Pontes, Isabelle Albuquerque; Alves, João Guilherme Bezerra

    2013-11-19

    Gestational diabetes mellitus (GDM) is increasing worldwide and has been associated with adverse perinatal outcomes and high risk for chronic disease both for the mother and for the child. Physical exercise is feasible for diabetic pregnant women and contributes to better glycemic control and to a decrease in adverse perinatal outcomes. However, there are no randomized controlled trials (RCT) assessing the effects of aquatic physical exercise on GDM control and adverse maternal and fetal outcomes. An RCT will be conducted at Instituto de Medicina Integral Prof Fernando Figueira (IMIP), Brazil. A total of 72 pregnant women will be studied; 36 gestational diabetics will undergo an aquatic physical exercise program in a thermal pool, 3 times per week over 2 months. The primary endpoint will be glucose level control and use of insulin; secondary endpoints will be the following maternal and fetal outcomes: weight gain during pregnancy, blood pressure, pre-eclampsia diagnosis, intrauterus growth restriction, preterm birth, Cesarean section, macrosomia and maternal or neonatal intensive care admission. Endpoints between intervention and control group will analyzed by t test for unpaired data and χ² test, and the level of significance will set at <0.05. The physical proprieties of water make aquatic exercises ideal for pregnant women. An aquatic physical exercise program developed for GDM women will be trialed in a thermal pool and under the supervision of physiotherapist to ensure compliance. It is expected that this study will provide evidence as to the effect of aquatic physical exercise on GDM control. ClinicalTrial.gov, NCT01940003.

  20. Aquatic Plant Control Research Program. Large-Scale Operations Management Test of Use of the White Amur for Control of Problem Aquatic Plants. Reports 2 and 3. First and Second Year Poststocking Results. Volume 5. The Herpetofauna of Lake Conway, Florida: Community Analysis.

    DTIC Science & Technology

    1983-07-01

    TEST CHART NATIONAL BVIREAU OF StANARS-1963- I AQUATIC PLANT CONTROL RESEARCH PROGRAM TECHNICAL REPORT A-78-2 LARGE-SCALE OPERATIONS MANAGEMENT TEST OF...Waterways Experiment Station P. 0. Box 631, Vicksburg, Miss. 39180 83 11 01 018 - I ., lit I III I | LARGE-SCALE OPERATIONS MANAGEMENT TEST OF USE OF THE...No. 3. RECIPIENT’S CATALOG NUMBER Technical Report A-78-2 Aa 1 Lj 19 ________5!1___ A. TITLE (Ad Subtitle) LARGE-SCALE OPERATIONS MANAGEMENT S. TYPE

  1. 33 CFR Appendix C to Part 273 - Information Requirements for Aquatic Plant Control Program Environmental Impact Statements

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... Navigable Waters CORPS OF ENGINEERS, DEPARTMENT OF THE ARMY, DEPARTMENT OF DEFENSE AQUATIC PLANT CONTROL Pt.... History of infestation. Discuss obvious development as established. e. Criteria for identification of the...

  2. 33 CFR Appendix C to Part 273 - Information Requirements for Aquatic Plant Control Program Environmental Impact Statements

    Code of Federal Regulations, 2013 CFR

    2013-07-01

    ... Navigable Waters CORPS OF ENGINEERS, DEPARTMENT OF THE ARMY, DEPARTMENT OF DEFENSE AQUATIC PLANT CONTROL Pt.... History of infestation. Discuss obvious development as established. e. Criteria for identification of the...

  3. 33 CFR Appendix C to Part 273 - Information Requirements for Aquatic Plant Control Program Environmental Impact Statements

    Code of Federal Regulations, 2012 CFR

    2012-07-01

    ... Navigable Waters CORPS OF ENGINEERS, DEPARTMENT OF THE ARMY, DEPARTMENT OF DEFENSE AQUATIC PLANT CONTROL Pt.... History of infestation. Discuss obvious development as established. e. Criteria for identification of the...

  4. 33 CFR Appendix C to Part 273 - Information Requirements for Aquatic Plant Control Program Environmental Impact Statements

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... Navigable Waters CORPS OF ENGINEERS, DEPARTMENT OF THE ARMY, DEPARTMENT OF DEFENSE AQUATIC PLANT CONTROL Pt.... History of infestation. Discuss obvious development as established. e. Criteria for identification of the...

  5. 33 CFR Appendix B to Part 273 - Information Requirements for Aquatic Plant Control Program Reports

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... ENGINEERS, DEPARTMENT OF THE ARMY, DEPARTMENT OF DEFENSE AQUATIC PLANT CONTROL Pt. 273, App. B Appendix B to... source of reinfestation; extent of infestation including estimated surface area, depth or density; nature...

  6. 33 CFR Appendix B to Part 273 - Information Requirements for Aquatic Plant Control Program Reports

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... ENGINEERS, DEPARTMENT OF THE ARMY, DEPARTMENT OF DEFENSE AQUATIC PLANT CONTROL Pt. 273, App. B Appendix B to... source of reinfestation; extent of infestation including estimated surface area, depth or density; nature...

  7. Integrated testing and verification system for research flight software

    NASA Technical Reports Server (NTRS)

    Taylor, R. N.

    1979-01-01

    The MUST (Multipurpose User-oriented Software Technology) program is being developed to cut the cost of producing research flight software through a system of software support tools. An integrated verification and testing capability was designed as part of MUST. Documentation, verification and test options are provided with special attention on real-time, multiprocessing issues. The needs of the entire software production cycle were considered, with effective management and reduced lifecycle costs as foremost goals.

  8. Potential Upstream Strategies for the Mitigation of Pharmaceuticals in the Aquatic Environment: a Brief Review.

    PubMed

    Blair, Benjamin D

    2016-06-01

    Active pharmaceutical ingredients represent a class of pollutants of emerging concern, and there is growing evidence that these pollutants can cause damage to the aquatic environment. As regulations to address these concerns are expected in developed nations, decision-makers are looking to the scientific community for potential solutions. To inform these regulatory efforts, further information on the potential strategies to reduce the levels of pharmaceuticals entering the aquatic environment is needed. End-of-pipe (i.e., wastewater treatment) technologies that can remove pharmaceuticals exist; however, they are costly to install and operate. Thus, the goal of this brief review is to look beyond end-of-pipe solutions and present various upstream mitigation strategies discussed within the scientific literature. Programs such as pharmaceutical take-back programs currently exist to attempt to reduce pharmaceutical concentrations in the environment, although access and coverage are often limited for many programs. Other potential strategies include redesigning pharmaceuticals to minimize aquatic toxicity, increasing the percent of the pharmaceuticals metabolized in the body, selecting less harmful pharmaceuticals for use, starting new prescriptions at lower dosages, selecting pharmaceuticals with lower excretion rates, and implementing source treatment such as urine separating toilets. Overall, this brief review presents a summary of the upstream preventative recommendations to mitigate pharmaceuticals from entering the aquatic environment with an emphasis on regulatory efforts in the USA and concludes with priorities for further research.

  9. The effectiveness of surrogate taxa to conserve freshwater biodiversity

    USGS Publications Warehouse

    Stewart, David R.; Underwood, Zachary E.; Rahel, Frank J.; Walters, Annika W.

    2018-01-01

    Establishing protected areas has long been an effective conservation strategy, and is often based on more readily surveyed species. The potential of any freshwater taxa to be a surrogate of other aquatic groups has not been fully explored. We compiled occurrence data on 72 species of freshwater fish, amphibians, mussels, and aquatic reptiles for the Great Plains, Wyoming. We used hierarchical Bayesian multi-species mixture models and MaxEnt models to describe species distributions, and program Zonation to identify conservation priority areas for each aquatic group. The landscape-scale factors that best characterized aquatic species distributions differed among groups. There was low agreement and congruence among taxa-specific conservation priorities (<20%), meaning that no surrogate priority areas would include or protect the best habitats of other aquatic taxa. We found that common, wide-ranging aquatic species were included in taxa-specific priority areas, but rare freshwater species were not included. Thus, the development of conservation priorities based on a single freshwater aquatic group would not protect all species in the other aquatic groups.

  10. ENVIRONMENTAL TECHNOLOGY VERIFICATION REPORT: BAGHOUSE FILTRATION PRODUCTS--DONALDSON COMPANY, INC. 6277 FILTRATION MEDIA

    EPA Science Inventory

    The U.S. Environmental Protection Agency has created the Environmental Technology Verification Program to facilitate the deployment of innovative or improved environmental technologies through high quality, peer reviewed data on technology performance to those involved in the des...

  11. ENVIRONMENTAL TECHNOLOGY VERIFICATION REPORT, ANEST IWATA CORPORATION W400-LV SPRAY GUN

    EPA Science Inventory

    Under EPA’s Environmental Technology Verification program, which provides objective and scientific third party analysis of new technology that can benefit the environment, the pollution prevention capabilities of a high transfer efficiency liquid spray gun was tested. This ...

  12. ENVIRONMENTAL TECHNOLOGY VERIFICATION REPORT, SHARPE MANUFACTURING TITANIUM T1-CG SPRAY GUN

    EPA Science Inventory

    Under EPA’s Environmental Technology Verification program, which provides objective and scientific third party analysis of new technology that can benefit the environment, the pollution prevention capabilities of a high transfer efficiency liquid spray gun was tested. This ...

  13. 10 CFR 300.11 - Independent verification.

    Code of Federal Regulations, 2011 CFR

    2011-01-01

    ... verifiers, and has been empowered to make decisions relevant to the provision of a verification statement... methods; and (v) Risk assessment and methodologies and materiality analysis procedures outlined by other... Accreditation Board program for Environmental Management System auditors (ANSI-RAB-EMS); Board of Environmental...

  14. 10 CFR 300.11 - Independent verification.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... verifiers, and has been empowered to make decisions relevant to the provision of a verification statement... methods; and (v) Risk assessment and methodologies and materiality analysis procedures outlined by other... Accreditation Board program for Environmental Management System auditors (ANSI-RAB-EMS); Board of Environmental...

  15. ENVIRONMENTAL TECHNOLOGY VERIFICATION REPORT: ENVIROFUELS DIESEL FUEL CATALYZER FUEL ADDITIVE

    EPA Science Inventory

    EPA's Environmental Technology Verification Program has tested EnviroFuels diesel fuel additive, called the Diesel Fuel Catalyzer. EnviroFuels has stated that heavy-duty on and off road diesel engines are the intended market for the catalyzer. Preliminary tests conducted indicate...

  16. VERIFICATION OF THE PERFORMANCE OF DECONTAMINATION TECHNOLOGIES IN EPA'S SAFE BUILDINGS PROGRAM

    EPA Science Inventory

    The paper describes initial progress in identifying and testing technologies applicable for decontaminating workplaces and other buildings that may be subject to chemical or biological attack. The EPA is using the process established in its Environmental Technology Verification (...

  17. U.S. ENVIRONMENTAL PROTECTION AGENCY (EPA), ENVIRONMENTAL TECHNOLOGY VERIFICATION (ETV) PROGAM: RESIDENTIAL NUTRIENT REDUCTION

    EPA Science Inventory

    The U.S. Environmental Protection Agency 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 technology ...

  18. ENVIRONMENTAL TECHNOLOGY VERIFICATION REPORT - PORTABLE GAS CHROMATOGRAPH - PERKIN-ELMER PHOTOVAC, INC. VOYAGOR

    EPA Science Inventory

    The U.S Environmental Protection Agency, through the Environmental Technology Verification Program, is working to accelerate the acceptance and use of innovative technologies that improve the way the United States manages its environmental problems. Reports document the performa...

  19. ENVIRONMENTAL TECHNOLOGY VERIFICATION REPORT - PORTABLE GAS CHROMATOGRAPH - SENTEX SYSTEMS, INC. SCENTOGRAPH PLUS II

    EPA Science Inventory

    The U.S. Environmental Protection Agency, through the Environmental Technology Verification Program, is working to accelerate the acceptance and use of innovative technologies that improve the way the United States manages its environmental problems. This report documents demons...

  20. AN ENVIRONMENTAL TECHNOLOGY VERIFICATION (ETV) PERFORMANCE TESTING OF FOUR IMMUNOASSAY TEST KITS

    EPA Science Inventory

    The Environmental Technology Verification (ETV) Program, beginning as an initiative of the U.S. Environmental Protection Agency (EPA) in 1995, verifies the performance of commercially available, innovative technologies that can be used to measure environmental quality. The ETV p...

  1. PERFORMANCE VERIFICATION OF ADVANCED MONITORING SYSTEMS FOR AIR, WATER, AND SOIL

    EPA Science Inventory

    The Environmental Technology Verification (ETV) Program, beginning as an initiative of the U.S. Environmental Protection Agency (EPA) in 1995, verifies the performance of commercially available, innovative technologies that can be used to assess environmental quality. The ETV p...

  2. AN ENVIRONMENTAL TECHNOLOGY VERIFICATION (ETV) TESTING OF FOUR DIOXIN EMISSION MONITORING SYSTEMS

    EPA Science Inventory

    The Environmental Technology Verification (ETV) Program, beginning as an initiative of the U.S. Environmental Protection Agency (EPA) in 1995, verifies the performance of commercially available, innovative technologies that can be used to measure environmental quality. The ETV p...

  3. ENVIRONMENTAL TECHNOLOGY VERIFICATION REPORT: PAINT OVERSPRAY ARRESTOR, FARR COMPANY RIGA-FLO 200

    EPA Science Inventory

    Paint overspray arrestors (POAs) were evaluated by the Air Pollution Control Technology (APCT) pilot of the Environmental Technology Verification (ETV) Program. The performance factor verified was the particle filtration efficiency as a function of size for particles smaller than...

  4. ENVIRONMENTAL TECHNOLOGY VERIFICATION REPORT: PAINT OVERSPRAY ARRESTOR, ATI OSM 200 SYSTEM

    EPA Science Inventory

    Paint overspray arrestors (POAs) were evaluated by the Air Pollution Control Technology (APCT) pilot of the Environmental Technology Verification (ETV) Program. The performance factor verified was the particle filtration efficiency as a function of size for particles smaller than...

  5. ENVIRONMENTAL TECHNOLOGY VERIFICATION REPORT: PAINT OVERSPRAY ARRESTOR, COLUMBUS INDUSTRIES SL-46B

    EPA Science Inventory

    Paint overspray arrestors (POAs) were evaluated by the Air Pollution Control Technology (APCT) pilot of the Environmental Technology Verification (ETV) Program. The performance factor verified was the particle filtration efficiency as a function of size for particles smaller than...

  6. The USDA national animal germplasm program and the aquatic species collection. In: T.R. Tiersch and C.C. Green (eds.) Cryopreservation in Aquatic Species, 2nd Edition. World Aquaculture Society, Baton Rouge, LA

    USDA-ARS?s Scientific Manuscript database

    Diverse genetic resources and the genetic variability within species are the raw materials by which the productivity of aquatic species populations can be increased for food production. Due to the importance of these resources there is growing international awareness that these resources are importa...

  7. Novel Bio-inspired Aquatic Flow Sensors

    DTIC Science & Technology

    2012-06-18

    Novel Bio-inspired Aquatic Flow Sensors Preston Albert Pinto Thesis submitted to the Faculty of the Virginia Polytechnic Institute and...Leo, Chair Stephen A. Sarles Michael K. Philen Pavlos Vlachos June 18th, 2012 Blacksburg, Virginia Keywords: artificial hair cell, flow ...Aquatic Flow Sensors 5a. CONTRACT NUMBER 5b. GRANT NUMBER 5c. PROGRAM ELEMENT NUMBER 6. AUTHOR(S) 5d. PROJECT NUMBER 5e. TASK NUMBER 5f. WORK UNIT

  8. Monitoring and verification R&D

    DOE Office of Scientific and Technical Information (OSTI.GOV)

    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 existingmore » 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.« less

  9. Precision segmented reflector, figure verification sensor

    NASA Technical Reports Server (NTRS)

    Manhart, Paul K.; Macenka, Steve A.

    1989-01-01

    The Precision Segmented Reflector (PSR) program currently under way at the Jet Propulsion Laboratory is a test bed and technology demonstration program designed to develop and study the structural and material technologies required for lightweight, precision segmented reflectors. A Figure Verification Sensor (FVS) which is designed to monitor the active control system of the segments is described, a best fit surface is defined, and an image or wavefront quality of the assembled array of reflecting panels is assessed

  10. ENVIRONMENTAL TECHNOLOGY VERIFICATION OF URBAN RUNOFF MODELS

    EPA Science Inventory

    This paper will present the verification process and available results of the XP-SWMM modeling system produced by XP-Software conducted unde the USEPA's ETV Program. Wet weather flow (WWF) models are used throughout the US for the evaluation of storm and combined sewer systems. M...

  11. ENVIRONMENTAL TECHNOLOGY VERIFICATION REPORT, PAINT OVERSPRAY ARRESTOR, KOCH FILTER CORPORATION, DUO-PAK 650

    EPA Science Inventory

    Paint overspray arrestors (POAs) were evaluated by the Air Pollution Control Technology (APCT) pilot of the Environmental Technology Verification (ETV) Program. The performance factor verified was the particle filtration efficiency as a function of size for particles smaller than...

  12. ENVIRONMENTAL TECHNOLOGY VERIFICATION REPORT: ECR TECHNOLOGIES, INC., EARTHLINKED GROUND-SOURCE HEAT PUMP WATER HEATING SYSTEM

    EPA Science Inventory

    EPA has created the Environmental Technology Verification program to provide high quality, peer reviewed data on technology performance. This data is expected to accelerate the acceptance and use of improved environmental protection technologies. The Greenhouse Gas Technology C...

  13. ENVIRONMENTAL TECHNOLOGY VERIFICATION REPORT - PHOTOACOUSTIC SPECTROPHOTOMATER INNOVA AIR TECH INSTRUMENTS MODEL 1312 MULTI-GAS MONITOR

    EPA Science Inventory

    The U.S. Environmental Protection Agency, Through the Environmental Technology Verification Program, is working to accelerate the acceptance and use of innovative technologies that improve the way the United States manages its environmental problems. This report documents demons...

  14. Long-Term Pavement Performance Materials Characterization Program: Verification of Dynamic Test Systems with an Emphasis on Resilient Modulus

    DOT National Transportation Integrated Search

    2005-09-01

    This document describes a procedure for verifying a dynamic testing system (closed-loop servohydraulic). The procedure is divided into three general phases: (1) electronic system performance verification, (2) calibration check and overall system perf...

  15. ENVIRONMENTAL TECHNOLOGY VERIFICATION REPORT: NEW CONDENSATOR, INC.--THE CONDENSATOR DIESEL ENGINE RETROFIT CRANKCASE VENTILATION SYSTEM

    EPA Science Inventory

    EPA's Environmental Technology Verification Program has tested New Condensator Inc.'s Condensator Diesel Engine Retrofit Crankcase Ventilation System. Brake specific fuel consumption (BSFC), the ratio of engine fuel consumption to the engine power output, was evaluated for engine...

  16. 45 CFR 205.51 - Income and eligibility verification requirements.

    Code of Federal Regulations, 2012 CFR

    2012-10-01

    ... 45 Public Welfare 2 2012-10-01 2012-10-01 false Income and eligibility verification requirements. 205.51 Section 205.51 Public Welfare Regulations Relating to Public Welfare OFFICE OF FAMILY ASSISTANCE (ASSISTANCE PROGRAMS), ADMINISTRATION FOR CHILDREN AND FAMILIES, DEPARTMENT OF HEALTH AND HUMAN...

  17. 45 CFR 205.51 - Income and eligibility verification requirements.

    Code of Federal Regulations, 2013 CFR

    2013-10-01

    ... 45 Public Welfare 2 2013-10-01 2012-10-01 true Income and eligibility verification requirements. 205.51 Section 205.51 Public Welfare Regulations Relating to Public Welfare OFFICE OF FAMILY ASSISTANCE (ASSISTANCE PROGRAMS), ADMINISTRATION FOR CHILDREN AND FAMILIES, DEPARTMENT OF HEALTH AND HUMAN...

  18. 45 CFR 205.51 - Income and eligibility verification requirements.

    Code of Federal Regulations, 2014 CFR

    2014-10-01

    ... 45 Public Welfare 2 2014-10-01 2012-10-01 true Income and eligibility verification requirements. 205.51 Section 205.51 Public Welfare Regulations Relating to Public Welfare OFFICE OF FAMILY ASSISTANCE (ASSISTANCE PROGRAMS), ADMINISTRATION FOR CHILDREN AND FAMILIES, DEPARTMENT OF HEALTH AND HUMAN...

  19. 45 CFR 205.51 - Income and eligibility verification requirements.

    Code of Federal Regulations, 2011 CFR

    2011-10-01

    ... 45 Public Welfare 2 2011-10-01 2011-10-01 false Income and eligibility verification requirements. 205.51 Section 205.51 Public Welfare Regulations Relating to Public Welfare OFFICE OF FAMILY ASSISTANCE (ASSISTANCE PROGRAMS), ADMINISTRATION FOR CHILDREN AND FAMILIES, DEPARTMENT OF HEALTH AND HUMAN...

  20. ENVIRONMENTAL TECHNOLOGY VERIFICATION REPORT - BAGHOUSE FILTRATION PRODUCTS - TETRATEC PTFE TECHNOLOGIES TETRATEX 8005

    EPA Science Inventory

    Baghouse filtration products (BFPs) were evaluated by the Air Pollution Control Technology (APCT) pilot of the Environmental Technology Verification (ETV) Program. The performance factor verified was the mean outlet particle concentration for the filter fabric as a function of th...

  1. ENVIRONMENTAL TECHNOLOGY VERIFICATION REPORT - BAGHOUSE FILTRATION PRODUCTS - INSPEC FIBRES 5512BRF FILTER SAMPLE

    EPA Science Inventory

    Baghouse filtration products (BFPs) were evaluated by the Air Pollution Control Technology (APCT) pilot of the Environmental Technology Verification (ETV) Program. The performance factor verified was the mean outlet particle concentration for the filter fabric as a function of th...

  2. ENVIRONMENTAL TECHNOLOGY VERIFICATION REPORT - BAGHOUSE FILTRATION PRODUCTS - MENARDI-CRISWELL 50-504 FILTER SAMPLE

    EPA Science Inventory

    Baghouse filtration products (BFPs) were evaluated by the Air Pollution Control Technology (APCT) pilot of the Environmental Technology Verification (ETV) Program. The performance factor verified was the mean outlet particle concentration for the filter fabric as a function of th...

  3. ENVIRONMENTAL TECHNOLOGY VERIFICATION REPORT: CONSTELLATION TECHNOLOGY CORPORATION - CT-1128 PORTABLE GAS CHROMATOGRAPH-MASS SPECTROMETER

    EPA Science Inventory

    The Environmental Technology Verification (ETV) Program, beginning as an initiative of the U.S. Environmental Protection Agency (EPA) in 1995, verifies the performance of commercially available, innovative technologies that can be used to measure environmental quality. The ETV p...

  4. ENVIRONMENTAL TECHNOLOGY VERIFICATION REPORT, GROUNDWATER SAMPLING TECHNOLOGIES, GEOPROBE INC., PNEUMATIC BLADDER PUMP GW 1400 SERIES

    EPA Science Inventory

    The U.S. Environmental Protection Agency (EPA) design efficient processes for conducting has created the Environmental Technology perfofl1lance tests of innovative technologies. Verification Program (E TV) to facilitate the deployment of innovative or improved environmental techn...

  5. ENVIRONMENTAL TECHNOLOGY VERIFICATION REPORT, GROUNDWATER SAMPLING TECHNOLOGIES, GEOPROBE INC, MECHANICAL BLADDER PUMP MODEL MP470

    EPA Science Inventory

    The U.S. Environmental Protection Agency (EPA) design efficient processes for conducting has created the Environmental Technology perfofl1lance tests of innovative technologies. Verification Program (E TV) to facilitate the deployment of innovative or improved environmental techn...

  6. ENVIRONMENTAL TECHNOLOGY VERIFICATION REPORT: PAINT OVERSPRAY ARRESTOR, AAF INTERNATIONAL DRI-PAK 40-45%

    EPA Science Inventory

    Paint overspray arrestors (POAs) were evaluated by the Air Pollution Control Technology (APCT) pilot of the Environmental Technology Verification (ETV) Program. The performance factor verified was the particle filtration efficiency as a function of size for particles smaller than...

  7. JPL control/structure interaction test bed real-time control computer architecture

    NASA Technical Reports Server (NTRS)

    Briggs, Hugh C.

    1989-01-01

    The Control/Structure Interaction Program is a technology development program for spacecraft that exhibit interactions between the control system and structural dynamics. The program objectives include development and verification of new design concepts - such as active structure - and new tools - such as combined structure and control optimization algorithm - and their verification in ground and possibly flight test. A focus mission spacecraft was designed based upon a space interferometer and is the basis for design of the ground test article. The ground test bed objectives include verification of the spacecraft design concepts, the active structure elements and certain design tools such as the new combined structures and controls optimization tool. In anticipation of CSI technology flight experiments, the test bed control electronics must emulate the computation capacity and control architectures of space qualifiable systems as well as the command and control networks that will be used to connect investigators with the flight experiment hardware. The Test Bed facility electronics were functionally partitioned into three units: a laboratory data acquisition system for structural parameter identification and performance verification; an experiment supervisory computer to oversee the experiment, monitor the environmental parameters and perform data logging; and a multilevel real-time control computing system. The design of the Test Bed electronics is presented along with hardware and software component descriptions. The system should break new ground in experimental control electronics and is of interest to anyone working in the verification of control concepts for large structures.

  8. Deductive Evaluation: Implicit Code Verification With Low User Burden

    NASA Technical Reports Server (NTRS)

    Di Vito, Ben L.

    2016-01-01

    We describe a framework for symbolically evaluating C code using a deductive approach that discovers and proves program properties. The framework applies Floyd-Hoare verification principles in its treatment of loops, with a library of iteration schemes serving to derive loop invariants. During evaluation, theorem proving is performed on-the-fly, obviating the generation of verification conditions normally needed to establish loop properties. A PVS-based prototype is presented along with results for sample C functions.

  9. Industrial methodology for process verification in research (IMPROVER): toward systems biology verification

    PubMed Central

    Meyer, Pablo; Hoeng, Julia; Rice, J. Jeremy; Norel, Raquel; Sprengel, Jörg; Stolle, Katrin; Bonk, Thomas; Corthesy, Stephanie; Royyuru, Ajay; Peitsch, Manuel C.; Stolovitzky, Gustavo

    2012-01-01

    Motivation: Analyses and algorithmic predictions based on high-throughput data are essential for the success of systems biology in academic and industrial settings. Organizations, such as companies and academic consortia, conduct large multi-year scientific studies that entail the collection and analysis of thousands of individual experiments, often over many physical sites and with internal and outsourced components. To extract maximum value, the interested parties need to verify the accuracy and reproducibility of data and methods before the initiation of such large multi-year studies. However, systematic and well-established verification procedures do not exist for automated collection and analysis workflows in systems biology which could lead to inaccurate conclusions. Results: We present here, a review of the current state of systems biology verification and a detailed methodology to address its shortcomings. This methodology named ‘Industrial Methodology for Process Verification in Research’ or IMPROVER, consists on evaluating a research program by dividing a workflow into smaller building blocks that are individually verified. The verification of each building block can be done internally by members of the research program or externally by ‘crowd-sourcing’ to an interested community. www.sbvimprover.com Implementation: This methodology could become the preferred choice to verify systems biology research workflows that are becoming increasingly complex and sophisticated in industrial and academic settings. Contact: gustavo@us.ibm.com PMID:22423044

  10. Trace-Element Concentrations in Tissues of Aquatic Organisms from Rivers and Streams of the United States, 1992-1999

    USGS Publications Warehouse

    DeWeese, Lawrence R.; Stephens, Verlin C.; Short, Terry M.; Dubrovsky, Neil M.

    2007-01-01

    The U.S. Geological Survey National Water-Quality Assessment Program collected tissue samples from a variety of aquatic organisms during 1992-1999 within 47 study units across the United States. These tissue samples were collected to determine the occurrence and distribution of 20 major and minor trace elements in aquatic organisms. This report presents the tissue trace-element concentration data, sample summaries, and concentration statistics for 1,457 tissue samples representing 76 species or groups of fish, aquatic invertebrates, and plants were collected at 824 sampling sites.

  11. Java PathFinder User Guide

    NASA Technical Reports Server (NTRS)

    Havelund, Klaus

    1999-01-01

    The JAVA PATHFINDER, JPF, is a translator from a subset of JAVA 1.0 to PROMELA, the programming language of the SPIN model checker. The purpose of JPF is to establish a framework for verification and debugging of JAVA programming based on model checking. The main goal is to automate program verification such that a programmer can apply it in the daily work without the need for a specialist to manually reformulate a program into a different notation in order to analyze the program. The system is especially suited for analyzing multi-threaded JAVA applications, where normal testing usually falls short. The system can find deadlocks and violations of boolean assertions stated by the programmer in a special assertion language. This document explains how to Use JPF.

  12. Contaminants of Emerging Concern including Pharmaceuticals and Personal Care Products

    EPA Pesticide Factsheets

    Both the Office of Pesticide Programs (OPP) and the Office of Water (OW) assess the effects of pesticides on aquatic ecosystems using approaches that afford a high degree of protection for aquatic life and that were developed with high quality data.

  13. 33 CFR 273.10 - Purpose.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... Navigation and Navigable Waters CORPS OF ENGINEERS, DEPARTMENT OF THE ARMY, DEPARTMENT OF DEFENSE AQUATIC PLANT CONTROL § 273.10 Purpose. This regulation prescribes policies, procedures and guidelines for research, planning and operations for the Aquatic Plant Control Program under authority of section 302 of...

  14. 33 CFR 273.10 - Purpose.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... Navigation and Navigable Waters CORPS OF ENGINEERS, DEPARTMENT OF THE ARMY, DEPARTMENT OF DEFENSE AQUATIC PLANT CONTROL § 273.10 Purpose. This regulation prescribes policies, procedures and guidelines for research, planning and operations for the Aquatic Plant Control Program under authority of section 302 of...

  15. Analysis of potential errors in real-time streamflow data and methods of data verification by digital computer

    USGS Publications Warehouse

    Lystrom, David J.

    1972-01-01

    Various methods of verifying real-time streamflow data are outlined in part II. Relatively large errors (those greater than 20-30 percent) can be detected readily by use of well-designed verification programs for a digital computer, and smaller errors can be detected only by discharge measurements and field observations. The capability to substitute a simulated discharge value for missing or erroneous data is incorporated in some of the verification routines described. The routines represent concepts ranging from basic statistical comparisons to complex watershed modeling and provide a selection from which real-time data users can choose a suitable level of verification.

  16. Verification of EPA's " Preliminary remediation goals for radionuclides" (PRG) electronic calculator

    DOE Office of Scientific and Technical Information (OSTI.GOV)

    Stagich, B. H.

    The U.S. Environmental Protection Agency (EPA) requested an external, independent verification study of their “Preliminary Remediation Goals for Radionuclides” (PRG) electronic calculator. The calculator provides information on establishing PRGs for radionuclides at Comprehensive Environmental Response, Compensation, and Liability Act (CERCLA) sites with radioactive contamination (Verification Study Charge, Background). These risk-based PRGs set concentration limits using carcinogenic toxicity values under specific exposure conditions (PRG User’s Guide, Section 1). The purpose of this verification study is to ascertain that the computer codes has no inherit numerical problems with obtaining solutions as well as to ensure that the equations are programmed correctly.

  17. Pathogenic Vibrio species isolated from estuarine environments (Ceará, Brazil) - antimicrobial resistance and virulence potential profiles.

    PubMed

    Menezes, Francisca G R DE; Rodriguez, Marina T T; Carvalho, Fátima C T DE; Rebouças, Rosa H; Costa, Renata A; Sousa, Oscarina V DE; Hofer, Ernesto; Vieira, Regine H S F

    2017-01-01

    Detection of virulent strains associated with aquatic environment is a current concern for the management and control of human and animal health. Thus, Vibrio diversity was investigated in four estuaries from state of Ceará (Pacoti, Choró, Pirangi and Jaguaribe) followed by antimicrobial susceptibility to different antimicrobials used in aquaculture and detection of main virulence factors to human health. Isolation and identification were performed on TCBS agar (selective medium) and dichotomous key based on biochemical characteristics, respectively. Nineteen strains of genus Vibrio were catalogued. Vibrio parahaemolyticus (Choró River) and V. alginolyticus (Pacoti River) were the most abundant species in the four estuaries. All strains were submitted to disk diffusion technique (15 antimicrobials were tested). Resistance was found to: penicillin (82%), ampicillin (54%), cephalotin (7%), aztreonan (1%), gentamicin, cefotaxime and ceftriaxone (0.5%). Five pathogenic strains were chosen to verification of virulence factors. Four estuaries showed a high abundance of species. High number of tested positive strains for virulence is concerning, since some of those strains are associated to human diseases, while others are known pathogens of aquatic organisms.

  18. Test/QA Plan For Verification Of Anaerobic Digester For Energy Production And Pollution Prevention

    EPA Science Inventory

    The ETV-ESTE Program conducts third-party verification testing of commercially available technologies that improve the environmental conditions in the U.S. A stakeholder committee of buyers and users of such technologies guided the development of this test on anaerobic digesters...

  19. TECHNOLOGY VERIFICATION OF COMMERCIALLY AVAILABLE METHODS FOR DECONTAMINATION OF INDOOR SURFACES CONTAMINATED WITH BIOLOGICAL OR CHEMICAL AGENTS

    EPA Science Inventory

    To support the Nation's Homeland Security Program, this U.S. Environmental Protection Agency (EPA) Environmental Technology Verification (ETV) project is conducted to verify the performance of commercially available products, methods, and equipment for decontamination of hard and...

  20. Clinical Skills Verification, Formative Feedback, and Psychiatry Residency Trainees

    ERIC Educational Resources Information Center

    Dalack, Gregory W.; Jibson, Michael D.

    2012-01-01

    Objective: The authors describe the implementation of Clinical Skills Verification (CSV) in their program as an in-training assessment intended primarily to provide formative feedback to trainees, strengthen the supervisory experience, identify the need for remediation of interviewing skills, and secondarily to demonstrating resident competence…

  1. IN PURSUIT OF AN INTERNATIONAL APPROACH TO QUALITY ASSURANCE FOR ENVIRONMENTAL TECHNOLOGY VERIFICATION

    EPA Science Inventory

    In the mid-1990's, the USEPA began the Environmental Technology Verification (ETV) Program in order to provide purchasers of environmental technology with independently acquired, quality-assured, test data, upon which to base their purchasing decisions. From the beginning, a str...

  2. 49 CFR 236.903 - Definitions.

    Code of Federal Regulations, 2010 CFR

    2010-10-01

    ... the site-specific application programs, run timers, read inputs, drive outputs, perform self... validation process is to determine “whether the correct product was built.” Verification means the process of... established at the start of that phase. The goal of the verification process is to determine “whether the...

  3. 78 FR 27390 - Agency Forms Undergoing Paperwork Reduction Act Review

    Federal Register 2010, 2011, 2012, 2013, 2014

    2013-05-10

    ... programs voluntarily self-nominate their practice or healthcare system by completing a web-based nomination... CDC with a ranked list of nominees. Finalists will be asked to participate in a data verification process that includes verification of how information was obtained from electronic records, remote...

  4. 77 FR 47415 - Privacy Act of 1974; Department of Homeland Security U.S. Citizenship and Immigration Services...

    Federal Register 2010, 2011, 2012, 2013, 2014

    2012-08-08

    ... 1974; Department of Homeland Security U.S. Citizenship and Immigration Services (USCIS)--004... Citizenship and Immigration Services--004-- Systematic Alien Verification for Entitlements Program System of Records.'' The United States Citizenship and Immigration Services, Systematic Alien Verification for...

  5. ENVIRONMENTAL TECHNOLOGY PROTOCOL VERIFICATION REPORT, EMISSIONS OF VOCS AND ALDEHYDES FROM COMMERCIAL FURNITURE (WITH APPENDICES)

    EPA Science Inventory

    As part of a U.S. Environmental Protection Agency Environmental Technology Verification program, the Research Triangle Institute (RTI) developed a test protocol for measuring volatile organic compounds and aldehydes in a large chamber. RTI convened stakeholders for the commercial...

  6. EVALUATION OF USFILTER CORPORATION'S RETEC® MODEL SCP-6 SEPARATED CELL PURIFICATION SYSTEM FOR CHROMIC ACID ANODIZE BATH SOLUTION

    EPA Science Inventory

    The USEPA has created the Environmental Technology Verification (ETV) Program to facilitate the deployment of innovative or improved environmental technologies through performance verification and dissemination of information. The ETV P2 Metal Finishing Technologies (ETV-MF) Prog...

  7. ENVIRONMENTAL TECHNOLOGY VERIFICATION: A VEHICLE FOR INDEPENDENT, CREDIBLE PERFORMANCE RESULTS ON COMMERCIALLY READY TECHNOLOGIES

    EPA Science Inventory

    The paper discusses the U. S. Environmental Protection Agency's Environmental Technology Verification (ETV) Program: its history, operations, past successes, and future plans. Begun in 1995 in response to President Clinton's "Bridge to a Sustainable Future" as a means to work wit...

  8. VERIFICATION OF HIGH-RATE SEPARATION DEVICES UNDER THE WET-WEATHER FLOW TECHNOLOGIES PILOT - ETV PROGRAM

    EPA Science Inventory

    This paper presents performance verification data on two types of high-rate separation devices utilized for solids removal: Vortex separation devices (a class of physical treatment technologies that use cylindrical chambers to create centrifugal forces that separate settleable so...

  9. ENVIRONMENTAL TECHNOLOGY VERIFICATION REPORT - BAGHOUSE FILTRATION PRODUCTS - AIR PURATOR CORPORATION HUYGLAS 1405M FILTER SAMPLE

    EPA Science Inventory

    Baghouse filtration products (BFPs) were evaluated by the Air Pollution Control Technology (APCT) pilot of the Environmental Technology Verification (ETV) Program. The performance factor verified was the mean outlet particle concentration for the filter fabric as a function of th...

  10. ENVIRONMENTAL TECHNOLOGY VERIFICATION REPORT - BAGHOUSE FILTRATION PRODUCTS - BHA GROUP, INC. QG061 FILTER SAMPLE

    EPA Science Inventory

    Baghouse filtration products (BFPs) were evaluated by the Air Pollution Control Technology (APCT) pilot of the Environmental Technology Verification (ETV) Program. The performance factor verified was the mean outlet particle concentration for the filter fabric as a function of th...

  11. ENVIRONMENTAL TECHNOLOGY VERIFICATION REPORT - BAGHOUSE FILTRATION PRODUCTS - STANDARD FILTER CORPORATION PE16ZU FILTER SAMPLE

    EPA Science Inventory

    Baghouse filtration products (BFPs) were evaluated by the Air Pollution Control Technology (APCT) pilot of the Environmental Technology Verification (ETV) Program. The performance factor verified was the mean outlet particle concentration for the filter fabric as a function of th...

  12. ANIMAL WASTE IMPACT ON SOURCE WATERSAIDED BY EPA/NSF ENVIRONMENTAL TECHNOLOGY VERIFICATION (ETV) SOURCE WATER PROTECTION PILOT

    EPA Science Inventory

    The Environmental Technology Verification Program (ETV) was established in 1995 by the U.S. Environmental Protection Agency to encourage the development and commercialization of new environmental technologies through third part testing and reporting of performance data. By ensur...

  13. Nuclear Engine System Simulation (NESS) version 2.0

    NASA Technical Reports Server (NTRS)

    Pelaccio, Dennis G.; Scheil, Christine M.; Petrosky, Lyman J.

    1993-01-01

    The topics are presented in viewgraph form and include the following; nuclear thermal propulsion (NTP) engine system analysis program development; nuclear thermal propulsion engine analysis capability requirements; team resources used to support NESS development; expanded liquid engine simulations (ELES) computer model; ELES verification examples; NESS program development evolution; past NTP ELES analysis code modifications and verifications; general NTP engine system features modeled by NESS; representative NTP expander, gas generator, and bleed engine system cycles modeled by NESS; NESS program overview; NESS program flow logic; enabler (NERVA type) nuclear thermal rocket engine; prismatic fuel elements and supports; reactor fuel and support element parameters; reactor parameters as a function of thrust level; internal shield sizing; and reactor thermal model.

  14. JWST Telescope Integration and Test Progress

    NASA Technical Reports Server (NTRS)

    Matthews, Gary W.; Whitman, Tony L.; Feinberg, Lee D.; Voyton, Mark F.; Lander, Juli A.; Keski-Kuha, Ritva

    2016-01-01

    The James Webb Space Telescope (JWST) is a 6.5m, segmented, IR telescope that will explore the first light of the universe after the big bang. The JWST Optical Telescope Element (Telescope) integration and test program is well underway. The telescope was completed in the spring of 2016 and the cryogenic test equipment has been through two optical test programs leading up to the final flight verification program. The details of the telescope mirror integration will be provided along with the current status of the flight observatory. In addition, the results of the two optical ground support equipment cryo tests will be shown and how these plans fold into the flight verification program.

  15. Mitigating errors caused by interruptions during medication verification and administration: interventions in a simulated ambulatory chemotherapy setting.

    PubMed

    Prakash, Varuna; Koczmara, Christine; Savage, Pamela; Trip, Katherine; Stewart, Janice; McCurdie, Tara; Cafazzo, Joseph A; Trbovich, Patricia

    2014-11-01

    Nurses are frequently interrupted during medication verification and administration; however, few interventions exist to mitigate resulting errors, and the impact of these interventions on medication safety is poorly understood. The study objectives were to (A) assess the effects of interruptions on medication verification and administration errors, and (B) design and test the effectiveness of targeted interventions at reducing these errors. The study focused on medication verification and administration in an ambulatory chemotherapy setting. A simulation laboratory experiment was conducted to determine interruption-related error rates during specific medication verification and administration tasks. Interventions to reduce these errors were developed through a participatory design process, and their error reduction effectiveness was assessed through a postintervention experiment. Significantly more nurses committed medication errors when interrupted than when uninterrupted. With use of interventions when interrupted, significantly fewer nurses made errors in verifying medication volumes contained in syringes (16/18; 89% preintervention error rate vs 11/19; 58% postintervention error rate; p=0.038; Fisher's exact test) and programmed in ambulatory pumps (17/18; 94% preintervention vs 11/19; 58% postintervention; p=0.012). The rate of error commission significantly decreased with use of interventions when interrupted during intravenous push (16/18; 89% preintervention vs 6/19; 32% postintervention; p=0.017) and pump programming (7/18; 39% preintervention vs 1/19; 5% postintervention; p=0.017). No statistically significant differences were observed for other medication verification tasks. Interruptions can lead to medication verification and administration errors. Interventions were highly effective at reducing unanticipated errors of commission in medication administration tasks, but showed mixed effectiveness at reducing predictable errors of detection in medication verification tasks. These findings can be generalised and adapted to mitigate interruption-related errors in other settings where medication verification and administration are required. Published by the BMJ Publishing Group Limited. For permission to use (where not already granted under a licence) please go to http://group.bmj.com/group/rights-licensing/permissions.

  16. Mitigating errors caused by interruptions during medication verification and administration: interventions in a simulated ambulatory chemotherapy setting

    PubMed Central

    Prakash, Varuna; Koczmara, Christine; Savage, Pamela; Trip, Katherine; Stewart, Janice; McCurdie, Tara; Cafazzo, Joseph A; Trbovich, Patricia

    2014-01-01

    Background Nurses are frequently interrupted during medication verification and administration; however, few interventions exist to mitigate resulting errors, and the impact of these interventions on medication safety is poorly understood. Objective The study objectives were to (A) assess the effects of interruptions on medication verification and administration errors, and (B) design and test the effectiveness of targeted interventions at reducing these errors. Methods The study focused on medication verification and administration in an ambulatory chemotherapy setting. A simulation laboratory experiment was conducted to determine interruption-related error rates during specific medication verification and administration tasks. Interventions to reduce these errors were developed through a participatory design process, and their error reduction effectiveness was assessed through a postintervention experiment. Results Significantly more nurses committed medication errors when interrupted than when uninterrupted. With use of interventions when interrupted, significantly fewer nurses made errors in verifying medication volumes contained in syringes (16/18; 89% preintervention error rate vs 11/19; 58% postintervention error rate; p=0.038; Fisher's exact test) and programmed in ambulatory pumps (17/18; 94% preintervention vs 11/19; 58% postintervention; p=0.012). The rate of error commission significantly decreased with use of interventions when interrupted during intravenous push (16/18; 89% preintervention vs 6/19; 32% postintervention; p=0.017) and pump programming (7/18; 39% preintervention vs 1/19; 5% postintervention; p=0.017). No statistically significant differences were observed for other medication verification tasks. Conclusions Interruptions can lead to medication verification and administration errors. Interventions were highly effective at reducing unanticipated errors of commission in medication administration tasks, but showed mixed effectiveness at reducing predictable errors of detection in medication verification tasks. These findings can be generalised and adapted to mitigate interruption-related errors in other settings where medication verification and administration are required. PMID:24906806

  17. Effectiveness of aquatic therapy in the treatment of fibromyalgia syndrome: a randomized controlled open study.

    PubMed

    Evcik, Deniz; Yigit, Ilknur; Pusak, Hasan; Kavuncu, Vural

    2008-07-01

    The aim of this study was to investigate the efficacy of aquatic exercises in fibromyalgia syndrome (FMS). A total of 63 patients were included and allocated to two groups. Group I (n = 33) received an aquatic exercise program and Group II (n = 30) received a home-based exercise program for 60 min, 3x a week, over 5 weeks. Patients were evaluated for pain (visual analogue scale, VAS), number of tender points (NTP), Beck depression inventory (BDI), and functional capacity (fibromyalgia impact questionnaire, FIQ). All assessment parameters were measured at baseline, and at weeks 4, 12, and 24. There were statistically significant differences in FIQ and NTP in both groups at the end and during follow-up (P < 0.05). Group I showed a statistically significant decrease in BDI scores after 4 and 12 weeks (P < 0.05) that remained after 24 weeks (P < 0.001). In Group II, a significant decrease in BDI scores was observed at the end and during follow-up (P < 0.001). Also, a significant improvement was found in VAS at weeks 4 and 12 in both groups (P < 0.001). The average of reduction in pain scores was 40% in Group1 and 21% in Group II. However, this was still significant at week 24 only in the aquatic therapy group. A comparison of the two groups showed no statistically significant difference for FIQ, NTP, and BDI scores except VAS (P < 0.001) Our results showed that both aquatic therapy and home-based exercise programs have beneficial effects on FIQ, BDI, and NTP. In pain management, only aquatic therapy seems to have long-term effects.

  18. Effects of a progressive aquatic resistance exercise program on the biochemical composition and morphology of cartilage in women with mild knee osteoarthritis: protocol for a randomised controlled trial

    PubMed Central

    2013-01-01

    Background Symptoms associated with osteoarthritis of the knee result in decreased function, loss of working capacity and extensive social and medical costs. There is a need to investigate and develop effective interventions to minimise the impact of and even prevent the progression of osteoarthritis. Aquatic exercise has been shown to be effective at reducing the impact of osteoarthritis. The purpose of this article is to describe the rationale, design and intervention of a study investigating the effect of an aquatic resistance exercise intervention on cartilage in postmenopausal women with mild knee osteoarthritis. Methods A minimum of 80 volunteers who meet the inclusion criteria will be recruited from the local population through newspaper advertisements. Following initial assessment volunteers will be randomised into two groups. The intervention group will participate in a progressive aquatic resistance exercise program of 1-hour duration 3 times a week for four months. The control group will be asked to maintain normal care during this period. Primary outcome measure for this study is the biochemical composition of knee cartilage measured using quantitative magnetic resonance imaging; T2 relaxation time and delayed gadolinium-enhanced magnetic resonance imaging techniques. In addition, knee cartilage morphology as regional cartilage thickness will be studied. Secondary outcomes include measures of body composition and bone traits using dual energy x-ray absorptiometry and peripheral quantitative computed tomography, pain, function using questionnaires and physical performance tests and quality of life. Measurements will be performed at baseline, after the 4-month intervention period and at one year follow up. Discussion This randomised controlled trial will investigate the effect a progressive aquatic resistance exercise program has on the biochemical composition of cartilage in post-menopausal women with mild knee osteoarthritis. This is the first study to investigate what impact aquatic exercise has on human articular cartilage. In addition it will investigate the effect aquatic exercise has on physical function, pain, bone and body composition and quality of life. The results of this study will help optimise the prescription of aquatic exercise to persons with mild knee osteoarthritis. Trial Registration ISRCTN65346593 PMID:23497162

  19. Effects of a progressive aquatic resistance exercise program on the biochemical composition and morphology of cartilage in women with mild knee osteoarthritis: protocol for a randomised controlled trial.

    PubMed

    Waller, Benjamin; Munukka, Matti; Multanen, Juhani; Rantalainen, Timo; Pöyhönen, Tapani; Nieminen, Miika T; Kiviranta, Ilkka; Kautiainen, Hannu; Selänne, Harri; Dekker, Joost; Sipilä, Sarianna; Kujala, Urho M; Häkkinen, Arja; Heinonen, Ari

    2013-03-07

    Symptoms associated with osteoarthritis of the knee result in decreased function, loss of working capacity and extensive social and medical costs. There is a need to investigate and develop effective interventions to minimise the impact of and even prevent the progression of osteoarthritis. Aquatic exercise has been shown to be effective at reducing the impact of osteoarthritis. The purpose of this article is to describe the rationale, design and intervention of a study investigating the effect of an aquatic resistance exercise intervention on cartilage in postmenopausal women with mild knee osteoarthritis. A minimum of 80 volunteers who meet the inclusion criteria will be recruited from the local population through newspaper advertisements. Following initial assessment volunteers will be randomised into two groups. The intervention group will participate in a progressive aquatic resistance exercise program of 1-hour duration 3 times a week for four months. The control group will be asked to maintain normal care during this period. Primary outcome measure for this study is the biochemical composition of knee cartilage measured using quantitative magnetic resonance imaging; T2 relaxation time and delayed gadolinium-enhanced magnetic resonance imaging techniques. In addition, knee cartilage morphology as regional cartilage thickness will be studied. Secondary outcomes include measures of body composition and bone traits using dual energy x-ray absorptiometry and peripheral quantitative computed tomography, pain, function using questionnaires and physical performance tests and quality of life. Measurements will be performed at baseline, after the 4-month intervention period and at one year follow up. This randomised controlled trial will investigate the effect a progressive aquatic resistance exercise program has on the biochemical composition of cartilage in post-menopausal women with mild knee osteoarthritis. This is the first study to investigate what impact aquatic exercise has on human articular cartilage. In addition it will investigate the effect aquatic exercise has on physical function, pain, bone and body composition and quality of life. The results of this study will help optimise the prescription of aquatic exercise to persons with mild knee osteoarthritis. ISRCTN65346593.

  20. Development of a pilot-scale kinetic extruder feeder system and test program. Phase II. Verification testing. Final report

    DOE Office of Scientific and Technical Information (OSTI.GOV)

    Not Available

    1984-01-12

    This report describes the work done under Phase II, the verification testing of the Kinetic Extruder. The main objective of the test program was to determine failure modes and wear rates. Only minor auxiliary equipment malfunctions were encountered. Wear rates indicate useful life expectancy of from 1 to 5 years for wear-exposed components. Recommendations are made for adapting the equipment for pilot plant and commercial applications. 3 references, 20 figures, 12 tables.

  1. Ramifications of the Children's Surgery Verification Program for Patients and Hospitals.

    PubMed

    Baxter, Katherine J; Gale, Bonnie F; Travers, Curtis D; Heiss, Kurt F; Raval, Mehul V

    2018-05-01

    The American College of Surgeons in 2015 instituted the Children's Surgery Verification program delineating requirements for hospitals providing pediatric surgical care. Our purpose was to examine possible effects of the Children's Surgery Verification program by evaluating neonates undergoing high-risk operations. Using the Kid's Inpatient Database 2009, we identified infants undergoing operations for 5 high-risk neonatal conditions. We considered all children's hospitals and children's units Level I centers and considered all others Level II/III. We estimated the number of neonates requiring relocation and the additional distance traveled. We used propensity score adjusted logistic regression to model mortality at Level I vs Level II/III hospitals. Overall, 7,938 neonates were identified across 21 states at 91 Level I and 459 Level II/III hospitals. Based on our classifications, 2,744 (34.6%) patients would need to relocate to Level I centers. The median additional distance traveled was 6.6 miles. The maximum distance traveled varied by state, from <55 miles (New Jersey and Rhode Island) to >200 miles (Montana, Oregon, Colorado, and California). The adjusted odds of mortality at Level II/III vs Level I centers was 1.67 (95% CI 1.44 to 1.93). We estimate 1 life would be saved for every 32 neonates moved. Although this conservative estimate demonstrates that more than one-third of complex surgical neonates in 2009 would have needed to relocate under the Children's Surgery Verification program, the additional distance traveled is relatively short for most but not all, and this program might improve mortality. Local level ramifications of this novel national program require additional investigation. Copyright © 2018 American College of Surgeons. Published by Elsevier Inc. All rights reserved.

  2. Hazardous materials in aquatic environments of the Mississippi River Basin. Annual technical report, December 30, 1992--December 29, 1993

    DOE Office of Scientific and Technical Information (OSTI.GOV)

    Not Available

    1993-12-31

    Tulane and Xavier Universities have singled out the environment as a major strategic focus for research and training for now and by the year 2000. In December, 1992, the Tulane/Xavier CBR was awarded a five year grant to study pollution in the Mississippi River system. The ``Hazardous Materials in Aquatic Environments of the Mississippi River Basin`` project is a broad research and education program aimed at elucidating the nature and magnitude of toxic materials that contaminate aquatic environments of the Mississippi River Basin. Studies include defining the complex interactions that occur during the transport of contaminants, the actual and potentialmore » impact on ecological systems and health, and the mechanisms through which these impacts might be remediated. The Mississippi River Basin represents a model system for analyzing and solving contamination problems that are found in aquatic systems world-wide. These research and education projects are particularly relevant to the US Department of Energy`s programs aimed at addressing aquatic pollution problems associated with DOE National Laboratories. First year funding supported seven collaborative cluster projects and twelve initiation projects. This report summarizes research results for period December 1992--December 1993.« less

  3. BIOACCUMULATION AND AQUATIC SYSTEM SIMULATOR (BASS) USER'S MANUAL BETA TEST VERSION 2.1

    EPA Science Inventory

    BASS (Bioaccumulation and Aquatic System Simulator) is a Fortran 95 simulation program that predicts the population and bioaccumulation dynamics of age-structured fish assemblages that are exposed to hydrophobic organic pollutants and class B and borderline metals that complex wi...

  4. Probabilistic Requirements (Partial) Verification Methods Best Practices Improvement. Variables Acceptance Sampling Calculators: Derivations and Verification of Plans. Volume 1

    NASA Technical Reports Server (NTRS)

    Johnson, Kenneth L.; White, K, Preston, Jr.

    2012-01-01

    The NASA Engineering and Safety Center was requested to improve on the Best Practices document produced for the NESC assessment, Verification of Probabilistic Requirements for the Constellation Program, by giving a recommended procedure for using acceptance sampling by variables techniques. This recommended procedure would be used as an alternative to the potentially resource-intensive acceptance sampling by attributes method given in the document. This document contains the outcome of the assessment.

  5. Optically Pumped Coherent Mechanical Oscillators: The Laser Rate Equation Theory and Experimental Verification

    DTIC Science & Technology

    2012-10-23

    Naeini A H, Hill J T, Krause A, Groblacher S, Aspelmeyer M and Painter O 2011 Nature 478 89 [14] Siegman A E 1986 Lasers (Sausalito, CA: University... laser rate equation theory and experimental verification 5a. CONTRACT NUMBER 5b. GRANT NUMBER 5c. PROGRAM ELEMENT NUMBER 6. AUTHOR(S) 5d. PROJECT...coherent mechanical oscillators: the laser rate equation theory and experimental verification J B Khurgin1, M W Pruessner2,3, T H Stievater2 and W S

  6. Shuttle payload interface verification equipment study. Volume 2: Technical document, part 1

    NASA Technical Reports Server (NTRS)

    1976-01-01

    The technical analysis is reported that was performed during the shuttle payload interface verification equipment study. It describes: (1) the background and intent of the study; (2) study approach and philosophy covering all facets of shuttle payload/cargo integration; (3)shuttle payload integration requirements; (4) preliminary design of the horizontal IVE; (5) vertical IVE concept; and (6) IVE program development plans, schedule and cost. Also included is a payload integration analysis task to identify potential uses in addition to payload interface verification.

  7. Aquatic exercise for residential aged care adults with dementia: benefits and barriers to participation.

    PubMed

    Henwood, Timothy; Neville, Christine; Baguley, Chantelle; Beattie, Elizabeth

    2017-09-01

    Pilot work by our group has demonstrated that aquatic exercise has valuable functional and psychosocial benefits for adults living in the residential aged care setting with dementia. The aim of the currents study was to advance this work by delivering the Watermemories Swimming Club aquatic exercise program to a more representative population of older, institutionalized adults with dementia. The benefits of 12 weeks of twice weekly participation in the Watermemories Swimming Club aquatic exercise program were assessed among an exercise and usual care control group of residential aged care adults with advanced dementia. A battery of physical and psychosocial measures were collected before and after the intervention period, and program implementation was also investigated. Seven residential aged care facilities of 24 approached, agreed to participate and 56 residents were purposefully allocated to exercise or control. Twenty-three participants per group were included in the final analysis. Both groups experienced decreases in skeletal muscle index and lean mass (p < 0.001), but exercise stifled losses in muscle strength and transition into sarcopenic. Behavioral and psychological symptoms of dementia and activities of daily living approached significance (p = 0.06) with positive trends observed across other psychosocial measures. This study demonstrates the value of exercise participation, and specifically aquatic exercise in comparison to usual care for older, institutionalized adults with advanced dementia. However, it also highlights a number of barriers to participation. To overcome these barriers and ensure opportunity to residents increased provider and sector support is required.

  8. ENVIRONMENTAL TECHNOLOGY VERIFICATION REPORT, SWINE WASTE ELECTRIC POWER AND HEAT PRODUCTION--CAPSTONE 30KW MICROTURBINE SYSTEM

    EPA Science Inventory

    Under EPA’s Environmental Technology Verification program, which provides objective and scientific third party analysis of new technology that can benefit the environment, a combined heat and power system was evaluated based on the Capstone 30kW Microturbine developed by Cain Ind...

  9. ENVIRONMENTAL TECHNOLOGY VERIFICATION REPORT, SWINE WASTE ELECTRIC POWER AND HEAT PRODUCTION--MARTIN MACHINERY INTERNAL COMBUSTION ENGINE

    EPA Science Inventory

    Under EPA’s Environmental Technology Verification program, which provides objective and scientific third party analysis of new technology that can benefit the environment, a combined heat and power system designed by Martin Machinery was evaluated. This paper provides test result...

  10. 40 CFR 86.000-26 - Mileage and service accumulation; emission measurements.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... conducted under the Standard Self-Approval Durability Program of § 86.094-13(f). The manufacturer determines... describes it in the application for certification. Service accumulation under the Standard Self-Approval... method is subject to advance approval by the Administrator and to verification by an in-use verification...

  11. 75 FR 54966 - Privacy Act of 1974: Computer Matching Program

    Federal Register 2010, 2011, 2012, 2013, 2014

    2010-09-09

    ... agencies for purposes of verification of income for determining eligibility for benefits. 38 U.S.C. 1710(a... income verification process. The VA records involved in the match are ``Enrollment and Eligibility Records--VA'' (147VA16). The SSA records are from the Earnings Recording and Self- Employment Income...

  12. 78 FR 21713 - Privacy Act of 1974: Computer Matching Program

    Federal Register 2010, 2011, 2012, 2013, 2014

    2013-04-11

    ... income information from other agencies for purposes of verification of income for determining eligibility... data needed for the income verification process. The VA records involved in the match are ``Enrollment and Eligibility Records--VA'' (147VA16). The SSA records are from the Earnings Recording and Self...

  13. U.S. EPA Environmental Technology Verification (ETV) Guidelines for Proper Use of the ETV Name and Logo

    EPA Science Inventory

    The goal of the U.S. EPA Environmental Technology Verification Program (ETV) is to provide objective, third-party data to the environmental marketplace about the performance of new environmental technologies. Easy identification of technologies for which performance data have be...

  14. ENVIRONMENTAL TECHNOLOGY VERIFICATION REPORT, TEST REPORT OF MOBILE SOURCE EMISSION CONTROL DEVICES: MITSUI ENGINEERING & SHIPBUILDING DIESEL PARTICULATE FILTER

    EPA Science Inventory

    EPA‘s Environmental Technology Verification program is designed to further environmental protection by accelerating the acceptance and use of improved and cost effective technologies. This is done by providing high-quality, peer reviewed data on technology performance to those in...

  15. 49 CFR 236.905 - Railroad Safety Program Plan (RSPP).

    Code of Federal Regulations, 2010 CFR

    2010-10-01

    ... validation. The RSPP must require the identification of verification and validation methods for the... to be used in the verification and validation process, consistent with appendix C to this part. The... information. (3) If no action is taken on the petition within 180 days, the petition remains pending for...

  16. 34 CFR 668.131 - Definitions.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... confirmation: A process by which the Secretary, by means of a matching program conducted with the INS, compares... records of that status maintained by the INS in its Alien Status Verification Index (ASVI) system for the... the INS, in response to the submission of INS Document Verification Form G-845 by an institution...

  17. ENVIRONMENTAL TECHNOLOGY VERIFICATION REPORT - BAGHOUSE FILTRATION PRODUCTS - W.L. GORE & ASSOCIATES, INC. L4347 FILTER SAMPLE

    EPA Science Inventory

    Baghouse filtration products (BFPs) were evaluated by the Air Pollution Control Technology (APCT) pilot of the Environmental Technology Verification (ETV) Program. The performance factor verified was the mean outlet particle concentration for the filter fabric as a function of th...

  18. ENVIRONMENTAL TECHNOLOGY VERIFICATION REPORT - BAGHOUSE FILTRATION PRODUCTS - ALBANY INTERNATIONAL CORP. INDUSTRIAL PROCESS TECHNOLOGIES PRIMATEX PLUS I FILTER SAMPLE

    EPA Science Inventory

    Baghouse filtration products (BFPs) were evaluated by the Air Pollution Control Technology (APCT) pilot of the Environmental Technology Verification (ETV) Program. The performance factor verified was the mean outlet particle concentration for the filter fabric as a function of th...

  19. ENVIRONMENTAL TECHNOLOGY VERIFICATION REPORT - BAGHOUSE FILTRATION PRODUCTS - BASF CORPORATION AX/BA-14/9-SAXP FILTER SAMPLE

    EPA Science Inventory

    Baghouse filtration products (BFPs) were evaluated by the Air Pollution Control Technology (APCT) pilot of the Environmental Technology Verification (ETV) Program. The performance factor verified was the mean outlet particle concentration for the filter fabric as a function of th...

  20. TEST DESIGN FOR ENVIRONMENTAL TECHNOLOGY VERIFICATION (ETV) OF ADD-ON NOX CONTROL UTILIZING OZONE INJECTION

    EPA Science Inventory

    The paper discusses the test design for environmental technology verification (ETV) of add-0n nitrogen oxides (NOx) control utilizing ozone injection. (NOTE: ETV is an EPA-established program to enhance domestic and international market acceptance of new or improved commercially...

  1. ESTE: Verification of Portable Optical and Thermal Imaging Devices for Leak Detection at Petroleum Refineries and Chemical Plants

    EPA Science Inventory

    This is an ESTE project summary brief. EPA’s Environmental Technology Verification Program (ETV) is verifying the performance of portable optical and thermal imaging devices for leak detection at petroleum refineries and chemical plans. Industrial facilities, such as chemical p...

  2. 45 CFR 205.51 - Income and eligibility verification requirements.

    Code of Federal Regulations, 2010 CFR

    2010-10-01

    ... 45 Public Welfare 2 2010-10-01 2010-10-01 false Income and eligibility verification requirements. 205.51 Section 205.51 Public Welfare Regulations Relating to Public Welfare OFFICE OF FAMILY ASSISTANCE (ASSISTANCE PROGRAMS), ADMINISTRATION FOR CHILDREN AND FAMILIES, DEPARTMENT OF HEALTH AND HUMAN SERVICES GENERAL ADMINISTRATION-PUBLIC ASSISTANCE...

  3. AN ENVIRONMENTAL TECHNOLOGY VERIFICATION (ETV) OF SEVEN ANALYZERS THAT MEASURE AMBIENT AMMONIA EMISSIONS AT AN ANIMAL FEEDING OPERATION

    EPA Science Inventory

    The Environmental Technology Verification (ETV) Program, beginning as an initiative of the U.S. Environmental Protection Agency (EPA) in 1995, verifies the performance of commercially available, innovative technologies that can be used to monitor environmental quality. The ETV ...

  4. 76 FR 9020 - Proposed Information Collection Activity; Comment Request

    Federal Register 2010, 2011, 2012, 2013, 2014

    2011-02-16

    ... -------- Preparation and Submission of Data 54 1 640 34,560 Verification Procedures--Sec. Sec. 261.60-261.63 Caseload... for Needy Families (TANF) program, it imposed a new data requirement that States prepare and submit data verification procedures and replaced other data requirements with new versions including: the TANF...

  5. ENVIRONMENTAL TECHNOLOGY VERIFICATION REPORT, LEAD IN DUST WIPE MEASUREMENT TECHNOLOGY, NITON LLC, X-RAY FLUORESCENCE SPECTRUM ANALYZER, XLT-700

    EPA Science Inventory

    The U.S. Environmental Protection Agency (EPA) design efficient processes for conducting has created the Environmental Technology perfofl1lance tests of innovative technologies. Verification Program (E TV) to facilitate the deployment of innovative or improved environmental techn...

  6. ENVIRONMENTAL TECHNOLOGY VERIFICATION REPORT, PAINT OVERSPRAY ARRESTOR, PUROLATOR PRODUCTS AIR FILTRATION COMPANY, DMK804404 AND PB2424

    EPA Science Inventory

    Paint overspray arrestors (POAs) were evaluated by the Air Pollution Control Technology (APCT) pilot of the Environmental Technology Verification (ETV) Program. The performance factor verified was the particle filtration efficiency as a function of size for particles smaller than...

  7. ENVIRONMENTAL TECHNOLOGY VERIFICATION REPORT: PAINT OVERSPRAY ARRESTOR, AAF INTERNATIONAL DRIPAK 90-95%

    EPA Science Inventory

    The report gives results of March 26-29, 1999, tests of AAF International's DriPak 90-95% paint overspray arrestor (POA) as part of an evaluation of POAs by EPA's Air Pollution Control Technology (APCT) Environmental Technology Verification (ETV) Program. The basic performance fa...

  8. Environmental Technology Verification--Baghouse Filtration Products: GE Energy QG061 Filtration Media (Tested September 2008)

    EPA Science Inventory

    This report reviews the filtration and pressure drop performance of GE Energy's QG061 filtration media. Environmental Technology Verification (ETV) testing of this technology/product was conducted during a series of tests in September 2008. The objective of the ETV Program is to ...

  9. The effectiveness of surrogate taxa to conserve freshwater biodiversity.

    PubMed

    Stewart, David R; Underwood, Zachary E; Rahel, Frank J; Walters, Annika W

    2018-02-01

    Establishing protected areas has long been an effective conservation strategy and is often based on readily surveyed species. The potential of any freshwater taxa to be a surrogate for other aquatic groups has not been explored fully. We compiled occurrence data on 72 species of freshwater fishes, amphibians, mussels, and aquatic reptiles for the Great Plains, Wyoming (U.S.A.). We used hierarchical Bayesian multispecies mixture models and MaxEnt models to describe species' distributions and the program Zonation to identify areas of conservation priority for each aquatic group. The landscape-scale factors that best characterized aquatic species' distributions differed among groups. There was low agreement and congruence among taxa-specific conservation priorities (<20%), meaning no surrogate priority areas would include or protect the best habitats of other aquatic taxa. Common, wideranging aquatic species were included in taxa-specific priority areas, but rare freshwater species were not included. Thus, the development of conservation priorities based on a single freshwater aquatic group would not protect all species in the other aquatic groups. © 2017 Society for Conservation Biology.

  10. A Verification Method of Inter-Task Cooperation in Embedded Real-time Systems and its Evaluation

    NASA Astrophysics Data System (ADS)

    Yoshida, Toshio

    In software development process of embedded real-time systems, the design of the task cooperation process is very important. The cooperating process of such tasks is specified by task cooperation patterns. Adoption of unsuitable task cooperation patterns has fatal influence on system performance, quality, and extendibility. In order to prevent repetitive work caused by the shortage of task cooperation performance, it is necessary to verify task cooperation patterns in an early software development stage. However, it is very difficult to verify task cooperation patterns in an early software developing stage where task program codes are not completed yet. Therefore, we propose a verification method using task skeleton program codes and a real-time kernel that has a function of recording all events during software execution such as system calls issued by task program codes, external interrupts, and timer interrupt. In order to evaluate the proposed verification method, we applied it to the software development process of a mechatronics control system.

  11. Sampling design for aquatic invasive species early detection in Great Lakes ports

    EPA Science Inventory

    From 2006-2012, we evaluated a pilot aquatic invasive species (AIS) early detection monitoring program in Lake Superior that was designed to detect newly introduced fishes. We established survey protocols for three major ports (Duluth-Superior, Sault Ste. Marie, Thunder Bay) and ...

  12. Extrapolation Factors for Derivation of Acute Aquatic Life Screening Values: Acetylcholinesterase Inhibitors

    EPA Science Inventory

    USEPA’s Office of Water (OW) and Office of Pesticide Programs (OPP) are both charged with assessing risks of chemicals to aquatic species. The offices have developed scientifically defensible methods to assess chemicals under the Clean Water Act (CWA) and the Federal Insecticide...

  13. INNOVATIVE TECHNOLOGY EVALUATION REPORT, SEDIMENT SAMPLING TECHNOLOGY, AQUATIC RESEARCH INSTRUMENTS, RUSSIAN PEAT BORER

    EPA Science Inventory

    The Russian Peat Borer designed and fabricated by Aquatic Research Instruments was demonstrated under the U.S. Environmental Protection Agency (EPA) Superfund Innovative Technology Evaluation Program in April and May 1999 at sites in EPA Regions 1 and 5, respectively. In additio...

  14. Matrix Population Model for Estimating Effects from Time-Varying Aquatic Exposures: Technical Documentation

    EPA Science Inventory

    The Office of Pesticide Programs models daily aquatic pesticide exposure values for 30 years in its risk assessments. However, only a fraction of that information is typically used in these assessments. The population model employed herein is a deterministic, density-dependent pe...

  15. Fourth report on the Oak Ridge National Laboratory Biological Monitoring and Abatement Program for White Oak Creek Watershed and the Clinch River

    DOE Office of Scientific and Technical Information (OSTI.GOV)

    Loar, J.M.

    1994-04-01

    In response to a condition of the National Pollutant Discharge Elimination System (NPDES) permit issued to Oak Ridge National Laboratory (ORNL) on April 1, 1986, a Biological Monitoring and Abatement Program (BMAP) was developed for White Oak Creek (WOC) and selected tributaries. BMAP currently consists of six major tasks that address both radiological and nonradiological contaminants in the aquatic and terrestrial environs on-site and the aquatic environs off-site. These tasks are (1) toxicity monitoring, (2) bioaccumulation monitoring of nonradiological contaminants in aquatic biota, (3) biological indicator studies, (4) instream ecological monitoring, (5) assessment of contaminants in the terrestrial environment, andmore » (6) radioecology of WOC and White Oak Lake. The ecological characterization of the WOC watershed will provide baseline data that can be used to document the ecological effects of the water pollution control program and the remedial action program. The long-term nature of BMAP ensures that the effectiveness of remedial measures will be properly evaluated.« less

  16. Program Model Checking: A Practitioner's Guide

    NASA Technical Reports Server (NTRS)

    Pressburger, Thomas T.; Mansouri-Samani, Masoud; Mehlitz, Peter C.; Pasareanu, Corina S.; Markosian, Lawrence Z.; Penix, John J.; Brat, Guillaume P.; Visser, Willem C.

    2008-01-01

    Program model checking is a verification technology that uses state-space exploration to evaluate large numbers of potential program executions. Program model checking provides improved coverage over testing by systematically evaluating all possible test inputs and all possible interleavings of threads in a multithreaded system. Model-checking algorithms use several classes of optimizations to reduce the time and memory requirements for analysis, as well as heuristics for meaningful analysis of partial areas of the state space Our goal in this guidebook is to assemble, distill, and demonstrate emerging best practices for applying program model checking. We offer it as a starting point and introduction for those who want to apply model checking to software verification and validation. The guidebook will not discuss any specific tool in great detail, but we provide references for specific tools.

  17. Approaches to environmental verification of STS free-flier and pallet payloads

    NASA Technical Reports Server (NTRS)

    Keegan, W. B.

    1982-01-01

    This paper presents an overview of the environmental verification programs followed on an STS-launched free-flier payload, using the Tracking and Data Relay Satellite (TDRS) as an example, and a pallet payload, using the Office of Space Sciences-1 (OSS-1) as an example. Differences are assessed and rationale given as to why the differing programs were used on the two example payloads. It is concluded that the differences between the programs are due to inherent differences in the payload configuration, their respective mission performance objectives and their operational scenarios rather than to any generic distinctions that differentiate between a free-flier and a pallet payload.

  18. Satellite Power System (SPS) concept definition study (exhibit C)

    NASA Technical Reports Server (NTRS)

    Haley, G. M.

    1979-01-01

    The major outputs of the study are the constructability studies which resulted in the definition of the concepts for satellite, rectenna, and satellite construction base construction. Transportation analyses resulted in definition of heavy-lift launch vehicle, electric orbit transfer vehicle, personnel orbit transfer vehicle, and intra-orbit transfer vehicle as well as overall operations related to transportation systems. The experiment/verification program definition resulted in the definition of elements for the Ground-Based Experimental Research and Key Technology plans. These studies also resulted in conceptual approaches for early space technology verification. The cost analysis defined the overall program and cost data for all program elements and phases.

  19. Aquatic Plant Control Research Program. A Survey of the Fauna Associated with Pistia Stratiotes L. (Waterlettuce) in Florida

    DTIC Science & Technology

    1988-04-01

    both north and south Florida were examined for water- lettuce populations during the period June 1985 thrrugh May 1986. A sample of at least 20 plants ...AQUATIC PLANT CONTROL C’ RESEARCH PROGRAM JX"O9 TECHNICAL REPORT A-88-6 A SURVEY OF THE FAUNA ASSOCIATED WITH PISTIA STRATIOTES L. (WATERLETTUCE) IN...and iaoentify by block number) FIELD GROUP SUB-GROIJP quatic plants ,, InsectS, tBiological control/ Waterlettuce d 19. ABSTRACT (Continue on torerse

  20. CDFISH: an individual-based, spatially-explicit, landscape genetics simulator for aquatic species in complex riverscapes

    USGS Publications Warehouse

    Erin L. Landguth,; Muhlfeld, Clint C.; Luikart, Gordon

    2012-01-01

    We introduce Cost Distance FISHeries (CDFISH), a simulator of population genetics and connectivity in complex riverscapes for a wide range of environmental scenarios of aquatic organisms. The spatially-explicit program implements individual-based genetic modeling with Mendelian inheritance and k-allele mutation on a riverscape with resistance to movement. The program simulates individuals in subpopulations through time employing user-defined functions of individual migration, reproduction, mortality, and dispersal through straying on a continuous resistance surface.

  1. Complete Host Range Testing on Common Reed with Potential Biological Control Agents and Investigation into Biological Control for Flowering Rush

    DTIC Science & Technology

    2016-07-01

    ER D C/ EL C R- 16 -5 Aquatic Plant Control Research Program Complete Host Range Testing on Common Reed with Potential Biological...client/default. Aquatic Plant Control Research Program ERDC/EL CR-16-5 July 2016 Complete Host Range Testing on Common Reed with Potential...and started with sequential no-choice oviposition tests. So far, no eggs were found on any of the 22 test plants offered. The authors also found the

  2. Evaluation of the 29-km Eta Model for Weather Support to the United States Space Program

    NASA Technical Reports Server (NTRS)

    Manobianco, John; Nutter, Paul

    1997-01-01

    The Applied Meteorology Unit (AMU) conducted a year-long evaluation of NCEP's 29-km mesoscale Eta (meso-eta) weather prediction model in order to identify added value to forecast operations in support of the United States space program. The evaluation was stratified over warm and cool seasons and considered both objective and subjective verification methodologies. Objective verification results generally indicate that meso-eta model point forecasts at selected stations exhibit minimal error growth in terms of RMS errors and are reasonably unbiased. Conversely, results from the subjective verification demonstrate that model forecasts of developing weather events such as thunderstorms, sea breezes, and cold fronts, are not always as accurate as implied by the seasonal error statistics. Sea-breeze case studies reveal that the model generates a dynamically-consistent thermally direct circulation over the Florida peninsula, although at a larger scale than observed. Thunderstorm verification reveals that the meso-eta model is capable of predicting areas of organized convection, particularly during the late afternoon hours but is not capable of forecasting individual thunderstorms. Verification of cold fronts during the cool season reveals that the model is capable of forecasting a majority of cold frontal passages through east central Florida to within +1-h of observed frontal passage.

  3. A digital flight control system verification laboratory

    NASA Technical Reports Server (NTRS)

    De Feo, P.; Saib, S.

    1982-01-01

    A NASA/FAA program has been established for the verification and validation of digital flight control systems (DFCS), with the primary objective being the development and analysis of automated verification tools. In order to enhance the capabilities, effectiveness, and ease of using the test environment, software verification tools can be applied. Tool design includes a static analyzer, an assertion generator, a symbolic executor, a dynamic analysis instrument, and an automated documentation generator. Static and dynamic tools are integrated with error detection capabilities, resulting in a facility which analyzes a representative testbed of DFCS software. Future investigations will ensue particularly in the areas of increase in the number of software test tools, and a cost effectiveness assessment.

  4. Aquatic Plant Control Research Program: Aquatic Plant Identification and Herbicide Use Guide. Volume 2. Aquatic Plants and Susceptibility to Herbicides

    DTIC Science & Technology

    1988-11-01

    axils of the minute scale leaves of a where flowers with stalks are arranged tuber along an elongated axis tuft - cluster of leaves or other elon ...long, blue-purple, asymmetrical, crowded in elon - gated terminal spikes, each flower with 6 petal-like parts united below into a tube, blooming from...syn.: C. echinatum Gray), has more 1 mm spines per fruit and is apparently less com- mon. Ceratophyllun may be confused with Chara ( musk grass

  5. Design of a verifiable subset for HAL/S

    NASA Technical Reports Server (NTRS)

    Browne, J. C.; Good, D. I.; Tripathi, A. R.; Young, W. D.

    1979-01-01

    An attempt to evaluate the applicability of program verification techniques to the existing programming language, HAL/S is discussed. HAL/S is a general purpose high level language designed to accommodate the software needs of the NASA Space Shuttle project. A diversity of features for scientific computing, concurrent and real-time programming, and error handling are discussed. The criteria by which features were evaluated for inclusion into the verifiable subset are described. Individual features of HAL/S with respect to these criteria are examined and justification for the omission of various features from the subset is provided. Conclusions drawn from the research are presented along with recommendations made for the use of HAL/S with respect to the area of program verification.

  6. Environmental Sciences Division annual progress report for period ending September 30, 1981

    DOE Office of Scientific and Technical Information (OSTI.GOV)

    Auerbach, S.I.; Reichle, D.E.

    1982-04-01

    Research programs from the following sections and programs are summarized: aquatic ecology, environmental resources, earth sciences, terrestrial ecology, advanced fossil energy program, toxic substances program, environmental impacts program, biomass, low-level waste research and development program, US DOE low-level waste management program, and waste isolation program.

  7. University of Rhode Island Adapted Aquatics Program Manual.

    ERIC Educational Resources Information Center

    Scraba, Paula J.; Bloomquist, Lorraine E.

    An overview is presented of the aquatics course, adapted for persons with disabilities, at the University of Rhode Island. A description of the course includes information on course requirements, objectives, content and learning activities, assignments, modules used in the course, and a course syllabus. A description of the course organization and…

  8. National Aquatic Resource Surveys & Statistics: Role of statistics in the development of a national monitoring program

    EPA Science Inventory

    The National Aquatic Resource Surveys (NARS) are a series of four statistical surveys conducted by the U.S. Environmental Protection Agency working in collaboration with states, tribal nations and other federal agencies. The surveys are conducted for lakes and reservoirs, streams...

  9. 40 CFR Appendix - Tables to Part 132

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... Environment ENVIRONMENTAL PROTECTION AGENCY (CONTINUED) WATER PROGRAMS WATER QUALITY GUIDANCE FOR THE GREAT... Tables to Part 132 Table 1—Acute Water Quality Criteria for Protection of Aquatic Life in Ambient Water... FR 35286, June 2, 2000] Table 2—Chronic Water Quality Criteria for Protection of Aquatic Life in...

  10. 40 CFR 132.3 - Adoption of criteria.

    Code of Federal Regulations, 2014 CFR

    2014-07-01

    ...) The acute water quality criteria for protection of aquatic life in Table 1 of this part, or a site... water quality criteria for protection of aquatic life in Table 2 of this part, or a site-specific....3 Protection of Environment ENVIRONMENTAL PROTECTION AGENCY (CONTINUED) WATER PROGRAMS WATER QUALITY...

  11. Chapter 6. Temporal and spatial scales

    Treesearch

    Robert R. Ziemer

    1997-01-01

    Human activities have degraded substantial portions of the nation’s ecological resources, including physical and biological aquatic systems. The effects are continuing and cumulative, and few high-quality aquatic ecosystems remain in the United States. Concern about these diminishing resources has resulted in numerous restoration programs. Some are well conceived...

  12. Best Practices for Curriculum, Teaching, and Evaluation Components of Aquatic Stewardship Education.

    ERIC Educational Resources Information Center

    Siemer, William F.

    This paper reviews the literature to outline principles and best practices for aquatic stewardship education. Stewardship education develops an internalized stewardship ethic and the skills needed for decision making and environmentally responsible actions. Successful stewardship education programs are designed to influence beliefs, values,…

  13. ENVIRONMENTAL EFFECTS OF WESTERN COAL COMBUSTION. PART II. THE AQUATIC MACROINVERTEBRATES OF ROSEBUD CREEK, MONTANA

    EPA Science Inventory

    The aquatic macroinvertebrates of Rosebud Creek, Montana, were sampled between February 1976 and March 1977 to provide data on their abundance, distribution, and diversity. The sampling program was initiated during the first year of operation of the coal-fired power plants locate...

  14. The Care and Feeding of Aquatic Personnel.

    ERIC Educational Resources Information Center

    McNally, James

    1989-01-01

    A serious problem facing recreation and aquatic directors is retaining pool personnel. This article identifies factors that contribute to retention problems and suggests an "off-season" training program for former employees, with incentives, as a way of addressing these problems. Results of a survey of 49 pool employees are presented.…

  15. Teachers and Aquatic Education--A Survey.

    ERIC Educational Resources Information Center

    Rakow, Steven J.

    The Minnesota Sea Grant Education Sub-program provided funds to the University of Minnesota in 1980 to develop aquatic education materials (dealing with freshwater systems) for grades 5-9. The project resulted in the development and classroom testing of 13 instructional modules. A second grant (1982) funded workshops to introduce Minnesota…

  16. 33 CFR 273.17 - Annual budget request.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... 33 Navigation and Navigable Waters 3 2010-07-01 2010-07-01 false Annual budget request. 273.17... DEFENSE AQUATIC PLANT CONTROL § 273.17 Annual budget request. The Aquatic Plant Control Program is a... to utilize within the budget year taking into account the foreseeable availability of local funds to...

  17. Appendix C. Analyses of Sensitivity Distributions for Estimation of Acute Hazard Concentrations to Aquatic Animals

    EPA Science Inventory

    USEPA’s Office of Water (OW) and Office of Pesticide Programs (OPP) are both charged with assessing risks of chemicals to aquatic species. The offices have developed scientifically defensible methods to assess chemicals under the Clean Water Act (CWA) and the Federal Insecticide...

  18. PECONIC ESTUARY: AN INVENTORY OF SUBMERGED AQUATIC VEGETATION AND HARDENED SHORELINES FOR THE PECONIC ESTUARY, NEW YORK

    EPA Science Inventory

    Executive Summary The Peconic Estuary Program (PEP) is interested in the extent of eelgrass and other submerged aquatic vegetation and in documenting changes in the shorelines of the Peconic Estuary. The Suffolk County Department of Health Services' Office of Ecology provided fun...

  19. 33 CFR 273.17 - Annual budget request.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... 33 Navigation and Navigable Waters 3 2011-07-01 2011-07-01 false Annual budget request. 273.17 Section 273.17 Navigation and Navigable Waters CORPS OF ENGINEERS, DEPARTMENT OF THE ARMY, DEPARTMENT OF DEFENSE AQUATIC PLANT CONTROL § 273.17 Annual budget request. The Aquatic Plant Control Program is a...

  20. Case Comparison of Response To Aquatic Exercise: Acute versus Chronic Conditions.

    ERIC Educational Resources Information Center

    Mobily, Kenneth E.; Mobily, Paula R.; Lessard, Kerry A.; Berkenpas, Molly S.

    2000-01-01

    Describes the effects of individualized aquatic exercise programs on people with knee impairments. An adolescent athlete with an acute injury demonstrated significant functional improvement. A 33-year-old with arthritis demonstrated only marginal progress. Comparison of cases relative to valid data collection methods and response to aquatic…

Some links on this page may take you to non-federal websites. Their policies may differ from this site.
Top