Nous étudions dans cette thèse les problèmes liés à la Commande Globale de Châssis (CGC) automobile. L'objectif est de développer des méthodes pour piloter différents actionneurs du véhicule (suspensions, freinage et direction) afin de les faire collaborer, dans le but d'améliorer le confort et la sécurité, et, de maitriser la dynamique du véhicule. Ce problème est complexe car il implique des dynamiques variées, non linéaires et de fortes contraintes au niveau des actionneurs. Les méthodes et outils utilisés sont issus des récents développements de l'automatique dans le domaine de la commande robuste pour les systèmes linéaires à paramètres variant (LPV). Dans ce contexte, les principaux thèmes développés concernent la modélisation, l'analyse et le contrôle des véhicules automobiles, ainsi que le contrôle robuste des systèmes LPV, utilisant les outils des inégalités linéaires matricielles (LMIs). Les principaux résultats traitent du développement de méthodes LPV pour la synthèse de commande robuste de suspension semi-active et de la synthèse de contrôle global de châssis (CGC) garantissant sécurité et agrément de conduite.

Dans le développement et la maintenance de logiciels de grande taille, la programmation globale est l'activité la moins formalisée, la moins assistée alors que c'est l'activité prépondérante, celle qui consomme le plus de temps. Nous décrivons les principaux concepts et mécanismes de Nomade, un noyau d'environnement pour supporter le développement et la maintenance de gros logiciels. Nomade constitue une extension et une généralisation de son prédécesseur Adèle. Il fournit un modèle pour la construction, l'intégration et le contrôle des logiciels en versions multiples et de leurs équipes. Nous présentons essentiellement la base d'objets et les mécanismes de contrôle de la structure du logiciel avec la notion de partition et d'activation d'outils basée sur le concept d'événement action. La base d'objets est conçue autour d'un modèle adapté aux besoins de la programmation globale qui inclut des notions "orientées objet". La base conserve la structure du logiciel : les objets logiciels, leurs versions, leurs documents, leurs attributs, leurs relations et leurs objets dérivés. Le mécanisme d'événements actions s'inspire des mécanismes d'activations (déclencheurs, démons, exceptions) développés dans d'autres domaines. Nous montrons comment Nomade permet de maintenir les contraintes de cohérence complexes rencontrées dans la programmation globale, de définir et d'intégrer les stratégies et les outils spécifiques à un environnement de développement et de maintenance.

Les bases de fonctions sont des outils indispensables de la géométrie numérique puisqu'ils permettent de représenter des fonctions comme des vecteurs, c'est à dire d'appliquer les outils de l'algèbre linéaire à l'analyse fonctionnelle. Dans cette thèse, nous présentons plusieurs constructions de bases de fonctions sur des surfaces pour la géométrie numérique. Nous commençons par présenter les bases de fonctions usuelles des éléments finis et du calcul extérieur discret, leur théorie et leurs limites. Nous étudions ensuite le Laplacien et sa discrétisation, ce qui nous permettra de construire une base de fonctions particulière: les fonctions propres de l'opérateur de Laplace-Beltrami, ou harmoniques variétés. Celles-ci permettent de généraliser la transformée de Fourier et le filtrage spectral aux fonctions définies sur des surfaces. Nous présentons ensuite des applications de cette base de fonction à la géométrie numérique. En particulier, nous montrons qu'une fois calculée, cette base de fonction permet de filtrer la géométrie en temps interactif. Pour pouvoir définir des bases de fonctions de façon plus indépendante du maillage de la surface, nous nous intéressons ensuite aux paramétrisations globales, et en particulier aux champs de directions à symétries qui permettent de les définir. Ainsi, dans la dernière partie, nous étudions ces champs de directions à symétries, et en particulier leur géométrie et leur topologie. Nous proposons enfin des outils pour les construire, les manipuler et les visualiser.

Deux thèmes sont abordés dans cette thèse : l'analyse de sensibilité et l'analyse discriminante généralisée.<br /><br />L'analyse de sensibilité globale d'un modèle mathématique étudie comment les variables de sortie de ce dernier réagissent à des perturbations de ses entrées. Les méthodes basées sur l'étude de la variance quantifient les parts de variance de la réponse du modèle dues à chaque variable d'entrée et chaque sous-ensemble de variables d'entrée. Le premier problème abordé est l'impact d'une incertitude de modèle sur les résultats d'une analyse de sensibilité. Deux formes particulières d'incertitude sont étudiées : celle due à une mutation du modèle de référence, et celle due à l'utilisation d'un modèle simplifié à la place du modèle de référence. Un second problème relatif à l'analyse de sensibilité a été étudié au cours de cette thèse, celui des modèles à entrées corrélées. En effet, les indices de sensibilité classiques n'ayant pas de signification (d'un point de vue interprétation) en présence de corrélation des entrées, nous proposons une approche multidimensionnelle consistant à exprimer la sensibilité de la sortie du modèle à des groupes de variables corrélées. Des applications dans le domaine de l'ingénierie nucléaire illustrent ces travaux.<br /><br />L'analyse discriminante généralisée consiste à classer les individus d'un échantillon test en groupes, en utilisant l'information contenue dans un échantillon d'apprentissage, lorsque ces deux échantillons ne sont pas issus d'une même population. Ce travail étend les méthodes existantes dans un cadre gaussien au cas des données binaires. Une application en santé publique illustre l'utilité des modèles de discrimination généralisée ainsi définis.

Cette étude, réalisée au Centre des Matériaux de l'Ecole des Mines de Paris, porte sur les problèmes d'identification et de transférabilité des lois de fissuration des aciers utilisés à haute température. Une approche globale, fondée sur les paramètres C* et J de la mécanique non linéaire de la rupture, a été utilisée pour caractériser l'amorçage et la propagation des fissures en<br />fluage. Les nuances d'aciers étudiées sont : les aciers ferritiques 1Cr-1Mo-1/4V (chaud et froid, travaillant à 540°C et 250°C) utilisés dans les centrales thermiques et l'acier inoxydable austénitique 316 L(N) utilisé dans les centrales nucléaires. Au cours de cette thèse, une base de<br />données a été mise en place, elle regroupe plusieurs essais de fatigue, de fluage, de fatigue-fluage, et de relaxation. Sa particularité est de contenir plusieurs essais de fluage (27 essais), réalisés à différentes températures (550°C à 650°C) et sur trois différentes géométries. La pertinence du paramètre C* pour décrire la fissuration en fluage est analysée par une étude systématique des singularités de contraintes en élasto-viscoplasticité sous plusieurs modes de chargement (différents taux de triaxialité). Il a été montré que, outre le paramètre C*, un deuxième terme non singulier, noté Q*, est nécessaire pour décrire les variables locales au voisinage de la pointe de fissure. Les valeurs de ce paramètre de confinement sont toujours<br />négatives. La conséquence en est que les conditions dapplication des lois classiques de fissuration corrélant la vitesse de fissuration et le paramètre C* (da/dt - C*), seront sécurisantes pour les applications industrielles.<br />A travers cette étude, on a également montré que pour les aciers ferritiques, la période d'incubation des fissures est importante, donc une corrélation de type Ti - C* a été retenue pour prédire le temps à l'amorçage. Pour l'acier inoxydable austénitique, la phase pertinente est celle de<br />la propagation des fissures, ainsi une courbe maîtresse (da/dt - C*) a été établie pour cet acier. Pour cette identification une nouvelle méthodologie de dépouillement des essais de fluage a été mise en place. Enfin, la propagation des fissures a été simulée numériquement par la technique de relâchement des noeuds, permettant ainsi, de valider les expressions analytiques retenues pour dépouiller les essais de fluage.

Les travaux présentés dans cette thèse portent sur des problématiques de contrôle de systèmes non linéaires d´équations différentielles ordinaires positifs. Les modèles issus des sciences de la vie, chargés de d´ecrire l´évolution de quantités positives, appartiennent à cette classe de systèmes. Ces modèles comportent souvent certaines parties, liées à la biologie du processus considéré, qui sont de formes analytiques incertaines mais connues qualitativement. Nous proposons ici d exploiter ces propriétés qualitatives au moyen d une commande utilisant une mesure de l'incertitude, afin d imposer au système un comportement simple : la convergence de l'état vers un équilibre unique et réglable. Après un bref état de l'art sur les systèmes positifs, nous introduisons les classes de systèmes pour lesquelles une stratégie de commande assurant la stabilisation globale est proposée. L'ajout d une partie adaptative améliore cette stratégie, permettant alors de rejoindre un équilibre choisi, en dépit d'incertitudes paramétriques. Nous appliquons ces résultats théoriques à plusieurs modèles biologiques: gestion de la pêche, culture de micro-organismes en bioréacteurs... Une de nos principales applications porte sur la stabilisation de bioprocédés exploitant des réseaux trophiques microbiens en cascade. Nous avons pu valider expérimentalement notre démarche sur un cas particulier de ces procédés : un fermenteur anaérobie, procédé de traitement biologique de l'eau à haut rendement mais très sensible aux conditions opératoires.

Ce travail traite de la détonation de mélanges réactifs gazeux à deux combustibles de détonabilité très différente xH2+(1–x)CH4 et xC2H6+(1–x)CH4 stoechiométriques dans l'oxygène et dilués avec de l'azote dans des proportions variant de l'oxygène pur à l'air. Les paramètres de l'étude sont la proportion relative x des combustibles, la dilution en azote B=O2/N2 et les conditions initiales de température et de pression. Cette étude s'inscrit dans le cadre général de l'amélioration des conditions de sécurité des procédés chimiques. Nous avons traité le problème par la comparaison de la mesure de la taille caractéristique de la structure tridimensionnelle cellulaire de la détonation autonome et stationnaire avec la longueur d'induction chimique calculée dans les hypothèses du modèle ZND au moyen de plusieurs schémas détaillés de cinétique chimique. Les résultats obtenus pour les mélanges à un combustible montrent que la détonabilité du méthane diminue en fonction de la température initiale quelle que soit B, et que celle de l'éthane et de l'hydrogène diminue à B=0 mais augmente à B=3,76 (air) (l'inversion de comportement en fonction de la température initiale se produit pour B=2 pour l'éthane, et pour B=1 pour l'hydrogène). Les résultats obtenus pour les mélanges à deux combustibles montrent que leur détonabilité est à chaque fois influencée par le combustible le plus lourd, c'est à dire que la détonabilité des mélanges H2/CH4 est plutôt gouvernée par CH4 alors que celle des mélanges C2H6/CH4 est plutôt gouvernée par C2H6. Avec l'oxygène pur (B=0), l'augmentation de la température initiale désensibilise ces mélanges. Au delà d'une certaine valeur de B, on observe une inversion de détonabilité en fonction de x.

Dans l'industrie automobile, les réductions de masse permettent des économies de matières premières et des gains importants en performance. Cet allégement ne peut cependant pas se faire au détriment des exigences en matière de confort et de sécurité. Dans ce contexte, l'objectif de l'optimisation topologique est de déterminer, en amont des projets, les caractéristiques générales des pièces mécaniques. Les logiciels commerciaux actuels ne permettant pas l'intégration de toutes les contraintes déclinées sur les projets véhicules, notamment les contraintes vibro-accoustiques, nous proposons dans cette thèse une méthodologie et une solution logicielle associée, permettant la prise en compte d'un cahier des charges conforme à ceux utilisés chez Renault. Nous combinons pour cela la méthode d'optimisation topologique SIMP et l'algorithme d'optimisation numérique FSQP. Après avoir évalué notre méthode sur des cas de géométrie simple, nous montrons son potentiel sur le cas d'une face accessoires.

Dans cette these, nous analysons les AGL diriges par un modele de processus logiciel. Nous decrivons un certain nombre d'AGL que nous pensons les plus significatifs en regard des principales caracteristiques du formalisme propose pour modeliser les processus logiciels et leur mecanisme d'interpretation. Nous presentons ensuite notre approche : TEMPO - un atelier de genie logiciel dirige par le processus logiciel. Nous decrivons le formalisme executable pour decrire les activites de genie logiciel. Nous montrons comment les aspects multi-comportementaux lies a l'utilisation des objets par ces activites sont exprimes par le concept de role. Nous developpons egalement notre modele de communication. Grace a ce modele, les politiques qui gouvernent la cooperation entre les differents processus logiciels sont specifiees par le concept de connexions actives et programmables. Les echanges des messages sont controles par des regles temporelles evenement-condition-action executees par un mecanisme de declencheurs. Ces regles permettent de programmer des strategies de synchronisation entre les processus, en propageant les effets des qu'une action est executee sur l'un ou l'autre des points de la connexion. La coherence des objets manipules par les activites de longue duree est geree par le concept d'environnement de travail.

Les travaux effectués dans cette thèse portent sur l'étude du spectre de deux opérateurs de Dirac définis sur une sous-variété. Dans un premier temps, nous minorons la plus petite valeur propre d'un opérateur canoniquement associé à l'opérateur de Dirac-Witten. Nous montrons par la suite que l'égalité dans ces minorations ne peut être atteinte que si la sous-variété admet un spineur dit de Killing tordu. Dans un second temps, nous majorons les petites valeurs propres de l'opérateur de Dirac de la sous-variété tordu par son fibré normal. Complétant les travaux de C. Bär pour les hypersurfaces de l'espace hyperbolique, nous donnons de nouvelles estimations pour les hypersurfaces de variétés admettant des spineurs-twisteurs. Nous étendons enfin ces résultats aux sous-variétés de certaines variétés kählériennes. L'existence de spineurs de Killing kählériens sur de telles variétés permet d'estimer les petites valeurs propres des sous-variétés CR. Nous obtenons comme conséquence un théorème de comparaison de valeurs propres pour les sous-variétés kählériennes de l'espace projectif complexe.