8,587 research outputs found

    Design of automatic startup and shutdown logic for a Brayton-cycle 2- to 15-kilowatt engine

    Get PDF
    The NASA Lewis Research Center is conducting a closed-Brayton-cycle power conversion system technology program in which a complete power system (engine) has been designed and demonstrated. This report discusses the design of automatic startup and shutdown logic circuits as a modification to the control system presently used in this demonstration engine. This modification was primarily intended to make starting the engine as simple and safe as possible and to allow the engine to be run unattended. In the modified configuration the engine is started by turning the control console power on and pushing the start button after preheating the gas loop. No other operator action is required to effect a complete startup. Shutdown, if one is required, is also effected by a simple stop button. The automatic startup and shutdown of the engine have been successfully and purposefully demonstrated more than 50 times at the Lewis Research Center during 10,000 hours of unattended operation. The net effect of this modification is an engine that can be safely started and stopped by relatively untrained personnel. The approach lends itself directly to remote unattended operation

    Emission of ionising radiation during spark discharge

    Get PDF
    Not availabl

    Multirelational Organization of Large-scale Social Networks in an Online World

    Full text link
    The capacity to collect fingerprints of individuals in online media has revolutionized the way researchers explore human society. Social systems can be seen as a non-linear superposition of a multitude of complex social networks, where nodes represent individuals and links capture a variety of different social relations. Much emphasis has been put on the network topology of social interactions, however, the multi-dimensional nature of these interactions has largely been ignored in empirical studies, mostly because of lack of data. Here, for the first time, we analyze a complete, multi-relational, large social network of a society consisting of the 300,000 odd players of a massive multiplayer online game. We extract networks of six different types of one-to-one interactions between the players. Three of them carry a positive connotation (friendship, communication, trade), three a negative (enmity, armed aggression, punishment). We first analyze these types of networks as separate entities and find that negative interactions differ from positive interactions by their lower reciprocity, weaker clustering and fatter-tail degree distribution. We then proceed to explore how the inter-dependence of different network types determines the organization of the social system. In particular we study correlations and overlap between different types of links and demonstrate the tendency of individuals to play different roles in different networks. As a demonstration of the power of the approach we present the first empirical large-scale verification of the long-standing structural balance theory, by focusing on the specific multiplex network of friendship and enmity relations.Comment: 7 pages, 5 figures, accepted for publication in PNA

    Curvature-induced stiffening of a fish fin

    Get PDF
    How fish modulate their fin stiffness during locomotive manoeuvres remains unknown. We show that changing the fin's curvature modulates its stiffness. Modelling the fin as bendable bony rays held together by a membrane, we deduce that fin curvature is manifested as a misalignment of the principal bending axes between neighbouring rays. An external force causes neighbouring rays to bend and splay apart, and thus stretches the membrane. This coupling between bending the rays and stretching the membrane underlies the increase in stiffness. Using analysis of a 3D reconstruction of a Mackerel (Scomber japonicus) pectoral fin, we calculate the range of stiffnesses this fin is expected to span by changing curvature. The 3D reconstruction shows that, even in its geometrically flat state, a functional curvature is embedded within the fin microstructure owing to the morphology of individual rays. Since the ability of a propulsive surface to transmit force to the surrounding fluid is limited by its stiffness, the fin curvature controls the coupling between the fish and its surrounding fluid. Thereby, our results provide mechanical underpinnings and morphological predictions for the hypothesis that the spanned range of fin stiffnesses correlates with the behaviour and the ecological niche of the fish

    The effectiveness of implementation in Indigenous Australian healthcare: An overview of literature reviews

    Get PDF
    © 2016 McCalman et al. Background: Effective implementation can maximise the beneficial impacts of health services. It is therefore important to review implementation in the context of Indigenous populations, who suffer some of the greatest disadvantage within developed countries. This paper analyses Aboriginal and Torres Strait Islander (hereafter Indigenous) Australian health implementation reviews to examine the research question: What is the effectiveness of implementation, as reported in the Indigenous Australian health implementation literature? Methods: Eight databases were systematically searched to find reviews of Indigenous Australian health services and/or programs where implementation was the focus. Search terms included Aborigin∗OR Indigen∗OR Torres AND health AND service OR program∗OR intervention AND implementation (or like terms) AND Australia AND review. Review findings were analysed through the lens of the PARiHS framework which theorises that successful implementation occurs through the interplay of evidence, context and facilitation. The review followed Cochrane methods but was not registered. Results: Six reviews were found; these encompassed 107 studies that considered health service/program implementation. Included studies described many health services implemented across Australia as not underpinned by rigorous impact evaluation; nevertheless implementers tended to prefer evidence-based interventions. Effective implementation was supported by clearly defined management systems, employment of Indigenous health workers as leaders, community control, partnerships, tailoring for diverse places and settings; and active facilitation methods. Short-term funding meant most studies focused on implementation in one site through pilot initiatives. Only two mentioned cost effectiveness. Indigenous Australian studies incorporated two elements not included in the PARiHS reference guide: the value of community control and equity of service provision across sites. Conclusions: Comparison of the Indigenous Australian review findings against the PARiHS reference guide elements suggested a fledgling but growing state of Indigenous implementation research, and considerable scope to improve the effectiveness of implementation. Further research is required to explore Indigenous people's understandings of what is important in healthcare implementation; particularly in relation to the value of community control and equity issues

    A principled approach to programming with nested types in Haskell

    Get PDF
    Initial algebra semantics is one of the cornerstones of the theory of modern functional programming languages. For each inductive data type, it provides a Church encoding for that type, a build combinator which constructs data of that type, a fold combinator which encapsulates structured recursion over data of that type, and a fold/build rule which optimises modular programs by eliminating from them data constructed using the buildcombinator, and immediately consumed using the foldcombinator, for that type. It has long been thought that initial algebra semantics is not expressive enough to provide a similar foundation for programming with nested types in Haskell. Specifically, the standard folds derived from initial algebra semantics have been considered too weak to capture commonly occurring patterns of recursion over data of nested types in Haskell, and no build combinators or fold/build rules have until now been defined for nested types. This paper shows that standard folds are, in fact, sufficiently expressive for programming with nested types in Haskell. It also defines buildcombinators and fold/build fusion rules for nested types. It thus shows how initial algebra semantics provides a principled, expressive, and elegant foundation for programming with nested types in Haskell

    A definite clause grammatical inversion of extended Montague semantics

    Get PDF
    corecore