La carte est le moyen le plus naturel de transmission de l'information géographique. Elle est aussi un excellent support pour la visualisation des données analytiques sur des phénomènes à référence spatiale. Ceci inclut les cartes topographiques, aussi bien que les cartes schématiques (ex : réseau de transport urbain). Pour des considérations liées à des contraintes technologiques, la représentation du monde réel a été discrétisée, en cartographie classique, en tenant compte des projets et applications souhaitées, en représentations à différentes échelles correspondant à plusieurs niveaux d'abstraction.<br />Les producteurs de cartes maintiennent de façon identique une base de donnée par gamme d'échelle sans aucune inter-relation. De ce fait, outre les problèmes classiques de la redondance des données, et l'impossibilité de la propagation des mises à jour, le contrôle des cohérences est rendu très difficile. Pour maintenir la cohérence et éviter les redondances, la solution idéale serait une base de donnée où l'information géométrique est saisie à l'échelle la plus précise, et toutes les visualisations à des échelles moins précises seraient dérivées automatiquement à travers des processus de généralisation cartographique. Malheureusement cette dérivation ne peut être complètement automatisée. Par conséquent, le stockage explicite de plusieurs représentations de la géométrie des objets (une par échelle) s'impose. Néanmoins plusieurs solutions ont été mises en oeuvre pour parer aux inconvénients induits, dont la mise en oeuvre d'une base de donnée multi-échelle : une base de données où toutes les représentations requises coexistent et sont inter-reliées.<br />Nous présentons les besoins et les problèmes rencontrés par les spécialistes en SHS, en particulier nous mettons en évidence les problèmes soulevés dans le cadre d'une utilisation des SIG pour l'archéoastronomie, puis nous présentons les approches de résolution des problèmes ainsi que la présentation des concepts de base utilisés pour résoudre les problèmes mis en évidence. Les concepts précédents sont traités dans le cadre d'une conception orientée objets (COO). L'approche COO de la multi-représentation est basé sur une modélisation objet en UML. La validation des concepts précédents, est présenté à travers un exemple concret.<br />L'approche est illustrée par la réalisation du prototype logiciel GIS-3A sous Visual Basic ce qui permet d'une part d'implémenter les différentes notions en utilisant une conception orientée objets et d'autre part de faciliter l'intégration des ces notions dans un SIG (Arcview).

Le développement d'un logiciel de simulation numérique, en particulier lorsqu'il est destiné à la résolution de problèmes multiphysiques, implique une augmentation significative de la complexité des structures de données au fur et à mesure des enrichissements. La maîtrise de cette complexité exige une structure bien organisée et extensible. Ces enrichissements successifs introduisent des fonctionnalités intéressantes pour l'utilisateur final mais ceci, bien souvent, au prix d'une difficulté d'utilisation croissante.<br />Cette thèse aborde la problématique de la gestion de la structuration et de la complexité dans une application de simulation numérique multiphysique, par la combinaison de la programmation orientée objet et de règles métiers à l'aide de Prolog, un langage de programmation logique.<br />Nous commençons par établir un modèle de données contenant des classes abstraites qui facilitent l'héritage et l'expansion de cette structure de données. L'objectif est de permettre aux développeurs d'ajouter un nouveau modèle de données ou de modifier un modèle existant, sans remettre en cause l'existant. Un tel modèle de données nécessite des vérifications qui assurent que toutes les commandes et les constructions d'objets soient valides. Nous proposons de réaliser ces vérifications à l'aide d'un moteur de règles et non pas de manière algorithmique comme cela est fait habituellement. Ce moteur de règles, basé sur le langage de programmation logique, donne la possibilité d'exécuter la vérification, bien sûr, mais aussi la proposition et l'explication.<br />Cette approche permet d'une part de réduire la tâche du développeur et d'autre part de faciliter les opérations de l'utilisateur final.

Le sujet de cette thèse est la conception d'un support d'exécution orienté objet pour applications réparties. Un des principaux objectifs est de permettre de correctement isoler le code lié à la gestion du support d'exécution du code propre à l'application. D'autre part, un tel support se doit d'être portable sur le plus grand nombre de plate-formes ; pour cela son interface de programmation doit être minimale tout en restant extensible. La prise en compte de tels critères permet d'obtenir un support pour une grande variété d'applications réparties. Nous avons donc conçu et implémenté un support d'exécution sous la forme d'une bibliothèque de classes appelée Schooner. Le modèle de programmation de la bibliothèque s'articule autour des notions de machine virtuelle et d'entités réparties communiquant par messages actifs. En plus de ce modèle de base, nous avons également développé une extension multi-active permettant l'utilisation de processus légers. Afin de compléter et valider \schooner, des outils d'aide au développement et de mise au point d'applications réparties sont également fournis. Une des caractéristiques importantes de l'environnement fourni est d'être facilement personnalisable selon les besoins spécifiques d'une application en permettant par exemple une amélioration des performances. Dans ce contexte, nous proposons un mécanisme de bufferisation des messages entre deux entités communicantes, mécanisme entièrement paramétrable par l'utilisateur. Il est également envisageable dans le cadre de la version multi-active de modifier l'ordonnancement des entités actives. Cet environnement a pu être validé par le développement de deux applications de taille conséquente : la version répartie d'un simulateur à événements discrets orienté objet, Prosit et une extension répartie et parallèle du langage C++, C++//.

L'objectif de ce travail est, d'une part, de définir une méthode de résolution pour le problème de la Mobilisation de la Réserve Tertiaire (MR T) en tenant compte des contraintes de transits actifs du réseau de transport Très Haute Tension à Electricité de France et, d'autre part, de . développer une maquette informatique capable de tester cette méthode de résolution. Actuellement, l'action de MRT èst déclenchée lorsque un déséquilibre sérieux (on parle "d'aléa") entre les niveaux de production et de consommation survient et que les réglages automatiques (dits primaire et secondaire) atteignent leurs limites; l'opérateur est alors contraint d'intervenir "manuellement" sur les consignes des groupes de production pour restaurer les marges de sécurité du système électrique. L'approche que nous proposons, fondée sur un algorithme d'exploration de l'espace des solutions techniquement réalisables, permet de toujours obtenir une solution, éventuellement partielle faute de mieux. Complétée progressivement par des heuristiques, l'exploration est guidée par une liste, ordonnée, d'unités thermiques et hydrauliques mobilisables et par une liste, également classée, de critères que la solution recherchée doit s'efforcer de vérifier au maximwn. Ces deux listes sont établies par l'opérateur en fonction de son intuition et de sa connaissance du système électrique. La conception de l'outil proposé repose sur la programmation orientée objet (C++). Entièrement paramétrable par l'opérateur, la plate-forme réalisée utilise les structures de données d'EDF et comporte de nombreuses interfaces avec des logiciels existants. De ce travail, nous retenons que notre outil pourrait être prochainement intégré dans une plate-forme informatique d'EDF et devenir un élément de base réutilisable et extensible pour de futures études.

Doctorat en philosophie et lettres / info:eu-repo/semantics/nonPublished

Les logiciels actuels sont de grandes tailles, complexes et critiques. Le besoin de qualité exige beaucoup de tests, ce qui consomme de grandes quantités de ressources durant le développement et la maintenance de ces systèmes. Différentes techniques permettent de réduire les coûts liés aux activités de test. Notre travail s’inscrit dans ce cadre, est a pour objectif d’orienter l’effort de test vers les composants logiciels les plus à risque à l’aide de certains attributs du code source. À travers plusieurs démarches empiriques menées sur de grands logiciels open source, développés avec la technologie orientée objet, nous avons identifié et étudié les métriques qui caractérisent l’effort de test unitaire sous certains angles. Nous avons aussi étudié les liens entre cet effort de test et les métriques des classes logicielles en incluant les indicateurs de qualité. Les indicateurs de qualité sont une métrique synthétique, que nous avons introduite dans nos travaux antérieurs, qui capture le flux de contrôle ainsi que différentes caractéristiques du logiciel. Nous avons exploré plusieurs techniques permettant d’orienter l’effort de test vers des composants à risque à partir de ces attributs de code source, en utilisant des algorithmes d’apprentissage automatique. En regroupant les métriques logicielles en familles, nous avons proposé une approche basée sur l’analyse du risque des classes logicielles. Les résultats que nous avons obtenus montrent les liens entre l’effort de test unitaire et les attributs de code source incluant les indicateurs de qualité, et suggèrent la possibilité d’orienter l’effort de test à l’aide des métriques. / Current software systems are large, complex and critical. The need for quality requires a lot of tests that consume a large amount of resources during the development and the maintenance of systems. Different techniques are used to reduce the costs of testing activities. Our work is in this context. It aims to guide the unit testing effort distribution on the riskiest software components using the source code attributes. We conducted several empirical analyses on different large object-oriented open source software systems. We identified and studied several metrics that characterize the unit testing effort according to different perspectives. We also studied their relationships with the software class metrics including quality indicators. The quality indicators are a synthetic metric that we introduced in our previous work. It captures control flow and different software attributes. We explored different approaches for unit testing effort orientation using source code attributes and machine learning algorithms. By grouping software metrics, we proposed an effort orientation approach based on software class risk analysis. In addition to the significant relationships between testing metrics and source code attributes, the results we obtained suggest the possibility of using source code metrics for unit testing effort orientation.

Le but de ce mémoire est de présenter une approche orientée objet pour l’élaboration d’un Système de Maintien de Vérité à base de Justifications à Négation et Non Monotone (SMVJNNM). Un SMV est un module utilisé dans les systèmes à base de connaissances pour réviser des croyances. On distingue trois principaux types de SMV: à base de justifications, à base logique et à base d'assomptions. Ils utilisent des structures en réseau pour enregistrer les instances d'un ensemble de règles et tous s'inscrivent dans un paradigme orienté listes. Nous proposons un paradigme objet pour l’élaboration d’un SMV. Les étapes de la démarche suivie sont: étude des SMV existants, modélisation d’un SMV au niveau des connaissances, conception par patrons, implémentation et tests. Deux exemples tirés de la documentation scientifique montrent que notre système offre des fonctionnalités équivalentes à celles des SMV étudiés. Notre système a aussi été utilisé comme mini-moteur de recherche. / The objective of this master’s degree dissertation is to propose an object oriented approach for the design of negated non-monotonic justifications-based truth maintenance systems (NNMJTMS). A truth maintenance system (TMS) is a module assisting knowledge-based systems to conduct belief revision. There are three main types of TMS: justification-based, logical-based and assumption-based. All of these systems use network structures to register instances of a set of production rules according to a list-oriented paradigm. We propose in our work to adopt an object-oriented approach for the design of a TMS. We went through the following steps: review of existing TMS, modeling a TMS at the knowledge level, design and implementation using patterns and testing. To test the TMS in conjunction with a client system, two examples borrowed from scientific literature indicate that our system offers functionalities equivalent to those of the TMS found in the literature. In the first example, we validate some textbook cases. And in the second one, we test the load capacity of the TMS system while assisting a tiny search engine.

Dans ce mémoire, on traite de problèmes reliés à l'intégration et au pilotage des activités de logistique inversée au sein d'une organisation. Les activités de logistique inversée font référence à la récupération de produits inutilisés ou en fin de cycle de vie, à leur traitement et à la redistribution des matériels réutilisables. Pour illustrer les concepts abordés, un nouveau système organisationnel, qui représente le déroulement des processus opérationnels et l'exploitation des ressources de l'organisation (main-d'uvre, matériel, équipement, etc.), et une architecture de support d'information ont été proposés pour la situation vécue par un centre de réadaptation. Celui-ci, comme l'ensemble des centres de réadaptation de la province de Québec, se voit désormais confronté à la récupération et au traitement de fauteuils roulants inutilisés de sa clientèle en plus des activités courantes d'attribution et de maintenance. / Les concepts développés peuvent non seulement s'étendre aux autres centres de réadaptation, mais également s'appliquer avantageusement à plusieurs applications, autant dans le secteur de production de bien que de service.

Dans une première partie, nous définissons un nouveau langage à base fonctionnelle et avec récursion généralisée, en utilisant le système de types avec degrés de Boudol pour éliminer les récursions dangereuses. Ce langage est ensuite étendu par des enregistrements récursifs, puis par des mixins, permettant ainsi de mêler totalement les paradigmes fonctionnels et objets. Nous présentons également une implémentation, MlObj, ainsi que la machine abstraite servant à son exécution.<br /><br />Dans une deuxième partie, nous présentons un nouvel algorithme d'inférence pour les systèmes de types avec intersection, dans le cadre d'une extension du lambda-calcul. Après avoir prouvé sa correction, nous étudions sa généralisation aux références et à la récursion, nous le comparons aux algorithmes d'inférence déjà existants, notamment à celui de Système I, et nous montrons qu'il devient décidable à rang fini.

Cette thèse présente une étude exhaustive des différentes topologies d'événements à grande énergie transverse observés sur le collisionneur électron-proton HERA. L'ensemble des données accumulées par l'expérience Hl entre 1994 et 2000 ont été utilisées, ce qui représente une luminosité intégrée de 118.3 pb-1.<br> Nous avons tout d'abord participé au développement d'un nouvel environnement d'analyse orientée objet, en nous concentrant particulièrement sur la reconstruction des hadrons et des jets hadroniques. Cet environnement, qui est devenu l'outil d'analyse standard de Hl de la phase II de HERA, est mis à l'épreuve dans le cadre de notre sujet.<br> Les événements étudiés regroupent 24 topologies différentes pour lesquelles les spectres d'énergie transverse sont systématiquement étudiés. Un bon accord général au Modèle Standard est observé, mis à part dans quelques canaux à leptons isolés où plusieurs événements atypiques ont déjà été rapportés. La comparaison au Modèle Standard est quantifiée avec l'aide d'une méthode statistique spécifique développée pour l'occasion.