564 research outputs found

    Orbit transfer rocket engine integrated control and health monitoring system technology readiness assessment

    Get PDF
    The objectives of this task were to: (1) estimate the technology readiness of an integrated control and health monitoring (ICHM) system for the Aerojet 7500 lbF Orbit Transfer Vehicle engine preliminary design assuming space based operations; and (2) estimate the remaining cost to advance this technology to a NASA defined 'readiness level 6' by 1996 wherein the technology has been demonstrated with a system validation model in a simulated environment. The work was accomplished through the conduct of four subtasks. In subtask 1 the minimally required functions for the control and monitoring system was specified. The elements required to perform these functions were specified in Subtask 2. In Subtask 3, the technology readiness level of each element was assessed. Finally, in Subtask 4, the development cost and schedule requirements were estimated for bringing each element to 'readiness level 6'

    Four patients with a history of acute exacerbations of COPD: implementing the CHEST/Canadian Thoracic Society guidelines for preventing exacerbations

    Get PDF
    This work is licensed under a Creative Commons Attribution 4.0 International License. The images or other third party material in this article are included in the article’s Creative Commons license, unless indicated otherwise in the credit line; if the material is not included under the Creative Commons license, users will need to obtain permission from the license holder to reproduce the material. To view a copy of this license, visit http://creativecommons.org/licenses/ by/4.0

    Factor Varieties and Symbolic Computation

    Get PDF
    We propose an algebraization of classical and non-classical logics, based on factor varieties and decomposition operators. In particular, we provide a new method for determining whether a propositional formula is a tautology or a contradiction. This method can be autom-atized by defining a term rewriting system that enjoys confluence and strong normalization. This also suggests an original notion of logical gate and circuit, where propositional variables becomes logical gates and logical operations are implemented by substitution. Concerning formulas with quantifiers, we present a simple algorithm based on factor varieties for reducing first-order classical logic to equational logic. We achieve a completeness result for first-order classical logic without requiring any additional structure

    Rapidly-Dissolvable Microneedle Patches Via a Highly Scalable and Reproducible Soft Lithography Approach

    Get PDF
    Microneedle devices for transdermal drug delivery have recently become an attractive method to overcome the diffusion-limiting epidermis and effectively transport therapeutics to the body. Here, we demonstrate the fabrication of highly reproducible and completely dissolvable polymer microneedles on flexible water-soluble substrates. These biocompatible microneedles (made by using a soft lithography process known as PRINT) showed efficacy in piercing both murine and human skin samples and delivering a fluorescent drug surrogate to the tissue

    Mapping as a knowledge translation tool for Ontario Early Years Centres: views from data analysts and managers

    Get PDF
    <p>Abstract</p> <p>Background</p> <p>Local Ontario Early Years Centres (OEYCs) collect timely and relevant local data, but knowledge translation is needed for the data to be useful. Maps represent an ideal tool to interpret local data. While geographic information system (GIS) technology is available, it is less clear what users require from this technology for evidence-informed program planning. We highlight initial challenges and opportunities encountered in implementing a mapping innovation (software and managerial decision-support) as a knowledge translation strategy.</p> <p>Methods</p> <p>Using focus groups, individual interviews and interactive software development events, we taped and transcribed verbatim our interactions with nine OEYCs in Ontario, Canada. Research participants were composed of data analysts and their managers. Deductive analysis of the data was based on the Ottawa Model of Research Use, focusing on the innovation (the mapping tool and maps), the potential adopters, and the environment.</p> <p>Results</p> <p>Challenges associated with the innovation included preconceived perceptions of a steep learning curve with GIS software. Challenges related to the potential adopters included conflicting ideas about tool integration into the organization and difficulty with map interpretation. Lack of funds, lack of availability of accurate data, and unrealistic reporting requirements represent environmental challenges.</p> <p>Conclusion</p> <p>Despite the clear need for mapping software and maps, there remain several challenges to their effective implementation. Some can be modified, while other challenges might require attention at the systemic level. Future research is needed to identify barriers and facilitators related to using mapping software and maps for decision-making by other users, and to subsequently develop mapping best practices guidelines to assist community-based agencies in circumventing some challenges, and support information equity across a region.</p
    corecore