L'objectif de cette thèse est de proposer une analyse multidimensionnelle de la pauvreté au Sénégal, et de montrer l'intérêt d'intégrer l'approche par les capabilités dans l'analyse de la pauvreté. Cette thèse vise à faire valoir que l'approche par les capabilités est un cadre adéquat et pertinent pour l'identification des pauvres et présente un grand intérêt pour l'élaboration de meilleures politiques publiques de lutte contre la pauvreté en rapport avec les OMD.Pour mener à bien ce travail, la thèse s'organise en deux temps. Dans un premier, il est question de traiter du concept de pauvreté en confrontant l'approche monétaire traditionnelle et l'approche par les capabilités, et de montrer l'intérêt de l'économie du bonheur dans l'analyse de la pauvreté et du bien-être. Dans un second temps, il s'agit d'éclairer les options méthodologiques pour traiter empiriquement la mesure de la pauvreté et d'apporter les arguments en faveur de l'approche par les capabilités.Les traits essentiels de cette thèse s'organisent autour de trois apports principaux. Le premier est d'ordre théorique. Il propose une analyse de la pauvreté au Sénégal en termes de capabilités. Le second est d'ordre empirique et fournit une mesure multidimensionnelle basée sur la théorie des ensembles flous à partir de l'enquête de suivi de la pauvreté au Sénégal (ESPS 2). Le troisième est méthodologique et propose une démarche originale qui consiste à construire un noyau dur de la pauvreté utilitariste (en confrontant les pauvretés monétaire et subjective), puis d'analyser l'évolution de ce noyau dur selon la distribution des degrés de pauvreté des capabilités. / The aim of this thesis is to propose a multidimensional analysis of poverty in Senegal, and to show the importance of integrating the capability approach in the analysis of poverty. This thesis aims at showing that the capability approach is an adequate and appropriate framework for identifying the poor and proves to be of real interest in setting up better public policies in order to fight against poverty relating to the MDGs.This study is divided in two parts. The first part deals with the concept of poverty confronting the traditional monetary approach with the capability approach, and shows the interest of the economics of happiness in the analysis of poverty and well being. In a second phase, the objective is to illuminate methodological options in order to treat the extent of poverty empirically and bring the arguments in favor of the capability approach.The essential features of this thesis revolve around three main contributions. The first one is theoretical. It offers an analysis of poverty in Senegal in terms of capabilities. The second is empirical and provides a multidimensional measure based on the theory of fuzzy sets from the monitoring survey of poverty in Senegal (MSPS 2). The third one is methodological and proposes an original approach consisting of building a core of utilitarian poverty (by comparing the monetary and subjective poverty) and then analyzing the evolution of the core according to the distribution of the degrees of poverty capabilities.

L'introduction de systèmes instrumentés dédiés aux applications de sécurité impose l'évaluation de leur sûreté de fonctionnement. On utilise généralement pour cela les bases de données de fiabilité génériques. Cependant, le retour d'expérience pour ces systèmes qui présentent en général des défaillances rares est insuffisant pour valider les résultats obtenus. En outre, la collecte de données de fiabilité et leur extrapolation à d'autres composants introduisent des incertitudes. Les travaux de cette thèse portent sur la problématique de la prise en compte des incertitudes relatives aux données de fiabilité des composants pour l'évaluation de la sûreté de fonctionnement des systèmes par le formalisme des sous ensembles flous. La méthodologie proposée est appliquée à l'évaluation des probabilités de défaillance des Systèmes Instrumentés de Sécurité (SIS) en présence de données de fiabilité imprécises. Nous introduisons deux nouveaux facteurs d'importance pour aider le concepteur. En outre, nous proposons une méthodologie d'aide à la conception des SIS basée sur la modélisation par réseaux de fiabilité et l'optimisation par des algorithmes génétiques de la structure des SIS pour le respect des niveaux d'intégrité de sécurité (SIL) exigés / The use of safety related systems imposes to evaluate their dependability. Laboratory data and generic data are often used to provide failure data of safety components to evaluate their dependability parameters. However, due to the lower solicitation of safety systems in plant, safety components have not been operating long enough to provide statistical valid failure data. Furthermore, measuring and collecting failure data have uncertainty associated with them, and borrowing data from laboratory and generic data sources involve uncertainty as well. Our contribution is to propose a fuzzy approach to evaluate dependability parameters of safety systems when there is an uncertainty about dependability parameters of systems components. This approach is applied to determine the failure probability on demand of Safety Instrumented Systems (SIS) in presence of uncertainty. Furthermore, we present an optimal design of SIS by using reliability graphs and genetic algorithms to identify the choice of components and design configuration in a SIS to meet the required SIL

Cette thèse concerne la fouille de données en sciences humaines. Cette branche récente de l'intelligence artificielle consiste en un ensemble de méthodes visant à extraire de la connaissance à partir de données stockées sur des supports informatiques. Parmi celles-ci, l'extraction de motifs et de règles d'association est une méthode de traitement des données qui permet de représenter de façon symbolique la structure des données, comme le font les méthodes statistiques classiques, mais qui, contrairement à celles-ci, reste opérationnelle en cas de données complexes, volumineuses. Toutefois ce modèle informatique des données, construit à partir de comptages de cooccurrences, n'est pas directement utilisable par les chercheurs en sciences humaines : il est essentiellement dédié aux données dichotomiques (vrai/faux), ses résultats directs, très morcelés, sont difficiles à interpréter, et sa validité peut paraître douteuse aux chercheurs habitués à la démarche statistique. Nous proposons des techniques que nous avons construites puis expérimentées sur des données réelles dans le but de réduire les difficultés d'utilisation que nous venons de décrire : 1) un test de randomisation à base d'échanges en cascade dans la matrice sujets x propriétés permet d'obtenir les liaisons statistiquement significatives entre deux propriétés, 2) une extension floue de la méthode d'extraction classique des motifs, qui produit des règles d'association floues généralisant les règles binaires et proches des règles floues définies par les chercheurs poursuivant les travaux de Zadeh, 3) MIDOVA, un algorithme extrayant les interactions n-aires entre variables - problème peu connu, peu abordé en informatique, et abordé avec de fortes limitations en statistiques - et 4) des méta-règles pour nettoyer le jeu de règles d'association de ses principales contradictions et redondances.

La quantité de données aujourd'hui emmagasinées dans tous les domaines ainsi que leur diversité d'origines et de formats rendent impossibles l'analyse, le résumé ou l'extraction manuelle de connaissances. Pour répondre à ces besoins, diverses communautés se sont intéressées à la conception et au développement d'outils permettant d'extraire automatiquement de la connaissance de ces grandes bases. Désormais ces travaux visent à prendre en compte l'hétérogénéité de ces données, de leur format et de leur qualité. Notre travail s'inscrit dans cet axe de recherche et, plus précisément, dans le contexte de la découverte de schémas fréquents à partir de données regroupées sous la forme de séquences ordonnées. Ces schémas, appelés motifs séquentiels, n'étaient jusqu'alors extraits que sur des bases de données de séquences symboliques et parfaites, c'est-à-dire des bases ne contenant que des informations binaires ou pouvant être traitées comme telles et ne contenant aucun enregistrement incomplet. Nous avons donc proposé plusieurs améliorations des techniques d'extraction de séquences fréquentes afin de prendre en compte des données hétérogènes, incomplètes, incertaines ou mal connues de leur utilisateur, tout en minimisant les pertes éventuelles d'informations. Ainsi, le travail présenté dans cette thèse comporte la mise en oeuvre d'un cadre pour l'extraction de motifs séquentiels en présence de données numériques quantitatives, la définition de contraintes temporelles relâchées autorisant l'utilisateur à spécifier des contraintes temporelles approximatives et permettant un tri des résultats obtenus selon un indice de précision temporelle, enfin, le développement de deux approches pour l'extraction de motifs séquentiels sur des données symboliques incomplètes.

Ce rapport présente les différentes étapes suivies afin de définir une nouvelle approche de modélisation et de simulation à évènements discrets pour les systèmes à paramètres imprécis. Cette étude a débuté avec des travaux sur la formalisation d'un système de production de fromage Corse. Suite à ces recherches, et en particulier, suite à la phase de modélisation du processus, nous avons pu constater l'influence de paramètres imparfaitement définis. Ces paramètres entrent en compte au cours des différentes phases de conception, et sont difficiles à représenter et surtout à manipuler. Dans le but de les prendre en compte de manière générique, nous nous sommes naturellement tournés vers l'utilisation de la Logique Floue. En effet, elle permet de représenter des informations imprécises (théorie des sous ensembles flous), incertaines (théorie des possibilités), et inexacte (raisonnement approximatif). Son avantage principal est de fournir un grand nombre d'outils mathématiques afin de manipuler de telles informations sous forme numérique ou linguistique, c'est-à-dire de manière relativement proche du mode de représentation, et surtout d'expression utilisé par l'homme. A partir des théories du flou, nous pouvons donc user de concepts mathématiques complexes tout en conservant un rapport privilégié (lien) entre représentation numérique et mode de description humain. Nous avons choisi d'intégrer ces différents outils dans un multi formalisme de modélisation et de simulation afin de pouvoir spécifier de manière générique n'importe quel type de système à paramètres imprécis. Le formalisme employé est nommé DEVS (Discrete EVents system Specification). Ses principaux avantages sont : sa capacité à être étendu à de nouveaux domaines d'étude, dans notre cas les systèmes flous ; la séparation des phases de modélisation et de simulation, de ce fait, lors de la conception d'un modèle DEVS les algorithmes de simulation sont automatiquement générés en fonction du modèle ; enfin, il permet de représenter un système sous sa forme fonctionnelle et structurelle. Notre but est d'associer le formalisme DEVS et une partie des théories du flou afin de définir une nouvelle approche de modélisation approximative.

Les travaux en modélisation déclarative sont assez nombreux. Il est désormais nécessaire de mettre en place des méthodes générales basées sur celles déjà étudiées et de proposer des outils pour le développement de modeleurs déclaratifs. Nous proposons un nouveau formalisme basé sur les ensembles flous. Ce formalisme apparaît d'une part comme une synthèse et une unification des travaux existants et d'autre part apporte des éléments nouveaux comme la logique floue, la gestion linguistique de la négation. Nous étudions particulièrement le type de propriété le plus simple : la propriété élémentaire. A partir d'une propriété de base, d'un opérateur flou et d'un modificateur, nous mettons en place une méthode pour déterminer la sémantique d'une propriété élémentaire. Nous proposons aussi un traitement original de sa négation. Plutôt que d'utiliser la négation logique habituelle, nous nous intéressons à une gestion se basant sur des notions linguistiques. Enfin, nous présentons des solutions de traitement pour les autres propriétés. Cependant, ces solutions ne sont pas encore vraiment satisfaisantes. La plupart des projets en modélisation déclarative mettent en oeuvre des techniques similaires. A partir de ces travaux et du formalisme flou, nous développons le projet CordiFormes, une plate-forme de programmation visant à faciliter la mise en oeuvre de futurs modeleurs déclaratifs. Ses caractéristiques sont la simplicité, la souplesse de programmation, l'efficacité, l'extensibilité, la réutilisabilité et le prototypage rapide du modeleur. CordiFormes propose des outils sur trois niveaux : le noyau comportant toutes les structures et algorithmes de base, la couche interface proposant dialogues et composants d'interface et, enfin, la couche application pour produire rapidement un premier modeleur. Trois applications permettent de valider le formalisme et les outils de la plate-forme.

Ce travail se situe dans le cadre de la surveillance de systèmes homme-machine, où l'opérateur humain est un élément de décision dans la boucle. Ce type de systèmes nécessite une surveillance automatisée globale temps-réel, incluant la détection d'incidents techniques et de défaillances humaines. Partant de l'hypothèse que la partie technologique travaille " correctement " et/ou qu'elle est surveillée par un système de diagnostic, nous nous centrons sur la partie opérateur humain, la plus critique à surveiller. Nous présentons un système de diagnostic appliqué à la surveillance du conducteur automobile à partir d'informations fournies par des capteurs embarqués dans le véhicule. Les travaux ont été développés dans le cadre du projet Européen AWAKE et le projet national " facteurs de dégradation de la vigilance et de la sécurité dans les transports " de PREDIT.<br />Nous proposons une stratégie générale de système temps-réel pour la surveillance du niveau de vigilance du conducteur (dynamique lente) et la surveillance du niveau de risque lié à la situation actuelle de conduite (dynamique instantanée), à travers :<br />* L'analyse temporelle et fréquentielle des signaux mécaniques (mesures de performance) par ondelettes et filtres, pour en extraire des caractéristiques dynamiques, statistiques et fréquentielles sur la dégradation de la conduite,<br />* L'apprentissage par SVM, méthode pour laquelle nous avons développé des stratégies d'implémentation adaptées pour un apprentissage en ligne et pour des problèmes de grande taille,<br />* La fusion par FIS, afin de profiter de l'expertise humaine et produire un diagnostic sur le niveau de risque lié à la sortie de la voie de circulation.<br />* La validation d'une telle approche à travers des EEG et EOG (mesures physiologiques) et des autoévaluations (mesures subjectives).<br />Nous appliquons cette méthodologie à diverses expériences des programmes AWAKE et PREDIT réalisées sur des simulateurs ou des démonstrateurs.

Le milieu hospitalier est un monde à la fois sensible et complexe, sensible parce que la vie humaine est en jeu et complexe parce que les équipements médicaux augmentent en nombre et en complexité technique. Ainsi, afin de préserver le bon état de fonctionnement de ces équipements et à un niveau élevé de disponibilité, leur entretien est devenu l'une des préoccupations majeures des responsables de l’hôpital. L’objectif de cette thèse est de proposer, aux responsables de maintenance biomédicale dans les établissements de soins, des outils d’aide à la décision qui permettent une meilleure maitrise des coûts. Ceci en assurant la sécurité des patients et des utilisateurs et en maintenant des performances optimales de l’ensemble des équipements médicaux. Tout d’abord, une heuristique a été proposée pour le choix de l’internalisation ou de l’externalisation de la maintenance et pour la sélection du contrat adéquat. La sélection du contrat est basée sur un ensemble de critères tout en considérant la contrainte du budget disponible. Ensuite, afin d’améliorer la procédure proposée, nous avons proposé des outils d’aide à la décision multicritère pour le choix adéquat d’une stratégie de maintenance. Pour l’étude de la criticité des équipements médicaux et le choix de la maintenance, sept critères ont été étudiés en proposant un couplage de l’approche AHP « Analytical Hierarchy Process » à la technique TOPSIS « Technique for Order Performance by Similarity to Ideal Solution ». Comme les experts du service de maintenance présentaient une certaine incertitude dans leurs jugements, nous avons intégré l’évaluation linguistique floue dans l’étude de la criticité des équipements et dans la sélection de la stratégie de maintenance (Fuzzy AHP couplée avec Fuzzy TOPSIS). Un modèle mathématique MILP a été développé pour la définition des limites de la criticité afin de caractériser les trois stratégies de maintenance. Le bon choix de ces limites permet d’optimiser le coût de la maintenance en respectant le budget disponible. Enfin, un deuxième modèle mathématique MILP a été développé en se basant sur l’heuristique proposée. Ce modèle permet de sélectionner pour chaque équipement, la stratégie de maintenance, internaliser ou externaliser la maintenance et le type du contrat tout en considérant le budget disponible et la charge/capacité du service maintenance / The hospital is a world that is both sensitive and complex, sensitive because the human life is involved and complex because medical facilities are growing in number and in technical complexity. Then, the problem of the medical equipment maintenance in order to keep them in safe, reliable and with high level of availability has become a major preoccupation of the hospital. The objective of this thesis is to provide tools to help the biomedical maintenance service of the hospital to make decisions that allow a better control of costs, while ensuring patient and user safety and maintaining optimal performance of medical equipment. First, a heuristic has been proposed for the choice of internalization or outsourcing maintenance and for the selection of the appropriate contract. The selection of the contract is based on a set of criteria while considering the available budget constraint. Then, to improve the proposed procedure, we proposed multi-criteria decision-making tools to select the appropriate maintenance strategies. Seven criteria have been designed to study the criticality of medical equipment and the choice of maintenance by providing a coupling of the AHP approach "Analytical Hierarchy Process" with TOPSIS technique "Technique for Order Performance by Similarity to Ideal Solution." As the expert judgments of the maintenance department presented some uncertainty, we integrated the fuzzy language assessment of the criticality of the equipment and the selection of the maintenance strategy (Fuzzy AHP coupled with Fuzzy TOPSIS). A mixed integer linear programming model (MILP) was developed to define thresholds of criticality to characterize the three maintenance strategies. According to these thresholds, maintenance cost can be optimized within the available budget. Finally, a second mixed integer linear programming model (MILP) was developed based on the proposed heuristic. This model allows selecting for each equipment, the maintenance strategy, the internalization or the outsourcing of the maintenance and the type of contract while considering the available budget and the workload / capacity of the maintenance department

Cette thèse aborde le problème de l'analyse de la stabilité et de la conception des lois de commande pour les systèmes non linéaires mis sous la forme de modèles flous continus de type Takagi-Sugeno. L'analyse de stabilité est généralement basée sur la méthode directe de Lyapunov. Plusieurs approches existent dans la littérature, basées sur des fonctions de Lyapunov quadratiques sont proposées pour résoudre ce problème, les résultats obtenus à l'aide des telles fonctions introduisent un conservatisme qui peut être très préjudiciable. Pour surmonter ce problème, différentes approches basées sur des fonctions de Lyapunov non quadratiques ont été proposées, néanmoins ces approches sont basées sur desconditions très restrictives. L'idée développée dans ce travail est d'utiliser des fonctions de Lyapunov non quadratiques et des contrôleurs non-PDC afin d'en tirer des conditions de stabilité et de stabilisation moins conservatives. Les propositions principales sont : l'utilisation des bornes locales des dérivées partielles au lieu des dérivés des fonctions d’appartenances, le découplage du gain du régulateur des variables de décision de la fonction Lyapunov, l’utilisation des fonctions de Lyapunov floues polynomiales dans l’environnement des polynômes et la proposition de la synthèse de contrôleur vérifiant certaines limites de dérivés respectées dans une région de la modélisation à la place de les vérifier a posteriori. Ces nouvelles approches permettent de proposer des conditions locales afin de stabiliser les modèles flous continus de type T-S, y compris ceux qui n'admettent pas une stabilisation quadratique et obtenir des domaines de stabilité plus grand. Plusieurs exemples de simulation sont choisis afin de vérifier les résultats présentésdans cette thèse. / This thesis deals with the problem of stability analysis and control design for nonlinear systems in the form of continuous-time Takagi-Sugeno models. The approach to stability analysis is usually based on the direct Lyapunov method. Several approaches in the literature, based on quadratic Lyapunov functions, are proposed to solve this problem ; the results obtained using such functions introduce a conservatism that can be very detrimental. To overcome this problem, various approaches based on non-quadratic Lyapunov functions have also been recently presented; however, these approaches are based on very conservative bounds or too restrictive conditions. The idea developed in this work is to use non-quadratic Lyapunov functions and non-PDC controller in order to derive less conservative stability and stabilization conditions. The main proposals are : using local bounds in partial derivatives instead of time derivatives of the memberships,decoupling the controller gain from the Lyapunov function decision variables, using fuzzy Lyapunov functions in polynomial settings and proposing the synthesis of controller ensuring a priori known time-derivative bounds are fulfilled in a modelling region instead of checking them a posteriori. These new approaches allow proposing local conditions to stabilize continuous T-S fuzzy systems including those that do not admit a quadratic stabilization. Several simulation examples are chosen to verify the results given in this dissertation.

Le travail de recherche présenté dans cette thèse s’inscrit dans la continuité des travaux de l’aide à la décision multi-critère de groupe (décideurs), particulièrement dans le champ de sélection de la localisation des centres de distribution. Dans un environnement certain, si la décision de sélection de la localisation des centres de distribution a donné lieu à plusieurs travaux de recherche, elle n’a jamais été l’objet, à notre connaissance, d’une décision prise par plusieurs décideurs. À cet égard, le premier objectif de cette thèse est de proposer une méthode d’aide à la décision multi-attribut et multi-acteur (MAADM) pour résoudre le problème posé. Pour se faire, nous avons adapté et étendu la méthode ELECTRE I. Dans un environnement incertain, au vu de l’incertitude inhérente et l’imprécision du processus décisionnel humain ainsi que les comportements futurs du marché et des entreprises, le deuxième objectif de cette thèse est de développer une méthode floue d’aide à la décision multi-attribut et multi-acteur (FMAADM) pour traiter le problème en question. Pour cela, nous avons couplé la méthode MAADM avec la théorie des ensembles flous. Pour la validation des deux contributions, nous avons conçu un système d’aide à la décision (S-DSS) pour implémenter les algorithmes de la méthode MAADM et la méthode FMAADM. Sur la base du S-DSS, deux études expérimentales ont été menées. Nous avons, aussi, appliqué une analyse de sensibilité pour vérifier la sensibilité de la solution retenue vis-à-vis aux variations de poids des critères d’évaluation. Les résultats obtenus prouvent que les deux méthodes proposées répondent à l’objectif recherché et ainsi retenues pour la sélection de la meilleure localisation dans un contexte certain/incertain de multi-attribut et multi-acteur. / The research work presented in this thesis is part of the works’ continuity on multi-criteria group (decision-makers) decision-making, particularly in the field of the distribution centers’ location selection. Under certain environment, although the decision to select the location of the distribution centers has given rise in several research works, it has never been the object, to our knowledge, of a decision taken by several decision makers. In this regard, the first objective of this thesis is to develop a multi-attribute and multi-actor decision-making method (MAADM) to resolve the posed problem. For this purpose, we have adapted and extended the ELECTRE I method. Under uncertain environment, In view of the inherent uncertainty and inaccuracy of human decision-making, the future behavior of the market and companies, the second objective of this thesis is to propose a fuzzy multi-attribute and multi-actor decision-making method (FMAADM) to treat the problem in question. To this end, we have coupled the MAADM method with the fuzzy set theory. To validate the two contributions, we designed a decision support system (S-DSS) to implement the MAADM method and the FMAADM method. Based on the S-DSS, two experimental studies were conducted. We also applied a sensitivity analysis to verify the sensitivity of the solution retained vis-a-vis to weights’ variations of evaluation criteria. The obtained results prove that the MAADM method and the FMAADM method meet the desired objective and thus retained for the selection of the best location under certain/uncertain context of multi-attribute and multi-actor.