Les normes électriques liées aux harmoniques réseau exigent une "qualité" de fonctionnement qui poussent à utiliser des structures de conversion plus "propres". Les redresseurs à prélèvement sinusoïdal répondent à ces nouvelles contraintes. Néanmoins ces structures repoussent le problème dans les hautes fréquences, domaine lui aussi soumis à certaines contraintes. Pour en parfaire la qualité de fonctionnement, il devient de plus en plus nécessaire d'en étudier le comportement haute fréquence laissé de côté jusqu'à présent. Ce travail présente un nouveau moyen d'étude des perturbations conduites créées par les redresseurs de courant commandés permettant de limiter les problèmes liés à la double échelle de temps (fréquence réseau et fréquence de découpage). Basé sur deux concepts (linéarisation et modélisation fréquentielle), il est applicable dans le cas des structures à entrée en courant. Une première partie présente les principales structures et modes de fonctionnement de cette famille de convertisseur. L'une d'elle, "le redresseur à injection dans neutre artificiel" fait l'objet d'une étude plus détaillée. TI s'en suit une présentation des aspects CEM conduits en électronique de puissance et la description de la démarche de modélisation fréquentielle. Plusieurs remarques liées au comportement perturbateur des redresseurs sont faites. Le modèle fréquentiel est alors appliqué au redresseur mono-interrupteur en conduction continue. Celui-ci est validé (comparaisons théoriques et pratiques) puis utilisé à la caractérisation des perturbations conduites. Une étude des moyens de filtrage est alors proposée. Un dernier chapitre est consacré à l'étude du redresseur monophasé en pont complet. Une fois le modèle fréquentiel établi et validé, une étude du comportement fonctionnel de cette structure est proposée. TI est montré que les niveaux de perturbations conduites peuvent être fortement réduits selon les choix fonctionnels et structurels à faire.

Les services de maintenance interviennent pour maintenir ou remettre en état de bon fonctionnement les équipements. A travers la réduction de l'indisponibilité des équipements, ils participent à l'amélioration de la compétitivité des entreprises. Le service de maintenance est composé entre autre, de ressources humaines qui réalisent les tâches de maintenance. L'un des problèmes du manager de ce service est alors de trouver, pour chaque tâche, quelle ressource la traitera et quand. <br />Dans cette thèse, nous nous intéressons à un problème d'affectation et d'ordonnancement en prenant en compte les compétences des ressources humaines. Les différences de compétence sont peu intégrées dans les modèles de la littérature. Les ressources sont en effet souvent considérées comme identiques ou n'ayant qu'une compétence. Les différents types de tâches présentent aussi des spécificités qui sont peu retrouvées dans les approches de la littérature. Cette problématique se retrouve dans d'autre contexte que celui de la maintenance et touche plus généralement l'affectation et l'ordonnancement de l'activité d'un service.<br />Nous proposons une approche de résolution dynamique pour un problème mono-critère d'affectation et d'ordonnancement des activités de maintenance. Dans le contexte de la maintenance, différents critères concernant les ressources et les tâches sont importants. Nous proposons donc une extension de l'approche dynamique mono-critère au multi-critère. Certaines données utilisées dans l'affection et l'ordonnancement sont incertaines. Pour anticiper la présence de ces incertitudes nous proposons une approche dynamique, proactive à un problème multi-critère d'affectation et d'ordonnancement d'activité de maintenance en contexte incertain. Toutes ses approches font appel à une méthode d'amélioration par modification partielle de l'ordonnancement, inspirée de la méthode du kangourou.

En matière d'entraînement électromécanique, les achats industriels s'orientent principalement vers les machines électriques asynchrones. Ces types de machines sont réputés pour leur robustesse et leur entretien quasi nul. Leur simplicité de conception en font des outils performants et économiques. Le problème de bruit de ces machines est loin d'être récent mais les spécifications d'utilisation ont cependant évolué ainsi que les modes d'utilisation. Les contraintes économiques poussent à la réalisation de machines de plus en plus compactes et légères, ce qui ne favorise pas la réduction du bruit. Il est également de plus en plus courant, non pas d'alimenter ces machines directement par un réseau polyphasé mais à l'aide d'une électronique de puissance. Ce type d'alimentation permet un contrôle plus fin de la machine ce qui donne la possibilité de faire varier le couple et la vitesse de rotation. <br /> Cette association machines - convertisseurs statiques de puissance se généralise d'autant plus que l'électronique de puissance progresse rapidement et que ses coûts diminuent. Bien sûr, ces évolutions ne vont pas sans l'apparition de problèmes inédits en ce qui concerne le bruit et les vibrations. <br /> Un isolement -- capitonnage -- de la machine est parfois mis en place pour limiter les nuisances sonores mais il peut conduire à des problèmes d'échauffement ou d'encombrement. Il est beaucoup plus pertinent d'éviter l'émission acoustique en contrôlant à la source le comportement vibro-acoustique de la machine, c'est-à-dire en contrôlant les sources de vibrations d'origine électromagnétique. <br /> Notre travail consistera à développer des outils, à la fois, simples et suffisamment précis, pour coupler la chaîne entière d'émission acoustique. Ce travail doit, non seulement, permettre au concepteur de machine d'introduire dans ces paramètres la notion de bruit, mais également, à l'électronicien de puissance d'adapter sa stratégie de commande et de conversion statique à la machine dans une perspective de réduction du bruit. <br /> Ce travail est également l'occasion pour nous, électrotechniciens, de rencontrer et de travailler avec des spécialistes de vibro-acoustique. Le travail présenté, orienté dans une optique de conception est le résultat d'une première étude menée dans notre laboratoire.

Les travaux décrits dans ce manuscrit de thèse s'inscrivent dans le cadre des méthodes formelles pour les langages de spécifications formées d'automates communicants. Ce type de langage est largement utilisé dans les industries de pointe où le niveau de fiabilité requis est élevé (e.g. aéronautique, transports), car ils permettent d'améliorer la précision des spécifications et d'exploiter des outils de simulation, de test ou de vérification qui contribuent à la validation des spécifications. Un frein au passage à l'échelle industrielle de ces méthodes formelles est connu sous le nom de l'explosion combinatoire, qui est due à la fois à la manipulation de larges domaines numériques, et au parallélisme intrinsèque aux spécifications.<br />L'idée que nous proposons consiste à contourner ce phénomène en appliquant des techniques de réduction paramétrée, pouvant être désignées sous le terme anglo-saxon "slicing'', en amont d'une analyse complexe. Cette analyse peut ainsi être effectuée a posteriori sur une spécification réduite, donc potentiellement moins sujette à l'explosion combinatoire. Notre méthode de réduction paramétrée est basée sur des relations de dépendances dans la spécification sous analyse, et est fondée principalement sur les travaux effectués par les communautés de la compilation et du slicing de programmes. Dans cette thèse nous établissons un cadre théorique pour les analyses statiques de spécifications formées d'automates communicants, dans lequel nous définissons formellement les relations de dépendances mentionnées ci-dessus, ainsi que le concept de "tranche" de spécification par rapport à un "critère" de réduction. Ensuite, nous décrivons et démontrons les algorithmes efficaces que nous avons mis au point pour calculer les relations de dépendances et les tranches de spécifications, et enfin nous décrivons notre mise en oeuvre de ces algorithmes dans l'outil "Carver", pour la réduction paramétrée de spécifications formées d'automates communicants.

PRESENTATION D'UN MODELE COMPLET, A LA FOIS STATIQUE ET DYNAMIQUE, DE TRANSISTORS DE PUISSANCE. DEVELOPPEMENT, A PARTIR DU MODELE, D'UN OUTIL NUMERIQUE DE SIMULATION DU COMPORTEMENT DYNAMIQUE "PETITS SIGNAUX". SIMULATION NUMERIQUE DU COMPORTEMENT TRANSITOIRE LARGES SIGNAUX DES TRANSISTORS DE PUISSANCE (ORGANISATION D'UN PROGRAMME DE CALCUL INTEGRANT LE TRAITEMENT DE TOUS LES ELEMENTS, STATIQUE ET DYNAMIQUE, DU MODELE, MISE AU POINT DU PROGRAMME)

Ce travail de thèse se situe dans le contexte de l'évaluation du comportement permanent des enrobés bitumineux. L'objectif est de proposer un modèle mécanique pour les déformations permanentes des matériaux bitumineux et de l'appliquer à la prédiction du phénomène d'orniérage des chaussées. Dans un premier temps, un modèle tridimensionnel de viscoplasticité à plusieurs mécanismes et plusieurs critères est proposé. Ce modèle résulte du couplage d'un critère quadratique particularisé avec un critère de type Drucker-Prager linéaire. Il est capable de prendre en compte un certain nombre d'aspects du comportement mécanique des matériaux bitumineux, parmi lesquelles les déformations permanentes sous sollicitations cycliques. La validation de ce modèle s'effectue par la simulation de quelques essais de fluage cycliques. Dans un deuxième temps, une approche améliorée est proposée en présentant un modèle monosurfacique multi-mécanisme. Le nouveau modèle permet de simuler non seulement les sollicitations cycliques mais aussi les chargements monotones de fluage statique. Quelques validations sont présentées et montrent les capacités et la pertinence de ce modèle. Finalement, ce modèle est appliqué aux calculs de l'onriérage de chaussées bitumineuses à travers son implémentation au sein du module ORNI du code de calcul CESAR-LCPC.

Les analyses statiques ont pour but de déterminer les propriétés des programmes au moment de la compilation. Contrairement aux analyses dynamiques, le comportement exact du programme ne peut être connu. Par conséquent, on a recours à des approximations pour remédier à ce manque d'information. Malgré ces approximations, les analyses statiques permettent des optimisations et des transformations efficaces pour améliorer les performances des programmes. Parmi les premières analyses du processus d'optimisation figure l'analyse des pointeurs. Son but est d'analyser statiquement un programme en entrée et de fournir en résultat une approximation des emplacements mémoire vers lesquels pointent ses variables pointeurs. Cette analyse est considérée comme l'une des analyses de programmes les plus délicates et l'information qu'elle apporte est très précieuse pour un grand nombre d'autres analyses clientes. En effet, son résultat est nécessaire à d'autres optimisations, comme la propagation de constante, l'élimination du code inutile, le renommage des scalaires ainsi que la parallélisation automatique des programmes. L'analyse des pointeurs est très nécessaire pour l'exploitation du parallélisme présent dans les applications scientifiques écrites en C. Ceci est dû au fait que les tableaux, très présents dans ce type d'applications, sont accédés via les pointeurs. Il devient nécessaire d'analyser les dépendances entre les éléments de tableau dans le but de paralléliser les boucles. Le langage C présente beaucoup de difficultés lors de son analyse par la liberté qu'il offre aux utilisateurs pour gérer et manipuler la mémoire par le biais des pointeurs. Ces difficultés apparaissent par exemple lors de l'accès aux tableaux par pointeurs, l'allocation dynamique (via "malloc") ainsi que les structures de données récursives. L'un des objectifs principaux de cette thèse est de déterminer les emplacements mémoire vers lesquels les pointeurs pointent. Ceci se fait en assurant plusieurs dimensions comme : - la sensibilité au flot de contrôle, c'est-à-dire la mise à jour des informations d'un point programme à un autre ; - la non-sensibilité au contexte, c'est-à-dire l'utilisation de résumés au lieu de l'analyse du corps de la fonction à chaque appel ; - la modélisation des champs pointeurs des structures de données agrégées, dans laquelle chaque champ représente un emplacement mémoire distinct. D'autres aspects sont pris en compte lors de l'analyse des programmes écrits en C comme la précision des emplacements mémoire alloués au niveau du tas, l'arithmétique sur pointeurs ou encore les pointeurs vers tableaux. Notre travail permet l'amélioration des résultats des analyses clientes et en particulier il permet la parallélisation des boucles lorsqu'on accède aux éléments de tableaux via les pointeurs, la détection de code inutile ou le calcul du graphe de dépendances. Il est implémenté dans le compilateur parallélliseur PIPS (Parallélisation Interprocédurale de Programmes Scientifiques) et permet d'analyser, en particulier, les applications scientifiques de traitement du signal tout en assurant une analyse intraprocédurale précise et une analyse interprocédurale efficace via les résumés.

Pour répondre au besoin de miniaturisation des spectromètres de terrain travaillant dans l'infrarouge, l'ONERA a développé un nouveau concept baptisé MICROSPOC. Ce dispositif est un détecteur infrarouge auquel a été intégré un interféromètre à deux ondes, constituant un spectromètre statique par transformée de Fourier. Ce plan focal infrarouge modifié, qui fusionne la fonction interférométrique et la fonction de détection, associé à une optique de tête simplifiée, permet d'envisager la réalisation d'instruments très compacts. L'objectif de cette thèse est de concevoir un spectromètre infrarouge miniature basé sur le dispositif MICROSPOC. Dans un premier temps, un travail théorique a été mené, dans l'objectif de dimensionner un système optique très compact. Notre choix s'étant orienté vers un système optique de collection (le détecteur voit une source étendue à distance finie), l'étude de l'acceptance angulaire de MICROSPOC dans ces conditions d'éclairement est indispensable afin de prévoir le contraste et la forme des franges d'interférence. Les résultats montreront la grande acceptance angulaire de MICROSPOC.Dans un second temps, un démonstrateur basé sur un composant MICROSPOC et sur le système optique simplifié a été réalisé. Ce démonstrateur a été caractérisé en laboratoire puis utilisé sur le terrain lors d'une campagne de mesures. Ces différentes exploitations ont montré la robustesse de l'instrument malgré l'obtention d'interférogrammes présentant divers défauts.Dans un troisième temps, une chaîne de traitement a été développée afin d'estimer un spectre à partir d'un interférogramme obtenu à l'aide du démonstrateur. Du fait des caractéristiques intrinsèques de MICROSPOC, la transformée de Fourier n'est pas la meilleure solution pour estimer un spectre. Nous l'avons montré en nous intéressant aux effets des disparités de longueur d'onde de coupure du détecteur sur l'estimation d'un spectre. Nous nous sommes alors tournés vers une approche consistant à utiliser la caractérisation spectrale de l'instrument pour inverser la mesure. Cette approche donne des résultats satisfaisants.Enfin, le but principal de cette thèse a été élargi par la conception et la réalisation de différents démonstrateurs combinant une fonction d'imagerie à une fonction de spectrométrie. Les premières pistes pour la conception d'un spectromètre qui tient dans la main ont été données.

Les mini ou nanoémulsions sont des systèmes fréquemment rencontrés dans différents domaines : cosmétique, pharmaceutique, biomédical... Plusieurs procédés permettent la préparation de nanoémulsions. Cependant, ils présentent tous des limitations en termes de taille des gouttelettes, d'énergie de mélange, de rapport de viscosité entre les phases dispersées et continues, de gamme de pression à appliquer... Ce travail s'intéresse au développement d'un nouveau dispositif basé sur un écoulement élongationnel pour l'élaboration de miniémulsions de monomères. La démarche a consisté d'abord à étudier l'influence des paramètres liés au procédé proprement dit puis à la formulation du système sur la taille des gouttelettes. Cette étude a permis de comprendre les mécanismes mis en jeu lors de la fragmentation des gouttes. Une analyse dimensionnelle a ensuite été développée afin de corréler les tailles obtenues aux paramètres étudiés, par l'utilisation des nombres adimensionnels appropriés. Finalement, des expériences de synthèse en miniémulsion ont été conduites pour tenter de combiner dans le même dispositif les fonctions d'émulsificateur et de réacteur de polymérisation, dans une perspective d'intensification du procédé.

Cette thèse étudie la vérification automatique de propriétés de sûreté de systèmes logico-numériques discrets ou hybrides. Ce sont des systèmes ayant des variables booléennes et numériques et des comportements discrets et continus. Notre approche est fondée sur l'analyse statique par interprétation abstraite. Nous adressons les problèmes suivants : les méthodes d'interprétation abstraite numériques exigent l'énumération des états booléens, et par conséquent, ils souffrent du probléme d'explosion d'espace d'états. En outre, il y a une perte de précision due à l'utilisation d'un opérateur d'élargissement afin de garantir la terminaison de l'analyse. Par ailleurs, nous voulons rendre les méthodes d'interprétation abstraite accessibles à des langages de simulation hybrides. Dans cette thèse, nous généralisons d'abord l'accélération abstraite, une méthode qui améliore la précision des invariants numériques inférés. Ensuite, nous montrons comment étendre l'accélération abstraite et l'itération de max-stratégies à des programmes logico-numériques, ce qui aide à améliorer le compromis entre l'efficacité et la précision. En ce qui concerne les systèmes hybrides, nous traduisons le langage de programmation synchrone et hybride Zelus vers les automates hybrides logico-numériques, et nous étendons les méthodes d'analyse logico-numérique aux systèmes hybrides. Enfin, nous avons mis en oeuvre les méthodes proposées dans un outil nommé ReaVer et nous fournissons des résultats expérimentaux. En conclusion, cette thèse propose une approche unifiée à la vérification de systèmes logico-numériques discrets et hybrides fondée sur l'interprétation abstraite qui est capable d'intégrer des méthodes d'interprétation abstraite numériques sophistiquées tout en améliorant le compromis entre l'efficacité et la précision.