Définition du projet: "CYCLADES", un réseau d'ordinateurs ; le traitement par lots dans un réseau hétérogène ; définition d'un serveur de traitement par lot pour le réseau CYCLADES ; définition d'un poste d'accès banalisé. Différents éléments de la réalisation : étude de la mise en œuvre ; outils pour le développement et la mise au point ; évaluation de la solution adaptée.

Cette thèse porte sur la prise de décision distribuée dans des<br />systèmes multi-agents agissant sous incertitude (les colonies de<br />robots autonomes par exemple). Les processus décisionnels de Markov<br />Décentralisés décrivent un formalisme mathématique permettant de<br />modéliser et de résoudre de tels problèmes. Leur utilisation pour la<br />planification des tâches dans des applications réelles pose<br />toutefois quelques difficultés. Le modèle usuel des DEC-MDPs ne<br />permet par exemple pas la prise en compte de contraintes sur l'exécution des tâches. De plus,<br />la complexité de leur résolution est telle qu'il est difficile de déterminer une solution optimale excepté pour de <br />petits problèmes.<br /><br />Le travail que nous présentons dans cette thèse a pour premier objectif<br />d'adapter le modèle des DEC-MDPs afin de proposer une modélisation<br />adéquate du temps et des actions, et de permettre la représentation de<br />problèmes réels. Nous décrivons ainsi une nouvelle classe de<br />DEC-MDPs : les OC-DEC-MDPs (DEC-MDP avec Coût Occasionné). Dans un second temps,<br />nous nous intéressons à leur résolution. Nous proposons différents<br />algorithmes procédant à la planification des tâches de chaque agent<br />en vue d'une prise de décision décentralisée et autonome, en accord<br />avec les contraintes du problème. Afin de développer des algorithmes<br />efficaces et de traiter des problèmes de taille importante, nous recherchons une<br />approximation de la solution optimale. Nous procédons<br />également à un découpage du problème initial en un ensemble de MDPs,<br />et introduisons la notion de coût occasionné afin de tenir compte<br />des interactions entre les agents et de calculer des politiques<br />coopératives.

Le thème sous-jacent au travail de thèse est de réaliser des calculs implicites de structures, pour des chargements quasi-statiques et sous les hypothèses des petites perturbations, sur des ordinateurs à architecture parallèle. La méthode employée se classe dans la catégorie des méthodes de décomposition de domaine pour résoudre des problèmes de grande taille.<br />La méthode employée se propose de tirer parti du parallélisme intégré dans la Méthode A Grand Incrément de Temps (LATIN), proposée par Pierre Ladevèze et développée depuis plusieurs années au Laboratoire de Mécanique et Technologie de Cachan, couplée avec une méthode de décomposition de la structure en sous-structures et interfaces. Une première étude, restreinte au cas de l'élasticité plane, a permis de mettre en évidence que l'utilisation directe de cette approche, sans stratégie particulière, perd rapidement de son efficacité lorsque le nombre de sous-structures croît.<br />Le but du travail de thèse a été de montrer la faisabilité de l'intégration d'une stratégie multiéchelle (à 2 degrés de raffinement suivant une vision hiérarchique), pour pallier la difficulté précédente. L'adjonction d'un problème à grande échelle, global sur toute la structure, permet ainsi de prendre en compte les effets à grande longueur d'onde et de propager rapidement l'information parmi les sous-structures. Cette stratégie a été implantée dans le code de calcul de type industriel CASTEM2000 (maintenant Cast3M) de façon à pouvoir être portée sur différents calculateurs multiprocesseurs à mémoire distribuée. Un autre point clé est l'étude du choix des discrétisations des champs intervenant dans la méthode, pour ne pas complètement privilégier une approche en déplacement au détriment des quantités « statiques », en particulier pour les interactions entre les sous-structures et leur environnement, à savoir les interfaces qui leur sont connectées.

Ce travail propose une approche originale pour l'ordonnancement de tâches sous contraintes de temps et de ressources. Les méthodes et techniques développées s'inscrivent dans la problématique de l'"Analyse Sous Contraintes" (A.S.C.) des problèmes d'ordonnancement. Cette A.S.C. vise à caractériser les ordonnancements admissibles de manière à proposer au décideur un choix d'actions cohérentes vis-à-vis des contraintes, tout en lui offrant une certaine flexibilité face à des aléas éventuels. L'A.S.C. est décrite comme un processus d'inférence mettant en interaction une base de règles et une base de faits temporels et séquentiels représentant les caractéristiques des ordonnancements admissibles. Un logiciel (MASCOT) écrit en Prolog-II a été réalisé selon ce principe. Une nouvelle approche pour l'A.S.C. et plus particulièrement pour le raisonnement temporel sous contraintes de ressources a été développée. L'originalité de cette approche réside essentiellement dans la prise en compte du couplage temps/ressource à l'aide du concept d'intervalle temps-ressource qui conduit à utiliser un raisonnement énergétique. L'intervalle temps-ressource permet de représenter à la fois les tâches ou intervalles consommateurs et les intervalles de temps alloués sur lesquels des ressources sont disponibles, appelés intervalles fournisseurs. Le problème de l'ordonnancement de tâches amène à étudier l'interaction entre intervalles consommateurs et fournisseurs sur la base de considérations énergétiques. Le logiciel MASCOT met en jeu un processus de déduction symbolique. Ce type de déduction a été amélioré par la prise en compte de l'énergie obligatoirement consommée ou consommation obligatoire d'intervalles consommateurs sur un intervalle fournisseur. De nouvelles règles de déduction ont été écrites et intégrées dans MASCOT. D'autre part, un processus de déduction basé sur un raisonnement purement énergétique a été élaboré et implémenté (logiciel REPORT) en Prolog-II. Il utilise un autre type de déduction, la déduction numérique, qui permet d'affiner les bornes temporelles d'un intervalle fournisseur en considérant la consommation obligatoire des autres intervalles consommateurs. En d'autres termes, ces résultats consistent à actualiser des dates limites et correspondent à des conditions nécessaires d'admissibilité ; ils permettent ainsi de détecter des infaisabilités éventuelles. L'outil de modélisation utilisé est le graphe potentiels-bornes qui permet de représenter des contraintes numériques (sur la durée des tâches par exemple) et des contraintes symboliques entre intervalles. Il sert de support à un processus d'inférence par propagation numérique des contraintes.

Le but de cette thèse est d'étudier des questions issues de la théorie de l'élasticité en utilisant des méthodes d'analyse mathématique et de géométrie différentielle. Dans le cas mono-dimensionnel, qui est lié à l'étude des fils élastiques, nous prouvons des résultats d'existence, d'unicité et de stabilité d'une courbe dans des espaces de Sobolev. Nous traitons ensuite le cas général d'une immersion de dimension et de co-dimension quelconques d'une sous-variété dans l'espace euclidien. Nous montrons ainsi que le résultat classique d'existence et d'unicité d'une telle immersion peut être étendu jusqu'au bord de la sous-variété, sous une hypothèse de régularité peu restrictive sur celui-ci. En outre, nous montrons que l'application ainsi construite est localement lipschitzienne pour les topologies appropriées. Enfin, nous revenons à l'étude des fils élastiques, pour obtenir des inégalités de Korn linéaires et non linéaires pour les courbes en dimension 3.

Les réacteurs hybrides, basés sur le couplage entre une source externe de neutrons et un coeur sous-critique, offrent des possibilités d'incinération des déchets radioactifs. Afin de mieux comprendre la spécificité neutronique d'un tel système, durant le programme expérimental MUSE IV, le réacteur expérimental MASURCA (CEA Cadarache) a été couplé à la source de neutrons GENEPI réalisée au LPSC Grenoble. Ce dispositif a permis de mettre au point une technique de mesure en ligne du facteur de multiplication effectif du réacteur. Cette mesure tire profit des caractéristiques de la réponse du réacteur en fonction du facteur de multiplication aux échelles de temps des phénomènes de fission prompts et retardés. L'analyse des expériences montre que la méthode proposée permet d'obtenir des résultats en accord avec ceux déduits grâce aux techniques classiques de mesure de réactivité qui ne peuvent cependant pas être utilisées dans un réacteur hybride de puissance.

On étudie principalement les catégories de foncteurs de source une petite catégorie additive et de but une catégorie de modules. Pour cela on utilise des techniques de localisations dans la catégorie homotopique des objets simpliciaux. La notion de déviation (cross-effect) permet de définir le degré d'un foncteur polynomial. Dans un premier temps, on justifie l'existence d'une localisation dont les objets locaux sont les foncteurs simpliciaux ayant des groupes d'homotopies de degré n. La catégorie de foncteurs est filtrée par la suite croissante de sous-catégories des foncteurs de degré inférieur ou egal à n. Cette filtration donne lieu à une tour de localisations homotopiques. On donne ensuite une description de la n-ième fibre de cette tour. On utilise pour cela la catégories des foncteurs à n variables symétriques et les localisations dans ce cadre. Les foncteurs locaux sont alors ceux ayant des groupes d'homotopies linéaires en chaques variables. Dans le cas de foncteurs de source la catégorie des modules libres de rang fini, on obtient une autre description, en termes de modules simpliciaux sur un anneau simplicial. Pour les espaces vectoriels sur le corps à deux éléments, l'homotopie de l'anneau simplicial est la n-ième puissance tensorielle de l'algèbre dual de l'algèbre de Steenrod. Enfin, on calcul les groupes d'homotopies des modules simpliciaux obtenus à partir des foncteurs associés aux algèbres symétriques, extérieures, et divisées.

L'analyse et l'approximation de solutions des Equations Differentielles Stochastiques (E.D.S.) possédant des coefficients discontinus est un sujet qui n'a pas ete traité de facon pleinement satisfaisante. Ce problème devient particulierement motivant lorsque l'on cherche à approcher, par des méthodes de Monte-Carlo, les solutions de certaines Equations aux Derivées Partielles (E.D.P) qui font également intervenir des coefficients discontinus. C'est par exemple le cas, bien connu en Physique, des E.D.P.s avec opérateur sous forme divergence (O.F.D.) dont les coefficients sont discontinus et que nous étudions dans ce mémoire : les discontinuités traduisent alors les irrégularités du milieu dans lequel évolue le système étudié. Cette thèse propose de nouveaux résultats pour l'analyse et l'approximation de solutions des E.D.S. qui sont reliées à un O.F.D. dont les coefficients sont discontinus. Les aspects statistiques des modèles en jeu sont également étudiés.

L'étude complète des réacteurs à sels fondus, destinés à une production massive et durable d'énergie nucléaire, doit coupler les aspects neutronique, hydraulique et thermique. Ce couplage, intégrant les codes MCNP et Trio_U, est entrepris dans le cadre du prototype MSRE, où il donne des résultats très proches de l'expérience. L'extrapolation de cette étude permet de proposer des modifications pour améliorer les coefficients de sûreté des réacteurs à sels fondus de puissance.<br> Un deuxième volet concerne les réacteurs sous-critiques pilotés par accélérateur, dévolus à l'incinération des déchets radioactifs. Nous proposons une méthode de mesure absolue de la réactivité prompte à partir de la décroissance suivant une impulsion de neutrons. Elle ne suppose connue que la distribution des temps entre générations de neutrons, caractéristique du réacteur. Cette méthode est appliquée aux résultats de l'expérience MUSE 4 et présente une erreur relative sur la réactivité inférieure à 5%.

Cette thèse concerne l'étude expérimentale de la transition vers la turbulence dans le cas de l'écoulement de Couette plan. Cet écoulement est linéairement stable pour tout nombre de Reynolds ($R$) et, lorsqu'il est perturbé, une coexistence entre l'état laminaire et l'état turbulent peut être observée. Nous montrons à l'aide d'une perturbation localisée et permanente -un fil perpendiculaire à l'écoulement- que les structures cohèrentes de rouleaux longitudinaux contra-rotatifs présentes autour du fil sont identiques à celles observées en bordure de spots, et que ce sont des solutions d'amplitudes finies dans la limite de l'écoulement de Couette plan non modifié. Un gel spatial de la dynamique de ces rouleaux a été réalisé à l'aide d'un petit obstacle -une perle- installé au centre de l'écoulement. Le comportement intermittent observé est révélateur d'une dynamique sous-jacente de chaos spatio-temporel pour le systéme non perturbé. Pour étudier la transition, nous utilisons des perturbations instantanées d'amplitude variable et des trempes en $R$. Nous observons un régime d'intermittence spatio-temporelle (IST) et caractérisons un nombre de Reynolds critique, $R_{\rm c}$, au dessus duquel l'IST est persistante et la fraction turbulente moyenne bien définie croît avec $R$. Un attracteur turbulent unique coexiste avec l'écoulement laminaire, et une définition propre d'une courbe d'amplitude critique est donnée. En dessous de $R_{\rm c}$, il existe des transitoires longs qui relaxent vers l'état laminaire; l'attracteur est transformé en un répulseur chaotique. Cette étude a été entreprise d'un point de vue statistique et guidée par l'étude parallèle d'un modèle numérique simple de réseau d'itérations couplés pour l'IST. Cette transition vers l'IST est identifiée comme une transition de phase discontinue.