Добірка наукової літератури з теми "Modèle de fluide réel"

Le barrage d’Arzal est un ouvrage clé pour la gestion des niveaux sur le bassin de la Vilaine aval et une réserve d’eau douce alimentant la plus importante unité de production d’eau potable de Bretagne. Cette réserve est multi-usage et peut engendrer des conflits complexes à gérer, notamment en période de sécheresse. Le barrage est équipé d’une écluse, entraînant des intrusions d’eau de mer lors des éclusées, et d’un système de siphons, permettant de capter la majeure partie des eaux salées parasites et de les rediriger vers l’estuaire. Cependant, en étiage, une fraction d’eau salée peut remonter dans le plan d’eau et dégrader la qualité de l’eau à la prise d’eau de l’usine. Dans un contexte de changement climatique, les périodes de sécheresse ainsi que les conflits d’usage pourraient devenir plus intenses. L’amélioration des connaissances des phénomènes complexes de diffusion des eaux salées en amont du barrage permettrait de piloter au mieux l’ouvrage, en validant ou identifiant des pratiques de gestion. L’étude de solutions de limitation transitoires « simples » pourrait également permettre d’optimiser cette gestion. Le projet transversal avec quatre parties prenantes (EPTB Vilaine, imaGeau, Saur et Inria), réalisé de 2016 à 2018, a permis de répondre à ces objectifs. Les résultats de cette étude montrent l’importance des outils de mesure de salinité en continu innovants en temps réel pour l’aide à la décision de restrictions de certains usages si la ressource est menacée, via un retour d’expérience sur trois ans de mesures. Il montre également l’utilisation et la valorisation de la donnée, en mode prédictif, via la construction d’un modèle mathématique 3D de diffusion de la salinité, intégrant l’ensemble des ouvrages. La modélisation a également permis de simuler et d’étudier les performances de solutions de limitation des phénomènes de remontées d’eaux salées afin de choisir la mieux adaptée.

Qu’est-ce que le théâtre documentaire peut apprendre des études du handicap ? Dans cet article, Lisa Aikman explique comment l’usage que fait le théâtre documentaire des signifiants du réel et des rencontres avec des personnes marginalisées risque de créer un autre récit de la différence innée, ce que les études contemporaines sur le handicap cherchent justement à remettre en question. Aikman fait valoir que le théâtre postdramatique du réel et les dramaturgies hybrides qui brouillent les frontières entre le réel et le fictif sont mieux équipés pour repousser les limites du réel et interroger les notions de différence perçue. Par une analyse comparative de RARE et Wildfire, deux pièces documentaires créées par Judith Thompson et une troupe d’interprètes ayant une trisomie 21, Aikman montre comment la dramaturgie postdramatique qui caractérise Wildfire permet de mettre en scène une négociation plus complexe de l’identité et de la proximité qui reflète le discours actuel sur le handicap en tant qu’identité de groupe fluide.

L’objectif de cet article est de présenter un modèle synthétique de taux de change réel d’équilibre de type « NATural Real EXchange rate » pour une petite économie « développée » et ouverte mais confrontée à des marchés de capitaux imparfaits. Conformément à la tradition NATREX, le taux de change réel d’équilibre dépend de l’horizon temporel considéré. À moyen terme, il est déterminé, dans le cadre d’un équilibre de flux, conjointement par un ensemble de fondamentaux réels (la productivité globale, la demande étrangère, les termes de l’échange, le taux d’intérêt réel, la préférence pour le présent et les dépenses publiques) et de variables prédéterminées (le capital productif et la dette externe). À long terme, par contre, des ajustements de nature stock-flux, liés aux mouvements endogènes des variables prédéterminées, entrent en jeu. Le taux de change réel d’équilibre ne dépend plus alors que des seuls fondamentaux réels. Par ailleurs, cette présentation fait ressortir l’importance de certains paramètres structurels du modèle, à savoir l’effet richesse, l’élasticité des importations par rapport à l’investissement national et le degré de mobilité internationale des capitaux.

Résumé Afin d’identifier quelles variables ont affecté l’équilibre du marché du logement au Canada, nous estimons un modèle structurel sur des données annuelles agrégées de 1956 à 2001. Le modèle permet d’expliquer l’évolution du prix moyen et du nombre d’unités de logement. Trois variables exercent une influence significative sur le prix réel, soit le revenu réel par personne adulte, le taux d’intérêt nominal sur les prêts hypothécaires à l’habitation à 5 ans et la croissance de la population de 25 à 54 ans. Quant à la construction de nouveaux logements, la seule influence exogène provient du prix réel du logement. Le prix réel a fortement baissé pendant les récessions de 1981-82 et 1990-92 et s’est maintenu bas pendant tout le reste de la décennie quatre-vingt-dix. Le ralentissement de la croissance de la population a fortement contribué au marasme du marché immobilier pendant la dernière décennie, le ralentissement de la croissance du revenu réel par habitant jouant également un rôle important. Seule la baisse des taux d’intérêt a permis de maintenir un certain dynamisme sur ce marché pendant cette période. Les projections pour les quinze prochaines années ne laissent cependant pas entrevoir de baisses ultérieures de prix.

Résumé Pour rendre compte des chocs qui ont affecté l’économie tunisienne durant les 20 dernières années, nous montrons dans un premier temps que des effets Balassa-Samuelson sont à l’oeuvre. Afin de reproduire les principaux faits stylisés, le modèle dynamique d’équilibre général bisectoriel (exposé et abrité) construit comporte, dans un contexte de concurrence monopolistique, des négociations salariales en présence d’une parfaite mobilité intersectorielle du travail et des rigidités nominales sur les prix. Ce modèle permet d’expliquer l’évolution du taux de change réel et des principaux agrégats. La forte dépréciation du taux de change réel en 1986-1988 peut être reproduite par un choc négatif de demande mondiale et par une modération salariale durant le programme d’ajustement structurel. L’appréciation du taux de change réel qui a suivi serait pour sa part la conséquence de gains de productivité dans le secteur exposé et de la levée des quotas européens sur le textile.

L'objectif principal du présent travail est la prévision en temps réel des charges de polluants dans un réseau d'assainissement urbain. La méthodologie préconisée dans cette étude se base sur deux outils. En premier lieu, le modèle de la courbe de tarage a été utilisé afin d'exprimer la corrélation entre les charges de polluants et les débits de ruissellement. Ce modèle a été sélectionné en raison de sa simplicité et de la disponibilité des paramètres nécessaires pour sa mise en œuvre. L'hypothèse de synchronisme systématique entre les pointes de l'hydrogramme et du pollutogramme dans ce modèle constitue une des faiblesses que nous proposons de surmonter dans le cadre du présent travail. Ainsi, le modèle de la courbe de tarage a été modifié par l'introduction d'un terme de déphasage qu'on identifie en temps réel. D'autre part, la constance des paramètres mis en jeu dans le modèle classique de la courbe de tarage constitue un autre obstacle pour la reproductibilité des phénomènes au cours du même événement et d'un événement à l'autre. Afin de surmonter cette deuxième faiblesse, le filtre de Kalman a été utilisé pour identifier les paramètres d'un modèle dynamique en fonction des erreurs de prévision constatées à chaque pas de temps. La méthodologie a été testée avec succès sur le secteur I de la ville de Verdun du Québec. Le modèle établi a été validé à l'aide de trois critères de performance, à savoir, le coefficient de Nash, le rapport des pointes mesurées/prévues et leur déphasage. Selon ces critères, les résultats trouvés par le modèle dynamique concordent bien avec les mesures.

Le travail de thèse présenté dans ce mémoire vise à une meilleure compréhension du phénomène hydroélastique lors des impacts de sloshing à l’échelle une dans les cuves de méthanier. Pour cela, une amélioration du solveur Smooth Particles Hydrodynamics (SPH) 2D existant a été menée en s’inspirant du formalisme Volumes-Finis et plus particulièrement des travaux développés autour des solveurs de Riemann. Le code SPH fluide est alors étendu à un code structure de manière très naïve. Disposant d’un même outil pour résoudre le problème fluide et le problème structure, le couplage se fait naturellement ce qui constitue le principal avantage de la méthode SPH en couplage fluide-structure. Des tests de validation classiques sont alors développés en comparaison avec des codes analytiques, Eléments-Finis et des expériences. Le cas classique de l’impact hydrodynamique est détaillé pour une structure rigide. Le code structure est alors validé sur différents cas-tests qui sont représentatifs des différents régimes simulables par SPH. Le cas de l’impact hydrodynamique est repris en simulation couplée fluide-structure avec une structure massive puis avec une plaque. Un chapitre est dédié à des comparaisons expérimentales. La dernière partie de cette thèse est dédiée à une utilisation plus industrielle du code développé. Une idéalisation de l’impact de sloshing par un impact hydrodynamique est donnée. D’autres idéalisations sont proposées pour pousser l’étude encore plus loin. Des cas d’impacts d’une isolation de méthanier sont présentés et permettent d’appréhender le phénomène hydroélastique dans le cas où l’idéalisation est correcte
Full Scale extrapolation of pressure measurements obtained with model scale tanks. The work presented in this manuscript aims at a better comprehension of the hydroelastic phenomena occurring in the Liquified Natural Gas tanker at full scale during sloshing impacts. The existing 2D Smooth Particles Hydrodynamics (SPH) solver has then been enhanced with inspiration of Finite-Volume formalism especially around the works linked with the Riemann solvers. The fluid SPH code is then naturally extended to a structural code. The coupling procedure between the two existing codes is then naturally obtained which is the main advantage of using the SPH method in a fluid-structure context. Some very classical benchmarks are developed in comparison with analytical codes, Finite Elements and experiments. The classical case of hydrodynamic impact is detailed for a rigid structure. The structural code is validated on several benchmarks representatives of different modes which can be simulated with the SPH method. The case of the hydrodynamic impact is presented in a fluid-structure coupled way with a solid mass and then with a plate. A chapter is dedicated to experimental comparisons. The last part of this thesis is dedicated to a more industrial use of the developed code. An idealisation of the sloshing impact by a hydrodynamic impact is given. Some other idealisations are proposed to study the problem further. Some LNG insulation impacts are presented and allow a better comprehension of the hydroelastic phenomena when idealisation is still correct

Le présent mémoire porte sur l'animation passive de phénomènes naturels. L'animation est dite passive lorsque qu'elle [i.e. lorsqu'elle] est directe et sans contrôle ou sans dynamique inverse. En particulier, le type de phénomènes naturels traités est celui des phénomènes gazeux et plus précisément, ceux modélisés par un fluide à phase unique. Tout d'abord, le domaine de l'animation de fluide synthétisé par la simulation d'un modèle physique sera introduit ainsi que la problématique abordée.Le document comprend trois contributions abordant la problématique à différents niveaux. Dans le premier ouvrage, on retrouve une méthode permettant de résoudre les équations de Navier-Stokes en une seule itération sur le GPU (Graphical Processing Unit). La méthode est si simple qu'elle a pu être implémentée en moins d'une journée de travail dans Fx-Composer (vidéo : http: //www.youtube.com/watch?v=PScfTOKbSpU). En plus d'être extrêmement rapide sur le GPU, cette méthode rend l'animation de fluide beaucoup plus accessible et peut être utilisée à différentes fins : l'initiation à l'animation de fluide à l'aide d'une méthode simple à implémenter ou l'ajout rapide d'effets visuels dans un jeu vidéo ou autre application interactive. La deuxième contribution aborde le problème au niveau de la visualisation du fluide. On y retrouve l'élaboration d'une méthode explicite et inconditionnellement stable pour la résolution numérique de l'équation de convection-diffusion utilisée pour simuler la densité d'un gaz qui à la fois est diffusé et transporté dans le domaine par un champ de vecteurs-vitesse, qui dans notre cas représente le mouvement d'un fluide.Le troisième article aborde le problème au niveau de la complexité calculatoire et réduit l'animation 3D de feu à une utilisation 2D strictement en espace-écran. La complexité d'une animation en espace-écran est constante pour une résolution d'image donnée puisque les calculs se font uniquement sur les pixels de l'écran (ou une sur une sous-résolution de ceux-ci).

La déformation d’une capsule en écoulement dans un canal micro-fluidique est un problème compliqué à simuler numériquement. Nous proposons deux modèles innovants de pilotage de données d’ordre réduit pour simuler le problème spatio-temporel à partir d’une base de données collectée des simulations réalisées avec un modèle d’ordre élevé. L’objectif est de remplacer le modèle numérique haute-fidélité existant par un modèle d’ordre réduit capable de simuler l’évolution de déformation des capsules en écoulement à faible cout en temps et en calcul. Le premier modèle consiste à construire à partir d’un cube de données espace-temps-paramètre un modèle réduit pour simuler la déformation de la microcapsule pour n’importe quelle configuration admissible de paramètres. La prédiction de l’évolution temporelle de la capsule pour une configuration donnée de paramètres et un pas de discrétisation temporelle choisi se fait à l’aide d’un apprentissage sur des variétés du modèle réduit. Le deuxième modèle se base sur l’idée de réécrire le problème sous forme d’un système dynamique d’ordre réduit dans lequel les coefficients spectraux des déplacements et les champs des vitesses sont relies à travers d’un opérateur dynamique à identifier. Pour déterminer ce dernier, nous suggérons l’utilisation d’une approche de décomposition en modes dynamiques. Des validations numériques confirment la fiabilité et stabilité des deux nouveaux modèles par rapport au modèle d’ordre élevé. Une application informatique est également mise au point afin d’explorer l’évolution de déformation des capsules pour toute configuration de paramètres admissibles
The motion of a liquid-filled microcapsule flowing in a microchannel is a complex problem tosimulate. Two innovative reduced-order data-driven models are proposed to replace the Fluid Structure Interaction (FSI) model using a collected database from high-fidelity simulations. The objective is to replace the existing Full Order Model (FOM) with a fast-simulation model that can simulate the capsule deformation in flow at a low cost in terms of time and calculation. The first model consists in building from a space-time-parameter datacube a reduced model to simulate the deformation of the microcapsule for any admissible configuration of parameters. Time evolution of the capsule deformation is treated by identifying the nonlinear low-order manifold of the reduced variables. Then, manifold learning is applied using the Diffuse Approximation (DA) method to predict capsule deformation for a query configuration of parameters and a chosen time discretization. The second model is based on rewriting the FSI model under the form of a reduced-order dynamic system. In this latter, the spectral displacement and velocity coefficients are related through a dynamic operator to be identified. To determine this operator, we suggest the use of a dynamic mode decomposition approach. Numerical validations prove the reliability and stability of the two new models compared to the high order model. A software application has been developed to explore the capsule deformation evolution for any couple of admissible parameters

Dans cette thèse, un modèle de fluide réel entièrement compressible a été développé, dans lequel les caractéristiques diphasiques sont obtenues en utilisant une approche tabulée d'équilibre vapeur-liquide (VLE). Ce modèle de fluide réel multicomposant tabulé (RFM) est proposé pour surmonter la plupart des limitations et rendre les simulations de fluide réel abordables. Fondamentalement, le modèle RFM se compose de quatre équations d'équilibre : densité de masse, densité partielle des espèces, quantité de mouvement et énergie. Les propriétés thermodynamiques du mélange sont calculées en fonction de la température (T), de la pression (P) et des compositions (Y) sur la base de différentes équations d'état (EoS). Ce calcul est effectué à l'aide de la bibliothèque thermodynamique IFPEN-Carnot qui génère une table 3D avec (T,P,Y) comme entrées. Cette table de consultation est générée à l'aide d'un flash isotherme-isobarique (TPn) efficace sur le plan informatique, évitant ainsi le flash itératif isochore-isoénergétique (UVn) plus coûteux utilisé dans les travaux précédents. Il inclut spécifiquement différentes sorties thermodynamiques telles que la vitesse du son, la capacité thermique et les propriétés de transport. Le modèle RFM, ainsi que la méthode de tabulation 3D, a été implémenté dans le solveur CFD de CONVERGE. Toutes les propriétés thermiques et de transport sont interpolées linéairement en utilisant la mise à jour (T,P,Y) pendant la simulation. Tout d'abord, diverses études ont été faites pour le raffinement et la dépendance à la grille des tables thermodynamiques, en particulier près de la limite de la phase thermodynamique en utilisant des grilles uniformes et non uniformes. Ces études ont démontré que les grilles non uniformes, comme octree et quadtree, sont coûteuses par rapport à l'approche uniforme. Par conséquent, la tabulation uniforme couplée à la technique de mémoire partagée d'IFPEN s'est avérée être l'approche la plus appropriée pour la tabulation, pour les études industrielles ciblées. Ensuite, le présent travail a également étudié la robustesse et la précision du modèle RFM proposé et des méthodologies de tabulation en conjonction avec deux schémas numériques modifiés différents, un algorithme PISO modifié et un algorithme SIMPLE modifié, adaptés à l'approche actuelle de modélisation des fluides réels. Ensuite, le modèle RFM proposé a été appliqué avec succès à différentes applications universitaires et industrielles pour étudier les caractéristiques de l'évaporation/condensation classique sous-critique et du mélange transcritique. Parmi elles, deux cas d'essais industriels importants pour lesquels des résultats expérimentaux récents sont disponibles ont été simulés et analysés pour valider le modèle RFM.1- La simulation d'une injection cryogénique conventionnelle d'azote liquide coaxialement avec un jet d'hydrogène chaud a été réalisée en utilisant des tables thermodynamiques générées par deux équations d'état différentes : Peng-Robinson (PR) et Soave-Redlich-Kwong (SRK).2- Simulation de l'interaction entre la transition de phase et la dynamique des fluides turbulents pour des jets multi-espèces sous-critiques et supercritiques en utilisant différents modèles de turbulence, y compris des modèles de simulation de grands tourbillons (LES Sigma et Smagorinsky) ainsi qu'un modèle Navier-Stokes à moyenne de Reynolds (RANS K-ε).Les résultats numériques se sont révélés en bon accord avec les données expérimentales disponibles et les études numériques publiées. Enfin, les résultats numériques ont montré que la méthode de tabulation améliore l'efficacité de l'équilibre liquide-vapeur (VLE) pour la modélisation des fluides réels et fournit un moyen d'étudier et de comprendre la structure des interfaces liquide-gaz sous-critiques et transcritiques révélant les caractéristiques hydro-thermodynamiques du mélange de jets multicomposants
In this thesis, a fully compressible real-fluid model has been developed, in which the two-phase characteristics are obtained using a tabulated vapor-liquid equilibrium (VLE) approach. This tabulated multicomponent real-fluid model (RFM) is proposed to overcome most limitations and make real-fluid simulations affordable. Basically, the RFM model consists of four balance equations: mass density, partial species density, momentum, and energy. The thermodynamic properties of the mixture are calculated as a function of temperature (T), pressure (P), and compositions(Y) based on different equations of state (EoS). This is carried out using the IFPEN-Carnot thermodynamic library which generates a 3D-table with (T,P,Y) as inputs. This look-up table is generated using a computationally efficient isothermal-isobaric (TPn)-flash, thereby avoiding the costlier iterative isochoric-isoenergetic (UVn)-flash employed in previous works. It specifically includes different thermodynamic outputs such as sound speed, heat capacity, and transport properties. The RFM model, along with the 3D tabulation method, has been implemented in the CONVERGE CFD solver. All thermal and transport properties are linearly interpolated using the updated (T,P,Y) during the simulation. First, various studies have been done for the refinement, and grid in-dependency of the thermodynamic tables, especially near the thermodynamic phase boundary using uniform and nonuniform grids. These studies have demonstrated that nonuniform grids, like octree and quadtree, is costly compared to the uniform approach. Therefore, uniform tabulation coupled with IFPEN's shared memory technique proved to be the most appropriate approach for tabulation, for the targeted industrial studies. Next, the present work has also investigated the robustness and accuracy of the proposed RFM model and the tabulation methodologies in conjunction with two different modified numerical schemes, a modified PISO and modified SIMPLE algorithms, adapted for the current real fluid modeling approach. Then, the proposed RFM model has been successfully applied to different academic and industrial applications to investigate subcritical classical evaporation/condensation and transcritical mixing characteristics. Among them, two industrially important test cases for which recent experimental results are available have been simulated and analyzed to validate the RFM model.1- Simulation of a conventional cryogenic injection of liquid nitrogen coaxially with a hot hydrogen jet was performed using thermodynamic tables generated by two different equations of state: Peng-Robinson (PR) and Soave-Redlich-Kwong (SRK).2- Simulation of the interaction between phase transition and turbulent fluid dynamics for subcritical and supercritical multi-species jets using different turbulence models including large-eddy simulations (LES Sigma and Smagorinsky) models as well as a Reynolds Averaged Navier-Stokes (RANS K-ε).The numerical results were found to be in good agreement with the available experimental data and published numerical studies, which also showed the relevance of the LES approach associ-ated with the Sigma model for these very complex two-phase flows. Finally, numerical results showed that the tabulation method improves the liquid-vapor equilibrium (VLE) efficiency for real fluid modeling and provides a mean to study and understand the structure of subcritical and transcritical liquid-gas interfaces revealing the hydro-thermodynamic characteristics of the multicomponent jet mixture

Actuellement, la plupart des fabricants de pompes à chaleur (PAC) fournissent les valeurs de coefficients de performances (COP) obtenus en laboratoire en conditions contrôlées et standardisées. Une méthode prometteuse, appelée méthode de mesure des performances dans la suite, d’évaluation des performances de PAC in situ, basée sur le bilan énergétique du compresseur, a été présentée par Tran et al. (2013). Cette méthode détermine le débit de fluide frigorigène et est compatible avec différents types de PAC, notamment air-air, et des cycles frigorifiques plus complexes.Tran et al. (2013) ont déterminé que l’incertitude sur l’évaluation de pertes thermiques du compresseur contribue à hauteur de 40% sur l’erreur d’estimation de la puissance thermique. L’objectif de cette thèse est d’établir une méthode simplifiée quant à l’instrumentation pour mesurer les pertes thermiques in situ. Pour cela, deux modèles numériques détaillés sont développés afin d’examiner la distribution de température sur l’enveloppe de deux types de compresseurs, scroll et rotary. Les mesures expérimentales fournies par un fabricant de compresseurs, Mitsubishi Heavy Industries (MHI), sont utilisées pour calibrer et valider les modèles numériques. Ces derniers permettent de définir deux protocoles de mesures différents pour les deux compresseurs. Ensuite, le protocole établi pour le compresseur rotary est intégré dans la méthode de mesures des performances. Les puissances thermiques calculées sont comparées avec des valeurs de référence, obtenues à partir d’un prototype en banc d’essai à EDF Lab Les Renardières
Currently, most heat pump(HP) manufacturers provide coefficient of performance (COP) values obtained in laboratories under standardized controlled operating conditions. These COP values are not necessarily representative of those obtained on-field. A promising method, referred to as the performance assessment method, that measures heat pump performances in-situ based on compressor energy balance, was presented by Tran et al. (2013). The method determines refrigerant mass flow rate and has the capability of measuring performances of various HP types, such as air-to-air, as well as more complex refrigeration cycles. The method abstains from intrusive measurements, and is, therefore, perfectly suitable for in-situ measurements.As shown in the work of Tran et al. (2013), compressor heat losses account for 40% in the final uncertainty of performance values obtained with the performance assessment method. The objective of this thesis is to establish a rather simplified measurement method, in terms of instrumentation, that is used to determine compressor heat losses in-situ. For this purpose two detailed numerical models for assessing the temperature fields of the scroll and rotary compressor shells were developed. Experimental measurements obtained with the help of compressor manufacturer, Mitsubishi Heavy Industries (MHI), are used to validate and calibrate the numerical models. The developed numerical models allow to define two different measurement protocols for both compressors. Established compressor heat loss protocol for rotary compressor is then integrated in the performance assessment method and the obtained heating capacities are compared with reference measurements in an experimental test bench in EDF Lab Les Renardières

Nous proposons un modèle fluide spatial de réseau qui permet d'établir une expression analytique simple d'une caractéristique des réseaux sans fils, le facteur d' interférence downlink . L'approche que nous développons est utile dans un grand nombre de problèmes liés aux réseaux cellulaires, notamment dans le cadre du dimensionnement de réseaux. Elle simplifie considérabement la complexité de l'analyse nécessaire à l'établissement de résultats précis. L'hypothèse sur laquelle repose le modèle fluide de réseau radio que nous proposons dans cette thèse consiste à remplacer un réseau constitué d'un ensemble discret de stations de base par un ensemble continu de stations de base. Ce modèle permet d'établir une expression analytique simple du facteur d'interférences downlink. Cette expression tient compte de la position du mobile dans la cellule.

Les mouvements collectifs observés dans la nature, tels les nuées d'étourneaux ou les bancs de poissons, peuvent être décrits dans le cadre d'un nouveau type de matière condensée fondamentalement hors d'équilibre : la matière active polaire. Elle est constituée de particules, dites polaires, capables d'utiliser de l'énergie qu'on leur injecte pour se mouvoir dans une direction propre. Nous avons réalisé un système bidimensionnel de disques polaires soumis à une vibration homogène qui n'interagissent que par contact. Ces disques se comportent comme des marcheurs aléatoires, dont les trajectoires présentent une longueur de persistance grande devant leur taille et contrôlée par les fluctuations angulaires de la polarité des disques. Les modes d'alignement résultant du couplage entre la persistance du mouvement et l'interaction de coeur dur entre les particules sont complexes. En particulier, nous observons que seules 10% des collisions se traduisent par un alignement effectif de type ferromagnétique. Pourtant, nous observons l'émergence de mouvements collectifs spontanés au sein du système caractérisés par des fluctuations géantes de densité. Ces résultats montrent la robustesse de l'ordre polaire observé dans les modèles théoriques et numériques de la matière active polaire 2D sur substrat.

Cette thèse est consacrée à l'étude en dimension deux d'un modèle instationnaire de fluide de grade deux. On montre l'existence d'une solution faible dans un domaine Lipschitizien du plan et on prouve l'unicité de la solution dans un polygone convexe. La méthode de la preuve est constructive. Elle est basée sur une décomposition du problème en un problème de Stokes instationnaire et en une équation de transport. Un schéma semi-discrét de ce modèle est ensuite discrétisé en espace. On obtient ainsi un schéma d'éléments finis completement linéarisé. On obtient des estimations d'erreur a priori.

Les systèmes temps réel et distribués posent des problèmes complexes en termes de conception d'architecture et de description de comportements. De par leur criticité en vies humaines et leurs coûts de prototypage, ces systèmes ont motivé le développement d'une activité de recherche sur les langages de modélisation formelle et les techniques de validation basées modèle qui contribuent à la détection au plus tôt des erreurs de conception. Néanmoins, les langages formels ont eu un succès plus que limité dans l'industrie. L'arrivée du langage UML (Unified Modeling Language) a ouvert de nouveaux horizons pour l'intégration de langages de modélisation formelle dans une méthodologie de conception susceptible d'être mieux acceptée par les praticiens du domaine. En s'appuyant sur une expérience antérieure de la technique de description formelle Estelle et des extensions temporelles des réseaux de Petri, notre activité de recherche sur les cinq dernières années a débouché sur la production d'un profil UML nommé TURTLE (Timed UML and RT-LOTOS Environment). TURTLE surpasse UML 2.0 par ses extensions aux diagrammes d'analyse et de conception UML, sa sémantique formelle exprimée en RT-LOTOS, et ses outils de support (éditeur de diagrammes et outil de validation formelle combinant simulation et vérification basée sur une analyse daccessibilité). La méthodologie TURTLE trouve son champ d'application naturel dans la conception de systèmes temps réel et la validation d'architectures de communication en particulier. L'approche proposée a été appliquée avec succès à des systèmes satellitaires et des protocoles d'authentification.

Cette thèse s'inscrit dans un cadre de simulation temps réel basée sur la physique. Le but premier de ce travail est de proposer un modèle déformable ID. Les applications d'un tel modèle sont nombreuses en réalité virtuelle ou en animation pour la simulation d'objets déformables longilignes, tels que lès cordes, ficelles ou lacets. Nous proposons un modèle déformable ID temps réel basé sur une géométrie de type spline et animé par les équations physiques de Lagrange. Nous nous sommes appuyés pour cela sur les travaux de Yannick Rémion et de son équipe au LERI. Ce modèle se révèle particulièrement adapté à la simulation chirurgicale pour la représentation de fil de suture ou d'organes (intestin grêle, trompes de Fallope,. . . ). Pour certaines applications, il peut être intéressant de demander au modèle déformable de vérifier certaines. Conditions exprimées sous formes d'équations de contraintes. La prise en compte de ces contraintes s'effectue, dans le système dynamique, à l'aide de la méthode des multiplicateurs de Lagrange. Dans ce contexte de contraintes pour la simulation, dynamique, l'une des contributions majeures de cette thèse est la proposition d'une nouvelle classe de contraintes, appelée contraintes glissantes. Elles permettent, par exemple, d'imposer à un fil de passer par un point de l'espace sans imposer de valeur paramétrique correspondante. Ce type de contrainte est particulièrement utile pour la simulation de suture dans un contexte chirurgical, mais répond aussi à des besoins d'animations spécifiques (lacet de chaussure, noeuds coulant,. . . )
Certaines applications, comme la suture d'organe, mettent en jeu plusieurs modèles dynamiques liés ensemble. Pour ce type de simulation, nous proposons une architecture logicielle permettant de simuler des articulations d'objets quelconques (rigides ou déformables) quel que soit le formalisme physique employé pour chacun d'eux. Cette proposition logicielle trouve diverses applications notamment en simulation chirurgicale mais permet aussi de simuler dynamiquement toute articulation d'objets hétérogènes. Certaines manipulations requièrent une souplesse du modèle à des endroits précis, sachant que ces zones peuvent se déplacer lors d'une simulation, par exemple pendant le serrage d'un noeud. Pour cela, nous proposons une multirésolution géométrique et mécanique sur notre modèle qui vise à adapter localement sa résolution afin qu'il puisse s'adapter aux interactions tout en offrant des bonnes performances générales en calcul. On concentre alors le plus gros du temps de calcul sur les zones d'intérêt et on limite ce temps dans les autres zones du modèle. Un critère d'adaptation de la résolution en fonction de la courbure est proposé. Cette technique est particulièrement adaptée à la simulation de noeuds en permettant à la spline d'augmenter le nombre de degrés de liberté et ainsi en lui fournissant une grande souplesse de définition géométrique dans la zone de serrage

La notion de puissance désigne l’appétit de croissance illimité qu’alimentent aujourd’hui les technosciences. Les techniques potentialisent le réel grâce au virtuel en instaurant un régime d’immaîtrise valorisé par le transhumanisme. Le rapport sur les NBICs (Nanotechnologie-Biotechnologie-Information-Cognition), figure comme le symbole de la technologie pensée sur le modèle d’un processus vital autonome et conspirant à l’avènement d’une posthumanité.

Si les philosophes ont coutume de penser la morale à l’aune d’un modèle, dont l’imitation serait un bien et l’écart un mal, le philosophe et penseur critique de l’évolution Jean-Marie Guyau (1854-1888) subvertit cette exigence d’uniformité. Le pluralisme éthique, loin d’être un facteur de décohésion morale et sociale, serait au contraire la condition d’une existence qui se ressource dans la puissance de la vie, et dont l’intensification est productrice de solidarité. L’anomie, puisque c’est le nom que Guyau confère à cette éthique pluraliste, déborde ainsi sur la promotion paradoxale de l’association, comme forme fluide de société, à même de répondre à cet appel de la vie à toujours plus de différenciation.

Dans son ouvrage de 2010 (« Les images de l’eau dans le cinéma français des années 20 », Presses Universitaires de Rennes), Eric Thouvenel interroge la profusion des images de la liquidité dans une période bien précise du cinéma français, mais tout en l’interprétant comme un symptôme du temps ; non seulement d’une époque trouble, postérieure à la Grande Guerre, mais du temps lui-même. En effet, au début du XXème siècle, le développement des technologies cinématographiques s’accompagne d’une redécouverte de l’ensemble de la réalité comme liquide, et ainsi d’une remise de la question du dynamisme, de la temporalité et du mouvement, au centre des thématisations dans tous les domaines. Cette redécouverte opère dans le champ du social, de l’art, de la philosophie (notamment grâce à la pensée bergsonienne), et aussi de la science (avec la mécanique des fluides). On traverse ainsi un seuil. On engage un changement de paradigme symbolique, tout comme si depuis le XXème siècle on avait quitté un modèle tellurien pour nous donner à l’immersion d’un modèle aquatique. Ceci justifie suffisamment la démarche de Thounevel, voulant analyser les images aquatiques dans la France des années 20, d’un regard lui-même fluide (p.16), mais ceci justifie aussi à nos yeux un décryptage et une systématisation du dit regard.Nous proposons ainsi de décomposer ce regard fluide, notamment dans l’œuvre de Thounevel et de Gilles Deleuze (dans « Cinéma 1, Image-mouvement » et « Cinéma 2, Image-temps », Éditions de Minuit), visant la plus grande simplicité schématique, et tenter de l’appliquer au cinéma de Philippe Garrel, comme cas d’étude. L’œuvre de Garrel, se prêtant tout particulièrement à une analyse liquide, nous accordera ainsi, la convenance d’un exemple contemporain et la délimitation nécessaire à cette construction d’un cadre méthodologique pour les approches théoriques du cinéma à venir.DOI: http://dx.doi.org/10.4995/XXVColloqueAFUE.2016.3090