167 research outputs found
Typing a Core Binary Field Arithmetic in a Light Logic
We design a library for binary field arithmetic and we supply a core API
which is completely developed in DLAL, extended with a fix point formula. Since
DLAL is a restriction of linear logic where only functional programs with
polynomial evaluation cost can be typed, we obtain the core of a functional
programming setting for binary field arithmetic with built-in polynomial
complexity
An Elementary Affine λ-Calculus with Multithreading and Side Effects
International audienceLinear logic provides a framework to control the complexity of higher-order functional programs. We present an extension of this framework to programs with multithreading and side effects focusing on the case of elementary time. Our main contributions are as follows. First, we introduce a modal call-by-value λ-calculus with multithreading and side effects. Second, we provide a combinatorial proof of termination in elementary time for the language. Third, we introduce an elementary affine type system that guarantees the standard subject reduction and progress properties. Finally, we illustrate the programming of iterative functions with side effects in the presented formalism
Acoustic response of a feeding system to high-frequency transverse acoustic field
International audienceThe acoustic coupling between the injection system and the acoustic fluctuations in liquid rocket engine combustion chambers is an important issue in the understanding of the thermo-acoustic instability phenomenon. This paper presents results of a large parametric investigation of a two-phase injection system acoustic response, to the excitation produced by a high-amplitude transverse acoustic field forced into a main resonant cavity. Two domes, one for the gas and one for the liquid, were expressly designed to feed three identical coaxial injectors. Characterization of domes internal mode shapes were performed by measuring pressure signals at different locations in the domes. Experimental mode shapes showed good agreement with those predicted by numerical simulations. Acoustic pressure amplitudes up to 17% of the the one induced in the main cavity can be found in both gas and liquid dome. The maximum acoustic response is observed in a configuration in which acoustic boundary conditions does not correspond to the maximum injection system solicitation conditions
Acoustic response of a feeding system to high-frequency transverse acoustic field
International audienceThe acoustic coupling between the injection system and the acoustic fluctuations in liquid rocket engine combustion chambers is an important issue in the understanding of the thermo-acoustic instability phenomenon. This paper presents results of a large parametric investigation of a two-phase injection system acoustic response, to the excitation produced by a high-amplitude transverse acoustic field forced into a main resonant cavity. Two domes, one for the gas and one for the liquid, were expressly designed to feed three identical coaxial injectors. Characterization of domes internal mode shapes were performed by measuring pressure signals at different locations in the domes. Experimental mode shapes showed good agreement with those predicted by numerical simulations. Acoustic pressure amplitudes up to 17% of the the one induced in the main cavity can be found in both gas and liquid dome. The maximum acoustic response is observed in a configuration in which acoustic boundary conditions does not correspond to the maximum injection system solicitation conditions
Response of coaxial air-assisted liquid jets in an acoustic field: atomization and droplets clustering
International audienceHigh-frequency combustion instabilities have been proven to be extremely harmful to liquid rocket engine operation , even leading to the destruction of the combustion chamber. The coupling between acoustic field and combustion heat release rate in the combustion chamber is considered as the driving phenomenon. Experiments have shown that intense acoustic field can deeply affect atomization process thereby causing a non-uniform heat release distribution which can couple with the resonant mode shapes of the combustion chamber and consequently trigger or sustain combustion instability. The effects of acoustic acting on atomization of coaxial air-assisted liquid jets have been investigated experimentally and results are presented in this paper. The experimental setup is composed of three coaxial injectors installed on the roof of a semi-open resonant cavity provided with 4 compression drivers. An acoustic field corresponding to the 2 nd transverse mode of the cavity is forced into that at a frequency of 1 kHz. Acoustic levels up to 174 dB are produced. High speed visualizations are performed in order to observe the response of the jet to the acoustic perturbations. In the case of low Weber numbers (We < 30) the jet can be considered as cylindrical and depending on the position of the injector with respect to the acoustic axis different responses can be observed. If the injector is placed in correspondence of the velocity antinode the jet is flattened into a liquid sheet perpendicular to the acoustic axis, if the injector is located in correspondence of an intensity antinode the jet is deviated toward the velocity antinode. Combined response can be observed at intermediate positions. For higher Weber numbers the jet is no more cylindrical and a spray is formed, characterized by with a certain spray angle. Such a spray is can still be affected by the acoustics but it is not always possible to get evidence of this from observation of raw images. To quantify these effects, image analyses have been carried-out to determine how spatial distributions of droplets are affected by acoustics. Results are presented for Weber numbers ranging from 30 to 1500, with and without acoustic. Clustering of droplets is shown as well as improvement of atomization process
Acoustic response of an injection system to high-frequency transverse acoustic fields
International audienceThe acoustic coupling between the injection system and the acoustic fluctuations in liquid rocket engine combustion chambers is an important issue in the understanding of the thermo-acoustic instability phenomenon. This paper presents the results of a wide-ranging parametric investigation of the acoustic response of a two-phase injection system submitted to a forced high-amplitude transverse acoustic field. Two domes, one for the gas and one for the liquid, were expressly designed to feed three identical coaxial injectors. The internal mode shapes of the domes were characterized by measuring pressure signals at different locations in the domes. Experimental mode shapes showed good agreement with those predicted by numerical simulations. Acoustic pressure amplitudes up to 23% of those induced in the main cavity can be found in both the gas and liquid domes. The response efficiency in a dome depends on the position of the injectors' exit in the acoustic field
A feasible algorithm for typing in Elementary Affine Logic
We give a new type inference algorithm for typing lambda-terms in Elementary
Affine Logic (EAL), which is motivated by applications to complexity and
optimal reduction. Following previous references on this topic, the variant of
EAL type system we consider (denoted EAL*) is a variant without sharing and
without polymorphism. Our algorithm improves over the ones already known in
that it offers a better complexity bound: if a simple type derivation for the
term t is given our algorithm performs EAL* type inference in polynomial time.Comment: 20 page
Resource Control for Synchronous Cooperative Threads
We develop new methods to statically bound the resources needed for the
execution of systems of concurrent, interactive threads. Our study is concerned
with a \emph{synchronous} model of interaction based on cooperative threads
whose execution proceeds in synchronous rounds called instants. Our
contribution is a system of compositional static analyses to guarantee that
each instant terminates and to bound the size of the values computed by the
system as a function of the size of its parameters at the beginning of the
instant. Our method generalises an approach designed for first-order functional
languages that relies on a combination of standard termination techniques for
term rewriting systems and an analysis of the size of the computed values based
on the notion of quasi-interpretation. We show that these two methods can be
combined to obtain an explicit polynomial bound on the resources needed for the
execution of the system during an instant. As a second contribution, we
introduce a virtual machine and a related bytecode thus producing a precise
description of the resources needed for the execution of a system. In this
context, we present a suitable control flow analysis that allows to formulte
the static analyses for resource control at byte code level
Mitochondrial Dysregulation in the Pathogenesis of Diabetes: Potential for Mitochondrial Biogenesis-Mediated Interventions
Muscle mitochondrial metabolism is a tightly controlled process that involves the coordination of signaling pathways and factors from both the nuclear and mitochondrial genomes. Perhaps the most important pathway regulating metabolism in muscle is mitochondrial biogenesis. In response to physiological stimuli such as exercise, retrograde signaling pathways are activated that allow crosstalk between the nucleus and mitochondria, upregulating hundreds of genes and leading to higher mitochondrial content and increased oxidation of substrates. With type 2 diabetes, these processes can become dysregulated and the ability of the cell to respond to nutrient and energy fluctuations is diminished. This, coupled with reduced mitochondrial content and altered mitochondrial morphology, has been directly linked to the pathogenesis of this disease. In this paper, we will discuss our current understanding of mitochondrial dysregulation in skeletal muscle as it relates to type 2 diabetes, placing particular emphasis on the pathways of mitochondrial biogenesis and mitochondrial dynamics, and the therapeutic value of exercise and other interventions
Sternal reentry in a patient with previous deep sternal wound infection managed with horizontal titanium plate fixation
Redo open-heart surgery and sternal reentry in patients with previous deep sternal wound infection (DSWI) and absence of sternal integrity can be a delicate and morbid task due the lack of a dissection plane between the heart and the surrounding soft tissues. Delayed sternal reconstruction and osteosynthesis with horizontal titanium plating fixation (Synthes) following vacuum assisted therapy (KCI) has recently been proposed and adopted for the treatment of DSWI. We present such a case of a patient who was successfully reoperated for valve replacement three years after coronary artery bypass grafting complicated by DSWI and initially treated with titanium plate fixation
- …