Justification of the Shallow-Water Limit for a Rigid-Lid Flow with Bottom Topography

The so-called lake equations arise as the shallow-water limit of the rigid-lid equations—three-dimensional Euler equations with a rigid-lid upper boundary condition—in a horizontally periodic basin with bottom topography. We prove an a priori estimate in the Sobolev space H ^m for m≥ 3 which shows that a solution to the rigid-lid equations can be approximated by a solution of the lake equations for an interval of time which can be estimated in terms of the initial deviation from a columnar configuration and the magnitude of the initial data in H ^m , the gradient of the bottom topography in H ^m+1 , and the aspect ratio of the basin. In particular, any solution to the lake equations remains close to some solution of the rigid-lid equations for an interval of time that can be made arbitrarily large by choosing the aspect ratio of the basin small. Received 10 October 1996 and accepted 15 May 1997     

Une axiomatisation de la substitution

We investigate the notion of substitution in an abstract way, without defining it explicitly. We single out the essential features of the operation of performing a substitution in order to define a concept of substitutive structure, called logos. We then prove a completeness theorem making precise and justifying the intuition that formulas true for the usual substitution can be proved from the logos axioms only. To cite this article: M. Crabbé, C. R. Acad. Sci. Paris, Ser. I 338 (2004).     

The Dedekind-MacNeille completion as a reflector

We introduce a special type of order-preserving maps between quasiordered sets, the so-called cut-stable maps. These form the largest morphism class such that the corresponding category of quasiordered sets contains the category of complete lattices and complete homomorphisms as a full reflective subcategory, the reflector being given by the Dedekind-MacNeille completion (alias normal completion or completion by cuts). Suitable restriction of the object class leads to the category of separated quasiordered sets and its full reflective subcategory of completely distributive lattices. Similar reflections are obtained for continuous lattices, algebraic lattices, etc.     

Rigid nitronyl-nitroxide-labelled anchoring molecules: syntheses, structural and magnetic investigations

The syntheses of two rigid organic molecular rods bearing a nitronyl-nitroxide radical and a terminal nitrogen-based functionality like a pyridine or a cyano group are reported. Both new paramagnetic molecules are fully characterized, including crystal structure analysis. Furthermore their magnetic behaviours in the crystalline state are investigated and their spin concentration corroborate their excellent purity. While the pyridine functionalized rod is synthesized by converting the corresponding benzaldehyde to the phenyl-nitronyl-nitroxide radical, the synthesis of the cyano functionalized rod demonstrates the accessibility of highly sophisticated spin-labelled molecules via cross-coupling reaction with a meta-iodo-phenyl-nitronyl-nitroxide moiety.     

Influence of mass moment of inertia on the normal modes of a preloaded solar array mast

Earth-orbiting spacecraft often contain solar arrays or antennas supported by a preloaded mast. Due to weight and cost considerations, the supporting structures of the spacecraft appendages are made extremely light and flexible. Therefore, it is essential to investigate the influence of all physical and structural parameters on the dynamic behavior of the overall structure. The governing equation of motion and its general solution for the preloaded mast are developed. Furthermore, the mass moment of inertia of the mast subjected to bending vibrations is included in the governing equation of motion to investigate its influence on determining the circular frequencies. To verify the developed formulations, a finite element technique was implemented. The accuracy and limitation of the technique on calculating the circular frequencies are discussed. Although the study described in this paper primarily focuses on the mast for the space station solar arrays, the developed formulations and techniques can be applied to any large and flexible beam in zero gravity.     

Effect of Ga doping on magneto-transport properties in colossal magnetoresistive La0.7Ca0.3Mn1−xGaxO3 (0<x<0.1)

Samples of La_0.7Ca_0.3Mn_1−xGa_xO₃ with x=0, 0.025, 0.05 and 0.10 were prepared by standard solid-state reaction. They were first characterized chemically, including the microstructure. The magnetic properties and various transport properties, i.e. the electrical resistivity, magnetoresistivity (for a field below 8 T), thermoelectric power and thermal conductivity measured each time on the same sample, are reported. The markedly different behaviour of the x=0.1 sample from those with a smaller Ga content, is discussed. The dilution of the Mn³⁺/Mn⁴⁺ interactions with Ga doping considerably reduces the ferromagnetic double exchange interaction within the manganese lattice leading to a decrease of the Curie temperature. The polaron binding energy varies from 224 to 243 meV with increased Ga doping.     

On the behavior of ECN/RED gateways under a large number of TCP flows: Limit theorems

We consider a discrete-time stochastic model of an ECN/RED gateway where competing TCP sources share the link capacity. As the number of competing flows becomes large, the asymptotic queue behavior (normalized by the number of flows) at the gateway can be described by a simple recursion and the throughput behavior of individual TCP flows becomes asymptotically independent. A Central Limit Theorem complement is also presented, yielding a more accurate characterization of the asymptotic queue size. These results suggest a scalable yet accurate model of this complex large-scale stochastic feedback system, and crisply reveal the sources of queue fluctuations. This work was prepared through collaborative participation in the Communications and Networks Consortium sponsored by the U.S. Army Research Laboratory under the Collaborative Technology Alliance Program, Cooperative Agreement DAAD19-01-2-0011. This work was also supported by the Space and Naval Warfare Systems Center—San Diego under Contract No: N66001-00-C-8063. The views and conclusions contained in this document are those of the authors and should not be interpreted as representing the official policies, either expressed or implied, of the Army Research Laboratory or the U.S. Government.     

Weak distributive laws and their role in lattices of congruences and equational theories

By a result of Pigozzi and Kogalovskii, every algebraic latticeL having a completely join —irreducible top element can be represented as the lattice L() of equational theories extending some fixed theory . Conversely, strengthening a recent result due to Lampe, we show that such a representationL=L() forcesL to satisfy the following condition: if the top element ofL is the join of a nonempty subsetB ofL then there are elementsb..., B such thata=(... (((b₁ a) b₂) a) ... b_n) a for alla L. In presence of modularity, this equation reduces to the identitya=(a b₁) ... (a b_n). Motivated by these facts, we study several weak forms of distributive laws in arbitrary lattices and related types of prime elements. The main tool for applications to universal algebra is a generalized version of Lampe's Zipper Lemma.Presented by Ralph Freese.