Les travaux de recherche présentés dans cette thèse proposent une méthodologie de synthèse de la commande des systèmes à événements discrets temporisés permettant de calculer l'ensemble de toutes les lois de commande telles que le fonctionnement du système respecte les spécifications imposées par le cahier des charges. Notre approche associe la capacité de modélisation de l'outil réseau de Petri T-temporel à la puissance d'analyse des automates temporisés. Dans un premier temps, le système à commander est modélisé par un réseau de Petri T-temporel. Ensuite on construit l'automate temporisé qui modélise le comportement de ce réseau de Petri T-temporel. Les comportements non-désirés sont modélisés par des sommets interdits. La synthèse de la commande est basée sur des techniques d'analyse d'atteignabilité spécifiques aux automates temporisés. La méthode proposée consiste à calculer des nouvelles gardes des transitions de l'automate telles que les sommets interdits ne soient jamais atteints. L'approche de synthèse de la commande présenté dans cette thèse s'adresse aux systèmes à événements discrets temporisés modélisés par des réseaux de Petri T-temporels bornés avec des contraintes temporelles spécifiées par des nombres rationnels.

Dans le cadre de l'évaluation de protocoles, plusieurs techniques sont utilisées : l'expérimentation en environnement réel, la simulation et l'émulation. Dans cette thèse, l'approche d'émulation est étudiée car elle permet la mise en Suvre d'applications ou de protocoles réels dans un environnement contrôlable dont les caractéristiques (bande passante, délais, pertes) reproduisent en temps réel le comportement d'un réseau cible pour étudier et comparer différents protocoles et applications. Cette thèse proposera des techniques basées sur le couplage d'approches telles que la métrologie ou la simulation pour reproduire efficacement et de manière flexible le comportement de différents types de réseaux. Au cours de ce travail, nous avons participé à différents projets (DIPCAST et EuQoS) pour l'émulation de contexte satellite, et proposés une architecture d'émulation pour un lien satellite DVB-RCS ainsi qu'une méthodologie d'émulation pour l'émulation de réseaux à qualité de service.

APPROCHE PERMETTANT LA DETECTION EN LIGNE, DANS LES SYSTEMES DISTRIBUES, DES ERREURS DUES A DES FAUTES MATERIELLES, LOGICIELLES OU HUMAINES ET AFFECTANT LE FONCTIONNEMENT NORMAL DU SYSTEME. ELLE REPOSE SUR L'UTILISATION DE DEUX LOGICIELS DISTINCTS CONSTITUANT UN COUPLE EXECUTANT-OBSERVATEUR. L'EXECUTANT REALISE DE MANIERE CLASSIQUE LES TACHES FONCTIONNELLES DU SYSTEME, L'OBSERVATEUR IMPLEMENTE UN SIMULATEUR DE RESEAUX DE PETRI

Les réseaux électriques et les infrastructures associées (réseaux informatiques et de<br />communication) interagissent de plus en plus et la vulnérabilité globale s'amplifie. Du fait de<br />la complexité et de l'interconnexion de ces réseaux, l'écroulement d'une seule infrastructure<br />pourrait entraîner des effets en cascade. Les opérateurs des réseaux électriques gèrent la<br />sécurité opérationnelle des systèmes électriques de puissance. Afin de la maîtriser de la<br />meilleure manière possible, ces opérateurs utilisent comme outils les services système<br />(fonctions supplémentaires exécutées par les groupes de production). Dans le contexte actuel<br />de dérégulation, de nouveaux producteurs demandent l'accès au réseau et ils sont obligés de<br />participer à certains services système. Afin de maintenir la sécurité des réseaux et de<br />permettre le bon déroulement des transactions commerciales, les opérateurs de réseaux sont<br />responsables de l'existence des services système dans des quantités appropriées et du contrôle<br />des participations contractualisées des producteurs à ces services. Cette thèse propose une<br />nouvelle méthode de contrôle de performances des producteurs en terme de services système<br />et de sécurité fondée sur l'estimation de paramètres à partir de mesures de perturbations.

L'objectif de ce mémoire de thèse est de valider les mesures débimétriques issues des réseaux d'assainissement. Des défaillances techniques dans les capteurs de mesure ou l'existence des phénomènes perturbateurs produisent des anomalies sur ces mesures. Notre travail consiste à proposer une procédure de diagnostic hors ligne capable de détecter et de localiser les défauts de mesures. Cette procédure est à base de modèles analytiques. Nous avons établi dans un premier temps, un ensemble de modèles linéaires pour générer des résidus. Ces derniers ont permis d'établir la matrice des signatures des défauts expérimentales. Ensuite, une première technique de diagnostic a été considérée. Elle consiste à combiner le test de Page pour la détection des défauts et le calcul de distance Euclidienne entre les signatures des défauts théoriques et la signature expérimentale de chaque défaut pour la localisation des capteurs en défauts. Puis, deux autres techniques ont été proposées. Elles sont basées sur l'analyse conjointe des résidus générés et des symptômes des défauts. L'une est appelée DMP (Model Diagnostic Processor) et l'autre est à base de concepts de la logique floue. A la fin, les performances de ces techniques ont été calculées pour pouvoir les comparer. Nous avons amélioré les performances de la dernière technique en proposant un nouvel opérateur d'agrégation et en considérant la persistance des défauts.

Le packaging et la gestion thermique dans le domaine de l'électronique sont devenus des enjeux importants en raison de l'augmentation des niveaux de puissance et de la miniaturisation des dispositifs. Ce travail de thèse est consacré au refroidissement des substrats électroniques empilés dans un module 3D, et à l'intégration dans ces derniers, de fonctions thermiques, tels que les caloducs plats. Cette étude se concentre plus particulièrement sur la conception, la réalisation et l'évaluation expérimentale des caloducs métalliques miniatures très fins. Nous avons pu démontrer que l'intégration des composants de type caloduc dans des substrats très fins est possible et représente une solution très intéressante pour la gestion thermique des équipements électroniques des applications avioniques. L'ensemble de ces travaux a permis de mettre aus points de nouvelles techniques d'élaboration de caloducs plats à réseau capillaire fritté et d'ouvrir cette démarche à de nouvelles stratégies de refroidissement.

Une des problématiques amenées par l'utilisation de productions décentralisées d'énergie<br />(PDE) est la difficulté de réglage des niveaux de tension. En effet, l'injection de puissance de ces<br />génératrices induit un changement du plan de tension et du transit de puissance sur le réseau<br />pouvant provoquer des surtensions critiques. Les installations « petite puissance » de PDE sont<br />en règle générale non observables, de plus, l'utilisation de télémesures ou de communications<br />entre ces GED et un organe de contrôle de type OPF est difficilement envisageable en vue des<br />quantités d'informations et des coûts engendrés par ceux-ci.<br />Ainsi, Notre étude porte sur le développement d'un contrôle de tension autonome et<br />intelligent pour ces PDE, utilisant uniquement des informations mesurées localement. Le but est<br />de réaliser un contrôle global de la tension sur un réseau électrique de distribution, sans utiliser de<br />coordination à l'aide de communication. Ce régulateur est capable d'adapter son contrôle et ses<br />objectifs de manière optimale pour conserver la tension dans les limites admissibles sur le réseau<br />considéré.<br />Suite au développement de ce régulateur, des tests logiciels et pratiques ont été faits pour<br />d'une part valider le fonctionnement d'un tel contrôle sur différentes configurations de réseau, ou<br />sur des productions classiques ou intermittentes (éolienne) et d'autre part pour prouver la<br />faisabilité d'un tel système. Ce travail c'est terminé par la comparaison de cette approche locale<br />avec un contrôle coordonné de tension grâce à de la production décentralisée.

Le concept de paysage adaptatif a été introduit par S. Wright dans le domaine de la biologie de l'évolution dans les années 1930. Il est l'un des concepts pertinents pour modéliser l'évolution d'une population d'organismes. Dans le domaine de l'optimisation combinatoire par métaheuristiques, il est également utilisé et <br />permet de lier une description géométrique d'un problème d'optimisation avec la dynamique des algorithmes de recherche.<br />Deux géométries de paysage correspondant à deux dynamiques d'algorithme ont été principalement étudiées. La géométrie de paysage multimodale est liée à la présence d'optima locaux,<br />où la dynamique est une succession de marches adaptatives vers de meilleures solutions et de dégradations de performance. La géométrie des paysages adaptatifs neutres, mise en avant par la théorie de la neutralité en évolution moléculaire de Motoo Kimura,<br />est liée à la présence de plateaux ; la dynamique se caractérise alors par une dérive aléatoire entrecoupée de rares découvertes de solutions plus performantes. Cette thèse se propose d'approfondir <br />l'étude des paysages neutres dans le contexte de l'optimisation et de proposer de nouvelles métaheuristiques adaptées à ce type de paysages.<br /><br />La thèse se compose de quatre chapitres. Dans un premier chapitre,<br />nous présentons les principaux résultats concernant les paysages adaptatifs et plus particulièrement les paysages adaptatifs neutres.<br />Dans un deuxième chapitre, nous développons le concept d'ensemble de neutralité en introduisant la notion de 'nuage adaptatif' qui permet d'étudier la corrélation de performance entre solutions voisines et nous l'appliquons à la classe des paysages 'embarqués' qui regroupe les paysages NK et Max-SAT. Dans un troisième chapitre, nous résumons l'ensemble des mesures relatives aux réseaux de neutralité et nous proposons une nouvelle mesure. Une étude expérimentale est réalisée sur trois familles de paysages pour lesquelles la neutralité est ajustable et deux problèmes classiques de la littérature. Enfin, un nouvel algorithme de recherche adapté aux paysages neutres lié à la nouvelle mesure est proposé et évalué sur différents paysages neutres. Nous réalisons l'étude du paysage adaptatif massivement neutre<br />issu du problème d'apprentissage de la règle d'un automate cellulaire réalisant la tâche de classification par la densité, afin d'en améliorer les métaheuristiques connues existantes.

Les fluides pétroliers extraits de gisements ont des teneurs plus ou moins importantes en composés non souhaités tels que le dioxyde de carbone, l'hydrogène sulfuré ou autres produits soufrés. Ils doivent subir nombre de transformations et purifications. Le dimensionnement des unités correspondantes ne peut être bien optimisé que si l'on dispose de données fiables et précises d'équilibre de phases et de propriétés volumétriques et bien entendu d'une modélisation elle aussi fiable et précise. Le présent travail a été consacré en partie à des mesures de propriétés volumétriques sur trois mélanges binaires (éthane - hydrogène sulfuré, éthane - dioxyde de carbone et propane - hydrogène sulfuré). Ces mesures ont été réalisées à l'aide d'un appareillage, comportant un densimètre à tube vibrant (Anton Paar, modèle DMA 512), qui a été conçu et construit tout spécialement pour ce travail. L'étude menée sur la modélisation des propriétés volumétriques a permis de mettre en évidence l'inadéquation de l'usage classique des équations d'état cubiques pour représenter simultanément propriétés volumétriques et équilibres de phases. Parmi les équations d'état présentées, une attention particulière a toutefois été portée sur les équations d'état cubiques en raison de leur très grande utilisation dans le domaine pétrolier. Un moyen a été testé pour adapter les équations d'état cubiques à la représentation simultanée et satisfaisante des propriétés volumétriques et équilibres de phases : Il s'agit du couplage de l'équation d'état cubique de Soave-Redlich-Kwong avec une correction de volume par réseau de neurones.

Les nanostructures métalliques présentent, grâce aux résonances de surface qu'elles supportent, la possibilité de confiner et de contrôler la lumière sur des dimensions très inférieures à la longueur d'onde. Durant cette thèse, nous avons étudié le cas des réseaux de fentes métalliques.<br /><br />Nous avons mis en oeuvre un calcul original des courbes de dispersion complexes des réseaux métalliques, basé sur une méthode modale et un formalisme de matrice S. Le calcul des structures de bandes photoniques complexes et de la répartition spatiale du champ électromagnétique a permis de décrire précisément les résonances de surface horizontales et verticales, leurs conditions d'excitation ainsi que leurs durées de vie radiatives et non radiatives. Leurs propriétés de confinement et de transmission de la lumière dans des fentes très fines devant la longueur d'onde offrent de nouvelles possibilités en optoélectronique.<br /><br />Nous proposons en particulier deux structures de type métal-semiconducteur-métal pour la photodétection ultrarapide, dans lesquelles le confinement de l'absorption permet de repousser le compromis habituel entre rendement et vitesse. La première structure est un réseau métal/semiconducteur dans lequel la lumière est absorbée entre les électrodes. La seconde structure permet une absorption efficace dans une fine couche sous le réseau métallique. Ces deux photodétecteurs, dont la distance inter-électrode est d'environ 100 nm, ont été fabriqués sur substrat de GaAs. Le bon accord des mesures de réflectivité et de photocourant avec la théorie a permis de valider cette approche, qui pourra notamment être appliquée aux longueurs d'onde des télécommunications.<br /><br />Les dimensions mises en jeu rendent possibles des fréquences de coupure de plusieurs centaines de GHz, avec un rendement théorique de 75 % indépendamment de la polarisation de la lumière. Ces résultats ouvrent la voie à une nouvelle génération de photodétecteurs ultrarapides.