Science.gov

Sample records for adaptive buddy check

  1. An Adaptive Buddy Check for Observational Quality Control

    NASA Technical Reports Server (NTRS)

    Dee, Dick P.; Rukhovets, Leonid; Todling, Ricardo; DaSilva, Arlindo M.; Larson, Jay W.; Einaudi, Franco (Technical Monitor)

    2000-01-01

    An adaptive buddy check algorithm is presented that adjusts tolerances for outlier observations based on the variability of surrounding data. The algorithm derives from a statistical hypothesis test combined with maximum-likelihood covariance estimation. Its stability is shown to depend on the initial identification of outliers by a simple background check. The adaptive feature ensures that the final quality control decisions are not very sensitive to prescribed statistics of first-guess and observation errors, nor on other approximations introduced into the algorithm. The implementation of the algorithm in a global atmospheric data assimilation is described. Its performance is contrasted with that of a non-adaptive buddy check, for the surface analysis of an extreme storm that took place in Europe on 27 December 1999. The adaptive algorithm allowed the inclusion of many important observations that differed greatly from the first guess and that would have been excluded on the basis of prescribed statistics. The analysis of the storm development was much improved as a result of these additional observations.

  2. Adaptable Assertion Checking for Scientific Software Components

    SciTech Connect

    Dahlgren, T L; Devanbu, P T

    2004-03-12

    We present a proposal for lowering the overhead of interface contract checking for science and engineering applications. Run-time enforcement of assertions is a well-known technique for improving the quality of software; however, the performance penalty is often too high for their retention during deployment, especially for long-running applications that depend upon iterative operations. With an efficient adaptive approach the benefits of run-time checking can continue to accrue with minimal overhead. Examples from scientific software interfaces being developed in the high performance computing research community will be used to measure the efficiency and effectiveness of this approach.

  3. "Bud, Not Buddy."

    ERIC Educational Resources Information Center

    Brodie, Carolyn S.

    2002-01-01

    Discusses the award-winning book "Bud, Not Buddy" written by Christopher Paul Curtis. Lists different versions of the book; suggests learning activities; lists sources for biographical information and interviews with Curtis, teacher guides, professional articles, and other Depression era novels; and provides a citation for the author's…

  4. Book Bag Buddies

    ERIC Educational Resources Information Center

    Madden, Angie; Townsend, J. Scott; Green, Jennifer

    2011-01-01

    Children love to learn about new topics and share what they have discovered with their teachers, families, and friends. The authors designed the "Book Bag Buddies" project to give their third-grade students a chance to channel their enthusiasm and research from science investigations into writing. In this creative project, students integrated…

  5. Coaching Reading Buddies for Success

    ERIC Educational Resources Information Center

    Theurer, Joan Leikam; Schmidt, Kathy Burson

    2008-01-01

    Reading buddies have been used by teachers for many years. The practice and benefits of having older students reading with younger students on a regular basis has been well documented. This article provides suggestions for teachers as they begin a reading buddy program and includes ideas for meaningful follow-up activities that will help keep…

  6. Buddy Tag CONOPS and Requirements.

    SciTech Connect

    Brotz, Jay Kristoffer; Deland, Sharon M.

    2015-12-01

    This document defines the concept of operations (CONOPS) and the requirements for the Buddy Tag, which is conceived and designed in collaboration between Sandia National Laboratories and Princeton University under the Department of State Key VerificationAssets Fund. The CONOPS describe how the tags are used to support verification of treaty limitations and is only defined to the extent necessary to support a tag design. The requirements define the necessary functions and desired non-functional features of the Buddy Tag at a high level

  7. Weekend Study Buddies: Using Portable Learning Centers.

    ERIC Educational Resources Information Center

    Stephens, Harristina; Jairrels, Veda

    2003-01-01

    This article discusses how one teacher uses a weekend study buddy as a portable learning center for students (ages 5-9) with mild disabilities. The study buddy is a colorful cloth or paper bag that the students take home over the weekend. It can also be individualized to target particular needs. (Contains 8 references.) (CR)

  8. The death of buddy diving?

    PubMed

    Cooper, P David

    2011-12-01

    Dear Editor, By focussing on the details of the Watson case, I believe Bryan Walpole has missed the thrust of my earlier letter. I agree this was a complex case, which is why I deliberately avoided the murky specifics in order to consider the 'big-picture' ramifications of the judgement. My concerns relate to the potential consequences of the unintended interplay between unrelated developments in the medical and legal arenas. Taken together, I believe these developments threaten the very institution of buddy diving. I have been unable to verify Dr Walpole's claim that the statute under which Mr Watson was convicted has not been used previously in a criminal trial. I must, however, refute his assertion that this legislation is some sort of idiosyncratic historical hangover or legal curiosity unique to Queensland. Although the original legislation pre-dates Australian federation, this statute has survived intact through 110 years of reviews and amendments to the Queensland Criminal Code. The application of this 19th century law to the Watson case now provides a direct, post-federation, 21st century relevance. Nor is Queensland alone in having such a statute on its books. Section 151 of the Criminal Code Act in Dr Walpole's home state of Tasmania states "When a person undertakes to do any act, the omission to do which is or may be dangerous to human life or health, it is his duty to do that act." Similar statutes can also be found in the legislation of other Australian states and as far afield as New Zealand and Canada. The phrasing of the relevant sections is, in many cases, almost identical to Queensland's, reflecting the common judicial heritage of these places. Even if this ruling's reach extended no further than the Queensland border its ramifications would be immense. Tourism statistics reveal that over 1.2 million visitors perform nearly 3.5 million dives/snorkels in Queensland each year. An estimated 93% of international divers visiting Australia stopover in

  9. Emergent Readers' Social Interaction Styles and Their Comprehension Processes during Buddy Reading

    ERIC Educational Resources Information Center

    Christ, Tanya; Wang, X. Christine; Chiu, Ming Ming

    2015-01-01

    To examine the relations between emergent readers' social interaction styles and their comprehension processes, we adapted sociocultural and transactional views of learning and reading, and conducted statistical discourse analysis of 1,359 conversation turns transcribed from 14 preschoolers' 40 buddy reading events. Results show that interaction…

  10. Adapting a Tier 2 Behavioral Intervention, Check-in/Check-out, to Meet Students' Needs

    ERIC Educational Resources Information Center

    Swoszowski, Nicole Cain

    2014-01-01

    Check-in/check-out (CICO) is a resource-efficient, mentor-based, Tier 2 intervention. Various problem behaviors of students with and without disabilities across traditional and alternative school settings have been impacted positively by CICO. Not all students respond to the traditional, five-step approach, however. This article provides an…

  11. Clip, Clop, and Buddies: Vietnamization and Operational Level Logistics 1968-1971

    DTIC Science & Technology

    2016-06-10

    Support Commands took measures to improve their counterparts through an On-the- Job Training (OJT) program called Project Buddy. The fourth chapter...maintenance, and checks on equipment, or conducting sick call for soldiers, or providing a hot meal at a mobile kitchen, these activities ensure the...US Army Vietnam listed five factors bearing on logistical operations in Vietnam: enemy, weather , terrain, lines of communication, and the evolution

  12. Better Bones Buddies: An Osteoporosis Prevention Program

    ERIC Educational Resources Information Center

    Schrader, Susan L.; Blue, Rebecca; Horner, Arlene

    2005-01-01

    Although osteoporosis typically surfaces in later life, peak bone mass attained before age 20 is a key factor in its prevention. However, most American children's diets lack sufficient calcium during the critical growth periods of preadolescence and adolescence to achieve peak bone mass. "Better Bones (BB) Buddies" is an educational…

  13. Deconstructing Serendipity: Focus, Purpose, and Authorship in Lunch Buddy Mentoring

    ERIC Educational Resources Information Center

    Cavell, Timothy A.; Henrie, Joye L.

    2010-01-01

    Lunch buddy mentoring is a particular kind of school-based mentoring program: college student mentors meet twice weekly during school lunch with mentees, and a new mentor is provided each semester. The program is designed to benefit elementary school children who are highly aggressive or chronically bullied. Novel to lunch buddy mentoring is a…

  14. Low complexity Reed-Solomon-based low-density parity-check design for software defined optical transmission system based on adaptive puncturing decoding algorithm

    NASA Astrophysics Data System (ADS)

    Pan, Xiaolong; Liu, Bo; Zheng, Jianglong; Tian, Qinghua

    2016-08-01

    We propose and demonstrate a low complexity Reed-Solomon-based low-density parity-check (RS-LDPC) code with adaptive puncturing decoding algorithm for elastic optical transmission system. Partial received codes and the relevant column in parity-check matrix can be punctured to reduce the calculation complexity by adaptive parity-check matrix during decoding process. The results show that the complexity of the proposed decoding algorithm is reduced by 30% compared with the regular RS-LDPC system. The optimized code rate of the RS-LDPC code can be obtained after five times iteration.

  15. Recognizing Students' Multiple Intelligences in Cross-Age Buddy Journals.

    ERIC Educational Resources Information Center

    Glasgow, Jacqueline N.

    1999-01-01

    Describes a project in which students in a college survey class on young adult literature were paired with students in a high school English class in a "buddy journal" project. Shows examples of this writing and of the assignments which used Howard Gardner's concept of multiple intelligences to offer students multiple paths for responding to…

  16. Reading for Real: Our Year with Reading Buddies

    ERIC Educational Resources Information Center

    Ross, Patricia

    2014-01-01

    When Patricia Ross' high school students at the Phoenix Day School for the Deaf buddied up with elementary school students to improve their reading skills, amazing things happened. As they read to them, Ross' students, who were part of the 2012-2013 Integrated Language Arts and Social Studies program, increased their reading scores and forged…

  17. Classmate Peer-Coaching: "A Study Buddy Support Scheme"

    ERIC Educational Resources Information Center

    Thalluri, Jyothi; O'Flaherty, Jackie A.; Shepherd, Paul L.

    2014-01-01

    This study had two aims: firstly, to determine whether participation in a peer support scheme called Study Buddy Support (SBS) improves pass rates of "at risk" students, and secondly, to examine the advantages of this model over hierarchical models where senior students tutor junior years. Bachelor of Nursing and Midwifery students in a…

  18. Involving Assessment Buddies in the Assessment of Design Project Work

    ERIC Educational Resources Information Center

    Osmond, Jane; Clough, Brian

    2012-01-01

    This paper discusses the impact of a specially developed assessment and feedback system implemented within a second year industrial design module at Coventry University, UK. The "Assessment Buddy" system was developed in response to the need for a successful assessment and feedback method that could cope with the complexities of a…

  19. Book Buddies. Volunteers Bring Stories to San Francisco's Hospitalized Children.

    ERIC Educational Resources Information Center

    Schneider, Marcia

    This report describes Book Buddies, a volunteer-based outreach project of the San Francisco Public Library, whose goal is to provide reading services and to promote reading aloud to children and their families in San Francisco hospitals and pediatric clinics. The introduction chronicles the need for such a program; offers background information on…

  20. Distal 'buddy-in-jail' technique: a complementary 'Jail with stent' method for stent delivery.

    PubMed

    Dangoisse, Vincent; Guédès, Antoine; Schroëder, Erwin

    2014-03-01

    Delivery of coronary stents can be challenging, but the use of a second or 'buddy' wire helps the progression of equipment through tortuous and rigid vessels. We successfully positioned a coronary stent in a distal lesion, intentionally jailing the buddy wire during stent delivery. The jailed wire was then used to proceed further with proximal coronary stenting. We report 10 cases using either the jailed or the non-jailed wire for this modified 'buddy-in-jail' technique.

  1. Teachers' peer buddy selections for children with autism: social characteristics and relationship with peer nominations.

    PubMed

    Jackson, Jennie N; Campbell, Jonathan M

    2009-02-01

    We examined social and behavioral characteristics of children selected by their teachers to serve as peer buddies for a child with autism. Thirty-one general education teachers and 576 children from five public elementary schools completed social status, behavioral, and peer buddy nomination measures. When compared to non-selected students, teacher selected buddies were: (a) more often boys, (b) popular, and (c) viewed as prosocial leaders by their peers. Agreement between teacher and peer nominations of social status and behavioral characteristics ranged from low to high; agreement between teacher and peer selected buddies was moderate.

  2. Automating checks of plan check automation.

    PubMed

    Halabi, Tarek; Lu, Hsiao-Ming

    2014-07-08

    While a few physicists have designed new plan check automation solutions for their clinics, fewer, if any, managed to adapt existing solutions. As complex and varied as the systems they check, these programs must gain the full confidence of those who would run them on countless patient plans. The present automation effort, planCheck, therefore focuses on versatility and ease of implementation and verification. To demonstrate this, we apply planCheck to proton gantry, stereotactic proton gantry, stereotactic proton fixed beam (STAR), and IMRT treatments.

  3. The "buddy-in-jail" technique-a novel method for increasing support during percutaneous coronary intervention.

    PubMed

    Bagnall, Alan J; Spratt, James C

    2009-10-01

    The "buddy-in-jail" technique is a novel method for increasing support during percutaneous coronary intervention. We report two case-based examples of successful coronary stent delivery using the jailed buddy wire technique.

  4. Mixed Methods Approach to Assessing an Informal Buddy Support System for Canadian Forces Reservists

    DTIC Science & Technology

    2011-04-01

    Mixed Methods Approach to Assessing an Informal Buddy Support System for Canadian Forces Reservists Donna I. Pickering...Tara Holton Defence R&D Canada Technical Memorandum DRDC Toronto TM 2011-028 April 2011...Mixed Methods Approach to Assessing an Informal Buddy Support System for Canadian Forces Reservists Donna I. Pickering Tara Holton

  5. Evaluation of the MindMatters Buddy Support Scheme in Southwest Sydney: Strategies, Achievements and Challenges

    ERIC Educational Resources Information Center

    Khan, Raquiba J.; Bedford, Karen; Williams, Mandy

    2012-01-01

    Objective: Assessing the strategies, achievements and challenges of implementing MindMatters and the views of partner schools towards the buddy support scheme. Design: The MindMatters buddy support scheme (2007-2008) was designed to increase the capacity of secondary schools to adopt a whole-school approach to improving health and well-being of…

  6. The Author Has the Last Word: Buddy Editing in a First-Grade Classroom

    ERIC Educational Resources Information Center

    Auger, Jessie L.

    2014-01-01

    In this essay, Jessie L. Auger reflects on the practice of Buddy Editing in her first-grade classroom as an opportunity for student and teacher learning. By explicitly revealing her pedagogical approach and sharing transcripts of students' engagement with her Buddy Editing protocol, Auger presents the dynamics of a learning partnership that…

  7. Book Buddies Replication Study: Ninety Miles from Charlottesville--So What?

    ERIC Educational Resources Information Center

    Abouzeid, Mary P.; Fowler, Mary Claiborne

    Book Buddies is a community volunteer tutorial that began in Charlottesville, Virginia in the early 1990s as a cooperative effort between the University of Virginia, the Charlottesville City Schools and the Charlottesville community. A replication of Book Buddies was designed in fall of 1997 for two elementary schools in Millville, Virginia. A…

  8. Emergent Reader--Day One: A Demonstration of Book Buddies in Action. [Videotape].

    ERIC Educational Resources Information Center

    Invernizzi, Marcia; Juel, Connie

    The "Book Buddies" manual and "Emergent Reader" training videos provide comprehensive and easy-to-implement guidelines for setting up and running a successful tutorial program in the early grades. Portraying the "Book Buddies" model in practice, this 51-minute videotape entitled "Emergent Reader--Day One"…

  9. Emergent Reader--Mid-Year: A Demonstration of Book Buddies in Action. [Videotape].

    ERIC Educational Resources Information Center

    Invernizzi, Marcia; Juel, Connie

    The "Book Buddies" manual and "Emergent Reader" training videos provide comprehensive and easy-to-implement guidelines for setting up and running a successful tutorial program in the early grades. Portraying the "Book Buddies" model in practice, this 44-minute videotape, entitled "Emergent Reader--Mid-Year"…

  10. BudBurst Buddies: Introducing Young Citizen Scientists to Plants and Environmental Change

    NASA Astrophysics Data System (ADS)

    Ward, D.; Gardiner, L. S.; Henderson, S.

    2011-12-01

    As part of Project BudBurst, the BudBurst Buddies recently moved to the National Ecological Network (NEON) as part of its Education and Public Engagement efforts. The BudBurst Buddies (www.budburstbuddies.org) were created to engage elementary school age children in the science of observing plants and the timing of phenological (life cycle) events. BudBurst Buddies is a part of the Project BudBurst national citizen science initiative (www.budburst.org), which allows individuals to engage in the scientific process, contributing to a better understanding of climate change while increasing public awareness of phenology and the impacts of climate change on plants. As a first step towards engaging the next generation of citizen scientists, BudBurst Buddies provides the opportunity for children to gain experience with scientific research and increases awareness of how plants change throughout the year. Hundreds of young students have participated in the inaugural year of BudBurst Buddies. Children can participate in BudBurst Buddies on their own, with their families, or in formal or informal education settings. The program was recently highlighted by education staff at the New York Hall of Science and numerous classrooms have been implementing this resource as part of their curriculum. Each child who participates creates a journal about a plant of his or her choosing, makes observations of the plant over the growing season and submits findings online, earning an official BudBurst Buddies certificate. An online storybook for kids tells how two children, Lily and Sage, observed plants in their neighborhood and became BudBurst Buddies. This presentation will provide an overview of the BudBurst Buddies resources including a new implementation guide and will also share feedback from the first year of implementation.

  11. Buddy-to-Buddy, a citizen soldier peer support program to counteract stigma, PTSD, depression, and suicide.

    PubMed

    Greden, John F; Valenstein, Marcia; Spinner, Jane; Blow, Adrian; Gorman, Lisa A; Dalack, Gregory W; Marcus, Sheila; Kees, Michelle

    2010-10-01

    Citizen soldiers (National Guard and Reserves) represent approximately 40% of the two million armed forces deployed to Afghanistan and Iraq. Twenty-five to forty percent of them develop PTSD, clinical depression, sleep disturbances, or suicidal thoughts. Upon returning home, many encounter additional stresses and hurdles to obtaining care: specifically, many civilian communities lack military medical/psychiatric facilities; financial, job, home, and relationship stresses have evolved or have been exacerbated during deployment; uncertainty has increased related to future deployment; there is loss of contact with military peers; and there is reluctance to recognize and acknowledge mental health needs that interfere with treatment entry and adherence. Approximately half of those needing help are not receiving it. To address this constellation of issues, a private-public partnership was formed under the auspices of the Welcome Back Veterans Initiative. In Michigan, the Army National Guard teamed with the University of Michigan and Michigan State University to develop innovative peer-to-peer programs for soldiers (Buddy-to-Buddy) and augmented programs for military families. Goals are to improve treatment entry, adherence, clinical outcomes, and to reduce suicides. This manuscript describes training approaches, preliminary results, and explores future national dissemination.

  12. Brief report: sociometric status and behavioral characteristics of peer nominated buddies for a child with autism.

    PubMed

    Campbell, Jonathan M; Marino, Christine A

    2009-09-01

    We examined social and behavioral correlates of children selected by their peers to serve as peer buddies for an unfamiliar child with autism (CWA). Participants were 293 children from two public elementary schools who completed social status, behavioral, and peer buddy nomination measures. Peer buddy nominations for a CWA were related to: (a) perceived unpopularity; (b) being viewed as helpful and smart; and (c) lacking influence regarding popularity within the classroom. In contrast, peer buddy nominations for a typical boy were related to being viewed as popular, helpful, and self-confident. Students may select a social niche for CWA based on principles of peer homophily. Limitations and suggestions for future research are discussed.

  13. Buddy Taping: Is It a Safe Method for Treatment of Finger and Toe Injuries?

    PubMed Central

    Won, Sung Hun; Lee, Sanglim; Chung, Chin Youb; Sung, Ki Hyuk; Kim, Tae Gyun; Choi, Young; Lee, Sang Hyeong; Kwon, Dae Gyu; Ha, Jae Hong; Lee, Seung Yeol; Park, Moon Seok

    2014-01-01

    Background Buddy taping is a well known and useful method for treating sprains, dislocations, and other injuries of the fingers or toes. However, the authors have often seen complications associated with buddy taping such as necrosis of the skin, infections, loss of fixation, and limited joint motion. To our knowledge, there are no studies regarding the complications of buddy taping. The purpose of this study was to report the current consensus on treating finger and toe injuries and complications of buddy taping by using a specifically designed questionnaire. Methods A questionnaire was designed for this study, which was regarding whether the subjects were prescribed buddy taping to treat finger and toe injuries, reasons for not using it, in what step of injury treatment it was use, indications, complications, kinds of tape for fixation, and special methods for preventing skin injury. Fifty-five surgeons agreed to participate in the study and the survey was performed in a direct interview manner at the annual meetings of the Korean Pediatric Orthopedic Association and Korean Society for Surgery of the Hand, in 2012. Results Forty-eight surgeons (87%) used buddy taping to treat finger and toe injuries, especially proximal interphalangeal (PIP) injuries of the hand, finger fractures, toe fractures, metacarpophalangeal injuries of the hand, and PIP injuries of the foot. Sixty-five percent of the surgeons experienced low compliance. Forty-five percent of the surgeons observed skin injuries on the adhesive area of the tape, and skin injuries between the injured finger and healthy finger were observed by 45% of the surgeons. Conclusions This study sheds light on the current consensus and complications of buddy taping among physicians. Low compliance and skin injury should be considered when the clinician treats finger and toe injuries by using buddy taping. PMID:24605186

  14. BudBurst Buddies: A New Tool for Engaging the Youngest Citizen Scientists

    NASA Astrophysics Data System (ADS)

    Gardiner, L. S.; Henderson, S.; Ward, D.

    2010-12-01

    BudBurst Buddies (www.budburstbuddies.org) introduces elementary school age children to the science of observing plants and the timing of phenological (life cycle) events. BudBurst Buddies is a new part of the Project BudBurst national citizen science initiative (www.budburst.org), which allows individuals to engage in the scientific process, contributing to a better understanding of climate change while increasing public awareness of phenology and the impacts of climate change on plants. As a first step towards engaging the next generation of citizen scientists, BudBurst Buddies provides the opportunity for children to gain experience with scientific research and increases awareness of how plants change throughout the year. Children can participate in BudBurst Buddies on their own, with their families, or in formal or informal education settings. Each child who participates creates a journal about a plant of his or her choosing, makes observations of the plant over the growing season and submits findings online, earning an official BudBurst Buddies certificate. An online storybook for kids tells how two children, Lily and Sage, observed plants in their neighborhood and became BudBurst Buddies. This presentation will provide an overview of the BudBurst Buddies newly developed resources. BudBurst Buddies is a part of Project BudBurst, a national citizen science program coordinated by the National Ecological Observatory Network (NEON) and the Chicago Botanic Garden. Funding for this resource was provided by NEON, NSF, NASA, and the National Geographic Education Foundation.

  15. Website malfunction: a case report highlighting the danger of using electrical insulating tape for buddy strapping.

    PubMed

    Devitt, Brian Meldan; Baker, Joseph F; Fitzgerald, Eilis; McCarthy, Conor

    2010-05-06

    A case of injury to the third web space of the right hand of a rugby player, as a result of buddy strapping with electrical insulating tape of the little and ring finger, is presented. A deep laceration of the web space and distal palmar fascia resulted, necessitating wound exploration and repair. This case highlights the danger of using electrical insulating tape as a means to buddy strap fingers.

  16. The Effects of Tier II Check-in/Check-out Including Adaptation for Non-Responders on the Off-Task Behavior of Elementary Students in a Residential Setting

    ERIC Educational Resources Information Center

    Swoszowski, Nicole Cain; McDaniel, Sara C.; Jolivette, Kristine; Melius, Patience

    2013-01-01

    This study evaluated the effects of a Tier II positive behavior interventions and supports (PBIS) intervention, Check-in/Check-out (CICO), on the off-task behavior of 4 students with behavioral challenges and special needs in a residential facility. In addition, the study examined the effects of additional mentor contact (i.e., mid-day check-up;…

  17. Check valve

    DOEpatents

    Upton, H.A.; Garcia, P.

    1999-08-24

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

  18. Check valve

    DOEpatents

    Upton, Hubert Allen; Garcia, Pablo

    1999-08-24

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

  19. Model checking

    NASA Technical Reports Server (NTRS)

    Dill, David L.

    1995-01-01

    Automatic formal verification methods for finite-state systems, also known as model-checking, successfully reduce labor costs since they are mostly automatic. Model checkers explicitly or implicitly enumerate the reachable state space of a system, whose behavior is described implicitly, perhaps by a program or a collection of finite automata. Simple properties, such as mutual exclusion or absence of deadlock, can be checked by inspecting individual states. More complex properties, such as lack of starvation, require search for cycles in the state graph with particular properties. Specifications to be checked may consist of built-in properties, such as deadlock or 'unspecified receptions' of messages, another program or implicit description, to be compared with a simulation, bisimulation, or language inclusion relation, or an assertion in one of several temporal logics. Finite-state verification tools are beginning to have a significant impact in commercial designs. There are many success stories of verification tools finding bugs in protocols or hardware controllers. In some cases, these tools have been incorporated into design methodology. Research in finite-state verification has been advancing rapidly, and is showing no signs of slowing down. Recent results include probabilistic algorithms for verification, exploitation of symmetry and independent events, and the use symbolic representations for Boolean functions and systems of linear inequalities. One of the most exciting areas for further research is the combination of model-checking with theorem-proving methods.

  20. Blog-Integrated Writing with Blog-Buddies: EAP Learners' Writing Performance

    ERIC Educational Resources Information Center

    Asoodar, Maryam; Atai, Mahmood Reza; Vaezi, Shahin

    2016-01-01

    This article reports a mixed-method research probing the effect of utilizing a blog-buddy system on English for academic purposes learners' writing performance. Sixty Iranian undergraduate engineering students at Iran University of Science and Technology Virtual Campus participated in this study. Our analysis of the students' writings indicated…

  1. The Effects of a Buddy Skills Package on Preschool Children's Social Interactions and Play

    ERIC Educational Resources Information Center

    Hughett, Kristy; Kohler, Frank W.; Raschke, Donna

    2013-01-01

    The purpose of this study was to examine the impact of a buddy skills package on the social and play interactions between three preschoolers with developmental delays and their peers. Each child participated in sociodramatic play activities with two peers who exhibited age-appropriate social and play skills. Following baseline, the children…

  2. The Buddy Quiz: A Collaborative Assessment and a Representation of the Scientific Enterprise

    ERIC Educational Resources Information Center

    Hoffman, Ian M.

    2012-01-01

    The form and function of a collaborative assessment known as a "Buddy Quiz" is presented. The assessment is conducted in three successive phases over a contiguous 45-60 min class period. A portion of each quiz is completed in collaboration with one or two peers and a portion is completed without collaboration. The quiz is primarily…

  3. K9 Buddies: A Program of Guide Dogs for the Blind

    ERIC Educational Resources Information Center

    Ritter, Joanne

    2007-01-01

    Today, exceptional dogs that have been specially bred and socialized are paired with children who are blind or visually impaired. These dogs, called "K9 Buddies," are from Guide Dogs for the Blind, a national nonprofit organization with a mission to offer skilled mobility dogs and training free-of-charge to adults with visual impairments…

  4. Developmental Mentoring, Relationship Quality and School Adjustment: The Chapel Buddy Programme

    ERIC Educational Resources Information Center

    Fair, Cynthia D.; Hopkins, Kate; Decker, Anna

    2012-01-01

    This prospective mixed methods longitudinal study examined the connection between mentor-mentee relationship quality and school adjustment amongst students participating in the Chapel Buddy programme, a developmental mentoring programme. Thirty-one sixth graders were paired with 29 kindergarteners for the duration of the school year. Sixth-grade…

  5. From Nutty Professor to Buddy Love--Personality types in modern science.

    PubMed

    Charlton, Bruce G

    2007-01-01

    People often suggest that scientists should have a specific personality type, usually conscientious and self-critical. But this is a mistake. Science as a social system needs to be conscientious and self-critical, but scientists as people do not necessarily have to conform to that stereotype. Since science works by a process of selection, it makes sense to have a wide range of personalities in science. It takes all types. However, the selection pressures within science have changed over recent decades. In the past, a successful scientist often resembled the white-coated, bespectacled and introverted Nutty Professor in Jerry Lewis's movie of that name. But the modern science superstar is more like the Nutty Professor's alter ego, nightclub singer 'Buddy Love': a sharp-suited, good-looking and charismatic charmer. While Nutty was dull but impartial, Buddy is compelling but self-seeking. Our attitude towards public scientific pronouncements should be adjusted accordingly.

  6. BuddySuite: Command-line toolkits for manipulating sequences, alignments, and phylogenetic trees.

    PubMed

    Bond, Stephen R; Keat, Karl E; Barreira, Sofia N; Baxevanis, Andreas D

    2017-02-25

    The ability to manipulate sequence, alignment, and phylogenetic tree files has become an increasingly important skill in the life sciences, whether to generate summary information or to prepare data for further downstream analysis. The command line can be an extremely powerful environment for interacting with these resources, but only if the user has the appropriate general-purpose tools on hand. BuddySuite is a collection of four independent yet interrelated command-line toolkits that facilitate each step in the workflow of sequence discovery, curation, alignment, and phylogenetic reconstruction. Most common sequence, alignment, and tree file formats are automatically detected and parsed, and over 100 tools have been implemented for manipulating these data. The project has been engineered to easily accommodate the addition of new tools, it is written in the popular programming language Python, and is hosted on the Python Package Index and GitHub to maximize accessibility. Documentation for each BuddySuite tool, including usage examples, is available at http://tiny.cc/buddysuite wiki. All software is open source and freely available through http://research.nhgri.nih.gov/software/BuddySuite.

  7. The check-up: in-person, computerized, and telephone adaptations of motivational enhancement treatment to elicit voluntary participation by the contemplator

    PubMed Central

    Walker, Denise D; Roffman, Roger A; Picciano, Joseph F; Stephens, Robert S

    2007-01-01

    Countless barriers come between people who are struggling with substance abuse and those charged with providing substance abuse treatment. The check-up, a form of motivational enhancement therapy, is a harm reduction intervention that offers a manner of supporting individuals by lowering specific barriers to reaching those who are untreated. The check-up was originally developed to reach problem drinkers who were neither seeking treatment nor self-initiating change. The intervention, marketed as an opportunity to take stock of one's experiences, involves an assessment and personalized feedback delivered with a counseling style termed motivational interviewing. Check-ups can be offered in care settings to individuals who, as a result of screening, manifest risk factors for specific disorders such as alcoholism. They can also be free-standing and publicized widely to the general public. This paper will discuss illustrations of in-person, computerized, in-school, and telephone applications of the free-standing type of check-up with reference to alcohol consumers, adult and adolescent marijuana smokers, and gay/bisexual males at risk for sexual transmission of HIV. The paper's major focus is to highlight how unique features of each application have the potential of reducing barriers to reaching specific at-risk populations. Also considered are key policy issues such as how check-up services can be funded, which venues are appropriate for the delivery of check-up interventions, pertinent competency criteria in evaluating staff who deliver this intervention, how marketing can be designed to reach contemplators in untreated at-risk populations, and how a check-up's success ought to be defined. PMID:17210075

  8. Adapt

    NASA Astrophysics Data System (ADS)

    Bargatze, L. F.

    2015-12-01

    Active Data Archive Product Tracking (ADAPT) is a collection of software routines that permits one to generate XML metadata files to describe and register data products in support of the NASA Heliophysics Virtual Observatory VxO effort. ADAPT is also a philosophy. The ADAPT concept is to use any and all available metadata associated with scientific data to produce XML metadata descriptions in a consistent, uniform, and organized fashion to provide blanket access to the full complement of data stored on a targeted data server. In this poster, we present an application of ADAPT to describe all of the data products that are stored by using the Common Data File (CDF) format served out by the CDAWEB and SPDF data servers hosted at the NASA Goddard Space Flight Center. These data servers are the primary repositories for NASA Heliophysics data. For this purpose, the ADAPT routines have been used to generate data resource descriptions by using an XML schema named Space Physics Archive, Search, and Extract (SPASE). SPASE is the designated standard for documenting Heliophysics data products, as adopted by the Heliophysics Data and Model Consortium. The set of SPASE XML resource descriptions produced by ADAPT includes high-level descriptions of numerical data products, display data products, or catalogs and also includes low-level "Granule" descriptions. A SPASE Granule is effectively a universal access metadata resource; a Granule associates an individual data file (e.g. a CDF file) with a "parent" high-level data resource description, assigns a resource identifier to the file, and lists the corresponding assess URL(s). The CDAWEB and SPDF file systems were queried to provide the input required by the ADAPT software to create an initial set of SPASE metadata resource descriptions. Then, the CDAWEB and SPDF data repositories were queried subsequently on a nightly basis and the CDF file lists were checked for any changes such as the occurrence of new, modified, or deleted

  9. Get Your Cholesterol Checked

    MedlinePlus

    ... Checked Print This Topic En español Get Your Cholesterol Checked Browse Sections The Basics Overview Cholesterol Test ... How often do I need to get my cholesterol checked? The general recommendation is to get your ...

  10. MRO Sequence Checking Tool

    NASA Technical Reports Server (NTRS)

    Fisher, Forest; Gladden, Roy; Khanampornpan, Teerapat

    2008-01-01

    The MRO Sequence Checking Tool program, mro_check, automates significant portions of the MRO (Mars Reconnaissance Orbiter) sequence checking procedure. Though MRO has similar checks to the ODY s (Mars Odyssey) Mega Check tool, the checks needed for MRO are unique to the MRO spacecraft. The MRO sequence checking tool automates the majority of the sequence validation procedure and check lists that are used to validate the sequences generated by MRO MPST (mission planning and sequencing team). The tool performs more than 50 different checks on the sequence. The automation varies from summarizing data about the sequence needed for visual verification of the sequence, to performing automated checks on the sequence and providing a report for each step. To allow for the addition of new checks as needed, this tool is built in a modular fashion.

  11. Drinking buddies and their prospective influence on alcohol outcomes: Alcohol expectancies as a mediator

    PubMed Central

    Lau-Barraco, Cathy; Braitman, Abby L.; Leonard, Kenneth E.; Padilla, Miguel

    2012-01-01

    The process by which peers or the social network influence individual alcohol use, particularly among adults, remains a necessary area of research. The purpose of the present study was to examine the longitudinal influence of “drinking buddies” on alcohol outcomes (i.e., alcohol use, heavy drinking, and alcohol-related problems) as mediated by alcohol expectancies of social facilitation. Participants were 1347 (men = 660) newly married individuals recruited from the community. They were assessed at the time of marriage and through the 4th wedding anniversary. Longitudinal mediation across time was evaluated using latent growth modeling. Overall, the prospective association between the number of drinking buddies in the social network and all three alcohol outcomes were mediated by alcohol expectancies. In testing group invariance across genders, findings suggest that social facilitation expectancies may be more relevant to men as compared to women in predicting typical alcohol use and alcohol-related problems. Given that the social network may impact alcohol use at least in part through social expectancies, tailoring alcohol interventions to modify these specific beliefs may be particularly beneficial. In addition, strategies that target a drinker’s social network or their drinking buddies specifically may be useful. PMID:22732054

  12. Peer and Teacher-Selected Peer Buddies for Adolescents With Autism Spectrum Disorders: The Role of Social, Emotional, and Mentalizing Abilities.

    PubMed

    Laghi, Fiorenzo; Federico, Francesca; Lonigro, Antonia; Levanto, Simona; Ferraro, Maurizio; Baumgartner, Emma; Baiocco, Roberto

    2016-01-01

    This study examined mentalizing abilities, social behavior, and social impact of adolescents who expressed the willingness to become peer buddies for adolescents with Autism Spectrum Disorders, and adolescents selected by their teachers and peers. Twenty-seven teachers and 395 adolescents from public high schools completed mentalizing abilities, social status, behavioral, and peer buddy nomination measures. Findings suggest that social status and preference play a significant role in the selection of peer buddies by both teachers and classmates. Furthermore, more advanced Theory of Mind (ToM) abilities and the engagement in prosocial behaviors differentiated peers selected as buddies from other classmates. When compared with nonparticipating students, adolescents who expressed willingness to participate were more often girls, and were more prosocial. Agreement between teacher and peer nominations of best peer was moderate.

  13. Production mask composition checking flow

    NASA Astrophysics Data System (ADS)

    Ma, Shou-Yuan; Yang, Chuen-Huei; Tsai, Joe; Wang, Alice; Lin, Roger; Lee, Rachel; Deng, Erwin; Lin, Ling-Chieh; Liao, Hung-Yueh; Tsai, Jenny; Bowhill, Amanda; Vu, Hien; Russell, Gordon

    2016-05-01

    The mask composition checking flow is an evolution of the traditional mask rule check (MRC). In order to differentiate the flow from MRC, we call it Mask Data Correctness Check (MDCC). The mask house does MRC only to identify process limitations including writing, etching, metrology, etc. There still exist many potential errors that could occur when the frame, main circuit and dummies all together form a whole reticle. The MDCC flow combines the design rule check (DRC) and MRC concepts to adapt to the complex patterns in today's wafer production technologies. Although photomask data has unique characteristics, the MRC tool in Calibre® MDP can easily achieve mask composition by using the Extended MEBES job deck (EJB) format. In EJB format, we can customize the combination of any input layers in an IC design layout format, such as OASIS. Calibre MDP provides section-based processing for many standard verification rule format (SVRF) commands that support DRC-like checks on mask data. Integrating DRC-like checking with EJB for layer composition, we actually perform reticle-level DRC, which is the essence of MDCC. The flow also provides an early review environment before the photomask pattern files are available. Furthermore, to incorporate the MDCC in our production flow, runtime is one of the most important indexes we consider. When the MDCC is included in the tape-out flow, the runtime impact is very limited. Calibre, with its multi-threaded processes and good scalability, is the key to achieving acceptable runtime. In this paper, we present real case runtime data for 28nm and 14nm technology nodes, and prove the practicability of placing MDCC into mass production.

  14. 31 CFR 240.3 - Electronic checks and substitute checks.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... 31 Money and Finance:Treasury 2 2011-07-01 2011-07-01 false Electronic checks and substitute... OF CHECKS DRAWN ON THE UNITED STATES TREASURY General Provisions § 240.3 Electronic checks and substitute checks. (a) Legal equivalence of electronic checks. An electronic check for which a...

  15. Forty-nine years in Biomaterials Science: an interview with Buddy Ratner

    PubMed Central

    Ratner, Buddy

    2017-01-01

    Buddy Ratner talks to Francesca Lake, Managing Editor. After receiving his PhD in polymer chemistry from the Polytechnic Institute of Brooklyn (USA) in 1972, Ratner moved to the University of Washington (USA), where he has since become joint professor of bioengineering and chemical engineering and Michael L & Myrna Darland Endowed Chair in Technology Commercialization. Since 1996, he has led the UWEB Research Center for Biomaterials at the University of Washington, originally funded by the National Science Foundation. A pioneer of the biomaterials field, Ratner's research interests include biomaterials, tissue engineering, polymers, biocompatibility and surface analysis of organic materials. A leader in the field, he has received numerous awards, has launched several companies and holds over 20 patents. PMID:28344823

  16. Forty-nine years in Biomaterials Science: an interview with Buddy Ratner.

    PubMed

    Ratner, Buddy

    2017-03-01

    Buddy Ratner talks to Francesca Lake, Managing Editor. After receiving his PhD in polymer chemistry from the Polytechnic Institute of Brooklyn (USA) in 1972, Ratner moved to the University of Washington (USA), where he has since become joint professor of bioengineering and chemical engineering and Michael L & Myrna Darland Endowed Chair in Technology Commercialization. Since 1996, he has led the UWEB Research Center for Biomaterials at the University of Washington, originally funded by the National Science Foundation. A pioneer of the biomaterials field, Ratner's research interests include biomaterials, tissue engineering, polymers, biocompatibility and surface analysis of organic materials. A leader in the field, he has received numerous awards, has launched several companies and holds over 20 patents.

  17. A Pilot Study of CPAP Adherence Promotion by Peer Buddies with Sleep Apnea

    PubMed Central

    Parthasarathy, Sairam; Wendel, Christopher; Haynes, Patricia L.; Atwood, Charles; Kuna, Samuel

    2013-01-01

    Study Objectives: To evaluate patient ratings of the acceptability of a peer buddy system (PBS). To promote continuous positive airway pressure (CPAP) therapy adherence in patients with obstructive sleep apnea (OSA). To obtain preliminary data on the effectiveness of PBS on sleep-specific health-related quality of life and CPAP adherence. Design: Prospective, randomized, and controlled study. Setting: Academic Center. Participants: Thirty-nine patients with OSA and 13 patients with OSA who were experienced CPAP users. Interventions: Recently diagnosed patients with OSA were randomly assigned to either the PBS to promote CPAP adherence (intervention group) or usual care (control group). Measurements: Patient satisfaction, Functional Outcomes of Sleep Questionnaire (FOSQ), CPAP adherence, vigilance, self-efficacy, and patient activation were measured. Results: Ninety-one percent of the subjects rated the PBS as very satisfactory (68%) or satisfactory (23%). During the 90 days of therapy, weekly CPAP adherence was greater in the intervention than the usual care group (MANOVA; F = 2.29; p = 0.04). Patient satisfaction was positively correlated with CPAP adherence (R2 = 0.14; p = 0.02). We did not find any group differences for FOSQ, vigilance, self-efficacy, or patient activation in this pilot study. Conclusion: Our pilot study suggests that the PBS intervention is feasible and received high patient satisfaction ratings. CPAP adherence may be improved by peer-driven intervention, but a larger, adequately powered study is needed. Clinical Trial Information: ClinicalTrials.gov identifier: NCT01164683. Commentary: A commentary on this article appears in this issue on page 551. Citation: Parthasarathy S; Wendel C; Haynes PL; Atwood C; Kuna S. A pilot study of CPAP adherence promotion by peer buddies with sleep apnea. J Clin Sleep Med 2013;9(6):543-550. PMID:23772186

  18. Judicial Checks and Balances

    ERIC Educational Resources Information Center

    La Porta, Rafael; Lopez-de-Silanes, Florencio; Pop-Eleches, Cristian; Shleifer, Andrei

    2004-01-01

    In the Anglo-American constitutional tradition, judicial checks and balances are often seen as crucial guarantees of freedom. Hayek distinguishes two ways in which the judiciary provides such checks and balances: judicial independence and constitutional review. We create a new database of constitutional rules in 71 countries that reflect these…

  19. Buddies Not Bullies: an approach to bullying prevention education in preschool children, their families and the community.

    PubMed

    Beauchesne, Michelle A; Farquharson, Patrice E; Beauchemin, Patricia

    2017-04-11

    Bullying is a traumatic event and has been observed among children as young as four years old. We have designed the Buddies Not Bullies initiative, which is a series of projects to help preschool children protect themselves from bullying. We also designed projects to educate the families of these preschool children and their community on the effects of bullying. The Buddies Not Bullies initiative promotes social-emotional development and discourages behaviours that might lead to bullying. In this article the initiatives designed to engage preschool children and raise awareness, including an interactive puppet show, are outlined. The authors also discuss how they evaluated the success of these projects and the implications for all professionals caring for young children.

  20. Bug Buddies.

    ERIC Educational Resources Information Center

    Glanville, Liana

    1998-01-01

    Presents a series of activities conducted in an outdoor environmental classroom. Activities focus on a sensory scavenger hunt, microhabitat, and gourmet ants. Explains how expectations and teacher attitudes should adjust in order to teach in a different type of classroom. (DDR)

  1. Training in General Surgery Ward Call: A Resident-Student Buddy System.

    PubMed

    Maurice, Andrew; Hann, Angus

    2015-01-01

    There is a paucity of literature regarding medical student experiences of after hours hospital ward call. It was observed at our institution that medical students had minimal experience in ward call, yet were required to undertake such shifts as interns after graduation. We implemented a buddy system in which a medical student shadowed a general surgery resident for a ward call shift. Final year medical students were recruited from the local university at a tertiary teaching hospital after institutional approval. Each student attended a 4 hour evening shift on a general surgery ward with a supervising resident. A survey detailing attitudes and expectations of ward call was completed before and after the experience. Nine students enrolled in the project. Familiarity of expectations of what is required of an intern on a ward call shift improved significantly after the experience (3.1/5 to 4.1/5, p = 0.002). After hours work experience was reported as useful both before and after the study (4.5/5 to 4.7/5, p = 0.47). Students and doctors involved unanimously felt the experience was worthwhile. After hours ward call experience is useful for a final year medical student. More studies are required to further define the role of after hours ward call experiences during medical training.

  2. CMM Interim Check (U)

    SciTech Connect

    Montano, Joshua Daniel

    2015-03-23

    Coordinate Measuring Machines (CMM) are widely used in industry, throughout the Nuclear Weapons Complex and at Los Alamos National Laboratory (LANL) to verify part conformance to design definition. Calibration cycles for CMMs at LANL are predominantly one year in length. Unfortunately, several nonconformance reports have been generated to document the discovery of a certified machine found out of tolerance during a calibration closeout. In an effort to reduce risk to product quality two solutions were proposed – shorten the calibration cycle which could be costly, or perform an interim check to monitor the machine’s performance between cycles. The CMM interim check discussed makes use of Renishaw’s Machine Checking Gauge. This off-the-shelf product simulates a large sphere within a CMM’s measurement volume and allows for error estimation. Data was gathered, analyzed, and simulated from seven machines in seventeen different configurations to create statistical process control run charts for on-the-floor monitoring.

  3. Adaptation.

    PubMed

    Broom, Donald M

    2006-01-01

    The term adaptation is used in biology in three different ways. It may refer to changes which occur at the cell and organ level, or at the individual level, or at the level of gene action and evolutionary processes. Adaptation by cells, especially nerve cells helps in: communication within the body, the distinguishing of stimuli, the avoidance of overload and the conservation of energy. The time course and complexity of these mechanisms varies. Adaptive characters of organisms, including adaptive behaviours, increase fitness so this adaptation is evolutionary. The major part of this paper concerns adaptation by individuals and its relationships to welfare. In complex animals, feed forward control is widely used. Individuals predict problems and adapt by acting before the environmental effect is substantial. Much of adaptation involves brain control and animals have a set of needs, located in the brain and acting largely via motivational mechanisms, to regulate life. Needs may be for resources but are also for actions and stimuli which are part of the mechanism which has evolved to obtain the resources. Hence pigs do not just need food but need to be able to carry out actions like rooting in earth or manipulating materials which are part of foraging behaviour. The welfare of an individual is its state as regards its attempts to cope with its environment. This state includes various adaptive mechanisms including feelings and those which cope with disease. The part of welfare which is concerned with coping with pathology is health. Disease, which implies some significant effect of pathology, always results in poor welfare. Welfare varies over a range from very good, when adaptation is effective and there are feelings of pleasure or contentment, to very poor. A key point concerning the concept of individual adaptation in relation to welfare is that welfare may be good or poor while adaptation is occurring. Some adaptation is very easy and energetically cheap and

  4. Interest Check List.

    ERIC Educational Resources Information Center

    Bureau of Employment Security (DOL), Washington, DC.

    The original edition of the Department of Labor Interest Check List aims at helping students decide what kinds of work they would like and lists activities that are found in a broad range of industries and occupations. The student is advised to read each of approximately 175 items and indicate how he feels about the activity described by placing a…

  5. Check-Digit Schemes.

    ERIC Educational Resources Information Center

    Wheeler, Mary L.

    1994-01-01

    Discusses the study of identification codes and check-digit schemes as a way to show students a practical application of mathematics and introduce them to coding theory. Examples include postal service money orders, parcel tracking numbers, ISBN codes, bank identification numbers, and UPC codes. (MKR)

  6. Study on Information Fusion Based Check Recognition System

    NASA Astrophysics Data System (ADS)

    Wang, Dong

    Automatic check recognition techniques play an important role in financial systems, especially in risk management. This paper presents a novel check recognition system based on multi-cue information fusion theory. For Chinese bank check, the amount can be independently determined by legal amount, courtesy amount, or E13B code. The check recognition algorithm consists of four steps: preprocessing, check layout analysis, segmentation and recognition, and information fusion. For layout analysis, an adaptive template matching algorithm is presented to locate the target recognition regions on the check. The hidden markov model is used to segment and recognize legal amount. Courtesy and E13B code are recognized by artificial neural network method, respectively. Finally, D-S evidence theory is then introduced to fuse above three recognition results for better recognition performance. Experimental results demonstrate that the system can robustly recognize checks and the information fusion based algorithm improves the recognition rate by 5~10 percent.

  7. Double checking: a second look

    PubMed Central

    Chreim, Samia; Forster, Alan

    2015-01-01

    Abstract Rationale, aims and objectives Double checking is a standard practice in many areas of health care, notwithstanding the lack of evidence supporting its efficacy. We ask in this study: ‘How do front line practitioners conceptualize double checking? What are the weaknesses of double checking? What alternate views of double checking could render it a more robust process?’ Method This is part of a larger qualitative study based on 85 semi‐structured interviews of health care practitioners in general internal medicine and obstetrics and neonatology; thematic analysis of the transcribed interviews was undertaken. Inductive and deductive themes are reported. Results Weaknesses in the double checking process include inconsistent conceptualization of double checking, double (or more) checking as a costly and time‐consuming procedure, double checking trusted as an accepted and stand‐alone process, and double checking as preventing reporting of near misses. Alternate views of double checking that would render it a more robust process include recognizing that double checking requires training and a dedicated environment, Introducing automated double checking, and expanding double checking beyond error detection. These results are linked with the concepts of collective efficiency thoroughness trade off (ETTO), an in‐family approach, and resilience. Conclusion(s) Double checking deserves more questioning, as there are limitations to the process. Practitioners could view double checking through alternate lenses, and thus help strengthen this ubiquitous practice that is rarely challenged. PMID:26568537

  8. SDSS-IV MaNGA: bulge-disc decomposition of IFU data cubes (BUDDI)

    NASA Astrophysics Data System (ADS)

    Johnston, Evelyn J.; Häußler, Boris; Aragón-Salamanca, Alfonso; Merrifield, Michael R.; Bamford, Steven; Bershady, Matthew A.; Bundy, Kevin; Drory, Niv; Fu, Hai; Law, David; Nitschelm, Christian; Thomas, Daniel; Roman Lopes, Alexandre; Wake, David; Yan, Renbin

    2017-02-01

    With the availability of large integral field unit (IFU) spectral surveys of nearby galaxies, there is now the potential to extract spectral information from across the bulges and discs of galaxies in a systematic way. This information can address questions such as how these components built up with time, how galaxies evolve and whether their evolution depends on other properties of the galaxy such as its mass or environment. We present bulge-disc decomposition of IFU data cubes (BUDDI), a new approach to fit the two-dimensional light profiles of galaxies as a function of wavelength to extract the spectral properties of these galaxies' discs and bulges. The fitting is carried out using GALFITM, a modified form of GALFIT which can fit multiwaveband images simultaneously. The benefit of this technique over traditional multiwaveband fits is that the stellar populations of each component can be constrained using knowledge over the whole image and spectrum available. The decomposition has been developed using commissioning data from the Sloan Digital Sky Survey-IV Mapping Nearby Galaxies at APO (MaNGA) survey with redshifts z < 0.14 and coverage of at least 1.5 effective radii for a spatial resolution of 2.5 arcsec full width at half-maximum and field of view of > 22 arcsec, but can be applied to any IFU data of a nearby galaxy with similar or better spatial resolution and coverage. We present an overview of the fitting process, the results from our tests, and we finish with example stellar population analyses of early-type galaxies from the MaNGA survey to give an indication of the scientific potential of applying bulge-disc decomposition to IFU data.

  9. Liquid blocking check valve

    DOEpatents

    Merrill, John T.

    1984-01-01

    A liquid blocking check valve useful particularly in a pneumatic system utilizing a pressurized liquid fill chamber. The valve includes a floatable ball disposed within a housing defining a chamber. The housing is provided with an inlet aperture disposed in the top of said chamber, and an outlet aperture disposed in the bottom of said chamber in an offset relation to said inlet aperture and in communication with a cutaway side wall section of said housing.

  10. Simple quantum password checking

    NASA Astrophysics Data System (ADS)

    Garcia-Escartin, Juan Carlos; Chamorro-Posada, Pedro

    2015-06-01

    We present a quantum password checking protocol where secrecy is protected by the laws of quantum mechanics. The passwords are encoded in quantum systems that can be compared but have a dimension too small to allow reading the encoded bits. We study the protocol under different replay attacks and show it is robust even for poorly chosen passwords. We also describe a possible implementation with conventional optical elements.

  11. Magnetically operated check valve

    NASA Astrophysics Data System (ADS)

    Morris, Brian G.; Bozeman, Richard J., Jr.

    1993-03-01

    A magnetically operated check valve is disclosed having, in one aspect, a valve body and a movable poppet disposed therein. A magnet attracts the poppet to hold the valve shut until the force of fluid flow through the valve overcomes the magnetic attraction and moves the poppet to an unseated, open position. The poppet and magnet are configured and disposed to trap a magnetically attracted particulate and prevent it from flowing to a valve seating region.

  12. Magnetically operated check valve

    NASA Technical Reports Server (NTRS)

    Morris, Brian G. (Inventor); Bozeman, Richard J., Jr. (Inventor)

    1994-01-01

    A magnetically operated check valve is disclosed. The valve is comprised of a valve body and a movable poppet disposed therein. A magnet attracts the poppet to hold the valve shut until the force of fluid flow through the valve overcomes the magnetic attraction and moves the poppet to an unseated, open position. The poppet and magnet are configured and disposed to trap a magnetically attracted particulate and prevent it from flowing to a valve seating region.

  13. Magnetically operated check valve

    NASA Astrophysics Data System (ADS)

    Morris, Brian G.; Bozeman, Richard J., Jr.

    1994-06-01

    A magnetically operated check valve is disclosed. The valve is comprised of a valve body and a movable poppet disposed therein. A magnet attracts the poppet to hold the valve shut until the force of fluid flow through the valve overcomes the magnetic attraction and moves the poppet to an unseated, open position. The poppet and magnet are configured and disposed to trap a magnetically attracted particulate and prevent it from flowing to a valve seating region.

  14. Model Checking Agent Communication

    NASA Astrophysics Data System (ADS)

    Bentahar, J.; Meyer, J.-J. Ch.; Wan, W.

    Model checking is a formal and automatic technique used to verify computational systems (e.g. communication protocols) against given properties. The purpose of this chapter is to describe a model checking algorithm to verify communication protocols used by autonomous agents interacting using dialogue games, which are governed by a set of logical rules. We use a variant of Extended Computation Tree Logic CTL* for specifying these dialogue games and the properties to be checked. This logic, called ACTL*, extends CTL* by allowing formulae to constrain actions as well as states. The verification method uses an on-the-fly efficient algorithm. It is based on translating formulae into a variant of alternating tree automata called Alternating Büchi Tableau Automata (ABTA). We present a tableau-based version of this algorithm and provide the soundness, completeness, termination and complexity results. Two case studies are discussed along with their respective implementations to illustrate the proposed approach. The first one is about an agent-based negotiation protocol and the second one considers a modified version of the NetBill protocol.

  15. Creating "Buddy Partnerships" with 5- and 11-Year Old-Boys: A Methodological Approach to Conducting Participatory Research with Young Children

    ERIC Educational Resources Information Center

    Levy, Rachael; Thompson, Philippa

    2015-01-01

    Building on literature concerning participatory research, this article explores the use of "buddy partnership" as a technique to access the voices of young children. In this study, 5- to 6-year-old boys were paired with 11- to 12-year-old boys, and each dyad was asked to contribute towards the creation of an information DVD that would…

  16. Healthy Buddies[TM] Reduces Body Mass Index Z-Score and Waist Circumference in Aboriginal Children Living in Remote Coastal Communities

    ERIC Educational Resources Information Center

    Ronsley, Rebecca; Lee, Andrew S.; Kuzeljevic, Boris; Panagiotopoulos, Constadina

    2013-01-01

    Background: Aboriginal children are at increased risk for obesity and type 2 diabetes. Healthy Buddies [TM]-First Nations (HB) is a curriculum-based, peer-led program promoting healthy eating, physical activity, and self-esteem. Methods: Although originally designed as a pilot pre-/post-analysis of 3 remote Aboriginal schools that requested and…

  17. Cross-Age Reading Buddies and Cultural-Sensitive Literature: Student-Centered English Language Instruction in an Ethiopian Budget School

    ERIC Educational Resources Information Center

    Cianca, Sherri

    2012-01-01

    The Ethiopian government has called for educational improvement, emphasizing the employment of active, student-centered pedagogy. One way of maximizing an interactive learning approach involves blending a cross-age reading buddies program with high-quality, culturally relevant children's literature. Employing descriptive, mixed-method research,…

  18. Outcome of Boxer’s Fractures Treated by a Soft Wrap and Buddy Taping: A Prospective Study

    PubMed Central

    Kämpfen, Stephan; Berli, Martin; Fritschy, Daniel; Della Santa, Dominique; Fusetti, Cesare

    2007-01-01

    Introduction The ideal treatment for a boxer’s fracture remains controversial, particularly the degree of volar dislocation considered acceptable for nonoperative treatment. Patients and Methods From December 2003 to December 2004, 25 patients who sustained a subcapital metacarpal fracture of the little finger with volar angulation between 30 to 75° were prospectively enrolled in the study. All patients were treated with a circular self-adherent wrap covering metacarpal bones II–V and buddy taping of the ring and little fingers for a period of 3 weeks while allowing immediate free range of motion. Results Final evaluation at a mean of 5 months revealed all patients to be satisfied without subjective functional impairment. All fractures healed, and the angulation of the fracture remained unchanged, but moderate shortening was observed. Active flexion of the metacarpophalangeal (MCP) joint was significantly lower on the fracture side, but as the median degree of MCP flexion was the same, this statistical difference was without clinical relevance. There was no loss in grip strength. A subjective long-term evaluation was performed by phone; at a median of 3 years, a QuickDash score gave a median of 0 point. Conclusion Treating a boxer’s fracture with angulation of up to 75° by soft wrap and buddy taping resulted in satisfied patients and good clinical results. PMID:18780055

  19. Fast acting check valve

    NASA Technical Reports Server (NTRS)

    Perkins, Gerald S. (Inventor)

    1979-01-01

    A check valve which closes more rapidly to prevent wearing of the valve seat and of the valve member that seals thereagainst, including a solenoid or other actuator that aids the normal spring to quickly close the valve at approximately the time when downpath fluid flow would stop, the actuator then being deenergized. The control circuit that operates the actuator can include a pair of pressure sensors sensing pressure both upstream and downstream from the valve seat. Where the valve is utilized to control flow to or from a piston pump, energization of the actuator can be controlled by sensing when the pump piston reaches its extreme of travel.

  20. Magnetic Check Valve

    NASA Technical Reports Server (NTRS)

    Morris, Brian G.; Bozeman, Richard J., Jr.

    1994-01-01

    Poppet in proposed check valve restored to closed condition by magnetic attraction instead of spring force. Oscillations suppressed, with consequent reduction of wear. Stationary magnetic disk mounted just upstream of poppet, also containing magnet. Valve body nonmagnetic. Forward pressure or flow would push poppet away from stationary magnetic disk so fluid flows easily around poppet. Stop in valve body prevents poppet from being swept away. When flow stopped or started to reverse, magnetic attraction draws poppet back to disk. Poppet then engages floating O-ring, thereby closing valve and preventing reverse flow. Floating O-ring facilitates sealing at low loads.

  1. Buddy Study: Partners for better health in adolescents with type 2 diabetes

    PubMed Central

    Sylvetsky, Allison C; Nandagopal, Radha; Nguyen, Tammy T; Abegg, Marisa R; Nagarur, Mahathi; Kaplowitz, Paul; Rother, Kristina I

    2015-01-01

    AIM: To investigate whether assigning young, healthy and motivated lay volunteer partners (“buddies”) to adolescents with type 2 diabetes improves hemoglobin A1c (HbA1c). METHODS: Adolescents with type 2 diabetes were randomized to partnering with a “buddy” or to conventional treatment. During the initial screening visit, which coincided with a routine outpatient diabetes clinic visit, patients with type 2 diabetes underwent a physical examination, detailed medical history, laboratory measurement of HbA1c, and completed two questionnaires (Pediatric Quality of Life Inventory and Children’s Depression Inventory) to assess their overall quality of life and the presence of depressive symptoms. Patients were then randomized to the intervention (the buddy system) or conventional treatment (standard care). All patients were scheduled to return for follow-up at 3- and 6-mo after their initial visit. HbA1c was determined at all visits (i.e., at screening and at the 3- and 6-mo follow-up visits) and quality of life and depressive symptoms were evaluated at the screening visit and were reassessed at the 6-mo visit. RESULTS: Ten adolescents, recruited from a pool of approximately 200 adolescents, enrolled over a two-year time period, leading to premature termination of the study. In contrast, we easily recruited motivated lay volunteers. We found no change in HbA1c from the initial to the 6-mo visit in either group, yet our small sample size limited systematic assessment of this outcome. Participants repeatedly missed clinic appointments, failed to conduct self-glucose-monitoring and rarely brought their glucometers to clinic visits. Total quality of life scores (72.6 ± 6.06) at screening were similar to previously reported scores in adolescents with type 2 diabetes (75.7 ± 15.0) and lower than scores reported in normal-weight (81.2 ± 0.9), overweight (83.5 ± 1.8), and obese youths without diabetes (78.5 ± 1.8) or in adolescents with type 1 diabetes (80.5 ± 13

  2. An Interprofessional Collaborative Approach in the Development of a Caries Risk Assessment mobile tablet application: My Smile Buddy

    PubMed Central

    Chinn, Courtney H.; Levine, June; Matos, Sergio; Findley, Sally; Edelstein, Burton L.

    2015-01-01

    BACKGROUND Given the rising trend in Early Childhood Caries (ECC) and the wide disparities that exist in pediatric oral health, risk assessment for ECC has become increasingly important. The purpose of this paper is to describe lessons learned from an Interprofessional Collaboration (IPC) approach in the planning, development, and pilot testing of an electronic interactive ECC risk assessment application - My Smile Buddy (MSB). METHODS Five focus groups were conducted during the assessment and development phases of MSB. Community Health Workers (CHW) then facilitated MSB with 35 mothers from the local community. RESULTS MSB was well accepted by mothers and scored well in usability and usefulness by CHWs. Lessons learned during MSB development included recognizing CHW understanding of local community attitudes regarding oral health and access to dental care and that power-sharing is required in order to create an intervention that is both engaging and accepted by the community. PMID:23974376

  3. Anchor balloon, buddy wire, and wire and sheath techniques to deploy percutaneous pulmonary valves in tetralogy of fallot patients.

    PubMed

    Shah, Ruchit R; Poommipanit, Paul; Law, Mark A; Amin, Zahid

    2017-03-17

    Advances in surgical techniques in tetralogy of Fallot (TOF) patients have improved survival of these patients into adulthood. The procedure requires right ventricular outflow tract or trans-annular patch with resultant pulmonary stenosis and/or regurgitation. As such, adult patients seen with this condition may have increasing right ventricular hypertrophy and/or right ventricular dilation. Recently, the Sapien XT valve (Edwards Lifesciences, CA) was approved by the FDA for pulmonary implantation. In some cases, advancing the valve in right ventricular outflow tract is difficult. This is a case series of delivering Sapien XT valves in TOF patients with severe pulmonary regurgitation and/or stenosis, using the anchor balloon, buddy wire, and the novel, wire and sheath techniques. © 2017 Wiley Periodicals, Inc.

  4. 14 CFR 121.413 - Initial and transition training and checking requirements: Check airmen (airplane), check airmen...

    Code of Federal Regulations, 2012 CFR

    2012-01-01

    ... Aeronautics and Space FEDERAL AVIATION ADMINISTRATION, DEPARTMENT OF TRANSPORTATION (CONTINUED) AIR CARRIERS...), flight engineer check airmen (airplane), and flight navigator check airmen (airplane) must include the... flight engineer check airmen (airplane) and flight navigator check airmen (airplane), training to...

  5. 14 CFR 121.413 - Initial and transition training and checking requirements: Check airmen (airplane), check airmen...

    Code of Federal Regulations, 2013 CFR

    2013-01-01

    ... Aeronautics and Space FEDERAL AVIATION ADMINISTRATION, DEPARTMENT OF TRANSPORTATION (CONTINUED) AIR CARRIERS...), flight engineer check airmen (airplane), and flight navigator check airmen (airplane) must include the... flight engineer check airmen (airplane) and flight navigator check airmen (airplane), training to...

  6. 14 CFR 121.413 - Initial and transition training and checking requirements: Check airmen (airplane), check airmen...

    Code of Federal Regulations, 2011 CFR

    2011-01-01

    ... Aeronautics and Space FEDERAL AVIATION ADMINISTRATION, DEPARTMENT OF TRANSPORTATION (CONTINUED) AIR CARRIERS...), flight engineer check airmen (airplane), and flight navigator check airmen (airplane) must include the... flight engineer check airmen (airplane) and flight navigator check airmen (airplane), training to...

  7. Software for Checking Statecharts

    NASA Technical Reports Server (NTRS)

    Pingree, Paula; Mikk, Erich

    2004-01-01

    HiVy is a software tool set that enables verification through model checking of designs represented as finite-state machines or statecharts. HiVy provides automated translation of (1) statecharts created by use of the MathWorks Stateflow program to (2) Promela, the input language of the Spin model checker, which can then be used to verify, or trace logical errors in, distributed software systems. HiVy can operate directly on Stateflow models, or its abstract syntax of hierarchical sequential automata (HSA) can be used independently as an intermediate format for translation to Promela. In a typical design application, HiVy parses and reformats Stateflow model file data using the programs SfParse and sf2hsa, respectively. If the parsing effort is successful, an abstract syntax tree is delivered into a file named with the extension .hsa. If the design comprises several model files, they may be merged into one .hsa file before translation into Promela. Stateflow scope is preserved, and name clashes are avoided in the merge process. The HiVy program hsa2pr translates the model from the intermediate HSA format into Promela. Additionally, HiVy provides through translation a list of all statechart model propositions that are the means for formalizing linear temporal logic (LTL) properties about the model for Spin verification.

  8. Leak checking in ISABELLE

    SciTech Connect

    Briggs, J.; Halama, H.J.

    1981-01-01

    The Intersecting Storage Accelerator (ISABELLE) contains two completely independent vacuum systems. One known as Beam Vacuum operates at 1 x 10/sup -11/ Torr and maintains a very clean environment for the circulating proton beam. The other system known as Insulating Vacuum maintains superconducting magnet vessels at a pressure below 1 x 10/sup -6/ Torr. In this system all gasses except helium are cryocondensed on the cold surfaces of superconducting magnets and cryogenic circuits. Turbomolecular pumps pump the inadvertent small helium leaks. The helium background both in the MagCOOL area and in the ISABELLE tunnel limits the sensitivity of conventional leak detectors. Leak detection in ISABELLE is one of the most important functions, since there are thousands of bellows and welds operating at 4 K and at 15 atmosphere pressure and that many welds can only be leak checked at room temperature. Leak rates are known to increase by 4 orders of magnitude when cooled from 300 K to 4 K. Thus the required 10/sup -10/ Torr liters s/sup -1/ sensitivity is essential for proper operation and methods and equipment which permit the location of such leaks in large systems have been developed and tested on the First Cell and the refrigerators. They produced a completely leak free system, i.e. the helium background did not change when all pumps were closed for 24 hours. These methods and the equipment are discussed in detail.

  9. Interface Circuits for Self-Checking Microprocessors

    NASA Technical Reports Server (NTRS)

    Rennels, D. A.; Chandramouli, R.

    1986-01-01

    Fault-tolerant-microcomputer concept based on enhancing "simple" computer with redundancy and self-checking logic circuits detect hardware faults. Interface and checking logic and redundant processors confer on 16-bit microcomputer ability to check itself for hardware faults. Checking circuitry also checks itself. Concept of self-checking complementary pairs (SCCP's) employed throughout ICL unit.

  10. Spine Buddy® Supportive Pad Impact on Single-Leg Static Balance and a Jogging Gait of Individuals Wearing a Military Backpack

    PubMed Central

    Ward, John; Coats, Jesse; Pourmoghaddam, Amir

    2014-01-01

    The Spine Buddy® supportive pad was developed to be inserted underneath military backpacks to help disperse the heavy load of the backpack. The purpose of this study was to determine the impact the additional supportive pad had on static balance and a running gait while wearing a military backpack. Forty healthy subjects (age= 27.5 + 5.6 yrs, body height= 1.78 + 0.06 m, body mass= 86.5 + 14.0 kg: mean + SD) participated in a static single-leg balance test on a force plate with each lower limb while wearing a 15.9 kg military backpack for 30 s. Following this, participants were randomized to one of two interventions: 1) Intervention, which wore the Spine Buddy® supportive pad underneath their backpack or 2) Control, with no additional supportive pad. Post-intervention measurements of static single-leg balance were then recorded. Afterwards, a similar pre vs post testing schedule and randomization scheme was used to test the impact of the supportive pad on a 5 mph jogging gait using Vicon® cameras. Within-group data were analyzed with a 2-way repeated measures ANOVA. Statistically significant differences were not seen between the control and experimental group for balance and gait variables. Preliminarily, this suggests that the Spine Buddy® supportive pad causes no deleterious effect on static balance and a jogging gait in 18–45 year-old asymptomatic individuals. PMID:25713665

  11. Property Differencing for Incremental Checking

    NASA Technical Reports Server (NTRS)

    Yang, Guowei; Khurshid, Sarfraz; Person, Suzette; Rungta, Neha

    2014-01-01

    This paper introduces iProperty, a novel approach that facilitates incremental checking of programs based on a property di erencing technique. Speci cally, iProperty aims to reduce the cost of checking properties as they are initially developed and as they co-evolve with the program. The key novelty of iProperty is to compute the di erences between the new and old versions of expected properties to reduce the number and size of the properties that need to be checked during the initial development of the properties. Furthermore, property di erencing is used in synergy with program behavior di erencing techniques to optimize common regression scenarios, such as detecting regression errors or checking feature additions for conformance to new expected properties. Experimental results in the context of symbolic execution of Java programs annotated with properties written as assertions show the e ectiveness of iProperty in utilizing change information to enable more ecient checking.

  12. Greater need for background checks.

    PubMed

    Fiesta, J

    1999-11-01

    The push is on for a more uniform system of background checks for health care employees. Studies and crimes against patients have prompted regulation by the Health Care Financing Administration (HCFA), state governments, hospitals, and Congress.

  13. Coverage Metrics for Model Checking

    NASA Technical Reports Server (NTRS)

    Penix, John; Visser, Willem; Norvig, Peter (Technical Monitor)

    2001-01-01

    When using model checking to verify programs in practice, it is not usually possible to achieve complete coverage of the system. In this position paper we describe ongoing research within the Automated Software Engineering group at NASA Ames on the use of test coverage metrics to measure partial coverage and provide heuristic guidance for program model checking. We are specifically interested in applying and developing coverage metrics for concurrent programs that might be used to support certification of next generation avionics software.

  14. New Challenges in Model Checking

    NASA Technical Reports Server (NTRS)

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

    2006-01-01

    In the last 25 years, the notion of performing software verification with logic model checking techniques has evolved from intellectual curiosity to accepted technology with significant potential for broad practical application. In this paper we look back at the main steps in this evolution and illustrate how the challenges have changed over the years, as we sharpened our theories and tools. Next we discuss a typical challenge in software verification that we face today - and that perhaps we can look back on in another 25 years as having inspired the next logical step towards a broader integration of model checking into the software development process.

  15. Fluid relief and check valve

    DOEpatents

    Blaedel, K.L.; Lord, S.C.; Murray, I.

    1986-07-17

    A passive fluid pressure relief and check valve allows the relief pressure to be slaved to a reference pressure independently of the exhaust pressure. The pressure relief valve is embodied by a submerged vent line in a sealing fluid, the relief pressure being a function of the submerged depth. A check valve is embodied by a vertical column of fluid (the maximum back pressure being a function of the height of the column of fluid). The pressure is vented into an exhaust system which keeps the exhaust out of the area providing the reference pressure.

  16. 14 CFR 121.413 - Initial and transition training and checking requirements: Check airmen (airplane), check airmen...

    Code of Federal Regulations, 2014 CFR

    2014-01-01

    ... Aeronautics and Space FEDERAL AVIATION ADMINISTRATION, DEPARTMENT OF TRANSPORTATION (CONTINUED) AIR CARRIERS... training for pilot check airmen (airplane), flight engineer check airmen (airplane), and flight navigator... likely to develop during a check. (4) For flight engineer check airmen (airplane) and flight...

  17. 31 CFR 103.29 - Purchases of bank checks and drafts, cashier's checks, money orders and traveler's checks.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... security number, the alien identification number; (C) The date of birth of the purchaser; (D) The date of..., cashier's checks, money orders and traveler's checks. 103.29 Section 103.29 Money and Finance: Treasury... orders and traveler's checks. (a) No financial institution may issue or sell a bank check or...

  18. Model Checking Normative Agent Organisations

    NASA Astrophysics Data System (ADS)

    Dennis, Louise; Tinnemeier, Nick; Meyer, John-Jules

    We present the integration of a normative programming language in the MCAPL framework for model checking multi-agent systems. The result is a framework facilitating the implementation and verification of multi-agent systems coordinated via a normative organisation. The organisation can be programmed in the normative language while the constituent agents may be implemented in a number of (BDI) agent programming languages.

  19. Child Care: State Requirements for Background Checks.

    ERIC Educational Resources Information Center

    Fagnoni, Cynthia

    Background checks involve gathering information from state and federal databases to determine if child care providers have a history of child abuse or other criminal convictions that would make them unacceptable for working with children. Background checks include state criminal history checks, state child abuse registry checks, and Federal Bureau…

  20. 27 CFR 70.101 - Bad checks.

    Code of Federal Regulations, 2011 CFR

    2011-04-01

    ... 27 Alcohol, Tobacco Products and Firearms 2 2011-04-01 2011-04-01 false Bad checks. 70.101 Section....101 Bad checks. If any check or money order in payment of any amount receivable under Title 26 of the... appropriate TTB officer that such check was tendered in good faith and that such person had reasonable...

  1. 27 CFR 70.101 - Bad checks.

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ... 27 Alcohol, Tobacco Products and Firearms 2 2010-04-01 2010-04-01 false Bad checks. 70.101 Section....101 Bad checks. If any check or money order in payment of any amount receivable under Title 26 of the... appropriate TTB officer that such check was tendered in good faith and that such person had reasonable...

  2. 30 CFR 77.902-2 - Approved ground check systems not employing pilot check wires.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... pilot check wires. 77.902-2 Section 77.902-2 Mineral Resources MINE SAFETY AND HEALTH ADMINISTRATION... Approved ground check systems not employing pilot check wires. Ground check systems not employing pilot check wires shall be approved by the Secretary only after it has been determined that the...

  3. 30 CFR 77.902-2 - Approved ground check systems not employing pilot check wires.

    Code of Federal Regulations, 2013 CFR

    2013-07-01

    ... pilot check wires. 77.902-2 Section 77.902-2 Mineral Resources MINE SAFETY AND HEALTH ADMINISTRATION... Approved ground check systems not employing pilot check wires. Ground check systems not employing pilot check wires shall be approved by the Secretary only after it has been determined that the...

  4. 30 CFR 75.902-2 - Approved ground check systems not employing pilot check wires.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... 30 Mineral Resources 1 2010-07-01 2010-07-01 false Approved ground check systems not employing pilot check wires. 75.902-2 Section 75.902-2 Mineral Resources MINE SAFETY AND HEALTH ADMINISTRATION... employing pilot check wires. Ground check systems not employing pilot check wires will be approved only...

  5. 30 CFR 75.902-2 - Approved ground check systems not employing pilot check wires.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... 30 Mineral Resources 1 2011-07-01 2011-07-01 false Approved ground check systems not employing pilot check wires. 75.902-2 Section 75.902-2 Mineral Resources MINE SAFETY AND HEALTH ADMINISTRATION... employing pilot check wires. Ground check systems not employing pilot check wires will be approved only...

  6. 30 CFR 75.902-2 - Approved ground check systems not employing pilot check wires.

    Code of Federal Regulations, 2012 CFR

    2012-07-01

    ... 30 Mineral Resources 1 2012-07-01 2012-07-01 false Approved ground check systems not employing pilot check wires. 75.902-2 Section 75.902-2 Mineral Resources MINE SAFETY AND HEALTH ADMINISTRATION... employing pilot check wires. Ground check systems not employing pilot check wires will be approved only...

  7. 30 CFR 77.902-2 - Approved ground check systems not employing pilot check wires.

    Code of Federal Regulations, 2014 CFR

    2014-07-01

    ... pilot check wires. 77.902-2 Section 77.902-2 Mineral Resources MINE SAFETY AND HEALTH ADMINISTRATION... Approved ground check systems not employing pilot check wires. Ground check systems not employing pilot check wires shall be approved by the Secretary only after it has been determined that the...

  8. 30 CFR 75.902-2 - Approved ground check systems not employing pilot check wires.

    Code of Federal Regulations, 2013 CFR

    2013-07-01

    ... 30 Mineral Resources 1 2013-07-01 2013-07-01 false Approved ground check systems not employing pilot check wires. 75.902-2 Section 75.902-2 Mineral Resources MINE SAFETY AND HEALTH ADMINISTRATION... employing pilot check wires. Ground check systems not employing pilot check wires will be approved only...

  9. 30 CFR 75.902-2 - Approved ground check systems not employing pilot check wires.

    Code of Federal Regulations, 2014 CFR

    2014-07-01

    ... 30 Mineral Resources 1 2014-07-01 2014-07-01 false Approved ground check systems not employing pilot check wires. 75.902-2 Section 75.902-2 Mineral Resources MINE SAFETY AND HEALTH ADMINISTRATION... employing pilot check wires. Ground check systems not employing pilot check wires will be approved only...

  10. 30 CFR 77.902-2 - Approved ground check systems not employing pilot check wires.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... pilot check wires. 77.902-2 Section 77.902-2 Mineral Resources MINE SAFETY AND HEALTH ADMINISTRATION... Approved ground check systems not employing pilot check wires. Ground check systems not employing pilot check wires shall be approved by the Secretary only after it has been determined that the...

  11. 30 CFR 77.902-2 - Approved ground check systems not employing pilot check wires.

    Code of Federal Regulations, 2012 CFR

    2012-07-01

    ... pilot check wires. 77.902-2 Section 77.902-2 Mineral Resources MINE SAFETY AND HEALTH ADMINISTRATION... Approved ground check systems not employing pilot check wires. Ground check systems not employing pilot check wires shall be approved by the Secretary only after it has been determined that the...

  12. Liquid-blocking check valve

    DOEpatents

    Merrill, J.T.

    1982-09-27

    A liquid blocking check valve useful particularly in a pneumatic system utilizing a pressurized liquid fill chamber. The valve includes a floatable ball disposed within a housing defining a chamber. The housing is provided with an inlet aperture disposed in the top of said chamber, and an outlet aperture disposed in the bottom of said chamber in an offset relation to said inlet aperture and in communication with a cutaway side wall section of said housing.

  13. 14 CFR 91.1093 - Initial and transition training and checking: Check pilots (aircraft), check pilots (simulator).

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... preceding 24 months, that person satisfactorily conducts a proficiency or competency check under the..., procedures, and techniques for conducting the required checks. (4) Proper evaluation of student performance..., and emergency procedures to ensure competence to conduct the pilot flight checks required by...

  14. Self-Checks Help Spot Melanoma's Return

    MedlinePlus

    ... news/fullstory_163682.html Self-Checks Help Spot Melanoma's Return Patient-detected symptoms were most common way ... Feb. 20, 2017 (HealthDay News) -- Self-checks by melanoma skin cancer patients play an important role in ...

  15. 20 CFR 653.503 - Field checks.

    Code of Federal Regulations, 2014 CFR

    2014-04-01

    ... 20 Employees' Benefits 3 2014-04-01 2014-04-01 false Field checks. 653.503 Section 653.503... SERVICE SYSTEM Agricultural Clearance Order Activity § 653.503 Field checks. (a) The State agency, through its local offices or otherwise, shall conduct random, unannounced field checks at a significant...

  16. 20 CFR 653.503 - Field checks.

    Code of Federal Regulations, 2013 CFR

    2013-04-01

    ... 20 Employees' Benefits 3 2013-04-01 2013-04-01 false Field checks. 653.503 Section 653.503... SERVICE SYSTEM Agricultural Clearance Order Activity § 653.503 Field checks. (a) The State agency, through its local offices or otherwise, shall conduct random, unannounced field checks at a significant...

  17. 20 CFR 653.503 - Field checks.

    Code of Federal Regulations, 2012 CFR

    2012-04-01

    ... 20 Employees' Benefits 3 2012-04-01 2012-04-01 false Field checks. 653.503 Section 653.503... SERVICE SYSTEM Agricultural Clearance Order Activity § 653.503 Field checks. (a) The State agency, through its local offices or otherwise, shall conduct random, unannounced field checks at a significant...

  18. 20 CFR 653.503 - Field checks.

    Code of Federal Regulations, 2011 CFR

    2011-04-01

    ... 20 Employees' Benefits 3 2011-04-01 2011-04-01 false Field checks. 653.503 Section 653.503... SERVICE SYSTEM Agricultural Clearance Order Activity § 653.503 Field checks. (a) The State agency, through its local offices or otherwise, shall conduct random, unannounced field checks at a significant...

  19. 25 CFR 11.421 - Bad checks.

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ... 25 Indians 1 2010-04-01 2010-04-01 false Bad checks. 11.421 Section 11.421 Indians BUREAU OF... Criminal Offenses § 11.421 Bad checks. (a) A person who issues or passes a check or similar sight order for..., and the issuer failed to make good within 10 days after receiving notice of that refusal....

  20. 25 CFR 11.421 - Bad checks.

    Code of Federal Regulations, 2011 CFR

    2011-04-01

    ... 25 Indians 1 2011-04-01 2011-04-01 false Bad checks. 11.421 Section 11.421 Indians BUREAU OF... Criminal Offenses § 11.421 Bad checks. (a) A person who issues or passes a check or similar sight order for..., and the issuer failed to make good within 10 days after receiving notice of that refusal....

  1. Timing analysis by model checking

    NASA Technical Reports Server (NTRS)

    Naydich, Dimitri; Guaspari, David

    2000-01-01

    The safety of modern avionics relies on high integrity software that can be verified to meet hard real-time requirements. The limits of verification technology therefore determine acceptable engineering practice. To simplify verification problems, safety-critical systems are commonly implemented under the severe constraints of a cyclic executive, which make design an expensive trial-and-error process highly intolerant of change. Important advances in analysis techniques, such as rate monotonic analysis (RMA), have provided a theoretical and practical basis for easing these onerous restrictions. But RMA and its kindred have two limitations: they apply only to verifying the requirement of schedulability (that tasks meet their deadlines) and they cannot be applied to many common programming paradigms. We address both these limitations by applying model checking, a technique with successful industrial applications in hardware design. Model checking algorithms analyze finite state machines, either by explicit state enumeration or by symbolic manipulation. Since quantitative timing properties involve a potentially unbounded state variable (a clock), our first problem is to construct a finite approximation that is conservative for the properties being analyzed-if the approximation satisfies the properties of interest, so does the infinite model. To reduce the potential for state space explosion we must further optimize this finite model. Experiments with some simple optimizations have yielded a hundred-fold efficiency improvement over published techniques.

  2. 14 CFR 121.411 - Qualifications: Check airmen (airplane) and check airmen (simulator).

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... 14 Aeronautics and Space 3 2010-01-01 2010-01-01 false Qualifications: Check airmen (airplane) and... § 121.411 Qualifications: Check airmen (airplane) and check airmen (simulator). (a) For the purposes of this section and § 121.413: (1) A check airman (airplane) is a person who is qualified, and...

  3. 14 CFR 121.411 - Qualifications: Check airmen (airplane) and check airmen (simulator).

    Code of Federal Regulations, 2011 CFR

    2011-01-01

    ... 14 Aeronautics and Space 3 2011-01-01 2011-01-01 false Qualifications: Check airmen (airplane) and... § 121.411 Qualifications: Check airmen (airplane) and check airmen (simulator). (a) For the purposes of this section and § 121.413: (1) A check airman (airplane) is a person who is qualified, and...

  4. Microbial Check Valve for Shuttle

    NASA Technical Reports Server (NTRS)

    Colombo, G. V.; Putnam, D. F.; Sauer, R. L.

    1978-01-01

    The Microbial Check Valve (MCV) is a device developed for the Space Shuttle that prevents the transfer of viable microorganisms within water systems. The device is essentially a bed of resin material, impregnated with iodine, that kills microorganisms on contact. It prevents the cross-contamination of microorganisms from a nonpotable system into the potable water system when these systems are interconnected. In this regard, the function of the device is similar to that of the 'air gap' found in conventional one-gravity systems. Basic design data are presented including pressure drop, scaling factors, sizing criteria, and the results of challenging the device with suspensions of seven microorganisms including aerobes, anaerobes and spore formers.

  5. Model Checking for Robotic Guided Surgery

    NASA Astrophysics Data System (ADS)

    Mönnich, H.; Raczkowsky, J.; Wörn, H.

    This paper describes a model checking approach for robotic guided surgical interventions. The execution plan is modeled with a workflow editor as a petri net. The net is then analyzed for correct structure and syntax with XMLSchema. Petri nets allow checking for specific constraints, like soundness. Still the possibility to prove the net with runtime variables is missing. For this reason model checking is introduced to the architecture. The Petri-Net is transformed to the Model Checking language of NuSMV2, an open source model checking tool. Conditions are modeled with temporal logic and these specifications are proved with the model checker. This results in the possibility to prove the correct initialization of hardware devices and to find possible runtime errors. The workflow editor and model checking capabilities are developed for a demonstrator consisting of a KUKA lightweight robot, a laser distance sensor and ART tracking for CO2 laser ablation on bone.

  6. Check valve slam analysis in pumping station

    NASA Astrophysics Data System (ADS)

    Himr, D.; Habán, V.; Dokoupil, P.

    2016-03-01

    Pumping station supplies water for technological process. The check valve in the station was replaced with a new one. The regular test of black out discovered the high pressure pulsations accompanied with noticeable pipeline movement of discharge pipe. It was caused by late check valve closing, probably, when the back flow reached the highest possible velocity. This statement was supported with analysis of results of pressure measurement near the check valve and with a numerical simulation of the flow in the pipeline system.

  7. Advanced microbial check valve development

    NASA Technical Reports Server (NTRS)

    Colombo, G. V.; Greenley, D. R.

    1980-01-01

    A flight certified assembly identified as a Microbial Check Valve (MCV) was developed and tested. The MCV is a canister packed with an iodinated anionic exchange resin. The device is used to destroy organisms in a water stream as the water passes through the device. The device is equally effective for fluid flow in either direction and its primary method of organism removal is killing rather than filtering. The MCV was successfully developed for the space shuttle to: disinfect fuel cell water; and prevent back contamination of the stored potable water supply. One version of the device consists of a high residual iodinated resin bed that imparts approximately 2 ppm of iodine to the fuel cell water as it flows to the potable water tanks. A second version of the device consists of a low residual iodinated resin bed. One of these low residual beds is located at each use port in the potable water system for the dual purpose of removing some iodine from the potable water as it is dispensed and also to prevent back contamination of the potable supply.

  8. Astronaut 'Checks In' From Space Station

    NASA Video Gallery

    NASA astronaut and International Space Station Commander Doug Wheelock became the first person to "check in" from space Friday using the mobile social networking application Foursquare. Wheelock's ...

  9. Building Bunk Group Buddies.

    ERIC Educational Resources Information Center

    Nelson, Denise Cabrero

    2000-01-01

    Describes how camp counselors can foster camaraderie among campers through participative decision making, name games, listening, adventure courses, storytelling, spending time in nature, decorating cabins, avoiding favoritism, setting rules, admitting faults, setting group goals, and praising sincere efforts. (TD)

  10. Langley Wind Tunnel Data Quality Assurance-Check Standard Results

    NASA Technical Reports Server (NTRS)

    Hemsch, Michael J.; Grubb, John P.; Krieger, William B.; Cler, Daniel L.

    2000-01-01

    A framework for statistical evaluation, control and improvement of wind funnel measurement processes is presented The methodology is adapted from elements of the Measurement Assurance Plans developed by the National Bureau of Standards (now the National Institute of Standards and Technology) for standards and calibration laboratories. The present methodology is based on the notions of statistical quality control (SQC) together with check standard testing and a small number of customer repeat-run sets. The results of check standard and customer repeat-run -sets are analyzed using the statistical control chart-methods of Walter A. Shewhart long familiar to the SQC community. Control chart results are presented for. various measurement processes in five facilities at Langley Research Center. The processes include test section calibration, force and moment measurements with a balance, and instrument calibration.

  11. 31 CFR 248.6 - Recovery of original check.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... 31 Money and Finance:Treasury 2 2011-07-01 2011-07-01 false Recovery of original check. 248.6... § 248.6 Recovery of original check. (a) If the claimant recovers an original check after he has... substitute check has been received prior to the recovery of the original check, the original check should...

  12. 31 CFR 248.6 - Recovery of original check.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... 31 Money and Finance: Treasury 2 2010-07-01 2010-07-01 false Recovery of original check. 248.6... § 248.6 Recovery of original check. (a) If the claimant recovers an original check after he has... substitute check has been received prior to the recovery of the original check, the original check should...

  13. 32 CFR 635.6 - Name checks.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... Defense Department of Defense (Continued) DEPARTMENT OF THE ARMY (CONTINUED) LAW ENFORCEMENT AND CRIMINAL... police reports filed worldwide. Authorized users of COPS MPRS can conduct name checks for criminal justice purposes. To conduct a name check, users must have either the social security...

  14. 38 CFR 21.4505 - Check delivery.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ...) VOCATIONAL REHABILITATION AND EDUCATION Education Loans § 21.4505 Check delivery. (a) General. Education loans by the Department of Veterans Affairs shall be made by a check payable to the eligible spouse or...) The educational institution, electing to participate in this program, shall deliver an education...

  15. 38 CFR 21.4505 - Check delivery.

    Code of Federal Regulations, 2013 CFR

    2013-07-01

    ...) VOCATIONAL REHABILITATION AND EDUCATION Education Loans § 21.4505 Check delivery. (a) General. Education loans by the Department of Veterans Affairs shall be made by a check payable to the eligible spouse or...) The educational institution, electing to participate in this program, shall deliver an education...

  16. 38 CFR 21.4505 - Check delivery.

    Code of Federal Regulations, 2014 CFR

    2014-07-01

    ...) VOCATIONAL REHABILITATION AND EDUCATION Education Loans § 21.4505 Check delivery. (a) General. Education loans by the Department of Veterans Affairs shall be made by a check payable to the eligible spouse or...) The educational institution, electing to participate in this program, shall deliver an education...

  17. 38 CFR 21.4505 - Check delivery.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ...) VOCATIONAL REHABILITATION AND EDUCATION Education Loans § 21.4505 Check delivery. (a) General. Education loans by the Department of Veterans Affairs shall be made by a check payable to the eligible spouse or...) The educational institution, electing to participate in this program, shall deliver an education...

  18. 38 CFR 21.4505 - Check delivery.

    Code of Federal Regulations, 2012 CFR

    2012-07-01

    ...) VOCATIONAL REHABILITATION AND EDUCATION Education Loans § 21.4505 Check delivery. (a) General. Education loans by the Department of Veterans Affairs shall be made by a check payable to the eligible spouse or...) The educational institution, electing to participate in this program, shall deliver an education...

  19. 46 CFR 10.214 - Security Check.

    Code of Federal Regulations, 2010 CFR

    2010-10-01

    ... 46 Shipping 1 2010-10-01 2010-10-01 false Security Check. 10.214 Section 10.214 Shipping COAST GUARD, DEPARTMENT OF HOMELAND SECURITY MERCHANT MARINE OFFICERS AND SEAMEN MERCHANT MARINER CREDENTIAL General Requirements for All Merchant Mariner Credentials § 10.214 Security Check. Until April 15,...

  20. 46 CFR 10.214 - Security Check.

    Code of Federal Regulations, 2012 CFR

    2012-10-01

    ... 46 Shipping 1 2012-10-01 2012-10-01 false Security Check. 10.214 Section 10.214 Shipping COAST GUARD, DEPARTMENT OF HOMELAND SECURITY MERCHANT MARINE OFFICERS AND SEAMEN MERCHANT MARINER CREDENTIAL General Requirements for All Merchant Mariner Credentials § 10.214 Security Check. Until April 15,...

  1. 46 CFR 10.214 - Security Check.

    Code of Federal Regulations, 2011 CFR

    2011-10-01

    ... 46 Shipping 1 2011-10-01 2011-10-01 false Security Check. 10.214 Section 10.214 Shipping COAST GUARD, DEPARTMENT OF HOMELAND SECURITY MERCHANT MARINE OFFICERS AND SEAMEN MERCHANT MARINER CREDENTIAL General Requirements for All Merchant Mariner Credentials § 10.214 Security Check. Until April 15,...

  2. Vertical pump with free floating check valve

    DOEpatents

    Lindsay, Malcolm

    1980-01-01

    A vertical pump with a bottom discharge having a free floating check valve isposed in the outlet plenum thereof. The free floating check valve comprises a spherical member with a hemispherical cage-like member attached thereto which is capable of allowing forward or reverse flow under appropriate conditions while preventing reverse flow under inappropriate conditions.

  3. Checking and Balancing: Banking and Budgeting.

    ERIC Educational Resources Information Center

    Thypin, Marilyn; Glasner, Lynne

    A short fictional work for limited English speakers is presented that relates a young couple's experience in learning about managing their money more carefully by budgeting and maintaining a checking account. Since the couple did not have a checking account, they had to go to their savings bank in order to pay each bill and they had to keep cash…

  4. Tractor Mechanic Check Sheets for Modules.

    ERIC Educational Resources Information Center

    Clemson Univ., SC. Vocational Education Media Center.

    Forms for student self-checks and the instructor's final checklist (student evaluation) are provided for use with thirty-three learning modules on maintaining and servicing fuel and electrical systems in tractor mechanics. The student self-check asks the students questions about their understanding of the modules' content. The instructor's…

  5. 20 CFR 653.503 - Field checks.

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ... SERVICE SYSTEM Agricultural Clearance Order Activity § 653.503 Field checks. (a) The State agency, through... clearance system. These field checks shall include visit(s) to the worksite at a time when workers are there. Both the employees and the employer shall be consulted, and JS shall determine and document...

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

  7. 14 CFR 135.337 - Qualifications: Check airmen (aircraft) and check airmen (simulator).

    Code of Federal Regulations, 2011 CFR

    2011-01-01

    ... AND OPERATIONS OPERATING REQUIREMENTS: COMMUTER AND ON DEMAND OPERATIONS AND RULES GOVERNING PERSONS ON BOARD SUCH AIRCRAFT Training § 135.337 Qualifications: Check airmen (aircraft) and check airmen... training device for a particular type aircraft. (2) A check airman (simulator) is a person who is...

  8. 14 CFR 135.337 - Qualifications: Check airmen (aircraft) and check airmen (simulator).

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... AND OPERATIONS OPERATING REQUIREMENTS: COMMUTER AND ON DEMAND OPERATIONS AND RULES GOVERNING PERSONS ON BOARD SUCH AIRCRAFT Training § 135.337 Qualifications: Check airmen (aircraft) and check airmen... training device for a particular type aircraft. (2) A check airman (simulator) is a person who is...

  9. 14 CFR 135.337 - Qualifications: Check airmen (aircraft) and check airmen (simulator).

    Code of Federal Regulations, 2012 CFR

    2012-01-01

    ... AND OPERATIONS OPERATING REQUIREMENTS: COMMUTER AND ON DEMAND OPERATIONS AND RULES GOVERNING PERSONS ON BOARD SUCH AIRCRAFT Training § 135.337 Qualifications: Check airmen (aircraft) and check airmen... training device for a particular type aircraft. (2) A check airman (simulator) is a person who is...

  10. 14 CFR 135.337 - Qualifications: Check airmen (aircraft) and check airmen (simulator).

    Code of Federal Regulations, 2013 CFR

    2013-01-01

    ... AND OPERATIONS OPERATING REQUIREMENTS: COMMUTER AND ON DEMAND OPERATIONS AND RULES GOVERNING PERSONS ON BOARD SUCH AIRCRAFT Training § 135.337 Qualifications: Check airmen (aircraft) and check airmen... training device for a particular type aircraft. (2) A check airman (simulator) is a person who is...

  11. 14 CFR 135.337 - Qualifications: Check airmen (aircraft) and check airmen (simulator).

    Code of Federal Regulations, 2014 CFR

    2014-01-01

    ... AND OPERATIONS OPERATING REQUIREMENTS: COMMUTER AND ON DEMAND OPERATIONS AND RULES GOVERNING PERSONS ON BOARD SUCH AIRCRAFT Training § 135.337 Qualifications: Check airmen (aircraft) and check airmen... training device for a particular type aircraft. (2) A check airman (simulator) is a person who is...

  12. Simple Check Valves for Microfluidic Devices

    NASA Technical Reports Server (NTRS)

    Willis, Peter A.; Greer, Harold F.; Smith, J. Anthony

    2010-01-01

    A simple design concept for check valves has been adopted for microfluidic devices that consist mostly of (1) deformable fluorocarbon polymer membranes sandwiched between (2) borosilicate float glass wafers into which channels, valve seats, and holes have been etched. The first microfluidic devices in which these check valves are intended to be used are micro-capillary electrophoresis (microCE) devices undergoing development for use on Mars in detecting compounds indicative of life. In this application, it will be necessary to store some liquid samples in reservoirs in the devices for subsequent laboratory analysis, and check valves are needed to prevent cross-contamination of the samples. The simple check-valve design concept is also applicable to other microfluidic devices and to fluidic devices in general. These check valves are simplified microscopic versions of conventional rubber- flap check valves that are parts of numerous industrial and consumer products. These check valves are fabricated, not as separate components, but as integral parts of microfluidic devices. A check valve according to this concept consists of suitably shaped portions of a deformable membrane and the two glass wafers between which the membrane is sandwiched (see figure). The valve flap is formed by making an approximately semicircular cut in the membrane. The flap is centered over a hole in the lower glass wafer, through which hole the liquid in question is intended to flow upward into a wider hole, channel, or reservoir in the upper glass wafer. The radius of the cut exceeds the radius of the hole by an amount large enough to prevent settling of the flap into the hole. As in a conventional rubber-flap check valve, back pressure in the liquid pushes the flap against the valve seat (in this case, the valve seat is the adjacent surface of the lower glass wafer), thereby forming a seal that prevents backflow.

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

  14. Improved microbial-check-valve resins

    NASA Technical Reports Server (NTRS)

    Colombo, G. V.; Putnam, D. F.

    1980-01-01

    Improved microbial-check-valve resins have been tested for their microbicidal effectiveness and long-term stability. Resins give more-stable iodine concentrations than previous preparations and do not impart objectionable odor or taste to treated water. Microbial check valve is small cylindrical device, packed with iodide-saturated resin, that is installed in water line where contamination by micro-organisms is to be prevented. Prototype microbial check valve was tested for stability and performance under harsh environmental conditions. Effectiveness was 100 percent at 35 deg, 70 deg, and 160 deg F (2 deg, 21 deg, and 71 deg C).

  15. Computational Fact Checking from Knowledge Networks

    PubMed Central

    Ciampaglia, Giovanni Luca; Shiralkar, Prashant; Rocha, Luis M.; Bollen, Johan; Menczer, Filippo; Flammini, Alessandro

    2015-01-01

    Traditional fact checking by expert journalists cannot keep up with the enormous volume of information that is now generated online. Computational fact checking may significantly enhance our ability to evaluate the veracity of dubious information. Here we show that the complexities of human fact checking can be approximated quite well by finding the shortest path between concept nodes under properly defined semantic proximity metrics on knowledge graphs. Framed as a network problem this approach is feasible with efficient computational techniques. We evaluate this approach by examining tens of thousands of claims related to history, entertainment, geography, and biographical information using a public knowledge graph extracted from Wikipedia. Statements independently known to be true consistently receive higher support via our method than do false ones. These findings represent a significant step toward scalable computational fact-checking methods that may one day mitigate the spread of harmful misinformation. PMID:26083336

  16. Flight manager and check-airman training

    NASA Technical Reports Server (NTRS)

    Carroll, J. E.

    1980-01-01

    An analysis of industry incidents, accidents, and related human factors research is given. The need to develop more effective resource management training for the flight deck crewmembers is discussed with specific emphasis on flight manager and check-airman training.

  17. Model Checking as A Reachability Problem

    NASA Astrophysics Data System (ADS)

    Vardi, Moshe Y.

    Model checking is a essentially a graph-searching problem. In automata-theoretic model checking we compose the design under verification with a Büchi automaton that accepts traces violating the specification. We then use graph algorithms to search the product graph for a counterexample trace. The basic theory of this approach was worked out in the 1980s, and the basic algorithms were developed during the 1990s. Both explicit and symbolic implementations, such as SPIN and and SMV, are widely used. It turns out, however, that there are still many gaps in our understanding of the algorithmic issues involved in automata-theoretic model checking. This talk covers the fundamentals of automata-theoretic model checking, reviews recent progress, and outlines areas that require further research.

  18. 14 CFR 135.71 - Airworthiness check.

    Code of Federal Regulations, 2012 CFR

    2012-01-01

    ... AND ON DEMAND OPERATIONS AND RULES GOVERNING PERSONS ON BOARD SUCH AIRCRAFT Flight Operations § 135.71 Airworthiness check. The pilot in command may not begin a flight unless the pilot determines that...

  19. 14 CFR 135.71 - Airworthiness check.

    Code of Federal Regulations, 2011 CFR

    2011-01-01

    ... AND ON DEMAND OPERATIONS AND RULES GOVERNING PERSONS ON BOARD SUCH AIRCRAFT Flight Operations § 135.71 Airworthiness check. The pilot in command may not begin a flight unless the pilot determines that...

  20. 14 CFR 135.71 - Airworthiness check.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... AND ON DEMAND OPERATIONS AND RULES GOVERNING PERSONS ON BOARD SUCH AIRCRAFT Flight Operations § 135.71 Airworthiness check. The pilot in command may not begin a flight unless the pilot determines that...

  1. 14 CFR 135.71 - Airworthiness check.

    Code of Federal Regulations, 2014 CFR

    2014-01-01

    ... AND ON DEMAND OPERATIONS AND RULES GOVERNING PERSONS ON BOARD SUCH AIRCRAFT Flight Operations § 135.71 Airworthiness check. The pilot in command may not begin a flight unless the pilot determines that...

  2. 14 CFR 135.71 - Airworthiness check.

    Code of Federal Regulations, 2013 CFR

    2013-01-01

    ... AND ON DEMAND OPERATIONS AND RULES GOVERNING PERSONS ON BOARD SUCH AIRCRAFT Flight Operations § 135.71 Airworthiness check. The pilot in command may not begin a flight unless the pilot determines that...

  3. Dashpot Damps Oscillations In Check Valve

    NASA Technical Reports Server (NTRS)

    Morris, Brian G.

    1994-01-01

    Operation of check valve improved by redesigning poppet and adding two new components: dashpot and dashpot ring between dashpot and poppet. Modifications eliminate self-sustaining poppet oscillations that cause premature wear and jamming of poppet mechanism.

  4. Notification: Purchase Card and Convenience Check Audit

    EPA Pesticide Factsheets

    Project #OA-FY13-0116, April 11, 2013. The U.S. Environmental Protection Agency, Office of Inspector General, is beginning the fieldwork phase of its audit of the agency’s purchase card and convenience check programs.

  5. CMM Interim Check Design of Experiments (U)

    SciTech Connect

    Montano, Joshua Daniel

    2015-07-29

    Coordinate Measuring Machines (CMM) are widely used in industry, throughout the Nuclear Weapons Complex and at Los Alamos National Laboratory (LANL) to verify part conformance to design definition. Calibration cycles for CMMs at LANL are predominantly one year in length and include a weekly interim check to reduce risk. The CMM interim check makes use of Renishaw’s Machine Checking Gauge which is an off-the-shelf product simulates a large sphere within a CMM’s measurement volume and allows for error estimation. As verification on the interim check process a design of experiments investigation was proposed to test a couple of key factors (location and inspector). The results from the two-factor factorial experiment proved that location influenced results more than the inspector or interaction.

  6. Check out the Atmospheric Science User Forum

    Atmospheric Science Data Center

    2016-11-17

    article title:  Check out the Atmospheric Science User Forum     View larger image ... ASDC would like to bring your attention to the Atmospheric Science User Forum. The purpose of this forum is to improve user service, ...

  7. Check List: Are You a Gifted Principal?

    ERIC Educational Resources Information Center

    Taylor, Vicki L.

    1984-01-01

    An 18-item check list is provided for principals to evaluate themselves relative to encouraging gifts and talents of their most able students. Suggestions are given in the areas of educational needs, specialized materials, and counseling. (MC)

  8. A Check List for the Reading Teacher.

    ERIC Educational Resources Information Center

    Gemake, Josephine S.

    1979-01-01

    Presents a check list created by teachers to be used as an evaluation instrument in observations of reading laboratories in the New York City area. Reflects their ideas about the essential components of a remedial reading program. (FL)

  9. Joule-Thomson Expander Without Check Valves

    NASA Technical Reports Server (NTRS)

    Chan, C. K.; Gatewood, J. R.

    1989-01-01

    Cooling effected by bidirectional, reciprocating flow of gas. Type of Joule-Thomson (J-T) expander for cryogenic cooling requires no check valves to prevent reverse flow of coolant. More reliable than conventional J-T expander, containing network of check valves, each potential source of failure. Gas flows alternately from left to right and right to left. Heat load cooled by evaporation of liquid from left or right compartment, whichever at lower pressure.

  10. 14 CFR 141.37 - Check instructor qualifications.

    Code of Federal Regulations, 2014 CFR

    2014-01-01

    ... 14 Aeronautics and Space 3 2014-01-01 2014-01-01 false Check instructor qualifications. 141.37... Requirements § 141.37 Check instructor qualifications. (a) To be designated as a check instructor for conducting student stage checks, end-of-course tests, and instructor proficiency checks under this part,...

  11. 32 CFR Attachment A to Subpart B... - Standard A-National Agency Check With Local Agency Checks and Credit Check (NACLC)

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... 32 National Defense 1 2011-07-01 2011-07-01 false Standard A-National Agency Check With Local Agency Checks and Credit Check (NACLC) A Attachment A to Subpart B of Part 147 National Defense..., Subpt. B, Att. A Attachment A to Subpart B of Part 147—Standard A—National Agency Check With...

  12. MPST Software: grl_pef_check

    NASA Technical Reports Server (NTRS)

    Call, Jared A.; Kwok, John H.; Fisher, Forest W.

    2013-01-01

    This innovation is a tool used to verify and validate spacecraft sequences at the predicted events file (PEF) level for the GRAIL (Gravity Recovery and Interior Laboratory, see http://www.nasa. gov/mission_pages/grail/main/index. html) mission as part of the Multi-Mission Planning and Sequencing Team (MPST) operations process to reduce the possibility for errors. This tool is used to catch any sequence related errors or issues immediately after the seqgen modeling to streamline downstream processes. This script verifies and validates the seqgen modeling for the GRAIL MPST process. A PEF is provided as input, and dozens of checks are performed on it to verify and validate the command products including command content, command ordering, flight-rule violations, modeling boundary consistency, resource limits, and ground commanding consistency. By performing as many checks as early in the process as possible, grl_pef_check streamlines the MPST task of generating GRAIL command and modeled products on an aggressive schedule. By enumerating each check being performed, and clearly stating the criteria and assumptions made at each step, grl_pef_check can be used as a manual checklist as well as an automated tool. This helper script was written with a focus on enabling the user with the information they need in order to evaluate a sequence quickly and efficiently, while still keeping them informed and active in the overall sequencing process. grl_pef_check verifies and validates the modeling and sequence content prior to investing any more effort into the build. There are dozens of various items in the modeling run that need to be checked, which is a time-consuming and errorprone task. Currently, no software exists that provides this functionality. Compared to a manual process, this script reduces human error and saves considerable man-hours by automating and streamlining the mission planning and sequencing task for the GRAIL mission.

  13. 40 CFR 86.328-79 - Leak checks.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... checks. (a) Vacuum side leak check. (1) Any location within the analysis system where a vacuum leak could affect the test results must be checked. (2) The maximum allowable leakage rate on the vacuum side is...

  14. 40 CFR 91.324 - Analyzer leakage check.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... Analyzer leakage check. (a) Vacuum side leak check. (1) Check any location within the analysis system where a vacuum leak could affect the test results. (2) The maximum allowable leakage rate on the...

  15. 40 CFR 91.324 - Analyzer leakage check.

    Code of Federal Regulations, 2013 CFR

    2013-07-01

    ... Analyzer leakage check. (a) Vacuum side leak check. (1) Check any location within the analysis system where a vacuum leak could affect the test results. (2) The maximum allowable leakage rate on the...

  16. 40 CFR 91.324 - Analyzer leakage check.

    Code of Federal Regulations, 2012 CFR

    2012-07-01

    ... Analyzer leakage check. (a) Vacuum side leak check. (1) Check any location within the analysis system where a vacuum leak could affect the test results. (2) The maximum allowable leakage rate on the...

  17. 40 CFR 86.328-79 - Leak checks.

    Code of Federal Regulations, 2013 CFR

    2013-07-01

    ... checks. (a) Vacuum side leak check. (1) Any location within the analysis system where a vacuum leak could affect the test results must be checked. (2) The maximum allowable leakage rate on the vacuum side is...

  18. 40 CFR 91.324 - Analyzer leakage check.

    Code of Federal Regulations, 2014 CFR

    2014-07-01

    ... Analyzer leakage check. (a) Vacuum side leak check. (1) Check any location within the analysis system where a vacuum leak could affect the test results. (2) The maximum allowable leakage rate on the...

  19. 40 CFR 91.324 - Analyzer leakage check.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... Analyzer leakage check. (a) Vacuum side leak check. (1) Check any location within the analysis system where a vacuum leak could affect the test results. (2) The maximum allowable leakage rate on the...

  20. The Family Check-Up in Early Childhood: A Case Study of Intervention Process and Change

    ERIC Educational Resources Information Center

    Gill, Anne M.; Hyde, Luke W.; Shaw, Daniel S.; Dishion, Thomas J.; Wilson, Melvin N.

    2008-01-01

    This article describes a case study in the use of the Family Check-Up (FCU), a family-based and ecological preventive intervention for children at risk for problem behavior. The FCU is an assessment-driven intervention that utilizes a health maintenance model; emphasizes motivation for change; and offers an adaptive, tailored approach to…

  1. Recent improvements in check valve monitoring methods

    SciTech Connect

    Haynes, H.D.

    1991-01-01

    In support of the NRC Nuclear Plant Aging Research (NPAR) program, ORNL has carried out an evaluation of three check valve monitoring methods: acoustic emission, ultrasonic inspection, and magnetic flux signature analysis (MFSA). This work has focussed on determining the capabilities of each method to provide diagnostic information useful in determining check valve aging and service wear effects (degradation) and undesirable operating modes. In addition, as part of the ORNL Advanced Diagnostic Engineering Research and Development Center (ADEC), two novel nonintrusive monitoring methods were developed (external ac- and dc-magnetic monitoring) that provide several improvements over the other methods. None of the examined methods could, by themselves, monitor the instantaneous position and motion of check valve internals and valve leakage; however, the combination of acoustic emission monitoring with one of the other methods provides the means to determine vital check valve operational information. This paper describes the benefits and limitations associated with each method and includes recent laboratory and field test data to illustrate the capabilities of these methods to detect simulated check valve degradation. 3 refs., 22 figs., 4 tabs.

  2. Recent improvements in check valve monitoring methods

    SciTech Connect

    Haynes, H.D.

    1990-01-01

    In support of the NRC Nuclear Plant Aging Research (NPAR) program, ORNL has carried out an evaluation of three check valve monitoring methods: acoustic emission, ultrasonic inspection, and magnetic flux signature analysis (MFSA). This work has focused on determining the capabilities of each method to provide diagnostic information useful in determining check valve aging and service wear effects (degradation) and undesirable operating modes. In addition, as part of the ORNL Advanced Diagnostic Engineering Research and Development Center (ADEC), two noval nonintrusive monitoring methods were developed (external ac- and dc-magnetic monitoring) that provide several improvements over the other methods. None of the examined methods could, by themselves, monitor the instantaneous position and motion of check valve internals and valve leakage; however, the combination of acoustic emission monitoring with one of the other methods provides the means to determine vital check valve operational information. This paper describes the benefits and limitations associated with each method and includes recent laboratory and field test data to illustrate the capabilities of these methods to detect simulated check valve degradation. 3 refs., 22 figs., 4 tabs.

  3. 14 CFR Appendix F to Part 121 - Proficiency Check Requirements

    Code of Federal Regulations, 2014 CFR

    2014-01-01

    ..., appropriate control system checks, starting procedures, radio and electronic equipment checks, and the... conditions may be substituted for the preflight inspection. If a flight engineer is a required...

  4. Glovebox pressure relief and check valve

    SciTech Connect

    Blaedel, K.L.

    1986-03-17

    This device is a combined pressure relief valve and check valve providing overpressure protection and preventing back flow into an inert atmosphere enclosure. The pressure relief is embodied by a submerged vent line in a mercury reservior, the releif pressure being a function of the submerged depth. The pressure relief can be vented into an exhaust system and the relieving pressure is only slightly influenced by the varying pressure in the exhaust system. The check valve is embodied by a ball which floats on the mercury column and contacts a seat whenever vacuum exists within the glovebox enclosure. Alternatively, the check valve is embodied by a vertical column of mercury, the maximum back pressure being a function of the height of the column of mercury.

  5. A Systematic Review of the Empirical Support for Check-in Check-Out

    ERIC Educational Resources Information Center

    Wolfe, Katie; Pyle, Daniel; Charlton, Cade T.; Sabey, Christian V.; Lund, Emily M.; Ross, Scott W.

    2016-01-01

    Tier 2 interventions play an important role within the Positive Behavioral Interventions and Supports framework, bridging the gap between schoolwide Tier 1 interventions and individualized Tier 3 supports. Check-in Check-out (CICO) is a promising Tier 2 intervention for addressing mild problem behavior and potentially preventing the need for more…

  6. 14 CFR 91.1089 - Qualifications: Check pilots (aircraft) and check pilots (simulator).

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... 14 Aeronautics and Space 2 2010-01-01 2010-01-01 false Qualifications: Check pilots (aircraft) and check pilots (simulator). 91.1089 Section 91.1089 Aeronautics and Space FEDERAL AVIATION ADMINISTRATION, DEPARTMENT OF TRANSPORTATION (CONTINUED) AIR TRAFFIC AND GENERAL OPERATING RULES GENERAL OPERATING AND FLIGHT RULES Fractional...

  7. The Effects of Check-In/Check-Out on Kindergarten Students in an Urban Setting

    ERIC Educational Resources Information Center

    Sobalvarro, Adriana; Graves, Scott L., Jr.; Hughes, Tammy

    2016-01-01

    The purpose of this project was to investigate the effectiveness of Check-in/Check-out (CICO), a targeted behavioral intervention, on reducing the problem behaviors of kindergarten students in an urban setting. Participants were referred by their teacher for exhibiting disruptive classroom behaviors, which resulted in classroom removal. Results…

  8. Implementing Check in/Check out for Students with Intellectual Disability in Self-Contained Classrooms

    ERIC Educational Resources Information Center

    Boden, Lauren J.; Ennis, Robin P.; Jolivette, Kristine

    2012-01-01

    Check in/check out (CICO) is a secondary-tier intervention implemented within the framework of schoolwide positive behavior interventions and supports (SWPBIS) that uses school-based contingencies to encourage positive behavior. CICO is a five-step cycle which uses daily progress report cards (DPR) to monitor progress toward schoolwide or…

  9. Function-Based Modification of Check-In/Check-Out to Influence Escape-Maintained Behavior

    ERIC Educational Resources Information Center

    Kilgus, Stephen P.; Fallon, Lindsay M.; Feinberg, Adam B.

    2016-01-01

    Prior research has suggested Check-In/Check-Out (CICO) effectiveness is linked to the function of problem behavior. Though effective for students whose misbehavior occurs to gain attention, findings are equivocal for behavior that occurs to escape academic tasks. The purpose of this study was to therefore evaluate a modification to CICO, wherein…

  10. Software Model Checking for Verifying Distributed Algorithms

    DTIC Science & Technology

    2014-10-28

    Verification procedure is an intelligent exhaustive search of the state space of the design Model Checking 6 Verifying Synchronous Distributed App...Distributed App Sagar Chaki, June 11, 2014 © 2014 Carnegie Mellon University Tool Usage Project webpage (http://mcda.googlecode.com) • Tutorial

  11. Inkjet 3D printed check microvalve

    NASA Astrophysics Data System (ADS)

    Walczak, Rafał; Adamski, Krzysztof; Lizanets, Danylo

    2017-04-01

    3D printing enables fast and relatively easy fabrication of various microfluidic structures including microvalves. A check microvalve is the simplest valve enabling control of the fluid flow in microchannels. Proper operation of the check valve is ensured by a movable element that tightens the valve seat during backward flow and enables free flow for forward pressure. Thus, knowledge of the mechanical properties of the movable element is crucial for optimal design and operation of the valve. In this paper, we present for the first time the results of investigations on basic mechanical properties of the building material used in multijet 3D printing. Specified mechanical properties were used in the design and fabrication of two types of check microvalve—with deflecting or hinge-fixed microflap—with 200 µm and 300 µm thickness. Results of numerical simulation and experimental data of the microflap deflection were obtained and compared. The valves were successfully 3D printed and characterised. Opening/closing characteristics of the microvalve for forward and backward pressures were determined. Thus, proper operation of the check microvalve so developed was confirmed.

  12. Body checking behaviors in anorexia nervosa.

    PubMed

    Calugi, Simona; El Ghoch, Marwan; Dalle Grave, Riccardo

    2017-01-24

    The study aimed to assess the trajectories of change in body checking over time and the change in eating disorder and general psychopathology in patients with anorexia nervosa treated with inpatient enhanced cognitive behavioral therapy (CBT-E). Sixty-six adult patients with anorexia nervosa were recruited from consecutive referrals to a community-based eating disorder clinic. Body mass index, Eating Disorder Examination, Brief Symptom Inventory, and Body Checking Questionnaire (BCQ) scores were recorded at admission (T0), end of treatment (T1), and 6- and 12-month follow-ups (T2 and T3, respectively). The BCQ was also administered at a single time point to an age-matched healthy female comparison participants group (N = 182). In comparison with comparison participants, patients had higher global BCQ scores at T0. However, mean patient scores for global BCQ administered at T1, T2, and T3 were significantly lower than that measured at baseline in the comparison participants group. The change in BCQ was significantly associated to short- and long-term improvements in eating disorder and general psychopathology. The association between change in body checking and the trajectories of change of eating disorder psychopathology supports the potential usefulness of the CBT-E strategy for reducing shape and weight concerns by addressing body checking.

  13. Posterior Predictive Model Checking in Bayesian Networks

    ERIC Educational Resources Information Center

    Crawford, Aaron

    2014-01-01

    This simulation study compared the utility of various discrepancy measures within a posterior predictive model checking (PPMC) framework for detecting different types of data-model misfit in multidimensional Bayesian network (BN) models. The investigated conditions were motivated by an applied research program utilizing an operational complex…

  14. Regulatory Conformance Checking: Logic and Logical Form

    ERIC Educational Resources Information Center

    Dinesh, Nikhil

    2010-01-01

    We consider the problem of checking whether an organization conforms to a body of regulation. Conformance is studied in a runtime verification setting. The regulation is translated to a logic, from which we synthesize monitors. The monitors are evaluated as the state of an organization evolves over time, raising an alarm if a violation is…

  15. The Art and Science of Reference Checking

    ERIC Educational Resources Information Center

    Perry, Robert Hastings

    2004-01-01

    If we could survey academic chief executive search committees across higher education, a composite definition of reference checking would likely include verification of factual information such as dates of employment, job titles, and responsibilities, as well as an evaluation of successful performance and leadership skills. Although everyone would…

  16. Regular Check-Ups Are Important

    MedlinePlus

    ... Check Alarm Batteries Know Your Family History Keep Foods Safe Get an HIV Test Wash Hands Stay Warm Have a Healthy Holiday Don't Drink and Drive Widgets Healthy People College Students Families with Special Needs Kids and Teens Express ...

  17. Functional check of telescoping transfer pumps

    SciTech Connect

    Sharpe, C.L.

    1994-04-29

    Activities are defined which constitute a functional check of a telescoping transfer pump (TTP). This report is written to the Procedures group of HLW and particularly applies to those TTP`s which are the sole means of emergency transfer from a HLW waste tank.

  18. Check out the Atmospheric Science User Forum

    Atmospheric Science Data Center

    2016-11-16

    Check out the Atmospheric Science User Forum Tuesday, November 15, 2016 The ASDC would like to bring your attention to the Atmospheric Science User Forum. The purpose of this forum is to improve user service, quality, and efficiency of NASA atmospheric science data. The forum intends to provide a quick and easy way to facilitate ...

  19. Parametric Model Checking with VerICS

    NASA Astrophysics Data System (ADS)

    Knapik, Michał; Niewiadomski, Artur; Penczek, Wojciech; Półrola, Agata; Szreter, Maciej; Zbrzezny, Andrzej

    The paper presents the verification system verICS, extended with the three new modules aimed at parametric verification of Elementary Net Systems, Distributed Time Petri Nets, and a subset of UML. All the modules exploit Bounded Model Checking for verifying parametric reachability and the properties specified in the logic PRTECTL - the parametric extension of the existential fragment of CTL.

  20. The Value of Guess and Check

    ERIC Educational Resources Information Center

    Guerrero, Shannon M.

    2010-01-01

    The National Council of Teachers of Mathematics (NCTM) Algebra Standard states that instructional programs at the middle grades should enable students to "represent and analyze mathematical situations and structures using algebraic symbols" (2000, p. 222). Guess and check is a powerful problem-solving strategy that can connect a conceptual…

  1. 31 CFR 235.4 - Check Forgery Insurance Fund.

    Code of Federal Regulations, 2012 CFR

    2012-07-01

    ... 31 Money and Finance:Treasury 2 2012-07-01 2012-07-01 false Check Forgery Insurance Fund. 235.4 Section 235.4 Money and Finance: Treasury Regulations Relating to Money and Finance (Continued) FISCAL... CHECKS DRAWN ON DESIGNATED DEPOSITARIES § 235.4 Check Forgery Insurance Fund. The Check Forgery...

  2. 30 CFR 77.803-2 - Ground check systems not employing pilot check wires; approval by the Secretary.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... wires; approval by the Secretary. 77.803-2 Section 77.803-2 Mineral Resources MINE SAFETY AND HEALTH... check systems not employing pilot check wires; approval by the Secretary. Ground check systems not employing pilot check wires shall be approved by the Secretary only if it is determined that the...

  3. 30 CFR 77.803-2 - Ground check systems not employing pilot check wires; approval by the Secretary.

    Code of Federal Regulations, 2012 CFR

    2012-07-01

    ... wires; approval by the Secretary. 77.803-2 Section 77.803-2 Mineral Resources MINE SAFETY AND HEALTH... check systems not employing pilot check wires; approval by the Secretary. Ground check systems not employing pilot check wires shall be approved by the Secretary only if it is determined that the...

  4. 30 CFR 77.803-2 - Ground check systems not employing pilot check wires; approval by the Secretary.

    Code of Federal Regulations, 2013 CFR

    2013-07-01

    ... wires; approval by the Secretary. 77.803-2 Section 77.803-2 Mineral Resources MINE SAFETY AND HEALTH... check systems not employing pilot check wires; approval by the Secretary. Ground check systems not employing pilot check wires shall be approved by the Secretary only if it is determined that the...

  5. 30 CFR 75.803-2 - Ground check systems not employing pilot check wires; approval by the Secretary.

    Code of Federal Regulations, 2013 CFR

    2013-07-01

    ... wires; approval by the Secretary. 75.803-2 Section 75.803-2 Mineral Resources MINE SAFETY AND HEALTH... Underground High-Voltage Distribution § 75.803-2 Ground check systems not employing pilot check wires; approval by the Secretary. Ground check systems not employing pilot check wires will be approved only if...

  6. 30 CFR 75.803-2 - Ground check systems not employing pilot check wires; approval by the Secretary.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... wires; approval by the Secretary. 75.803-2 Section 75.803-2 Mineral Resources MINE SAFETY AND HEALTH... Underground High-Voltage Distribution § 75.803-2 Ground check systems not employing pilot check wires; approval by the Secretary. Ground check systems not employing pilot check wires will be approved only if...

  7. 30 CFR 77.803-2 - Ground check systems not employing pilot check wires; approval by the Secretary.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... wires; approval by the Secretary. 77.803-2 Section 77.803-2 Mineral Resources MINE SAFETY AND HEALTH... check systems not employing pilot check wires; approval by the Secretary. Ground check systems not employing pilot check wires shall be approved by the Secretary only if it is determined that the...

  8. 30 CFR 75.803-2 - Ground check systems not employing pilot check wires; approval by the Secretary.

    Code of Federal Regulations, 2014 CFR

    2014-07-01

    ... wires; approval by the Secretary. 75.803-2 Section 75.803-2 Mineral Resources MINE SAFETY AND HEALTH... Underground High-Voltage Distribution § 75.803-2 Ground check systems not employing pilot check wires; approval by the Secretary. Ground check systems not employing pilot check wires will be approved only if...

  9. 30 CFR 77.803-2 - Ground check systems not employing pilot check wires; approval by the Secretary.

    Code of Federal Regulations, 2014 CFR

    2014-07-01

    ... wires; approval by the Secretary. 77.803-2 Section 77.803-2 Mineral Resources MINE SAFETY AND HEALTH... check systems not employing pilot check wires; approval by the Secretary. Ground check systems not employing pilot check wires shall be approved by the Secretary only if it is determined that the...

  10. 30 CFR 75.803-2 - Ground check systems not employing pilot check wires; approval by the Secretary.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... wires; approval by the Secretary. 75.803-2 Section 75.803-2 Mineral Resources MINE SAFETY AND HEALTH... Underground High-Voltage Distribution § 75.803-2 Ground check systems not employing pilot check wires; approval by the Secretary. Ground check systems not employing pilot check wires will be approved only if...

  11. 30 CFR 75.803-2 - Ground check systems not employing pilot check wires; approval by the Secretary.

    Code of Federal Regulations, 2012 CFR

    2012-07-01

    ... wires; approval by the Secretary. 75.803-2 Section 75.803-2 Mineral Resources MINE SAFETY AND HEALTH... Underground High-Voltage Distribution § 75.803-2 Ground check systems not employing pilot check wires; approval by the Secretary. Ground check systems not employing pilot check wires will be approved only if...

  12. 32 CFR Attachment A to Subpart B... - Standard A-National Agency Check With Local Agency Checks and Credit Check (NACLC)

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... Agency Checks and Credit Check (NACLC) A Attachment A to Subpart B of Part 147 National Defense..., Subpt. B, Att. A Attachment A to Subpart B of Part 147—Standard A—National Agency Check With Local...) from the date of, the previous investigation or reinvestigation. (Attachment D to this subpart, Table...

  13. Apparatus for checking dimensions of workpieces

    DOEpatents

    Possati, Mario; Golinelli, Guido

    1992-01-01

    An apparatus for checking features of workpieces with rotational symmetry defining a geometrical axis, which includes a base, rest devices fixed to the base for supporting the workpiece with the geometrical axis horizontally arranged, and a support structure coupled to the base for rotation about a horizontal axis. A counterweight and sensor are coupled to the support structure and movable with the support structure from a rest position, allowing loading of the workpiece to be checked onto the rest devices to a working position where the sensor is brought into cooperation with the workpiece. The axis of rotation of the support structure is arranged below the axis of the workpiece, in correspondence to a vertical geometrical plane passing through the workpiece geometric axis when the workpiece is positioned on the rest devices.

  14. Recollection, belief and metacognition: a reality check.

    PubMed

    Blank, Hartmut

    2016-10-15

    Non-believed autobiographical memories [e.g. Mazzoni, G., Scoboria, A., & Harvey, L. (2010). Nonbelieved memories. Psychological Science, 21, 1334-1340] are striking examples of divergences between recollective experiences and beliefs in their correspondence to real events. After reviewing a broader range of similar phenomena, I argue that recollection-belief divergences can arise from normal, "healthy" metacognitive monitoring and control processes that balance memory recollections and reality constraints. Such validating "reality checks" draw on general world knowledge and external/social information. Importantly, changes in (perceived) reality constraints can lead to changes in memory beliefs. More generally, both recollection and (external) reality are keys to the past. In many cases, more or less automatic (System 1-type) reliance on recollection is sufficient (or memory would be useless as a system), but sometimes more elaborate (System 2-type) reality checks are needed. I conclude with some ideas about memory-driven and reality-driven recollection-belief divergences.

  15. Slicing AADL Specifications for Model Checking

    NASA Technical Reports Server (NTRS)

    Odenbrett, Maximilian; Nguyen, Viet Yen; Noll, Thomas

    2010-01-01

    To combat the state-space explosion problem in model checking larger systems, abstraction techniques can be employed. Here, methods that operate on the system specification before constructing its state space are preferable to those that try to minimize the resulting transition system as they generally reduce peak memory requirements. We sketch a slicing algorithm for system specifications written in (a variant of) the Architecture Analysis and Design Language (AADL). Given a specification and a property to be verified, it automatically removes those parts of the specification that are irrelevant for model checking the property, thus reducing the size of the corresponding transition system. The applicability and effectiveness of our approach is demonstrated by analyzing the state-space reduction for an example, employing a translator from AADL to Promela, the input language of the SPIN model checker.

  16. Model Checking the Remote Agent Planner

    NASA Technical Reports Server (NTRS)

    Khatib, Lina; Muscettola, Nicola; Havelund, Klaus; Norvig, Peter (Technical Monitor)

    2001-01-01

    This work tackles the problem of using Model Checking for the purpose of verifying the HSTS (Scheduling Testbed System) planning system. HSTS is the planner and scheduler of the remote agent autonomous control system deployed in Deep Space One (DS1). Model Checking allows for the verification of domain models as well as planning entries. We have chosen the real-time model checker UPPAAL for this work. We start by motivating our work in the introduction. Then we give a brief description of HSTS and UPPAAL. After that, we give a sketch for the mapping of HSTS models into UPPAAL and we present samples of plan model properties one may want to verify.

  17. Water system microbial check valve development

    NASA Technical Reports Server (NTRS)

    Colombo, G. V.; Greenley, D. R.; Putnam, D. F.

    1978-01-01

    A residual iodine microbial check valve (RIMCV) assembly was developed and tested. The assembly is designed to be used in the space shuttle potable water system. The RIMCV is based on an anion exchange resin that is supersaturated with an iodine solution. This system causes a residual to be present in the effluent water which provides continuing bactericidal action. A flight prototype design was finalized and five units were manufactured and delivered.

  18. Delivery quality assurance with ArcCHECK

    SciTech Connect

    Neilson, Christopher; Klein, Michael; Barnett, Rob; Yartsev, Slav

    2013-04-01

    Radiation therapy requires delivery quality assurance (DQA) to ensure that treatment is accurate and closely follows the plan. We report our experience with the ArcCHECK phantom and investigate its potential optimization for the DQA process. One-hundred seventy DQA plans from 84 patients were studied. Plans were classified into 2 groups: those with the target situated on the diodes of the ArcCHECK (D plans) and those with the target situated at the center (C plans). Gamma pass rates for 8 target sites were examined. The parameters used to analyze the data included 3%/3 mm with the Van Dyk percent difference criteria (VD) on, 3%/3 mm with the VD off, 2%/2 mm with the VD on, and x/3 mm with the VD on and the percentage dosimetric agreement “x” for diode plans adjusted. D plans typically displayed maximum planned dose (MPD) on the cylindrical surface containing ArcCHECK diodes than center plans, resulting in inflated gamma pass rates. When this was taken into account by adjusting the percentage dosimetric agreement, C plans outperformed D plans by an average of 3.5%. ArcCHECK can streamline the DQA process, consuming less time and resources than radiographic films. It is unnecessary to generate 2 DQA plans for each patient; a single center plan will suffice. Six of 8 target sites consistently displayed pass rates well within our acceptance criteria; the lesser performance of head and neck and spinal sites can be attributed to marginally lower doses and increased high gradient of plans.

  19. Pre-resistance-welding resistance check

    DOEpatents

    Destefan, Dennis E.; Stompro, David A.

    1991-01-01

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

  20. A rigorous approach to self-checking programming

    NASA Technical Reports Server (NTRS)

    Hua, Kien A.; Abraham, Jacob A.

    1986-01-01

    Self-checking programming is shown to be an effective concurrent error detection technique. The reliability of a self-checking program however relies on the quality of its assertion statements. A self-checking program written without formal guidelines could provide a poor coverage of the errors. A constructive technique for self-checking programming is presented. A Structured Program Design Language (SPDL) suitable for self-checking software development is defined. A set of formal rules, was also developed, that allows the transfromation of SPDL designs into self-checking designs to be done in a systematic manner.

  1. Three quarter view of traffic check house, looking northwest ...

    Library of Congress Historic Buildings Survey, Historic Engineering Record, Historic Landscapes Survey

    Three quarter view of traffic check house, looking northwest - Offutt Air Force Base, Strategic Air Command Headquarters & Command Center, Traffic Check House, Mercury Avenue between D-Wing & E-Wing, Bellevue, Sarpy County, NE

  2. 32 CFR 147.24 - The national agency check.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... Standards § 147.24 The national agency check. The National Agency Check is a part of all investigations and reinvestigations. It consists of a review of; (a) Investigative and criminal history files of the FBI, including...

  3. Quantum anonymous voting with anonymity check

    NASA Astrophysics Data System (ADS)

    Horoshko, Dmitri; Kilin, Sergei

    2011-02-01

    We propose a new protocol for quantum anonymous voting having serious advantages over the existing protocols: it protects both the voters from a curious tallyman and all the participants from a dishonest voter in unconditional way. The central idea of the protocol is that the ballots are given back to the voters after the voting process, which gives a possibility for two voters to check the anonymity of the vote counting process by preparing a special entangled state of two ballots. Any attempt of cheating from the side of the tallyman results in destroying the entanglement, which can be detected by the voters.

  4. Check valve with poppet damping mechanism

    NASA Technical Reports Server (NTRS)

    Morris, Brian G. (Inventor)

    1993-01-01

    An inline check valve for a flow line is presented where the valve element is guided for inline travel forward and rearward of a valve sealing member and is spring biased to a closed sealing condition. One of the guides for the valve element includes a dashpot bore and plunger member to control the rate of travel of the valve element in either direction as well as provided a guiding function. The dashpot is not anchored to the valve body so that the valve can be functional even if the plunger member becomes jammed in the dashpot.

  5. Check valve with poppet damping mechanism

    NASA Astrophysics Data System (ADS)

    Morris, Brian G.

    1993-08-01

    An inline check valve for a flow line is presented where the valve element is guided for inline travel forward and rearward of a valve sealing member and is spring biased to a closed sealing condition. One of the guides for the valve element includes a dashpot bore and plunger member to control the rate of travel of the valve element in either direction as well as provided a guiding function. The dashpot is not anchored to the valve body so that the valve can be functional even if the plunger member becomes jammed in the dashpot.

  6. Check valve with poppet damping mechanism

    NASA Astrophysics Data System (ADS)

    Morris, Brian G.

    1992-06-01

    An inline check valve for a flow line is presented where the valve element is guided for inline travel forward and rearward of a valve sealing member and is spring biased to a closed sealing condition. One of the guides for the valve element includes a dashpot bore and plunger member to control the rate of travel of the valve element in either direction as well as provided a guiding function. The dashpot is not anchored to the valve body so that the valve can be functional even if the plunger member becomes jammed in the dashpot.

  7. Checking Automated-Welder Programs By Computer

    NASA Technical Reports Server (NTRS)

    Damicone, L. O.

    1990-01-01

    Computer system detects and displays actual and potential errors in programs for computer-controlled electron-beam welder. Uses personal computer, separate from welding computer. Programmed specifically to highlight errors in welding program. Eliminates need for preweld full-power test run reducing checkout time to about half hour. Assures much higher quality, damage-free welding. Used to create and edit new programs for welder. Control computer thereby free for production. Useful for checking programs for such other computer-controlled equipment as inertia welders, robots, machine tools, and heat treaters.

  8. 7 CFR 1944.540 - Requesting TSA checks.

    Code of Federal Regulations, 2014 CFR

    2014-01-01

    ... TSA checks. (a) The initial TSA check may cover the applicant's needs for the first calendar month. If the first calendar month is a partial month, the check will cover the needs for the partial month and... accordance with the detailed budget, including amendments, as approved by FmHA or its successor agency...

  9. 40 CFR 86.327-79 - Quench checks; NOX analyzer.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... Quench checks; NOX analyzer. (a) Perform the reaction chamber quench check for each model of high vacuum reaction chamber analyzer prior to initial use. (b) Perform the reaction chamber quench check for each new analyzer that has an ambient pressure or “soft vacuum” reaction chamber prior to initial use....

  10. 40 CFR 86.327-79 - Quench checks; NOX analyzer.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... Quench checks; NOX analyzer. (a) Perform the reaction chamber quench check for each model of high vacuum reaction chamber analyzer prior to initial use. (b) Perform the reaction chamber quench check for each new analyzer that has an ambient pressure or “soft vacuum” reaction chamber prior to initial use....

  11. 7 CFR 1944.540 - Requesting TSA checks.

    Code of Federal Regulations, 2011 CFR

    2011-01-01

    ... TSA checks. (a) The initial TSA check may cover the applicant's needs for the first calendar month. If the first calendar month is a partial month, the check will cover the needs for the partial month and... accordance with the detailed budget, including amendments, as approved by FmHA or its successor agency...

  12. Testing Intelligently Includes Double-Checking Wechsler IQ Scores

    ERIC Educational Resources Information Center

    Kuentzel, Jeffrey G.; Hetterscheidt, Lesley A.; Barnett, Douglas

    2011-01-01

    The rigors of standardized testing make for numerous opportunities for examiner error, including simple computational mistakes in scoring. Although experts recommend that test scoring be double-checked, the extent to which independent double-checking would reduce scoring errors is not known. A double-checking procedure was established at a…

  13. 42 CFR 60.52 - The student's loan check.

    Code of Federal Regulations, 2013 CFR

    2013-10-01

    ... 42 Public Health 1 2013-10-01 2013-10-01 false The student's loan check. 60.52 Section 60.52... ASSISTANCE LOAN PROGRAM The School § 60.52 The student's loan check. (a) When a school receives from a HEAL lender a loan disbursement check or draft payable jointly to the school and to one of its students,...

  14. 42 CFR 60.52 - The student's loan check.

    Code of Federal Regulations, 2011 CFR

    2011-10-01

    ... 42 Public Health 1 2011-10-01 2011-10-01 false The student's loan check. 60.52 Section 60.52... ASSISTANCE LOAN PROGRAM The School § 60.52 The student's loan check. (a) When a school receives from a HEAL lender a loan disbursement check or draft payable jointly to the school and to one of its students,...

  15. 42 CFR 60.52 - The student's loan check.

    Code of Federal Regulations, 2012 CFR

    2012-10-01

    ... 42 Public Health 1 2012-10-01 2012-10-01 false The student's loan check. 60.52 Section 60.52... ASSISTANCE LOAN PROGRAM The School § 60.52 The student's loan check. (a) When a school receives from a HEAL lender a loan disbursement check or draft payable jointly to the school and to one of its students,...

  16. 42 CFR 60.52 - The student's loan check.

    Code of Federal Regulations, 2010 CFR

    2010-10-01

    ... 42 Public Health 1 2010-10-01 2010-10-01 false The student's loan check. 60.52 Section 60.52... ASSISTANCE LOAN PROGRAM The School § 60.52 The student's loan check. (a) When a school receives from a HEAL lender a loan disbursement check or draft payable jointly to the school and to one of its students,...

  17. 42 CFR 60.52 - The student's loan check.

    Code of Federal Regulations, 2014 CFR

    2014-10-01

    ... 42 Public Health 1 2014-10-01 2014-10-01 false The student's loan check. 60.52 Section 60.52... ASSISTANCE LOAN PROGRAM The School § 60.52 The student's loan check. (a) When a school receives from a HEAL lender a loan disbursement check or draft payable jointly to the school and to one of its students,...

  18. 30 CFR 77.309 - Visual check of system equipment.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... 30 Mineral Resources 1 2010-07-01 2010-07-01 false Visual check of system equipment. 77.309 Section 77.309 Mineral Resources MINE SAFETY AND HEALTH ADMINISTRATION, DEPARTMENT OF LABOR COAL MINE... COAL MINES Thermal Dryers § 77.309 Visual check of system equipment. Frequent visual checks shall...

  19. 12 CFR 229.36 - Presentment and issuance of checks.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... 12 Banks and Banking 3 2010-01-01 2010-01-01 false Presentment and issuance of checks. 229.36 Section 229.36 Banks and Banking FEDERAL RESERVE SYSTEM (CONTINUED) BOARD OF GOVERNORS OF THE FEDERAL RESERVE SYSTEM AVAILABILITY OF FUNDS AND COLLECTION OF CHECKS (REGULATION CC) Collection of Checks §...

  20. 31 CFR 240.12 - Processing of checks.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... 31 Money and Finance:Treasury 2 2011-07-01 2011-07-01 false Processing of checks. 240.12 Section... ON THE UNITED STATES TREASURY General Provisions § 240.12 Processing of checks. (a) Federal Reserve... examination and will provide the presenting bank with a copy or image of the check. Such presenting bank...

  1. 31 CFR 240.12 - Processing of checks.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... 31 Money and Finance: Treasury 2 2010-07-01 2010-07-01 false Processing of checks. 240.12 Section... ON THE UNITED STATES TREASURY General Provisions § 240.12 Processing of checks. (a) Federal Reserve... examination and will provide the presenting bank with a copy or image of the check. Such presenting bank...

  2. 40 CFR 90.324 - Analyzer leakage check.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... Provisions § 90.324 Analyzer leakage check. (a) Vacuum side leak check. (1) Check any location within the analysis system where a vacuum leak could affect the test results. (2) The maximum allowable leakage rate on the vacuum side is 0.5 percent of the in-use flow rate for the portion of the system being...

  3. 40 CFR 90.324 - Analyzer leakage check.

    Code of Federal Regulations, 2012 CFR

    2012-07-01

    ... Provisions § 90.324 Analyzer leakage check. (a) Vacuum side leak check. (1) Check any location within the analysis system where a vacuum leak could affect the test results. (2) The maximum allowable leakage rate on the vacuum side is 0.5 percent of the in-use flow rate for the portion of the system being...

  4. 40 CFR 90.324 - Analyzer leakage check.

    Code of Federal Regulations, 2014 CFR

    2014-07-01

    ... Provisions § 90.324 Analyzer leakage check. (a) Vacuum side leak check. (1) Check any location within the analysis system where a vacuum leak could affect the test results. (2) The maximum allowable leakage rate on the vacuum side is 0.5 percent of the in-use flow rate for the portion of the system being...

  5. 40 CFR 90.324 - Analyzer leakage check.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... Provisions § 90.324 Analyzer leakage check. (a) Vacuum side leak check. (1) Check any location within the analysis system where a vacuum leak could affect the test results. (2) The maximum allowable leakage rate on the vacuum side is 0.5 percent of the in-use flow rate for the portion of the system being...

  6. 40 CFR 92.118 - Analyzer checks and calibrations.

    Code of Federal Regulations, 2014 CFR

    2014-07-01

    ... used, a response time check is not required. (b) Leak checks—(1) Vacuum side leak check. (i) Any location within the analysis system where a vacuum leak could affect the test results must be checked. (ii) The maximum allowable leakage rate on the vacuum side is 0.5 percent of the in-use flow rate for...

  7. 40 CFR 90.324 - Analyzer leakage check.

    Code of Federal Regulations, 2013 CFR

    2013-07-01

    ... Provisions § 90.324 Analyzer leakage check. (a) Vacuum side leak check. (1) Check any location within the analysis system where a vacuum leak could affect the test results. (2) The maximum allowable leakage rate on the vacuum side is 0.5 percent of the in-use flow rate for the portion of the system being...

  8. 42 CFR 455.19 - Provider's statement on check.

    Code of Federal Regulations, 2010 CFR

    2010-10-01

    ... 42 Public Health 4 2010-10-01 2010-10-01 false Provider's statement on check. 455.19 Section 455.19 Public Health CENTERS FOR MEDICARE & MEDICAID SERVICES, DEPARTMENT OF HEALTH AND HUMAN SERVICES... checks or warrants payable to each provider: “I understand in endorsing or depositing this check...

  9. 12 CFR 229.52 - Substitute check warranties.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... 12 Banks and Banking 3 2010-01-01 2010-01-01 false Substitute check warranties. 229.52 Section 229.52 Banks and Banking FEDERAL RESERVE SYSTEM (CONTINUED) BOARD OF GOVERNORS OF THE FEDERAL RESERVE SYSTEM AVAILABILITY OF FUNDS AND COLLECTION OF CHECKS (REGULATION CC) Substitute Checks §...

  10. 12 CFR 229.53 - Substitute check indemnity.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... 12 Banks and Banking 3 2010-01-01 2010-01-01 false Substitute check indemnity. 229.53 Section 229.53 Banks and Banking FEDERAL RESERVE SYSTEM (CONTINUED) BOARD OF GOVERNORS OF THE FEDERAL RESERVE SYSTEM AVAILABILITY OF FUNDS AND COLLECTION OF CHECKS (REGULATION CC) Substitute Checks §...

  11. Check & Connect: A Comprehensive Student Engagement Intervention Manual

    ERIC Educational Resources Information Center

    Christenson, Sandra L.; Thurlow, Martha L.; Sinclair, Mary F.; Lehr, Camilla A.; Kaibel, Colleen M.; Reschly, Amy L.; Mavis, Ann; Pohl, Angie

    2008-01-01

    Check & Connect was created in a five year period from 1990 to 1995. The original manual, entitled "Keeping Kids in School: Using Check & Connect for Dropout Prevention" and written by David Evelo, Mary Sinclair, Christine Hurley, Sandra Christenson, and Martha Thurlow, was published in 1996 (ED398701). This newly revised Check & Connect manual…

  12. 40 CFR 86.327-79 - Quench checks; NOX analyzer.

    Code of Federal Regulations, 2013 CFR

    2013-07-01

    ... Quench checks; NOX analyzer. (a) Perform the reaction chamber quench check for each model of high vacuum reaction chamber analyzer prior to initial use. (b) Perform the reaction chamber quench check for each new analyzer that has an ambient pressure or “soft vacuum” reaction chamber prior to initial use....

  13. 75 FR 219 - Availability of Funds and Collection of Checks

    Federal Register 2010, 2011, 2012, 2013, 2014

    2010-01-05

    ... availability checks and local checks in Regulation CC to delete the reference to the head office of the Federal... office to the head office of the Federal Reserve Bank of Cleveland. These amendments reflect the... the check- processing operations of the head office of the Federal Reserve Bank of Atlanta to the...

  14. 42 CFR 455.436 - Federal database checks.

    Code of Federal Regulations, 2014 CFR

    2014-10-01

    ... 42 Public Health 4 2014-10-01 2014-10-01 false Federal database checks. 455.436 Section 455.436....436 Federal database checks. The State Medicaid agency must do all of the following: (a) Confirm the... databases. (b) Check the Social Security Administration's Death Master File, the National Plan and...

  15. 42 CFR 455.436 - Federal database checks.

    Code of Federal Regulations, 2012 CFR

    2012-10-01

    ... 42 Public Health 4 2012-10-01 2012-10-01 false Federal database checks. 455.436 Section 455.436....436 Federal database checks. The State Medicaid agency must do all of the following: (a) Confirm the... databases. (b) Check the Social Security Administration's Death Master File, the National Plan and...

  16. 42 CFR 455.436 - Federal database checks.

    Code of Federal Regulations, 2013 CFR

    2013-10-01

    ... 42 Public Health 4 2013-10-01 2013-10-01 false Federal database checks. 455.436 Section 455.436....436 Federal database checks. The State Medicaid agency must do all of the following: (a) Confirm the... databases. (b) Check the Social Security Administration's Death Master File, the National Plan and...

  17. 42 CFR 455.436 - Federal database checks.

    Code of Federal Regulations, 2011 CFR

    2011-10-01

    ... 42 Public Health 4 2011-10-01 2011-10-01 false Federal database checks. 455.436 Section 455.436....436 Federal database checks. The State Medicaid agency must do all of the following: (a) Confirm the... interest or who is an agent or managing employee of the provider through routine checks of...

  18. Preventive Maintenance Checks and Services (PMCS). Do We Check Too Much and Maintain Too Little

    DTIC Science & Technology

    1990-03-26

    They were similar to the trucks and tractors that many soldiers had back home on the farms . Since the U.S. was predominantly a rural society then, the...of an item requiring before-operation checks would render the :t m - iot mission-capable. Currently there are over 200 PMCS checks on the new Abrams...ensure that we are maintaining our vehicles in a go-to-war condition and that we are doing it the smart way. Our system requires significant changes

  19. Space shuttle prototype check valve development

    NASA Technical Reports Server (NTRS)

    Tellier, G. F.

    1976-01-01

    Contaminant-resistant seal designs and a dynamically stable prototype check valve for the orbital maneuvering and reaction control helium pressurization systems of the space shuttle were developed. Polymer and carbide seal models were designed and tested. Perfluoroelastomers compatible with N2O4 and N2H4 types were evaluated and compared with Teflon in flat and captive seal models. Low load sealing and contamination resistance tests demonstrated cutter seal superiority over polymer seals. Ceramic and carbide materials were evaluated for N2O4 service using exposure to RFNA as a worst case screen; chemically vapor deposited tungsten carbide was shown to be impervious to the acid after 6 months immersion. A unique carbide shell poppet/cutter seat check valve was designed and tested to demonstrate low cracking pressure ( 2.0 psid), dynamic stability under all test bench flow conditions, contamination resistance (0.001 inch CRES wires cut with 1.5 pound seat load) and long life of 100,000 cycles (leakage 1.0 scc/hr helium from 0.1 to 400 psig).

  20. 14 CFR 121.411 - Qualifications: Check airmen (airplane) and check airmen (simulator).

    Code of Federal Regulations, 2012 CFR

    2012-01-01

    ... check airmen (simulator). 121.411 Section 121.411 Aeronautics and Space FEDERAL AVIATION ADMINISTRATION... certificates and ratings required to serve as a pilot in command, a flight engineer, or a flight navigator, as..., flight engineer, or flight navigator, as applicable, in operations under this part; (3)...

  1. 14 CFR 121.411 - Qualifications: Check airmen (airplane) and check airmen (simulator).

    Code of Federal Regulations, 2014 CFR

    2014-01-01

    ... check airmen (simulator). 121.411 Section 121.411 Aeronautics and Space FEDERAL AVIATION ADMINISTRATION... pilot in command, a flight engineer, or a flight navigator, as applicable, in operations under this part... recurrent training, that are required to serve as a pilot in command, flight engineer, or flight...

  2. 14 CFR 121.411 - Qualifications: Check airmen (airplane) and check airmen (simulator).

    Code of Federal Regulations, 2013 CFR

    2013-01-01

    ... check airmen (simulator). 121.411 Section 121.411 Aeronautics and Space FEDERAL AVIATION ADMINISTRATION... certificates and ratings required to serve as a pilot in command, a flight engineer, or a flight navigator, as..., flight engineer, or flight navigator, as applicable, in operations under this part; (3)...

  3. Checking in: An Analysis of the (Lack of) Body Checking in Women's Ice Hockey

    ERIC Educational Resources Information Center

    Weaving, Charlene; Roberts, Samuel

    2012-01-01

    Despite the growing popularity of women's ice hockey in North America, players continue to face limitations because of the prohibition of body checking. In this paper, we argue from a liberal feminist philosophical perspective that this prohibition reinforces existing traditional stereotypes of female athletes. Because the women's game does not…

  4. Progress Check Module; Basic Electricity and Electronics Individualized Learning System. Progress Check Booklet.

    ERIC Educational Resources Information Center

    Bureau of Naval Personnel, Washington, DC.

    The Progress Check Booklet is designed to be used by the student working in the programed course to determine if he has mastered the concepts in the course booklets on: electrical current; voltage; resistance; measuring current and voltage in series circuits; relationships of current, voltage, and resistance; parellel circuits; combination…

  5. Body checking and avoidance in ethnically diverse female college students.

    PubMed

    White, Emily K; Warren, Cortney S

    2013-09-01

    Although body checking and avoidance behaviors are common in women with eating disorders, minimal research has examined the nature or correlates of these behaviors in ethnically diverse female college students without eating disorders. Self-identified European American (n=268), Asian American (n=163), Latina (n=146), and African American (n=73) women completed self-report measures of body checking and avoidance, thin-ideal internalization, eating pathology, and clinical impairment. Results indicated that European and Asian American women reported significantly more body checking and avoidance than African American and Latina women. Generally, correlates of body checking and avoidance were consistent across ethnic groups: Regression analyses indicated that type of ethnicity predicted body checking and avoidance; and ethnicity, body checking, and body avoidance predicted eating pathology and clinical impairment. These associations suggest that body checking and avoidance are not benign behaviors in diverse nonclinical women.

  6. Automated Environment Generation for Software Model Checking

    NASA Technical Reports Server (NTRS)

    Tkachuk, Oksana; Dwyer, Matthew B.; Pasareanu, Corina S.

    2003-01-01

    A key problem in model checking open systems is environment modeling (i.e., representing the behavior of the execution context of the system under analysis). Software systems are fundamentally open since their behavior is dependent on patterns of invocation of system components and values defined outside the system but referenced within the system. Whether reasoning about the behavior of whole programs or about program components, an abstract model of the environment can be essential in enabling sufficiently precise yet tractable verification. In this paper, we describe an approach to generating environments of Java program fragments. This approach integrates formally specified assumptions about environment behavior with sound abstractions of environment implementations to form a model of the environment. The approach is implemented in the Bandera Environment Generator (BEG) which we describe along with our experience using BEG to reason about properties of several non-trivial concurrent Java programs.

  7. Water system microbial check valve development

    NASA Technical Reports Server (NTRS)

    Colombo, G. V.; Greenley, D. R.; Putnam, D. F.

    1978-01-01

    Development work on a device for the Space Shuttle that will prevent the transfer of viable microorganisms within water systems is described. The device serves as a check valve in that it prevents the transfer or cross-contamination of microorganisms from a nonpotable system into a potable water system when these systems are interconnected. In this regard, the function of the device is similar to that of the air gap found in conventional one gravity systems. The device is essentially a bed of resin material impregnated with iodine. Basic design data for a variety of flow and temperature conditions are presented, together with results of challenging the beds with suspensions of seven microorganisms including aerobes, anaerobes, and spore formers.

  8. The Mars Science Laboratory Organic Check Material

    NASA Technical Reports Server (NTRS)

    Conrad, Pamela G.; Eigenbrode, J. E.; Mogensen, C. T.; VonderHeydt, M. O.; Glavin, D. P.; Mahaffy, P. M.; Johnson, J. A.

    2011-01-01

    The Organic Check Material (OCM) has been developed for use on the Mars Science Laboratory mission to serve as a sample standard for verification of organic cleanliness and characterization of potential sample alteration as a function of the sample acquisition and portioning process on the Curiosity rover. OCM samples will be acquired using the same procedures for drilling, portioning and delivery as are used to study martian samples with The Sample Analysis at Mars (SAM) instrument suite during MSL surface operations. Because the SAM suite is highly sensitive to organic molecules, the mission can better verify the cleanliness of Curiosity's sample acquisition hardware if a known material can be processed through SAM and compared with the results obtained from martian samples.

  9. Model Checking Abstract PLEXIL Programs with SMART

    NASA Technical Reports Server (NTRS)

    Siminiceanu, Radu I.

    2007-01-01

    We describe a method to automatically generate discrete-state models of abstract Plan Execution Interchange Language (PLEXIL) programs that can be analyzed using model checking tools. Starting from a high-level description of a PLEXIL program or a family of programs with common characteristics, the generator lays the framework that models the principles of program execution. The concrete parts of the program are not automatically generated, but require the modeler to introduce them by hand. As a case study, we generate models to verify properties of the PLEXIL macro constructs that are introduced as shorthand notation. After an exhaustive analysis, we conclude that the macro definitions obey the intended semantics and behave as expected, but contingently on a few specific requirements on the timing semantics of micro-steps in the concrete executive implementation.

  10. The Mars Science Laboratory Organic Check Material

    NASA Astrophysics Data System (ADS)

    Conrad, Pamela G.; Eigenbrode, Jennifer L.; Von der Heydt, Max O.; Mogensen, Claus T.; Canham, John; Harpold, Dan N.; Johnson, Joel; Errigo, Therese; Glavin, Daniel P.; Mahaffy, Paul R.

    2012-09-01

    Mars Science Laboratory's Curiosity rover carries a set of five external verification standards in hermetically sealed containers that can be sampled as would be a Martian rock, by drilling and then portioning into the solid sample inlet of the Sample Analysis at Mars (SAM) suite. Each organic check material (OCM) canister contains a porous ceramic solid, which has been doped with a fluorinated hydrocarbon marker that can be detected by SAM. The purpose of the OCM is to serve as a verification tool for the organic cleanliness of those parts of the sample chain that cannot be cleaned other than by dilution, i.e., repeated sampling of Martian rock. SAM possesses internal calibrants for verification of both its performance and its internal cleanliness, and the OCM is not used for that purpose. Each OCM unit is designed for one use only, and the choice to do so will be made by the project science group (PSG).

  11. Model Checking JAVA Programs Using Java Pathfinder

    NASA Technical Reports Server (NTRS)

    Havelund, Klaus; Pressburger, Thomas

    2000-01-01

    This paper describes a translator called JAVA PATHFINDER from JAVA to PROMELA, the "programming language" of the SPIN model checker. The purpose is to establish a framework for verification and debugging of JAVA programs based on model checking. This work should be seen in a broader attempt to make formal methods applicable "in the loop" of programming within NASA's areas such as space, aviation, and robotics. Our main goal is to create automated formal methods such that programmers themselves can apply these in their daily work (in the loop) without the need for specialists to manually reformulate a program into a different notation in order to analyze the program. This work is a continuation of an effort to formally verify, using SPIN, a multi-threaded operating system programmed in Lisp for the Deep-Space 1 spacecraft, and of previous work in applying existing model checkers and theorem provers to real applications.

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

  13. An answer checking method for quantum annealers

    NASA Astrophysics Data System (ADS)

    Perera, Dilina; Novotny, M. A.

    2016-09-01

    We present a generic approach for checking the validity of the solutions returned by quantum annealing devices to aid in the analysis of whether the solution is the true ground state of the desired problem. The underlying principle is to embed a mirrored graph G' of the original graph G, and connect the two graphs via strong ferromagnetic/antiferromagnetic couplings that span across the mirror plane. This allows one to dismiss solutions that do not agree with the underlying mirror symmetry inherent to the true ground state of the composite graph. Using a 1000 qubit D-Wave 2X device, we demonstrate this method by applying it to spin glass problems defined on the device's native Chimera architecture.

  14. Thermodynamic Pressure/Temperature Transducer Health Check

    NASA Technical Reports Server (NTRS)

    Immer, Christopher D. (Inventor); Eckhoff, Anthony (Inventor); Medelius, Pedro J. (Inventor); Deyoe, Richard T. (Inventor); Starr, Stanley O. (Inventor)

    2004-01-01

    A device and procedure for checking the health of a pressure transducer in situ is provided. The procedure includes measuring a fixed change in pressure above ambient pressure and a fixed change in pressure below ambient pressure. This is done by first sealing an enclosed volume around the transducer with a valve. A piston inside the sealed volume is increasing the pressure. A fixed pressure below ambient pressure is obtained by opening the valve, driving the piston The output of the pressure transducer is recorded for both the overpressuring and the underpressuring. By comparing this data with data taken during a preoperative calibration, the health of the transducer is determined from the linearity, the hysteresis, and the repeatability of its output. The further addition of a thermometer allows constant offset error in the transducer output to be determined.

  15. Buddies, Back Packs, and Blisters

    ERIC Educational Resources Information Center

    Coffey, James V.; Ferree, John

    1974-01-01

    The authors describe a program involving nine middle school boys and three high school boys on a 30-mile hike on the Appalachian Trail which attempted to: (1) improve attitudes toward school; (2) improve school achievement; (3) develop a helping relationship with an older boy; and (4) improve the self-concept of the younger boy. (Author/RP)

  16. Feasibility and accuracy of medication checks via Internet video.

    PubMed

    Bradford, Natalie; Armfield, Nigel R; Young, Jeanine; Smith, Anthony C

    2012-04-01

    We investigated the feasibility and accuracy of using Internet-based videoconferencing for double-checking medications. Ten participants checked 30 different medications using a desktop PC and a webcam. The accuracy of the video-based checks was compared with 'face-to-vial' checks. The checks included the drug name, dosage and expiry dates of ampoules, vials and tablets, as well as graduations on syringes. There was 100% accuracy for drug name, dosage, and graduations on syringes greater than 1 unit. The expiry dates proved more difficult to read, and accuracy was only 63%. The mean overall accuracy was 91% for all items. Internet video-based medication double-checks may have a useful role to play in processes to ensure the safe use of medications in home care.

  17. Analyzing Tabular Requirements Specifications Using Infinite State Model Checking

    DTIC Science & Technology

    2006-01-01

    two-state properties that hold in every reachable transition. Property Checking with Salsa . The SCR property checker Salsa [5] may be used to check...SCR specifications for Dis- jointness and Coverage and for satisfaction of state and tran- sition invariants. Salsa can check the validity of formulas...TAME and Salsa . 3. Action Language Verifier Action Language is a specification language for reactive software systems. The Action Language Verifier

  18. Trapping efficiency of three types check dams experiment

    NASA Astrophysics Data System (ADS)

    Huang, Hui-Kai; CHEN, Su-Chin; AN, Hsuan-Pei

    2015-04-01

    The check dams constructed to trap debris flow. This study divide check dams into three types as closed-type check dam, slit dam, and modular steel check dam. Closed-type check dam which can trap all kind of sediment or driftwood. Slit check dam is permeable dam, so it can prevent from depositing all of sediment or driftwood. A modular steel check dam improves the existing hard-to-change disadvantages of slit dam structure. The assembling of longitudinal and transverse beams can be constructed independently, and then it could be freely configured to form a flexibly adjustable modular steel check dam. This study used the laws of geometric similitude to design model of dam. To explore the trapping mechanisms and phenomenon in different dismantle transverse beams conditions and compared the trapping efficiency with different type of check dams. This study used different volume ratio with driftwood and sediment. In order to capture the trace of debris flow and calculate accuracy velocity of debris flow the study used several high-speed photography combining the method of 3D Remodeling from Motion Structure with Multi-View Stereo which constructed with multiple photos of overlapping coefficient at least 70% and established three-dimensional system of coordinate in laboratory experiment. As a result, the driftwood deposition rate of modular steel check dam increase 60% than slit dam and 40% than closed-type dam; the debris deposition rate increase 30% than slit dam. In addition, the increment of driftwood volume ratio led to the increment of trapping efficiency of three type of check dams. Meanwhile slit dam is the most effective type in trapping driftwood and sediment with more than 50% of increased rate, because of more driftwood flow through the slit dam jam together easily. Finally, transverse beams which installed the modular steel check dam can suppress the upward movement of driftwood, therefore driftwood can easily form the arched stacking efficiency with

  19. Effective ambiguity checking in biosequence analysis

    PubMed Central

    Reeder, Janina; Steffen, Peter; Giegerich, Robert

    2005-01-01

    Background Ambiguity is a problem in biosequence analysis that arises in various analysis tasks solved via dynamic programming, and in particular, in the modeling of families of RNA secondary structures with stochastic context free grammars. Several types of analysis are invalidated by the presence of ambiguity. As this problem inherits undecidability (as we show here) from the namely problem for context free languages, there is no complete algorithmic solution to the problem of ambiguity checking. Results We explain frequently observed sources of ambiguity, and show how to avoid them. We suggest four testing procedures that may help to detect ambiguity when present, including a just-in-time test that permits to work safely with a potentially ambiguous grammar. We introduce, for the special case of stochastic context free grammars and RNA structure modeling, an automated partial procedure for proving non-ambiguity. It is used to demonstrate non-ambiguity for several relevant grammars. Conclusion Our mechanical proof procedure and our testing methods provide a powerful arsenal of methods to ensure non-ambiguity. PMID:15967024

  20. CFD analysis of a ball check microvalve

    NASA Astrophysics Data System (ADS)

    Cǎlimǎnescu, Ioan; Dumitrache, Constantin L.; Grigorescu, Lucian

    2015-02-01

    The microvalves with balls as seen before are used in many applications and their behaviour in terms of fluid dynamics mainly at their opening time (when as demonstrated the ball is bouncing up and down altering the flow parameters) is of a paramount importance. The present study is focused on a micro check ball valve circulating a fluid air-like (with the same constant proprieties). The CFD model is taking into account a transitory zone of functioning from zero time when the pressure inside a "tank" is reaching the opening pressure of the valve, to the final step 0.05 seconds when the ball is stabilizing after bouncing up and down. The geometry of the valve with dimensions in μm is given below (the model is comprising a "slice" of 5 μm thickness extracted from the entire valve. In this paper by using advanced numeric techniques, the behavior of the valve in its transitory opening stage was studied with credible and useful results for further optimisation studies.

  1. Analyzing Mode Confusion via Model Checking

    NASA Technical Reports Server (NTRS)

    Luettgen, Gerald; Carreno, Victor

    1999-01-01

    Mode confusion is one of the most serious problems in aviation safety. Today's complex digital flight decks make it difficult for pilots to maintain awareness of the actual states, or modes, of the flight deck automation. NASA Langley leads an initiative to explore how formal techniques can be used to discover possible sources of mode confusion. As part of this initiative, a flight guidance system was previously specified as a finite Mealy automaton, and the theorem prover PVS was used to reason about it. The objective of the present paper is to investigate whether state-exploration techniques, especially model checking, are better able to achieve this task than theorem proving and also to compare several verification tools for the specific application. The flight guidance system is modeled and analyzed in Murphi, SMV, and Spin. The tools are compared regarding their system description language, their practicality for analyzing mode confusion, and their capabilities for error tracing and for animating diagnostic information. It turns out that their strengths are complementary.

  2. Verifying Multi-Agent Systems via Unbounded Model Checking

    NASA Technical Reports Server (NTRS)

    Kacprzak, M.; Lomuscio, A.; Lasica, T.; Penczek, W.; Szreter, M.

    2004-01-01

    We present an approach to the problem of verification of epistemic properties in multi-agent systems by means of symbolic model checking. In particular, it is shown how to extend the technique of unbounded model checking from a purely temporal setting to a temporal-epistemic one. In order to achieve this, we base our discussion on interpreted systems semantics, a popular semantics used in multi-agent systems literature. We give details of the technique and show how it can be applied to the well known train, gate and controller problem. Keywords: model checking, unbounded model checking, multi-agent systems

  3. 40 CFR 92.120 - NDIR analyzer calibration and checks.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ....120 NDIR analyzer calibration and checks. (a) NDIR water rejection ratio check. (1) Zero and span the analyzer on the lowest range that will be used. (2) Introduce a saturated mixture of water and zero gas at...) of this section, determine the saturation vapor pressure. (7) Calculate the water concentration...

  4. 40 CFR 92.120 - NDIR analyzer calibration and checks.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ....120 NDIR analyzer calibration and checks. (a) NDIR water rejection ratio check. (1) Zero and span the analyzer on the lowest range that will be used. (2) Introduce a saturated mixture of water and zero gas at...) of this section, determine the saturation vapor pressure. (7) Calculate the water concentration...

  5. 40 CFR 92.120 - NDIR analyzer calibration and checks.

    Code of Federal Regulations, 2014 CFR

    2014-07-01

    ....120 NDIR analyzer calibration and checks. (a) NDIR water rejection ratio check. (1) Zero and span the analyzer on the lowest range that will be used. (2) Introduce a saturated mixture of water and zero gas at...) of this section, determine the saturation vapor pressure. (7) Calculate the water concentration...

  6. 40 CFR 92.120 - NDIR analyzer calibration and checks.

    Code of Federal Regulations, 2012 CFR

    2012-07-01

    ....120 NDIR analyzer calibration and checks. (a) NDIR water rejection ratio check. (1) Zero and span the analyzer on the lowest range that will be used. (2) Introduce a saturated mixture of water and zero gas at...) of this section, determine the saturation vapor pressure. (7) Calculate the water concentration...

  7. The Coat Check Problem: A S(t)imulating Lesson

    ERIC Educational Resources Information Center

    Pagni, David L.

    2007-01-01

    This article engages students in a simulation of the Coat Check problem, in which four women check their coats only to have them returned at random. Students examine the experimental and theoretical probability of at least one woman getting her own coat back.

  8. 31 CFR 240.11 - Treasury Check Offset.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... 31 Money and Finance: Treasury 2 2010-07-01 2010-07-01 false Treasury Check Offset. 240.11 Section 240.11 Money and Finance: Treasury Regulations Relating to Money and Finance (Continued) FISCAL SERVICE, DEPARTMENT OF THE TREASURY FINANCIAL MANAGEMENT SERVICE INDORSEMENT AND PAYMENT OF CHECKS...

  9. 31 CFR 10.31 - Negotiation of taxpayer checks.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... 31 Money and Finance: Treasury 1 2010-07-01 2010-07-01 false Negotiation of taxpayer checks. 10.31 Section 10.31 Money and Finance: Treasury Office of the Secretary of the Treasury PRACTICE BEFORE THE... § 10.31 Negotiation of taxpayer checks. A practitioner who prepares tax returns may not endorse...

  10. 31 CFR 10.31 - Negotiation of taxpayer checks.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... 31 Money and Finance: Treasury 1 2011-07-01 2011-07-01 false Negotiation of taxpayer checks. 10.31 Section 10.31 Money and Finance: Treasury Office of the Secretary of the Treasury PRACTICE BEFORE THE... § 10.31 Negotiation of taxpayer checks. A practitioner who prepares tax returns may not endorse...

  11. 31 CFR 245.7 - Check status inquiry.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... 31 Money and Finance:Treasury 2 2011-07-01 2011-07-01 false Check status inquiry. 245.7 Section 245.7 Money and Finance: Treasury Regulations Relating to Money and Finance (Continued) FISCAL SERVICE, DEPARTMENT OF THE TREASURY FINANCIAL MANAGEMENT SERVICE CLAIMS ON ACCOUNT OF TREASURY CHECKS § 245.7...

  12. 40 CFR 92.118 - Analyzer checks and calibrations.

    Code of Federal Regulations, 2013 CFR

    2013-07-01

    ... sampling system at the sample probe or valve V2 at atmospheric pressure. Simultaneously, start the time...) Leak check of the pressure side of the system (see paragraph (b) of this section). If the option described in paragraph (b)(2) of this section is used, a pressure leak check is not required....

  13. 40 CFR 89.317 - NOX converter check.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... 40 Protection of Environment 20 2010-07-01 2010-07-01 false NOX converter check. 89.317 Section 89.317 Protection of Environment ENVIRONMENTAL PROTECTION AGENCY (CONTINUED) AIR PROGRAMS (CONTINUED..., the chemiluminescent oxides of nitrogen analyzer shall be checked for NO2 to NO converter...

  14. Checking for Understanding: Formative Assessment Techniques for Your Classroom

    ERIC Educational Resources Information Center

    Fisher, Douglas; Frey, Nancy

    2007-01-01

    If you ever have students who are reluctant to tell you when they don't understand something--or worse, tell you they understand when they really don't--then here's a book that gives you lots of ways to check for understanding. Learn why typical methods to check for understanding are usually ineffective. And explore formative assessment techniques…

  15. 11 CFR 9007.6 - Stale-dated committee checks.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... 11 Federal Elections 1 2010-01-01 2010-01-01 false Stale-dated committee checks. 9007.6 Section 9007.6 Federal Elections FEDERAL ELECTION COMMISSION PRESIDENTIAL ELECTION CAMPAIGN FUND: GENERAL ELECTION FINANCING EXAMINATIONS AND AUDITS; REPAYMENTS § 9007.6 Stale-dated committee checks. If...

  16. 36 CFR 504.12 - Items to be checked.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... 36 Parks, Forests, and Public Property 3 2010-07-01 2010-07-01 false Items to be checked. 504.12 Section 504.12 Parks, Forests, and Public Property SMITHSONIAN INSTITUTION RULES AND REGULATIONS GOVERNING SMITHSONIAN INSTITUTION BUILDINGS AND GROUNDS § 504.12 Items to be checked. Umbrellas, canes (not needed...

  17. 36 CFR 504.12 - Items to be checked.

    Code of Federal Regulations, 2013 CFR

    2013-07-01

    ... 36 Parks, Forests, and Public Property 3 2013-07-01 2012-07-01 true Items to be checked. 504.12 Section 504.12 Parks, Forests, and Public Property SMITHSONIAN INSTITUTION RULES AND REGULATIONS GOVERNING SMITHSONIAN INSTITUTION BUILDINGS AND GROUNDS § 504.12 Items to be checked. Umbrellas, canes (not needed...

  18. 36 CFR 504.12 - Items to be checked.

    Code of Federal Regulations, 2012 CFR

    2012-07-01

    ... 36 Parks, Forests, and Public Property 3 2012-07-01 2012-07-01 false Items to be checked. 504.12 Section 504.12 Parks, Forests, and Public Property SMITHSONIAN INSTITUTION RULES AND REGULATIONS GOVERNING SMITHSONIAN INSTITUTION BUILDINGS AND GROUNDS § 504.12 Items to be checked. Umbrellas, canes (not needed...

  19. 36 CFR 504.12 - Items to be checked.

    Code of Federal Regulations, 2014 CFR

    2014-07-01

    ... 36 Parks, Forests, and Public Property 3 2014-07-01 2014-07-01 false Items to be checked. 504.12 Section 504.12 Parks, Forests, and Public Property SMITHSONIAN INSTITUTION RULES AND REGULATIONS GOVERNING SMITHSONIAN INSTITUTION BUILDINGS AND GROUNDS § 504.12 Items to be checked. Umbrellas, canes (not needed...

  20. 36 CFR 504.12 - Items to be checked.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... 36 Parks, Forests, and Public Property 3 2011-07-01 2011-07-01 false Items to be checked. 504.12 Section 504.12 Parks, Forests, and Public Property SMITHSONIAN INSTITUTION RULES AND REGULATIONS GOVERNING SMITHSONIAN INSTITUTION BUILDINGS AND GROUNDS § 504.12 Items to be checked. Umbrellas, canes (not needed...

  1. 42 CFR 35.47 - Disposition of Government checks.

    Code of Federal Regulations, 2014 CFR

    2014-10-01

    ... 42 Public Health 1 2014-10-01 2014-10-01 false Disposition of Government checks. 35.47 Section 35... Disposition of Government checks. Notwithstanding any other provisions of this subpart, immediately upon... to the department, agency, or establishment of the Government of the United States issuing...

  2. 42 CFR 35.47 - Disposition of Government checks.

    Code of Federal Regulations, 2013 CFR

    2013-10-01

    ... 42 Public Health 1 2013-10-01 2013-10-01 false Disposition of Government checks. 35.47 Section 35... Disposition of Government checks. Notwithstanding any other provisions of this subpart, immediately upon... to the department, agency, or establishment of the Government of the United States issuing...

  3. 42 CFR 35.47 - Disposition of Government checks.

    Code of Federal Regulations, 2010 CFR

    2010-10-01

    ... 42 Public Health 1 2010-10-01 2010-10-01 false Disposition of Government checks. 35.47 Section 35... Disposition of Government checks. Notwithstanding any other provisions of this subpart, immediately upon... to the department, agency, or establishment of the Government of the United States issuing...

  4. 42 CFR 35.47 - Disposition of Government checks.

    Code of Federal Regulations, 2012 CFR

    2012-10-01

    ... 42 Public Health 1 2012-10-01 2012-10-01 false Disposition of Government checks. 35.47 Section 35... Disposition of Government checks. Notwithstanding any other provisions of this subpart, immediately upon... to the department, agency, or establishment of the Government of the United States issuing...

  5. Check & Connect. What Works Clearinghouse Intervention Report. Updated May 2015

    ERIC Educational Resources Information Center

    What Works Clearinghouse, 2015

    2015-01-01

    "Check & Connect" aims to help students stay in school by continually monitoring school performance and providing individualized attention through mentoring, case management, and other supports. In 2006, the WWC published a systematic review of all the studies that examined the impact of "Check & Connect" on high school…

  6. 31 CFR 240.15 - Checks issued to deceased payees.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ...) FISCAL SERVICE, DEPARTMENT OF THE TREASURY FINANCIAL MANAGEMENT SERVICE INDORSEMENT AND PAYMENT OF CHECKS.... (c) Handling of checks when a certifying agency learns, after the issuance of a recurring benefit..., issued after a payee's death, is not payable. As a consequence, when a certifying agency learns that...

  7. Posterior Predictive Model Checking for Multidimensionality in Item Response Theory

    ERIC Educational Resources Information Center

    Levy, Roy; Mislevy, Robert J.; Sinharay, Sandip

    2009-01-01

    If data exhibit multidimensionality, key conditional independence assumptions of unidimensional models do not hold. The current work pursues posterior predictive model checking, a flexible family of model-checking procedures, as a tool for criticizing models due to unaccounted for dimensions in the context of item response theory. Factors…

  8. 14 CFR 91.1051 - Pilot safety background check.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... 14 Aeronautics and Space 2 2010-01-01 2010-01-01 false Pilot safety background check. 91.1051... (CONTINUED) AIR TRAFFIC AND GENERAL OPERATING RULES GENERAL OPERATING AND FLIGHT RULES Fractional Ownership Operations Program Management § 91.1051 Pilot safety background check. Within 90 days of an...

  9. 45 CFR 201.70 - Treatment of replacement checks.

    Code of Federal Regulations, 2010 CFR

    2010-10-01

    ... 45 Public Welfare 2 2010-10-01 2010-10-01 false Treatment of replacement checks. 201.70 Section 201.70 Public Welfare Regulations Relating to Public Welfare OFFICE OF FAMILY ASSISTANCE (ASSISTANCE... STATES FOR PUBLIC ASSISTANCE PROGRAMS Review and Audits § 201.70 Treatment of replacement checks....

  10. 12 CFR 229.51 - General provisions governing substitute checks.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... 12 Banks and Banking 3 2010-01-01 2010-01-01 false General provisions governing substitute checks. 229.51 Section 229.51 Banks and Banking FEDERAL RESERVE SYSTEM (CONTINUED) BOARD OF GOVERNORS OF THE FEDERAL RESERVE SYSTEM AVAILABILITY OF FUNDS AND COLLECTION OF CHECKS (REGULATION CC) Substitute...

  11. 26 CFR 301.6657-1 - Bad checks.

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ... 26 Internal Revenue 18 2010-04-01 2010-04-01 false Bad checks. 301.6657-1 Section 301.6657-1... Additions to the Tax and Additional Amounts § 301.6657-1 Bad checks. (a) In general. Except as provided in... district director that it was tendered in good faith with reasonable cause to believe that it would be...

  12. 26 CFR 301.6657-1 - Bad checks.

    Code of Federal Regulations, 2011 CFR

    2011-04-01

    ... 26 Internal Revenue 18 2011-04-01 2011-04-01 false Bad checks. 301.6657-1 Section 301.6657-1... Additions to the Tax and Additional Amounts § 301.6657-1 Bad checks. (a) In general. Except as provided in... district director that it was tendered in good faith with reasonable cause to believe that it would be...

  13. Check Relay: Controls in Place Comply With Federal Reserve Guidelines

    DTIC Science & Technology

    2001-12-01

    step in the nation’s payment system. This report discusses the management of the air transportation network used by the Federal Reserve System to...transport checks from one Federal Reserve office to another. The Federal Reserve System, a major provider of check collection services for banks, uses

  14. 40 CFR 90.325 - Analyzer interference checks.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... checks. Bubble through water at room temperature a CO2 span gas having a concentration of between 80... analyzer CO 2 quench check. (i) Pass a CO2 span gas having a concentration of 80 percent to 100 percent of... CO2 concentration (percent) b = Diluted CO2 concentration (percent) c = Diluted NO concentration...

  15. 17 CFR 230.419 - Offerings by blank check companies.

    Code of Federal Regulations, 2012 CFR

    2012-04-01

    ... companies. 230.419 Section 230.419 Commodity and Securities Exchanges SECURITIES AND EXCHANGE COMMISSION... check companies. (a) Scope of the rule and definitions. (1) The provisions of this section shall apply to every registration statement filed under the Act relating to an offering by a blank check...

  16. 17 CFR 230.419 - Offerings by blank check companies.

    Code of Federal Regulations, 2011 CFR

    2011-04-01

    ... companies. 230.419 Section 230.419 Commodity and Securities Exchanges SECURITIES AND EXCHANGE COMMISSION... check companies. (a) Scope of the rule and definitions. (1) The provisions of this section shall apply to every registration statement filed under the Act relating to an offering by a blank check...

  17. 17 CFR 230.419 - Offerings by blank check companies.

    Code of Federal Regulations, 2014 CFR

    2014-04-01

    ... companies. 230.419 Section 230.419 Commodity and Securities Exchanges SECURITIES AND EXCHANGE COMMISSION... check companies. (a) Scope of the rule and definitions. (1) The provisions of this section shall apply to every registration statement filed under the Act relating to an offering by a blank check...

  18. 17 CFR 230.419 - Offerings by blank check companies.

    Code of Federal Regulations, 2013 CFR

    2013-04-01

    ... companies. 230.419 Section 230.419 Commodity and Securities Exchanges SECURITIES AND EXCHANGE COMMISSION... check companies. (a) Scope of the rule and definitions. (1) The provisions of this section shall apply to every registration statement filed under the Act relating to an offering by a blank check...

  19. 17 CFR 230.419 - Offerings by blank check companies.

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ... companies. 230.419 Section 230.419 Commodity and Securities Exchanges SECURITIES AND EXCHANGE COMMISSION... check companies. (a) Scope of the rule and definitions. (1) The provisions of this section shall apply to every registration statement filed under the Act relating to an offering by a blank check...

  20. U.T.E.S. Interest Check List.

    ERIC Educational Resources Information Center

    Manpower Administration (DOL), Washington, DC.

    The revised Oregon metro edition of the U.T.E.S. interest check list for intermediate education aims at helping students decide what kinds of work they would like and lists activities that are found in a broad range of industries and occupations in the nation. Specific instructions advise the student that the check list is not a test and that…

  1. 40 CFR 86.328-79 - Leak checks.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... percent of the in-use flow rate for the portion of the system being checked. the analyzer flows and bypass flows may be used to estimate the in-use flow rates. (3) The sample probe and the connection between the... check. (1) The maximum allowable leakage rate on the pressure side in 5 percent of the in-use flow...

  2. 16 CFR 240.12 - Checking customer's use of payments.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... 16 Commercial Practices 1 2010-01-01 2010-01-01 false Checking customer's use of payments. 240.12... ADVERTISING ALLOWANCES AND OTHER MERCHANDISING PAYMENTS AND SERVICES § 240.12 Checking customer's use of... are furnished and that the seller is not overpaying for them. The customer should expend the...

  3. Astronaut John Glenn checks the Friendship 7 spacecraft after landing

    NASA Technical Reports Server (NTRS)

    1962-01-01

    Astronaut John H. Glenn Jr. checks the Friendship 7 spacecraft after completing three orbits around the earth. The destroyer Noa picked up Glenn and the spacecraft 21 minutes after landing. A technician inside the spacecraft checks the interior for any damage.

  4. [Spanish Society of Anaesthesia (SEDAR) guidelines for pre-anaesthesia checking procedures].

    PubMed

    Cassinello, F; Ariño, J J; Bartolomé Ruibal, A; de la Pinta, J C; de la Quintana, F B; Espinosa, M E; Gilsanz, F; Gómez-Arnau, J; González Arévalo, A; López-Quero, L; López-Romero, J L; Moret, E; Mourelle, I; Pensado, A; Planas, A; Perez-Cerdá, F; Rincón, R

    2012-04-01

    anaesthesia equipment, enabling every institution to develop their own checking protocols, adapted to their anaesthesia machines and their procedures. With the consent of the SEDAR, this group will collaborate with anaesthesia machines providers in order to develop specific checklists for each of their models that will be available at www.sedar.es.

  5. Check dam and polyacrylamide performance under simulated stormwater runoff.

    PubMed

    Kang, Jihoon; McCaleb, Melanie M; McLaughlin, Richard A

    2013-11-15

    High levels of turbidity and fine suspended sediments are often found in stormwater discharges from construction sites even when best management practices (BMPs) for sediment control are in place. This study evaluated turbidity reduction by three check dam types: 1) rock check dam representing a standard BMP, 2) excelsior wattle representing a fiber check dam (FCD), and 3) rock check dam wrapped with excelsior erosion control blanket (rock + excelsior ECB) representing an alternative FCD. Three check dams (all same type) were installed in a lined, 24-m ditch on a 5-7% slope and three consecutive simulated stormwater flows were run in the ditch. Additional tests were performed by adding granular polyacrylamide (PAM) on the check dams in the same manner using two sediment sources differing in clay content. Without PAM treatment, significantly higher effluent turbidity (>900 nephelometric turbidity units (NTU)) exited the ditch with rock check dams than with excelsior wattles or rock + excelsior ECBs (<440 NTU). The extent of sediment deposition between the check dam types was in the order of excelsior wattle > rock + excelsior ECB > rock check dam, indicating better water pooling behind the wattle. The PAM treatment reduced turbidity substantially (>75% relative to no PAM treatment) for all check dam types and it was very effective in excelsior wattles (<57 NTU) and rock + excelsior ECBs (<90 NTU) even during the third storm event. This study demonstrates that the passive treatment of runoff with PAM on FCDs (or rock + excelsior ECB) in construction site ditches can be very effective for sediment retention and turbidity reduction.

  6. Checking up on Des: My Life My Choice's Research into Annual Health Checks for People with Learning Disabilities in Oxfordshire

    ERIC Educational Resources Information Center

    Michell, Bryan

    2012-01-01

    This is about research an Oxfordshire Self-Advocacy Organisation did into annual health checks for people with learning disabilities. The self-advocates worked with Oxfordshire's Primary Care Health Facilitator and a Professor to find out why only one in four people in our area had a health check in 2009/10 (Emerson & Glover 2010a,b). The…

  7. The Effects of Check-In/Check-Out on Problem Behavior and Academic Engagement in Elementary School Students

    ERIC Educational Resources Information Center

    Miller, Leila M.; Dufrene, Brad A.; Sterling, Heather E.; Olmi, D. Joe; Bachmayer, Erica

    2015-01-01

    This study evaluated the effectiveness of Check-in/Check-out (CICO) for improving behavioral performance for three students referred for Tier 2 behavioral supports. An ABAB withdrawal design was used to evaluate CICO and results indicate that intervention was effective for reducing problem behavior as well as increasing academic engagement for all…

  8. Systematic Review of the Check-In, Check-Out Intervention for Students at Risk for Emotional and Behavioral Disorders

    ERIC Educational Resources Information Center

    Hawken, Leanne S.; Bundock, Kaitlin; Kladis, Kristin; O'Keeffe, Breda; Barret, Courtenay A.

    2014-01-01

    The purpose of this systematic literature review was to summarize outcomes of the Check-in Check-out (CICO) intervention across elementary and secondary settings. Twenty-eight studies utilizing both single subject and group (experimental and quasi-experimental) designs were included in this review. Median effect sizes across the eight group…

  9. 12 CFR Appendix A to Part 229 - Routing Number Guide to Next-Day Availability Checks and Local Checks

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... 12 Banks and Banking 3 2010-01-01 2010-01-01 false Routing Number Guide to Next-Day Availability Checks and Local Checks A Appendix A to Part 229 Banks and Banking FEDERAL RESERVE SYSTEM (CONTINUED) BOARD OF GOVERNORS OF THE FEDERAL RESERVE SYSTEM AVAILABILITY OF FUNDS AND COLLECTION OF...

  10. Using a Changing-Criterion Design to Evaluate the Effects of Check-In/Check-Out with Goal Modification

    ERIC Educational Resources Information Center

    McDaniel, Sara C.; Bruhn, Allison L.

    2016-01-01

    Check-in/check-out (CICO) is a Tier 2 behavioral intervention that has demonstrated effectiveness for students with challenging behavior in a variety of educational settings. Existing research has focused primarily on testing the intervention's effectiveness and the role of behavioral function in moderating response to intervention. Only a handful…

  11. To Check or Not to Check? A Qualitative Study on How the Public Decides on Health Checks for Cardiovascular Disease Prevention

    PubMed Central

    Cheong, Ai Theng; Khoo, Ee Ming; Tong, Seng Fah; Liew, Su May

    2016-01-01

    Background More than half of the general population does not attend screening for cardiovascular diseases (CVD) hence they are unaware of their risks. The objective of this study was to explore the views and experiences of the public in deciding to undergo health checks for CVD prevention. Methods This was a qualitative study utilising the constructivist grounded theory approach. A total of 31 individuals aged 30 years and above from the community were sampled purposively. Eight interviews and six focus groups were involved, using a semi-structured topic guide. Results A conceptual framework was developed to explain the public’s decision-making process on health check participation for CVD prevention. The intention to participate in health checks was influenced by the interplay between perceived relevance and the individual’s readiness to face the outcome of health checks. Health checks were deemed relevant if people perceived themselves to be at risk of CVD and there was an advantage in knowing their cardiovascular status. People were ready to face the outcome of health checks if they wanted to know the results and were prepared to deal with the subsequent management. The decision to participate in health checks was also influenced by external factors such as the views of significant others, and the accessibility and availability of resources including time and finances. Conclusions The intention to screen for CVD is motivated by two internal factors: the perceived relevance of the disease and readiness to face screening outcomes. Strategies targeting the internal decision-making process may prove to be key in improving the uptake of screening. PMID:27415432

  12. Symbolic LTL Compilation for Model Checking: Extended Abstract

    NASA Technical Reports Server (NTRS)

    Rozier, Kristin Y.; Vardi, Moshe Y.

    2007-01-01

    In Linear Temporal Logic (LTL) model checking, we check LTL formulas representing desired behaviors against a formal model of the system designed to exhibit these behaviors. To accomplish this task, the LTL formulas must be translated into automata [21]. We focus on LTL compilation by investigating LTL satisfiability checking via a reduction to model checking. Having shown that symbolic LTL compilation algorithms are superior to explicit automata construction algorithms for this task [16], we concentrate here on seeking a better symbolic algorithm.We present experimental data comparing algorithmic variations such as normal forms, encoding methods, and variable ordering and examine their effects on performance metrics including processing time and scalability. Safety critical systems, such as air traffic control, life support systems, hazardous environment controls, and automotive control systems, pervade our daily lives, yet testing and simulation alone cannot adequately verify their reliability [3]. Model checking is a promising approach to formal verification for safety critical systems which involves creating a formal mathematical model of the system and translating desired safety properties into a formal specification for this model. The complement of the specification is then checked against the system model. When the model does not satisfy the specification, model-checking tools accompany this negative answer with a counterexample, which points to an inconsistency between the system and the desired behaviors and aids debugging efforts.

  13. Object Tracking Through Adaptive Correlation

    DTIC Science & Technology

    1992-12-17

    would like to thank my advisor, Maj. Steven K. Rogers, along with the rest of my thesis committee, Capt. Dennis W. Ruck and Dr . Mark Oxley, for...rigorously by students at the Air Force Institute of Technology (AFIT) under the direction of Dr . Steven Rogers. These studies have examined many...utilizing this information, an adaptive template algorithm was developed. The algorithm began by checking the location of the correlation peak to see if the

  14. Prioritizing verification checks and preventive maintenance.

    PubMed

    Maxwell, Jeff

    2005-01-01

    The role of the equipment technician has not changed in 30 years, but the equipment and the staff using it has. It is clearly time to update our procedures and methodology. Some of these time-consuming PM tasks yield no measurable benefit to neither our industry nor to our customers. All of the additional requirements placed onto us recently indicate that our customers' needs have changed and negates our obsession to place inspection stickers all over the place. We need to adapt to the changing environment and become the technicians of the 21st century by abandoning long, outdated practices such as mindless monthly inspections. We are valuable to our customers and our employers for what we know--not what we do. Not just anyone can walk into anactive operating room theater and find a bad patient cableon the spot. We alone can control the work that we do. We are the pinnacle of all electronics repair with the duties and responsibilities that go along with it. Isn't it abouttime we acted like it?

  15. Model checking for linear temporal logic: An efficient implementation

    NASA Technical Reports Server (NTRS)

    Sherman, Rivi; Pnueli, Amir

    1990-01-01

    This report provides evidence to support the claim that model checking for linear temporal logic (LTL) is practically efficient. Two implementations of a linear temporal logic model checker is described. One is based on transforming the model checking problem into a satisfiability problem; the other checks an LTL formula for a finite model by computing the cross-product of the finite state transition graph of the program with a structure containing all possible models for the property. An experiment was done with a set of mutual exclusion algorithms and tested safety and liveness under fairness for these algorithms.

  16. Implementing Model-Check for Employee and Management Satisfaction

    NASA Technical Reports Server (NTRS)

    Jones, Corey; LaPha, Steven

    2013-01-01

    This presentation will discuss methods to which ModelCheck can be implemented to not only improve model quality, but also satisfy both employees and management through different sets of quality checks. This approach allows a standard set of modeling practices to be upheld throughout a company, with minimal interaction required by the end user. The presenter will demonstrate how to create multiple ModelCheck standards, preventing users from evading the system, and how it can improve the quality of drawings and models.

  17. Towards an automated checked baggage inspection system augmented with robots

    NASA Astrophysics Data System (ADS)

    DeDonato, Matthew P.; Dimitrov, Velin; Padır, Taskin

    2014-05-01

    We present a novel system for enhancing the efficiency and accuracy of checked baggage screening process at airports. The system requirements address the identification and retrieval of objects of interest that are prohibited in a checked luggage. The automated testbed is comprised of a Baxter research robot designed by Rethink Robotics for luggage and object manipulation, and a down-looking overhead RGB-D sensor for inspection and detection. We discuss an overview of current system implementations, areas of opportunity for improvements, robot system integration challenges, details of the proposed software architecture and experimental results from a case study for identifying various kinds of lighters in checked bags.

  18. Non-parametric estimation and model checking procedures for marginal gap time distributions for recurrent events.

    PubMed

    Kvist, Kajsa; Gerster, Mette; Andersen, Per Kragh; Kessing, Lars Vedel

    2007-12-30

    For recurrent events there is evidence that misspecification of the frailty distribution can cause severe bias in estimated regression coefficients (Am. J. Epidemiol 1998; 149:404-411; Statist. Med. 2006; 25:1672-1684). In this paper we adapt a procedure originally suggested in (Biometrika 1999; 86:381-393) for parallel data for checking the gamma frailty to recurrent events. To apply the model checking procedure, a consistent non-parametric estimator for the marginal gap time distributions is needed. This is in general not possible due to induced dependent censoring in the recurrent events setting, however, in (Biometrika 1999; 86:59-70) a non-parametric estimator for the joint gap time distributions based on the principle of inverse probability of censoring weights is suggested. Here, we attempt to apply this estimator in the model checking procedure and the performance of the method is investigated with simulations and applied to Danish registry data. The method is further investigated using the usual Kaplan-Meier estimator and a marginalized estimator for the marginal gap time distributions. We conclude that the procedure only works when the recurrent event is common and when the intra-individual association between gap times is weak.

  19. 7 CFR 70.55 - Check grading officially identified product.

    Code of Federal Regulations, 2012 CFR

    2012-01-01

    ... (CONTINUED) VOLUNTARY GRADING OF POULTRY PRODUCTS AND RABBIT PRODUCTS Grading of Poultry Products and Rabbit... identified poultry or rabbit products may be subject to final check grading prior to their shipment....

  20. 7 CFR 70.55 - Check grading officially identified product.

    Code of Federal Regulations, 2013 CFR

    2013-01-01

    ... (CONTINUED) VOLUNTARY GRADING OF POULTRY PRODUCTS AND RABBIT PRODUCTS Grading of Poultry Products and Rabbit... identified poultry or rabbit products may be subject to final check grading prior to their shipment....

  1. 7 CFR 70.55 - Check grading officially identified product.

    Code of Federal Regulations, 2011 CFR

    2011-01-01

    ... (CONTINUED) VOLUNTARY GRADING OF POULTRY PRODUCTS AND RABBIT PRODUCTS Grading of Poultry Products and Rabbit... identified poultry or rabbit products may be subject to final check grading prior to their shipment....

  2. 7 CFR 70.55 - Check grading officially identified product.

    Code of Federal Regulations, 2014 CFR

    2014-01-01

    ... (CONTINUED) VOLUNTARY GRADING OF POULTRY PRODUCTS AND RABBIT PRODUCTS Grading of Poultry Products and Rabbit... identified poultry or rabbit products may be subject to final check grading prior to their shipment....

  3. Monitoring Blood Sugar: The Importance of Checking Blood Sugar Levels

    MedlinePlus

    ... Looking for Health Lessons? Visit KidsHealth in the Classroom What Other Parents Are Reading Your Child's Development ( ... under control, checking them according to the diabetes management plan will help you and your child: feel ...

  4. Developments of the in-check platform for diagnostic applications

    NASA Astrophysics Data System (ADS)

    Palmieri, Michele; Alessi, Enrico; Conoci, Sabrina; Marchi, Mauro; Panvini, Gaetano

    2008-02-01

    In-Check is STMicroelectronics proprietary platform for molecular diagnostics. In-Check lays its foundations on the monolithic integration of microelectronics and micromachining technology MEMS, with microfluidic and optical features, bio-chemical surface functionalization and molecular biology. It comprises a core lab-on-chip device, control and reading instrumentation, a complete suite of software modules, and application protocols. Leveraging on such capabilities, In-Check enables fast, highly sensitive and specific, multi-analytical capability of nucleic acid analysis. The platform provides a unique combination of nucleic acid amplification, by polymerase-chain-reaction and target identification and typing by DNA microarray. These integrated biological functionalities together with top quality standard and process control are key features for a platform to be accepted by the highly demanding modern medical diagnostic. This paper describes recent developments of In-Check and some core biological characterizations.

  5. FRONT DETAIL OF RIGHT ENGINE AND WING. MECHANICS CHECK METAL ...

    Library of Congress Historic Buildings Survey, Historic Engineering Record, Historic Landscapes Survey

    FRONT DETAIL OF RIGHT ENGINE AND WING. MECHANICS CHECK METAL CHIP DETECTOR ON RIGHT ENGINE. THE LEADING EDGE FLAPS ON THE RIGHT WING ARE DOWN PRIOR TO LUBRICATION. - Greater Buffalo International Airport, Maintenance Hangar, Buffalo, Erie County, NY

  6. 15. VIEW OF CIVILIAN CONSERVATION CORPS WORK; CHECK, DROP AND ...

    Library of Congress Historic Buildings Survey, Historic Engineering Record, Historic Landscapes Survey

    15. VIEW OF CIVILIAN CONSERVATION CORPS WORK; CHECK, DROP AND TURNOUT IN LATERAL 14.5 OFF OF THE ARIZONA CANAL Photographer: unknown. March 1937 - Arizona Canal, North of Salt River, Phoenix, Maricopa County, AZ

  7. 14. VIEW OF CIVILIAN CONSERVATION CORPS WORK; CHECK, DROP AND ...

    Library of Congress Historic Buildings Survey, Historic Engineering Record, Historic Landscapes Survey

    14. VIEW OF CIVILIAN CONSERVATION CORPS WORK; CHECK, DROP AND TURNOUT IN LATERAL 22 OFF OF THE ARIZONA CANAL Photographer: unknown. January 1937 - Arizona Canal, North of Salt River, Phoenix, Maricopa County, AZ

  8. 40 CFR 90.325 - Analyzer interference checks.

    Code of Federal Regulations, 2014 CFR

    2014-07-01

    ... broadening the absorption band of the measured gas, and in CLD instruments by the interfering gas quenching... concentration for this check. No allowance for absorption of NO2 in water has been made in the following...

  9. 40 CFR 89.318 - Analyzer interference checks.

    Code of Federal Regulations, 2013 CFR

    2013-07-01

    ... broadening the absorption band of the measured gas and in CLD instruments by the interfering gas quenching... concentration for this check. No allowance for absorption of NO2 in water has been made in the following...

  10. 40 CFR 90.325 - Analyzer interference checks.

    Code of Federal Regulations, 2012 CFR

    2012-07-01

    ... broadening the absorption band of the measured gas, and in CLD instruments by the interfering gas quenching... concentration for this check. No allowance for absorption of NO2 in water has been made in the following...

  11. Low leak rate poppet-and-seat check valve

    NASA Technical Reports Server (NTRS)

    Whitten, D. E.

    1970-01-01

    Valve leakage due to contaminant entrapment and chattering is effectively minimized by a metallic poppet-and-seat check valve designed for use in extreme environmental and fluid temperature conditions.

  12. 7 CFR 70.55 - Check grading officially identified product.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... (CONTINUED) VOLUNTARY GRADING OF POULTRY PRODUCTS AND RABBIT PRODUCTS Grading of Poultry Products and Rabbit... identified poultry or rabbit products may be subject to final check grading prior to their shipment....

  13. Exercise: When to Check with Your Doctor First

    MedlinePlus

    Healthy Lifestyle Fitness Keeping physically active is key to a healthy lifestyle. But sometimes it's best to check with your ... 11, 2016 Original article: http://www.mayoclinic.org/healthy-lifestyle/fitness/in-depth/exercise/art-20047414 . Mayo Clinic ...

  14. 40 CFR 86.884-11 - Instrument checks.

    Code of Federal Regulations, 2013 CFR

    2013-07-01

    ... Regulations for New Diesel Heavy-Duty Engines; Smoke Exhaust Test Procedure § 86.884-11 Instrument checks. (a... zero control shall be adjusted under conditions of “no smoke” to give a recorder or data...

  15. 40 CFR 86.884-11 - Instrument checks.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... Regulations for New Diesel Heavy-Duty Engines; Smoke Exhaust Test Procedure § 86.884-11 Instrument checks. (a... zero control shall be adjusted under conditions of “no smoke” to give a recorder or data...

  16. 40 CFR 86.884-11 - Instrument checks.

    Code of Federal Regulations, 2012 CFR

    2012-07-01

    ... Regulations for New Diesel Heavy-Duty Engines; Smoke Exhaust Test Procedure § 86.884-11 Instrument checks. (a... zero control shall be adjusted under conditions of “no smoke” to give a recorder or data...

  17. 40 CFR 86.884-11 - Instrument checks.

    Code of Federal Regulations, 2014 CFR

    2014-07-01

    ... New Diesel Heavy-Duty Engines; Smoke Exhaust Test Procedure § 86.884-11 Instrument checks. (a) The... shall be adjusted under conditions of “no smoke” to give a recorder or data collection...

  18. 40 CFR 86.884-11 - Instrument checks.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... Regulations for New Diesel Heavy-Duty Engines; Smoke Exhaust Test Procedure § 86.884-11 Instrument checks. (a... zero control shall be adjusted under conditions of “no smoke” to give a recorder or data...

  19. An Item Factor Analysis of the Mooney Problem Check List

    ERIC Educational Resources Information Center

    Stewart, David W.; Deiker, Thomas

    1976-01-01

    Explores the factor structure of the Mooney Problem Check List (MPCL) at the junior and senior high school level by undertaking a large obverse factor analysis of item responses in three adolescent criterion groups. (Author/DEP)

  20. 40 CFR 86.320-79 - Analyzer bench check.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... converters. The conditioning consists of either purging the converter with air for a minimum of 4 hours or... temperature while purging. Do not use this procedure prior to checking converter efficiency on...

  1. 3. WEST ELEVATION, SHOWING CHECK WEIGHMAN'S ROOM (LEFT CENTER), CONVEYOR ...

    Library of Congress Historic Buildings Survey, Historic Engineering Record, Historic Landscapes Survey

    3. WEST ELEVATION, SHOWING CHECK WEIGHMAN'S ROOM (LEFT CENTER), CONVEYOR MOTOR ROOM (RIGHT CENTER) AND CONVEYOR (RIGHT), LOOKING SOUTHEAST - Nuttallburg Mine Complex, Headhouse, North side of New River, 2.7 miles upstream from Fayette Landing, Lookout, Fayette County, WV

  2. Methods and means of checking thermoluminescent and radiophotoluminescent dosimeters

    SciTech Connect

    Fominykh, V.I.; Oborin, A.V.; Sebekin, A.P.; Uryaev, I.A.

    1987-06-01

    The authors discuss methods of checking thermoluminescent and radiophotoluminescent dosimeters which are used often in monitoring radiation safety in various areas including nuclear power stations. When the dosimeters are checked in the fields of standard beta-ray sources, it is recommended that the standard absorbed-dose or equivalent-dose measures for beta radiation should be sources of /sup 90/Sr + /sup 90/Y, /sup 204/Tl, and /sup 147/Pm. Various safety guidelines are discussed.

  3. Research on registration algorithm for check seal verification

    NASA Astrophysics Data System (ADS)

    Wang, Shuang; Liu, Tiegen

    2008-03-01

    Nowadays seals play an important role in China. With the development of social economy, the traditional method of manual check seal identification can't meet the need s of banking transactions badly. This paper focus on pre-processing and registration algorithm for check seal verification using theory of image processing and pattern recognition. First of all, analyze the complex characteristics of check seals. To eliminate the difference of producing conditions and the disturbance caused by background and writing in check image, many methods are used in the pre-processing of check seal verification, such as color components transformation, linearity transform to gray-scale image, medium value filter, Otsu, close calculations and labeling algorithm of mathematical morphology. After the processes above, the good binary seal image can be obtained. On the basis of traditional registration algorithm, a double-level registration method including rough and precise registration method is proposed. The deflection angle of precise registration method can be precise to 0.1°. This paper introduces the concepts of difference inside and difference outside and use the percent of difference inside and difference outside to judge whether the seal is real or fake. The experimental results of a mass of check seals are satisfied. It shows that the methods and algorithmic presented have good robustness to noise sealing conditions and satisfactory tolerance of difference within class.

  4. Strategy optimization for mask rule check in wafer fab

    NASA Astrophysics Data System (ADS)

    Yang, Chuen Huei; Lin, Shaina; Lin, Roger; Wang, Alice; Lee, Rachel; Deng, Erwin

    2015-07-01

    Photolithography process is getting more and more sophisticated for wafer production following Moore's law. Therefore, for wafer fab, consolidated and close cooperation with mask house is a key to achieve silicon wafer success. However, generally speaking, it is not easy to preserve such partnership because many engineering efforts and frequent communication are indispensable. The inattentive connection is obvious in mask rule check (MRC). Mask houses will do their own MRC at job deck stage, but the checking is only for identification of mask process limitation including writing, etching, inspection, metrology, etc. No further checking in terms of wafer process concerned mask data errors will be implemented after data files of whole mask are composed in mask house. There are still many potential data errors even post-OPC verification has been done for main circuits. What mentioned here are the kinds of errors which will only occur as main circuits combined with frame and dummy patterns to form whole reticle. Therefore, strategy optimization is on-going in UMC to evaluate MRC especially for wafer fab concerned errors. The prerequisite is that no impact on mask delivery cycle time even adding this extra checking. A full-mask checking based on job deck in gds or oasis format is necessary in order to secure acceptable run time. Form of the summarized error report generated by this checking is also crucial because user friendly interface will shorten engineers' judgment time to release mask for writing. This paper will survey the key factors of MRC in wafer fab.

  5. Student criminal background checks in colleges of allied health.

    PubMed

    Wyatt, Diane; Aziz, Hassan; Mahoney, Sherry; Gilman, Frances H

    2008-01-01

    The demand that criminal background checks be performed for students in allied health schools and programs has soared in recent years. The need for criminal background checks on students entering the health care professions has emerged as a critical issue largely due to requirements by clinical affiliate training sites. The Joint Commission published a standard stating, "for staff, students and volunteers who work in the same capacity as staff who provide care, treatment, and services, at Elements of Performance 5 states criminal background checks are verified when required by law and regulation and organization policy." More simply stated, this means that criminal background check records must be verifiable if required by some authoritative entity such as state law. However, whether by misinterpretation of the standard or through conscious decision by organization policy makers, many health care organizations suddenly began to require criminal background checks as part of their affiliation agreements with health related schools or programs. The focus of this study was to identify current practices of allied health institutions regarding their conduct of criminal background checks on students entering the allied health professions.

  6. Radioactive check sources for alpha and beta sensitive radiological instrumentation

    SciTech Connect

    Barnett, J.M.; Kane, J.E. II

    1994-06-01

    Since 1991, the Westinghouse Hanford Company has examined the construction and use of alpha and beta radioactive check sources for calibrating instruments and for performing response checks of instruments used for operational and environmental radiation detection. The purpose of using a radioactive check source is to characterize the response of a radiation monitoring instrument in the presence of radioactivity. To accurately calibrate the instrument and check its response, the check source used must emulate as closely as possible the actual physical and isotopic conditions being monitored. The isotope employed and the physical methods used to fabricate the check source (among other factors) determine instrument response. Although information from applicable national and international standards, journal articles, books, and government documents was considered, empirical data collected is most valuable when considering the type of source to use for a particular application. This paper presents source construction methods, use considerations, and standard recommendations. The results of a Hanford Site evaluation of several types of alpha and beta sources are also given.

  7. Visual Adaptation

    PubMed Central

    Webster, Michael A.

    2015-01-01

    Sensory systems continuously mold themselves to the widely varying contexts in which they must operate. Studies of these adaptations have played a long and central role in vision science. In part this is because the specific adaptations remain a powerful tool for dissecting vision, by exposing the mechanisms that are adapting. That is, “if it adapts, it's there.” Many insights about vision have come from using adaptation in this way, as a method. A second important trend has been the realization that the processes of adaptation are themselves essential to how vision works, and thus are likely to operate at all levels. That is, “if it's there, it adapts.” This has focused interest on the mechanisms of adaptation as the target rather than the probe. Together both approaches have led to an emerging insight of adaptation as a fundamental and ubiquitous coding strategy impacting all aspects of how we see. PMID:26858985

  8. Adaptive Management

    EPA Science Inventory

    Adaptive management is an approach to natural resource management that emphasizes learning through management where knowledge is incomplete, and when, despite inherent uncertainty, managers and policymakers must act. Unlike a traditional trial and error approach, adaptive managem...

  9. A Novel Method to Verify Multilevel Computational Models of Biological Systems Using Multiscale Spatio-Temporal Meta Model Checking

    PubMed Central

    Gilbert, David

    2016-01-01

    Insights gained from multilevel computational models of biological systems can be translated into real-life applications only if the model correctness has been verified first. One of the most frequently employed in silico techniques for computational model verification is model checking. Traditional model checking approaches only consider the evolution of numeric values, such as concentrations, over time and are appropriate for computational models of small scale systems (e.g. intracellular networks). However for gaining a systems level understanding of how biological organisms function it is essential to consider more complex large scale biological systems (e.g. organs). Verifying computational models of such systems requires capturing both how numeric values and properties of (emergent) spatial structures (e.g. area of multicellular population) change over time and across multiple levels of organization, which are not considered by existing model checking approaches. To address this limitation we have developed a novel approximate probabilistic multiscale spatio-temporal meta model checking methodology for verifying multilevel computational models relative to specifications describing the desired/expected system behaviour. The methodology is generic and supports computational models encoded using various high-level modelling formalisms because it is defined relative to time series data and not the models used to generate it. In addition, the methodology can be automatically adapted to case study specific types of spatial structures and properties using the spatio-temporal meta model checking concept. To automate the computational model verification process we have implemented the model checking approach in the software tool Mule (http://mule.modelchecking.org). Its applicability is illustrated against four systems biology computational models previously published in the literature encoding the rat cardiovascular system dynamics, the uterine contractions of labour

  10. A Novel Method to Verify Multilevel Computational Models of Biological Systems Using Multiscale Spatio-Temporal Meta Model Checking.

    PubMed

    Pârvu, Ovidiu; Gilbert, David

    2016-01-01

    Insights gained from multilevel computational models of biological systems can be translated into real-life applications only if the model correctness has been verified first. One of the most frequently employed in silico techniques for computational model verification is model checking. Traditional model checking approaches only consider the evolution of numeric values, such as concentrations, over time and are appropriate for computational models of small scale systems (e.g. intracellular networks). However for gaining a systems level understanding of how biological organisms function it is essential to consider more complex large scale biological systems (e.g. organs). Verifying computational models of such systems requires capturing both how numeric values and properties of (emergent) spatial structures (e.g. area of multicellular population) change over time and across multiple levels of organization, which are not considered by existing model checking approaches. To address this limitation we have developed a novel approximate probabilistic multiscale spatio-temporal meta model checking methodology for verifying multilevel computational models relative to specifications describing the desired/expected system behaviour. The methodology is generic and supports computational models encoded using various high-level modelling formalisms because it is defined relative to time series data and not the models used to generate it. In addition, the methodology can be automatically adapted to case study specific types of spatial structures and properties using the spatio-temporal meta model checking concept. To automate the computational model verification process we have implemented the model checking approach in the software tool Mule (http://mule.modelchecking.org). Its applicability is illustrated against four systems biology computational models previously published in the literature encoding the rat cardiovascular system dynamics, the uterine contractions of labour

  11. Estimated emission reductions from California's enhanced Smog Check program.

    PubMed

    Singer, Brett C; Wenzel, Thomas P

    2003-06-01

    The U.S. Environmental Protection Agency requires that states evaluate the effectiveness of their vehicle emissions inspection and maintenance (I/M) programs. This study demonstrates an evaluation approach that estimates mass emission reductions over time and includes the effect of I/M on vehicle deterioration. It includes a quantitative assessment of benefits from pre-inspection maintenance and repairs and accounts for the selection bias effect that occurs when intermittent high emitters are tested. We report estimates of one-cycle emission benefits of California's Enhanced Smog Check program, ca. 1999. Program benefits equivalent to metric tons per day of prevented emissions were calculated with a "bottom-up" approach that combined average per vehicle reductions in mass emission rates (g/gal) with average per vehicle activity, resolved by model year. Accelerated simulation mode test data from the statewide vehicle information database (VID) and from roadside Smog Check testing were used to determine 2-yr emission profiles of vehicles passing through Smog Check and infer emission profiles that would occur without Smog Check. The number of vehicles participating in Smog Check was also determined from the VID. We estimate that in 1999 Smog Check reduced tailpipe emissions of HC, CO, and NO(x) by 97, 1690, and 81 t/d, respectively. These correspond to 26, 34, and 14% of the HC, CO, and NO(x) that would have been emitted by vehicles in the absence of Smog Check. These estimates are highly sensitive to assumptions about vehicle deterioration in the absence of Smog Check. Considering the estimated uncertainty in these assumptions yields a range for calculated benefits: 46-128 t/d of HC, 860-2200 t/d of CO, and 60-91 t/d of NO(x). Repair of vehicles that failed an initial, official Smog Check appears to be the most important mechanism of emission reductions, but pre-inspection maintenance and repair also contributed substantially. Benefits from removal of nonpassing

  12. Military Curricula for Vocational & Technical Education. Basic Electronics School. CANTRAC A-100-0010. Modules 23-25: Multivibrators, Waveshaping Circuits, Special Devices. Progress Check.

    ERIC Educational Resources Information Center

    Chief of Naval Education and Training Support, Pensacola, FL.

    This document contains student progress checks designed for use with individualized modules 23 through 25 in the military-developed course on basic electricity and electronics. The course is one of a number of military-developed curriculum packages selected for adaptation to vocational instructional and curriculum development in a civilian…

  13. Military Curricula for Vocational & Technical Education. Basic Electronics School. CANTRAC A-100-0010. Modules 20-22: Power Supplies, Amplifiers, Oscillators. Progress Checks.

    ERIC Educational Resources Information Center

    Chief of Naval Education and Training Support, Pensacola, FL.

    This document contains student progress checks designed for use with individualized modules 20-22 in the military-developed course on basic electricity and electronics. The course is one of a number of military-developed curriculum packages selected for adaptation to vocational instructional and curriculum development in a civilian setting. One…

  14. Deployment of check-in nodes in complex networks

    NASA Astrophysics Data System (ADS)

    Jiang, Zhong-Yuan; Ma, Jian-Feng

    2017-01-01

    In many real complex networks such as the city road networks and highway networks, vehicles often have to pass through some specially functioned nodes to receive check-in like services such as gas supplement at gas stations. Based on existing network structures, to guarantee every shortest path including at least a check-in node, the location selection of all check-in nodes is very essential and important to make vehicles to easily visit these check-in nodes, and it is still remains an open problem in complex network studies. In this work, we aim to find possible solutions for this problem. We first convert it into a set cover problem which is NP-complete and propose to employ the greedy algorithm to achieve an approximate result. Inspired by heuristic information of network structure, we discuss other four check-in node location deployment methods including high betweenness first (HBF), high degree first (HDF), random and low degree first (LDF). Finally, we compose extensive simulations in classical scale-free networks, random networks and real network models, and the results can well confirm the effectiveness of the greedy algorithm. This work has potential applications into many real networks.

  15. Deployment of check-in nodes in complex networks.

    PubMed

    Jiang, Zhong-Yuan; Ma, Jian-Feng

    2017-01-11

    In many real complex networks such as the city road networks and highway networks, vehicles often have to pass through some specially functioned nodes to receive check-in like services such as gas supplement at gas stations. Based on existing network structures, to guarantee every shortest path including at least a check-in node, the location selection of all check-in nodes is very essential and important to make vehicles to easily visit these check-in nodes, and it is still remains an open problem in complex network studies. In this work, we aim to find possible solutions for this problem. We first convert it into a set cover problem which is NP-complete and propose to employ the greedy algorithm to achieve an approximate result. Inspired by heuristic information of network structure, we discuss other four check-in node location deployment methods including high betweenness first (HBF), high degree first (HDF), random and low degree first (LDF). Finally, we compose extensive simulations in classical scale-free networks, random networks and real network models, and the results can well confirm the effectiveness of the greedy algorithm. This work has potential applications into many real networks.

  16. Helical tomotherapy quality assurance with ArcCHECK

    SciTech Connect

    Chapman, David; Barnett, Rob; Yartsev, Slav

    2014-07-01

    To design a quality assurance (QA) procedure for helical tomotherapy that measures multiple beam parameters with 1 delivery and uses a rotating gantry to simulate treatment conditions. The customized QA procedure was preprogrammed on the tomotherapy operator station. The dosimetry measurements were performed using an ArcCHECK diode array and an A1SL ion chamber inserted in the central holder. The ArcCHECK was positioned 10 cm above the isocenter so that the 21-cm diameter detector array could measure the 40-cm wide tomotherapy beam. During the implementation of the new QA procedure, separate comparative measurements were made using ion chambers in both liquid and solid water, the tomotherapy onboard detector array, and a MapCHECK diode array for a period of 10 weeks. There was good agreement (within 1.3%) for the beam output and cone ratio obtained with the new procedure and the routine QA measurements. The measured beam energy was comparable (0.3%) to solid water measurement during the 10-week evaluation period, excluding 2 of the 10 measurements with unusually high background. The symmetry reading was similarly compromised for those 2 weeks, and on the other weeks, it deviated from the solid water reading by ∼2.5%. The ArcCHECK phantom presents a suitable alternative for performing helical tomotherapy QA, provided the background is collected properly. The proposed weekly procedure using ArcCHECK and water phantom makes the QA process more efficient.

  17. Deployment of check-in nodes in complex networks

    PubMed Central

    Jiang, Zhong-Yuan; Ma, Jian-Feng

    2017-01-01

    In many real complex networks such as the city road networks and highway networks, vehicles often have to pass through some specially functioned nodes to receive check-in like services such as gas supplement at gas stations. Based on existing network structures, to guarantee every shortest path including at least a check-in node, the location selection of all check-in nodes is very essential and important to make vehicles to easily visit these check-in nodes, and it is still remains an open problem in complex network studies. In this work, we aim to find possible solutions for this problem. We first convert it into a set cover problem which is NP-complete and propose to employ the greedy algorithm to achieve an approximate result. Inspired by heuristic information of network structure, we discuss other four check-in node location deployment methods including high betweenness first (HBF), high degree first (HDF), random and low degree first (LDF). Finally, we compose extensive simulations in classical scale-free networks, random networks and real network models, and the results can well confirm the effectiveness of the greedy algorithm. This work has potential applications into many real networks. PMID:28074861

  18. Intelligent Data Visualization for Cross-Checking Spacecraft System Diagnosis

    NASA Technical Reports Server (NTRS)

    Ong, James C.; Remolina, Emilio; Breeden, David; Stroozas, Brett A.; Mohammed, John L.

    2012-01-01

    Any reasoning system is fallible, so crew members and flight controllers must be able to cross-check automated diagnoses of spacecraft or habitat problems by considering alternate diagnoses and analyzing related evidence. Cross-checking improves diagnostic accuracy because people can apply information processing heuristics, pattern recognition techniques, and reasoning methods that the automated diagnostic system may not possess. Over time, cross-checking also enables crew members to become comfortable with how the diagnostic reasoning system performs, so the system can earn the crew s trust. We developed intelligent data visualization software that helps users cross-check automated diagnoses of system faults more effectively. The user interface displays scrollable arrays of timelines and time-series graphs, which are tightly integrated with an interactive, color-coded system schematic to show important spatial-temporal data patterns. Signal processing and rule-based diagnostic reasoning automatically identify alternate hypotheses and data patterns that support or rebut the original and alternate diagnoses. A color-coded matrix display summarizes the supporting or rebutting evidence for each diagnosis, and a drill-down capability enables crew members to quickly view graphs and timelines of the underlying data. This system demonstrates that modest amounts of diagnostic reasoning, combined with interactive, information-dense data visualizations, can accelerate system diagnosis and cross-checking.

  19. A voice-actuated wind tunnel model leak checking system

    NASA Technical Reports Server (NTRS)

    Larson, William E.

    1989-01-01

    A computer program has been developed that improves the efficiency of wind tunnel model leak checking. The program uses a voice recognition unit to relay a technician's commands to the computer. The computer, after receiving a command, can respond to the technician via a voice response unit. Information about the model pressure orifice being checked is displayed on a gas-plasma terminal. On command, the program records up to 30 seconds of pressure data. After the recording is complete, the raw data and a straight line fit of the data are plotted on the terminal. This allows the technician to make a decision on the integrity of the orifice being checked. All results of the leak check program are stored in a database file that can be listed on the line printer for record keeping purposes or displayed on the terminal to help the technician find unchecked orifices. This program allows one technician to check a model for leaks instead of the two or three previously required.

  20. Mask manufacturing rules checking (MRC) as a DFM strategy

    NASA Astrophysics Data System (ADS)

    Buck, Peter; Gladhill, Richard; Straub, Joseph

    2007-03-01

    Mask Manufacturing Rules Checking (MRC) has been established as an automated process to detect mask pattern data that will cause mask inspection problems. This methodology is unique from the Design Rule Checking (DRC) or Design for Manufacturing (DFM) checks typically performed before sending pattern data to the mask manufacturer in that it examines the entire mask layout and the spatial relationship between multiple patterns in their final orientation, scale, and tone. In contrast, DRC and DFM checks are usually performed on individual pattern files. Also, DRC and DFM checks are not always performed after all pattern transformations are complete, and errors can be introduced that are not caught until the mask is eventually printed on wafers. Therefore, MRC can often be the only comprehensive geometric integrity test performed before the mask is manufactured and the last opportunity to catch critical errors that might have disastrous consequences to yield and consequently to product schedules. In this paper we review the concepts and implementation of MRC in a merchant mask manufacturing enterprise and introduce methods to empower DFM decisions by mask customers based on MRC results.

  1. The use of check valve performance data to support new concepts (probabilistic risk assessment, condition monitoring) for check valve program

    SciTech Connect

    Hart, K.A.; Gower, D.

    1996-12-01

    The concept of developing an integrated check valve database based on the Nuclear Power Reliability Data System (NPRDS) data was presented at the last Symposium. The Nuclear Industry Check Valve Group (NIC), working in cooperation with the Oak Ridge National Laboratory (ORNL), has completed an operational database of check valve performance from 1984 to the present. NIC has committed to the nuclear industry to periodically update the data and maintain this information accessible. As the new concepts of probabilistic risk analysis and condition monitoring are integrated into the American Society of Mechanical Engineers (ASME) Code, a critical element will be performance data. From check valve performance data, feasible failure modes and rates can be established. When a failure rate or frequency of failures can be established based on a significant enough population (sampling), a more solid foundation for focusing resources and determining appropriate frequencies and testing can be determined. The presentation will give the updated status of the NIC Check Valve Performance Database covering (1) methodology used to combine the original ORNL data; (2) process/controls established for continuing update and refinement of the data; (3) discussion of how this data is being utilized by (a) OM-22 for condition monitoring, and (b) risk-based inservice testing work of Westinghouse Owners` Group; and (4) results/trends of data evaluations. At the 1994 Symposium, ORNL provided an update as of 1991 to their original work of 1984 -1990 which they had performed to characterize check valve degradations and failures in the nuclear industry. These characterizations will be updated to 1995 and additional reviews provided to give insight into the current condition and trends of check valve performance.

  2. Effects of monetary reward and punishment on information checking behaviour.

    PubMed

    Li, Simon Y W; Cox, Anna L; Or, Calvin; Blandford, Ann

    2016-03-01

    Two experiments were conducted to examine whether checking one's own work can be motivated by monetary reward and punishment. Participants were randomly assigned to one of three conditions: a flat-rate payment for completing the task (Control); payment increased for error-free performance (Reward); payment decreased for error performance (Punishment). Experiment 1 (N = 90) was conducted with liberal arts students, using a general data-entry task. Experiment 2 (N = 90) replicated Experiment 1 with clinical students and a safety-critical 'cover story' for the task. In both studies, Reward and Punishment resulted in significantly fewer errors, more frequent and longer checking, than Control. No such differences were obtained between the Reward and Punishment conditions. It is concluded that error consequences in terms of monetary reward and punishment can result in more accurate task performance and more rigorous checking behaviour than errors without consequences. However, whether punishment is more effective than reward, or vice versa, remains inconclusive.

  3. Efficient model checking of network authentication protocol based on SPIN

    NASA Astrophysics Data System (ADS)

    Tan, Zhi-hua; Zhang, Da-fang; Miao, Li; Zhao, Dan

    2013-03-01

    Model checking is a very useful technique for verifying the network authentication protocols. In order to improve the efficiency of modeling and verification on the protocols with the model checking technology, this paper first proposes a universal formalization description method of the protocol. Combined with the model checker SPIN, the method can expediently verify the properties of the protocol. By some modeling simplified strategies, this paper can model several protocols efficiently, and reduce the states space of the model. Compared with the previous literature, this paper achieves higher degree of automation, and better efficiency of verification. Finally based on the method described in the paper, we model and verify the Privacy and Key Management (PKM) authentication protocol. The experimental results show that the method of model checking is effective, which is useful for the other authentication protocols.

  4. MOM: A meteorological data checking expert system in CLIPS

    NASA Technical Reports Server (NTRS)

    Odonnell, Richard

    1990-01-01

    Meteorologists have long faced the problem of verifying the data they use. Experience shows that there is a sizable number of errors in the data reported by meteorological observers. This is unacceptable for computer forecast models, which depend on accurate data for accurate results. Most errors that occur in meteorological data are obvious to the meteorologist, but time constraints prevent hand-checking. For this reason, it is necessary to have a 'front end' to the computer model to ensure the accuracy of input. Various approaches to automatic data quality control have been developed by several groups. MOM is a rule-based system implemented in CLIPS and utilizing 'consistency checks' and 'range checks'. The system is generic in the sense that it knows some meteorological principles, regardless of specific station characteristics. Specific constraints kept as CLIPS facts in a separate file provide for system flexibility. Preliminary results show that the expert system has detected some inconsistencies not noticed by a local expert.

  5. Checking 2xM quantum separability via semidefinite programming

    SciTech Connect

    Woerdeman, Hugo J.

    2003-01-01

    In this paper, we propose a sequence of tests which give a definitive test for checking 2xM separability. The test is definitive in the sense that each test corresponds to checking membership in a cone, and that the closure of the union of all these cones consists exactly of all 2xM separable states. Membership in each single cone may be checked via semidefinite programming, and is thus a tractable problem. This sequential test comes about by considering the dual problem, the characterization of all positive maps acting C{sup 2x2}{yields}C{sup MxM}. The latter in turn is solved by characterizing all positive quadratic matrix polynomials in a complex variable.

  6. Instantaneous Soundness Checking of Industrial Business Process Models

    NASA Astrophysics Data System (ADS)

    Fahland, Dirk; Favre, Cédric; Jobstmann, Barbara; Koehler, Jana; Lohmann, Niels; Völzer, Hagen; Wolf, Karsten

    We report on a case study on control-flow analysis of business process models. We checked 735 industrial business process models from financial services, telecommunications and other domains. We investigated these models for soundness (absence of deadlock and lack of synchronization) using three different approaches: the business process verification tool Woflan, the Petri net model checker LoLA, and a recently developed technique based on SESE decomposition. We evaluate the various techniques used by these approaches in terms of their ability of accelerating the check. Our results show that industrial business process models can be checked in a few milliseconds, which enables tight integration of modeling with control-flow analysis. We also briefly compare the diagnostic information delivered by the different approaches.

  7. Criminal History Background Checks on Individuals in Child Care Services

    DTIC Science & Technology

    1993-01-19

    subsection (aX1). by striking out Ś manths after the date of enactaent of this chater , and no additional staW and insertirig in lieu thenf "May 29, 1991...those-equivalent in’scope to checks conducted on- U.S. citizens: a. Host-government law enforcement and security agency -hecks at the city , State...for form Criminal Records Division Name Check State Highway Patrol Department of Public S3fety COMM: 314-751-3313 P.O. Box 568 Jefferson City , MO

  8. Using Model Checking to Validate AI Planner Domain Models

    NASA Technical Reports Server (NTRS)

    Penix, John; Pecheur, Charles; Havelund, Klaus

    1999-01-01

    This report describes an investigation into using model checking to assist validation of domain models for the HSTS planner. The planner models are specified using a qualitative temporal interval logic with quantitative duration constraints. We conducted several experiments to translate the domain modeling language into the SMV, Spin and Murphi model checkers. This allowed a direct comparison of how the different systems would support specific types of validation tasks. The preliminary results indicate that model checking is useful for finding faults in models that may not be easily identified by generating test plans.

  9. CSL Model Checking of Biochemical Networks with Interval Decision Diagrams

    NASA Astrophysics Data System (ADS)

    Schwarick, Martin; Heiner, Monika

    This paper presents an Interval Decision Diagram based approach to symbolic CSL model checking of Continuous Time Markov Chains which are derived from stochastic Petri nets. Matrix-vector and vector-matrix multiplication are the major tasks of exact analysis. We introduce a simple, but powerful algorithm which uses explicitly the Petri net structure and allows for parallelisation. We present results demonstrating the efficiency of our first prototype implementation when applied to biochemical network models, specifically with increasing token numbers. Our tool currently supports CSL model checking of time-bounded operators and the Next operator for ordinary stochastic Petri nets.

  10. 78 FR 5757 - National Instant Criminal Background Check System

    Federal Register 2010, 2011, 2012, 2013, 2014

    2013-01-28

    ... Investigation (FBI), Department of Justice. ACTION: Notice of proposed rulemaking. SUMMARY: The Department of... agencies to the FBI-maintained NICS Index to permit background checks for the purpose of disposing of... comment period. ADDRESSES: You may submit comments, identified by Docket No. FBI 152, by either of...

  11. How to handle sales demo, reference checks, and site visits.

    PubMed

    Hertlein, Sue

    2006-01-01

    Although challenging and time consuming, vendor selection, product demonstrations, reference checks, and site visits can be streamlined by following the guidelines and steps presented here. A systematic and uniform approach is the best way to save time and achieve the desired results that are so important to your practice.

  12. 20. CHECK, TURNOUT, SIPHON AND METERING EQUIPMENT FOR DELIVERY FROM ...

    Library of Congress Historic Buildings Survey, Historic Engineering Record, Historic Landscapes Survey

    20. CHECK, TURNOUT, SIPHON AND METERING EQUIPMENT FOR DELIVERY FROM BASE LINE WASTE DITCH TO KYRENE DITCH AT EAST 1/4 CORNER, SECTION 12, T1S-R4E July 7, 1921 - Western Canal, South side of Salt River between Tempe, Phoenix & Mesa, Mesa, Maricopa County, AZ

  13. Astronaut James Lovell checks body temperature with oral temperature probe

    NASA Technical Reports Server (NTRS)

    1965-01-01

    Gemini 7 pilot Astronaut James A. Lovell Jr. has temperature check with oral temperature probe attached to his space suit during final preflight preparations for the Gemini 7 space mission. The temperature probe allows doctors to monitor astronauts body temperature at any time during the mission.

  14. 32 CFR 809a.1 - Random installation entry point checks.

    Code of Federal Regulations, 2013 CFR

    2013-07-01

    ... 32 National Defense 6 2013-07-01 2013-07-01 false Random installation entry point checks. 809a.1 Section 809a.1 National Defense Department of Defense (Continued) DEPARTMENT OF THE AIR FORCE ADMINISTRATION INSTALLATION ENTRY POLICY, CIVIL DISTURBANCE INTERVENTION AND DISASTER ASSISTANCE...

  15. Afterbay, looking north at hydraulic gate check cylinders. The spillback ...

    Library of Congress Historic Buildings Survey, Historic Engineering Record, Historic Landscapes Survey

    Afterbay, looking north at hydraulic gate check cylinders. The spillback gate box is visible at the far left on the north side of the canal. - Wellton-Mohawk Irrigation System, Pumping Plant No. 3, South of Interstate 8, Wellton, Yuma County, AZ

  16. Afterbay, looking north at hydraulic gate check cylinders and lamps. ...

    Library of Congress Historic Buildings Survey, Historic Engineering Record, Historic Landscapes Survey

    Afterbay, looking north at hydraulic gate check cylinders and lamps. The gate lift in the foreground is an addition associated with the ca. 1974-1975 regulatory pumps - Wellton-Mohawk Irrigation System, Pumping Plant No. 2, Bounded by Interstate 8 to south, Wellton, Yuma County, AZ

  17. Afterbay, showing five discharge channels and five hydraulic gate check ...

    Library of Congress Historic Buildings Survey, Historic Engineering Record, Historic Landscapes Survey

    Afterbay, showing five discharge channels and five hydraulic gate check cylinders, one for each discharge pipe opening. The spillback inlet is visible in the left foreground. View to the west - Wellton-Mohawk Irrigation System, Pumping Plant No. 2, Bounded by Interstate 8 to south, Wellton, Yuma County, AZ

  18. STS-107 crew members check out equipment at SPACEHAB

    NASA Technical Reports Server (NTRS)

    2000-01-01

    KENNEDY SPACE CENTER, FLA. -- Members of the STS-107 crew check out equipment at SPACEHAB. Beginning in the center are Mission Specialists Michael Anderson and Laurel Clark; at far right are Ilan Ramon, from Israel, and Kalpana Chawla. Identified as a research mission, STS-107 is scheduled for launch July 19, 2001

  19. MARINER 9 SPACE PROBE UNDERGOES FINAL CHECKS PRIOR TO ENCAPSULATION

    NASA Technical Reports Server (NTRS)

    1971-01-01

    Technicians make final checks of the Mariner I spacecraft prior to its encapsulation. The Mars- bound spacecraft lifted off aboard an Atlas-Centaur rocket from Cape Kennedy at 6:23 p.m. EDT, May 30, 1971. Following a flight of nearly six months, the spacecraft, designated Mariner 9, will enter orbit and transmit data about the Red Planet's surface and atmosphere.

  20. Afterbay, showing four discharge channels and four hydraulic gate check ...

    Library of Congress Historic Buildings Survey, Historic Engineering Record, Historic Landscapes Survey

    Afterbay, showing four discharge channels and four hydraulic gate check cylinders, one for each discharge pipe opening. The fifth bay at the left without a hydraulic cylinder is the outlet for the regulatory pumps added in 1972. The still well is visible at right - Wellton-Mohawk Irrigation System, Pumping Plant No. 3, South of Interstate 8, Wellton, Yuma County, AZ

  1. 14 CFR 121.315 - Cockpit check procedure.

    Code of Federal Regulations, 2012 CFR

    2012-01-01

    ... 14 Aeronautics and Space 3 2012-01-01 2012-01-01 false Cockpit check procedure. 121.315 Section 121.315 Aeronautics and Space FEDERAL AVIATION ADMINISTRATION, DEPARTMENT OF TRANSPORTATION (CONTINUED... emergencies. The procedures must be designed so that a flight crewmember will not need to rely upon his...

  2. 14 CFR 121.315 - Cockpit check procedure.

    Code of Federal Regulations, 2013 CFR

    2013-01-01

    ... 14 Aeronautics and Space 3 2013-01-01 2013-01-01 false Cockpit check procedure. 121.315 Section 121.315 Aeronautics and Space FEDERAL AVIATION ADMINISTRATION, DEPARTMENT OF TRANSPORTATION (CONTINUED... emergencies. The procedures must be designed so that a flight crewmember will not need to rely upon his...

  3. 14 CFR 121.315 - Cockpit check procedure.

    Code of Federal Regulations, 2014 CFR

    2014-01-01

    ... 14 Aeronautics and Space 3 2014-01-01 2014-01-01 false Cockpit check procedure. 121.315 Section 121.315 Aeronautics and Space FEDERAL AVIATION ADMINISTRATION, DEPARTMENT OF TRANSPORTATION (CONTINUED... emergencies. The procedures must be designed so that a flight crewmember will not need to rely upon his...

  4. 76 FR 16861 - Availability of Funds and Collection of Checks

    Federal Register 2010, 2011, 2012, 2013, 2014

    2011-03-25

    ...) representing returned checks and to integrate these systems with the bank's other existing systems, such as the... never existed in paper (``electronically-created items''). For example, payees collect payment by means of electronically-created items (i.e., items that never existed in paper form) that resemble...

  5. The Role of Personal Ethical Checking in Courageous School Leadership

    ERIC Educational Resources Information Center

    Buskey, Frederick C.; Pitts, Eric M.

    2013-01-01

    When school leaders make calculated decisions to deviate from hierarchical or cultural directives and norms, they may be viewed as mavericks or brigands. This paper details a process of ethical checking to help differentiate ethical decisions from more arbitrary or self-serving decisions. The paper examines conflicts inherent in many professional…

  6. MINIMUM CHECK LIST FOR MECHANICAL PLANS AND SPECIFICATIONS.

    ERIC Educational Resources Information Center

    PIERCE, J.L.

    THIS BULLETIN HAS BEEN PREPARED FOR USE AS A MINIMUM CHECK LIST IN THE DEVELOPMENT AND REVIEW OF MECHANICAL AND ELECTRICAL PLANS AND SPECIFICATIONS BY ENGINEERS, ARCHITECTS, AND SUPERINTENDENTS IN PLANNING PUBLIC SCHOOL FACILITIES. THREE LEVELS OF GUIDELINES ARE MENTIONED--(1) MANDATORY BECAUSE OF LAW, CODE, OR REGULATION, (2) RECOMMENDED AS MOST…

  7. Minimum Check List for Mechanical and Electrical Plans & Specifications.

    ERIC Educational Resources Information Center

    North Carolina State Dept. of Public Instruction, Raleigh. Div. of School Facility Services.

    This is the fifth revision of the Minimum Check List since its origin in 1960 by North Carolina's School Planning. The checklist was developed to serve as a means of communication between school agencies and design professionals and has been widely used in the development and review of mechanical and electrical plans and specifications by…

  8. Graphical Quantum Low-Density Parity-Check Codes

    NASA Astrophysics Data System (ADS)

    Li, Yuan; Xu, Mantao; Meng, Yinkuo; Guo, Ying

    2012-08-01

    Graphical approach provides a direct way to construct error correction codes. Motivated by its good properties, associating low-density parity-check (LDPC) codes, in this paper we present families of graphical quantum LDPC codes which contain no girth of four. Because of the fast algorithm of constructing for graphical codes, the proposed quantum codes have lower encoding complexity.

  9. 38 CFR 3.1003 - Returned and canceled checks.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... persons for the expenses of last sickness and/or burial. (1) There is no limit on the retroactive period for which payment of the amount represented by the check may be made, and no time limit for filing a... paragraph, will not will not revert to the state because there is no one eligible to inherit it. (c)...

  10. 40 CFR 91.325 - Analyzer interference checks.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... (CONTINUED) CONTROL OF EMISSIONS FROM MARINE SPARK-IGNITION ENGINES Emission Test Equipment Provisions § 91... affect analyzer performance. (b) CO analyzer water and CO2 interference checks. Bubble through water at.... For dry measurements, this mixture may be introduced into the sample system prior to the water...

  11. Homeland Security Initiatives and Background Checks in Higher Education

    ERIC Educational Resources Information Center

    Hughes, Stephanie; Keller, Eileen Weisenbach; Hertz, Giles T.

    2010-01-01

    In recent years, colleges and universities have faced a new challenge. While there has been a movement underway on college campuses to increase the safety of a wide range of university constituents through criminal background checks (CBCs), in most cases this movement has failed to include CBCs of foreign faculty and student populations. The…

  12. 36 CFR 520.13 - Items to be checked.

    Code of Federal Regulations, 2014 CFR

    2014-07-01

    ... 36 Parks, Forests, and Public Property 3 2014-07-01 2014-07-01 false Items to be checked. 520.13 Section 520.13 Parks, Forests, and Public Property SMITHSONIAN INSTITUTION RULES AND REGULATIONS GOVERNING THE BUILDINGS AND GROUNDS OF THE NATIONAL ZOOLOGICAL PARK OF THE SMITHSONIAN INSTITUTION §...

  13. 36 CFR 520.13 - Items to be checked.

    Code of Federal Regulations, 2013 CFR

    2013-07-01

    ... 36 Parks, Forests, and Public Property 3 2013-07-01 2012-07-01 true Items to be checked. 520.13 Section 520.13 Parks, Forests, and Public Property SMITHSONIAN INSTITUTION RULES AND REGULATIONS GOVERNING THE BUILDINGS AND GROUNDS OF THE NATIONAL ZOOLOGICAL PARK OF THE SMITHSONIAN INSTITUTION §...

  14. 36 CFR 520.13 - Items to be checked.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... 36 Parks, Forests, and Public Property 3 2011-07-01 2011-07-01 false Items to be checked. 520.13 Section 520.13 Parks, Forests, and Public Property SMITHSONIAN INSTITUTION RULES AND REGULATIONS GOVERNING THE BUILDINGS AND GROUNDS OF THE NATIONAL ZOOLOGICAL PARK OF THE SMITHSONIAN INSTITUTION §...

  15. 36 CFR 520.13 - Items to be checked.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... 36 Parks, Forests, and Public Property 3 2010-07-01 2010-07-01 false Items to be checked. 520.13 Section 520.13 Parks, Forests, and Public Property SMITHSONIAN INSTITUTION RULES AND REGULATIONS GOVERNING THE BUILDINGS AND GROUNDS OF THE NATIONAL ZOOLOGICAL PARK OF THE SMITHSONIAN INSTITUTION §...

  16. 36 CFR 520.13 - Items to be checked.

    Code of Federal Regulations, 2012 CFR

    2012-07-01

    ... 36 Parks, Forests, and Public Property 3 2012-07-01 2012-07-01 false Items to be checked. 520.13 Section 520.13 Parks, Forests, and Public Property SMITHSONIAN INSTITUTION RULES AND REGULATIONS GOVERNING THE BUILDINGS AND GROUNDS OF THE NATIONAL ZOOLOGICAL PARK OF THE SMITHSONIAN INSTITUTION §...

  17. 14 CFR 121.315 - Cockpit check procedure.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... 14 Aeronautics and Space 3 2010-01-01 2010-01-01 false Cockpit check procedure. 121.315 Section 121.315 Aeronautics and Space FEDERAL AVIATION ADMINISTRATION, DEPARTMENT OF TRANSPORTATION (CONTINUED... emergencies. The procedures must be designed so that a flight crewmember will not need to rely upon his...

  18. 14 CFR 121.315 - Cockpit check procedure.

    Code of Federal Regulations, 2011 CFR

    2011-01-01

    ... 14 Aeronautics and Space 3 2011-01-01 2011-01-01 false Cockpit check procedure. 121.315 Section 121.315 Aeronautics and Space FEDERAL AVIATION ADMINISTRATION, DEPARTMENT OF TRANSPORTATION (CONTINUED... emergencies. The procedures must be designed so that a flight crewmember will not need to rely upon his...

  19. Remedial Sheets for Progress Checks, Segments 1-14.

    ERIC Educational Resources Information Center

    New York Inst. of Tech., Old Westbury.

    The first part of the Self-Paced Physics Course remediation materials is presented for U. S. Naval Academy students who miss core problems on the progress check. The total of 78 problems is incorporated in this volume to match study segments 1 through 14. Each remedial sheet is composed of a statement of the missed problem and references to…

  20. Astronaut Harris checks response of muscles to microgravity

    NASA Technical Reports Server (NTRS)

    1995-01-01

    With astronaut Janice E. Voss, STS-63 mission specialist, as his test subject, astronaut Bernard A. Harris Jr., payload commander and a physician, uses a special biomedical harness/experiment to check the response of muscles to microgravity. They are on the middeck, where many of the Spacehab-3 experiments are located. The Spacehab-3 is in the cargo bay.

  1. Identification of Poetntially Creative Persons from the Adjective Check List

    ERIC Educational Resources Information Center

    Domino, George

    1970-01-01

    The initial development and cross validation of a Creativity (CR) scale for the Adjective Check List (ACL) is presented. The Cr scale significantly differentiated creatives from controls in every field of endeavor, but was not influenced by sex or type of creativity. (Author)

  2. Preservation Health Check: Monitoring Threats to Digital Repository Content

    ERIC Educational Resources Information Center

    Kool, Wouter; van der Werf, Titia; Lavoie, Brian

    2014-01-01

    The Preservation Health Check (PHC) project, undertaken as a joint effort by Open Planets Foundation (OPF) and OCLC Research, aims to evaluate the usefulness of the preservation metadata created and maintained by operational repositories for assessing basic preservation properties. The PHC project seeks to develop an implementable logic to support…

  3. Concrete Model Checking with Abstract Matching and Refinement

    NASA Technical Reports Server (NTRS)

    Pasareanu Corina S.; Peianek Radek; Visser, Willem

    2005-01-01

    We propose an abstraction-based model checking method which relies on refinement of an under-approximation of the feasible behaviors of the system under analysis. The method preserves errors to safety properties, since all analyzed behaviors are feasible by definition. The method does not require an abstract transition relation to he generated, but instead executes the concrete transitions while storing abstract versions of the concrete states, as specified by a set of abstraction predicates. For each explored transition. the method checks, with the help of a theorem prover, whether there is any loss of precision introduced by abstraction. The results of these checks are used to decide termination or to refine the abstraction, by generating new abstraction predicates. If the (possibly infinite) concrete system under analysis has a finite bisimulation quotient, then the method is guaranteed to eventually explore an equivalent finite bisimilar structure. We illustrate the application of the approach for checking concurrent programs. We also show how a lightweight variant can be used for efficient software testing.

  4. Our Journey down the Self-Check Road

    ERIC Educational Resources Information Center

    Whitney, Ann; Garrett, Adam

    2008-01-01

    Although self-checkout technology has been around for about 15 years, cashiers have not yet needed to worry about being rendered obsolete. Many stores have added self-checkout, but a clerk still has to be stationed in the area to help with problems. While self-check technology has improved immensely over the years, it still has not caught on to…

  5. 6 CFR 37.45 - Background checks for covered employees.

    Code of Federal Regulations, 2014 CFR

    2014-01-01

    ..., the validation of references from prior employment, a name-based and fingerprint-based criminal.... States must conduct a name-based and fingerprint-based criminal history records check (CHRC) using, at a minimum, the FBI's National Crime Information Center (NCIC) and the Integrated Automated...

  6. 6 CFR 37.45 - Background checks for covered employees.

    Code of Federal Regulations, 2012 CFR

    2012-01-01

    ..., the validation of references from prior employment, a name-based and fingerprint-based criminal.... States must conduct a name-based and fingerprint-based criminal history records check (CHRC) using, at a minimum, the FBI's National Crime Information Center (NCIC) and the Integrated Automated...

  7. 6 CFR 37.45 - Background checks for covered employees.

    Code of Federal Regulations, 2011 CFR

    2011-01-01

    ..., the validation of references from prior employment, a name-based and fingerprint-based criminal.... States must conduct a name-based and fingerprint-based criminal history records check (CHRC) using, at a minimum, the FBI's National Crime Information Center (NCIC) and the Integrated Automated...

  8. STS-107 crew members check out equipment at SPACEHAB

    NASA Technical Reports Server (NTRS)

    2000-01-01

    KENNEDY SPACE CENTER, FLA. -- At SPACEHAB, STS-107 crew members check out equipment for their mission. At the far left are Mission Specialists Kalpana Chawla and Ilan Ramon, who is from Israel. At center, handling the equipment, are Mission Specialists David Brown and Michael Anderson. Identified as a research mission, STS-107 is scheduled for launch July 19, 2001

  9. Federal report calls for national criminal background checks.

    PubMed

    Weiss, H P

    1998-01-01

    If the Kohl bill is not passed in the 105th Congress, look for the legislative proposal to be reintroduced next year, Lynn Becker, a spokesperson for Sen. Kohl tells Balance. "Hopefully," she adds, "the administration will include the National Background Check Registry as part of its next Budget Proposal, which is expected to be submitted to Congress in February 1999."

  10. Tester automatically checks paper tape punch and reader after maintenance

    NASA Technical Reports Server (NTRS)

    Mazer, L.; Mc Murchy, D. D.

    1967-01-01

    Device automatically bench tests paper tape punches and readers in a simulated operating environment following routine maintenance. The reader and punch operate back-to-back and the paper tape output feeds the reader. The tape leader is prepunched with an arbitrary pattern that is continuously reproduced during the check.

  11. 40 CFR 91.325 - Analyzer interference checks.

    Code of Federal Regulations, 2014 CFR

    2014-07-01

    ... room temperature a CO2 span gas having a concentration of between 80 percent and 100 percent inclusive... expected concentrations experienced during testing. (1) NOX analyzer CO2 quench check. (i) Pass a CO2 span...=Undiluted CO2 concentration (percent) b=Diluted CO2 concentration (percent) c=Diluted NO concentration...

  12. 40 CFR 91.325 - Analyzer interference checks.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... room temperature a CO2 span gas having a concentration of between 80 percent and 100 percent inclusive... expected concentrations experienced during testing. (1) NOX analyzer CO2 quench check. (i) Pass a CO2 span...=Undiluted CO2 concentration (percent) b=Diluted CO2 concentration (percent) c=Diluted NO concentration...

  13. 40 CFR 91.325 - Analyzer interference checks.

    Code of Federal Regulations, 2012 CFR

    2012-07-01

    ... room temperature a CO2 span gas having a concentration of between 80 percent and 100 percent inclusive... expected concentrations experienced during testing. (1) NOX analyzer CO2 quench check. (i) Pass a CO2 span...=Undiluted CO2 concentration (percent) b=Diluted CO2 concentration (percent) c=Diluted NO concentration...

  14. 40 CFR 92.118 - Analyzer checks and calibrations.

    Code of Federal Regulations, 2012 CFR

    2012-07-01

    ... measurement. (iii) When the HC instrument response is 95 percent of the span gas concentration used, stop the...) Repeat with the CO, CO2, and NOX instruments and span gases. (2) Option. If the following parameters are determined, the initial system response time may be generally applied to future checks: (i) Analyzer...

  15. 40 CFR 92.118 - Analyzer checks and calibrations.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... measurement. (iii) When the HC instrument response is 95 percent of the span gas concentration used, stop the...) Repeat with the CO, CO2, and NOX instruments and span gases. (2) Option. If the following parameters are determined, the initial system response time may be generally applied to future checks: (i) Analyzer...

  16. 40 CFR 90.325 - Analyzer interference checks.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... Equipment Provisions § 90.325 Analyzer interference checks. (a) Gases present in the exhaust other than the... record the analyzer response. For dry measurements, this mixture may be introduced into the sample system... the value “a.” (ii) Dilute the CO2 span gas approximately 50 percent with NO span gas and pass...

  17. Video Demo of UMBC's "Check My Activity" Tool for Students

    ERIC Educational Resources Information Center

    Fritz, John

    2010-01-01

    The University of Maryland, Baltimore County (UMBC) uses a Blackboard course management system (CMS) to support faculty and students. To supplement the CMS, the university created a custom "Check My Activity" (CMA) self-service feedback tool for students. In addition to comparing their online course activity against a class average,…

  18. New Results in Software Model Checking and Analysis

    NASA Technical Reports Server (NTRS)

    Pasareanu, Corina S.

    2010-01-01

    This introductory article surveys new techniques, supported by automated tools, for the analysis of software to ensure reliability and safety. Special focus is on model checking techniques. The article also introduces the five papers that are enclosed in this special journal volume.

  19. A Check List for Evaluating Persuasive Features of Mathematics Courseware

    ERIC Educational Resources Information Center

    Aris, Baharuddin; Gharbaghi, Alireza; Ahmad, Maizah Hura; Rosli, Mohd Shafie

    2013-01-01

    The main purpose of this study is to introduce a check list for evaluating persuasive features of mathematics courseware. Since mathematics is a source of anxiety among students (Zeidner & Matthews, 2010), this research is an attempt to employ persuasive features that can be used in mathematics courseware. Specifically, we sought to determine…

  20. Check list of the helminths of equines in Turkey.

    PubMed

    Gürler, Ali Tümay; Bölükbaş, Cenk Soner; Açici, Mustafa; Umur, Sinasi

    2010-01-01

    Helminths of equines are one of the most important agents of parasitic diseases. Therefore, many studies have been conducted on helminths of equines in Turkey. In this article, a check list and prevalence rates of helminths of equines in Turkey have been given.

  1. 14 CFR Appendix F to Part 121 - Proficiency Check Requirements

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... 14 Aeronautics and Space 3 2010-01-01 2010-01-01 false Proficiency Check Requirements F Appendix F... REQUIREMENTS: DOMESTIC, FLAG, AND SUPPLEMENTAL OPERATIONS Pt. 121, App. F Appendix F to Part 121—Proficiency... airman, whichever was completed later (e) Except as provided in paragraph (f) of this section, if...

  2. Implementation and Impact of the Check & Connect Mentoring Program

    ERIC Educational Resources Information Center

    Heppen, Jessica; O'Cummings, Mindee; Poland, Lindsay; Zeiser, Krissy; Mills, Nicholas

    2015-01-01

    High school graduation rates remain unacceptably low in the U.S., especially among disadvantaged youth (Chapman, Laird, Ifill, & KelalRamani, 2011; Stillwell, 2010), with troubling implications for future earnings and employment status (Bureau of Labor Statistics, 2012). Check & Connect (C&C) is an individualized program that pairs…

  3. Mandatory Identification Bar Checks: How Bouncers Are Doing Their Job

    ERIC Educational Resources Information Center

    Monk-Turner, Elizabeth; Allen, John; Casten, John; Cowling, Catherine; Gray, Charles; Guhr, David; Hoofnagle, Kara; Huffman, Jessica; Mina, Moises; Moore, Brian

    2011-01-01

    The behavior of bouncers at on site establishments that served alcohol was observed. Our aim was to better understand how bouncers went about their job when the bar had a mandatory policy to check identification of all customers. Utilizing an ethnographic decision model, we found that bouncers were significantly more likely to card customers that…

  4. Remedial Sheets for Progress Checks, Segments 19-40.

    ERIC Educational Resources Information Center

    New York Inst. of Tech., Old Westbury.

    The second part of the Self-Paced Physics Course remediation materials is presented for U. S. Naval Academy students who miss core problems on the progress check. The total of 101 problems is incorporated in this volume to match study segments 19 through 40. Each remedial sheet is composed of a statement of the missed problem and references to…

  5. Adaptive SPECT

    PubMed Central

    Barrett, Harrison H.; Furenlid, Lars R.; Freed, Melanie; Hesterman, Jacob Y.; Kupinski, Matthew A.; Clarkson, Eric; Whitaker, Meredith K.

    2008-01-01

    Adaptive imaging systems alter their data-acquisition configuration or protocol in response to the image information received. An adaptive pinhole single-photon emission computed tomography (SPECT) system might acquire an initial scout image to obtain preliminary information about the radiotracer distribution and then adjust the configuration or sizes of the pinholes, the magnifications, or the projection angles in order to improve performance. This paper briefly describes two small-animal SPECT systems that allow this flexibility and then presents a framework for evaluating adaptive systems in general, and adaptive SPECT systems in particular. The evaluation is in terms of the performance of linear observers on detection or estimation tasks. Expressions are derived for the ideal linear (Hotelling) observer and the ideal linear (Wiener) estimator with adaptive imaging. Detailed expressions for the performance figures of merit are given, and possible adaptation rules are discussed. PMID:18541485

  6. Mobile vehicle road and weather observation quality check methods

    NASA Astrophysics Data System (ADS)

    Koller, Daniel Raymond

    data quality and accuracy, requiring the development of quality checks for mobile data collection. Using OBDII-equipped automobiles and mobile collection methods, we can begin to address issues of data quality by understanding, characterizing, and demonstrating the quality of mobile system observations from operational and research environments. Several forms of quality checking can be used, including range checks, Barnes spatial checks, comparing vehicle data to road weather models, and applying Clarus quality check methodologies and algorithms to mobile observations. Development of these quality checks can lead to the future integration of mobile data into the Clarus system, data implementation for improved forecasting, maintenance decision support, and traveler safety. This paper will discuss the benefits and challenges in mobile data collection, along with how the development and implementation of a system of quality checks will improve the quality and accuracy of mobile data collection.

  7. 31 CFR 245.8 - Receipt or recovery of original check.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... 31 Money and Finance: Treasury 2 2010-07-01 2010-07-01 false Receipt or recovery of original check. 245.8 Section 245.8 Money and Finance: Treasury Regulations Relating to Money and Finance (Continued... CHECKS § 245.8 Receipt or recovery of original check. (a) If the original check is received or...

  8. 47 CFR 80.293 - Check bearings by authorized ship personnel.

    Code of Federal Regulations, 2012 CFR

    2012-10-01

    ... 47 Telecommunication 5 2012-10-01 2012-10-01 false Check bearings by authorized ship personnel. 80... Check bearings by authorized ship personnel. The requirement for calibration by check bearings is met if: (a) The required verification by check bearings are made not more than 90 days prior to the date...

  9. 47 CFR 80.293 - Check bearings by authorized ship personnel.

    Code of Federal Regulations, 2014 CFR

    2014-10-01

    ... 47 Telecommunication 5 2014-10-01 2014-10-01 false Check bearings by authorized ship personnel. 80... Check bearings by authorized ship personnel. The requirement for calibration by check bearings is met if: (a) The required verification by check bearings are made not more than 90 days prior to the date...

  10. 47 CFR 80.293 - Check bearings by authorized ship personnel.

    Code of Federal Regulations, 2011 CFR

    2011-10-01

    ... 47 Telecommunication 5 2011-10-01 2011-10-01 false Check bearings by authorized ship personnel. 80... Check bearings by authorized ship personnel. The requirement for calibration by check bearings is met if: (a) The required verification by check bearings are made not more than 90 days prior to the date...

  11. 47 CFR 80.293 - Check bearings by authorized ship personnel.

    Code of Federal Regulations, 2013 CFR

    2013-10-01

    ... 47 Telecommunication 5 2013-10-01 2013-10-01 false Check bearings by authorized ship personnel. 80... Check bearings by authorized ship personnel. The requirement for calibration by check bearings is met if: (a) The required verification by check bearings are made not more than 90 days prior to the date...

  12. 47 CFR 80.293 - Check bearings by authorized ship personnel.

    Code of Federal Regulations, 2010 CFR

    2010-10-01

    ... 47 Telecommunication 5 2010-10-01 2010-10-01 false Check bearings by authorized ship personnel. 80... Check bearings by authorized ship personnel. The requirement for calibration by check bearings is met if: (a) The required verification by check bearings are made not more than 90 days prior to the date...

  13. 75 FR 24796 - FBI Records Management Division National Name Check Program Section User Fees

    Federal Register 2010, 2011, 2012, 2013, 2014

    2010-05-06

    ... CFR Part 20 RIN 1110-AA29 FBI Records Management Division National Name Check Program Section User...-based background checks conducted by the National Name Check Program (NNCP) of the Records Management..., 2010. FOR FURTHER INFORMATION CONTACT: FBI, Records Management Division, National Name Check...

  14. Pre-Alignment Checks. Automotive Mechanics. Steering & Suspension. Instructor's Guide [and] Student Guide.

    ERIC Educational Resources Information Center

    Spignesi, B.

    This instructional package, one in a series of individualized instructional units on automotive steering and suspension, consists of a student guide and an instructor guide dealing with prealignment checks. Covered in the module are the following steps in a prealignment check: checking the ride height of a vehicle, checking the ball joints and the…

  15. 31 CFR 240.5 - Limitations on payment; cancellation and distribution of proceeds of checks.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... that authorizes the issuance of checks a list of those checks issued for such agency which were... and distribution of proceeds of checks. 240.5 Section 240.5 Money and Finance: Treasury Regulations... SERVICE INDORSEMENT AND PAYMENT OF CHECKS DRAWN ON THE UNITED STATES TREASURY General Provisions §...

  16. 10 CFR 73.59 - Relief from fingerprinting, identification and criminal history records checks and other elements...

    Code of Federal Regulations, 2013 CFR

    2013-01-01

    ... history records checks and other elements of background checks for designated categories of individuals..., identification and criminal history records checks and other elements of background checks for designated categories of individuals. Fingerprinting, and the identification and criminal history records...

  17. 10 CFR 73.59 - Relief from fingerprinting, identification and criminal history records checks and other elements...

    Code of Federal Regulations, 2012 CFR

    2012-01-01

    ... history records checks and other elements of background checks for designated categories of individuals..., identification and criminal history records checks and other elements of background checks for designated categories of individuals. Fingerprinting, and the identification and criminal history records...

  18. 10 CFR 73.59 - Relief from fingerprinting, identification and criminal history records checks and other elements...

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... history records checks and other elements of background checks for designated categories of individuals..., identification and criminal history records checks and other elements of background checks for designated categories of individuals. Fingerprinting, and the identification and criminal history records...

  19. 45 CFR 2552.28 - When must I conduct a State criminal registry check and a NSOPR check on an individual in a...

    Code of Federal Regulations, 2011 CFR

    2011-10-01

    ... 45 Public Welfare 4 2011-10-01 2011-10-01 false When must I conduct a State criminal registry... criminal registry check and a NSOPR check on an individual in a covered position? (a) The State criminal registry check must be conducted on an individual who enrolls in, or is hired by, your program...

  20. 45 CFR 2552.28 - When must I conduct a State criminal registry check and a NSOPR check on an individual in a...

    Code of Federal Regulations, 2010 CFR

    2010-10-01

    ... 45 Public Welfare 4 2010-10-01 2010-10-01 false When must I conduct a State criminal registry... criminal registry check and a NSOPR check on an individual in a covered position? (a) The State criminal registry check must be conducted on an individual who enrolls in, or is hired by, your program...

  1. 45 CFR 2551.28 - When must I conduct a State criminal registry check and a NSOPR check on an individual in a...

    Code of Federal Regulations, 2010 CFR

    2010-10-01

    ... 45 Public Welfare 4 2010-10-01 2010-10-01 false When must I conduct a State criminal registry... criminal registry check and a NSOPR check on an individual in a covered position? (a) The State criminal registry check must be conducted on an individual who enrolls in, or is hired by, your program...

  2. 45 CFR 2551.28 - When must I conduct a State criminal registry check and a NSOPR check on an individual in a...

    Code of Federal Regulations, 2011 CFR

    2011-10-01

    ... 45 Public Welfare 4 2011-10-01 2011-10-01 false When must I conduct a State criminal registry... criminal registry check and a NSOPR check on an individual in a covered position? (a) The State criminal registry check must be conducted on an individual who enrolls in, or is hired by, your program...

  3. 45 CFR 2552.28 - When must I conduct a State criminal registry check and a NSOPR check on an individual in a...

    Code of Federal Regulations, 2012 CFR

    2012-10-01

    ... 45 Public Welfare 4 2012-10-01 2012-10-01 false When must I conduct a State criminal registry... criminal registry check and a NSOPR check on an individual in a covered position? (a) The State criminal registry check must be conducted on an individual who enrolls in, or is hired by, your program...

  4. 45 CFR 2551.28 - When must I conduct a State criminal registry check and a NSOPR check on an individual in a...

    Code of Federal Regulations, 2012 CFR

    2012-10-01

    ... 45 Public Welfare 4 2012-10-01 2012-10-01 false When must I conduct a State criminal registry... criminal registry check and a NSOPR check on an individual in a covered position? (a) The State criminal registry check must be conducted on an individual who enrolls in, or is hired by, your program...

  5. Climate adaptation

    NASA Astrophysics Data System (ADS)

    Kinzig, Ann P.

    2015-03-01

    This paper is intended as a brief introduction to climate adaptation in a conference devoted otherwise to the physics of sustainable energy. Whereas mitigation involves measures to reduce the probability of a potential event, such as climate change, adaptation refers to actions that lessen the impact of climate change. Mitigation and adaptation differ in other ways as well. Adaptation does not necessarily have to be implemented immediately to be effective; it only needs to be in place before the threat arrives. Also, adaptation does not necessarily require global, coordinated action; many effective adaptation actions can be local. Some urban communities, because of land-use change and the urban heat-island effect, currently face changes similar to some expected under climate change, such as changes in water availability, heat-related morbidity, or changes in disease patterns. Concern over those impacts might motivate the implementation of measures that would also help in climate adaptation, despite skepticism among some policy makers about anthropogenic global warming. Studies of ancient civilizations in the southwestern US lends some insight into factors that may or may not be important to successful adaptation.

  6. FPGA-Based, Self-Checking, Fault-Tolerant Computers

    NASA Technical Reports Server (NTRS)

    Some, Raphael; Rennels, David

    2004-01-01

    A proposed computer architecture would exploit the capabilities of commercially available field-programmable gate arrays (FPGAs) to enable computers to detect and recover from bit errors. The main purpose of the proposed architecture is to enable fault-tolerant computing in the presence of single-event upsets (SEUs). [An SEU is a spurious bit flip (also called a soft error) caused by a single impact of ionizing radiation.] The architecture would also enable recovery from some soft errors caused by electrical transients and, to some extent, from intermittent and permanent (hard) errors caused by aging of electronic components. A typical FPGA of the current generation contains one or more complete processor cores, memories, and highspeed serial input/output (I/O) channels, making it possible to shrink a board-level processor node to a single integrated-circuit chip. Custom, highly efficient microcontrollers, general-purpose computers, custom I/O processors, and signal processors can be rapidly and efficiently implemented by use of FPGAs. Unfortunately, FPGAs are susceptible to SEUs. Prior efforts to mitigate the effects of SEUs have yielded solutions that degrade performance of the system and require support from external hardware and software. In comparison with other fault-tolerant- computing architectures (e.g., triple modular redundancy), the proposed architecture could be implemented with less circuitry and lower power demand. Moreover, the fault-tolerant computing functions would require only minimal support from circuitry outside the central processing units (CPUs) of computers, would not require any software support, and would be largely transparent to software and to other computer hardware. There would be two types of modules: a self-checking processor module and a memory system (see figure). The self-checking processor module would be implemented on a single FPGA and would be capable of detecting its own internal errors. It would contain two CPUs executing

  7. Check dams effects on sediment transport in steep slope flume

    NASA Astrophysics Data System (ADS)

    Piton, Guillaume; Recking, Alain

    2014-05-01

    Depending on many influences (geology, relief, hydrology, land use, etc.) some mountainous watershed are prone to cause casualties and facilities damages. Large amounts of sediments episodically released by torrents are often the biggest problem in torrent related hazard mitigation. Series of transversal structures as check dams and ground sills are often used in the panel of risk mitigation technics. A large literature exits on check dams and it mainly concerns engineering design, e.g. toe scouring, stability stress diagram, changes in upper and lower reaches equilibrium slopes. Check dams in steep slope rivers constitute fixed points in the bed profile and prevent general bed incision. However their influence on sediment transport once they are filled is not yet clear. Two flume test campaigns, synthetize in Table 1, were performed to investigate this question: Table 1 : experiment plan Run (duration) Ref1 (50h)CD1a (30h)CD1b (30h)Ref2 (92h)CD2 (18h) Solid feeding discharge (g.s^-1) 44 44 44 60 60 Number of check dams none 1 3 none 2 A nearly 5-m-long, 10-cm-wide and 12%-steep flume was used. The water discharge was set to 0,55 l/s in all runs. A mixture of poorly sorted natural sediments with diameters between 0.8 and 40 mm was used. An open solid-discharge-feeding circuit kept the inlet sediment flux constant during all experiments. As both feeding rates did not present variation, changes in outlet solid discharge were assumed to be due to bed variations in the bed storage. We observed strong fluctuations of solid flux and slope in each reaches of all runs between: (i) steep aggradating armoured bed and (ii) less steep and finer bed releasing bedload sheets during erosion events and inducing bedload pulses. All experiments showed consistent results: transported volume associated with erosion event decreased with the length between two subsequent check dams. Solid transversal structures shorten the upstream erosion-propagation and avoid downstream change in the

  8. Statistical Quality Control of Moisture Data in GEOS DAS

    NASA Technical Reports Server (NTRS)

    Dee, D. P.; Rukhovets, L.; Todling, R.

    1999-01-01

    A new statistical quality control algorithm was recently implemented in the Goddard Earth Observing System Data Assimilation System (GEOS DAS). The final step in the algorithm consists of an adaptive buddy check that either accepts or rejects outlier observations based on a local statistical analysis of nearby data. A basic assumption in any such test is that the observed field is spatially coherent, in the sense that nearby data can be expected to confirm each other. However, the buddy check resulted in excessive rejection of moisture data, especially during the Northern Hemisphere summer. The analysis moisture variable in GEOS DAS is water vapor mixing ratio. Observational evidence shows that the distribution of mixing ratio errors is far from normal. Furthermore, spatial correlations among mixing ratio errors are highly anisotropic and difficult to identify. Both factors contribute to the poor performance of the statistical quality control algorithm. To alleviate the problem, we applied the buddy check to relative humidity data instead. This variable explicitly depends on temperature and therefore exhibits a much greater spatial coherence. As a result, reject rates of moisture data are much more reasonable and homogeneous in time and space.

  9. A resource-efficient adaptive Fourier analyzer

    NASA Astrophysics Data System (ADS)

    Hajdu, C. F.; Zamantzas, C.; Dabóczi, T.

    2016-10-01

    We present a resource-efficient frequency adaptation method to complement the Fourier analyzer proposed by Péceli. The novel frequency adaptation scheme is based on the adaptive Fourier analyzer suggested by Nagy. The frequency adaptation method was elaborated with a view to realizing a detector connectivity check on an FPGA in a new beam loss monitoring (BLM) system, currently being developed for beam setup and machine protection of the particle accelerators at the European Organisation for Nuclear Research (CERN). The paper summarizes the Fourier analyzer to the extent relevant to this work and the basic principle of the related frequency adaptation methods. It then outlines the suggested new scheme, presents practical considerations for implementing it and underpins it with an example and the corresponding operational experience.

  10. Model Checking for Verification of Interactive Health IT Systems

    PubMed Central

    Butler, Keith A.; Mercer, Eric; Bahrami, Ali; Tao, Cui

    2015-01-01

    Rigorous methods for design and verification of health IT systems have lagged far behind their proliferation. The inherent technical complexity of healthcare, combined with the added complexity of health information technology makes their resulting behavior unpredictable and introduces serious risk. We propose to mitigate this risk by formalizing the relationship between HIT and the conceptual work that increasingly typifies modern care. We introduce new techniques for modeling clinical workflows and the conceptual products within them that allow established, powerful modeling checking technology to be applied to interactive health IT systems. The new capability can evaluate the workflows of a new HIT system performed by clinicians and computers to improve safety and reliability. We demonstrate the method on a patient contact system to demonstrate model checking is effective for interactive systems and that much of it can be automated. PMID:26958166

  11. Changes to criminal records checks used to safeguard vulnerable patients.

    PubMed

    Griffith, Richard; Tengnah, Cassam

    2012-07-01

    The Protection of Freedoms Act 2012 is introducing changes to the Criminal Records Bureau (CRB) checks carried out on those people who work with vulnerable groups. The new law is the coalition Government's response to the criticism of the Safeguarding Vulnerable Group Act 2006. It will merge the CRB and Independent Safeguarding Authority into a new Disclosure and Barring Service and will enhance the rights of applicants to challenge the CRB's right to disclose non-conviction information as part of an enhanced criminal records check. In the first of two articles on the Protection of Freedoms Act 2012, Richard Griffith and Cassam Tengnah discuss the current framework for disclosing criminal records and the impact of the changes on district nurses applying for new posts.

  12. Machine-Checked Metatheory for Security-Oriented Languages

    DTIC Science & Technology

    2006-08-23

    CS Study Group FY07 Phase 2 Machine-Checked Metatheory for Security-Oriented Languages Final Technical Report Pis: Stephanie Weirich ...2001. [4] Brian Aydemir, Arthur Chargueraud, Benjamin C. Pierce, Randy Pollack, and Stephanie Weirich . Engineering formal metatheory. In ACMSIGPLAN...S1CACT Symposium on Princi- ples of Programming Languages (POPL), pages 3-15, January 2008. [5] Brian Aydemir and Stephanie Weirich . Lngen: Tool

  13. MARINER 9 SPACE PROBE UNDERGOES FINAL CHECKS PRIOR TO ENCAPSULATION

    NASA Technical Reports Server (NTRS)

    1971-01-01

    A technician checks the Mariner I spacecraft prior to its encapsulation for launch to Mars. An Atlas-Centaur rocket successfully launched the mars-bound spacecraft from Cape Kennedy at 6:23 p.m. EDT, May 30, 1971. Designated Mariner 9 following launch, the probe will arrive at Mars in mid-November. It will transmit scientific data about that planet's surface and atmosphere.

  14. Proof Validation in Real Analysis: Inferring and Checking Warrants

    ERIC Educational Resources Information Center

    Alcock, Lara; Weber, Keith

    2005-01-01

    In the study reported here, we investigate the skills needed to validate a proof in real analysis, i.e., to determine whether a proof is valid. We first argue that when one is validating a proof, it is not sufficient to make certain that each statement in the argument is true. One must also check that there is good reason to believe that each…

  15. Consistency check for radial distribution functions of water

    NASA Astrophysics Data System (ADS)

    Lie, George C.

    1986-12-01

    From a relation between the thermal compressibility and radial distribution function, it is shown that the accuracy of the generally accepted Narten and Levy's experimental radial distribution functions (RDFs) for water is very low, compared with newer experimental results. The most recent experimental RDFs obtained by Soper and Phillips not only pass the consistency check derived, but also have the best overall agreement with the simulated results of Lie and Clementi.

  16. Symbolic Model Checking: An Approach to the State Explosion Problem

    DTIC Science & Technology

    1992-05-01

    APPROVED: PROVOST DATE De9dicated to the mnemory of Williamt L. AMc~lllan Abstract Finite state models of concurrent systems grow exponentially as the...number of components of the system increases. This is known widely as the state explosion problem in automatic verification, and has limited finite...state verification methods to small systems . To avoid this prob- lem. a method called symbolic model checking is proposed and studied. This method

  17. Logic Model Checking of Unintended Acceleration Claims in Toyota Vehicles

    NASA Technical Reports Server (NTRS)

    Gamble, Ed

    2012-01-01

    Part of the US Department of Transportation investigation of Toyota sudden unintended acceleration (SUA) involved analysis of the throttle control software, JPL Laboratory for Reliable Software applied several techniques including static analysis and logic model checking, to the software; A handful of logic models were build, Some weaknesses were identified; however, no cause for SUA was found; The full NASA report includes numerous other analyses

  18. Model Checking with Multi-Threaded IC3 Portfolios

    DTIC Science & Technology

    2015-01-15

    Model Checking with Multi-Threaded IC3 Portfolios Sagar Chaki and Derrick Karimi Software Engineering Institute, Carnegie Mellon University {chaki...different runs varies randomly depending on the thread interleaving. The use of a portfolio of solvers to maximize the likelihood of a quick solution is...investigated. Using the Extreme Value theorem, the runtime of each variant, as well as their portfolios is analysed statistically. A formula for the

  19. SU8 diaphragm micropump with monolithically integrated cantilever check valves.

    PubMed

    Ezkerra, Aitor; Fernández, Luis José; Mayora, Kepa; Ruano-López, Jesús Miguel

    2011-10-07

    This paper presents a SU8 unidirectional diaphragm micropump with embedded out-of-plane cantilever check valves. The device represents a reliable and low-cost solution for integration of microfluidic control in lab-on-a-chip devices. Its planar architecture allows monolithic definition of its components in a single step and potential integration with previously reported PCR, electrophoresis and flow-sensing SU8 microdevices. Pneumatic actuation is applied on a PDMS diaphragm, which is bonded to the SU8 body at wafer level, further enhancing its integration and mass production capabilities. The cantilever check valves move synchronously with the diaphragm, feature fast response (10ms), low dead volume (86nl) and a 94% flow blockage up to 300kPa. The micropump achieves a maximum flow rate of 177 μl min(-1) at 6 Hz and 200 kPa with an effective area of 10 mm(2). The device is reliable, self-priming and tolerant to particles and big bubbles. To the knowledge of the authors, this is the first micropump in SU8 with monolithically integrated cantilever check valves.

  20. Approximating Attractors of Boolean Networks by Iterative CTL Model Checking.

    PubMed

    Klarner, Hannes; Siebert, Heike

    2015-01-01

    This paper introduces the notion of approximating asynchronous attractors of Boolean networks by minimal trap spaces. We define three criteria for determining the quality of an approximation: "faithfulness" which requires that the oscillating variables of all attractors in a trap space correspond to their dimensions, "univocality" which requires that there is a unique attractor in each trap space, and "completeness" which requires that there are no attractors outside of a given set of trap spaces. Each is a reachability property for which we give equivalent model checking queries. Whereas faithfulness and univocality can be decided by model checking the corresponding subnetworks, the naive query for completeness must be evaluated on the full state space. Our main result is an alternative approach which is based on the iterative refinement of an initially poor approximation. The algorithm detects so-called autonomous sets in the interaction graph, variables that contain all their regulators, and considers their intersection and extension in order to perform model checking on the smallest possible state spaces. A benchmark, in which we apply the algorithm to 18 published Boolean networks, is given. In each case, the minimal trap spaces are faithful, univocal, and complete, which suggests that they are in general good approximations for the asymptotics of Boolean networks.

  1. Approximating Attractors of Boolean Networks by Iterative CTL Model Checking

    PubMed Central

    Klarner, Hannes; Siebert, Heike

    2015-01-01

    This paper introduces the notion of approximating asynchronous attractors of Boolean networks by minimal trap spaces. We define three criteria for determining the quality of an approximation: “faithfulness” which requires that the oscillating variables of all attractors in a trap space correspond to their dimensions, “univocality” which requires that there is a unique attractor in each trap space, and “completeness” which requires that there are no attractors outside of a given set of trap spaces. Each is a reachability property for which we give equivalent model checking queries. Whereas faithfulness and univocality can be decided by model checking the corresponding subnetworks, the naive query for completeness must be evaluated on the full state space. Our main result is an alternative approach which is based on the iterative refinement of an initially poor approximation. The algorithm detects so-called autonomous sets in the interaction graph, variables that contain all their regulators, and considers their intersection and extension in order to perform model checking on the smallest possible state spaces. A benchmark, in which we apply the algorithm to 18 published Boolean networks, is given. In each case, the minimal trap spaces are faithful, univocal, and complete, which suggests that they are in general good approximations for the asymptotics of Boolean networks. PMID:26442247

  2. Energy reduction through voltage scaling and lightweight checking

    NASA Astrophysics Data System (ADS)

    Kadric, Edin

    As the semiconductor roadmap reaches smaller feature sizes and the end of Dennard Scaling, design goals change, and managing the power envelope often dominates delay minimization. Voltage scaling remains a powerful tool to reduce energy. We find that it results in about 60% geomean energy reduction on top of other common low-energy optimizations with 22nm CMOS technology. However, when voltage is reduced, it becomes easier for noise and particle strikes to upset a node, potentially causing Silent Data Corruption (SDC). The 60% energy reduction, therefore, comes with a significant drop in reliability. Duplication with checking and triple-modular redundancy are traditional approaches used to combat transient errors, but spending 2--3x the energy for redundant computation can diminish or reverse the benefits of voltage scaling. As an alternative, we explore the opportunity to use checking operations that are cheaper than the base computation they are guarding. We devise a classification system for applications and their lightweight checking characteristics. In particular, we identify and evaluate the effectiveness of lightweight checks in a broad set of common tasks in scientific computing and signal processing. We find that the lightweight checks cost only a fraction of the base computation (0-25%) and allow us to recover the reliability losses from voltage scaling. Overall, we show about 50% net energy reduction without compromising reliability compared to operation at the nominal voltage. We use FPGAs (Field-Programmable Gate Arrays) in our work, although the same ideas can be applied to different systems. On top of voltage scaling, we explore other common low-energy techniques for FPGAs: transmission gates, gate boosting, power gating, low-leakage (high-Vth) processes, and dual-V dd architectures. We do not scale voltage for memories, so lower voltages help us reduce logic and interconnect energy, but not memory energy. At lower voltages, memories become dominant

  3. Toothbrush Adaptations.

    ERIC Educational Resources Information Center

    Exceptional Parent, 1987

    1987-01-01

    Suggestions are presented for helping disabled individuals learn to use or adapt toothbrushes for proper dental care. A directory lists dental health instructional materials available from various organizations. (CB)

  4. Developing Adaptive Training in the Classroom

    DTIC Science & Technology

    2009-09-01

    Developing Adaptive Proficiency in Special Forces Officers (2005), p. A-4. 2-3 Such a critical incident speaks to a performance requirement to...Order of speaking Body language Prepare both cases: your and their arguments Build rapport Main Discussion Agreement is the simultaneous...think you can make a judgment, check “N/A” for not applicable. Adjectives* High Medium Low N/A • Extroverted (outgoing, talkative

  5. Mobile Attendance Checking System on Android Platform for Kazakhstani University

    NASA Astrophysics Data System (ADS)

    Saparkhojayev, N.; Shakhov, E.; Mailybayev, Y.

    2016-04-01

    In the 21st century-the century of Information Technology, it is difficult to imagine life without any gadgets: phones, tablets, computers, laptops, and so on. Today, smartphones and tablets are becoming popular, and thus their operating systems become popular too. Android is designed for low-power devices that run on battery power at full capacity, using all of its services, such as cameras, lights, GPS navigation, Wi-Fi, etc. In Kazakhstani universities, the process of checking students’ attendance is one of the important issues, because final grade evaluation of students is based on their total number of appearances and their grades during the whole semester. This raises the question of having some tool to control students’ attendance. There are many possible ways of controlling attendance: there are many examples when universities prefer to control attendance by the use of paper sheet, and some universities prefer to use two-stage way of controlling attendance: firstly, teachers and professors use paper sheet for checking students’ attendance and after this, they fill out these information into a system manually. However, this is not an efficient way since there will be spent much of time for calling students names and putting marks like “presence” or “absence” if the class is a lecture class, and in this class at least 5 groups are presented. Furthermore, some students may call his/her friend as “presence” nevertheless to the fact that this student is currently absent. After taking into consideration all these issues and the fact that many gadgets use Android platform, authors of the following research paper decided to create a mobile system that makes easier to check students’ attendance automatically, and this system is implemented in Almaty Management University, Kazakhstan. The system is based on Android platform, and in this paper, details of this system are presented.

  6. A magnetically driven PDMS micropump with ball check-valves

    NASA Astrophysics Data System (ADS)

    Pan, Tingrui; McDonald, Scott J.; Kai, Eleanor M.; Ziaie, Babak

    2005-05-01

    In this paper, we present a low-cost, PDMS-membrane micropump with two one-way ball check-valves for lab-on-a-chip and microfluidic applications. The micropump consists of two functional PDMS layers, one holding the ball check-valves and an actuating chamber, and the other covering the chamber and holding a miniature permanent magnet on top for actuation. An additional PDMS layer is used to cover the top magnet, and thereby encapsulate the entire device. A simple approach was used to assemble a high-performance ball check-valve using a micropipette and heat shrink tubing. The micropump can be driven by an external magnetic force provided by another permanent magnet or an integrated coil. In the first driving scheme, a small dc motor (6 mm in diameter and 15 mm in length) with a neodymium-iron-boron permanent magnet embedded in its shaft was used to actuate the membrane-mounted magnet. This driving method yielded a large pumping rate with very low power consumption. A maximum pumping rate of 774 µL min-1 for deionized water was achieved at the input power of 13 mW, the highest pumping rate reported in the literature for micropumps at such power consumptions. Alternatively, we actuated the micropump with a 10-turn planar coil fabricated on a PC board. This method resulted in a higher pumping rate of 1 mL min-1 for deionized water. Although more integratable and compact, the planar microcoil driving technique has a much higher power consumption.

  7. 45 CFR 205.32 - Procedures for issuance of replacement checks.

    Code of Federal Regulations, 2010 CFR

    2010-10-01

    ... replacement check, a recipient is required to report a lost or stolen AFDC check to the police or other... report was made to the police or other appropriate authorities and, if so, the agency will...

  8. 45 CFR 205.32 - Procedures for issuance of replacement checks.

    Code of Federal Regulations, 2014 CFR

    2014-10-01

    ... that (1) procedures are in effect to ensure that no undue delays occur in issuing a replacement check... original FDC check. However, if obtaining such a statement from the recipient will cause the issuance...

  9. 208. Several of these checking stations, erected for feecollection purposes ...

    Library of Congress Historic Buildings Survey, Historic Engineering Record, Historic Landscapes Survey

    208. Several of these checking stations, erected for fee-collection purposes but never authorized to operate as such, were constructed on the parkway in the 1950's. They provided information on area accommodations. Locations included Rockfish Valley, Adney Gap, north and south of Roanoke, Asheville near Biltmore, and by the Oconaluftee River. All were removed by the 1980's, after cars ran into two structures and demolished them. The islands where these were located are now used for Pillar of Truth information displays. - Blue Ridge Parkway, Between Shenandoah National Park & Great Smoky Mountains, Asheville, Buncombe County, NC

  10. Regenerable Microbial Check Valve - Life cycle tests results

    NASA Technical Reports Server (NTRS)

    Atwater, James E.; Wheeler, Richard R., Jr.; Olivadoti, J. T.; Sauer, Richard L.; Flanagan, David T.

    1992-01-01

    Life cycle regeneration testing of the Microbial Check Valve (MCV) that is used on the Shuttle Orbiter to provide microbial control of potable water is currently in progress. Four beds are being challenged with simulated reclaimed waters and repeatedly regenerated. Preliminary results indicate that contaminant systems exhibit unique regeneration periodicities. Cyclic throughput diminishes with increasing cumulative flow. It is considered to be feasible to design a regenerable MCV system which will function without human intervention and with minimal resupply penalty for the 30 year life of the Space Station.

  11. Introduction of Virtualization Technology to Multi-Process Model Checking

    NASA Technical Reports Server (NTRS)

    Leungwattanakit, Watcharin; Artho, Cyrille; Hagiya, Masami; Tanabe, Yoshinori; Yamamoto, Mitsuharu

    2009-01-01

    Model checkers find failures in software by exploring every possible execution schedule. Java PathFinder (JPF), a Java model checker, has been extended recently to cover networked applications by caching data transferred in a communication channel. A target process is executed by JPF, whereas its peer process runs on a regular virtual machine outside. However, non-deterministic target programs may produce different output data in each schedule, causing the cache to restart the peer process to handle the different set of data. Virtualization tools could help us restore previous states of peers, eliminating peer restart. This paper proposes the application of virtualization technology to networked model checking, concentrating on JPF.

  12. 15. CONCRETE CHECK DAM NORTHWEST OF SOUTHEAST LAKE LADORA (SECTION ...

    Library of Congress Historic Buildings Survey, Historic Engineering Record, Historic Landscapes Survey

    15. CONCRETE CHECK DAM NORTHWEST OF SOUTHEAST LAKE LADORA (SECTION 2) WITH THE FORMER EGLI FARM IN THE DISTANCE. - Highline Canal, Sand Creek Lateral, Beginning at intersection of Peoria Street & Highline Canal in Arapahoe County (City of Aurora), Sand Creek lateral Extends 15 miles Northerly through Araphoe County, City & County of Denver, & Adams County to its end point, approximately 1/4 mile Southest of intersectioin of D Street & Ninth Avenue in Adams County (Rocky Mountain Arsenal, Commerce City Vicinity), Commerce City, Adams County, CO

  13. An efficient decoding for low density parity check codes

    NASA Astrophysics Data System (ADS)

    Zhao, Ling; Zhang, Xiaolin; Zhu, Manjie

    2009-12-01

    Low density parity check (LDPC) codes are a class of forward-error-correction codes. They are among the best-known codes capable of achieving low bit error rates (BER) approaching Shannon's capacity limit. Recently, LDPC codes have been adopted by the European Digital Video Broadcasting (DVB-S2) standard, and have also been proposed for the emerging IEEE 802.16 fixed and mobile broadband wireless-access standard. The consultative committee for space data system (CCSDS) has also recommended using LDPC codes in the deep space communications and near-earth communications. It is obvious that LDPC codes will be widely used in wired and wireless communication, magnetic recording, optical networking, DVB, and other fields in the near future. Efficient hardware implementation of LDPC codes is of great interest since LDPC codes are being considered for a wide range of applications. This paper presents an efficient partially parallel decoder architecture suited for quasi-cyclic (QC) LDPC codes using Belief propagation algorithm for decoding. Algorithmic transformation and architectural level optimization are incorporated to reduce the critical path. First, analyze the check matrix of LDPC code, to find out the relationship between the row weight and the column weight. And then, the sharing level of the check node updating units (CNU) and the variable node updating units (VNU) are determined according to the relationship. After that, rearrange the CNU and the VNU, and divide them into several smaller parts, with the help of some assistant logic circuit, these smaller parts can be grouped into CNU during the check node update processing and grouped into VNU during the variable node update processing. These smaller parts are called node update kernel units (NKU) and the assistant logic circuit are called node update auxiliary unit (NAU). With NAUs' help, the two steps of iteration operation are completed by NKUs, which brings in great hardware resource reduction. Meanwhile

  14. Probabilistic Priority Message Checking Modeling Based on Controller Area Networks

    NASA Astrophysics Data System (ADS)

    Lin, Cheng-Min

    Although the probabilistic model checking tool called PRISM has been applied in many communication systems, such as wireless local area network, Bluetooth, and ZigBee, the technique is not used in a controller area network (CAN). In this paper, we use PRISM to model the mechanism of priority messages for CAN because the mechanism has allowed CAN to become the leader in serial communication for automobile and industry control. Through modeling CAN, it is easy to analyze the characteristic of CAN for further improving the security and efficiency of automobiles. The Markov chain model helps us to model the behaviour of priority messages.

  15. Performance of Low-Density Parity-Check Coded Modulation

    NASA Technical Reports Server (NTRS)

    Hamkins, Jon

    2010-01-01

    This paper reports the simulated performance of each of the nine accumulate-repeat-4-jagged-accumulate (AR4JA) low-density parity-check (LDPC) codes [3] when used in conjunction with binary phase-shift-keying (BPSK), quadrature PSK (QPSK), 8-PSK, 16-ary amplitude PSK (16- APSK), and 32-APSK.We also report the performance under various mappings of bits to modulation symbols, 16-APSK and 32-APSK ring scalings, log-likelihood ratio (LLR) approximations, and decoder variations. One of the simple and well-performing LLR approximations can be expressed in a general equation that applies to all of the modulation types.

  16. The Modern Measurement Technology And Checking Of Shafs Parameters

    NASA Astrophysics Data System (ADS)

    Tichá, Šárka; Botek, Jan

    2015-12-01

    This paper is focused on rationalization checking parameters of shaft in companies engaged in the production of components of electric motors, wind turbines and vacuum systems. Customers increasing constantly their requirements to ensure the overall quality of the product, i.e. the quality of machining, dimensional and shape accuracy and overall purity of the subscribed products. The aim of this paper is to introduce using modern measurement technology in controlling these components and compare the results with existing control methodology. The main objective of this rationalization is to eliminate mistakes and shortcomings of current inspection methods.

  17. Consistency Checks for SCR-Style Requirements Specifications

    DTIC Science & Technology

    1993-12-31

    behavior of the A-7E aircraft’s Operational Flight Program (OFP), a program containing approximately 16,000 lines of very tight assembly language code...f re’vie’wers mlalitallY shieclked the soft warte requliireeleilts spe’ifi’at ions (,It)] tilt’ ’odt’ spcti iii- (’at imils) for applli Cat ion...for checking Mode transition tables; P. Clernents wrote the program translating the text format language of the A-7 Ile- quirinients I)ocutnetiýt intot

  18. Hydraulic lash adjuster with multi-directional check valve

    SciTech Connect

    Litwinchuk, A.; Dura, L.E.; Dekker, A.

    1989-02-28

    A hydraulic lash adjuster is described wherein a check valve is in the form of a flat reed valve that includes a part-circular flapper, a split retainer ring extending about the flapper and having spaced apart free ends, and a spring leg integrally connecting the flapper to the split retainer ring centrally of and opposite the free ends, the split retainer ring being operative to operatively secure the flat reed valve within the stepped bore of the plunger to control flow through the port.

  19. [Discharge of very preterm infants from neonatology: check list].

    PubMed

    Arnaud, F

    2004-02-01

    Key elements of the check list for neonatal discharge include: discharge discussion with parents, relation with maternal and child welfare assistants and family practitioner, scheduling of follow-up visits, request for insurance coverage, parental presence allowance, special education allowance, debriefing with nurses and nurses providers, clinical and biological appraisal, discharge prescription. For a former extremely premature baby, going home - often after a long hospitalization and a variety of pathologic problems - must be prepared and should not be decided in haste, not only for the baby and his/her parents, but also. for the neonatal staff!

  20. Astronaut Charles Conrad checks out Human Vestibular Function experiment

    NASA Technical Reports Server (NTRS)

    1973-01-01

    Astronaut Charles Conrad Jr., commander of the first manned Skylab mission, checks out the Human Vestibular Function, Experiment M131, during Skylab training at JSC. Conrad is in the work and experiments compartment of the crew quarters of the Skylab Orbital Workshop (OWS) trainer at JSC. The reference sphere with a magnetic rod is used by the astronaut to indicate body orientation non-visually. The litter chair in which he is seated can be rotated by a motor at its base or, when not being rotated, can tilt forward, backward or to either side.