La problématique abordée dans ce travail est celle de la gestion mémoire automatique pour des programmes Java temps-réel embarqués. Dans des langages comme le C ou le C++, la mémoire est typiquement gérée explicitement par le programmeur, ce qui est la source de nombreuses erreurs d'exécution causées par des manipulations hasardeuses. Le coût de correction de telles erreurs est très important car ces erreurs sont rarement reproductibles et donc difficiles à appréhender. En Java la gestion mémoire est entièrement automatique, ce qui facilite considérablement le développement. Cependant, les techniques classiques de recyclage de la mémoire, typiquement basées sur l'utilisation d'un ramasse-miettes, sont souvent considérées comme inapplicables dans le contexte des applications temps-réel embarquées, car il est très difficile de prédire leur temps de réponse. Cette incompatibilité est un frein important à l'adoption de langages de haut niveau comme Java dans ce domaine.<br />Pour résoudre le problème de la prévisibilité du temps d'exécution des opérations mémoire, nous proposons une approche fondée sur l'utilisation d'un modèle mémoire en régions. Cette technique, en groupant physiquement les objets de durées de vie similaires dans des zones gérées d'un seul bloc, offre en effet un comportement temporel prévisible. Afin de décider du placement des objets dans les différentes régions, nous proposons un algorithme d'analyse statique qui calcule une approximation des relations de connexion entre les objets. Chaque structure de données est ainsi placée dans une région distincte. L'analyse renvoie également au programmeur des informations sur le comportement mémoire du programme, de façon à le guider vers un style de programmation propice à la gestion mémoire en régions, tout en pesant le moins possible sur le développement. <br />Nous avons implanté un gestionnaire mémoire automatique en régions dans la machine virtuelle JITS destinée aux systèmes embarqués à faibles ressources. Les résultats expérimentaux ont montré que notre approche permet dans la plupart des cas de recycler la mémoire de façon satisfaisante, tout en présentant un comportement temporel prévisible. Le cas échéant, l'analyse statique indique au développeur quels sont les points problématiques dans le code, afin de l'aider à améliorer son programme.

Dans les appareils de robinetterie équipant les centrales nucléaires, l'étanchéité interne est réalisée par le contact direct entre surfaces métalliques. Dans ce contexte, ce travail porte sur l'étude de fuites liquides au travers d'un contact entre deux surfaces rugueuses serrées l'une contre l'autre. Deux approches sont menées en parallèle : l'une théorique/numérique, l'autre expérimentale. Les modèles mis en place permettent de prédire les fuites à partir des textures non déformées des surfaces en contact et en fonction du serrage appliqué. Les déformations des surfaces sont tout d'abord calculées à l'aide d'un modèle semi-analytique élasto-plastique parfait. L'écoulement liquide est ensuite résolu au travers du champ d'ouverture résultant. Des modèles pour caractériser et simuler les textures rugueuses ont également été développés à partir d'une approche fractale, permettant ainsi de prédire les fuites à partir d'outils purement numériques, sans avoir recours à la mesure d'états de surfaces. Grâce à ces modèles, une corrélation a pu être établie entre les textures des surfaces et les performances du contact vis-à-vis de l'étanchéité. Pour tester les modèles mis en place, des mesures de débits de fuite au travers de contact rugueux ont de plus été effectuées. La confrontation directe entre essais et simulation a montré que les modèles surestiment les débits de fuite, en particulier à fort serrage. Une étude détaillée de la chaîne de prédiction a permis de montrer que les écarts proviennent principalement du modèle de déformation. Une modélisation prenant en compte le caractère hétérogène du matériau semble une piste intéressante pour améliorer les prédictions.

Dans cette thèse et dans le but d'améliorer le ratio temps/précision des calculs de simulation numérique, nous explorons les techniques multi-échelles pour la résolution des équations de la cinétique des réacteurs. Nous choisissons de nous focaliser sur l'approximation mixte duale de la diffusion et sur les méthodes quasi-statiques. Nous introduisons une dépendance spatiale dans la fonction d'amplitude qui ne dépend que de la variable temps dans le contexte quasi-statique standard. Avec cette nouvelle factorisation, nous développons deux problèmes mixtes duaux qui peuvent être résolus avec le solveur MINOS du CEA. Un algorithme est implémenté, effectuant la résolution des ces problèmes définis sur des échelles différentes (en temps et espace). Nous nommons cette approche : la méthode Quasi-Statique Locale. Nous présentons ici cette approche multi-échelle et sa mise en \oe uvre. Les détails propres aux traitements de l'amplitude et de la forme sont développés et justifiés. Les résultats et performances, comparés à MINOS, sont étudiés. Ils illustrent l'amélioration du ratio temps/précision pour les calculs de cinétique. De plus, nous ouvrons de nouvelles possibilités pour paralléliser les calculs avec MINOS. Pour la suite, nous introduisons aussi quelques pistes d'amélioration avec les échelles adaptatives.

-

Ce mémoire traite de l'étude du comportement thermique des capteurs de pression capacitifs en silicium fabriqués à partir de la filière silicium/verre. Leur comportement statique et dynamique a été étudié pour différentes conceptions. Dans le premier chapitre, les modèles théoriques sont développés pour des capteurs à membrane circulaire. En régime statique, les modèles (sensibilité à la pression et à la tension) sont explicités dans le domaine linéaire. En régime dynamique, la dépendance de la fréquence de résonance est étudiée en fonction de la pression et de la tension appliquée. Pour l'ensemble des modèles, le coefficient thermique a été calculé. Le deuxième chapitre décrit la géométrie du capteur étudié, la technologie utilisée ainsi que le dispositif de test mis en place. La caractérisation du comportement statique en température a été étudiée dans le troisième chapitre. Il a été montré que le coefficient thermique de la capacité au repos est presque constant, qu'il ne dépend pas de la largeur de soudure et qu'il est fonction de l'épaisseur de la membrane, de l'épaisseur de l'armature fixe et la forme de l'encastrement. Le coefficient thermique de la sensibilité à la tension et de la sensibilité à la pression varie de manière quasi linéaire entre -20°C et +150°C. La caractérisation du comportement dynamique en température a été étudiée dans le quatrième chapitre. Il est montré que le coefficient thermique de la fréquence de résonance varie linéairement entre -20°C et +150°C. Il est apparu que la largeur de soudure comme l'épaisseur de l'armature fixe, n'influence pas sur le coefficient thermique de la fréquence de résonance et que ce dernier dépend très fortement de l'épaisseur de la membrane et peu de la forme de l'encastrement. Une comparaison entre deux modèles du coefficient thermique de la sensibilité à la pression a été menée sur un grand nombre de capteurs. Elle a permis de valider ces deux modèles et de démontrer que la sensibilité à la pres sion dépend de la fréquence de résonance.

Dans cette thèse, on présente un cadre théorique général d'analyse statique pour l'inférence de propriétés `structurelles' ou d'`usage' des programmes. Le terme `structurel', emprunté à la théorie de la démonstration, suggère un rapport étroit avec la logique linéaire, où les règles structurelles de contraction et affaiblissement jouent un rôle important. Le problème de l'analyse statique consiste à trouver une traduction d'un langage source dans le style de PCF vers un langage comportant des annotations structurelles. On montre que l'on peut characteriser l'ensemble de traductions possibles comme des solutions d'un ensemble d'inequations appropriées. Plus particulièrement, on s'intéresse à la plus petite solution, qui correspond à la traduction la plus précise ou optimale. La plus grande partie de ce manuscrit de thèse est dédié à un seul cas d'étude, l'analyse linéaire, dont l'objectif est de déterminer les valeurs qui sont utilisées une seule fois. On decrit d'abord une version de l'analyse linéaire très simplifiée, en suite on introduise des extensions qui comportent des notions de sous-typage et du polymorphisme d'annotations, ce étant clé dans la pratique, car il permet à l'analyse de garder son pouvoir expressif en présence de modules compilés séparément.

Dans cette thèse, notre objectif est de présenter une nouvelle approche de résolution pour des problèmes d'ordonnancement de type job-shop. Les problèmes traités sont de grande taille, ce qui, du fait de la complexité du problème, ne permet d'envisager que l'utilisation d'heuristiques. Cette approche propose une alternative aux algorithmes basés sur des règles de priorité, généralement utilisés. Le principe de l'approche est de construire une succession d'ordonnancements partiels, en agrégeant les jobs les uns après les autres. L'agrégation consiste à insérer toutes les opérations du job à agréger sans changer l'ordre des opérations dans l'ordonnancement partiel précédent. Dans un premier temps, des méthodes issues de l'approche sont proposées pour résoudre le problème classique du job-shop. Ensuite, ces méthodes sont étendues pour traiter des problèmes de job-shop généralisé, ou l'affectation des opérations aux machines n'est pas fixée au départ. Pour finir, des problèmes de job-shop dynamiques et réactifs sont abordés. Dans ceux-ci, l'arrivée aléatoire de jobs et l'arrêt de machines sont pris en compte. Les méthodes agrégatives sont particulièrement bien adaptées à la résolution de ce type de problème.

Le sujet de cette thèse est le développement de méthodes pour l'analyse automatique des programmes informatiques. Une des applications majeures est la conception d'outils pour découvrir les erreurs de programmations avant qu'elles ne se produisent, ce qui est crucial à l'heure où des tâches critiques mais complexes sont confiées à des ordinateurs. Nous nous plaçons dans le cadre de l'interprétation abstraite, qui est une théorie de l'approximation sûre des sémantiques de programmes, et nous nous intéressons en particulier aux domaines abstraits numériques spécialisés dans la découverte automatique des propriétés des variables numérique d'un programme.<br />Dans cette thèse, nous introduisons plusieurs nouveaux domaines numériques abstraits et en particulier le domaine des zones (permettant de découvrir des invariants de la forme X-Y≤c, des zones de congruence (X≡Y+c [b]) et des octogones (±X ±Y≤c). Ces domaines sont basés sur les concepts existants de graphe de potentiel, de matrice de différences bornées et sur l'algorithmique des plus courts chemins. Ils sont intermédiaires, en terme de précision et de coût, entre les domaines non relationnels (tel celui des intervalles), très peu précis, et les domaines relationnels classiques (tel celui des polyèdres), très coûteux. Nous les nommons " faiblement relationnels ". Nous présentons également des méthodes permettant d'appliquer les domaines relationnels à l'analyse de nombres à virgule flottante, jusqu'à présent uniquement réalisable par des domaines non relationnels donc peu précis. Enfin, nous présentons des méthodes génériques dites de " linéarisation " et de " propagation de constantes symboliques " permettant d'améliorer la précision de tout domaine numérique, pour un surcoût réduit.<br />Les méthodes introduites dans cette thèse ont été intégrées à Astrée, un analyseur spécialisé dans la vérification de logiciels embarqués critiques et se sont révélées indispensables pour prouver l'absence d'erreurs à l'exécution de logiciels de commande de vol électrique. Ces résultats expérimentaux viennent justifier l'intérêt de nos méthodes pour des cadre d'applications réelles.

Nous assistons depuis quelques années à une mutation profonde du domaine des réseaux électriques. Cette modification a pour origine la dérégulation du secteur électrique. C'est dans ce contexte que se développent de petits groupes de production raccordés aux réseaux de distribution. Cette production est appelée "production décentralisée" ou "dispersée". Cependant, les réseaux de distribution n'ont pas été conçus pour recevoir une grande quantité de production. Dans ce contexte, l'insertion de cette production aura un impact certain sur la conduite et le fonctionnement de ces-réseaux de distribution. Pour étudier les différents impacts, attendus ou non, il faut disposer de modèles qui permettent de représenter le comportement des différents groupes susceptibles d'être connectés sur ce réseau. Nous avons ainsi développé un modèle pour un moteur Diesel turbocompressé. Ce modèle est du type "couple moyen". Sa structure est générique sous forme modulaire et chaque module représente une fonctionnalité du moteur. L'approche fondamentale consiste à prendre en compte uniquement les dynamiques mécaniques du moteur, les différentes variables thermodynamiques étant déterminées en cours de simulation par une méthode quasi-statique. Des simulations de raccordement sur un réseau de distribution réel (55 noeuds) ont été réalisées et ont montré les apports de ce modèle par rapport aux modèles existants.

Cette thése porte sur la reconnaissance de caractères imprimés et manuscrits par méthodes markoviennes et réseaux bayésiens. La première partie consiste à effectuer une modélisation stochastique markovienne en utilisant les HMMs classiques dans deux cas: semi-continu et discret. Un premier modèle HMM est obtenu à partir d'observations de type colonnes de pixels (HMM-vertical), le second à partir d'observations de type lignes (HMM-horizontal). Ensuite nous proposons deux types de modèles de fusion : modèle de fusion de scores qui consiste à combiner les deux vraisemblances résultantes des deux HMMs, et modèle de fusion de données qui regroupe simultanément les deux observations lignes et colonnes. Les résultats montrent l'importance du cas semi-continu et la performance des modèles de fusion. Dans la deuxième partie nous développons les réseaux bayésiens statiques et dynamiques, l'algorithme de Jensen Lauritzen Olesen (JLO) servant comme moteur d'inférence exacte, ainsi que l'apprentissage des paramètres avec des données complètes et incomplètes. Nous proposons une approche pour la reconnaissance de caractères (imprimés et manuscrits) en employant le formalisme des réseaux bayésiens dynamiques. Nous construisons certains types de modèles: HMM sous forme de réseau bayésien dynamique, modèle de trajectoire et modèles de couplages. Les résultats obtenus mettent en évidence la bonne performance des modèles couplés. En général nos applications nous permettent de conclure que l'utilisation des réseaux bayésiens est efficace et très prometteuse par le fait de modéliser les dépendances entre différentes observations dans les images de caractères.