Coupling Linear Sloshing with Six Degrees of Freedom Rigid Body Dynamics

Fluid motion in tanks is usually described in space industry with the so-called Lomen hypothesis which assumes the vorticity is null in the moving frame. We establish in this contribution that this hypothesis is valid only for uniform rotational motions. We give a more general formulation of this coupling problem, with a compact formulation. We consider the mechanical modeling of a rigid body with a motion of small amplitude, containing an incompressible fluid in the linearized regime. We first establish that the fluid motion remains irrotational in a Galilean referential if it is true at the initial time. When continuity of normal velocity and pressure are prescribed on the free surface, we establish that the global coupled problem conserves an energy functional composed by three terms. We introduce the Stokes - Zhukovsky vector fields, solving Neumann problems for the Laplace operator in the fluid in order to represent the rotational rigid motion with irrotational vector fields. Then we have a good framework to consider the coupled problem between the fluid and the rigid motion. The coupling between the free surface and the ad hoc component of the velocity potential introduces a "Neumann to Dirichlet" operator that allows to write the coupled system in a very compact form. The final expression of a Lagrangian for the coupled system is derived and the Euler-Lagrange equations of the coupled motion are presented.Comment: 23 page

Vers la certification du compilateur v5 d'Esterel dans Coq

Le compilateur v5 d'Esterel est basé sur un raffinement sémantique de la causalité correspondant aux «circuits constructifs» dans le domaine du matériel. La sémantique est présentée par un ensemble de règles d'inférence dans le style de la sémantique naturelle. Nous avons prouvé formellement la correction de la traduction d'une partie significative du langage en circuits au moyen du système de preuves Coq et de son interface utilisateur disponible dans Centaur. La nouvelle sémantique constructive d'Esterel a d'abord été écrite en Typol, donnant d'une part un interprète en Prolog et d'autre part une spécification en Coq. La traduction en circuit à la base du compilateur Esterel v5 a été directement spécifiée en Coq en utilisant l'ordre supérieur. Le principal travail a consisté à certifier le compilateur v5 en Coq en raisonnant sur ces spécifications

Boundary Element and Finite Element Coupling for Aeroacoustics Simulations

We consider the scattering of acoustic perturbations in a presence of a flow. We suppose that the space can be split into a zone where the flow is uniform and a zone where the flow is potential. In the first zone, we apply a Prandtl-Glauert transformation to recover the Helmholtz equation. The well-known setting of boundary element method for the Helmholtz equation is available. In the second zone, the flow quantities are space dependent, we have to consider a local resolution, namely the finite element method. Herein, we carry out the coupling of these two methods and present various applications and validation test cases. The source term is given through the decomposition of an incident acoustic field on a section of the computational domain's boundary.Comment: 25 page

Les contrôleurs de nouvelle génération

Ce document a pour objectif de faire un tour d’horizon sur les interfaces hommemachine d’ancienne et de nouvelle génération et plus spécifiquement sur les contrôleurs utilisés par ces interfaces. Le document est séparé en trois parties principales. La première partie tente de retracer l’histoire des principaux contrôleurs dit « classiques », comme le clavier et la souris, ainsi que de ceux qui les ont précédés. La deuxième partie concerne les contrôleurs de nouvelle génération ainsi que leurs technologies. La dernière partie est un dossier sur l’application de démonstration développée pour le contrôleur de nouvelle génération Kinect

Contamination de mouettes rieuses (Larus ridibundus L.) en Sologne par les résidus organochlorés

La présente étude, basée sur un trop petit nombre d’échantillons analysés ne prétend pas tirer de conclusions définitives. Il s’agit de la simple observation « d’un fait divers » néanmoins troublant d’où nous pouvons tirer les constatations suivantes : — Un taux de pollution important (2,20 à 26,78 ppm) par des organochlorés d’origine aussi bien agricole qu’industrielle a affecté des Mouettes rieuses d’une colonie de Sologne en 1969. — Comme dans les autres pays où ces pollutions ont été signalées les œufs présentent un amincissement de la coquille pouvant aller jusqu’à la disparition d’une partie de cette dernière. Les œufs « normaux » mesurés présentent une perte d’épaisseur de — 10 % à — 26 %. Les chercheurs anglo-américains, après avoir analysé et mesuré des milliers d’œufs d’un nombre important d’espèces, ont fait la preuve de la relation entre ces deux phénomènes, même si les détails du mode d’action de ces poisons sont encore imparfaitement connus. La confirmation expérimentale en a été obtenue pour plusieurs espèces. Il importe donc de vérifier si le degré de pollution a atteint ce seuil critique en France. La Mouette rieuse, espèce aux effectifs importants, aux colonies disséminées dans divers points du pays, aux populations « atlantiques » et « méditerranéennes » assez bien tranchées, nous semble un bon « révélateur » et nous envisageons en 1971, avec le concours de plusieurs Centres Ornithologiques régionaux, d’opérer des prélèvements sur les colonies des diverses régions de France où cette Mouette se reproduit.Nous recherchons aussi des œufs de Larus ridibundus collectés avant 1945 dans des colonies françaises (Sologne, Dombes, Forez, Camargue, etc.) . Ils serviront de référence pour l’étude à entreprendre en 1971

Lorentz Transform and Staggered Finite Differences for Advective Acoustics

38 pagesWe study acoustic wave propagation in a uniform stationary flow. We develop a method founded on the Lorentz transform and a hypothesis of irrotationality of the acoustic perturbation. After a transformation of the space-time and of the unknown fields, we derive a system of partial differential equations that eliminates the external flow and deals with the classical case of non advective acoustics. A sequel of the analysis is a new set of perfectly matched layers equations in the spirit of the work of Berenger and Collino. The numerical implementation of the previous ideas is presented with the finite differences method HaWAY on cartesian staggered grids. Relevant numerical tests are proposed