Science.gov

Sample records for incremental integrity checking

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

  2. An Incremental Approach to Scope-Bounded Checking Using a Lightweight Formal Method

    NASA Astrophysics Data System (ADS)

    Shao, Danhua; Khurshid, Sarfraz; Perry, Dewayne E.

    We present a novel approach to optimize scope-bounded checking programs using a relational constraint solver. Given a program and its correctness specification, the traditional approach translates a bounded code segment of the entire program into a declarative formula and uses a constraint solver to search for any correctness violations. Scalability is a key issue with such approaches since for non-trivial programs the formulas are complex and represent a heavy workload that can choke the solvers. Our insight is that bounded code segments, which can be viewed as a set of (possible) execution paths, naturally lend to incremental checking through a partitioning of the set, where each partition represents a sub-set of paths. The partitions can be checked independently, and thus the problem of scope-bounded checking for the given program reduces to several sub-problems, where each sub-problem requires the constraint solver to check a less complex formula, thereby likely reducing the solver’s overall workload. Experimental results show that our approach provides significant speed-ups over the traditional approach.

  3. Incremental checking of Master Data Management model based on contextual graphs

    NASA Astrophysics Data System (ADS)

    Lamolle, Myriam; Menet, Ludovic; Le Duc, Chan

    2015-10-01

    The validation of models is a crucial step in distributed heterogeneous systems. In this paper, an incremental validation method is proposed in the scope of a Model Driven Engineering (MDE) approach, which is used to develop a Master Data Management (MDM) field represented by XML Schema models. The MDE approach presented in this paper is based on the definition of an abstraction layer using UML class diagrams. The validation method aims to minimise the model errors and to optimisethe process of model checking. Therefore, the notion of validation contexts is introduced allowing the verification of data model views. Description logics specify constraints that the models have to check. An experimentation of the approach is presented through an application developed in ArgoUML IDE.

  4. Addressing System Reconfiguration and Incremental Integration within IMA Systems

    NASA Astrophysics Data System (ADS)

    Ferrero, F.; Rodríques, A. I.

    2009-05-01

    Recently space industry is paying special attention to Integrated Modular Avionics (IMA) systems due to the benefits that modular concepts could bring to the development of space applications, especially in terms of interoperability, flexibility and software reuse. Two important IMA goals to be highlighted are system reconfiguration, and incremental integration of new functionalities into a pre-existing system. The purpose of this paper is to show how system reconfiguration is conducted based on Allied Standard Avionics Architecture Council (ASAAC) concepts for IMA Systems. Besides, it aims to provide a proposal for addressing the incremental integration concept supported by our experience gained during European Technology Acquisition Program (ETAP) TDP1.7 programme. All these topics will be discussed taking into account safety issues and showing the blueprint as an appropriate technique to support these concepts.

  5. Incremental constitutive formulation for time dependent materials: creep integral approach

    NASA Astrophysics Data System (ADS)

    Chazal, Claude; Moutou Pitti, Rostand

    2011-08-01

    This paper deals with the development of a mathematical approach for the solution of linear, non-ageing viscoelastic materials undergoing mechanical deformation. The formulation is derived from integral approach based on a discrete spectrum representation for the creep tensor. Finite difference integration is used to discretize the integral operators. The resulting constitutive model contains an internal state variable which represents the influence of the whole past history of stress and strain. Thus the difficulty of retaining the strain history in computer solutions is avoided. A complete general formulation of linear viscoelastic stress-strain analysis is developed in terms of increments of stresses and strains. Numerical simulations are included in order to validate the incremental constitutive equations.

  6. Integrating Online Assignments Checking in Introductory Courses

    ERIC Educational Resources Information Center

    Pundak, David; Shacham, Miri; Herscovitz, Orit

    2013-01-01

    Web technology offers lecturers the option of checking students' assignments online. Several systems have evolved to deliver personal assignments to each student in a multi-participant course. These systems provide students with immediate feedback, allowing them to correct erroneous answers and referring them to relevant literary sources that…

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

    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. PMID:21853192

  8. An Incremental Map Building Approach via Static Stixel Integration

    NASA Astrophysics Data System (ADS)

    Muffert, M.; Anzt, S.; Franke, U.

    2013-10-01

    This paper presents a stereo-vision based incremental mapping approach for urban regions. As input, we use the 3D representation called multi-layered Stixel World which is computed from dense disparity images. More and more, researchers of Driver Assistance Systems rely on efficient and compact 3D representations like the Stixel World. The developed mapping approach takes into account the motion state of obstacles, as well as free space information obtained from the Stixel World. The presented work is based on the well known occupancy grid mapping technique and is formulated with evidential theory. A detailed sensor model is described which is used to determine the information whether a grid cell is occupied, free or has an unknown state. The map update is solved in a time recursive manner by using the Dempster`s Rule of Combination. 3D results of complex inner city regions are shown and are compared with Google Earth images.

  9. Integrating Incremental Learning and Episodic Memory Models of the Hippocampal Region

    ERIC Educational Resources Information Center

    Meeter, M.; Myers, C. E.; Gluck, M. A.

    2005-01-01

    By integrating previous computational models of corticohippocampal function, the authors develop and test a unified theory of the neural substrates of familiarity, recollection, and classical conditioning. This approach integrates models from 2 traditions of hippocampal modeling, those of episodic memory and incremental learning, by drawing on an…

  10. Electrophysiological Evidence for Incremental Lexical-Semantic Integration in Auditory Compound Comprehension

    ERIC Educational Resources Information Center

    Koester, Dirk; Holle, Henning; Gunter, Thomas C.

    2009-01-01

    The present study investigated the time-course of semantic integration in auditory compound word processing. Compounding is a productive mechanism of word formation that is used frequently in many languages. Specifically, we examined whether semantic integration is incremental or is delayed until the head, the last constituent in German, is…

  11. Estimating the variance and integral scale of the transmissivity field using head residual increments

    USGS Publications Warehouse

    Zheng, Lingyun; Silliman, S.E.

    2000-01-01

    A modification of previously published solutions regarding the spatial variation of hydraulic heads is discussed whereby the semivariogram of increments of head residuals (termed head residual increments HRIs) are related to the variance and integral scale of the transmissivity field. A first-order solution is developed for the case of a transmissivity field which is isotropic and whose second-order behavior can be characterized by an exponential covariance structure. The estimates of the variance ??(Y)/2 and the integral scale ?? of the log transmissivity field are then obtained via fitting a theoretical semivariogram for the HRI to its sample semivariogram. This approach is applied to head data sampled from a series of two-dimensional, simulated aquifers with isotropic, exponential covariance structures and varying degrees of heterogeneity (??(Y)/2 = 0.25, 0.5, 1.0, 2.0, and 5.0). The results show that this method provided reliable estimates for both ?? and ??(Y)/2 in aquifers with the value of ??(Y)/2 up to 2.0, but the errors in those estimates were higher for ??(Y)/2 equal to 5.0. It is also demonstrated through numerical experiments and theoretical arguments that the head residual increments will provide a sample semivariogram with a lower variance than will the use of the head residuals without calculation of increments.

  12. An application of the J-integral to an incremental analysis of blunting crack behavior

    SciTech Connect

    Merkle, J.G. )

    1989-01-01

    This paper describes an analytical approach to estimating the elastic-plastic stresses and strains near the tip of a blunting crack with a finite root radius. Rice's original derivation of the path independent J-integral considered the possibility of a finite crack tip root radius. For this problem Creager's elastic analysis gives the relation between the stress intensity factor K{sub I} and the near tip stresses. It can be shown that the relation K{sub I}{sup 2} = E{prime}J holds when the root radius is finite. Recognizing that elastic-plastic behavior is incrementally linear then allows a derivation to be performed for a bielastic specimen having a crack tip region of reduced modulus, and the result differentiated to estimate elastic-plastic behavior. The result is the incremental form of Neuber's equation. This result does not require the assumption of any particular stress-strain relation. However by assuming a pure power law stress-strain relation and using Ilyushin's principle, the ordinary deformation theory form of Neuber's equation, K{sub {sigma}} K{sub {var epsilon}} = K{sub t}{sup 2}, is obtained. Applications of the incremental form of Neuber's equation have already been made to fatigue and fracture analysis. This paper helps to provide a theoretical basis for these methods previously considered semiempirical. 26 refs., 4 figs.

  13. An integrated approach to identify protein complex based on best neighbour and modularity increment.

    PubMed

    Shen, Xianjun; Zhao, Yanli; Li, Yanan; Yi, Yang; He, Tingting; Yang, Jincai

    2015-01-01

    In order to overcome the limitations of global modularity and the deficiency of local modularity, we propose a hybrid modularity measure Local-Global Quantification (LGQ) which considers global modularity and local modularity together. LGQ adopts a suitable module feature adjustable parameter to control the balance of global detecting capability and local search capability in Protein-Protein Interactions (PPI) Network. Furthermore, we develop a new protein complex mining algorithm called Best Neighbour and Local-Global Quantification (BN-LGQ) which integrates the best neighbour node and modularity increment. BN-LGQ expands the protein complex by fast searching the best neighbour node of the current cluster and by calculating the modularity increment as a metric to determine whether the best neighbour node can join the current cluster. The experimental results show BN-LGQ performs a better accuracy on predicting protein complexes and has a higher match with the reference protein complexes than MCL and MCODE algorithms. Moreover, BN-LGQ can effectively discover protein complexes with better biological significance in the PPI network. PMID:26336669

  14. Integrating Climate Change Resilience Features into the Incremental Refinement of an Existing Marine Park

    PubMed Central

    Beckley, Lynnath E.; Kobryn, Halina T.; Lombard, Amanda T.; Radford, Ben; Heyward, Andrew

    2016-01-01

    Marine protected area (MPA) designs are likely to require iterative refinement as new knowledge is gained. In particular, there is an increasing need to consider the effects of climate change, especially the ability of ecosystems to resist and/or recover from climate-related disturbances, within the MPA planning process. However, there has been limited research addressing the incorporation of climate change resilience into MPA design. This study used Marxan conservation planning software with fine-scale shallow water (<20 m) bathymetry and habitat maps, models of major benthic communities for deeper water, and comprehensive human use information from Ningaloo Marine Park in Western Australia to identify climate change resilience features to integrate into the incremental refinement of the marine park. The study assessed the representation of benthic habitats within the current marine park zones, identified priority areas of high resilience for inclusion within no-take zones and examined if any iterative refinements to the current no-take zones are necessary. Of the 65 habitat classes, 16 did not meet representation targets within the current no-take zones, most of which were in deeper offshore waters. These deeper areas also demonstrated the highest resilience values and, as such, Marxan outputs suggested minor increases to the current no-take zones in the deeper offshore areas. This work demonstrates that inclusion of fine-scale climate change resilience features within the design process for MPAs is feasible, and can be applied to future marine spatial planning practices globally. PMID:27529820

  15. Integrating Climate Change Resilience Features into the Incremental Refinement of an Existing Marine Park.

    PubMed

    Davies, Harriet N; Beckley, Lynnath E; Kobryn, Halina T; Lombard, Amanda T; Radford, Ben; Heyward, Andrew

    2016-01-01

    Marine protected area (MPA) designs are likely to require iterative refinement as new knowledge is gained. In particular, there is an increasing need to consider the effects of climate change, especially the ability of ecosystems to resist and/or recover from climate-related disturbances, within the MPA planning process. However, there has been limited research addressing the incorporation of climate change resilience into MPA design. This study used Marxan conservation planning software with fine-scale shallow water (<20 m) bathymetry and habitat maps, models of major benthic communities for deeper water, and comprehensive human use information from Ningaloo Marine Park in Western Australia to identify climate change resilience features to integrate into the incremental refinement of the marine park. The study assessed the representation of benthic habitats within the current marine park zones, identified priority areas of high resilience for inclusion within no-take zones and examined if any iterative refinements to the current no-take zones are necessary. Of the 65 habitat classes, 16 did not meet representation targets within the current no-take zones, most of which were in deeper offshore waters. These deeper areas also demonstrated the highest resilience values and, as such, Marxan outputs suggested minor increases to the current no-take zones in the deeper offshore areas. This work demonstrates that inclusion of fine-scale climate change resilience features within the design process for MPAs is feasible, and can be applied to future marine spatial planning practices globally. PMID:27529820

  16. Marginal Integrity of Bulk Versus Incremental Fill Class II Composite Restorations.

    PubMed

    Al-Harbi, F; Kaisarly, D; Bader, D; El Gezawi, M

    2016-01-01

    Bulk-fill composites have been introduced to facilitate the placement of deep direct resin composite restorations. This study aimed at analyzing the cervical marginal integrity of bulk-fill vs incremental and open-sandwich class II resin composite restorations after thermomechanical cycling using replica scanning electron microscopy (SEM) and ranking according to the World Dental Federation (FDI) criteria. Box-only class II cavities were prepared in 91 maxillary premolars with the gingival margin placed 1 mm above and below the cemento-enamel junction. Eighty-four premolars were divided into self-etch and total-etch groups, then subdivided into six restorative subgroups (n=7): 1-Tetric Ceram HB (TC) was used incrementally and in the open-sandwich technique with 2-Tetric EvoFlow (EF) and 3-Smart Dentin Replacement (SD). Bulk-fill restoratives were 4-SonicFill (SF), 5-Tetric N-Ceram Bulk Fill (TN), and 6-Tetric EvoCeram Bulk Fill (TE). In subgroups 1-5, Tetric N-Bond self-etch and Tetric N-Bond total-etch adhesives were used, whereas in subgroup 6, AdheSE self-etch and ExciTE F total etch were used. One more group (n=7) was restored with Filtek P90 Low Shrink Posterior Restorative (P9) only in combination with its self-etch P90 System Adhesive. Materials were manipulated and light cured (20 seconds, 1600 mW/cm(2)), and restorations were artificially aged by thermo-occlusal load cycling. Polyvinyl-siloxane impressions were taken and poured with epoxy resin. Resin replicas were examined by SEM (200×) for marginal sealing, and percentages of perfect margins were analyzed. Moreover, samples were examined using loupes (3.5×) and explorers and categorized according to the FDI criteria. Results were statistically analyzed (SEM by Kruskal-Wallis test and FDI by chi-square test) without significant differences in either the replica SEM groups (p=0.848) or the FDI criteria groups (p>0.05). The best SEM results at the enamel margin were in TC+EF/total-etch and SF

  17. Experiment for Integrating Dutch 3d Spatial Planning and Bim for Checking Building Permits

    NASA Astrophysics Data System (ADS)

    van Berlo, L.; Dijkmans, T.; Stoter, J.

    2013-09-01

    This paper presents a research project in The Netherlands in which several SMEs collaborated to create a 3D model of the National spatial planning information. This 2D information system described in the IMRO data standard holds implicit 3D information that can be used to generate an explicit 3D model. The project realized a proof of concept to generate a 3D spatial planning model. The team used the model to integrate it with several 3D Building Information Models (BIMs) described in the open data standard Industry Foundation Classes (IFC). Goal of the project was (1) to generate a 3D BIM model from spatial planning information to be used by the architect during the early design phase, and (2) allow 3D checking of building permits. The team used several technologies like CityGML, BIM clash detection and GeoBIM to explore the potential of this innovation. Within the project a showcase was created with a part of the spatial plan from the city of The Hague. Several BIM models were integrated in the 3D spatial plan of this area. A workflow has been described that demonstrates the benefits of collaboration between the spatial domain and the AEC industry in 3D. The research results in a showcase with conclusions and considerations for both national and international practice.

  18. Experiment check out equipment and quick-look software for the IBIS instrument onboard INTEGRAL

    NASA Astrophysics Data System (ADS)

    Segreto, Alberto; La Rosa, Giovanni; Gabriele, Maurizio; Gianotti, Fulvio; Trifoglio, Massimo

    2003-03-01

    The gamma-ray telescope IBIS, on Board the INTEGRAL satellite, is expected to satisfy the mission's imaging objectives, by using two position sensitive detection planes, one with 16384 Cadmium Telluride pixels (ISGRI) at lower energies and the other with 4096 Caesium Iodide pixels (PICsIT) for higher energy detection. Given to the high complexity of the system, a dedicated Experiment Check Out Equipment (ECOE), was developed, capable not only to acquire, archive and monitor, the instrument data, but also to perform a fast data analysis, in order to deeply understand the instrument behavior in real-time. The system was used to support the IBIS Test and Calibration campaign campaigns, from the Engineering to the Flight model, and it will be used again during the Commissioning Phase, after launch. We describe here, the architecture of the ECOE system and the quick-look analysis tools that, with an user friendly graphical interface, allows the user to analyze, in an easy way, both the IBIS housekeeping and scientific data.

  19. A high density consensus genetic map of tetraploid cotton that integrates multiple component maps through molecular marker redundancy check

    Technology Transfer Automated Retrieval System (TEKTRAN)

    An ultra-dense consensus (UDC) genetic map of tetraploid cotton was constructed using six high-density component maps and after the integration of a sequence-based marker redundancy check. Public cotton SSR libraries (17,343 markers) were curated for sequence redundancy using 90% as a similarity cut...

  20. User's manual for large-scale integrated circuit layout check program

    NASA Technical Reports Server (NTRS)

    1978-01-01

    A computer program is described that checks for the correctness of chip design layout generated by the Banning Placement Routing Folding program (PRF) by verifying agreement between a specified circuit design and a corresponding computer generated circuit layout as stored on the Artwork (PRF output) tape. An example computer run is included.

  1. Source Apportionment of the Anthropogenic Increment to Ozone, Formaldehyde, and Nitrogen Dioxide by the Path-Integral Method in a 3D Model.

    PubMed

    Dunker, Alan M; Koo, Bonyoung; Yarwood, Greg

    2015-06-01

    The anthropogenic increment of a species is the difference in concentration between a base-case simulation with all emissions included and a background simulation without the anthropogenic emissions. The Path-Integral Method (PIM) is a new technique that can determine the contributions of individual anthropogenic sources to this increment. The PIM was applied to a simulation of O3 formation in July 2030 in the U.S., using the Comprehensive Air Quality Model with Extensions and assuming advanced controls on light-duty vehicles (LDVs) and other sources. The PIM determines the source contributions by integrating first-order sensitivity coefficients over a range of emissions, a path, from the background case to the base case. There are many potential paths, with each representing a specific emission-control strategy leading to zero anthropogenic emissions, i.e., controlling all sources together versus controlling some source(s) preferentially are different paths. Three paths were considered, and the O3, formaldehyde, and NO2 anthropogenic increments were apportioned to five source categories. At rural and urban sites in the eastern U.S. and for all three paths, point sources typically have the largest contribution to the O3 and NO2 anthropogenic increments, and either LDVs or area sources, the smallest. Results for formaldehyde are more complex. PMID:25938820

  2. Project MICAS: a multivendor open-system incremental approach to implementing an integrated enterprise-wide PACS: works in progress

    NASA Astrophysics Data System (ADS)

    Smith, Edward M.; Wright, Jeffrey; Fontaine, Marc T.; Robinson, Arvin E.

    1998-07-01

    The Medical Information, Communication and Archive System (MICAS) is a multi-vendor incremental approach to PACS. MICAS is a multi-modality integrated image management system that incorporates the radiology information system (RIS) and radiology image database (RID) with future 'hooks' to other hospital databases. Even though this approach to PACS is more risky than a single-vendor turn-key approach, it offers significant advantages. The vendors involved in the initial phase of MICAS are IDX Corp., ImageLabs, Inc. and Digital Equipment Corp (DEC). The network architecture operates at 100 MBits per sec except between the modalities and the stackable intelligent switch which is used to segment MICAS by modality. Each modality segment contains the acquisition engine for the modality, a temporary archive and one or more diagnostic workstations. All archived studies are available at all workstations, but there is no permanent archive at this time. At present, the RIS vendor is responsible for study acquisition and workflow as well as maintenance of the temporary archive. Management of study acquisition, workflow and the permanent archive will become the responsibility of the archive vendor when the archive is installed in the second quarter of 1998. The modalities currently interfaced to MICAS are MRI, CT and a Howtek film digitizer with Nuclear Medicine and computed radiography (CR) to be added when the permanent archive is installed. There are six dual-monitor diagnostic workstations which use ImageLabs Shared Vision viewer software located in MRI, CT, Nuclear Medicine, musculoskeletal reading areas and two in Radiology's main reading area. One of the major lessons learned to date is that the permanent archive should have been part of the initial MICAS installation and the archive vendor should have been responsible for image acquisition rather than the RIS vendor. Currently an archive vendor is being selected who will be responsible for the management of the archive

  3. Improved key integrity checking for high-speed quantum key distribution using combinatorial group testing with strongly selective family design

    NASA Astrophysics Data System (ADS)

    Fang, Junbin; Jiang, Zoe L.; Ren, Kexin; Luo, Yunhan; Chen, Zhe; Liu, Weiping; Wang, Xuan; Niu, Xiamu; Yiu, S. M.; Hui, Lucas C. K.

    2014-06-01

    Key integrity checking is a necessary process in practical quantum key distribution (QKD) to check whether there is any error bit escaped from the previous error correction procedure. The traditional single-hash method may become a bottleneck in high-speed QKD since it has to discard all the key bits even if just one error bit exists. In this paper, we propose an improved scheme using combinatorial group testing (CGT) based on strong selective family design to verify key integrity in fine granularity and consequently improve the total efficiency of key generation after the error correction procedure. Code shortening technique and parallel computing are also applied to enhance the scheme's flexibility and to accelerate the computation. Experimental results show that the scheme can identify the rare error bits precisely and thus avoid dropping the great majority of correct bits, while the overhead is reasonable. For a -bit key, the disclosed information for public comparison is 800 bits (about 0.076 % of the key bits), reducing 256 bits when compared with the previous CGT scheme. Besides, with an Intel® quad-cores CPU at 3.40 GHz and 8 GB RAM, the computational times are 3.0 and 6.3 ms for hashing and decoding, respectively, which are reasonable in real applications and will not cause significant latency in practical QKD systems.

  4. Block-Level Added Redundancy Explicit Authentication for Parallelized Encryption and Integrity Checking of Processor-Memory Transactions

    NASA Astrophysics Data System (ADS)

    Elbaz, Reouven; Torres, Lionel; Sassatelli, Gilles; Guillemin, Pierre; Bardouillet, Michel; Martinez, Albert

    The bus between the System on Chip (SoC) and the external memory is one of the weakest points of computer systems: an adversary can easily probe this bus in order to read private data (data confidentiality concern) or to inject data (data integrity concern). The conventional way to protect data against such attacks and to ensure data confidentiality and integrity is to implement two dedicated engines: one performing data encryption and another data authentication. This approach, while secure, prevents parallelizability of the underlying computations. In this paper, we introduce the concept of Block-Level Added Redundancy Explicit Authentication (BL-AREA) and we describe a Parallelized Encryption and Integrity Checking Engine (PE-ICE) based on this concept. BL-AREA and PE-ICE have been designed to provide an effective solution to ensure both security services while allowing for full parallelization on processor read and write operations and optimizing the hardware resources. Compared to standard encryption which ensures only confidentiality, we show that PE-ICE additionally guarantees code and data integrity for less than 4% of run-time performance overhead.

  5. Using increment of diversity to predict mitochondrial proteins of malaria parasite: integrating pseudo-amino acid composition and structural alphabet.

    PubMed

    Chen, Ying-Li; Li, Qian-Zhong; Zhang, Li-Qing

    2012-04-01

    Due to the complexity of Plasmodium falciparum (PF) genome, predicting mitochondrial proteins of PF is more difficult than other species. In this study, using the n-peptide composition of reduced amino acid alphabet (RAAA) obtained from structural alphabet named Protein Blocks as feature parameter, the increment of diversity (ID) is firstly developed to predict mitochondrial proteins. By choosing the 1-peptide compositions on the N-terminal regions with 20 residues as the only input vector, the prediction performance achieves 86.86% accuracy with 0.69 Mathew's correlation coefficient (MCC) by the jackknife test. Moreover, by combining with the hydropathy distribution along protein sequence and several reduced amino acid alphabets, we achieved maximum MCC 0.82 with accuracy 92% in the jackknife test by using the developed ID model. When evaluating on an independent dataset our method performs better than existing methods. The results indicate that the ID is a simple and efficient prediction method for mitochondrial proteins of malaria parasite. PMID:21191803

  6. Multi-Reanalysis Comparison of Variability in Analysis Increment of Column-Integrated Water Vapor Associated with Madden-Julian Oscillation

    NASA Astrophysics Data System (ADS)

    Yokoi, S.

    2014-12-01

    This study conducts a comparison of three reanalysis products (JRA-55, JRA-25, and ERA-Interim) in representation of Madden-Julian Oscillation (MJO), focusing on column-integrated water vapor (CWV) that is considered as an essential variable for discussing MJO dynamics. Besides the analysis fields of CWV, which exhibit spatio-temporal distributions that are quite similar to satellite observations, CWV tendency simulated by forecast models and analysis increment calculated by data assimilation are examined. For JRA-55, it is revealed that, while its forecast model is able to simulate eastward propagation of the CWV anomaly, it tends to weaken the amplitude, and data assimilation process sustains the amplitude. The multi-reanalysis comparison of the analysis increment further reveals that this weakening bias is probably caused by excessively weak cloud-radiative feedback represented by the model. This bias in the feedback strength makes anomalous moisture supply by the vertical advection term in the CWV budget equation too insensitive to precipitation anomaly, resulting in reduction of the amplitude of CWV anomaly. ERA-Interim has a nearly opposite feature; the forecast model represents excessively strong feedback and unrealistically strengthens the amplitude, while the data assimilation weakens it. These results imply the necessity of accurate representation of the cloud-radiative feedback strength for a short-term MJO forecast, and may be evidence to support the argument that this feedback is essential for the existence of MJO. Furthermore, this study demonstrates that the multi-reanalysis comparison of the analysis increment will provide useful information for identifying model biases and, potentially, for estimating parameters that are difficult to estimate solely from observation data, such as gross moist stability.

  7. Integration of Computer-Based Virtual Check Ride System--Pre-Trip Inspection in Commercial Driver License Training Program

    ERIC Educational Resources Information Center

    Makwana, Alpesh P.

    2009-01-01

    "Pre-Trip Inspection" of the truck and trailer is one of the components of the current Commercial Driver's License (CDL) test. This part of the CDL test checks the ability of the student to identify the important parts of the commercial vehicle and their potential defects. The "Virtual Check Ride System" (VCRS), a computer-based application, is an…

  8. Check valve

    SciTech Connect

    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.

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

  10. Increment of Access Points in Integrated System of Wavelength Division Multiplexed Passive Optical Network Radio over Fiber

    NASA Astrophysics Data System (ADS)

    Amiri, I. S.; Alavi, S. E.; Soltanian, M. R. K.; Fisal, N.; Supa'At, A. S. M.; Ahmad, H.

    2015-07-01

    This paper describes a novel technique to increase the numbers of access points (APs) in a wavelength division multiplexed-passive optical network (WDM-PON) integrated in a 100 GHz radio-over-fiber (RoF). Eight multi-carriers separated by 25 GHz intervals were generated in the range of 193.025 to 193.200 THz using a microring resonator (MRR) system incorporating an add-drop filter system. All optically generated multi-carriers were utilized in an integrated system of WDM-PON-RoF for transmission of four 43.6 Gb/sec orthogonal frequency division multiplexing (OFDM) signals. Results showed that an acceptable BER variation for different path lengths up to 25 km was achievable for all four access points and thus the transmission of four OFDM channels is feasible for a 25 km standard single mode fiber (SSMF) path length.

  11. Increment of Access Points in Integrated System of Wavelength Division Multiplexed Passive Optical Network Radio over Fiber.

    PubMed

    Amiri, I S; Alavi, S E; Soltanian, M R K; Fisal, N; Supa'at, A S M; Ahmad, H

    2015-01-01

    This paper describes a novel technique to increase the numbers of access points (APs) in a wavelength division multiplexed-passive optical network (WDM-PON) integrated in a 100 GHz radio-over-fiber (RoF). Eight multi-carriers separated by 25 GHz intervals were generated in the range of 193.025 to 193.200 THz using a microring resonator (MRR) system incorporating an add-drop filter system. All optically generated multi-carriers were utilized in an integrated system of WDM-PON-RoF for transmission of four 43.6 Gb/sec orthogonal frequency division multiplexing (OFDM) signals. Results showed that an acceptable BER variation for different path lengths up to 25 km was achievable for all four access points and thus the transmission of four OFDM channels is feasible for a 25 km standard single mode fiber (SSMF) path length. PMID:26153536

  12. Increment of Access Points in Integrated System of Wavelength Division Multiplexed Passive Optical Network Radio over Fiber

    PubMed Central

    Amiri, I. S.; Alavi, S. E.; Soltanian, M. R. K.; Fisal, N.; Supa’at, A. S. M.; Ahmad, H.

    2015-01-01

    This paper describes a novel technique to increase the numbers of access points (APs) in a wavelength division multiplexed-passive optical network (WDM-PON) integrated in a 100 GHz radio-over-fiber (RoF). Eight multi-carriers separated by 25 GHz intervals were generated in the range of 193.025 to 193.200 THz using a microring resonator (MRR) system incorporating an add-drop filter system. All optically generated multi-carriers were utilized in an integrated system of WDM-PON-RoF for transmission of four 43.6 Gb/sec orthogonal frequency division multiplexing (OFDM) signals. Results showed that an acceptable BER variation for different path lengths up to 25 km was achievable for all four access points and thus the transmission of four OFDM channels is feasible for a 25 km standard single mode fiber (SSMF) path length. PMID:26153536

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

  14. Imaging Ultrasonic Sensor System SWISS completed 60.000 simulated flight hours to check structural integrity of aircraft subcomponent

    NASA Astrophysics Data System (ADS)

    Kress, Klaus-Peter; Baderschneider, Hans J.; Guse, Guenther

    2003-08-01

    Many military platforms such as fighter aircraft are nowadays operated for several decades under sometimes varying missions. Additional requirements resulting from more severe fatigue spectra or extended life for these platforms may require additional means of ensuring structural integrity. It is then important to gain the maximum usage (fatigue life) of aircraft components most efficiently still ensuring structural integrity at all times. Conventional structural health monitoring systems are typically based on loads and usage monitoring. Together with modern non destructive damage detection techniques it could be possible to safely operate even aged platforms. This goal is achieved by periodic examinations in order to ensure that a structural item is free of damage. However, the dismantling of structures for the purpose of non destructive testing can be very costly, time intensive and sometimes harmful to the surrounding structure itself. Therefore integrated, reliable and affordable damage detection techniques are needed to avoid disassembly where economically or technically justified. Especially for well known hot spots an integrated damage sensor could provide an alternative solution to conventional procedures. SWISS (Smart Wide area Imaging Sensor System) is an ultrasonic imaging approach. A small sensor is permanently surface mounted on the component that is to be monitored. Typically the sensor is activated on ground and interrogated via cables that are built into the platform. These sensors facilitate the examination of the internal structure of a subcomponent. The ultrasonic beam is electronically controlled in order to scan the most critical areas from a fixed position. Functionality aspects as well as practicability issues of such a technology had to be addressed and solved. As a result of this study, simulated fatigue tests on a real complex fitting structure have proven the reliability of the imaging ultrasonic sensor under laboratory conditions for

  15. Incremental hierarchical discriminant regression.

    PubMed

    Weng, Juyang; Hwang, Wey-Shiuan

    2007-03-01

    This paper presents incremental hierarchical discriminant regression (IHDR) which incrementally builds a decision tree or regression tree for very high-dimensional regression or decision spaces by an online, real-time learning system. Biologically motivated, it is an approximate computational model for automatic development of associative cortex, with both bottom-up sensory inputs and top-down motor projections. At each internal node of the IHDR tree, information in the output space is used to automatically derive the local subspace spanned by the most discriminating features. Embedded in the tree is a hierarchical probability distribution model used to prune very unlikely cases during the search. The number of parameters in the coarse-to-fine approximation is dynamic and data-driven, enabling the IHDR tree to automatically fit data with unknown distribution shapes (thus, it is difficult to select the number of parameters up front). The IHDR tree dynamically assigns long-term memory to avoid the loss-of-memory problem typical with a global-fitting learning algorithm for neural networks. A major challenge for an incrementally built tree is that the number of samples varies arbitrarily during the construction process. An incrementally updated probability model, called sample-size-dependent negative-log-likelihood (SDNLL) metric is used to deal with large sample-size cases, small sample-size cases, and unbalanced sample-size cases, measured among different internal nodes of the IHDR tree. We report experimental results for four types of data: synthetic data to visualize the behavior of the algorithms, large face image data, continuous video stream from robot navigation, and publicly available data sets that use human defined features. PMID:17385628

  16. International Space Station Increment Operations Services

    NASA Astrophysics Data System (ADS)

    Michaelis, Horst; Sielaff, Christian

    2002-01-01

    The Industrial Operator (IO) has defined End-to-End services to perform efficiently all required operations tasks for the Manned Space Program (MSP) as agreed during the Ministerial Council in Edinburgh in November 2001. Those services are the result of a detailed task analysis based on the operations processes as derived from the Space Station Program Implementation Plans (SPIP) and defined in the Operations Processes Documents (OPD). These services are related to ISS Increment Operations and ATV Mission Operations. Each of these End-to-End services is typically characterised by the following properties: It has a clearly defined starting point, where all requirements on the end-product are fixed and associated performance metrics of the customer are well defined. It has a clearly defined ending point, when the product or service is delivered to the customer and accepted by him, according to the performance metrics defined at the start point. The implementation of the process might be restricted by external boundary conditions and constraints mutually agreed with the customer. As far as those are respected the IO has the free choice to select methods and means of implementation. The ISS Increment Operations Service (IOS) activities required for the MSP Exploitation program cover the complete increment specific cycle starting with the support to strategic planning and ending with the post increment evaluation. These activities are divided into sub-services including the following tasks: - ISS Planning Support covering the support to strategic and tactical planning up to the generation - Development &Payload Integration Support - ISS Increment Preparation - ISS Increment Execution These processes are tight together by the Increment Integration Management, which provides the planning and scheduling of all activities as well as the technical management of the overall process . The paper describes the entire End-to-End ISS Increment Operations service and the

  17. SAT-Based Model Checking without Unrolling

    NASA Astrophysics Data System (ADS)

    Bradley, Aaron R.

    A new form of SAT-based symbolic model checking is described. Instead of unrolling the transition relation, it incrementally generates clauses that are inductive relative to (and augment) stepwise approximate reachability information. In this way, the algorithm gradually refines the property, eventually producing either an inductive strengthening of the property or a counterexample trace. Our experimental studies show that induction is a powerful tool for generalizing the unreachability of given error states: it can refine away many states at once, and it is effective at focusing the proof search on aspects of the transition system relevant to the property. Furthermore, the incremental structure of the algorithm lends itself to a parallel implementation.

  18. Incremental geriatric assessment.

    PubMed

    Ensberg, Mark; Gerstenlauer, Cynthia

    2005-09-01

    Older adults value (1) independence and the ability to make their own decisions, (2) mobility (the ability to travel outside or simply inside the home), (3) family and friends and the time spent with those persons who are important to them, (4) ethnicity, religion, and spirituality, and (5) home, wherever that might be. The importance of recognizing each person's individuality cannot be overemphasized. The method of incremental assessment presented in this article and summarized in Box 9 is intended to provide the office-based clinician with sufficient information to make decisions regarding the preventive, therapeutic, rehabilitative, and supportive goals of care. IADL and nutritional triggers are used to identify early signs of dysfunction in the home environment. The strengths and weaknesses of cognitive, physical, psychosocial, and spiritual aspects of function are examined in an incremental manner. Health care providers determine whether there is a match between the person's functional capabilities, the available support network, and the home environment. The approach prompts appropriate use of services needed by older adults who are either at risk for becoming, or already are, chronically ill, disabled, and functionally dependent. Use of validated assessment tools provides structure for the assessment process, helps assure consistency, and provides a mechanism for periodic re-evaluation. The assessment approaches also foster a common language for the health care team and consist of measurable parameters that can be used to monitor outcomes. The clinician should be flexible and realize that the assessment or the tools may need to be modified depending on the circumstances. PMID:16140119

  19. Chemistry Laboratory Safety Check

    ERIC Educational Resources Information Center

    Patnoe, Richard L.

    1976-01-01

    An accident prevention/safety check list for chemistry laboratories is printed. Included are checks of equipment, facilities, storage and handling of chemicals, laboratory procedures, instruction procedures, and items to be excluded from chemical laboratories. (SL)

  20. Get Your Cholesterol Checked

    MedlinePlus

    ... is checked with a blood test called a lipid profile. During the test, a nurse will take ... blood tests that can check cholesterol, but a lipid profile gives the most information. Find out more ...

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

  2. Incremental Contingency Planning

    NASA Technical Reports Server (NTRS)

    Dearden, Richard; Meuleau, Nicolas; Ramakrishnan, Sailesh; Smith, David E.; Washington, Rich

    2003-01-01

    There has been considerable work in AI on planning under uncertainty. However, this work generally assumes an extremely simple model of action that does not consider continuous time and resources. These assumptions are not reasonable for a Mars rover, which must cope with uncertainty about the duration of tasks, the energy required, the data storage necessary, and its current position and orientation. In this paper, we outline an approach to generating contingency plans when the sources of uncertainty involve continuous quantities such as time and resources. The approach involves first constructing a "seed" plan, and then incrementally adding contingent branches to this plan in order to improve utility. The challenge is to figure out the best places to insert contingency branches. This requires an estimate of how much utility could be gained by building a contingent branch at any given place in the seed plan. Computing this utility exactly is intractable, but we outline an approximation method that back propagates utility distributions through a graph structure similar to that of a plan graph.

  3. Directed Incremental Symbolic Execution

    NASA Technical Reports Server (NTRS)

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

    2011-01-01

    The last few years have seen a resurgence of interest in the use of symbolic execution -- a program analysis technique developed more than three decades ago to analyze program execution paths. Scaling symbolic execution and other path-sensitive analysis techniques to large systems remains challenging despite recent algorithmic and technological advances. An alternative to solving the problem of scalability is to reduce the scope of the analysis. One approach that is widely studied in the context of regression analysis is to analyze the differences between two related program versions. While such an approach is intuitive in theory, finding efficient and precise ways to identify program differences, and characterize their effects on how the program executes has proved challenging in practice. In this paper, we present Directed Incremental Symbolic Execution (DiSE), a novel technique for detecting and characterizing the effects of program changes. The novelty of DiSE is to combine the efficiencies of static analysis techniques to compute program difference information with the precision of symbolic execution to explore program execution paths and generate path conditions affected by the differences. DiSE is a complementary technique to other reduction or bounding techniques developed to improve symbolic execution. Furthermore, DiSE does not require analysis results to be carried forward as the software evolves -- only the source code for two related program versions is required. A case-study of our implementation of DiSE illustrates its effectiveness at detecting and characterizing the effects of program changes.

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

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... 31 Money and Finance: Treasury 2 2010-07-01 2010-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...

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

    Code of Federal Regulations, 2012 CFR

    2012-07-01

    ... 31 Money and Finance:Treasury 2 2012-07-01 2012-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...

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

    Code of Federal Regulations, 2014 CFR

    2014-07-01

    ... 31 Money and Finance: Treasury 2 2014-07-01 2014-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...

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

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

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

  10. Parallel incremental compilation. Doctoral thesis

    SciTech Connect

    Gafter, N.M.

    1990-06-01

    The time it takes to compile a large program has been a bottleneck in the software development process. When an interactive programming environment with an incremental compiler is used, compilation speed becomes even more important, but existing incremental compilers are very slow for some types of program changes. We describe a set of techniques that enable incremental compilation to exploit fine-grained concurrency in a shared-memory multi-processor and achieve asymptotic improvement over sequential algorithms. Because parallel non-incremental compilation is a special case of parallel incremental compilation, the design of a parallel compiler is a corollary of our result. Instead of running the individual phases concurrently, our design specifies compiler phases that are mutually sequential. However, each phase is designed to exploit fine-grained parallelism. By allowing each phase to present its output as a complete structure rather than as a stream of data, we can apply techniques such as parallel prefix and parallel divide-and-conquer, and we can construct applicative data structures to achieve sublinear execution time. Parallel algorithms for each phase of a compiler are presented to demonstrate that a complete incremental compiler can achieve execution time that is asymptotically less than sequential algorithms.

  11. Viscoelastic incremental formulation using creep and relaxation differential approaches

    NASA Astrophysics Data System (ADS)

    Chazal, Claude; Mouto Pitti, Rostand

    2010-05-01

    A new incremental formulation in the time domain for linear, non-ageing viscoelastic materials undergoing mechanical deformation is presented in this work. The formulation is derived from linear differential equations based on a discrete spectrum representation for the creep and relaxation tensors. The incremental constitutive equations are then obtained by finite difference integration. Thus the difficulty of retaining the stress and strain history in computer solutions is avoided. A complete general formulation of linear viscoelastic stress analysis is developed in terms of increments of strains and stresses in order to establish the constitutive stress-strain relationship. The presented method is validated using numerical simulations and reliable results are obtained.

  12. Environmental Reality Check.

    ERIC Educational Resources Information Center

    Manicone, Santo

    2001-01-01

    Discusses the importance of educational facilities conducting "reality check" self-audits to uncover the real truth behind underlying environmental problems. An environmental compliance multimedia checklist is included. (GR)

  13. Health Check Tools

    MedlinePlus

    ... https://www.nlm.nih.gov/medlineplus/healthchecktools.html Health Check Tools To use the sharing features on ... Schedule (Centers for Disease Control and Prevention) Children's Health Body Mass Index: Calculator for Child and Teen ( ...

  14. Incremental learning from stream data.

    PubMed

    He, Haibo; Chen, Sheng; Li, Kang; Xu, Xin

    2011-12-01

    Recent years have witnessed an incredibly increasing interest in the topic of incremental learning. Unlike conventional machine learning situations, data flow targeted by incremental learning becomes available continuously over time. Accordingly, it is desirable to be able to abandon the traditional assumption of the availability of representative training data during the training period to develop decision boundaries. Under scenarios of continuous data flow, the challenge is how to transform the vast amount of stream raw data into information and knowledge representation, and accumulate experience over time to support future decision-making process. In this paper, we propose a general adaptive incremental learning framework named ADAIN that is capable of learning from continuous raw data, accumulating experience over time, and using such knowledge to improve future learning and prediction performance. Detailed system level architecture and design strategies are presented in this paper. Simulation results over several real-world data sets are used to validate the effectiveness of this method. PMID:22057060

  15. Neocognitron capable of incremental learning.

    PubMed

    Fukushima, Kunihiko

    2004-01-01

    This paper proposes a new neocognitron that accepts incremental learning, without giving a severe damage to old memories or reducing learning speed. The new neocognitron uses a competitive learning, and the learning of all stages of the hierarchical network progresses simultaneously. To increase the learning speed, conventional neocognitrons of recent versions sacrificed the ability of incremental learning, and used a technique of sequential construction of layers, by which the learning of a layer started after the learning of the preceding layers had completely finished. If the learning speed is simply set high for the conventional neocognitron, simultaneous construction of layers produces many garbage cells, which become always silent after having finished the learning. The proposed neocognitron with a new learning method can prevent the generation of such garbage cells even with a high learning speed, allowing incremental learning. PMID:14690705

  16. Check valves aging assessment

    SciTech Connect

    Haynes, H.D.

    1991-01-01

    In support of the NRC Nuclear Plant Aging Research (NPAR) program, the Oak Ridge National Laboratory (ORNL) has carried out an assessment of several check value diagnostic monitoring methods, in particular, those based on measurements of acoustic emission, ultrasonics, and magnetic flux. The evaluations have focussed on the capabilities of each method to provide information useful in determining check valve aging and service wear effects, check valve failures, and undesirable operating modes. This paper describes the benefits and limitations associated with each method and includes recent laboratory and field test data, including data obtained from the vendors who recently participated in a comprehensive series of tests directed by a nuclear industry users group. In addition, as part of the ORNL Advanced Diagnostic Engineering Research and Development Center (ADEC), two novel nonintrusive monitoring methods were developed that provide several unique capabilities. These methods, based on external ac- an dc-magnetic monitoring are also described. None of the examined methods could, by themselves, monitor both 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.

  17. Checking the anaesthetic machine.

    PubMed

    Wicker, Paul; Smith, Brian

    2006-12-01

    Making sure that anaesthetic equipment is working correctly is an essential part of the anaesthetic practitioner's role. During induction of anaesthesia the patient is at one of the most vulnerable points in his or her perioperative care. This is the point at which equipment error may put the patient at high risk of harm, for example, through compromising the airway, causing circulatory problems, preventing satisfactory oxygenation or even causing death. Many writers have drawn comparisons between anaesthesia and aviation, with the suggestion that practitioners should check the anaesthetic machines using a 'cockpit drill' (Ranasinghe 2000). The purpose of this detailed check is to ensure the machine is safe to use. The careful attention to the check is a reflection of good practice which the practitioner's codes of professional practice demand (HPC 2004, NMC 2004). This article discusses the importance of following the anaesthetic checklist to the recommended standards for both the practitioner and the patient. PMID:17193997

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

  19. NHS Health Checks

    PubMed Central

    Abdalrahman, Bayad; Soljak, Michael

    2015-01-01

    Cardiovascular disease is the leading cause of mortality and morbidity worldwide. In England, the government has adopted a population-wide prevention program for cardiovascular disease, the NHS Health Check program. The program has sparked controversies over the evidence base and feasibility of implementation. We aim to provide an update on the debate and program implementation. In conclusion, the evidence base for the NHS Health Check program has a number of uncertainties and program delivery has been suboptimal. It is important to continue monitoring and evaluating the program to provide the evidence base for future policy direction. PMID:25340472

  20. Producers of Fast Incremental Space.

    ERIC Educational Resources Information Center

    Rensselaer Polytechnic Inst., Troy, NY. Center for Architectural Research.

    School districts sometimes need to add relatively small increments of high quality educational space to their existing physical facilities. For some of these situations, the portable or relocatable classroom is the answer; in other cases, the district needs different or more permanent space--quickly. This document comprises six charts that present…

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

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

  3. Integrated quality control: implementation and validation of instrument function checks and procedural controls for a cartridge-based point-of-care system for critical care analysis.

    PubMed

    D'Orazio, Paul; Mansouri, Sohrab

    2013-03-01

    In this article, the process used to develop and validate an integrated quality-control system for a cartridge-based, point-of-care system for critical care analysis is outlined. Application of risk management principles has resulted in a quality control system using a combination of statistical quality control with onboard reference solutions and failure pattern recognition used to flag common failure modes during the analytical phase of the testing process. A combination of traditional external quality control, integrated quality control to monitor ongoing instrument functionality, operator training, and other laboratory-implemented monitors is most effective in controlling known failure modes during the testing process. PMID:23331731

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

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

  6. Live biometric authenticity check

    NASA Astrophysics Data System (ADS)

    Szu, Harold H.; Hsu, Charles C.; Szu, Clifford; Wang, Shoujue

    2003-04-01

    This research defined the underpinning concepts of a system that was highly secure, yet was efficient and non-invasive enough for everyday use. The live biometric authenticity check augmented invariant fingerprints with variable live features offered superior security by combining physical characteristics of the user"s with a passcode (numerical PIN) or passphrase (a string of words), and might also easily be augmented with other biometric video imaging devices for the utmost security.

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

  8. 12 CFR 217.208 - Incremental risk.

    Code of Federal Regulations, 2014 CFR

    2014-01-01

    ... positions at the portfolio level. If equity positions are included in the model, for modeling purposes... positions in its incremental risk measure. (b) Requirements for incremental risk modeling. For purposes...

  9. Online treatment compliance checking for clinical pathways.

    PubMed

    Huang, Zhengxing; Bao, Yurong; Dong, Wei; Lu, Xudong; Duan, Huilong

    2014-10-01

    Compliance checking for clinical pathways (CPs) is getting increasing attention in health-care organizations due to stricter requirements for cost control and treatment excellence. Many compliance measures have been proposed for treatment behavior inspection in CPs. However, most of them look at aggregated data seen from an external perspective, e.g. length of stay, cost, infection rate, etc., which may provide only a posterior impression of the overall conformance with the established CPs such that in-depth and in near real time checking on the compliance of the essential/critical treatment behaviors of CPs is limited. To provide clinicians real time insights into violations of the established CP specification and support online compliance checking, this article presents a semantic rule-based CP compliance checking system. In detail, we construct a CP ontology (CPO) model to provide a formal grounding of CP compliance checking. Using the proposed CPO, domain treatment constraints are modeled into Semantic Web Rule Language (SWRL) rules to specify the underlying treatment behaviors and their quantified temporal structure in a CP. The established SWRL rules are integrated with the CP workflow such that a series of applicable compliance checking and evaluation can be reminded and recommended during the pathway execution. The proposed approach can, therefore, provides a comprehensive compliance checking service as a paralleling activity to the patient treatment journey of a CP rather than an afterthought. The proposed approach is illustrated with a case study on the unstable angina clinical pathway implemented in the Cardiology Department of a Chinese hospital. The results demonstrate that the approach, as a feasible solution to provide near real time conformance checking of CPs, not only enables clinicians to uncover non-compliant treatment behaviors, but also empowers clinicians with the capability to make informed decisions when dealing with treatment compliance

  10. Against the Odds: Academic Underdogs Benefit from Incremental Theories

    ERIC Educational Resources Information Center

    Davis, Jody L.; Burnette, Jeni L.; Allison, Scott T.; Stone, Heather

    2011-01-01

    An implicit theory of ability approach to motivation argues that students who believe traits to be malleable (incremental theorists), relative to those who believe traits to be fixed (entity theorists), cope more effectively when academic challenges arise. In the current work, we integrated the implicit theory literature with research on top dog…

  11. 14 CFR 1274.918 - Incremental funding.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... 14 Aeronautics and Space 5 2010-01-01 2010-01-01 false Incremental funding. 1274.918 Section 1274... COMMERCIAL FIRMS Other Provisions and Special Conditions § 1274.918 Incremental funding. Incremental Funding... Agreement, as required, until it is fully funded. Any work beyond the funding limit will be at the...

  12. 14 CFR 1260.53 - Incremental funding.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... 14 Aeronautics and Space 5 2010-01-01 2010-01-01 false Incremental funding. 1260.53 Section 1260.53 Aeronautics and Space NATIONAL AERONAUTICS AND SPACE ADMINISTRATION GRANTS AND COOPERATIVE AGREEMENTS General Special Conditions § 1260.53 Incremental funding. Incremental Funding October 2000...

  13. 14 CFR 1274.918 - Incremental funding.

    Code of Federal Regulations, 2011 CFR

    2011-01-01

    ... 14 Aeronautics and Space 5 2011-01-01 2010-01-01 true Incremental funding. 1274.918 Section 1274... COMMERCIAL FIRMS Other Provisions and Special Conditions § 1274.918 Incremental funding. Incremental Funding... Agreement, as required, until it is fully funded. Any work beyond the funding limit will be at the...

  14. 14 CFR 1274.918 - Incremental funding.

    Code of Federal Regulations, 2012 CFR

    2012-01-01

    ... 14 Aeronautics and Space 5 2012-01-01 2012-01-01 false Incremental funding. 1274.918 Section 1274... COMMERCIAL FIRMS Other Provisions and Special Conditions § 1274.918 Incremental funding. Incremental Funding... Agreement, as required, until it is fully funded. Any work beyond the funding limit will be at the...

  15. 14 CFR 1260.53 - Incremental funding.

    Code of Federal Regulations, 2011 CFR

    2011-01-01

    ... 14 Aeronautics and Space 5 2011-01-01 2010-01-01 true Incremental funding. 1260.53 Section 1260.53 Aeronautics and Space NATIONAL AERONAUTICS AND SPACE ADMINISTRATION GRANTS AND COOPERATIVE AGREEMENTS General Special Conditions § 1260.53 Incremental funding. Incremental Funding October 2000 (a) Only $___ of...

  16. 14 CFR 1274.918 - Incremental funding.

    Code of Federal Regulations, 2013 CFR

    2013-01-01

    ... 14 Aeronautics and Space 5 2013-01-01 2013-01-01 false Incremental funding. 1274.918 Section 1274... COMMERCIAL FIRMS Other Provisions and Special Conditions § 1274.918 Incremental funding. Incremental Funding... Agreement, as required, until it is fully funded. Any work beyond the funding limit will be at the...

  17. 14 CFR 1260.53 - Incremental funding.

    Code of Federal Regulations, 2012 CFR

    2012-01-01

    ... 14 Aeronautics and Space 5 2012-01-01 2012-01-01 false Incremental funding. 1260.53 Section 1260.53 Aeronautics and Space NATIONAL AERONAUTICS AND SPACE ADMINISTRATION GRANTS AND COOPERATIVE AGREEMENTS General Special Conditions § 1260.53 Incremental funding. Incremental Funding October 2000...

  18. 14 CFR 1260.53 - Incremental funding.

    Code of Federal Regulations, 2013 CFR

    2013-01-01

    ... 14 Aeronautics and Space 5 2013-01-01 2013-01-01 false Incremental funding. 1260.53 Section 1260.53 Aeronautics and Space NATIONAL AERONAUTICS AND SPACE ADMINISTRATION GRANTS AND COOPERATIVE AGREEMENTS General Special Conditions § 1260.53 Incremental funding. Incremental Funding October 2000...

  19. 18 CFR 154.309 - Incremental expansions.

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ... 18 Conservation of Power and Water Resources 1 2010-04-01 2010-04-01 false Incremental expansions... Changes § 154.309 Incremental expansions. (a) For every expansion for which incremental rates are charged... costs and revenues associated with the expansion, until the Commission authorizes the costs of...

  20. 18 CFR 154.309 - Incremental expansions.

    Code of Federal Regulations, 2014 CFR

    2014-04-01

    ... 18 Conservation of Power and Water Resources 1 2014-04-01 2014-04-01 false Incremental expansions... Changes § 154.309 Incremental expansions. (a) For every expansion for which incremental rates are charged... costs and revenues associated with the expansion, until the Commission authorizes the costs of...

  1. 18 CFR 154.309 - Incremental expansions.

    Code of Federal Regulations, 2012 CFR

    2012-04-01

    ... 18 Conservation of Power and Water Resources 1 2012-04-01 2012-04-01 false Incremental expansions... Changes § 154.309 Incremental expansions. (a) For every expansion for which incremental rates are charged... costs and revenues associated with the expansion, until the Commission authorizes the costs of...

  2. 18 CFR 154.309 - Incremental expansions.

    Code of Federal Regulations, 2013 CFR

    2013-04-01

    ... 18 Conservation of Power and Water Resources 1 2013-04-01 2013-04-01 false Incremental expansions... Changes § 154.309 Incremental expansions. (a) For every expansion for which incremental rates are charged... costs and revenues associated with the expansion, until the Commission authorizes the costs of...

  3. 18 CFR 154.309 - Incremental expansions.

    Code of Federal Regulations, 2011 CFR

    2011-04-01

    ... 18 Conservation of Power and Water Resources 1 2011-04-01 2011-04-01 false Incremental expansions... Changes § 154.309 Incremental expansions. (a) For every expansion for which incremental rates are charged... costs and revenues associated with the expansion, until the Commission authorizes the costs of...

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

  5. Safety check valve

    SciTech Connect

    Spears, H.L.

    1992-02-11

    This patent describes a safety check valve, for use with a pumping unit for petroleum fluids, the pumping unit including a polished rod and a stuffing box. It comprises: a valve housing having upper and lower ends and a central bore extending between the upper and lower ends and adapted to have the polished rod pass through the central bore; a ball seating surface associated with the central bore; a non-spring bias ball; a ball housing for the ball and associated with the valve housing; and means for moving the ball from the ball housing into the central bore upon the polished rod not being disposed in the central bore, including a ball receiving cavity associated with the ball housing, the ball hoising having first and second ends, the first end of the ball housing being in communication with the central bore of the valve housing, the second end being closed; the ball receiving cavity having a ball support surface upon which the ball may rest, when the ball is disposed in the ball receiving cavity, the ball support surface sloping downwardly toward the first end of the ball housing, whereby if the polished rod is not disposed within the central bore of the valve housing, the ball moves down the ball support surface, under the force of gravity, from the ball receiving cavity into the central bore and seats on the ball seating surface.

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

  7. Incremental Query Rewriting with Resolution

    NASA Astrophysics Data System (ADS)

    Riazanov, Alexandre; Aragão, Marcelo A. T.

    We address the problem of semantic querying of relational databases (RDB) modulo knowledge bases using very expressive knowledge representation formalisms, such as full first-order logic or its various fragments. We propose to use a resolution-based first-order logic (FOL) reasoner for computing schematic answers to deductive queries, with the subsequent translation of these schematic answers to SQL queries which are evaluated using a conventional relational DBMS. We call our method incremental query rewriting, because an original semantic query is rewritten into a (potentially infinite) series of SQL queries. In this chapter, we outline the main idea of our technique - using abstractions of databases and constrained clauses for deriving schematic answers, and provide completeness and soundness proofs to justify the applicability of this technique to the case of resolution for FOL without equality. The proposed method can be directly used with regular RDBs, including legacy databases. Moreover, we propose it as a potential basis for an efficient Web-scale semantic search technology.

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

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... checking requirements: Check airmen (airplane), check airmen (simulator). 121.413 Section 121.413... checking requirements: Check airmen (airplane), check airmen (simulator). (a) No certificate holder may use... accomplished in part or in full in an airplane, in a flight simulator, or in a flight training device....

  9. 14 CFR 135.339 - Initial and transition training and checking: Check airmen (aircraft), check airmen (simulator).

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... checking: Check airmen (aircraft), check airmen (simulator). 135.339 Section 135.339 Aeronautics and Space... and checking: Check airmen (aircraft), check airmen (simulator). (a) No certificate holder may use a... an aircraft, in a flight simulator, or in a flight training device. This paragraph applies...

  10. A Guide to Checks and Checking. The CIRcular: Consumer Information Report 10.

    ERIC Educational Resources Information Center

    Bank of America NT & SA, San Francisco, CA.

    This report provides explanations of checks and checking accounts and offers guidelines for their use. Types of checks which are explained include personal checks, negotiable orders of withdrawal, counter checks, universal checks, domestic and international money orders, cashier's checks, and travelers checks. A description of the different…

  11. 12 CFR 324.208 - Incremental risk.

    Code of Federal Regulations, 2014 CFR

    2014-01-01

    ... 12 Banks and Banking 5 2014-01-01 2014-01-01 false Incremental risk. 324.208 Section 324.208 Banks... ADEQUACY OF FDIC-SUPERVISED INSTITUTIONS Risk-Weighted Assets-Market Risk § 324.208 Incremental risk. (a) General requirement. An FDIC-supervised institution that measures the specific risk of a portfolio of...

  12. Aerospell Supplemental Spell Check File

    NASA Technical Reports Server (NTRS)

    2000-01-01

    Aerospell is a supplemental spell check file that can be used as a resource for researchers, writers, editors, students, and others who compose scientific and technical texts. The file extends the general spell check dictionaries of word processors by adding more than 13,000 words used in a broad range of aerospace and related disciplines.

  13. Inheritance as an Incremental Modification Mechanism or What Like Is and Isn't Like

    NASA Astrophysics Data System (ADS)

    Wegner, Peter; Zdonik, Stanley B.

    Incremental modification is a fundamental mechanism not only in software systems, but also in physical and mathematical systems. Inheritance owes its importance in large measure to its flexibility as a discrete incremental modification mechanism. Four increasingly permissive properties of incremental modification realizable by inheritance are examined: behavior compatibility, signature compatibility. name compatibility, and cancellation. Inheritance for entities with finite sets of attributes is defined and characterized as incremental modification with deferred binding of self-reference. Types defined as predicates for type checking are contrasted with classes defined as templates for object generation. Mathematical, operational, and conceptual models of inheritance are then examined in detail, leading to a discussion of algebraic models of behavioral compatibility. horizontal and vertical signature modification, algorithmically defined name modification, additive and subtractive exceptions, abstract inheritance networks, and parametric polymorphism. Liketypes are defined as a symmetrical general form of incremental modification that provide a framework for modeling similarity. The combination of safe behaviorally compatible changes and less safe radical incremental changes in a single programming language is considered.

  14. Incremental Discriminant Analysis in Tensor Space

    PubMed Central

    Chang, Liu; Weidong, Zhao; Tao, Yan; Qiang, Pu; Xiaodan, Du

    2015-01-01

    To study incremental machine learning in tensor space, this paper proposes incremental tensor discriminant analysis. The algorithm employs tensor representation to carry on discriminant analysis and combine incremental learning to alleviate the computational cost. This paper proves that the algorithm can be unified into the graph framework theoretically and analyzes the time and space complexity in detail. The experiments on facial image detection have shown that the algorithm not only achieves sound performance compared with other algorithms, but also reduces the computational issues apparently. PMID:26339229

  15. Understanding the incremental value of novel diagnostic tests for tuberculosis.

    PubMed

    Arinaminpathy, Nimalan; Dowdy, David

    2015-12-01

    Tuberculosis is a major source of global mortality caused by infection, partly because of a tremendous ongoing burden of undiagnosed disease. Improved diagnostic technology may play an increasingly crucial part in global efforts to end tuberculosis, but the ability of diagnostic tests to curb tuberculosis transmission is dependent on multiple factors, including the time taken by a patient to seek health care, the patient's symptoms, and the patterns of transmission before diagnosis. Novel diagnostic assays for tuberculosis have conventionally been evaluated on the basis of characteristics such as sensitivity and specificity, using assumptions that probably overestimate the impact of diagnostic tests on transmission. We argue for a shift in focus to the evaluation of such tests' incremental value, defining outcomes that reflect each test's purpose (for example, transmissions averted) and comparing systems with the test against those without, in terms of those outcomes. Incremental value can also be measured in units of outcome per incremental unit of resource (for example, money or human capacity). Using a novel, simplified model of tuberculosis transmission that addresses some of the limitations of earlier tuberculosis diagnostic models, we demonstrate that the incremental value of any novel test depends not just on its accuracy, but also on elements such as patient behaviour, tuberculosis natural history and health systems. By integrating these factors into a single unified framework, we advance an approach to the evaluation of new diagnostic tests for tuberculosis that considers the incremental value at the population level and demonstrates how additional data could inform more-effective implementation of tuberculosis diagnostic tests under various conditions. PMID:26633767

  16. Plan-Do-Check-Act and the Management of Institutional Research. AIR 1992 Annual Forum Paper.

    ERIC Educational Resources Information Center

    McLaughlin, Gerald W.; Snyder, Julie K.

    This paper describes the application of a Total Quality Management strategy called Plan-Do-Check-Act (PDCA) to the projects and activities of an institutional research office at the Virginia Polytechnic Institute and State University. PDCA is a cycle designed to facilitate incremental continual improvement through change. The specific steps are…

  17. Use of incremental analysis updates in 4D-Var data assimilation

    NASA Astrophysics Data System (ADS)

    Zhang, Banglin; Tallapragada, Vijay; Weng, Fuzhong; Sippel, Jason; Ma, Zaizhong

    2015-12-01

    The four-dimensional variational (4D-Var) data assimilation systems used in most operational and research centers use initial condition increments as control variables and adjust initial increments to find optimal analysis solutions. This approach may sometimes create discontinuities in analysis fields and produce undesirable spin ups and spin downs. This study explores using incremental analysis updates (IAU) in 4D-Var to reduce the analysis discontinuities. IAU-based 4D-Var has almost the same mathematical formula as conventional 4D-Var if the initial condition increments are replaced with time-integrated increments as control variables. The IAU technique was implemented in the NASA/GSFC 4D-Var prototype and compared against a control run without IAU. The results showed that the initial precipitation spikes were removed and that other discontinuities were also reduced, especially for the analysis of surface temperature.

  18. UPWT check standard model test

    NASA Technical Reports Server (NTRS)

    2000-01-01

    Installation of the check standard model in test section 2 of the Unitary Plan Wind Tunnel (UPWT). Testing was conducted as part of a Data Quality Control assessment in the Research Facilities Branch/Aerodynamics Aerothermodynamics Acoustics Competency.

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

  20. Check Out These Books

    NASA Technical Reports Server (NTRS)

    Collins, Michelle (Editor); Mulenburg, Gerald

    2002-01-01

    The book entitled "Fusion Leadership: Unlocking the Subtle Forces that Change People and Organizations Richard L. Daft and Robert H. Lengel (1998) Berett-Koehler Publishers, Inc." was Reviewed by Dr. Michelle Collins, NASA Headquarters. If you've already read books on leadership and organizational change by authors such as Moshe Rubinstein and Iris Firstenberg, Peter Senge, Tom Peters, and Steven Covey, and you were thinking of rereading them, you don't have to do that now. Just read this book instead. It's a fusion of many of their same concepts presented from a different view. The book does not explore any particular subject in depth. Rather the authors "skim" many subjects and concepts, interlacing them to develop the concept of "Fusion Leadership". The fundamental concept of treating people as people rather than machines is the main theme. "Fusion Leadership" is the process of fusing people together by nurturing six "subtle" forces: mindfulness, courage, vision, heart, communication, and integrity. To do so, hierarchy is diminished and responsibility both for oneself as well as for the team is emphasized. There are a number of organizations and managers that will find such a change threatening. The concepts behind such a management style are straightforward and the benefits are intuitive once you've reflected on them; however, the obvious benefits of the behavioral change proposed in Fusion Leadership can be completely lost in a fear-based system. The concept of caring about people in one's organization was the common thread in Chris Turner's book All Hat, No Cattle (see book review, ASK 5). Much is being written about the re-humanizing of the workplace, but the basis of it is so common sense that one wonders what's taking so long for the workplace to change? Whether you're in a position to change your organization or simply your project team, you'll find the concepts in fusion leadership equally applicable.

  1. Separate and combined effects of gabapentin and [INCREMENT]9-tetrahydrocannabinol in humans discriminating [INCREMENT]9-tetrahydrocannabinol.

    PubMed

    Lile, Joshua A; Wesley, Michael J; Kelly, Thomas H; Hays, Lon R

    2016-04-01

    The aim of the present study was to examine a potential mechanism of action of gabapentin to manage cannabis-use disorders by determining the interoceptive effects of gabapentin in cannabis users discriminating [INCREMENT]-tetrahydrocannabinol ([INCREMENT]-THC) using a pharmacologically selective drug-discrimination procedure. Eight cannabis users learned to discriminate 30 mg oral [INCREMENT]-THC from placebo and then received gabapentin (600 and 1200 mg), [INCREMENT]-THC (5, 15, and 30 mg), and placebo alone and in combination. Self-report, task performance, and physiological measures were also collected. [INCREMENT]-THC served as a discriminative stimulus, produced positive subjective effects, elevated heart rate, and impaired psychomotor performance. Both doses of gabapentin substituted for the [INCREMENT]-THC discriminative stimulus and engendered subjective and performance-impairing effects that overlapped with those of [INCREMENT]-THC when administered alone. When administered concurrently, gabapentin shifted the discriminative-stimulus effects of [INCREMENT]-THC leftward/upward, and combinations of [INCREMENT]-THC and gabapentin generally produced larger effects on cannabinoid-sensitive outcomes relative to [INCREMENT]-THC alone. These results suggest that one mechanism by which gabapentin might facilitate cannabis abstinence is by producing effects that overlap with those of cannabinoids. PMID:26313650

  2. Environmental Aspects Regarding The Incremental Forming Process

    NASA Astrophysics Data System (ADS)

    Tera, Melania

    2015-09-01

    Future technologies should aim at reducing the consumption of raw materials and energy, avoid technical losses, to save energy and mineral resources, to minimize the emissions and waste, eliminate any irrational use of all resources and also to minimize the environmental impact. The paper present from environmental point of view both a classic forming process such as deep-drawing and incremental forming process. The paper gives an overview of the main environmental aspects regarding the incremental forming process.

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

  4. Regular ward checks raise standards of care.

    PubMed

    Dean, Erin

    2012-05-01

    This article reports on the introduction of intentional rounding at University Hospitals Coventry and Warwickshire NHS Trust. The approach was piloted and implemented on the initiative of two nurses in wards that ranged from orthopaedic to general medical. Intentional rounding aims to put patients at the centre of care and consists of checking on their condition at hourly or two-hourly intervals, recording their nutritional status and skin integrity, and asking if they need pain relief or help with eating. The introduction of the approach follows concerns about failures in care highlighted by a number of recent high-profile reports. PMID:22690424

  5. Non-Gaussian Based Buddy Check and Gross Error Check Observational Quality Control Measures and Their Impacts on Non-Gaussian Based Data Assimilation Systems.

    NASA Astrophysics Data System (ADS)

    Fletcher, S. J.; Kliewer, A.; Jones, A. S.; Forsythe, J. M.

    2014-12-01

    With the recent derivation of a mixed distribution based incremental VAR data assimilation system, the need to adapt the current Gaussian based quality control measures to allow for the correct assessment of lognormal distribution based observational errors has to be addressed. In this paper we take the "buddy check" system and show that it is possible to derive a similar measure in terms of a linearization with respect to ln x and not x. The gross error check is also discussed in the framework of which statistic, mean, mode of median, is the measure to be "centered" about, given the skewness of lognormal distribution. The final part of this paper is concerned with comparing the impact of using the current Gaussian and the new lognormal based distribution with an incremental mixed distribution based 4DVAR system with the Lorenz 1963 model.

  6. Ozone layer protection: Country incremental costs

    SciTech Connect

    King, K.; Munasinghe, M.

    1995-07-01

    The framework presented in Chapter 1 by King and Munasinghe was developed to estimate the country-level incremental cost. This framework has been applied in several developing countries in transition. The purpose of the Workshop on Country-Level Incremental Costs of Phasing Out Ozone-Depleting Substances was to gather key analysts engaged in this work to review the framework and its practical application. They present the results of their work in India, Turkey, Jordan, and Zimbabwe (Chapter 2: Mason); Egypt (Chapter 3: Catanach); Thailand (Chapter 4: Widge, Radka, and Dillon); and Tunisia and Czechoslovakia (Chapter 5; Bendtsen).

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

  8. 48 CFR 3452.232-71 - Incremental funding.

    Code of Federal Regulations, 2011 CFR

    2011-10-01

    ... 48 Federal Acquisition Regulations System 7 2011-10-01 2011-10-01 false Incremental funding. 3452....232-71 Incremental funding. As prescribed in 3432.705-2, insert the following provision in solicitations if a cost-reimbursement contract using incremental funding is contemplated: Incremental...

  9. 48 CFR 3452.232-71 - Incremental funding.

    Code of Federal Regulations, 2012 CFR

    2012-10-01

    ... 48 Federal Acquisition Regulations System 7 2012-10-01 2012-10-01 false Incremental funding. 3452....232-71 Incremental funding. As prescribed in 3432.705-2, insert the following provision in solicitations if a cost-reimbursement contract using incremental funding is contemplated: Incremental...

  10. 48 CFR 3452.232-71 - Incremental funding.

    Code of Federal Regulations, 2014 CFR

    2014-10-01

    ... 48 Federal Acquisition Regulations System 7 2014-10-01 2014-10-01 false Incremental funding. 3452....232-71 Incremental funding. As prescribed in 3432.705-2, insert the following provision in solicitations if a cost-reimbursement contract using incremental funding is contemplated: Incremental...

  11. 48 CFR 3452.232-71 - Incremental funding.

    Code of Federal Regulations, 2013 CFR

    2013-10-01

    ... 48 Federal Acquisition Regulations System 7 2013-10-01 2012-10-01 true Incremental funding. 3452....232-71 Incremental funding. As prescribed in 3432.705-2, insert the following provision in solicitations if a cost-reimbursement contract using incremental funding is contemplated: Incremental...

  12. Incremental social learning in particle swarms.

    PubMed

    de Oca, Marco A Montes; Stutzle, Thomas; Van den Enden, Ken; Dorigo, Marco

    2011-04-01

    Incremental social learning (ISL) was proposed as a way to improve the scalability of systems composed of multiple learning agents. In this paper, we show that ISL can be very useful to improve the performance of population-based optimization algorithms. Our study focuses on two particle swarm optimization (PSO) algorithms: a) the incremental particle swarm optimizer (IPSO), which is a PSO algorithm with a growing population size in which the initial position of new particles is biased toward the best-so-far solution, and b) the incremental particle swarm optimizer with local search (IPSOLS), in which solutions are further improved through a local search procedure. We first derive analytically the probability density function induced by the proposed initialization rule applied to new particles. Then, we compare the performance of IPSO and IPSOLS on a set of benchmark functions with that of other PSO algorithms (with and without local search) and a random restart local search algorithm. Finally, we measure the benefits of using incremental social learning on PSO algorithms by running IPSO and IPSOLS on problems with different fitness distance correlations. PMID:20875976

  13. 12 CFR 3.208 - Incremental risk.

    Code of Federal Regulations, 2014 CFR

    2014-01-01

    ... internal risk management methodologies for identifying, measuring, and managing risk. (c) Calculation of... 12 Banks and Banking 1 2014-01-01 2014-01-01 false Incremental risk. 3.208 Section 3.208 Banks and Banking COMPTROLLER OF THE CURRENCY, DEPARTMENT OF THE TREASURY CAPITAL ADEQUACY STANDARDS...

  14. Input-Based Incremental Vocabulary Instruction

    ERIC Educational Resources Information Center

    Barcroft, Joe

    2012-01-01

    This fascinating presentation of current research undoes numerous myths about how we most effectively learn new words in a second language. In clear, reader-friendly text, the author details the successful approach of IBI vocabulary instruction, which emphasizes the presentation of target vocabulary as input early on and the incremental (gradual)…

  15. 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... Low- and Medium-Voltage Alternating Current Circuits § 75.902-2 Approved ground check systems not employing pilot check wires. Ground check systems not employing pilot check wires will be approved only...

  16. Thermal maturation of incrementally assembled plutons

    NASA Astrophysics Data System (ADS)

    Davis, J.; Coleman, D. S.; Heizler, M. T.

    2009-12-01

    The Cretaceous zoned intrusive suites of the Sierra Nevada batholith (SNB) were each assembled over 8-11 million years through incremental amalgamation of sheeted intrusions. Emplacement as small sheet-like increments inhibits development of a voluminous zone of melt bearing rock; instead the active magma body represents only a small portion of the total volume intruded. Plutons formed incrementally will have a protracted thermal history (T-t) that can be elucidated using thermochronologic techniques yielding insights into the thermal evolution of the lithosphere at magma chamber-pluton scales. Thermal histories are derived for plutons from the dike-like John Muir Intrusive Suite (JMIS) and the laccolithic Mount Whitney Intrusive Suite (MWIS), both located in the eastern-central SNB, by correlating estimated zircon saturation and argon closure temperatures with U-Pb zircon and titanite, 40Ar/39Ar amphibole, biotite, and K-feldspar ages. Close agreement among zircon and hornblende ages indicate rapid cooling following intrusion. However, hornblende and biotite ages are separated by 6-9 million years indicating slow protracted cooling. We interpret these data to reflect the thermal maturation of an incrementally assembled magma system in which temperatures cycled between ~500-300°C for millions of years. Hornblende ages were not reset by younger intrusions, therefore maximum reheating temperatures did not exceed ~500°C for geologically significant durations. T-t cooling curves from the intrusive suites are used to calibrate finite difference numerical simulations of pluton assembly. Intrusion geometries are modeled (HEAT 3D, Wohletz, 2007) by stacking horizontal increments from the top-down and bottom-up and vertical increments are emplaced syntaxially and antitaxially and are designed to generate plutons of the approximate dimensions, depth of emplacement, and age range of the Sierran suites. Numerical simulations yield the following general observations: 1) an

  17. A Partial Order Reduction Technique for Parallel Timed Automaton Model Checking

    NASA Astrophysics Data System (ADS)

    Jianhua, Zhao; Linzhang, Wang; Xuandong, Li

    We propose a partial order reduction technique for timed automaton model checking in this paper. We first show that the symbolic successors w.r.t. partial order paths can be computed using DBMs. An algorithm is presented to compute such successors incrementally. This algorithm can avoid splitting the symbolic states because of the enumeration order of independent transitions. A reachability analysis algorithm based on this successor computation algorithm is presented. Our technique can be combined with some static analysis techniques in the literate. Further more, we present a rule to avoid exploring all enabled transitions, thus the space requirements of model checking are further reduced.

  18. Specific mass increment and nonequilibrium crystal growth

    NASA Astrophysics Data System (ADS)

    Martyushev, Leonid M.; Terentiev, Pavel S.

    2013-09-01

    Unsteady nonequilibrium crystallization of ammonium chloride from an aqueous solution resulting in the formation of irregular, so-called seaweed, structures is experimentally investigated. It is shown that specific increment of mass for the coexisting structures (or parts thereof) is the same and changes with time (t) according to the power law a/t-b, where the factor a=1.87±0.09 and the factor b is determined by the system relaxation time. The normalization of the power law to the total time of structure growth allows obtaining a universal law that describes the specific mass increment with time for both seaweed and dendrite structures (including the non-coexisting ones).

  19. A Fast Incremental Gaussian Mixture Model

    PubMed Central

    Pinto, Rafael Coimbra; Engel, Paulo Martins

    2015-01-01

    This work builds upon previous efforts in online incremental learning, namely the Incremental Gaussian Mixture Network (IGMN). The IGMN is capable of learning from data streams in a single-pass by improving its model after analyzing each data point and discarding it thereafter. Nevertheless, it suffers from the scalability point-of-view, due to its asymptotic time complexity of O(NKD3) for N data points, K Gaussian components and D dimensions, rendering it inadequate for high-dimensional data. In this work, we manage to reduce this complexity to O(NKD2) by deriving formulas for working directly with precision matrices instead of covariance matrices. The final result is a much faster and scalable algorithm which can be applied to high dimensional tasks. This is confirmed by applying the modified algorithm to high-dimensional classification datasets. PMID:26444880

  20. Ozone layer protection: Country incremental costs

    SciTech Connect

    King, K.; Munasinghe, M.

    1997-12-31

    The report evaluates the frameworks established in various countries to finance the incremental costs of phasing out ozone-depleting substances. The Multilateral Fund and the Global Environment Facility (GEF) were established to assist developing countries in financing the incremental costs of phasing out ozone-depleting substances. Both the Fund and the GEF require a strategic framework for the activities they finance to demonstrate that overall phaseout of these substances will be accomplished. The framework, known as the `country program,` establishes a national strategy and program of proposed activities. This paper describes the country programs in general and reviews the work and results of key analysts who carried out these programs in the former Czechoslovakia, Egypt, India, Jordan, Thailand, Tunisia, Turkey, and Zimbabwe.

  1. Some Results on Incremental Vertex Cover Problem

    NASA Astrophysics Data System (ADS)

    Dai, Wenqiang

    In the classical k-vertex cover problem, we wish to find a minimum weight set of vertices that covers at least k edges. In the incremental version of the k-vertex cover problem, we wish to find a sequence of vertices, such that if we choose the smallest prefix of vertices in the sequence that covers at least k edges, this solution is close in value to that of the optimal k-vertex cover solution. The maximum ratio is called competitive ratio. Previously the known upper bound of competitive ratio was 4α, where α is the approximation ratio of the k-vertex cover problem. And the known lower bound was 1.36 unless P = NP, or 2 - ɛ for any constant ɛ assuming the Unique Game Conjecture. In this paper we present some new results for this problem. Firstly we prove that, without any computational complexity assumption, the lower bound of competitive ratio of incremental vertex cover problem is φ, where φ=sqrt{5}+1/2≈ 1.618 is the golden ratio. We then consider the restricted versions where k is restricted to one of two given values(Named 2-IVC problem) and one of three given values(Named 3-IVC problem). For 2-IVC problem, we give an algorithm to prove that the competitive ratio is at most φα. This incremental algorithm is also optimal for 2-IVC problem if we are permitted to use non-polynomial time. For the 3-IVC problem, we give an incremental algorithm with ratio factor (1+sqrt{2})α.

  2. Molecular energies from an incremental fragmentation method

    NASA Astrophysics Data System (ADS)

    Meitei, Oinam Romesh; Heßelmann, Andreas

    2016-02-01

    The systematic molecular fragmentation method by Collins and Deev [J. Chem. Phys. 125, 104104 (2006)] has been used to calculate total energies and relative conformational energies for a number of small and extended molecular systems. In contrast to the original approach by Collins, we have tested the accuracy of the fragmentation method by utilising an incremental scheme in which the energies at the lowest level of the fragmentation are calculated on an accurate quantum chemistry level while lower-cost methods are used to correct the low-level energies through a high-level fragmentation. In this work, the fragment energies at the lowest level of fragmentation were calculated using the random-phase approximation (RPA) and two recently developed extensions to the RPA while the incremental corrections at higher levels of the fragmentation were calculated using standard density functional theory (DFT) methods. The complete incremental fragmentation method has been shown to reproduce the supermolecule results with a very good accuracy, almost independent on the molecular type, size, or type of decomposition. The fragmentation method has also been used in conjunction with the DFT-SAPT (symmetry-adapted perturbation theory) method which enables a breakdown of the total nonbonding energy contributions into individual interaction energy terms. Finally, the potential problems of the method connected with the use of capping hydrogen atoms are analysed and two possible solutions are supplied.

  3. 14 CFR 135.339 - Initial and transition training and checking: Check airmen (aircraft), check airmen (simulator).

    Code of Federal Regulations, 2011 CFR

    2011-01-01

    ... 14 Aeronautics and Space 3 2011-01-01 2011-01-01 false Initial and transition training and checking: Check airmen (aircraft), check airmen (simulator). 135.339 Section 135.339 Aeronautics and Space FEDERAL AVIATION ADMINISTRATION, DEPARTMENT OF TRANSPORTATION (CONTINUED) AIR CARRIERS AND OPERATORS FOR COMPENSATION OR HIRE: CERTIFICATION...

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

    ... 14 Aeronautics and Space 3 2011-01-01 2011-01-01 false Initial and transition training and checking requirements: Check airmen (airplane), check airmen (simulator). 121.413 Section 121.413 Aeronautics and Space FEDERAL AVIATION ADMINISTRATION, DEPARTMENT OF TRANSPORTATION (CONTINUED) AIR CARRIERS AND OPERATORS FOR COMPENSATION OR...

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

    ..., 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 this... emergency procedures to ensure competence to conduct the flight checks required by this subpart....

  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. 25 CFR 141.19 - Check cashing.

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ... may give a fully negotiable check in addition to U.S. currency when cashing a draft, check or money... or any other obligation the customer owes to the business, but in no event may the owner or...

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

  9. 14 CFR 121.441 - Proficiency checks.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... that person has satisfactorily completed either a proficiency check, or an approved simulator course of... check or the simulator training. (2) For all other pilots— (i) Within the preceding 24 calendar months either a proficiency check or the line-oriented simulator training course under § 121.409; and...

  10. 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 70.101 Alcohol, Tobacco Products and Firearms ALCOHOL AND TOBACCO TAX AND TRADE BUREAU, DEPARTMENT OF....101 Bad checks. If any check or money order in payment of any amount receivable under Title 26 of...

  11. 25 CFR 11.421 - Bad checks.

    Code of Federal Regulations, 2014 CFR

    2014-04-01

    ... 25 Indians 1 2014-04-01 2014-04-01 false Bad checks. 11.421 Section 11.421 Indians BUREAU OF INDIAN AFFAIRS, DEPARTMENT OF THE INTERIOR LAW AND ORDER COURTS OF INDIAN OFFENSES AND LAW AND ORDER CODE Criminal Offenses § 11.421 Bad checks. (a) A person who issues or passes a check or similar sight order...

  12. 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 INDIAN AFFAIRS, DEPARTMENT OF THE INTERIOR LAW AND ORDER COURTS OF INDIAN OFFENSES AND LAW AND ORDER CODE Criminal Offenses § 11.421 Bad checks. (a) A person who issues or passes a check or similar sight order...

  13. 27 CFR 70.101 - Bad checks.

    Code of Federal Regulations, 2012 CFR

    2012-04-01

    ... 27 Alcohol, Tobacco Products and Firearms 2 2012-04-01 2011-04-01 true Bad checks. 70.101 Section 70.101 Alcohol, Tobacco Products and Firearms ALCOHOL AND TOBACCO TAX AND TRADE BUREAU, DEPARTMENT OF....101 Bad checks. If any check or money order in payment of any amount receivable under Title 26 of...

  14. 25 CFR 11.421 - Bad checks.

    Code of Federal Regulations, 2013 CFR

    2013-04-01

    ... 25 Indians 1 2013-04-01 2013-04-01 false Bad checks. 11.421 Section 11.421 Indians BUREAU OF INDIAN AFFAIRS, DEPARTMENT OF THE INTERIOR LAW AND ORDER COURTS OF INDIAN OFFENSES AND LAW AND ORDER CODE Criminal Offenses § 11.421 Bad checks. (a) A person who issues or passes a check or similar sight order...

  15. 27 CFR 70.101 - Bad checks.

    Code of Federal Regulations, 2013 CFR

    2013-04-01

    ... 27 Alcohol, Tobacco Products and Firearms 2 2013-04-01 2013-04-01 false Bad checks. 70.101 Section 70.101 Alcohol, Tobacco Products and Firearms ALCOHOL AND TOBACCO TAX AND TRADE BUREAU, DEPARTMENT OF....101 Bad checks. If any check or money order in payment of any amount receivable under Title 26 of...

  16. 25 CFR 11.421 - Bad checks.

    Code of Federal Regulations, 2012 CFR

    2012-04-01

    ... 25 Indians 1 2012-04-01 2011-04-01 true Bad checks. 11.421 Section 11.421 Indians BUREAU OF INDIAN AFFAIRS, DEPARTMENT OF THE INTERIOR LAW AND ORDER COURTS OF INDIAN OFFENSES AND LAW AND ORDER CODE Criminal Offenses § 11.421 Bad checks. (a) A person who issues or passes a check or similar sight order...

  17. 27 CFR 70.101 - Bad checks.

    Code of Federal Regulations, 2014 CFR

    2014-04-01

    ... 27 Alcohol, Tobacco Products and Firearms 2 2014-04-01 2014-04-01 false Bad checks. 70.101 Section 70.101 Alcohol, Tobacco Products and Firearms ALCOHOL AND TOBACCO TAX AND TRADE BUREAU, DEPARTMENT OF....101 Bad checks. If any check or money order in payment of any amount receivable under Title 26 of...

  18. 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 70.101 Alcohol, Tobacco Products and Firearms ALCOHOL AND TOBACCO TAX AND TRADE BUREAU, DEPARTMENT OF....101 Bad checks. If any check or money order in payment of any amount receivable under Title 26 of...

  19. 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 INDIAN AFFAIRS, DEPARTMENT OF THE INTERIOR LAW AND ORDER COURTS OF INDIAN OFFENSES AND LAW AND ORDER CODE Criminal Offenses § 11.421 Bad checks. (a) A person who issues or passes a check or similar sight order...

  20. Incremental ECAP of thick continuous plates - machine and initial trials

    NASA Astrophysics Data System (ADS)

    Rosochowski, A.; Olejnik, L.

    2014-08-01

    Incremental ECAP (I-ECAP) can be used for SPD of continuous bars, plates and sheets. This paper describes design, construction and preliminary trials of a prototype machine capable of processing thick continuous plates. To increase productivity, a two-turn I-ECAP is used, which is equivalent to route C in conventional one-turn ECAP. The machine has a reciprocating punch inclined at 45°, a clamp holding the plate in the die during deformation and a feeder incrementally feeding the plate when it is not deformed; all these devices are driven by hydraulic actuators controlled by a PLC. The machine is capable of deforming materials at room temperature as well as elevated temperatures. The die is heated with electric heaters. The machine has also an integrated cooling system and a lubrication system. The material used for the initial trials was Al 1050 plate (10×50×1000) conversion coated with calcium aluminate and lubricated with dry soap. The process was carried out at room temperature using 1.6 mm feeding stroke and a low cycle frequency of approximately 0.2 Hz. The UFG structure after the first pass of the process revealed by STEM confirms process feasibility.

  1. Incremental Aerodynamic Coefficient Database for the USA2

    NASA Technical Reports Server (NTRS)

    Richardson, Annie Catherine

    2016-01-01

    In March through May of 2016, a wind tunnel test was conducted by the Aerosciences Branch (EV33) to visually study the unsteady aerodynamic behavior over multiple transition geometries for the Universal Stage Adapter 2 (USA2) in the MSFC Aerodynamic Research Facility's Trisonic Wind Tunnel (TWT). The purpose of the test was to make a qualitative comparison of the transonic flow field in order to provide a recommended minimum transition radius for manufacturing. Additionally, 6 Degree of Freedom force and moment data for each configuration tested was acquired in order to determine the geometric effects on the longitudinal aerodynamic coefficients (Normal Force, Axial Force, and Pitching Moment). In order to make a quantitative comparison of the aerodynamic effects of the USA2 transition geometry, the aerodynamic coefficient data collected during the test was parsed and incorporated into a database for each USA2 configuration tested. An incremental aerodynamic coefficient database was then developed using the generated databases for each USA2 geometry as a function of Mach number and angle of attack. The final USA2 coefficient increments will be applied to the aerodynamic coefficients of the baseline geometry to adjust the Space Launch System (SLS) integrated launch vehicle force and moment database based on the transition geometry of the USA2.

  2. Incremental Knowledge Base Construction Using DeepDive

    PubMed Central

    Shin, Jaeho; Wu, Sen; Wang, Feiran; De Sa, Christopher; Zhang, Ce; Ré, Christopher

    2016-01-01

    Populating a database with unstructured information is a long-standing problem in industry and research that encompasses problems of extraction, cleaning, and integration. Recent names used for this problem include dealing with dark data and knowledge base construction (KBC). In this work, we describe DeepDive, a system that combines database and machine learning ideas to help develop KBC systems, and we present techniques to make the KBC process more efficient. We observe that the KBC process is iterative, and we develop techniques to incrementally produce inference results for KBC systems. We propose two methods for incremental inference, based respectively on sampling and variational techniques. We also study the tradeoff space of these methods and develop a simple rule-based optimizer. DeepDive includes all of these contributions, and we evaluate Deep-Dive on five KBC systems, showing that it can speed up KBC inference tasks by up to two orders of magnitude with negligible impact on quality. PMID:27144081

  3. High-frequency incremental methods for electromagnetic complex source points

    NASA Astrophysics Data System (ADS)

    Canta, Stefano Mihai

    This dissertation advances knowledge in field-based High-Frequency (HF) incremental methods for electromagnetic Complex Source Points (CSP), and its most immediate impact is a significantly faster analysis and design of reflector antennas. HF incremental methods overcome many difficulties encountered in other ray-tracing techniques, mostly when crossing shadow boundaries in the electromagnetic (EM) field predictions. The combination of HF methods with CSPs allows to speed up EM computations. CSPs are obtained by locating real electric or magnetic dipole sources in complex space. EM field patterns are derived through analytical continuation of the geometrical quantities associated with the source position; the continuation provides an exact Maxwellian description of a Gaussian Beam. When CSPs are used as basis functions, they can represent any radiated field pattern. Then, by truncating negligible beams in the direction of observation, computations are sped up compared to a plane- or spherical-wave based expansion. Because of these facts, CSPs can be used with Physical Optics (PO) based HF methods for the efficient analysis of electrically large reflectors. However, PO does not always provide accurate field predictions, especially in regions of greatest shadowing or at grazing incidence. Therefore, I developed a HF Incremental Fringe Formulation (IFF) for CSPs to provide a correction term for PO that, when added to the total PO field, recovers an accurate estimate of the scattered field at the first asymptotic order. In addition, since PO does not have caustic problems, the new fringe asymptotic recovery is free of caustics for any geometrical configuration, too. Moreover, I also introduced a double diffraction formulation for CSPs, using the Incremental Theory of Diffraction, yielding simulation results very close to those obtained with a Method of Moments (MoM) approach. Unlike ray-based methods, no tracing in complex space is necessary, and no caustics are

  4. Collecting, preparing, crossdating, and measuring tree increment cores

    USGS Publications Warehouse

    Phipps, R.L.

    1985-01-01

    Techniques for collecting and handling increment tree cores are described. Procedures include those for cleaning and caring for increment borers, extracting the sample from a tree, core surfacing, crossdating, and measuring. (USGS)

  5. 14 CFR § 1260.53 - Incremental funding.

    Code of Federal Regulations, 2014 CFR

    2014-01-01

    ... 14 Aeronautics and Space 5 2014-01-01 2014-01-01 false Incremental funding. § 1260.53 Section § 1260.53 Aeronautics and Space NATIONAL AERONAUTICS AND SPACE ADMINISTRATION GRANTS AND COOPERATIVE AGREEMENTS General Special Conditions § 1260.53 Incremental funding. Incremental Funding October 2000...

  6. 48 CFR 3452.232-71 - Incremental funding.

    Code of Federal Regulations, 2010 CFR

    2010-10-01

    ... 48 Federal Acquisition Regulations System 7 2010-10-01 2010-10-01 false Incremental funding. 3452... 3452.232-71 Incremental funding. As prescribed in 3452.771, insert the following provision in solicitations: Incremental Funding (AUG 1987) (a) Sufficient funds are not presently available to cover...

  7. 14 CFR § 1274.918 - Incremental funding.

    Code of Federal Regulations, 2014 CFR

    2014-01-01

    ... 14 Aeronautics and Space 5 2014-01-01 2014-01-01 false Incremental funding. § 1274.918 Section Â... WITH COMMERCIAL FIRMS Other Provisions and Special Conditions § 1274.918 Incremental funding. Incremental Funding July 2002 (a) Of the award amount indicated on the cover page of this Agreement, only...

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

  9. Acoustic and ultrasonic signals as diagnostic tools for check valves

    SciTech Connect

    Auyang, M.K. )

    1993-05-01

    A typical nuclear plant has between 60 and 115 safety-related check valves ranging from 2 to 30 in. The majority of these valves control water flow. Recent studies done by the Institute of Nuclear Power Operations (INPO), Electric Power Research Institute (EPRI) and the US Nuclear Regulatory Commission (NRC) found that many of these safety-related valves were not functioning properly. Typical problems found in these valves included disk flutter, backstop tapping, flow leakage, disk pin and hinge pin wear, or even missing disks. These findings led to INPO's Significant Operating Experience Report (SOER, 1986), and finally, NRC generic letter 8904, which requires that all safety-related check valves in a nuclear plant be regularly monitored. In response to this need, the industry has developed various diagnostic equipment to monitor and test check valves, using technologies ranging from acoustics and ultrasonics to magnetic - even radiography has been considered. Of these, systems that depend on a combination of acoustic and ultrasonic techniques are among the most promising for two reasons: these two technologies supplement each other, making diagnosis of the check valves much more certain than any single technology, and this approach can be made nonintrusive. The nonintrusive feature allows the check valves to be monitored and diagnosed without being disassembled or removed from the piping system. This paper shows that by carefully studying the acoustic and ultrasonic signatures acquired from a check value, either individually or in combination, an individual with the proper training and experience in acoustic and ultrasonic signature analyses can deduce the structural integrity of the check valve with good confidence. Most of the conclusions are derived from controlled experiments in the laboratory where the diagnosis can be verified. Other conclusions were based on test data obtained in the field.

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

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

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... check pilots (simulator). 91.1089 Section 91.1089 Aeronautics and Space FEDERAL AVIATION ADMINISTRATION... (aircraft) and check pilots (simulator). (a) For the purposes of this section and § 91.1093: (1) A check... simulator, or in a flight training device for a particular type aircraft. (2) A check pilot (simulator) is...

  12. 30 CFR 77.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... Approved ground check systems not employing pilot check wires. Ground check systems not employing pilot... includes a fail safe design causing the circuit breaker to open when ground continuity is broken....

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

    Code of Federal Regulations, 2013 CFR

    2013-01-01

    ... 14 Aeronautics and Space 3 2013-01-01 2013-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...

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

    Code of Federal Regulations, 2012 CFR

    2012-01-01

    ... 14 Aeronautics and Space 3 2012-01-01 2012-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...

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

    Code of Federal Regulations, 2014 CFR

    2014-01-01

    ... 14 Aeronautics and Space 3 2014-01-01 2014-01-01 false Qualifications: Check airmen (airplane) and... § 121.411 Qualifications: Check airmen (airplane) and check airmen (simulator). Link to an amendment... airman (airplane) is a person who is qualified, and permitted, to conduct flight checks or instruction...

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

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

  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. Networking in the Vancouver Hospitals: An Incremental Management Approach

    PubMed Central

    Cassidy, Paul A.; Morrison, J. Ian; Hardwick, David F.

    1985-01-01

    This paper describes a multi-site network application involving electronic transmission of video, audio and data among five teaching hospitals in Vancouver, B.C. The rationale behind a network approach is explained and the system design is outlined. The network includes both long-haul cable based network technolgies (LHN) and Local Area Network technologies (LAN) that currently integrate 2 mainframes and 11 mini computers operating in the five sites. Philosophical and strategical approaches to implementation of the network are explained. Particular attention is drawn to the notion of the incremental management of change and the role of product champions. It is suggested that the use of network technology enables a wide variety of semi-autonomous departments and computer applications to “touch without intrusion.” It is emphasized the implementation of such change requires sophisticated technical and human engineering skills.

  20. Incremental learning for automated knowledge capture.

    SciTech Connect

    Benz, Zachary O.; Basilico, Justin Derrick; Davis, Warren Leon,; Dixon, Kevin R.; Jones, Brian S.; Martin, Nathaniel; Wendt, Jeremy Daniel

    2013-12-01

    People responding to high-consequence national-security situations need tools to help them make the right decision quickly. The dynamic, time-critical, and ever-changing nature of these situations, especially those involving an adversary, require models of decision support that can dynamically react as a situation unfolds and changes. Automated knowledge capture is a key part of creating individualized models of decision making in many situations because it has been demonstrated as a very robust way to populate computational models of cognition. However, existing automated knowledge capture techniques only populate a knowledge model with data prior to its use, after which the knowledge model is static and unchanging. In contrast, humans, including our national-security adversaries, continually learn, adapt, and create new knowledge as they make decisions and witness their effect. This artificial dichotomy between creation and use exists because the majority of automated knowledge capture techniques are based on traditional batch machine-learning and statistical algorithms. These algorithms are primarily designed to optimize the accuracy of their predictions and only secondarily, if at all, concerned with issues such as speed, memory use, or ability to be incrementally updated. Thus, when new data arrives, batch algorithms used for automated knowledge capture currently require significant recomputation, frequently from scratch, which makes them ill suited for use in dynamic, timecritical, high-consequence decision making environments. In this work we seek to explore and expand upon the capabilities of dynamic, incremental models that can adapt to an ever-changing feature space.

  1. Incremental Scheduling Engines: Cost Savings through Automation

    NASA Technical Reports Server (NTRS)

    Jaap, John; Phillips, Shaun

    2005-01-01

    As humankind embarks on longer space missions farther from home, the requirements and environments for scheduling the activities performed on these missions are changing. As we begin to prepare for these missions it is appropriate to evaluate the merits and applicability of the different types of scheduling engines. Scheduling engines temporally arrange tasks onto a timeline so that all constraints and ob.jectives are met and resources are not over-booked. Scheduling engines used to schedule space missions fall into three general categories: batch, mixed-initiative, and incremental. This paper, presents an assessment of the engine types, a discussion of the impact of human exploration of the moon and Mars on planning and scheduling, and the applicability of the different types of scheduling engines. This paper will pursue the hypothesis that incremental scheduling engines may have a place in the new environment; they have the potential to reduce cost, to improve the satisfaction of those who execute or benefit from a particular timeline (the customers), and to allow astronauts to plan their own tasks and those of their companion robots.

  2. Incremental inverse kinematics based vision servo for autonomous robotic capture of non-cooperative space debris

    NASA Astrophysics Data System (ADS)

    Dong, Gangqi; Zhu, Z. H.

    2016-04-01

    This paper proposed a new incremental inverse kinematics based vision servo approach for robotic manipulators to capture a non-cooperative target autonomously. The target's pose and motion are estimated by a vision system using integrated photogrammetry and EKF algorithm. Based on the estimated pose and motion of the target, the instantaneous desired position of the end-effector is predicted by inverse kinematics and the robotic manipulator is moved incrementally from its current configuration subject to the joint speed limits. This approach effectively eliminates the multiple solutions in the inverse kinematics and increases the robustness of the control algorithm. The proposed approach is validated by a hardware-in-the-loop simulation, where the pose and motion of the non-cooperative target is estimated by a real vision system. The simulation results demonstrate the effectiveness and robustness of the proposed estimation approach for the target and the incremental control strategy for the robotic manipulator.

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

  4. Incrementality and Prediction in Human Sentence Processing

    PubMed Central

    Altmann, Gerry T. M.; Mirković, Jelena

    2010-01-01

    We identify a number of principles with respect to prediction that, we argue, underpin adult language comprehension: (a) comprehension consists in realizing a mapping between the unfolding sentence and the event representation corresponding to the real-world event being described; (b) the realization of this mapping manifests as the ability to predict both how the language will unfold, and how the real-world event would unfold if it were being experienced directly; (c) concurrent linguistic and nonlinguistic inputs, and the prior internal states of the system, each drive the predictive process; (d) the representation of prior internal states across a representational substrate common to the linguistic and nonlinguistic domains enables the predictive process to operate over variable time frames and variable levels of representational abstraction. We review empirical data exemplifying the operation of these principles and discuss the relationship between prediction, event structure, thematic role assignment, and incrementality. PMID:20396405

  5. Improved VSM for Incremental Text Classification

    NASA Astrophysics Data System (ADS)

    Yang, Zhen; Lei, Jianjun; Wang, Jian; Zhang, Xing; Guo, Jim

    2008-11-01

    As a simple classification method VSM has been widely applied in text information processing field. There are some problems for traditional VSM to select a refined vector model representation, which can make a good tradeoff between complexity and performance, especially for incremental text mining. To solve these problems, in this paper, several improvements, such as VSM based on improved TF, TFIDF and BM25, are discussed. And then maximum mutual information feature selection is introduced to achieve a low dimension VSM with less complexity, and at the same time keep an acceptable precision. The experimental results of spam filtering and short messages classification shows that the algorithm can achieve higher precision than existing algorithms under same conditions.

  6. Incremental nonlinear dimensionality reduction by manifold learning.

    PubMed

    Law, Martin H C; Jain, Anil K

    2006-03-01

    Understanding the structure of multidimensional patterns, especially in unsupervised cases, is of fundamental importance in data mining, pattern recognition, and machine learning. Several algorithms have been proposed to analyze the structure of high-dimensional data based on the notion of manifold learning. These algorithms have been used to extract the intrinsic characteristics of different types of high-dimensional data by performing nonlinear dimensionality reduction. Most of these algorithms operate in a "batch" mode and cannot be efficiently applied when data are collected sequentially. In this paper, we describe an incremental version of ISOMAP, one of the key manifold learning algorithms. Our experiments on synthetic data as well as real world images demonstrate that our modified algorithm can maintain an accurate low-dimensional representation of the data in an efficient manner. PMID:16526424

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

  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. Longitudinal study of dental caries increment in Malaysian school children: a 5-year cohort study.

    PubMed

    Masood, Mohd; Yusof, Norashikin; Hassan, Mohamed I A; Jaafar, Nasaruddin

    2014-05-01

    The aim of this 5-year longitudinal cohort study was to assess the prevalence, severity, and trends in caries increment and impact of the School Dental Incremental Care Programme (SDICP). Data were gathered from school dental records as part of the SDICP. A sample of 1830 children were included and checked for caries experience annually using World Health Organization criteria. In total, 95.4% of the children were caries free in 2004, and caries experience declined to 70.5% in 2009 with an average of 4.9% annually. At baseline, the mean DMFT (confidence interval [CI]) was 0.06 (0.05-0.08) and increased to 0.58 (0.53-0.63) in 2009. Children with active caries were 4.4% in 2004, and figures rose to 9.6% in 2009. The FT component increased most rapidly during these 5 years from 0.2% to 25.1%. Overall caries prevalence and increment was low in this study. Proportions of FT component were higher as compared with DT component with low rate of extractions during the latter years of the study. PMID:22218936

  10. Incremental mixed lognormal-Gaussian 4D VAR

    NASA Astrophysics Data System (ADS)

    Forsythe, J.; Fletcher, S. J.; Kliewer, A.; Jones, A. S.

    2013-12-01

    One of the advances that allowed 4DVAR to be operational for synoptic numerical weather prediction was the introduction of incremental 4DVAR. This method assumes that the errors are additive and Gaussian in nature. However, as work recently has shown, there are errors which are multiplicative. A full field version of the 4DVAR equations have been derived and tested in a toy problem for the situation where there is a mix of Gaussian and lognormal background and observational errors. It is not straight-forward, however, to extend the incremental theory to multiplicative errors. One approach which has been suggested recently involves using a transform for the increment. It is shown here that the increment that is found is not the 'incremental mode', i.e. the most likely state for the increment, but rather a median state for the increment. To overcome the multiplicative nature of the errors we present a geometric tangent linear approximation which enables us to linearize the observation operator with respect to a consistent lognormal multiplicative increment. In this paper we present an equivalent incremental version of the mixed lognormal-Gaussian which is based upon finding the most-likely state for additive increments for the Gaussian variables and lognormal for the multiplicative lognormal variables. We test this new approach with the Lorenz 1963 model under different size observational errors and observation window lengths.

  11. 14 CFR 135.339 - Initial and transition training and checking: Check airmen (aircraft), check airmen (simulator).

    Code of Federal Regulations, 2012 CFR

    2012-01-01

    ... applicant that could adversely affect safety. (5) The corrective action in the case of unsatisfactory checks. (6) The approved methods, procedures, and limitations for performing the required normal, abnormal... potential results of improper, untimely, or nonexecution of safety measures during a check; (3) Training...

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

    ... action in the case of unsatisfactory checks. (6) The approved methods, procedures, and limitations for performing the required normal, abnormal, and emergency procedures in the airplane. (d) The transition ground...) The potential results of improper, untimely, or non-execution of safety measures during a check....

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

    Code of Federal Regulations, 2014 CFR

    2014-01-01

    ... applicant that could adversely affect safety. (5) The corrective action in the case of unsatisfactory checks. (6) The approved methods, procedures, and limitations for performing the required normal, abnormal... potential results of improper, untimely, or nonexecution of safety measures during a check; (3) Training...

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

    Code of Federal Regulations, 2014 CFR

    2014-01-01

    ... applicant that could adversely affect safety. (5) The corrective action in the case of unsatisfactory checks. (6) The approved methods, procedures, and limitations for performing the required normal, abnormal... safety measures for emergency situations that are likely to develop during a check; (2) The...

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

    Code of Federal Regulations, 2013 CFR

    2013-01-01

    ... applicant that could adversely affect safety. (5) The corrective action in the case of unsatisfactory checks. (6) The approved methods, procedures, and limitations for performing the required normal, abnormal... safety measures for emergency situations that are likely to develop during a check; (2) The...

  16. 14 CFR 135.339 - Initial and transition training and checking: Check airmen (aircraft), check airmen (simulator).

    Code of Federal Regulations, 2013 CFR

    2013-01-01

    ... applicant that could adversely affect safety. (5) The corrective action in the case of unsatisfactory checks. (6) The approved methods, procedures, and limitations for performing the required normal, abnormal... potential results of improper, untimely, or nonexecution of safety measures during a check; (3) Training...

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

    ... action in the case of unsatisfactory checks. (6) The approved methods, procedures, and limitations for performing the required normal, abnormal, and emergency procedures in the airplane. (d) The transition ground...) The potential results of improper, untimely, or non-execution of safety measures during a check....

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

    Code of Federal Regulations, 2012 CFR

    2012-01-01

    ... applicant that could adversely affect safety. (5) The corrective action in the case of unsatisfactory checks. (6) The approved methods, procedures, and limitations for performing the required normal, abnormal... safety measures for emergency situations that are likely to develop during a check; (2) The...

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

    Code of Federal Regulations, 2011 CFR

    2011-01-01

    ... observation check may be accomplished in part or in full in an aircraft, in a flight simulator, or in a flight... accomplished in full or in part in flight, in a flight simulator, or in a flight training device, as appropriate. (g) The initial and transition flight training for a check pilot (simulator) must include...

  20. Self-Checking Memory Interface

    NASA Technical Reports Server (NTRS)

    Sievers, M. W.; Rennels, D. A.

    1984-01-01

    Memory-interface integrated circuit not only detects errors in data from other circuits but also detects errors within itself. Memory-interface chip encodes 16-bit words with Hamming code for single-error correction or double-error detection. Chip used in fault-tolerant computers under development by NASA.

  1. Incremental Learning with SVM for Multimodal Classification of Prostatic Adenocarcinoma

    PubMed Central

    García Molina, José Fernando; Zheng, Lei; Sertdemir, Metin; Dinter, Dietmar J.; Schönberg, Stefan; Rädle, Matthias

    2014-01-01

    Robust detection of prostatic cancer is a challenge due to the multitude of variants and their representation in MR images. We propose a pattern recognition system with an incremental learning ensemble algorithm using support vector machines (SVM) tackling this problem employing multimodal MR images and a texture-based information strategy. The proposed system integrates anatomic, texture, and functional features. The data set was preprocessed using B-Spline interpolation, bias field correction and intensity standardization. First- and second-order angular independent statistical approaches and rotation invariant local phase quantization (RI-LPQ) were utilized to quantify texture information. An incremental learning ensemble SVM was implemented to suit working conditions in medical applications and to improve effectiveness and robustness of the system. The probability estimation of cancer structures was calculated using SVM and the corresponding optimization was carried out with a heuristic method together with a 3-fold cross-validation methodology. We achieved an average sensitivity of 0.844±0.068 and a specificity of 0.780±0.038, which yielded superior or similar performance to current state of the art using a total database of only 41 slices from twelve patients with histological confirmed information, including cancerous, unhealthy non-cancerous and healthy prostate tissue. Our results show the feasibility of an ensemble SVM being able to learn additional information from new data while preserving previously acquired knowledge and preventing unlearning. The use of texture descriptors provides more salient discriminative patterns than the functional information used. Furthermore, the system improves selection of information, efficiency and robustness of the classification. The generated probability map enables radiologists to have a lower variability in diagnosis, decrease false negative rates and reduce the time to recognize and delineate structures in the

  2. Detection of suspicious activity using incremental outlier detection algorithms

    NASA Astrophysics Data System (ADS)

    Pokrajac, D.; Reljin, N.; Pejcic, N.; Vance, T.; McDaniel, S.; Lazarevic, A.; Chang, H. J.; Choi, J. Y.; Miezianko, R.

    2009-08-01

    Detection of unusual trajectories of moving objects can help in identifying suspicious activity on convoy routes and thus reduce casualties caused by improvised explosive devices. In this paper, using video imagery we compare efficiency of various techniques for incremental outlier detection on detecting unusual trajectories on simulated and real-life data obtained from SENSIAC database. Incremental outlier detection algorithms that we consider in this paper include incremental Support Vector Classifier (incSVC), incremental Local Outlier Factor (incLOF) algorithm and incremental Connectivity Outlier Factor (incCOF) algorithm. Our experiments performed on ground truth trajectory data indicate that incremental LOF algorithm can provide better detection of unusual trajectories in comparison to other examined techniques.

  3. Validation of daily increments in otoliths of northern squawfish larvae

    USGS Publications Warehouse

    Wertheimer, R.H.; Barfoot, C.A.

    1998-01-01

    Otoliths from laboratory-reared northern squawfish, Ptychocheilus oregonensis, larvae were examined to determine the periodicity of increment deposition. Increment deposition began in both sagittae and lapilli after hatching. Reader counts indicated that increment formation was daily in sagittae of 1-29-day-old larvae. However, increment counts from lapilli were significantly less than the known ages of northern squawfish larvae, possibly because some increments were not detectable. Otolith readability and age agreement among readers were greatest for young (<11 days) northern squawfish larvae. This was primarily because a transitional zone of low-contrast material began forming in otoliths of 8-11-day-old larvae and persisted until approximately 20 days after hatching. Formation of the transition zone appeared to coincide with the onset of exogenous feeding and continued through yolk sac absorption. Our results indicate that aging wild-caught northern squawfish larvae using daily otolith increment counts is possible.

  4. Using a Checking Account. Grades 6-12.

    ERIC Educational Resources Information Center

    Trey, Frances

    Instructions and exercises on the use of checking accounts are provided for students in grades 6-12. The following topics are included: (1) reasons for opening a checking account; (2) how to open a checking account; (3) how to fill out deposit slips; (4) the elements of a check and how to write a check correctly; (5) checking account rules; (6)…

  5. 32 CFR 635.6 - Name checks.

    Code of Federal Regulations, 2012 CFR

    2012-07-01

    ... 32 National Defense 4 2012-07-01 2011-07-01 true Name checks. 635.6 Section 635.6 National Defense Department of Defense (Continued) DEPARTMENT OF THE ARMY (CONTINUED) LAW ENFORCEMENT AND CRIMINAL INVESTIGATIONS LAW ENFORCEMENT REPORTING Records Administration § 635.6 Name checks. (a) Information contained in military police records may...

  6. Anaesthetic machine checking practices. A survey.

    PubMed

    Mayor, A H; Eaton, J M

    1992-10-01

    Forty anaesthetists, of all grades, were interviewed without prior warning and questioned about the checks they had performed on their anaesthetic equipment before use. The results reveal that a substantial percentage (up to 41%) of anaesthetists perform inadequate checks. Furthermore, of those that do, few follow the Association of Anaesthetists of Great Britain and Ireland's recent guidelines. PMID:1443480

  7. 32 CFR 635.6 - Name checks.

    Code of Federal Regulations, 2013 CFR

    2013-07-01

    ... 32 National Defense 4 2013-07-01 2013-07-01 false Name checks. 635.6 Section 635.6 National... INVESTIGATIONS LAW ENFORCEMENT REPORTING Records Administration § 635.6 Name checks. (a) Information contained in... disseminated according to subpart B of this part. (c) In response to a request for local files or name...

  8. 32 CFR 635.6 - Name checks.

    Code of Federal Regulations, 2014 CFR

    2014-07-01

    ... 32 National Defense 4 2014-07-01 2013-07-01 true Name checks. 635.6 Section 635.6 National Defense... INVESTIGATIONS LAW ENFORCEMENT REPORTING Records Administration § 635.6 Name checks. (a) Information contained in... disseminated according to subpart B of this part. (c) In response to a request for local files or name...

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

  10. 7 CFR 1421.11 - Spot checks.

    Code of Federal Regulations, 2012 CFR

    2012-01-01

    ... 7 Agriculture 10 2012-01-01 2012-01-01 false Spot checks. 1421.11 Section 1421.11 Agriculture Regulations of the Department of Agriculture (Continued) COMMODITY CREDIT CORPORATION, DEPARTMENT OF... ASSISTANCE LOANS AND LOAN DEFICIENCY PAYMENTS FOR 2008 THROUGH 2012 General § 1421.11 Spot checks. (a)...

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

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

  13. 32 CFR 635.6 - Name checks.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... justice purposes. To conduct a name check, users must have either the social security number/foreign... individual in the COPS MPRS system. (5) Name checks for individuals employed in law enforcement positions. (g... Department of Defense (Continued) DEPARTMENT OF THE ARMY (CONTINUED) LAW ENFORCEMENT AND...

  14. Check-In Check-Out + Social Skills: Enhancing the Effects of Check-In Check-Out for Students With Social Skill Deficits

    ERIC Educational Resources Information Center

    Ross, Scott W.; Sabey, Christian V.

    2015-01-01

    Check-In Check-Out is a Tier 2 intervention designed to reduce problem behavior and increase prosocial behavior. Although the intervention has demonstrated effects in several studies, few research efforts have considered how the intervention can be modified to support students with social skill deficits. Through a multiple baseline design across…

  15. Solar Heating Systems: Progress Checks & Tests Manual.

    ERIC Educational Resources Information Center

    Green, Joanne; And Others

    This manual contains Progress Checks and Tests for use in a Solar Heating Systems curriculum (see note). It contains master copies of all Progress Checks and Unit Tests accompanying the curriculum, organized by unit. (The master copies are to be duplicated by each school so that adequate copies are available for student use in a self-paced student…

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

  17. 7 CFR 58.243 - Checking quality.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... 7 Agriculture 3 2010-01-01 2010-01-01 false Checking quality. 58.243 Section 58.243 Agriculture... Procedures § 58.243 Checking quality. All milk, milk products and dry milk products shall be subject to inspection and analysis by the dairy plant for quality and condition throughout each processing...

  18. 38 CFR 21.4505 - Check delivery.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... 38 Pensions, Bonuses, and Veterans' Relief 2 2010-07-01 2010-07-01 false Check delivery. 21.4505...) VOCATIONAL REHABILITATION AND EDUCATION Education Loans § 21.4505 Check delivery. (a) General. Education... surviving spouse is enrolled for delivery by the educational institution. (b) Delivery and certification....

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

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

  1. Check & Connect. What Works Clearinghouse Intervention Report

    ERIC Educational Resources Information Center

    What Works Clearinghouse, 2006

    2006-01-01

    "Check & Connect" is a dropout prevention strategy that relies on close monitoring of school performance, as well as mentoring, case management, and other supports. The What Works Clearinghouse (WWC) reviewed six studies on "Check & Connect" that were designed to assess the program's effectiveness. Four of these studies passed WWC relevance…

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

  3. MEMS design rule checking: a batch approach for remote operation

    NASA Astrophysics Data System (ADS)

    Yarberry, Victor R.

    1998-07-01

    This paper describes a design rule checking (DRC) tool developed as an aid for designing microelectromechanical structures (MEMS) using AutoCADTM running on a Windows NT workstation. The application suite, MEMSdrc, consists of a graphical user interface integrated into AutoCADTM to invoke DRC, translation and interface software to communicate with a commercial IC layout design checking software package, and routines to interactively display and review the results. The user interface provides the capability to select a checking window area and specific DRC rules to be applied to the design. The MEMS structures, defined as 2D AutoCADTM geometry are translated first into DXF format, then to GDSII format. A remote process transfers the files to a Unix workstation where Mentor Graphics ICverify is invoked to perform the layout design rule checks. Upon completion, the results are translated into DXF geometry and returned back to the Windows NT workstation to be overlaid onto the original design. A set of icons are provided for the user to interactively review the results inside of AutoCADTM using a first/next/previous technique.

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

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... check airmen (simulator). 135.337 Section 135.337 Aeronautics and Space FEDERAL AVIATION ADMINISTRATION... (simulator). (a) For the purposes of this section and § 135.339: (1) A check airman (aircraft) is a person who is qualified to conduct flight checks in an aircraft, in a flight simulator, or in a...

  5. Incremental fusion of partial biometric information

    NASA Astrophysics Data System (ADS)

    Abboud, Ali J.; Jassim, Sabah A.

    2012-06-01

    Existing face recognition schemes are mostly based on extracting biometric feature vectors either from whole face images, or from a fixed facial region (e.g., eyes, nose, and mouth). Extreme variation in quality conditions between biometric enrolment and verification stages badly affects the performance of face recognition systems. Such problems have partly motivated several investigations into the use of partial facial features for face recognition. Nevertheless, partial face recognition is potentially useful in several applications, for instance, it used in forensics for detectives to identify individuals after some accidents such as fire or explosion. In this paper, we propose a scheme to fuse the biometric information of partial face images incrementally based on their recognition accuracy (or discriminative power) ranks. Such fusion scheme uses the optimal ratio of full/partial face images in each different quality condition. We found that such scheme is also useful for full face images to enhance authentication accuracy significantly. Nevertheless, it reduces the required storage requirements and processing time of the biometric system. Our experiments show that the required ratio of full/partial facial images to achieve optimal performance varies from (5%) to (80%) according to the quality conditions whereas the authentication accuracy improves significantly for low quality biometric samples.

  6. Evolution of cooperation driven by incremental learning

    NASA Astrophysics Data System (ADS)

    Li, Pei; Duan, Haibin

    2015-02-01

    It has been shown that the details of microscopic rules in structured populations can have a crucial impact on the ultimate outcome in evolutionary games. So alternative formulations of strategies and their revision processes exploring how strategies are actually adopted and spread within the interaction network need to be studied. In the present work, we formulate the strategy update rule as an incremental learning process, wherein knowledge is refreshed according to one's own experience learned from the past (self-learning) and that gained from social interaction (social-learning). More precisely, we propose a continuous version of strategy update rules, by introducing the willingness to cooperate W, to better capture the flexibility of decision making behavior. Importantly, the newly gained knowledge including self-learning and social learning is weighted by the parameter ω, establishing a strategy update rule involving innovative element. Moreover, we quantify the macroscopic features of the emerging patterns to inspect the underlying mechanisms of the evolutionary process using six cluster characteristics. In order to further support our results, we examine the time evolution course for these characteristics. Our results might provide insights for understanding cooperative behaviors and have several important implications for understanding how individuals adjust their strategies under real-life conditions.

  7. Parameter incremental learning algorithm for neural networks.

    PubMed

    Wan, Sheng; Banta, Larry E

    2006-11-01

    In this paper, a novel stochastic (or online) training algorithm for neural networks, named parameter incremental learning (PIL) algorithm, is proposed and developed. The main idea of the PIL strategy is that the learning algorithm should not only adapt to the newly presented input-output training pattern by adjusting parameters, but also preserve the prior results. A general PIL algorithm for feedforward neural networks is accordingly presented as the first-order approximate solution to an optimization problem, where the performance index is the combination of proper measures of preservation and adaptation. The PIL algorithms for the multilayer perceptron (MLP) are subsequently derived. Numerical studies show that for all the three benchmark problems used in this paper the PIL algorithm for MLP is measurably superior to the standard online backpropagation (BP) algorithm and the stochastic diagonal Levenberg-Marquardt (SDLM) algorithm in terms of the convergence speed and accuracy. Other appealing features of the PIL algorithm are that it is computationally as simple as the BP algorithm, and as easy to use as the BP algorithm. It, therefore, can be applied, with better performance, to any situations where the standard online BP algorithm is applicable. PMID:17131658

  8. X-31 Engine Fit Check

    NASA Technical Reports Server (NTRS)

    1998-01-01

    X-31 team members perform an engine fit check on the X-31 Enhanced Fighter Maneuverability demonstrator aircraft in a hangar at the Dryden Flight Research Center, Edwards, California. The X-31 Enhanced Fighter Maneuverability (EFM) demonstrator flew at the Ames- Dryden Flight Research Facility, Edwards, California (redesignated the Dryden Flight Research Center in 1994) from February 1992 until 1995 and before that at the Air Force's Plant 42 in Palmdale, California. The goal of the project was to provide design information for the next generation of highly maneuverable fighter aircraft. This program demonstrated the value of using thrust vectoring (directing engine exhaust flow) coupled with an advanced flight control system to provide controlled flight to very high angles of attack. The result was a significant advantage over most conventional fighters in close-in combat situations. The X-31 flight program focused on agile flight within the post-stall regime, producing technical data to give aircraft designers a better understanding of aerodynamics, effectiveness of flight controls and thrust vectoring, and airflow phenomena at high angles of attack. Stall is a condition of an airplane or an airfoil in which lift decreases and drag increases due to the separation of airflow. Thrust vectoring compensates for the loss of control through normal aerodynamic surfaces that occurs during a stall. Post-stall refers to flying beyond the normal stall angle of attack, which in the X-31 was at a 30-degree angle of attack. During Dryden flight testing, the X-31 aircraft established several milestones. On November 6, 1992, the X-31 achieved controlled flight at a 70-degree angle of attack. On April 29, 1993, the second X-31 successfully executed a rapid minimum-radius, 180-degree turn using a post-stall maneuver, flying well beyond the aerodynamic limits of any conventional aircraft. This revolutionary maneuver has been called the 'Herbst Maneuver' after Wolfgang Herbst, a

  9. Dynamic Bubble-Check Algorithm for Check Node Processing in Q-Ary LDPC Decoders

    NASA Astrophysics Data System (ADS)

    Lin, Wei; Bai, Baoming; Ma, Xiao; Sun, Rong

    A simplified algorithm for check node processing of extended min-sum (EMS) q-ary LDPC decoders is presented in this letter. Compared with the bubble check algorithm, the so-called dynamic bubble-check (DBC) algorithm aims to further reduce the computational complexity for the elementary check node (ECN) processing. By introducing two flag vectors in ECN processing, The DBC algorithm can use the minimum number of comparisons at each step. Simulation results show that, DBC algorithm uses significantly fewer comparison operations than the bubble check algorithm, and presents no performance loss compared with standard EMS algorithm on AWGN channels.

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

  11. Why your practice must do background checks.

    PubMed

    Zupko, Karen

    2007-01-01

    Hiring qualified staff is critical for a medical practice. As many physicians have discovered, taking applicants' resumes on faith can be a mistake. Background company searches show that one in three applicants provide false, inaccurate, misleading, or incomplete information. Fake degrees, false licenses and certifications, and criminal histories are a few of the problems that a proper background check can reveal. This article describes further why background checks are essential, how to incorporate a background check into your hiring process, and some of the legalities involved in the process. PMID:17494489

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

  13. A design of LED adaptive dimming lighting system based on incremental PID controller

    NASA Astrophysics Data System (ADS)

    He, Xiangyan; Xiao, Zexin; He, Shaojia

    2010-11-01

    As a new generation energy-saving lighting source, LED is applied widely in various technology and industry fields. The requirement of its adaptive lighting technology is more and more rigorous, especially in the automatic on-line detecting system. In this paper, a closed loop feedback LED adaptive dimming lighting system based on incremental PID controller is designed, which consists of MEGA16 chip as a Micro-controller Unit (MCU), the ambient light sensor BH1750 chip with Inter-Integrated Circuit (I2C), and constant-current driving circuit. A given value of light intensity required for the on-line detecting environment need to be saved to the register of MCU. The optical intensity, detected by BH1750 chip in real time, is converted to digital signal by AD converter of the BH1750 chip, and then transmitted to MEGA16 chip through I2C serial bus. Since the variation law of light intensity in the on-line detecting environment is usually not easy to be established, incremental Proportional-Integral-Differential (PID) algorithm is applied in this system. Control variable obtained by the incremental PID determines duty cycle of Pulse-Width Modulation (PWM). Consequently, LED's forward current is adjusted by PWM, and the luminous intensity of the detection environment is stabilized by self-adaptation. The coefficients of incremental PID are obtained respectively after experiments. Compared with the traditional LED dimming system, it has advantages of anti-interference, simple construction, fast response, and high stability by the use of incremental PID algorithm and BH1750 chip with I2C serial bus. Therefore, it is suitable for the adaptive on-line detecting applications.

  14. Teachers' Preferences toward Alternate Systems of Salary Increment.

    ERIC Educational Resources Information Center

    Bogie, Cheryl E.; Bogie, Donald W.

    1978-01-01

    Elementary teachers from three different urban socioeconomic neighborhoods were surveyed regarding their preferences toward uniform vs competency-based systems of salary increment; the relationship between selected characteristics of teachers and principals and teachers' attitudes toward alternate forms of salary increment were also investigated.…

  15. 17 CFR 242.612 - Minimum pricing increment.

    Code of Federal Regulations, 2014 CFR

    2014-04-01

    ... 17 Commodity and Securities Exchanges 4 2014-04-01 2014-04-01 false Minimum pricing increment. 242.612 Section 242.612 Commodity and Securities Exchanges SECURITIES AND EXCHANGE COMMISSION (CONTINUED...-Regulation of the National Market System § 242.612 Minimum pricing increment. (a) No national...

  16. 17 CFR 242.612 - Minimum pricing increment.

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ... 17 Commodity and Securities Exchanges 3 2010-04-01 2010-04-01 false Minimum pricing increment. 242.612 Section 242.612 Commodity and Securities Exchanges SECURITIES AND EXCHANGE COMMISSION (CONTINUED...-Regulation of the National Market System § 242.612 Minimum pricing increment. (a) No national...

  17. 17 CFR 242.612 - Minimum pricing increment.

    Code of Federal Regulations, 2012 CFR

    2012-04-01

    ... 17 Commodity and Securities Exchanges 3 2012-04-01 2012-04-01 false Minimum pricing increment. 242.612 Section 242.612 Commodity and Securities Exchanges SECURITIES AND EXCHANGE COMMISSION (CONTINUED...-Regulation of the National Market System § 242.612 Minimum pricing increment. (a) No national...

  18. 17 CFR 242.612 - Minimum pricing increment.

    Code of Federal Regulations, 2011 CFR

    2011-04-01

    ... 17 Commodity and Securities Exchanges 3 2011-04-01 2011-04-01 false Minimum pricing increment. 242.612 Section 242.612 Commodity and Securities Exchanges SECURITIES AND EXCHANGE COMMISSION (CONTINUED...-Regulation of the National Market System § 242.612 Minimum pricing increment. (a) No national...

  19. 17 CFR 242.612 - Minimum pricing increment.

    Code of Federal Regulations, 2013 CFR

    2013-04-01

    ... 17 Commodity and Securities Exchanges 3 2013-04-01 2013-04-01 false Minimum pricing increment. 242.612 Section 242.612 Commodity and Securities Exchanges SECURITIES AND EXCHANGE COMMISSION (CONTINUED...-Regulation of the National Market System § 242.612 Minimum pricing increment. (a) No national...

  20. Incremental Seismic Rehabilitation of School Buildings (K-12).

    ERIC Educational Resources Information Center

    Krimgold, Frederick; Hattis, David; Green, Melvyn

    Asserting that the strategy of incremental seismic rehabilitation makes it possible for schools to get started now on improving earthquake safety, this manual provides school administrators with the information necessary to assess the seismic vulnerability of their buildings and to implement a program of incremental seismic rehabilitation for…

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

  2. Power-law confusion: You say incremental, I say differential

    NASA Technical Reports Server (NTRS)

    Colwell, Joshua E.

    1993-01-01

    Power-law distributions are commonly used to describe the frequency of occurrences of crater diameters, stellar masses, ring particle sizes, planetesimal sizes, and meteoroid masses to name a few. The distributions are simple, and this simplicity has led to a number of misstatements in the literature about the kind of power-law that is being used: differential, cumulative, or incremental. Although differential and cumulative power-laws are mathematically trivial, it is a hybrid incremental distribution that is often used and the relationship between the incremental distribution and the differential or cumulative distributions is not trivial. In many cases the slope of an incremental power-law will be nearly identical to the slope of the cumulative power-law of the same distribution, not the differential slope. The discussion that follows argues for a consistent usage of these terms and against the oft-made implicit claim that incremental and differential distributions are indistinguishable.

  3. Determining the Optimum Number of Increments in Composite Sampling

    SciTech Connect

    Hathaway, John E.; Schaalje, G Bruce; Gilbert, Richard O.; Pulsipher, Brent A.; Matzke, Brett D.

    2008-09-30

    Composite sampling can be more cost effective than simple random sampling. This paper considers how to determine the optimum number of increments to use in composite sampling. Composite sampling can be more cost effective than simple random sampling. This paper considers how to determine the optimum number of increments to use in composite sampling. Composite sampling terminology and theory are outlined and a method is developed which accounts for different sources of variation in compositing and data analysis. This method is used to define and understand the process of determining the optimum number of increments that should be used in forming a composite. The blending variance is shown to have a smaller range of possible values than previously reported when estimating the number of increments in a composite sample. Accounting for differing levels of the blending variance significantly affects the estimated number of increments.

  4. Immune Check Point Inhibitors Combination in Melanoma: Worth the Toxicity?

    PubMed

    Orloff, Marlana; Weight, Ryan; Valsecchi, Matias E; Sato, Takami

    2016-01-01

    The combination of immune checkpoint inhibitors ipilimumab and nivolumab has been recently been FDA approved for first line treatment of unresectable and metastatic BRAF wild type melanoma. The approval came following the impressive results of the CheckMate 067, where the combination of ipilimumab and nivolumab appeared to outperform each as a single agent in regards to response rate and progression free survival. Though we await final overall survival data, the combination will likely be adapted by many oncologists and integrated into the ever changing melanoma treatment algorithm. In this article we aim to summarize the data leading up to the recent FDA approval and publication by Larkin et al. that presents the results from the CheckMate 067 trial. We will also further explore the feasibility, challenges, and applicability of combination immune checkpoint inhibitor therapy. PMID:27028970

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

  6. Computational Fact Checking from Knowledge Networks.

    PubMed

    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

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

  8. For Better Skin Cancer Checks, Partner Up

    MedlinePlus

    ... gov/medlineplus/news/fullstory_159632.html For Better Skin Cancer Checks, Partner Up Melanoma survivors benefited when ... out: Getting a partner trained to spot potential skin cancers can be a lifesaver for melanoma survivors, ...

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

  10. For Better Skin Cancer Checks, Partner Up

    MedlinePlus

    ... 159632.html For Better Skin Cancer Checks, Partner Up Melanoma survivors benefited when they and a loved ... the researchers explained. During two years of follow-up, 66 of the patients did go on to ...

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

  12. Very fast recognition of GIRO check forms

    NASA Astrophysics Data System (ADS)

    Minh Ha, Thien; Bunke, Horst

    1993-04-01

    Check forms are used by many people in daily life for money remittance. Surprisingly, the processing of these forms at banks and post offices is only partly automated. In this paper, we deal with a particular kind of form, viz., the GIRO checks used in Switzerland. We describe a fully automatic system which is able to recognize the following items on a GIRO check: the financial institution, the name and address of the receiver, and the account number. The complete recognition of a GIRO check is divided into two phases. In the first phase, the system performs a layout analysis in order to localize regions corresponding to various items on the check. The input gray-level image is first binarized and segmented using the X-Y-tree decomposition algorithm resulting in a list of atomic entities (e.g., individual characters). Each entity is then interpreted as part of an item (e.g., receiver's name), according to the knowledge about possible layouts of a form. All atomic entities belonging to the same item are grouped together and yield the location of that item. In the second phase, the localized items are separately binarized again and submitted to an OCR engine to obtain streams of characters that correspond to the items. We have tested the system on a large number of checks and the results are promising in terms of both computation time and recognition accuracy.

  13. 31 CFR 235.4 - Check Forgery Insurance Fund.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... 31 Money and Finance: Treasury 2 2010-07-01 2010-07-01 false Check Forgery Insurance Fund. 235.4... SERVICE, DEPARTMENT OF THE TREASURY FINANCIAL MANAGEMENT SERVICE ISSUANCE OF SETTLEMENT CHECKS FOR FORGED CHECKS DRAWN ON DESIGNATED DEPOSITARIES § 235.4 Check Forgery Insurance Fund. The Check Forgery...

  14. Design and Testing of Vacuum Breaker Check Valve for Simplified Boiling Water Reactor

    SciTech Connect

    Ishii, M.; Xu, Y.; Revankar, S.T.

    2002-07-01

    A new design of the vacuum breaker check valve was developed to replace the mechanical valve in a simplified boiling water reactor. Scaling and design calculations were performed to obtain the geometry of new passive hydraulic vacuum breaker check valve. In order to check the valve performance, a RELAP5 model of the simplified boiling water reactor system with the new valve was developed. The valve was implemented in an integral facility, PUMA and was tested for large break loss of coolant accident. (authors)

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

  16. VIEWCACHE: An incremental database access method for autonomous interoperable databases

    NASA Technical Reports Server (NTRS)

    Roussopoulos, Nick; Sellis, Timoleon

    1991-01-01

    The objective is to illustrate the concept of incremental access to distributed databases. An experimental database management system, ADMS, which has been developed at the University of Maryland, in College Park, uses VIEWCACHE, a database access method based on incremental search. VIEWCACHE is a pointer-based access method that provides a uniform interface for accessing distributed databases and catalogues. The compactness of the pointer structures formed during database browsing and the incremental access method allow the user to search and do inter-database cross-referencing with no actual data movement between database sites. Once the search is complete, the set of collected pointers pointing to the desired data are dereferenced.

  17. 40 CFR 86.328-79 - Leak checks.

    Code of Federal Regulations, 2012 CFR

    2012-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 86.328-79 - Leak checks.

    Code of Federal Regulations, 2010 CFR

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

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

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

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

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

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

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

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

  6. a New Approach for AN Incremental Orientation of Micro-Uav Image Sequences

    NASA Astrophysics Data System (ADS)

    Reich, M.; Unger, J.; Rottensteiner, F.; Heipke, C.

    2014-03-01

    Civil applications for small size unmanned aerial vehicles (UAV) have become quite important in recent years and so have accurate orientation and navigation of these devices in unknown terrain. In this work we focus on on-line compatible positioning in facade observation based on monocular low resolution still images acquired by a camera mounted on a UAV. Also, a 3D point cloud of the facade is generated. This allows further processing steps, e.g. navigation assistance, collision avoidance or the evaluation of the point cloud density, verifying completeness of the data. To be able to deal with the increasing amount of observations and unknown parameters we implement an incremental bundle adjustment based on automatically determined tie points and sliding image triplets. The tripletwise orientation allows for an efficient double cross-check of the detected feature points and hence guarantees reliable initial values for the nonlinear bundle adjustment. The initial values are estimated within a convex formulation delivering a sound basis for the incremental adjustment. Our algorithm is evaluated by means of imagery we took of the facade of the Welfenschloss in Hannover, captured from a manually flown Microdrones md4-200 micro-UAV.We compare the orientation results of our approach with an approach in which initial values for the unknown object coordinates are computed algebraically.

  7. Correctness of Sensor Network Applications by Software Bounded Model Checking

    NASA Astrophysics Data System (ADS)

    Werner, Frank; Faragó, David

    We investigate the application of the software bounded model checking tool CBMC to the domain of wireless sensor networks (WSNs). We automatically generate a software behavior model from a network protocol (ESAWN) implementation in a WSN development and deployment platform (TinyOS), which is used to rigorously verify the protocol. Our work is a proof of concept that automatic verification of programs of practical size (≈ 21 000 LoC) and complexity is possible with CBMC and can be integrated into TinyOS. The developer can automatically check for pointer dereference and array index out of bound errors. She can also check additional, e.g., functional, properties that she provides by assume- and assert-statements. This experience paper shows that our approach is in general feasible since we managed to verify about half of the properties. We made the verification process scalable in the size of the code by abstraction (eg, from hardware) and by simplification heuristics. The latter also achieved scalability in data type complexity for the properties that were verifiable. The others require technical advancements for complex data types within CBMC's core.

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

  9. Severe hypoxia during incremental exercise to exhaustion provokes negative post-exercise affects.

    PubMed

    Keramidas, Michail E; Stavrou, Nektarios A M; Kounalakis, Stylianos N; Eiken, Ola; Mekjavic, Igor B

    2016-03-15

    The post-exercise emotional response is mainly dependent on the intensity of the exercise performed; moderate exercise causes positive feelings, whereas maximal exercise may prompt negative affects. Acute hypoxia impairs peak O2 uptake (V̇O2peak), resulting in a shift to a lower absolute intensity at the point of exhaustion. Hence, the purpose of the study was to examine whether a severe hypoxic stimulus would influence the post-exercise affective state in healthy lowlanders performing an incremental exercise to exhaustion. Thirty-six male lowlanders performed, in a counter-balanced order and separated by a 48-h interval, two incremental exercise trials to exhaustion to determine their V̇O2peak, while they were breathing either room air (AIR; FiO2: 0.21), or a hypoxic gas mixture (HYPO; FiO2: 0.12). Before and immediately after each trial, subjects were requested to complete two questionnaires, based on how they felt at that particular moment: (i) the Profile of Mood States-Short Form, and (ii) the Activation Deactivation Adjective Check List. During the post-exercise phase, they also completed the Multidimensional Fatigue Inventory. V̇O2peak was significantly lower in the HYPO than the AIR trial (~15%; p<0.001). Still, after the HYPO trial, energy, calmness and motivation were markedly impaired, whereas tension, confusion, and perception of physical and general fatigue were exaggerated (p≤0.05). Accordingly, present findings suggest that an incremental exercise to exhaustion performed in severe hypoxia provokes negative post-exercise emotions, induces higher levels of perceived fatigue and decreases motivation; the affective responses coincide with the comparatively lower V̇O2peak than that achieved in normoxic conditions. PMID:26802281

  10. An Examination of an Incremental Approach to Mathematics.

    ERIC Educational Resources Information Center

    Klingele, William E.; Reed, Beverly Woods

    1984-01-01

    A study of approximately 600 University of Arkansas remedial algebra students divided into seven control and seven experimental group sections substantially confirms John Saxon's findings that mathematics achievement can be improved by using Saxon's incremental approach to mathematics instruction. (JBM)