210 research outputs found

    Experimental Evaluation of a Low Emissions High Performance Duct Burner for Variable Cycle Engines (VCE)

    Get PDF
    An evaluation was conducted with a three stage Vorbix duct burner to determine the performance and emissions characteristics of the concept and to refine the configuration to provide acceptable durability and operational characteristics for its use in the variable cycle engine (VCE) testbed program. The tests were conducted at representative takeoff, transonic climb, and supersonic cruise inlet conditions for the VSCE-502B study engine. The test stand, the emissions sampling and analysis equipment, and the supporting flow visualization rigs are described. The performance parameters including the fuel-air ratio, the combustion efficiency/exit temperature, thrust efficiency, and gaseous emissions calculations are defined. The test procedures are reviewed and the results are discussed

    Robustness against Power is PSPACE-complete

    Full text link
    Power is a RISC architecture developed by IBM, Freescale, and several other companies and implemented in a series of POWER processors. The architecture features a relaxed memory model providing very weak guarantees with respect to the ordering and atomicity of memory accesses. Due to these weaknesses, some programs that are correct under sequential consistency (SC) show undesirable effects when run under Power. We call these programs not robust against the Power memory model. Formally, a program is robust if every computation under Power has the same data and control dependencies as some SC computation. Our contribution is a decision procedure for robustness of concurrent programs against the Power memory model. It is based on three ideas. First, we reformulate robustness in terms of the acyclicity of a happens-before relation. Second, we prove that among the computations with cyclic happens-before relation there is one in a certain normal form. Finally, we reduce the existence of such a normal-form computation to a language emptiness problem. Altogether, this yields a PSPACE algorithm for checking robustness against Power. We complement it by a matching lower bound to show PSPACE-completeness

    A wide-spectrum language for verification of programs on weak memory models

    Full text link
    Modern processors deploy a variety of weak memory models, which for efficiency reasons may (appear to) execute instructions in an order different to that specified by the program text. The consequences of instruction reordering can be complex and subtle, and can impact on ensuring correctness. Previous work on the semantics of weak memory models has focussed on the behaviour of assembler-level programs. In this paper we utilise that work to extract some general principles underlying instruction reordering, and apply those principles to a wide-spectrum language encompassing abstract data types as well as low-level assembler code. The goal is to support reasoning about implementations of data structures for modern processors with respect to an abstract specification. Specifically, we define an operational semantics, from which we derive some properties of program refinement, and encode the semantics in the rewriting engine Maude as a model-checking tool. The tool is used to validate the semantics against the behaviour of a set of litmus tests (small assembler programs) run on hardware, and also to model check implementations of data structures from the literature against their abstract specifications

    Pervasive and intelligent decision support in Intensive Medicine – the complete picture

    Get PDF
    Series : Lecture notes in computer science (LNCS), vol. 8649In the Intensive Care Units (ICU) it is notorious the high number of data sources available. This situation brings more complexity to the way of how a professional makes a decision based on information provided by those data sources. Normally, the decisions are based on empirical knowledge and common sense. Often, they don’t make use of the information provided by the ICU data sources, due to the difficulty in understanding them. To overcome these constraints an integrated and pervasive system called INTCare has been deployed. This paper is focused in presenting the system architecture and the knowledge obtained by each one of the decision modules: Patient Vital Signs, Critical Events, ICU Medical Scores and Ensemble Data Mining. This system is able to make hourly predictions in terms of organ failure and outcome. High values of sensitivity where reached, e.g. 97.95% for the cardiovascular system, 99.77% for the outcome. In addition, the system is prepared for tracking patients’ critical events and for evaluating medical scores automatically and in real-time.(undefined

    Evaluation of andrological indices and testicular histology following administration of varied doses of nicotine

    Get PDF
    This study is aimed at determining the effect of Nicotine on male fertility by evaluating some andrological parameters of male Wistar rat such as sperm parameters (spermatozoa count and motility), serum concentration of testosterone and testicular weight. Histopathology of the testis was also carried out on the effect of nicotine on testicular microstructure. 20 adult male rats were randomly divided into four groups, the test groups were administered with 0.2mg/100g, 0.4/100g and 0.6/100g body weight daily for 30 days while the control were administered with 2mls 0.9% physiological saline. Nicotine caused a significant reduction (P < 0.05) and (P< 0.01) in the mean values of sperm count, serum testosterone concentration and testicular weight in the test when compared with the control. Also, in the test group, the deleterious effect of nicotine on the sperm parameters and testosterone concentration was corroborated by histopathology which revealed a marked degeneration of germ cell layers in the seminiferous tubule and disruption of interstitial cells of the testis thereby interfering with spermatogenesis and testosterone secretion while there was no visible change in the control group. It was concluded that nicotine exerted toxic effect on the germ cell layers in seminiferous tubule with concomitant reduction in reproductive potentials of the male rat whilst showing no significant change in sperm motility. Nicotine and nicotine based products should therefore be taken with caution in cases of infertility. Key words: germ cells, testes, testosterone, fertility, spermatogenesis

    Physiological Correlates of Endurance Time Variability during Constant-Workrate Cycling Exercise in Patients with COPD

    Get PDF
    RATIONALE: The endurance time (T(end)) during constant-workrate cycling exercise (CET) is highly variable in COPD. We investigated pulmonary and physiological variables that may contribute to these variations in T(end). METHODS: Ninety-two patients with COPD completed a CET performed at 80% of peak workrate capacity (W(peak)). Patients were divided into tertiles of T(end) [Group 1: <4 min; Group 2: 4-6 min; Group 3: >6 min]. Disease severity (FEV(1)), aerobic fitness (W(peak), peak oxygen consumption [VO2(peak)], ventilatory threshold [VO2(VT)]), quadriceps strength (MVC), symptom scores at the end of CET and exercise intensity during CET (heart rate at the end of CET to heart rate at peak incremental exercise ratio [HR(CET)/HR(peak)]) were analyzed as potential variables influencing T(end). RESULTS: W(peak), VO2(peak), VO2(VT), MVC, leg fatigue at end of CET, and HR(CET)/HR(peak) were lower in group 1 than in group 2 or 3 (p≤0.05). VO2(VT) and leg fatigue at end of CET independently predicted T(end) in multiple regression analysis (r = 0.50, p = 0.001). CONCLUSION: T(end) was independently related to the aerobic fitness and to tolerance to leg fatigue at the end of exercise. A large fraction of the variability in T(end) was not explained by the physiological parameters assessed in the present study. Individualization of exercise intensity during CET should help in reducing variations in T(end) among patients with COPD

    Heterogeneity in Preferences towards Complexity

    Get PDF
    We analyze lottery-choice data in a way that separately estimates the effects of risk aversion and complexity aversion. Complexity is represented by the number of different outcomes in the lottery. A finite mixture random effects model is estimated which assumes that a proportion of the population are complexity-neutral. We find that around 33% of the population are complexity-neutral, around 50% complexity-averse, and the remaining 17% are complexity-loving. Subjects who do react to complexity appear to have a bias towards complexity aversion at the start of the experiment, but complexity aversion reduces with experience, to the extent that the average subject is (almost) complexity-neutral by the end of the experiment. Complexity aversion is found to increase with age and to be higher for non-UK students than for UK students. We also find some evidence that, when evaluating complex lotteries, subjects perceive probabilities in accordance with Prospective Reference Theory

    Abdominal muscle fatigue following exercise in chronic obstructive pulmonary disease

    Get PDF
    <p>Abstract</p> <p>Background</p> <p>In patients with chronic obstructive pulmonary disease, a restriction on maximum ventilatory capacity contributes to exercise limitation. It has been demonstrated that the diaphragm in COPD is relatively protected from fatigue during exercise. Because of expiratory flow limitation the abdominal muscles are activated early during exercise in COPD. This adds significantly to the work of breathing and may therefore contribute to exercise limitation. In healthy subjects, prior expiratory muscle fatigue has been shown itself to contribute to the development of quadriceps fatigue. It is not known whether fatigue of the abdominal muscles occurs during exercise in COPD.</p> <p>Methods</p> <p>Twitch gastric pressure (TwT10Pga), elicited by magnetic stimulation over the 10<sup>th </sup>thoracic vertebra and twitch transdiaphragmatic pressure (TwPdi), elicited by bilateral anterolateral magnetic phrenic nerve stimulation were measured before and after symptom-limited, incremental cycle ergometry in patients with COPD.</p> <p>Results</p> <p>Twenty-three COPD patients, with a mean (SD) FEV<sub>1 </sub>40.8(23.1)% predicted, achieved a mean peak workload of 53.5(15.9) W. Following exercise, TwT<sub>10</sub>Pga fell from 51.3(27.1) cmH<sub>2</sub>O to 47.4(25.2) cmH<sub>2</sub>O (p = 0.011). TwPdi did not change significantly; pre 17.0(6.4) cmH<sub>2</sub>O post 17.5(5.9) cmH<sub>2</sub>O (p = 0.7). Fatiguers, defined as having a fall TwT10Pga ≥ 10% had significantly worse lung gas transfer, but did not differ in other exercise parameters.</p> <p>Conclusions</p> <p>In patients with COPD, abdominal muscle but not diaphragm fatigue develops following symptom limited incremental cycle ergometry. Further work is needed to establish whether abdominal muscle fatigue is relevant to exercise limitation in COPD, perhaps indirectly through an effect on quadriceps fatigability.</p

    Validation of the Work Observation Method By Activity Timing (WOMBAT) method of conducting time-motion observations in critical care settings: an observational study

    Get PDF
    <p>Abstract</p> <p>Background</p> <p>Electronic documentation handling may facilitate information flows in health care settings to support better coordination of care among Health Care Providers (HCPs), but evidence is limited. Methods that accurately depict changes to the workflows of HCPs are needed to assess whether the introduction of a Critical Care clinical Information System (CCIS) to two Intensive Care Units (ICUs) represents a positive step for patient care. To evaluate a previously described method of quantifying amounts of time spent and interruptions encountered by HCPs working in two ICUs.</p> <p>Methods</p> <p>Observers used PDAs running the Work Observation Method By Activity Timing (WOMBAT) software to record the tasks performed by HCPs in advance of the introduction of a Critical Care clinical Information System (CCIS) to quantify amounts of time spent on tasks and interruptions encountered by HCPs in ICUs.</p> <p>Results</p> <p>We report the percentages of time spent on each task category, and the rates of interruptions observed for physicians, nurses, respiratory therapists, and unit clerks. Compared with previously published data from Australian hospital wards, interdisciplinary information sharing and communication in ICUs explain higher proportions of time spent on professional communication and documentation by nurses and physicians, as well as more frequent interruptions which are often followed by professional communication tasks.</p> <p>Conclusions</p> <p>Critical care workloads include requirements for timely information sharing and communication and explain the differences we observed between the two datasets. The data presented here further validate the WOMBAT method, and support plans to compare workflows before and after the introduction of electronic documentation methods in ICUs.</p

    Effect of acute hypoxia on respiratory muscle fatigue in healthy humans

    Get PDF
    <p>Abstract</p> <p>Background</p> <p>Greater diaphragm fatigue has been reported after hypoxic versus normoxic exercise, but whether this is due to increased ventilation and therefore work of breathing or reduced blood oxygenation per se remains unclear. Hence, we assessed the effect of different blood oxygenation level on isolated hyperpnoea-induced inspiratory and expiratory muscle fatigue.</p> <p>Methods</p> <p>Twelve healthy males performed three 15-min isocapnic hyperpnoea tests (85% of maximum voluntary ventilation with controlled breathing pattern) in normoxic, hypoxic (SpO<sub>2 </sub>= 80%) and hyperoxic (FiO<sub>2 </sub>= 0.60) conditions, in a random order. Before, immediately after and 30 min after hyperpnoea, transdiaphragmatic pressure (P<sub>di,tw </sub>) was measured during cervical magnetic stimulation to assess diaphragm contractility, and gastric pressure (P<sub>ga,tw </sub>) was measured during thoracic magnetic stimulation to assess abdominal muscle contractility. Two-way analysis of variance (time x condition) was used to compare hyperpnoea-induced respiratory muscle fatigue between conditions.</p> <p>Results</p> <p>Hypoxia enhanced hyperpnoea-induced P<sub>di,tw </sub>and P<sub>ga,tw </sub>reductions both immediately after hyperpnoea (P<sub>di,tw </sub>: normoxia -22 ± 7% vs hypoxia -34 ± 8% vs hyperoxia -21 ± 8%; P<sub>ga,tw </sub>: normoxia -17 ± 7% vs hypoxia -26 ± 10% vs hyperoxia -16 ± 11%; all <it>P </it>< 0.05) and after 30 min of recovery (P<sub>di,tw </sub>: normoxia -10 ± 7% vs hypoxia -16 ± 8% vs hyperoxia -8 ± 7%; P<sub>ga,tw </sub>: normoxia -13 ± 6% vs hypoxia -21 ± 9% vs hyperoxia -12 ± 12%; all <it>P </it>< 0.05). No significant difference in P<sub>di,tw </sub>or P<sub>ga,tw </sub>reductions was observed between normoxic and hyperoxic conditions. Also, heart rate and blood lactate concentration during hyperpnoea were higher in hypoxia compared to normoxia and hyperoxia.</p> <p>Conclusions</p> <p>These results demonstrate that hypoxia exacerbates both diaphragm and abdominal muscle fatigability. These results emphasize the potential role of respiratory muscle fatigue in exercise performance limitation under conditions coupling increased work of breathing and reduced O<sub>2 </sub>transport as during exercise in altitude or in hypoxemic patients.</p
    corecore