Cette thèse, dans ses deux parties distinctes se veut une contribution à la compréhension des phénomènes de coopération et des facteurs concourant à leur stabilité dans les domaines de l'Économie Publique et Industrielle. Il est ainsi utilisé à cette fin les outils classiques de théorie des jeux aussi bien coopératifs que non coopératifs. En Économie Publique, la réussite et la stabilité d'une action collective pour le financement d'un bien public (cf première partie) est souhaitable, puisqu'elle permet d'atteindre un niveau de production efficace (au sens de Pareto), que ne peut permettre un processus non coopératif. En revanche, les phénomènes de concentration en Économie Industrielle (cf deuxième partie), sont en général indésirables car se faisant au détriment des intérêts du consommateur. Cela étant, que la coopération soit destinée à la production d'un bien public ou qu'elle constitue la base de la formation d'une structure de marché concentrée, les contractants sont confrontés à un même problème : la difficulté de stabilisation de l'accord eu égard à l'émergence du phénomène de "free-riding", qui met en échec la pérennité de la coopération. Ce phénomène, conséquence directe des externalités générées par tout processus de coopération (que cela soit en Économie Publique ou Industrielle), est considéré comme un facteur important d'échec des initiatives d'entente. Il est considéré par certains auteurs en Économie Industrielle comme un argument à l’encontre de tout interventionnisme étatique anti-trust. En Économie Publique, il paraît justement expliquer et justifier les fréquentes interventions de l'État du fait qu'il freine toute action de financement collective et volontaire des agents en vue d'une production collectivement suffisante de bien public. Des questions essentielles s'imposent alors à l'analyse : ces phénomènes "bloquants" sont-ils systématiques ou dépendent-ils des caractéristiques initiales de l'économie considérée ? Comment interagissent les paramètres en présence pour déterminer la réussite de la coopération ? Indépendamment des natures distinctes des Economies étudiées dans les deux parties, c'est à ces questions que nous apporterons des éléments de réponses dans cette thèse. Dans la première partie, l'analyse de l'impact des richesses initiales sur les différentes issues de jeux non-coopératifs, centre d'intérêt de récents travaux, est généralisée à un jeu où les joueurs sont non plus des individus isolés mais des groupes de joueurs (coalitions). Nous montrons de quelle façon les caractéristiques de l'Économie se combinent pour déterminer les issues non-coopératives qui sont autant d'alternatives à la coopération. Nous envisageons dans un deuxième temps les problèmes liés à la coopération. Kolm [1987] souligne l'importance de la prise en compte des interactions stratégiques entre les coalitions scissionnistes. Cette idée a été appliquée par Kolm principalement au financement d'un bien public mais aussi à d'autres problèmes où la coopération génère des effets externes comme celui de la coordination internationale des politiques macro-économiques. Nous développons sur la base de cette idée, un cadre conceptuel dans lequel peuvent s'inscrire les problèmes posés par la coopération et sa stabilité. L'instrument principal d'analyse est le coeur et quelques unes de ses extensions dues principalement à Aumann [1961] et Moulin [1981]. Nous proposons également d'autres notions de coeur spécialement adaptées à l'étude des problèmes soulevés. Dans la deuxième partie, la question de la stabilité d'une action coopérative est posée dans un cadre de concurrence imparfaite, et plus précisément sur un marché différencié. Notre travail se situe dans le prolongement des analyses engagées dans le cadre de deux littératures, une traitant des problèmes de fusion-acquisition et l'autre de cartellisation. L'objectif principal est la mesure de l'impact d'une concurrence extérieure sur l'évolution du marché vers des structures concentrées. Nous montrons comment interviennent le nombre d'entreprises fusionnées (ou cartellisées), la différence d'exposition de ces firmes vis à vis de la concurrence extérieure, et la taille de cette dernière dans la réussite ou l'échec de la coopération. Trois facteurs de déstabilisation sont pour cela pris en compte : le "free-riding" (qui freine aussi bien les opérations de fusion que les opérations de cartellisation), la "déviation" par rapport au système de prix coopératif (s'il s'agit d'une cartellisation), et la menace d'entrée d'une nouvelle entreprise sur le marché.

Ce travail se compose de deux parties indépendantes. La première est consacrée à l'étude de la méthode du décalage, dite aussi méthode du Shift, pour le calcul d'espérances mathématiques en dimension grande ou infinie. Pour l'essentiel, la méthode du décalage est la mise en oeuvre informatique du théorème ergodique ponctuel de Birkhoff pour l'opérateur de décalage (à gauche ou, à défaut, à droite). La deuxième partie s'attache au problème de l'approximation des mesures invariantes pour les chaînes de Markov.

Présentation d'une conception nouvelle des systèmes d'exploitation. Description du système PASC-HLL

Les institutions de mémoire et de savoir (par exemple, les bibliothèques, les archives, les musées) font face à des défis importants dans leurs responsabilités d’assurer la pérennité du patrimoine documentaire à l’ère numérique. Citons la surabondance de l’information numérique, la possibilité de production, théoriquement illimitée, offerte aux individus comme aux groupes sociaux, les limites dans les capacités de stockage et de diffusion de l’information numérique qui sont à la disposition des institutions mandataires du patrimoine documentaire. De plus, il est apparu que les approches et les méthodes utilisées pour identifier, gérer, préserver et diffuser le patrimoine documentaire de la société canadienne dans un environnement analogique n’étaient transférables à un environnement numérique. Nous suggérons que la théorie sociale de la connaissance peut servir de base à une réflexion portant sur le développement d’une politique publique qui viserait à encadrer l’identification, la sélection, la gestion et la préservation du patrimoine documentaire d’une société à l'ère numérique. Nous définissons la problématique puis proposons des réponses à travers trois articles scientifiques. Les résultats indiquent que les connaissances et les pratiques professionnelles utilisées demeurent persistantes et limitent la formulation et l'application de nouveaux cadres théoriques, de politiques administratives et de techniques associés à l'identification et la sélection du patrimoine documentaire. Cette recherche propose un cadre conceptuel qui permet de développer des politiques publiques sur le patrimoine documentaire du Canada. / Memory and knowledge institutions (for example, libraries, archives, museums) face significant challenges in their responsibilities to ensure the long-term preservation of documentary heritage in the digital age. The overabundance of digital information, the potential unrestricted ability to create and produce digital information by individuals and social groups; the lack of storage capacity and ability to disseminate digital information by documentary heritage institutions are only a few of these challenges. Moreover, the approaches and methods used in an analogue environment to identify, manage, preserve and disseminate Canadian documentary heritage have proven to be non-transferable to the digital environment. We suggest that social epistemology can support the development of public policy approach for documentary heritage institutions to identify Canada's documentary heritage in the digital age. We explored this issue and we tried to respond to it through three scientific articles. Our research indicates that existing professional practice and objective knowledge remains persistent and limits the formulation and application of new theoretical frameworks, administrative policies and instruments related to the identification and selection of documentary heritage. To remedy this situation, our research identifies a conceptual framework that can be used to develop public policies on Canada's documentary heritage.

Cette étude s’intéresse à la modélisation de la ségrégation des impuretés lors des procédés de solidification dirigée du silicium pour l’industrie photovoltaïque. Il s’agit d’un problème multi-physiques et multi-échelles qui nécessite des modèles efficaces pour pouvoir traiter des configurations industrielles en 3D. La première partie de l’étude porte sur le développement de fonctions de paroi solutales dans le but d’estimer la ségrégation sans résoudre numériquement la couche limite solutale. Un modèle analytique est alors utilisé pour estimer le paramètre convecto-diffusif à partir de la contrainte de frottement à l’interface solide/liquide. L’approche proposée consiste à coupler une simulation hydrodynamique de la convection dans la phase liquide et un calcul analytique de la ségrégation. Cette démarche est validée sur un cas de référence en 2D. Le modèle développé fournit une estimation pertinente de la concentration dans un lingot solidifié avec une vitesse imposée, y compris sur un maillage ne résolvant pas la couche limite solutale. La deuxième partie de l’étude concerne l’utilisation d’un système de brassage mécanique dans le but de favoriser la ségrégation des impuretés. Des simulations transitoires de brassage sont réalisées avec le logiciel FLUENT. Les résultats sont comparés à des mesures de champ de vitesse par PIV effectuées sur une maquette en eau, afin de valider le modèle hydrodynamique. La simulation de brassage est ensuite couplée à un calcul de ségrégation en régime quasi-permanent qui permet d’analyser l’influence de l’écoulement sur la couche limite solutale. Dans la dernière partie de l’étude, une simulation de solidification dirigée 3D instationnaire en régime de convection forcée, intégrant la thermique du four, est réalisée. Un modèle empirique de forces volumiques est alors proposé pour décrire l’écoulement lié au brassage dans le silicium liquide. Une première tentative d’estimation des ségrégations par l’approche analytique est ensuite mise en œuvre. / The present study focuses on solute segregation during photovoltaic silicon directional solidification. This multi-physics problem involves various spatial and temporal scales. The numerical simulation of this process requires efficient models, especially for 3D industrial configurations. In the first part of the study, solute wall functions are derived from a scaling analysis in order to estimate the segregations without numerical resolution of the solute boundary layer. The method is based on the coupling of an hydrodynamic simulation of convection in the liquid phase and an analytical segregation computation. The developed analytical model provides an estimation of the convecto-diffusive parameter from the wall shear-stress at the solid/liquid interface. A reference case in 2D with imposed solidification rate is used for validation purposes. The developed model provides a meaningful estimation of concentration fields in the ingots. In a second part, we focus on segregation optimization by a mechanical stirrer. Transient stirring simulations, using a sliding mesh technique, are achieved with FLUENT commercial software. Results are compared to PIV velocity field measurements performed on an experimental setup using water. A segregation computation in a quasi-steady regime is then implemented in the stirring simulation. The effect of the stirring parameters are directly observed on the solute boundary layer at the solid/liquid interface. In a third part, a transient solidification simulation, including furnace thermal conditions, is performed in a 3D configuration with forced convection. The flow generated by the impeller is described thanks to an empirical model based on body forces. A first attempt is finally made to retrieve segregations in the ingot with the developed analytical method.

Le but du travail présenté est la compréhension puis la simulation numérique des mécanismes d'érosion des augets de turbine Pelton par impacts répétés de gouttes d'eau dans le but de prédire la durée de vie des composants. Tout d'abord, les phénomènes de propagation d'ondes dans les milieux fluide et solide sont étudiés. Cela permet de mettre en lumière l'évolution temporelle et la distribution spatiale des pressions de contact, et l'apparition de microjets par éjection supersonique du fluide au contact. Les études expérimentales de l'érosion par gouttes d'eau traduisent un dommage basé sur la fissuration par fatigue. Des simulations numériques en dynamique rapide couplées fluide-structure sont alors effectuées. Le domaine solide est discrétisé par la Méthode des éléments Finis (MEF), et le domaine fluide par la méthode Smoothed Particle Hydrodynamics (SPH), qui est une méthode particulaire (sans maillage) particulièrement adaptée aux grandes distorsions et au suivi des surfaces libres. L'analyse des états de contraintes vient corroborer la nature cyclique de l'endommagement. La simulation d'érosion est alors réalisée à l'aide de critères de fatigue multiaxiaux. Le choix se porte vers un premier critère général de l'American Society of Mechanical Engineers (ASME), utilisant les valeurs principales des différences de contraintes au cours du temps. Le second choix concerne un critère à plan critique : le critère de Dang Van 2. Il traite séparément la contrainte hydrostatique et le cisaillement alterné maximal local. Ces critères permettent de définir les régions érodées du solide au bout d'un nombre d'impact donné, ce qui fait de cette démarche une méthode prédictive. Une étude paramétrique pour différentes tailles de gouttes et vitesses d'impact est ensuite réalisée, puis on évalue l'influence de la présence d'une couche de coating. / The goal of this work is the comprehension and the numerical simulation of erosion caused by repeated droplet impact on Pelton turbine buckets, to predict the lifetime of these components. First, waves propagation phenomenon inside fluid and solid domains are presented, which allows determining the time evolution and spatial distribution of contact pressure, and the birth of lateral microjets by supersonic ejection of the fluid on the contact. Experimental studies of erosion by droplet impact highlight a fatigue cracking-based erosion mechanism. Then, coupled FSI computation are performed. The solid subdomain is discretized by the Finite Element Method (FEM), and the fluid subdomain by the Smoothed Particle Hydrodynamics (SPH), which is a particle method (meshless) effectively recommended for large distortions and free surface tracking. Stress analysis confirms the cyclic nature of the damage mechanism, and erosion simulation is performed using multiaxial fatigue criteria. The first selected criterion is a general one from the American Society of Mechanical Engineers (ASME) using principal values of stress differences over time. The second one is the Dang van 2 criterion, belonging to the family of critical plane criteria. This criterion considers separately the effects due to hydrostatic stress on one hand, and the ones induced by maximum local shear on the other. These two criteria are used to building the equivalent eroded zones of the solid subdomain for a given number of impacts, which allows to qualify this procedure as a predictive predictive. Finally, a parametric study for different droplet sizes and velocites is computed, and the effects of a coating layer are investigated.

Le prototypage virtuel des circuits pneumatiques de puissance, par exemple les circuits de freinage des véhicules industriels, constitue un enjeu important en raison de la complexité des écoulements en régime transsonique et des couplages entre les échelles locales et macroscopiques. Ces problèmes sont rencontrés lors de la conception, de la synthèse des commandes et de l'analyse des performances statiques et dynamiques de ces circuits et l'analyse. La mise au point des modèles numériques de ces systèmes induit des coûts et des temps importants par rapport à d'autres systèmes. La démarche proposée dans cette thèse repose sur la construction numérique de bases de données permettant de caractériser le comportement local et macroscopique d'un composant de circuit en fonction de la variation de certains paramètres physiques ou géométriques par rapport à un point de fonctionnement de référence. Les bases de données résultent de l'extrapolation de la solution des équations de Navier Stokes moyennées (RANS) pour le point de référence considéré obtenu à l'aide d’un logiciel de paramétrisation en mécanique des fluides (Turb’Opty). La contribution de cette thèse repose pour l'essentiel dans un travail d'analyse des solutions issues de la paramétrisation dans deux contextes différents: la tuyère De Laval et un élément "coude", des composants élémentaires de circuit. Nous avons montré que ces exemples "simples" conduisent déjà à des difficultés importantes en termes de paramétrisation du problème et du calcul des dérivées des champs aérodynamiques en raison de la taille du problème. Pour pallier cette difficulté, nous avons proposé de déraffiner le maillage et nous avons alors montré que cette démarche conduit parfois à déplacer ou à atténuer certains phénomènes (chocs). La deuxième contribution de ce travail repose sur l'évaluation de la qualité des solutions extrapolées, de leur domaine de validité et la construction des liens entre grandeurs locales et macroscopiques. Nous avons enfin proposé une démarche permettant de reconstruire la caractéristique en débit d'un composant à partir de la détermination de la solution extrapolée pour un nombre limité de points de référence. / Virtual prototyping pneumatic circuits for power transmission, for example braking circuits of trucks, is still a difficulty because of the complexity of the flow behavior in transonic conditions and of the coupling between local and macroscopic scales. These problems are met during system design, control synthesis and for static and dynamic performance analysis. Tuning accurate numerical models requires important costs and time when compared to other systems. The methodology proposed in this PhD thesis relies on numerically determining a data base that characterizes the local and macroscopic behavior of a circuit component according the variation from a reference point of some physical or geometrical parameters. The data bases are obtained from the extrapolation of the Mean Navier Stokes solution (RANS) for a given reference point with the help of a parametrization software dedicated to fluid mechanics (Turb'Flow). The main contribution of this thesis relies io the analysis of the solution obtained from the parametrization in two different cases: the De Laval nozzle and un "elbow" connecting element, which are elementary component in a circuit. We have shown that these two "simple" cases lead already to important difficulties in term of problem parametrization and calculation of the derivatives of the aerodynamic fields because of the problem dimension. In order to tackle this, we proposed to reduce the spatial discretization (mesh derefining) and we showed that this approach could sometimes lead to damp or move some phenomena (shocks). The second contribution of this work relies on evaluating the quality of the extrapolated solution and their validity domain, and on building links between local and macroscopic behavior. Finally, we proposed a method that allows the mass flow rate characteristic of a component to be determined from the calculation of the extrapolated solution issued from a limited number of reference points.

Propagation d'une onde cohérente dans les profils monocouches et multicouches: comportement interférentiel simplifie. Couches, substrats et ondes réelles. Interférences et couches minces en cohérence partielle: source spatialement incohérente, interférence a deux ondes, mesure visuelle sur l'axe de la source ; source rectangulaire, spatialement incohérente ; source spectralement et spatialement incohérente

Parmi les problèmes soulevés par ce qu'aucuns appellent la "Théorie de la Commande Hiérarchisée", il en est un qui est remarquable : c'est celui de l'appellation même de ce secteur des mathématiques de l 'optimisation statique ou dynamique. En effet, on a employé à son égard, simultanément ou successivement, les termes de "décomposition", "commande ou systèmes hiérarchisés ou à plusieurs niveaux", "décentralisation", "coordination" etc... Cette indétermination verbale cache sans doute une indétermination conceptuelle sur l 'objet de cette théorie. Il faut en fait convenir que l'on a tendance à confondre plusieurs types de problèmes dont le dénominateur commun est semble-t-il la présence d'un système complexe. <br/><br/>Formalisme et principes de coordination. Algorithme de Takahara et extensions. Prédiction et opérateur d'intéraction. Application à la commande optimale. Étude du fonctionnement dégradé. Problème de la décomposition du système.

Nous présentons dans cette thèse les travaux réalisés concernant la vérification automatique de Bases de Connaissances de Systèmes Experts. Cette étude comporte un panorama des systèmes existants, puis deux parties indépendantes. La première traite de la Cohérence de bases de règles d'ordre Zéro Plus. Nous présentons le système MELOMIDIA, qui fournit, quand elles existent, les bases de faits initiales conduisant à des déductions contradictoires. Le système permet aussi d'améliorer l'exploitation de la base de règles analysée (élimination des règles inutiles, filtrage de la base de faits initiale), et de visualiser les contradictions qu'elle contient (traceur d'incohérences). La seconde concerne la vérification de bases de règles d'ordre Un. Elle consiste à s'assurer que la base respecte des spécifications exprimées sous la forme de propriétés attachées aux prédicats présents dans la base de règles. Ces propriétés sont fournies suivant un modèle qui distingue quatre niveaux de description des prédicats : les niveaux syntaxique, physique, mathématique et fonctionnel.