L'étude de la propagation de crues est un problème assez complexe et fastidieux du fait des nombreuses données hydrologiques et hydrauliques nécessaires et des calculs impliqués par la résolution numérique des équations de Saint Venant. Il est donc utile, en particulier dans le domaine de l'hydrologie, de disposer de méthodes simples et assez fiables pour traiter ce phénomène. Dans ce travail on a cherché à avoir une vision globale du phénomène, par la connaissance approchée du rôle de quelques paramètres descriptifs des cours d'eau et des crues. L'utilisation de ces paramètres dans des modèles simplifiés de propagation a été l'objectif de cette thèse. Tout d'abord, à partir d'un modèle diffusif linéaire, proposé par Hayami, et moyennant quelques hypothèses simplificatrices sur la forme des hydrogrammes, on a pu proposer une méthodologie d'évaluation de la propagation de pointes de crues. Ensuite on s'est intéressé au modèle complet de Saint Venant et à partir d'une analyse a posteriori des résultats de plusieurs simulations de propagation selon ce modèle, on a proposé des modèles simplifiés de propagation, portant toujours sur la pointe de crue. Enfin on a étudié l'applicabilité de ces modèles sur des cours d'eau et des crues réels.

Cette thèse porte sur la création d'un système expert d'alignement automatique des signaux chromatographiques répondant à une problématique de dérives et de décalages de signaux rencontrée dans l'inter-comparaison de données en milieu évolutif. Après un état de l'art des différentes méthodes d'alignement qui existent dans la littérature, les performances des méthodes librement disponibles ont été testées sur des jeux de données chromatographiques simulées et réelles. A l'issu de ce travail méthodique, il s'est avéré qu'aucune des méthodes n'apportait pleinement satisfaction en matière de performances définies dans le cahier des charges. Ainsi, une optimisation de la meilleure de ces méthodes d'alignement a été développée afin qu'elle puisse être annexée à un logiciel d'acquisition et de traitement de données chromatographiques. La dernière partie de ce manuscrit traite d'une problématique complémentaire, la conformité des échantillons en terme de contrôle qualité. La similitude des pics est évaluée selon des critères développés et validés par une exploitation manuelle des données. / This thesis focuses on the creation of an expert system for automatic alignment of chromatographic signals in response to a problem of drifts and shifts of signals encountered in the inter-comparison of data in evolving environment. After a state of the art of the different alignment methods that exist in the literature, the performances of freely available methods were tested on sets of simulated and real chromatographic data. At the end of this methodical work, it turned out that none of the methods did not provide fully satisfactory in terms of performance defined in the specification. Thus, an optimization of the best alignment method has been developed so that it can be attached to a software acquisition and processing of chromatographic data. The last part of this thesis deals with a complementary problem, the conformity of the samples in terms of quality control. The similarity of the peaks is evaluated according to criteria developed and validated by manual operation data.

Nous présentons dans cette thèse les travaux réalisés concernant la vérification automatique de Bases de Connaissances de Systèmes Experts. Cette étude comporte un panorama des systèmes existants, puis deux parties indépendantes. La première traite de la Cohérence de bases de règles d'ordre Zéro Plus. Nous présentons le système MELOMIDIA, qui fournit, quand elles existent, les bases de faits initiales conduisant à des déductions contradictoires. Le système permet aussi d'améliorer l'exploitation de la base de règles analysée (élimination des règles inutiles, filtrage de la base de faits initiale), et de visualiser les contradictions qu'elle contient (traceur d'incohérences). La seconde concerne la vérification de bases de règles d'ordre Un. Elle consiste à s'assurer que la base respecte des spécifications exprimées sous la forme de propriétés attachées aux prédicats présents dans la base de règles. Ces propriétés sont fournies suivant un modèle qui distingue quatre niveaux de description des prédicats : les niveaux syntaxique, physique, mathématique et fonctionnel.

Rôle de la généralisation cartographique dans les systèmes de production des cartes assistée par ordinateur dans les systèmes d'information géographique. On espère contourner les difficultés de la généralisation cartographique (GC) partiellement en faisant appel à la méthodologie des systèmes experts. Quelques algorithmes de modélisation basés sur la compréhension des éléments géographiques dans leur ensemble sont décrits. On propose une représentation des connaissances par l'utilisation conjointe de plusieurs techniques : représentation par objets, raisonner avec des règles, tout en associant des composants procéduraux. On décrit ensuite le fonctionnement d'un petit moteur d'inférence non monotone, du premier ordre, fonctionnant en chaînage avant, réalisé en Lisp. Enfin nous donnons quelques résultats de la généralisation sur un exemple réel à l'aide d'illustrations graphiques sorties par le module en post script.

Le problème de conception dans le domaine du bâtiment est pluridisciplinaire. Plusieurs experts (architectes, ingénieurs, techniciens, ...) doivent coopérer et négocier afin de produire un résultat cohérent. Pour développer un outil informatique d'aide à la conception en bâtiment, on utilise un environnement avancé d'intelligence artificielle alliant une puissante représentation orientée objet à des mécanismes d'organisation et de contrôle du raisonnement. Le travail porte surtout sur le couplage de systèmes experts à base de connaissance en bâtiment (pour le raisonnement) avec des outils de CAO (pour la saisie et l'interaction graphique). La thèse consiste en une contribution à la spécification des éléments de base d'un prototype de cet outil. La spécification est concrétisée par une maquette logicielle.

Ce travail présente notre contribution au domaine du raisonnement temporel (RT) en intelligence artificielle. Nous avons défini et mis en oeuvre un mécanisme de raisonnement abductif (génération d'hypothèses) pour le RT. Un tel mode de raisonnement présente en particulier l'intérêt d'être une alternative possible au raisonnement par défaut pour prendre en compte la non monotonie inhérente au RT. Une autre motivation est que le raisonnement abductif appliqué au RT est une approche possible pour la planification. Préalablement à la présentation de la procédure d'abduction, nous étudions l'intérêt pour le raisonnement temporel du principe de résolution avec contraintes de Bürckert. Ce principe s'avère être un cadre formel intéressant pour décrire l'intégration des systèmes de contraintes temporelles dans des systèmes déductifs utilisant le principe de résolution comme règle d'inférence. Dans la deuxième partie, nous proposons une procédure de génération d'hypothèses qui est basée conjointement sur des travaux de Kakas et Mancarella sur l'abduction en programmation logique, et sur l'idée de la résolution avec contraintes. La procédure que nous proposons possède des mécanismes originaux facilitant en premier lieu son application au raisonnement temporel, et permettant ensuite de ramener la conservation de la consistance des hypothèses déjà générées à des tests de satisfaction de contraintes temporelles. Nous présentons des exemples d'utilisation, en particulier pour la planification en utilisant le Calcul d'Evénements de Sergot et Kowalski comme formalisme de représentation. Le cadre de la programmation logique avec contraintes, sous jacent à notre travail, nous permet d'étendre notre procédure à d'autres systèmes de contraintes. Nous décrivons en particulier l'utilisation de contraintes sur domaines finis, ce qui permet de décrire et gérer des ressources finies en planification. L'implantation de la procédure utilise, en plus des contraintes temporelles et des contraintes sur domaines finis, des contraintes sur le typage des termes, ce qui nous permet de proposer un cadre logique avec types et sous-typage qui facilite la description du formalisme temporel et des problèmes à résoudre.

Le présent travail est intégré au sein du logiciel interne de synthèse d'images, ILLUMINES. Il porte sur deux points : Les lampes de bureau, les phares de voitures, les lampadaires dans les rues, ... éclairent le plus souvent selon une direction et une portée déterminées. Nous présentons dans la première partie de la thèse une méthode permettant de simuler ce type de source lumineuse, avec une modélisation par arbre de construction, dans un environnement de tracé de rayons. Notre méthode permet de visualiser les zones éclairées par le faisceau de la source lumineuse, mais également le faisceau lui-même. La conception d'une image de synthèse s'avère, pour un non-spécialiste, une réalisation pénible et difficile. A partir d'une hiérarchie orientée objet, d'un moteur d'inférence et des techniques interactives traditionnelles, nous proposons à l'utilisateur un outil d'aide à la conception d'images de synthèse simple et efficace. Une construction par les contraintes est générée par le moteur d'inférence et rendue accessible par l'utilisation de la fonction de contrainte : poser_sur. Diverses autres fonctions de haut niveau sont proposées pour la modification de la scène : déplacer_ vers, modifier_taille, éloigner_de, rapprocher_de, ... La préservation des contraintes est effectuée par envoi de messages. Ce prototype d'interface évolué interactif a été implanté au sein du logiciel ILLUMINES et permet d'envisager ce qui est en droit de s'appeler, la conception d'images de synthèse assistée par ordinateur.

Dans le domaine aéronautique, la dernière décennie a été marquée par une augmentation constante et progressive du taux d'électrification des systèmes embarqués. L'avion plus électrique est aujourd'hui vu comme un axe d'amélioration majeure pour l'industrie aéronautique permettant d'atteindre des objectifs toujours plus ambitieux : réduction de l'impact environnemental, rationalisation des coûts de maintenance... Dans ce contexte, le réseau de distribution électrique joue un rôle majeur. Les architectes doivent imaginer de nouveaux concepts architecturaux afin d'assurer le " service " de fourniture d'électricité tout en minimisant la masse et le coût. Ainsi les travaux de cette thèse proposent des méthodes d'aide à la conception pour les architectes de réseau. Le manuscrit se divise en 2 parties pouvant être vues comme 2 études distinctes et qui sont introduites dans le chapitre 1. La 1ère partie, traitée dans les chapitres 2 et 3, développe des méthodes et outils afin de résoudre de manière automatique et optimale 2 tâches de l'architecte : la définition des reconfigurations du réseau et l'identification de l'allocation des charges. La formalisation de ces 2 problématiques met en lumière une caractéristique commune : l'explosion combinatoire. Ainsi les résolutions sont réalisées à l'aide de méthodes issues de la recherche opérationnelle. Un processus général est défini afin de traiter les 2 tâches de manière consistante. Les aspects liés à la reconfiguration sont traités à l'aide de : la théorie des graphes pour modéliser la connectivité du réseau, un système expert capturant les règles métiers et la programmation linéaire sélectionnant les reconfigurations les plus performantes. La méthode a été appliquée avec succès sur des réseaux avions existants (A400M et A350) ainsi que sur des réseaux plus électriques prospectifs. La deuxième tâche consistant en l'allocation des charges a été résolue à l'aide de méthodes stochastiques. L'algorithme génétique utilisant une méthode de nichage se révèle être le plus performant en proposant à l'architecte réseau des solutions performantes et variées. La 2ème partie, traitée dans le chapitre 4, s'intéresse à un nouveau concept le " cœur électronique modulaire et mutualisé ". Cet organe de distribution, étroitement lié à l'avion plus électrique, se caractérise par la mutualisation de " m " modules électronique de puissance pour " c " charges électriques. Les méthodes développées dans le chapitre 4 vise à concevoir de manière optimale ce nouveau cœur en ayant 2 degrés de liberté : le nombre " m " de modules et les reconfigurations entre les " m " modules et les " c " charges. De nouveau, la formalisation du problème met en évidence l'explosion combinatoire à laquelle est confronté le concepteur. Le principal objectif de cette étude est de proposer un cadre méthodologique pour la résolution de ce problème de conception. Ainsi une heuristique a été développée pour résoudre ce problème combinatoire. Une attention particulière a été portée pour développer des modèles de composants simples et génériques dans une procédure générale organisée. Enfin une cartographie a été réalisée afin de dégager d'une part les formes de solutions les plus performantes et d'identifier les éléments ayant les impacts les plus significatifs sur la masse du système complet.

Mise en oeuvre de techniques de modélisation récentes pour la prévision statistique et économique. / Doctorat en Sciences / info:eu-repo/semantics/nonPublished

L'objectif de cette recherche est la définition, la réalisation et l'intégration de la maquette d'un système d'aide à l'évaluation de la performance acoustique. Cette évaluation est considérée en phase d'avant-projet dans un contexte de conception appliquée au bâtiment. Le processus de développement de l'étude exige: a- La définition d'une méthodologie de conception globale prenant en compte les différentes composantes de conception. b- La construction d'un modèle d'évaluation acoustique permettant de déterminer le niveau sonore, l'isolement réglementaire, l'isolation produite et l'indice de qualité correspondant pour chaque composant du bâtiment. c- La recherche d'une sorte de compromis entre la méthodologie de la conception choisie et la technologie de la mise en oeuvre proposée. Ce qui permet de développer un système répondant au maximum des exigences et des contraintes d'évaluation acoustique en phase d'avant projet. Trois réponses informatiques ont marqué différentes étapes d'évolution de la recherche : 1- ECHO : outil d'évaluation automatique de type conversationnel.2- SONARE : système d'évaluation automatique qui s'insère dans un environnement de CAO spécialisé en bâtiment.3- SONO : système expert d'aide à l'évaluation implanté dans un environnement de CAO spécialisé en bâtiment. L'ensemble de ces travaux a permis enfin de proposer une architecture d'un système d'évaluation intelligente intitulé Delta-DIALOC qui favorisera la relation Homme-Système.