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 $X \subset C^{k+2}$ given by the equation $uv=p(x_1,...,x_k)$ where $p \in C[x_1,...,x_k],$ acts $m-$transitively on the smooth part reg$X$ of $X$ for any $m \in N.$ 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