132 research outputs found

    Active Fluid Borne Noise Reduction for Aviation Hydraulic Pumps

    Get PDF
    The aviation environment holds challenging application constraints for efficient hydraulic system noise reduction devices. Besides strong limits on component weight and size, high safety and reliability standards demand simple solutions. Hence, basic silencers like inline expansion chambers and Helmholtz-Resonators are state-of-the-art aboard commercial aircrafts. Unfortunately, they do not meet today’s noise attenuation aims regarding passenger comfort and equipment durability. Significant attenuation performance is expected from active concepts that generate anti-phase noise. However, such concepts remain a long term approach unless related costs, e.g. due to additional power allocation and real-time control equipment can be avoided. In this paper an active fluid borne noise attenuation concept is discussed that accounts for the mentioned constraints. An aircraft hydraulic pump is considered as main noise source. The active attenuator is an in-house rotary valve design. The basic feature is a known direct shaft coupling principle of pump and rotary valve, so no speed/ frequency control of the valve and no separate power supply are required. The common-shaft principle is further simplified here and proposed as integral feature of future “smart pumps”

    Substitution, jumps, and algebraic effects

    Get PDF
    Contains fulltext : 129931.pdf (author's version ) (Open Access

    Operational semantics for signal handling

    Full text link
    Signals are a lightweight form of interprocess communication in Unix. When a process receives a signal, the control flow is interrupted and a previously installed signal handler is run. Signal handling is reminiscent both of exception handling and concurrent interleaving of processes. In this paper, we investigate different approaches to formalizing signal handling in operational semantics, and compare them in a series of examples. We find the big-step style of operational semantics to be well suited to modelling signal handling. We integrate exception handling with our big-step semantics of signal handling, by adopting the exception convention as defined in the Definition of Standard ML. The semantics needs to capture the complex interactions between signal handling and exception handling.Comment: In Proceedings EXPRESS/SOS 2012, arXiv:1208.244

    Continuation-Passing C: compiling threads to events through continuations

    Get PDF
    In this paper, we introduce Continuation Passing C (CPC), a programming language for concurrent systems in which native and cooperative threads are unified and presented to the programmer as a single abstraction. The CPC compiler uses a compilation technique, based on the CPS transform, that yields efficient code and an extremely lightweight representation for contexts. We provide a proof of the correctness of our compilation scheme. We show in particular that lambda-lifting, a common compilation technique for functional languages, is also correct in an imperative language like C, under some conditions enforced by the CPC compiler. The current CPC compiler is mature enough to write substantial programs such as Hekate, a highly concurrent BitTorrent seeder. Our benchmark results show that CPC is as efficient, while using significantly less space, as the most efficient thread libraries available.Comment: Higher-Order and Symbolic Computation (2012). arXiv admin note: substantial text overlap with arXiv:1202.324

    Ready-to-eat cereals improve nutrient, milk and fruit intake at breakfast in European adolescents

    Get PDF
    Purpose: Breakfast consumption has been recommended as part of a healthy diet. Recently, ready-to-eat cereals (RTEC) became more popular as a breakfast item. Our aim was to analyse the dietary characteristics of an RTEC breakfast in European adolescents and to compare them with other breakfast options.Methods: From the European multi-centre HELENA study, two 24-h dietary recalls of 3137 adolescents were available. Food items (RTEC or bread, milk/yoghurt, fruit) and macro- and micronutrient intakes at breakfast were calculated. Cross-sectional regression analyses were adjusted for gender, age, socio-economic status and city. Results: Compared to bread breakfasts (39 %) and all other breakfasts (41.5 %), RTEC breakfast (19.5 %) was associated with improved nutrient intake (less fat and less sucrose//more fibre, protein and some micronutrients like vitamin B, calcium, magnesium and phosphorus) at the breakfast occasion. Exceptions were more simple sugars in RTEC breakfast consumers: more lactose and galactose due to increased milk consumption, but also higher glucose and fructose than bread consumers. RTEC consumers had a significantly higher frequency (92.5 vs. 50.4 and 60.2 %) and quantity of milk/yoghurt intake and a slightly higher frequency of fruit intake (13.4 vs. 10.9 and 8.0 %) at breakfast. Conclusions: Among European adolescents, RTEC consumers showed a more favourable nutrient intake than consumers of bread or other breakfasts, except for simple sugars. Therefore, RTEC may be regarded as a good breakfast option as part of a varied and balanced diet. Nevertheless, more research is warranted concerning the role of different RTEC types in nutrient intake, especially for simple sugars

    Process types as a descriptive tool for interaction

    Get PDF
    We demonstrate a tight relationship between linearly typed π-calculi and typed λ-calculi by giving a type-preserving translation from the call-by-value λµ-calculus into a typed π-calculus. The λµ-calculus has a particularly simple representation as typed mobile processes. The target calculus is a simple variant of the linear π-calculus. We establish full abstraction up to maximally consistent observational congruences in source and target calculi using techniques from games semantics and process calculi

    Association between footwear use and neglected tropical diseases: a systematic review and meta-analysis

    Get PDF
    BACKGROUND The control of neglected tropical diseases (NTDs) has primarily focused on preventive chemotherapy and case management. Less attention has been placed on the role of ensuring access to adequate water, sanitation, and hygiene and personal preventive measures in reducing exposure to infection. Our aim was to assess whether footwear use was associated with a lower risk of selected NTDs. METHODOLOGY We conducted a systematic review and meta-analysis to assess the association between footwear use and infection or disease for those NTDs for which the route of transmission or occurrence may be through the feet. We included Buruli ulcer, cutaneous larva migrans (CLM), leptospirosis, mycetoma, myiasis, podoconiosis, snakebite, tungiasis, and soil-transmitted helminth (STH) infections, particularly hookworm infection and strongyloidiasis. We searched Medline, Embase, Cochrane, Web of Science, CINAHL Plus, and Popline databases, contacted experts, and hand-searched reference lists for eligible studies. The search was conducted in English without language, publication status, or date restrictions up to January 2014. Studies were eligible for inclusion if they reported a measure of the association between footwear use and the risk of each NTD. Publication bias was assessed using funnel plots. Descriptive study characteristics and methodological quality of the included studies were summarized. For each study outcome, both outcome and exposure data were abstracted and crude and adjusted effect estimates presented. Individual and summary odds ratio (OR) estimates and corresponding 95% confidence intervals (CIs) were calculated as a measure of intervention effect, using random effects meta-analyses. PRINCIPAL FINDINGS Among the 427 studies screened, 53 met our inclusion criteria. Footwear use was significantly associated with a lower odds of infection of Buruli ulcer (OR=0.15; 95% CI: 0.08-0.29), CLM (OR=0.24; 95% CI: 0.06-0.96), tungiasis (OR=0.42; 95% CI: 0.26-0.70), hookworm infection (OR=0.48; 95% CI: 0.37-0.61), any STH infection (OR=0.57; 95% CI: 0.39-0.84), strongyloidiasis (OR=0.56; 95% CI: 0.38-0.83), and leptospirosis (OR=0.59; 95% CI: 0.37-0.94). No significant association between footwear use and podoconiosis (OR=0.63; 95% CI: 0.38-1.05) was found and no data were available for mycetoma, myiasis, and snakebite. The main limitations were evidence of heterogeneity and poor study quality inherent to the observational studies included. CONCLUSIONS/SIGNIFICANCE Our results show that footwear use was associated with a lower odds of several different NTDs. Access to footwear should be prioritized alongside existing NTD interventions to ensure a lasting reduction of multiple NTDs and to accelerate their control and elimination. PROTOCOL REGISTRATION PROSPERO International prospective register of systematic reviews CRD42012003338
    corecore