Présentation de quelques rappels sur les grammaires statiques. Il est aussi montre la nécessité du recours a des techniques issues du génie logiciel pour arriver à une réelle ingénierie du logiciel. Présentation d'un inventaire des besoins en génie logiciel pour la construction de systèmes de traduction assistée par ordinateur (tao). Présentation d'un prototype de poste de travail linguistique adapte a la construction de grammaires statiques et déjà teste par quelques utilisateurs pilotes

Divers algorithmes d'études locale d'ensembles invariants compacts de systèmes dynamiques sont présentés dans ce travail. Nous commençons par développer des méthodes de calcul numérique de la densité locale autour d'un point d'un ensemble de Julia de fraction rationnelle. Ce problème est important dans le domaine de l'étude des modèles hiérarchiques de la physique statistique. De plus, cette densité serait un des paramètres principaux de la caractérisation d'invariants compacts de systèmes dynamiques (attracteur étrange...). L'application de ces méthodes demande des algorithmes d'accès rapide à des régions (rectangle, cercle) du compact numériquement approche par un ensemble forme d'un grand nombre de points. Nous avons mis au point un algorithme, réellement implémentable et expérimentalement efficace, qui résout ce problème. Nous montrons que, sous certaines conditions, ce procédé permet l'estimation de quelques dimensions fractales de l'ensemble considère. Un logiciel, nomme Elsep et écrit en langage Pascal, qui regroupe et exploite tous ces algorithmes ponctue cette étude. Des résultats numériques et graphiques illustrent chacune des parties traitées

Cette thèse se place dans le cadre de la modélisation et de l'analyse de systèmes parallèles et répartis. Plus précisément, nous nous intéressons à la modélisation, la vérification et la supervision de systèmes, composés d'entités indépendantes interagissant localement par mémoire partagée et globalement par échange asynchrone de messages.<br /><br />Dans ce contexte, plutôt que de modéliser séparément chaque entité, puis d'analyser les comportements qui peuvent se produire lorsque ces entités interagissent, nous fournissons une théorie permettant de modéliser globalement le système considéré tout en conservant des propriétés de vérification et de supervision décidables. Cette théorie se base sur le formalisme des ordres partiels étiquetés (appelés "pomsets").<br /><br />Dans ce but, nous définissons le modèle des HMSC causaux qui étend le formalisme des HMSC en autorisant, comme pour les traces de Mazurkiewicz, certains événements à commuter sur chaque processus. Nous montrons, tout d'abord, qu'une restriction syntaxique des HMSC causaux a le même pouvoir d'expression que les réseaux bornés d'automates mixtes, un modèle qui étend les réseaux d'automates asynchrones de Zielonka et les réseaux d'automates communicants. De plus, nous montrons que les méthodes classiques de model-checking de systèmes séquentiels peuvent s'appliquer aux modèles plus concis basés sur les pomsets, comme les HMSC causaux, sans perte d'efficacité. Enfin, nous proposons des méthodes de traitement efficace d'observations volumineuses d'exécutions réparties, ainsi que des techniques de supervision, telles que le diagnostic ou la corrélation d'événements, qui utilisent des modèles basés sur les pomsets.

Cette étude s'inscrit dans le cadre d'un contrat établi entre le laboratoire Circuits et Systèmes et la SNCF. Ce contrat a pour objectif la conception et la validation d'un système de sécurité fer-rivière à base de microprocesseurs

Étude de la représentation de programmes dans un atelier de génie logiciel et des principaux concepts de l'édition syntaxique. Justification de l'utilité de la manipulation structurée des programmes, avant de présenter les spécifications externes d'un éditeur dirigé par la syntaxique. Étude des diverses techniques permettant d'effectuer une analyse contextuelle incrémentale d'un programme, mise en œuvre après chacune de ses modifications. Les différents concepts étudiés ont fait l'objet d'un prototype, réalisé dans le cadre du projet d'atelierADELE.

Ce travail présente à la fois les méthodologies de conception et l'ensemble des outils logiciels utilises à ce jour pour concevoir des circuits à très haute intégration. Une première partie concerne la génération des parties contrôlés et propose une analyse des différentes méthodes d'implantation couramment utilisées, un formalisme pour descriptions logiques d'algorithmes de contrôle, ainsi qu'un outil logiciel pour la synthèse automatique de ces algorithmes sous forme de Plas

Sur la base d'un modèle des fonctions essentielles requises pour l'écriture d'un didacticiel, nous étudions les problèmes posés par la spécification de ces fonctions et leur programmation informatique. Les méthodes proposées sont issues d'une expérience concrète et réussie de production de didacticiels de taille importante. De plus nous rendons compte sur le plan génie logiciel, et nous décrivons l'ensemble des outils que nous avons du spécifier et réaliser pour favoriser la production de didacticiels fiables, portables et modifiables.

Les approches de conception et de programmation à base de composants et les architectures logicielles séparent les composants de leurs interconnexions. Ces dernières, souvent appelées connecteurs, possèdent des définitions diverses et contradictoires dans la communauté. Le but de cette thèse est de clarifier le concept de connecteur et de proposer un processus pour son implémentation sous la forme d'un ensemble de générateurs. Ainsi, nous définissons un connecteur comme un élément d'architecture qui évolue et se concrétise durant son cycle de vie. Nous discutons en détails les différents concepts relatifs à ce cycle de vie, et nous les illustrons au travers de la mise en œuvre et l'évaluation d'un connecteur d'équilibrage de charge. Pour finir, nous dressons une classification entre les deux types d'abstraction de communication : les connecteurs et les composants de communication. Ainsi, nous mettons en avant les différences et les principaux critères de choix entre ces deux entités.

L'affluence des résultats de la biologie "à grande échelle" permet d'envisager une nouvelle approche de la biologie du développement fondée sur une modélisation à l'échelle cellulaire. Aujourd'hui, l'organisation génétique et les mécanismes d'action de ces gènes sur les processus de morphogénèse commencent à être analysables. Dans ce contexte, il devient envisageable de comprendre comment l'architecture des plantes peut être modulée par ces mécanismes aux échelles moléculaire et cellulaire.<br />Dans une première partie de ce travail, des outils de digitalisation et d'analyse de tissus cellulaires et de leur évolution dans le temps ont été développés. Dans ce cadre, nous avons mis en place une chaîne de traitement, partant d'images issues d'un protocole d'observation basé sur la microscopie confocale et allant jusqu'à l'analyse quantitative de caractères morphologiques et leur évolution au cours du temps.<br />Ensuite, nous avons créé un premier modèle de la croissance du méristème apical caulinaire (une population de cellules souches chez les plantes) dans le but de comprendre le déterminisme du positionnement des organes latéraux de la plante. Pour rendre compte des connaissances biologiques existante, notre modèle a été développé à l'échelle de l'organe et inclus la simulation pour chaque cellule de son état génétique, de son état physiologique et de sa croissance, et la simulation des flux d'hormones entre les cellules. Ce modèle nous a<br />permis de prédire et d'analyser les accumulations d'hormones dans des méristèmes digitalisés. Ces études nous ont conduits à développer un modèle dynamique de fonctionnement du méristème capable de faire émerger des motifs phyllotaxiques sur la base d'une croissance cellulaire et d'une interaction cellule à cellule.<br />Tous les outils informatiques développés au cours de cette thèse ont été intégrés dans une plate-forme logicielle multi-langages. Cette plate-forme a notamment permis de tester des techniques de développement liés à l'intégration de langages compilés et de langages interprétés dans le cadre de l'étude de la morphogénèse.

Les travaux présentés dans ce mémoire ont pour objectif d'apporter une contribution au domaine de l'élastodynamique linéaire et plus particulièrement aux méthodes dites de recalage chargées de réconcilier le modèle analytique d'une structure avec les données expérimentales. Les techniques proposées, en matière de réanalyse et d'identification paramétrique, sont susceptibles d'être appliquées à des modèles industriels de grande taille.<br /><br />Première partie : Étude de méthodes de réanalyse approchée de structures mécaniques modifiées<br />Lorsque les paramètres de conception du modèle varient, il est nécessaire d'effectuer une réanalyse afin d'obtenir les solutions propres (modes et fréquences) du système modifié. Une stratégie de réanalyse approchée de type Rayleigh-Ritz est présentée : elle est plus rapide et moins coûteuse qu'une réanalyse exacte, tout en offrant une précision satisfaisante grâce à l'apport des vecteurs de résidus statiques.<br /><br />Deuxième partie : Application d'une méthode évolutionnaire d'optimisation au recalage de modèles<br />Dans cette partie, on propose d'adapter une méthode évolutionnaire au problème de l'identification paramétrique. Inspiré par les principes d'évolution des algorithmes génétiques, son fonctionnement repose sur l'information fournie par une fonction coût représentant la distance entre un modèle recalé et la structure réelle. Des opérateurs heuristiques sont introduits afin de favoriser la recherche des solutions qui minimisent la fonction.<br /><br />Troisième partie : Logiciel Proto–Dynamique<br />Cette partie vise à présenter l'environnement de travail qui a servi à programmer les techniques formulées dans le mémoire et à réaliser les tests numériques. Proto, écrit en langage Matlab, est une plate-forme de développement regroupant des outils d'analyse et des méthodes de recalage.