Les travaux réalisés au cours de cette thèse s'inscrivent dans les problématiques de localisation d'un véhicule par vision. Nous nous plaçons en particulier dans le cas de parcours sur de longues distances, c'est à dire plusieurs kilomètres. Les méthodes actuelles de localisation et cartographie simultanées souffrent de problèmes de dérives qui les rendent difficilement exploitables après plusieurs centaines de mètres. Nous proposons dans ce mémoire de pallier ces limites en exploitant une connaissance à priori sur la géométrie de l'environnement parcouru.Cette information est extraite d'un Système d'Information Géographique. En particulier, les travaux réalisés se basent sur les modèles 3D des bâtiments des villes et sur une carte de la route.Dans la première partie de ce mémoire, nous proposons une approche permettant de corriger hors ligne une reconstruction SLAM en exploitant la connaissance d'un modèle 3D simple de l'environnement. Cette correction s'applique en deux étapes. En premier lieu, un recalage non-rigide entre le nuage de points reconstruit et le modèle 3D est effectué de sorte à retrouver la cohérence globale de la reconstruction. Dans le but de raffiner le nuage de points obtenu, un ajustement de faisceaux contraint par le SIG est alors effectué sur l'ensemble de la reconstruction.La particularité de cet ajustement de faisceaux est qu'il prend implicitement en compte les contraintes géométriques apportées par le modèle 3D. La reconstruction ainsi corrigée est alors utilisée en tant que base de données pour la relocalisation en ligne d'une caméra mobile. La précision de relocalisation obtenue est en particulier suffisante pour les applications de réalité augmentée.Dans la deuxième partie de ce mémoire, nous détaillons une solution permettant de corriger en ligne la reconstruction SLAM. Pour cela, les contraintes géométriques apportées par le SIG sont exploitées au fur et à mesure de la trajectoire du véhicule. Nous montrons tout d'abord que la connaissance de la position relative de la caméra par rapport à la route permet de corriger de façon robuste la dérive de facteur d'échelle. De plus, lorsque les contraintes géométriques sont suffisantes, la reconstruction SLAM réalisée jusqu'à l'instant courant est recalée sur le SIG.Cela permet de corriger ponctuellement la dérive observée sur la position courante de la caméra.Le processus complet permet dès lors de localiser le véhicule avec une précision semblable à celle d'un système GPS sur des trajectoires de plusieurs kilomètres.Les deux méthodes proposées ont été testées à la fois sur des séquences de synthèse et réelles. Des résultats qualitatifs et quantitatifs sont présentés tout au long de ce mémoire.

L'agriculture doit évoluer vers une activité plus respectueuse de l'environnement tout en étant économiquement viable. Ce type d'agriculture, dite durable, requiert de nouveaux savoirs et savoir-faire. Or, nous montrons que la gestion des connaissances n'est pas suffisante en agriculture durable. Pour y remédier, nous proposons de développer un système informatisé de gestion des connaissances en agriculture. Nous l'appelons KOFIS. Nous faisons l'hypothèse que les méthodes de gestion de connaissances dans le monde industriel sont transposables en agriculture pour construire KOFIS. Notre travail parcourt les étapes qui suivent. Nous faisons un état de l'art sur la gestion des connaissances et sur son lien avec l'innovation. Nous discutons des acteurs potentiels de KOFIS et de leurs rôles respectifs. Puis, nous travaillons sur le patrimoine des connaissances en agriculture durable, sur la sélection des connaissances critiques ainsi que sur leur représentation dans l'outil. Les principales caractéristiques de l'architecture informatique de KOFIS sont décrites. In fine, le contenu de KOFIS est dynamique. Il capitalise de la connaissance et propose une démarche pour innover. KOFIS est un système socio-technique intégrant de nombreux acteurs, reposant sur un corpus de connaissances en partie codifié et sur des échanges informels organisés. Il permet une évolution partagée des connaissances du domaine.

La sécurité est un élément crucial dans le développement d'un système d'information. On ne peut pas concevoir un système bancaire sans préoccupation sécuritaire. La sensibilité des données d'un système hospitalier nécessite que la sécurité soit la composante majeure d'un tel logiciel. Le contrôle d'accès est un des nombreux aspects de la sécurité. Il permet de définir les conditions de l'exécution d'actions dans un système par un utilisateur. Entre les différentes phases de conception d'une politique de contrôle d'accès et son application effective sur un système déployé, de nombreuses étapes peuvent introduire des erreurs ou des failles non souhaitables. L'utilisation de méthodes formelles est une réponse à ces préoccupations dans le cadre de la modélisation de politiques de contrôle d'accès. L'algèbre de processus EB3 permet une modélisation formelle de systèmes d'information. Son extension EB3SEC a été conçue pour la spécification de politiques de contrôle d'accès. Le langage ASTD, combinaison des statecharts de Harel et des opérateurs de EB3, permet de modéliser graphiquement et formellement un système d'information. Cependant, ces deux méthodes manquent d'outils de vérification et de validation qui permettent de prouver ou de vérifier des propriétés de sécurité indispensables à la validation de politiques de contrôle d'accès. De plus, il est important de pouvoir prouver que l'implémentation d'une politique correspond bien à sa spécification abstraite. Cette thèse définit des règles de traduction de EB3 vers ASTD, d'ASTD vers event-B et vers B. Elle décrit également une architecture formelle exprimée en B d'un filtre de contrôle d'accès pour les systèmes d'information. Cette modélisation en B permet de prouver des propriétés à l'aide du prouveur B ou de vérifier des propriétés avec ProB, un vérificateur de modèles. Enfin, une stratégie de raffinement B pour obtenir une implémentation de ce filtre de contrôle d'accès est présentée. Les raffinements B étant prouvés, l'implémentation correspond donc au modèle initial de la politique de contrôle d'accès

Une catastrophe naturelle, ou d'origine humaine, implique la mise en œuvre très rapide de chaînes logistiques éphémères. Les organisations humanitaires doivent intervenir de manière efficace, au bon moment et de façon cohérente, en évaluant les besoins prioritaires et en évitant les chevauchements et le gaspillage des moyens mobilisés, parfois à grand renfort d'appel à la générosité publique. La logistique d'entreprise et la logistique humanitaire ont plus d´éléments en commun que l´on n´a l'habitude de l'imaginer. Faire preuve de réactivité avec des coûts contrôlés (puisque les ressources financières des donateurs ne sont pas inépuisables) est l'affaire autant des organisations aidant les populations civiles que des fabricants ou des grands groupes industriels impliqués dans une guerre compétitive impitoyable, même si « les armes » utilisées restent évidemment spécifiques. Depuis ces quinze dernières années, la fréquence et l'ampleur des désastres d'une part, et les exigences des donateurs quant à l'usage des fonds et aux résultats des interventions d'autre part, ont incité le secteur humanitaire à évoluer vers plus de professionnalisation. En parallèle, le monde académique a montré, surtout depuis le séisme en Asie du Sud-est en 2004, un intérêt croissant pour la logistique humanitaire, ceci se manifestant par un nombre de plus en plus élevé d'articles sur le sujet dans les revues scientifiques. L'administration des Chaînes Logistiques Multi-Acteurs (CLMA) contribue directement à la performance des actions des organisations humanitaires. / The purpose of this investigation is to underline the advantages offered by applying the collective strategy model in the context of humanitarian logistics, enriching the existing benefits that operations management and business logistics techniques have brought to the field. In both man-made and natural disaster relief, humanitarian logistics operations have been hampered by a lack of coordination between actors, which directly affects performance in terms of reactivity and reliability. Adapted collective strategies could offer a solution to this problem. A literature review deals with the issue of humanitarian logistics through an operational dimension, followed by a strategic approach. This is rounded out with a case study dealing with the Pisco earthquake in Peru (August 2007), which is based on a participant observation methodological approach.The research presented revealed that a collective action approach had a positive impact on the working of humanitarian supply chains, as long as a “hub” was used to provide accountability and reliability. If a technical approach, particularly in matters of operations management (optimization of transportation, location of regional warehouses, etc.) is essential to better manage humanitarian logistics, it must also be in the service of a collective strategy, notably in the pre-positioning of supplies and the coordination of relief efforts. The case study provides several ideas for improving operation coordination, particularly through direct “symbiotic partnerships” in vertical relations and direct “commensalistic partnerships” in horizontal relations.

Ce travail est une contribution aux travaux en cours de l'Organisation mondiale de la Santé pour la mise en place et la diffusion d’outils standards dans les pays africains, visant à une intégration efficiente des indicateurs de santé bucco-dentaire dans la base mondiale des statistiques sanitaires. Ces indicateurs dits "essentiels" axés sur les déterminants sociaux sont en phase avec les objectifs du millénaire et dépassent l'idée selon laquelle "les problèmes sociaux et de développement urgents dans les pays en développement peuvent être résolus de manière isolée, par des approches cloisonnées dans des secteurs spécifiques". L'Afrique ne saurait être en reste de ce nouvel enjeu du millénaire qui impose que des efforts soient réalisés dans tous les secteurs de développement. Les vingt-deux indicateurs recommandés par l'Organisation mondiale de la Santé pour la région africaine ouvrent le champ d'une redynamisation de l'activité bucco-dentaire au plan national et font le lit d'une approche communautaire opérationnelle et intégrée pour la surveillance et la lutte contre les maladies buccodentaires. Leur validation sur le terrain d'exercice, la recommandation de méthodologies de collecte associée en Côte d'Ivoire, via le développement d’un projet pilote, est l’objectif prioritaire de ce travail de recherche. Deux questionnaires ont été développés puis évalués et servent respectivement à la surveillance de la santé buccodentaire des enfants et des adolescents. Les analyses donnent des propriétés psychométriques relativement satisfaisantes et impliquent la prise en compte d'un certain nombre de recommandations pour accroître leur validité et leur faisabilité dans le contexte Ivoirien. Leur généralisation dans la région africaine exige des recherches complémentaires en vue de leur optimisation dans une démarche communautaire opérationnelle intégrée qui reclasse le district sanitaire au coeur du système de surveillance / This work is a contribution to the activities of the World Health Organization relative to the implementation and the distribution of standard tools in the African countries to reach an efficient integration of the essential oral health indicators in surveillance in African countries. These essentials indicators fit into the objectives of the new millennium and exceed the idea according to which " the social problems have to be developed in an isolated way. To be in phase with this new paradigm, African countries have to face these new approaches which require that efforts be realized in all development sectors. Twenty two indicators recommended by the World Health Organization for the African region give opportunities to improve oral health activities on the national level and develop an integrated community approach which is the more operational for surveillance and prevention of oral diseases. The collect of the indicators in Ivory Coast motivates this study, which results are recorded in this document. The findings are the result of many years of research and practice related to the implementation and development of oral health activities in Côte d'Ivoire. Two questionnaires were evaluated and measure respectively oral health indicators for general population, and for children and teenagers. Analyses conclude in relatively good psychometrics properties, but imply the taking account of many recommendations which aim to increase the validity and the feasibility of these questionnaires in the context of the Côte d'Ivoire. Their generalization in the African region requires future researches in a way of their optimization in an integrated operational community based-approach, and a redefinition of the role of local actors in sanitary district

Ce travail se situe dans le cadre des outils de modélisation des systèmes d'information (SI) en informatique de gestion. La complexité croissante des logiciels d'application oblige en effet à créer de nouveaux outils de développement. La realisation d'outils de pilotage de la modélisation est rendue difficile à cause des définitions imprécises des méthodes de modélisation utilisées. Notre étude consiste à proposer une représentation formelle complète de ces méthodes dans le but de constituer une base de connaissances d'un système expert pour diriger des modélisations. Une architecture fonctionnelle d'un tel système de pilotage est proposé et expérimentée. Cette architecture intègre un sous-système de configuration pour permettre la définition précise dune méthode personnalisée. La description d'une méthode par des regroupements d'expressions formelles utilisées pour verifier la conformite des specifications vis a vis de cette méthode assure la cohérence entre la définition et la vérification.

Ce travail se situe dans le cadre des outils de modélisation des systèmes d'information (SI) en informatique de gestion. La complexité croissante des logiciels d'application oblige en effet à créer de nouveaux outils de développement. La realisation d'outils de pilotage de la modélisation est rendue difficile à cause des définitions imprécises des méthodes de modélisation utilisées. Notre étude consiste à proposer une représentation formelle complète de ces méthodes dans le but de constituer une base de connaissances d'un système expert pour diriger des modélisations. Une architecture fonctionnelle d'un tel système de pilotage est proposé et expérimentée. Cette architecture intègre un sous-système de configuration pour permettre la définition précise dune méthode personnalisée. La description d'une méthode par des regroupements d'expressions formelles utilisées pour verifier la conformite des specifications vis a vis de cette méthode assure la cohérence entre la définition et la vérification.

L'outil conceptualisé et développé au cours de cette thèse aspire à: (1) Tirer profit des récentes évolutions des Systèmes d'Information Géographique (SIG) en proposant de nouvelles approches pour le traitement de problème ayant un aspect spatial. (2) Appliquer des approches théoriques dans des problématiques industrielles réelles afin de proposer des approches pour les phases qui ne sont pas abordées dans la recherche théorique. Dans cette optique, trois modules ont été développés, un module d’intégration et de visualisation des données spatiales, un module de pré-traitement des données et un module d’optimisation de la couverture.- La première partie de la thèse aborde le sujet de la mise en place du premier module, et propose un framework conceptuel pour le développement d'outil similaire. Le module d'intégration et de visualisation développé permet l’accès aux données de ventes via une interface web dédiée. La plateforme permet la mise en contexte des données de ventes en affichant les détaillants sur une carte, et en donnant accès à la visualisation d’autres données (ex. : socio-démo graphique, concurrentielle). Les détaillants affichés sur la carte sont filtrables suivant leurs caractéristiques et colorables suivant de multiples critères (ex. : comparaison aux années précédentes, comparaison aux objectifs, etc.). La sélection des éléments présents sur la carte permet d’avoir accès à leurs informations détaillées. L’ensemble des différentes fonctionnalités permet une meilleure compréhension du marché, et autorise l’exploration des résultats de ventes sous un nouvel angle.- La seconde partie traite de l’outil de pré-traitement des données spatiale. Notre approche permet de rendre accessible l’analyse de données spatiales aux utilisateurs ne disposant pas de connaissances en SIG. En plus de cela, la réalisation des étapes de prétraitement peut être réalisée plus rapidement, et avec des choix guidés quant à la sélection des relations spatiales à prendre en compte. Une implémentation fonctionnelle de l’approche a été mise en place, basée sur des outils open sources pour permettre l’implémentation à coûts réduits de notre solution. L’utilisation de notre implémentation permet des gains de temps conséquents lors du prétraitement des données spatiales pour les analyses des données géospatiales.- La troisième et dernière partie se concentre sur l’outil d’optimisation de la couverture qui s’appuie sur la structure et les outils mis en place précédemment. Il prend en entrée les jeux de données correspondant aux potentiels des zones et ceux correspondant aux points de vente et à leurs zones de chalandise. À partir de ces données, l’outil propose des solutions d’amélioration de la couverture qui tiennent compte des aspects liés à la zone de chalandise de chaque magasin et à la captation collaborative de la demande. / The tool conceptualized and developed during this thesis aims to: (1) Take advantage of recent evolutions of Geographic Information Systems (GIS) by proposing new approaches for the treatment of problems having a spatial aspect. (2) Apply theorical approach in real industrial issues to propose approaches for phases that are not addressed in theoretical research. With this in mind, three modules have been developed, a spatial data integration and visualization module, a data pre-processing module and a coverage optimization module.- The first part of the thesis addresses the subject of the implementation of the first module, and proposes a conceptual framework for the development of similar tools. The integration and visualization module allows access to sales data via a dedicated web interface. The platform allows the contextualization of sales data by displaying retailers on a map and giving access to the visualization of other data (eg socio-demographic, competitive). The retailers displayed on the map can be filtered according to their characteristics and colorable according to multiple criteria (eg comparison with previous years, comparison with objectives, etc.). The selection of the elements present on the map allows to have access to their detailed information. All the different functionalities allow for a better understanding of the market, and allow for the exploration of the sales results in a new angle.- The second part deals with the spatial data pre-processing tool. Our approach makes it possible to make spatial data analysis available to users who do not have GIS knowledge. In addition to this, the realization of the pre-processing steps can be carried out more quickly, and with guided choices for the selection of the spatial relations to take into account. A functional implementation of the approach has been implemented, based on open source tools to enable cost-effective implementation of our solution. The use of our implementation allows for significant time savings when pre-processing spatial data for geospatial data analysis.- The third and final part focuses on the coverage optimization module that is based on the structure and modules previously implemented. It takes as input the datasets corresponding to the potentials of the zones and those corresponding to the distributors and their catchment areas. From this data, the module proposes solutions to improve the coverage that take into account the aspects related to the catchment area of ​​each distributors and the collaborative capture of the potential.

Ce travail se situe dans le cadre des outils de modélisation des systèmes d'information (SI) en informatique de gestion. La complexité croissante des logiciels d'application oblige en effet à créer de nouveaux outils de développement. La realisation d'outils de pilotage de la modélisation est rendue difficile à cause des définitions imprécises des méthodes de modélisation utilisées. Notre étude consiste à proposer une représentation formelle complète de ces méthodes dans le but de constituer une base de connaissances d'un système expert pour diriger des modélisations. Une architecture fonctionnelle d'un tel système de pilotage est proposé et expérimentée. Cette architecture intègre un sous-système de configuration pour permettre la définition précise dune méthode personnalisée. La description d'une méthode par des regroupements d'expressions formelles utilisées pour verifier la conformite des specifications vis a vis de cette méthode assure la cohérence entre la définition et la vérification.

Les travaux présentés dans cette thèse concernent la modélisation et le suivi des évolutions d'un SI impliqué dans la mise en œuvre d'une activité biomédicale. Dans le domaine biomédical, la prise en compte conjointe des aspects scientifiques et industriels de l'activité influe de manière importante sur les évolutions des SI. Pour suivre les évolutions d'un SI, nous proposons une démarche, fondée sur l'IDM, qui repose sur la définition, au sein des modèles, de points d'extension qui contiennent les informations pour assurer la modélisation et le suivi des évolutions. En mettant en œuvre ces points d'extension au niveau d'un cadre d'application spécifique, nous proposons de suivre les évolutions d'un SI et d'extraire des profils d'évolution propres aux différents acteurs du SI. À partir de la prise en compte des liens de traçabilité présents, de manière explicite, au niveau des éléments des points d'extension nous définissons une matrice de traçabilité pour quantifier les évolutions. La pondération des coefficients de cette matrice selon le type des liens de traçabilité nous permet de calculer une valeur qui sera associée au profil d'évolution. / This thesis concerns the monitoring of information systems, which are related to biomedical activity. In the biomedical field, taking into account both scientific and industrial activity significantly influences on the evolution of SI. To follow the developments of information systems, we propose a model-driven approach, which is based on the definition of extension points. By implementing these extension points on a specific framework, we propose to follow the evolution of an IS and to extract user's profile. To extract user's profile, we consider explicit traceability links to define a matrix of traceability to quantify the evolution of SI. The weighting coefficients of the traceability matrix depend on traceability links type. Between two evolutions, we track evolution profile for a particular actor.