252 research outputs found
Linear stability of planar premixed flames: reactive Navier-Stokes equations with finite activation energy and arbitrary Lewis number
A numerical shooting method for performing linear stability analyses of travelling waves is described and applied to the problem of freely propagating planar premixed flames. Previous linear stability analyses of premixed flames either employ high activation temperature asymptotics or have been performed numerically with finite activation temperature, but either for unit Lewis numbers (which ignores thermal-diffusive effects) or in the limit of small heat release (which ignores hydrodynamic effects). In this paper the full reactive Navier-Stokes equations are used with arbitrary values of the parameters (activation temperature, Lewis number, heat of reaction, Prandtl number), for which both thermal-diffusive and hydrodynamic effects on the instability, and their interactions, are taken into account. Comparisons are made with previous asymptotic and numerical results. For Lewis numbers very close to or above unity, for which hydrodynamic effects caused by thermal expansion are the dominant destablizing mechanism, it is shown that slowly varying flame analyses give qualitatively good but quantitatively poor predictions, and also that the stability is insensitive to the activation temperature. However, for Lewis numbers sufficiently below unity for which thermal-diffusive effects play a major role, the stability of the flame becomes very sensitive to the activation temperature. Indeed, unphysically high activation temperatures are required for the high activation temperature analysis to give quantitatively good predictions at such low Lewis numbers. It is also shown that state-insensitive viscosity has a small destabilizing effect on the cellular instability at low Lewis numbers
Cohomogeneity one manifolds and selfmaps of nontrivial degree
We construct natural selfmaps of compact cohomgeneity one manifolds with
finite Weyl group and compute their degrees and Lefschetz numbers. On manifolds
with simple cohomology rings this yields in certain cases relations between the
order of the Weyl group and the Euler characteristic of a principal orbit. We
apply our construction to the compact Lie group SU(3) where we extend identity
and transposition to an infinite family of selfmaps of every odd degree. The
compositions of these selfmaps with the power maps realize all possible degrees
of selfmaps of SU(3).Comment: v2, v3: minor improvement
Ignition of thermally sensitive explosives between a contact surface and a shock
The dynamics of ignition between a contact surface and a shock wave is investigated using a
one-step reaction model with Arrhenius kinetics. Both large activation energy asymptotics and
high-resolution finite activation energy numerical simulations are employed. Emphasis is on comparing
and contrasting the solutions with those of the ignition process between a piston and a shock,
considered previously. The large activation energy asymptotic solutions are found to be qualitatively
different from the piston driven shock case, in that thermal runaway first occurs ahead of
the contact surface, and both forward and backward moving reaction waves emerge. These waves
take the form of quasi-steady weak detonations that may later transition into strong detonation
waves. For the finite activation energies considered in the numerical simulations, the results are
qualitatively different to the asymptotic predictions in that no backward weak detonation wave
forms, and there is only a weak dependence of the evolutionary events on the acoustic impedance
of the contact surface. The above conclusions are relevant to gas phase equation of state models.
However, when a large polytropic index more representative of condensed phase explosives is used,
the large activation energy asymptotic and finite activation energy numerical results are found to
be in quantitative agreement
A formally verified compiler back-end
This article describes the development and formal verification (proof of
semantic preservation) of a compiler back-end from Cminor (a simple imperative
intermediate language) to PowerPC assembly code, using the Coq proof assistant
both for programming the compiler and for proving its correctness. Such a
verified compiler is useful in the context of formal methods applied to the
certification of critical software: the verification of the compiler guarantees
that the safety properties proved on the source code hold for the executable
compiled code as well
Three-dimensionality of space and the quantum bit: an information-theoretic approach
It is sometimes pointed out as a curiosity that the state space of quantum
two-level systems, i.e. the qubit, and actual physical space are both
three-dimensional and Euclidean. In this paper, we suggest an
information-theoretic analysis of this relationship, by proving a particular
mathematical result: suppose that physics takes place in d spatial dimensions,
and that some events happen probabilistically (not assuming quantum theory in
any way). Furthermore, suppose there are systems that carry "minimal amounts of
direction information", interacting via some continuous reversible time
evolution. We prove that this uniquely determines spatial dimension d=3 and
quantum theory on two qubits (including entanglement and unitary time
evolution), and that it allows observers to infer local spatial geometry from
probability measurements.Comment: 13 + 22 pages, 9 figures. v4: some clarifications, in particular in
Section V / Appendix C (added Example 39
The intestinal expulsion of the roundworm Ascaris suum is associated with eosinophils, intra-epithelial T cells and decreased intestinal transit time
Ascaris lumbricoides remains the most common endoparasite in humans, yet there is still very little information available about the immunological principles of protection, especially those directed against larval stages. Due to the natural host-parasite relationship, pigs infected with A. suum make an excellent model to study the mechanisms of protection against this nematode. In pigs, a self-cure reaction eliminates most larvae from the small intestine between 14 and 21 days post infection. In this study, we investigated the mucosal immune response leading to the expulsion of A. suum and the contribution of the hepato-tracheal migration. Self-cure was independent of previous passage through the liver or lungs, as infection with lung stage larvae did not impair self-cure. When animals were infected with 14-day-old intestinal larvae, the larvae were being driven distally in the small intestine around 7 days post infection but by 18 days post infection they re-inhabited the proximal part of the small intestine, indicating that more developed larvae can counter the expulsion mechanism. Self-cure was consistently associated with eosinophilia and intra-epithelial T cells in the jejunum. Furthermore, we identified increased gut movement as a possible mechanism of self-cure as the small intestinal transit time was markedly decreased at the time of expulsion of the worms. Taken together, these results shed new light on the mechanisms of self-cure that occur during A. suum infections
Affine modifications and affine hypersurfaces with a very transitive automorphism group
We study a kind of modification of an affine domain which produces another
affine domain. First appeared in passing in the basic paper of O. Zariski
(1942), it was further considered by E.D. Davis (1967). The first named author
applied its geometric counterpart to construct contractible smooth affine
varieties non-isomorphic to Euclidean spaces. Here we provide certain
conditions which guarantee preservation of the topology under a modification.
As an application, we show that the group of biregular automorphisms of the
affine hypersurface given by the equation
where acts transitively on the
smooth part reg of for any We present examples of such
hypersurfaces diffeomorphic to Euclidean spaces.Comment: 39 Pages, LaTeX; a revised version with minor changes and correction
The Index Bundle and Multiparameter Bifurcation for Discrete Dynamical Systems
We develop a K-theoretic approach to multiparameter bifurcation theory of homoclinic solutions of discrete non-autonomous dynamical systems from a branch of stationary solutions. As a byproduct we obtain a family index theorem for asymptotically hyperbolic linear dynamical systems which is of independent interest. In the special case of a single parameter, our bifurcation theorem weakens the assumptions in previous work by Pejsachowicz and the first author
Prevalence and association of asthma and allergic sensitization with dietary factors in schoolchildren: data from the french six cities study
International audienceBackground: The prevalence of asthma and allergy has recently risen among children. This increase in prevalence might be related to various factors, particularly diet. The aim of this study is to assess the prevalence and association of asthma and allergic sensitization with dietary factors in the French Six Cities Study. Methods: Cross-sectional studies were performed among 7432 schoolchildren aged 9-11 years in Bordeaux, Clermont-Ferrand, Creteil, Marseille, Reims, and Strasbourg. Parental questionnaires, based on the International Study on Asthma and Allergies in Childhood (ISAAC), were used to collect information on allergic diseases and potential exposure factors including a food frequency questionnaire to evaluate dietary habits. Skin prick testing to common allergens for allergic sensitization and bronchial hyper-responsiveness (BHR) testing to exercise were performed. Confounders control was performed with multiple logistic regressions. Results: Asthma symptoms, asthma and allergic sensitization were more prevalent in boys than in girls and were more prevalent in the South than in the North of France. After adjustment for confounders, fruit juice intake was associated with a low prevalence of lifetime asthma (ORa [95 % CI]; 0.73 [0.56-0.97]), butter intake was positively associated with atopic wheeze (1.48 [1.07-2.05]) and having lunch at the canteen 1-2 times/week compared to never or occasionally was associated with a lower prevalence of past year wheeze (0.71 [0.52-0.96]), lifetime asthma (0.76 [0.60-0.96]) and allergic sensitization (0.80 [0.67-0.95]). Meat intake was inversely related to past year wheeze among atopic children (0.68 [0.50-0.98]) while fast food consumption and butter intake were associated with an increase prevalence of asthma (2.39 [1.47-3.93] and 1.51 [1.17-2.00] respectively). Fish intake was associated with a lower prevalence of asthma among non-atopic children (0.61 [0.43-0.87]. None of the dietary factors was associated with BHR. Conclusions: Diet is associated with wheeze, asthma and allergic sensitization but not with BHR in children. These results provide further evidence that adherence to a healthy diet including fruits, meat and fish seems to have a protective effect on asthma and allergy in childhood. However, prospective and experimental studies are needed to provide causal evidence concerning the effect of diet on asthma and atopy
- …