1918: konec konfliktu, válka afektů

151

The formation of shear and density layers in stably stratified trubulent flows: linear processes

The initial evolution of the momentum and buoyancy fluxes in a freely decaying, stably stratified homogeneous turbulent flow with r.m.s. velocity u′0 and integral lengthscale l0 is calculated using a weakly inhomogeneous and unsteady form of the rapid distortion theory (RDT) in order to study the growth of small temporal and spatial perturbations in the large-scale mean stratification N(z, t) and mean velocity profile u(z, t) (here N is the local Brunt–Väisälä frequency and u is the local velocity of the horizontal mean flow) when the ratio of buoyancy forces to inertial forces is large, i.e. Nl0/u′0[dbl greater-than sign]1. The lengthscale L of the perturbations in the mean profiles of stratification and shear is assumed to be large compared to l0 and the presence of a uniform background mean shear can be taken into account in the model provided that the inertial shear forces are still weaker than the buoyancy forces, i.e. when the Richardson number Ri = (N/[partial partial differential]zu)2[dbl greater-than sign]1 at each height. When a mean shear perturbation is introduced initially with no uniform background mean shear and uniform stratification, the analysis shows that the perturbations in the mean flow profile grow on a timescale of order N-1. When the mean density profile is perturbed initially in the absence of a background mean shear, layers with significant density gradient fluctuations grow on a timescale of order N−10 (where N0 is the order of magnitude of the initial Brunt–Väisälä frequency) without any associated mean velocity gradients in the layers. These results are in good agreement with the direct numerical simulations performed by Galmiche et al. (2002) and are consistent with the earlier physically based conjectures made by Phillips (1972) and Posmentier (1977). The model also shows that when there is a background mean shear in combination with perturbations in the mean stratification, negative shear stresses develop which cause the mean velocity gradient to grow in the density layers. The linear analysis for short times indicates that the scale on which the mean perturbations grow fastest is of order u′0/N0, which is consistent with the experiments of Park et al. (1994). We conclude that linear mechanisms are widely involved in the formation of shear and density layers in stratified flows as is observed in some laboratory experiments and geophysical flows, but note that the layers are also significantly influenced by nonlinear and dissipative processes at large times

Coucy-le-Château-Auffrique – Porte de Laon

Propriété du Département de l’Aisne depuis 2007, la Porte de Laon de la ville de Coucy doit être restaurée afin de permettre l’accès aux visiteurs. Préalablement à ces travaux, une opération archéologique a été programmée pour appréhender son potentiel.Construite à l’extrémité d’un éperon, la ville de Coucy est plus vulnérable au nord-est. L’espace qui s’étend dans cette direction domine en effet topographiquement la cité. La Porte de Laon, constituée d’un édifice civil défendu par deux tour..

Maldonne et rédemption. Le concept d’anarchisme littéraire dans l’histoire culturelle de l’Empire (austro-hongrois) – l’exemple tchèque

International audienceFor most of us, modern Czech literature began with Jaroslav Hašek’s The Good Soldier Svejk, a pillar of Central Europe’s literary anarchism. This article seeks to dispel such a perception by revealing the prolific yet tense interplay between anarchism of the political and literary varieties that took place from the 1890s to the 1920s. (The concept of literary anarchism came to be as a result of the close dependency of esthetical thinking on political discourse.) To that end, this article dwells on relevant analogies from other literary genres, and questions the radical nature of the modernity brought upon by these anarchists. Despite the initial misleading notion, this concept can prove quite useful to qualify certain literary values and practices: the ambitious transposition of socio-political ideals to the field of aesthetics, or a more general acknowledgement of another dependency, that of the artistic quest on a thirst for tradition and a spiritual absolute, at least going back to the romantic apophasis.Pour le grand public, la littérature tchèque moderne a commencé avec Les aventures du brave soldat Chweïk de Jaroslav Hašek, oeuvre cardinale de l’anarchisme littéraire d’Europe centrale. Cette contribution a pour but de revenir sur cette idée reçue en dessinant les rapports à la fois féconds mais tendus tissés entre anarchisme politique et littéraire, des années 1890 aux années 1920 environ (la naissance du concept d’anarchisme littéraire reflète la dépendance étroitement ancillaire de la réflexion esthétique au discours politicien), en proposant un élargissement du concept d’anarchisme littéraire vers les oeuvres expressionnistes (Kafka, Klíma, Váchal, Deml), en explorant les analogies repérables dans les littératures voisines, et en mettant en cause la radicalité de la modernité développée par ces anarchistes. En dépit de cette maldonne conceptuelle initiale, ce concept peut se révéler d’une grande utilité pour qualifier certaines valeurs et pratiques littéraires : l’ambition de transposer dans le champ esthétique un idéal sociopolitique, mais plus généralement, la reconnaissance d’une autre dépendance, celle du programme artistique à une soif d’absolu spirituel et à une tradition, remontant au moins à l’apophase romantique

Grisolles – La Tuilerie, L’Arc à Dieu

Identifiant de l'opération archéologique : 9138 Date de l'opération : 2007 (EX) Le diagnostic a été réalisé préalablement à l’aménagement projeté par Valor’Aisne (Syndicat départemental de traitement des déchets ménagers de l’Aisne) d’un centre de traitement et de valorisation des déchets ménagers (EcoCentre La Tuilerie). L’emprise du diagnostic archéologique est de 406 742 m². Il s’inscrit dans un terrain qui dépendait du prieuré fontevriste du Charme. Des documents d’archives du XVIIIes. et..

Fère-en-Tardenois – Château de Fère

Suite au dépôt par l’hôtel-restaurant « Château de Fère » à Fère-en-Tardenois d’une demande anticipée de prescription préalable à une extension de ses locaux, un diagnostic a été prescrit. Une tranchée de sondage a été réalisée dans la basse-cour du château devant le corps de logis. Cette construction qui date des années 1530 a été érigée au cours d’une campagne plus vaste de réaménagement du château dont l’origine remonte au xiiie s. Deux épais niveaux de remblais ont été mis en évidence sou..

Labelled Tableaux for Linear Time Bunched Implication Logic

In this paper, we define the logic of Linear Temporal Bunched Implications (LTBI), a temporal extension of the Bunched Implications logic BI that deals with resource evolution over time, by combining the BI separation connectives and the LTL temporal connectives. We first present the syntax and semantics of LTBI and illustrate its expressiveness with a significant example. Then we introduce a tableau calculus with labels and constraints, called TLTBI, and prove its soundness w.r.t. the Kripke-style semantics of LTBI. Finally we discuss and analyze the issues that make the completeness of the calculus not trivial in the general case of unbounded timelines and explain how to solve the issues in the more restricted case of bounded timelines

Program development in constructive type theory

AbstractWe present the program development concept in a logical framework including constructive type theory and then show how to use such theories to derive programs from proofs of formal specifications. We are interested in two important facts that are the mechanization of the proof construction and the possibility to express in the theory significant concepts for programming (like inductively defined types and general recursion). We give here a survey on some results and problems appearing in logical frameworks devoted to the programming with proofs approach

Villers-Cotterêts – Boulevard urbain

Identifiant de l'opération archéologique : 9267 Date de l'opération : 2007 (MH) Le diagnostic a été réalisé préalablement à l’aménagement par le département de l’Aisne d’un boulevard urbain reliant la route D.80 à la route D.81 à l’est de l’agglomération urbaine de Villers-Cotterêts. L’emprise du diagnostic archéologique est de 78 576 m². Trois fosses attribuables au Bronze final, ont été découvertes sur une surélévation peu marquée du terrain. Deux autres fosses et un fossé, situés à proximi..

Royaucourt-et-Chailvet – Château de Chailvet

Dans la cadre d’une campagne de reconstruction de cet édifice, des sondages archéologiques ont été réalisés afin d’orienter l’implantation des réseaux et les prochaines campagnes de réhabilitation. Ils visaient à répondre à des questions relatives à l’accès aux espaces souterrains actuellement comblés, à l’origine du château et à l’évolution de son plan.Le château de Chailvet, a été construit dans le courant du xvie s. sur une terrasse entourée de fossés en eau. La façade occidentale datée d..