Cette thèse présente PARDISIM, un modèle de simulation qui propose une approche économique institutionnelle pour la simulation du processus de développement résidentiel. Plutôt que de modéliser le développement résidentiel comme le résultat de choix de localisation au niveau des ménages, PARDISIM met l'accent sur les objectifs et les interactions des acteurs du développement résidentiel. L'idée est que les acteurs du développement, y compris les autorités publiques d'aménagement, jouent un rôle important dans le processus de développement résidentiel. L'approche est donc top-down et se démarque des approches habituelles bottom-up. Les premiers résultats obtenus montrent que PARDISIM est capable de produire des configurations spatiales réalistes.

Aujourd’hui, la compétition croissante, l'expansion des marchés et les progrès de la technologie engendrent un raccourcissement du cycle de vie des processus de développement des produits afin d’en améliorer les performances en termes de délai, coût et qualité. Ce raccourcissement du cycle de vie a engendré un accroissement des volumes de déchet généré et des conséquences que cela peut avoir sur l’environnement. Au niveau de l’Union européenne, des directives ont été introduites, tels que la gestion des déchets d'équipements électriques et électroniques (WEEE), la restriction de l'utilisation de certaines substances dangereuses dans les équipements électriques et électroniques (RoHS) et les directives pour le traitement des batteries usagées (Battery); ces directives permettent de limiter l'utilisation et le recyclage des substances dangereuses nocives pour la santé et pour l'environnement.Ces nouvelles réglementations et normes, permettant de gérer de manière efficace les retours et la fin de vie des produits (recovery process), ont été mises en place afin d'obliger les entreprises à assumer leurs responsabilités en termes de gestion des produits en fin de vie. Certaines entreprises ont montré que les produits recyclés ou réutilisés peuvent être une source supplémentaire de revenu (recyclage des matériaux, ou réutilisation des composants après démontage) dans le processus de fabrication.Ces connaissances liées à la performance environnementale (au niveau des processus de conception, de production, de transport, d’entreposage, de récupération…) devraient êtres saisies, évaluées et capitalisées dans des bases de connaissances afin d’être prisent en compte durant les différents phases du cycle de vie des produits.Nos travaux de recherche proposent donc de développer une architecture de gestion des connaissances (Knowledge Management Architecture) basée sur un Système Multi-Agents. L’objectif est de proposer un système qui met l'accent sur les concepts de « durabilité des produits et des cycles de vie », en établissant des liens entre des Agents Logiciels détenteurs de connaissances liées à la réglementation environnementale et les Systèmes d’Information de type PLM. Ces interconnexions permettront aux décideurs de prendre en compte les impacts environnementaux dans leurs décisions et ceci à chaque phase du cycle de vie des produits. / The increasing of competition, expanding markets and advanced technology create shorten lifecycle and the development process to improve product performance in terms of time, cost and quality. These shorten products lifecycle have led to increase volumes of waste generation and consequence impact to environment. EU directives have been introduced, such as Waste Electrical and Electronic Equipment (WEEE), Restriction of the use of certain Hazardous Substances in electrical and electronic equipment (RoHS) and guidelines for the treatment of waste batteries (Battery), these directives are used to handle the hazardous substances which are harmful to human health and the environment.These regulations and standards have been put in place to force companies take their responsibilities on managing their products when reach to the end of life. Some companies have found that the returned product can be recycled or reused as an additional source of income (material recycling, or reuse of components after disassembly) in the manufacturing process.Knowledge related to the environmental performance (in terms of process design, production, transportation, storage, etc.) should be captured, evaluated and stored in knowledge base in order to share between users in different phases of the product lifecycle.Therefore, this research proposes a Knowledge Management Architecture based on a Multi-Agent System approach. The objective of this work is to propose a system that focuses on the concept of "sustainability” of products lifecycle by establishing the link between agents, who hold knowledge related to the environmental performances, and PLM system. The connection encourages companies considering the environmental impacts in their decision making at every stage of product lifecycle.

Un certain nombre de travaux basés sur les réseaux de capteurs sans fil s'intéressent à la gestion de l'énergie de ces capteurs. Cette énergie est, de fait, un facteur critique dans le fonctionnement de ces réseaux. Une construction adéquate des clusters de capteurs est un très bon moyen pour minimiser la consommation de cette énergie. La problématique liée à ces réseaux réside ainsi souvent dans leur durée de vie mais aussi dans le nécessaire maintien de la connectivité entre tous les capteurs. Ces deux aspects sont étroitement liés. Dans cette thèse, nous nous sommes focalisés sur ces deux volets, dans le contexte de réseaux de capteurs statiques mais aussi celui de capteurs mobiles.Nous proposons, dans un premier temps, un algorithme hybride pour la mise en place des clusters et la gestions de ces clusters. L'originalité de cette solution réside dans la mise en place de zones géographiques de désignation des cluster heads mais aussi dans la transmission, dans les messages échangés, de la quantité d'énergie restante sur les capteurs. Ainsi, les données sur les capteurs permettront de désigner les cluster heads et leurs successeurs qui détermineront les seuils pour les autres capteurs et pour leur fonctionnement. L'algorithme est testé à travers de nombreuses simulations. La seconde partie du travail consiste à adapter notre premier algorithme pour les réseaux de capteurs mobiles. Nous in_uons sur la trajectoire des capteurs pour maintenir la connectivité et limiter la consommation d'énergie. Pour cela, nous nous inspirons de l'écho-localisation pratiquée par les chauvessouris. Nous nous sommes donc intéressés à la topologie changeante et dynamique dans les réseaux de capteurs. Nous avons analysé la perte d'énergie en fonction de la distance et de la puissance de transmission entre les n÷uds et le cluster head. Nous évaluons également notre algorithme sur des capteurs qui ont un déplacement aléatoire. Nous appliquons ces algorithmes à une simulation de _otte de drones de surveillance. / A number of works based on wireless sensor networks are interested in the energy management of these sensors. This energy is in fact a critical factor in the operation of these networks. Proper construction of sensor clusters is a great way to minimize the consumption of this energy. The problems related to these networks and often lies in their lifetime but also in the need to maintain connectivity between all transducers. These two aspects are closely linked. In this thesis, we focused on these two aspects in the context of static sensor networks but also of mobile sensors.We propose, as a _rst step, a hybrid algorithm for setting up clusters and the management of theseclusters. The uniqueness of this solution lies in the establishment of geographic areas for designation fcluster heads but also in transmission, in the exchanged messages, the amount of remaining energy on the sensors. Thus, the sensor data will designate the cluster heads and their successors will determine the thresholds for other sensors and for their operation. The algorithm is tested through many simulations. The second part of the work is to adapt our _rst algorithm for mobile sensor networks. We a_ect the trajectory of sensors to maintain connectivity and reduce energy consumption. For this, we are guided echo-location practiced by bats. We're interested in changing and dynamic topology in sensor networks. We analyzed the loss of energy as a function of the distance and the power transmission between the nodes and the head cluster. We also evaluate our algorithm on sensors that have a random move. We apply these algorithms to a _eet of surveillance drones simulation.

L’Internet des Objets (IoT) vise à créer un eco-système global et ubiquitaire composé d’un grand nombre d’objets hétérogènes. Afin d’atteindre cette vision, le World Wide Web apparaît comme un candidat adapté pour interconnecter objets et services à la couche applicative en un Web des Objets (WoT).Cependant l’évolution actuelle du WoT produit des silos d’objets et empêche ainsi la mise en place de cette vision. De plus, même si le Web facilite la composition d’objets et services hétérogènes, les approches existantes produisent des compositions statiques incapables de s’adapter à des environnements dynamiques et des exigences évolutives. Un autre défi est à relever: permettre aux personnes d’interagir avec le vaste, évolutif et hétérogène IoT.Afin de répondre à ces limitations, nous proposons une architecture pour IoT ouvert et autogouverné, constitué de personnes et d’objets situés, en interaction avec un environnement global via des plateformes hétérogènes. Notre approche consiste de rendre les objets autonomes et d’appliquer la métaphore des réseaux sociaux afin de créer des réseaux flexibles de personnes et d’objets. Nous fondons notre approche sur les résultats issus des domaines des multi-agents et du WoT afin de produit un WoT Social.Notre proposition prend en compte les besoins d’hétérogénéité, de découverte et d’interaction flexible dans l’IoT. Elle offre également un coût minimal pour les développeurs et les utilisateurs via différentes couches d’abstraction permettant de limité la complexité de cet éco-système. Nous démontrons ces caractéristiques par la mise en oeuvre de plus scénarios applicatifs. / The Internet of Things (IoT) aims to create a global ubiquitous ecosystem composed of large numbers of heterogeneous devices. To achieve this vision, the World Wide Web is emerging as a suitable candidate to interconnect IoT devices and services at the application layer into a Web of Things (WoT).However, the WoT is evolving towards large silos of things, and thus the vision of a global ubiquitous ecosystem is not fully achieved. Furthermore, even if the WoT facilitates mashing up heterogeneous IoT devices and services, existing approaches result in static IoT mashups that cannot adapt to dynamic environments and evolving user requirements. The latter emphasizes another well-recognized challenge in the IoT, that is enabling people to interact with a vast, evolving, and heterogeneous IoT.To address the above limitations, we propose an architecture for an open and self-governed IoT ecosystem composed of people and things situated and interacting in a global environment sustained by heterogeneous platforms. Our approach is to endow things with autonomy and apply the social network metaphor to createflexible networks of people and autonomous things. We base our approach on results from multi-agent and WoT research, and we call the envisioned IoT ecosystem the Social Web of Things.Our proposal emphasizes heterogeneity, discoverability and flexible interaction in the IoT. In the same time, it provides a low entry-barrier for developers and users via multiple layers of abstraction that enable them to effectively cope with the complexity of the overall ecosystem. We implement several application scenarios to demonstrate these features.

Cette thèse s’intéresse à la simulation de comportements humains en milieu urbain. Elle se focalise tout particulièrement sur la crédibilité des comportements des agents, telle que jugée par un observateur externe. Pour cela, nos agents sont dotés de capacités d’anticipation, qui leur permet de gagner en efficacité en étant capables d’utiliser des prédictions concernant leur futur proche. Par ailleurs, l’architecture d’agents utilisée se place dans le paradigme des architectures hybrides, mais fait preuve d’une grande innovation par rapport à l’état de l’art en raison de son organisation résolument modulaire, permettant une grande généricité du modèle. En effet, l’architecture fonctionne avec un système de modules de haut-niveau, étant vu comme des boîtes noires par le reste de l’architecture. Leur nombre et leur modélisation interne sont donc entièrement libres. Cette généricité est très intéressante, puisque le domaine de la simulation urbaine touche de très nombreux domaines applicatifs (urbanisme, transport, jeu vidéo, sécurité, etc.) ayant des contraintes différentes. Un modèle d’agent générique permet de s’adapter à l’application désirée. Cette généricité pose néanmoins un problème lié à l’intégration et au traitement d’un grand nombre de comportements hétérogènes au sein d’un même processus décisionnel, problème que nous traitons grâce à un mécanisme de composition de comportements. Pour finir, notre architecture permet d’assurer le passage à l’échelle en servant de plusieurs niveaux de détail dans la modélisation des agents. / This thesis deals about human behaviors simulation in an urban context. We focus on the behavior believability (as judged as external observers). That is why our agent have some anticipatory skills, which allow them to use predictions about their near future. Our architecture is a hybrid one, which is very innovative because of its functioning with « high-level modules », which are seen as black-box from the rest of the architecture. Their number and intern modeling are completely free. This makes our architecture very modular and generic, and it is important because the urban simulation domain has many different applications (urbanism, video games, security, etc.), with different constraints. However, this genericity brings another problem, which is the integration of several heterogeneous behavior into the same decisional process. This issue is addressed thanks to a behavior composition mechanism. To conclude, we ensure the scaling up of our architecture with the creation of several levels of detail in the agents modeling.

Cette thèse concerne l’étude des débats argumentatifs entre plusieurs agents artificiels. Notre travail est motivé par les difficultés qui surgissent quand un nombre important d’utilisateurs interagissent et débattent sur le Web, en échangeant des arguments sur différents sujets. Ces difficultés se situent au niveau de la représentation des connaissances des agents impliqués dans le débat, de la représentation du débat, de la façon de tirer les conclusions du débat, de l'évaluation de la qualité du débat, de la définition des protocoles spécifiques d'interaction, et de l'étude des stratégies des agents qui souhaitent atteindre un but précis via le débat. La contribution de cette thèse consiste donc en: a) la modélisation d'un débat argumentatif entre plusieurs agents, la modélisation des expertises de ces derniers, et l'agrégation des opinions des différents experts sur différentes parties d'un débat; b) l'apport d'une aide à l'agent responsable de la gestion d'un débat donné, la proposition d'une méthode permettant d'évaluer la qualité des débats argumentatifs en fonction de la confiance que l'on peut avoir en leurs conclusions, ainsi que la proposition de solutions permettant d'améliorer la qualité des débats dont les conclusions ne sont pas clairement établies; c) l'apport d'une aide permettant aux agents qui participent à un débat argumentatif de déterminer quels arguments placer dans le débat, l'étude des systèmes argumentatifs munis d'une structure dynamique, l'étude des moyens disponibles permettant à un agent d'influencer un système dynamique afin d'atteindre son but, l'étude des modifications minimales permettant à un agent d’atteindre un objectif donné, l'étude des stratégies argumentatives basées sur ce changement minimal; d) la définition, l'étude et l'évaluation des protocoles argumentatifs multi-agents, ainsi que la définition de protocoles de différents types (1) basés sur une évaluation numérique d'arguments et (2) basés sur des extensions d'arguments, l'utilisation des différentes techniques pour assurer la cohérence d'un débat tout en laissant une liberté d'expression aux agents, et enfin un grand nombre d'expérimentations (sur des débats) permettant de tester différentes stratégies et de les évaluer en fonction de différents critères. / In this thesis multi-agent argumentation debates are studied. Our work is motivated by the issues which are raised when a large number of users interact and debate on the Web, by exchanging arguments on various topics. These issues are raised on the levels of representing the debating users' knowledge, representing the debate, computing the debate's conclusions, evaluating the debate's quality, defining specific protocols for user interaction, and studying debate strategies which users employ in order to achieve particular goals. This thesis' contribution consists in: a) proposing a way to model a multi-agent argumentation debate where the participants have different types of expertise, and proposing a way to aggregate their opinions; b) offering support to the agent who is arbitrating a debate, proposing a way to evaluate the quality of a debate on the basis of how confident we can be on its conclusions, and proposing solutions for improving the quality of a debate which lacks definite conclusions; c) offering support to the debating agents in order to determine which arguments they should put forward, studying dynamic argumentation systems, studying the potential ways in which an agent can influence a dynamic argumentation system in order to achieve his goal, studying the minimal change allowing an agent to achieve his goal, studying several argumentation strategies based on minimal change; d) defining, studying and evaluating multi-agent argumentation protocols, defining protocols of different types (1) based on numerical argument evaluation and (2) based on argument extensions, using different techniques to ensure a debate's coherence while ensuring some liberty of expression to the agents, and finally performing an important number of experiments (on debates) in order to test various strategies and evaluate them with respect to specific criteria.

Ce travail de thèse se situe dans le cadre du projet Terra Dynamica visant à peupler une ville virtuelle avec des agents qui simulent des piétons et des véhicules. L’objectif de notre travail est de rendre l’environnement compréhensible par les agents de la simulation afin qu’ils puissent exhiber des comportements crédibles. Les premiers travaux qui ont été proposés pour la modélisation sémantique des environnements virtuels gardent toujours un lien de dépendance avec la représentation graphique pré-existante de l’environnement. Cependant, l’information sémantique représentée dans ce genre d’approches est difficilement exploitable par les agents pour effectuer des procédures de raisonnement complexes en dehors des algorithmes de navigation. Nous présentons dans cette thèse un modèle de représentation de la sémantique de l’environnement qui fournit aux agents des données sur l’utilisation des objets de l’environnement pour permettre au mécanisme d’aide à la décision de produire des comportements crédibles. Par ailleurs, en réponse à des contraintes inhérentes à la simulation urbaine, notre approche est capable de traiter un grand nombre d’agents, en temps réel. Notre modèle est basé sur le principe que les objets de l’environnement proposent des services permettant de réaliser les actions avec différentes qualités. Nous avons donc représenté les informations sémantiques des objets liées à leur utilisation sous forme de services dans une ontologie de services. Nous avons utilisé cette ontologie de services pour calculer une qualité de service QoS qui nous permet de trier les différents objets permettant de réaliser une même action. Ainsi, nous pouvons comparer entre les services proposés par les objets pour proposer aux agents les meilleurs objets leur permettant de réaliser leurs actions afin d’acquérir une crédibilité comportementale. Afin d’évaluer l’impact de notre modèle sur la crédibilité des comportements produits, nous avons défini un protocole d’évaluation dédié aux modèles de représentation de la sémantique dans les environnements. Dans ce protocole, des observateurs doivent évaluer le caractère crédible des comportements produits par le simulateur à partir d’un modèle sémantique de l’environnement. Grâce à cette évaluation, nous montrons que notre modèle permet de simuler des agents dont le comportement est jugé comme crédible par des observateurs humains. Nous présentons également une évaluation qualitative de la capacité de notre modèle de passer à l’échelle et de répondre aux contraintes d’une simulation temps-réel. Cette évaluation, nous a permis de montrer que les caractéristiques de l’architecture de notre modèle nous permettent de répondre en un temps raisonnable aux demandes d’un grand nombre d’agents. / This work is part of the Terra Dynamica project whose objective was to populate a virtual city with agents that simulate pedestrians and vehicles. The aim of our work is to make agents which understand their environment so they can produce credible behaviors The first proposed solutions for the semantic modeling of virtual environments still keep a link with the pre-existing graphic representation of the environment. However, the semantic information represented in this kind of approach is difficult to use by the agents to perform complex reasoning procedures outside the navigation algorithms. In this thesis we present a semantic representation model of the environment that provides the agents with data on the use of environmental objects in order to allow the decision mechanism to produce credible behaviors. Furthermore, in response to the constraints that are inherent to the urban simulation, our approach is capable of handling a large number of agents in real time. Our model is based on the principle that environmental objects provide services for performing actions with different qualities. We have therefore represented the semantic information of the objects related to their use, as services in an ontology of services. We used this ontology of services to calculate a QoS which allows us to sort the different objects which all perform the same action. Thus, we can compare between the services offered by different objects in order to provide the agents with the best objects that allow them to carry out their actions and exhibit behavioral credibility. To assess the impact of our model on the credibility of the produced behaviors, we defined an evaluation protocol for the semantic representation of virtual environment models. In this protocol, observers must assess the credibility of behaviors produced by the simulator using a semantic model of the environment. Through this evaluation, we show that our model can simulate agents whose behavior is deemed credible by human observers. We also present a qualitative assessment of the ability of our model to scale and meet the constraints of a real-time simulation. This evaluation allowed us to show that the characteristics of the architecture of our model allow us to respond in a reasonable amount of time to requests from a large number of agents.

Cette thèse propose une approche de la collaboration homme-machine, inspirée de la théorie de l'Enaction, dans le domaine de l'interprétation de données complexes. L'autonomie des deux partenaires vise à leur permettre de réaliser une interprétation en s'appuyant sur leurs compétences. Pour préserver leur autonomie, la communication du système avec son partenaire est réalisée au moyen d'annotations. Cette approche est appliquée à la conception d'un système multi-agents pour l'interprétation collaborative de signaux physiologiques de patients en réanimation médicale, i.e. des séries temporelles multivariées. Ce système est capable de construire une interprétation des séries temporelles par la construction (1) de modèles d'évènements et de scénarios (ensembles d'évènements reliés par des relations temporelles) et (2) d'annotations à partir de ces modèles. Les modèles qu'il construit évoluent au cours de l'interprétation pour prendre en compte les annotations du partenaire humain.

Face à une situation de crise sanitaire liée à l’apparition d’une pandémie de grande envergure, des mesures adéquates doivent rapidement être prises pour la contenir tout en préservant la capacité de production de l’économie. D’autre part, beaucoup de travaux sont réalisés dans le domaine de la diffusion de la propagation d’une épidémie. C’est pourquoi, nous accentuons notre apport à un décideur afin de lui permettre de maintenir les fonctions minimums de survie de la société dans le cadre d’une crise sanitaire. Ainsi, nous proposons un modèle d’aide à la décision de gestion de crise sanitaire. Par ailleurs, la société est située au coeur de notre modèle. Nous sommes donc amenés à considérer un certain nombre d’interactions directes et indirectes entre divers individus. La théorie des graphes, et principalement les graphes aléatoires, permettent de gérer une à une ces relations. Or, dans notre cas, la gestion des relations une à une n’est pas appropriée d’autant plus que les relations peuvent varier sous l’influence de facteurs incontrôlables. Cela nous a conduits à proposer un modèle mathématique de réseaux stochastiques basé sur une extension de la théorie des graphes aléatoires. Il s’agit de la prétopologie stochastique qui est issue du couplage de deux théories mathématiques fondamentales, la prétopologie classique et les ensembles aléatoires. La simulation de notre modèle est effectuée selon une approche multi-agents. Nous avons opté pour cette approche car nous souhaitons mettre en place un modèle d’aide à la décision. Cette méthode va donc nous permettre de faire des simulations et des analyses de sensibilités. Nous avons une représentation explicite des comportements des individus qui ne sont pas figés. Située entre la théorie et l’ensemble des données de l’expérience, l’approche multi-agents permet de prendre en compte de manière simultanée les comportements individuels, les interactions entre les individus et les hypothèses dynamiques formulées dans le modèle. Cette approche sera couplée au système d’information géographique afin de considérer l’aspect spatial. Considéré comme un « oignon », le système d’information géographique permet d’exploiter différentes données et de les superposer sous forme de couches. Disposant de données épidémiologiques provenant des Groupes Régionaux d’Observation de la Grippe (GROG) et des données sociodémographiques issues de l’Institut National de la Statistique et des Etudes Economiques (INSEE), nous pourrons tester la robustesse de notre modèle. / To manage a public health crisis resulting from an outbreak of a large-scale pandemic, it is necessary to be capable of taking adequate measures very quickly. These measures must be taken to protect the productive capacity of the economy. Consequently, I have focused on the development of a « decision-making support » model with hybrid agents simulating the spreading of a pandemic, which is established on the medical characteristics of the virus as well as the socioeconomic structure of the concerned geographical zone. This socioeconomic structure being at the centre of the model, a pretopological modelling of the concept of social network is therefore proposed and integrated into the approach agent.

La dispersion spatiale de l'habitat et des activités de ces dernières décennies a fortement contribué à un allongement des distances et des temps de trajets domicile-travail. Cela a pour conséquence un accroissement de l'utilisation des voitures particulières, notamment au sein et aux abords des grandes agglomérations. Afin de réduire les impacts dus à l'augmentation du trafic routier, des services de covoiturage, où des usagers ayant la même destination se regroupent en équipage pour se déplacer, ont été mis en place partout dans le monde. Nous présentons ici nos travaux sur le problème de covoiturage régulier. Dans cette thèse, le problème de covoiturage régulier a été modélisé et plusieurs métaheuristiques de résolution ont été implémentées, testées et comparées. La thèse est organisée de la façon suivante: tout d'abord, nous commençons par présenter la définition et la description du problème ainsi que le modèle mathématique associé. Ensuite, plusieurs métaheuristiques pour résoudre le problème sont présentées. Ces approches sont au nombre de quatre: un algorithme de recherche locale à voisinage variable, un algorithme à base de colonies de fourmis, un algorithme génétique guidée et un système multi-agents génétiques auto-adaptatif. Des expériences ont été menées pour démontrer l'efficacité de nos approches. Nous continuons ensuite avec la présentation et la résolution d'une extension du problème de covoiturage occasionel comportant plusieurs destinations. Pour terminer, une plate-forme de test et d'analyse pour évaluer nos approches et une plate-forme de covoiturage sont présentées dans l'annexe. / Nowadays, the increased human mobility combined with high use of private cars increases the load on environment and raises issues about quality of life. The extensive use of private cars lends to high levels of air pollution, parking problem, traffic congestion and low transfer velocity. In order to ease these shortcomings, the car pooling program, where sets of car owners having the same travel destination share their vehicles, has emerged all around the world. We present here our research on the long-term car pooling problem. In this thesis, the long-term car pooling problem is modeled and metaheuristics for solving the problem are investigated. The thesis is organized as follows. First, the definition and description of the problem as well as its mathematical model are introduced. Then, several metaheuristics to effectively and efficiently solve the problem are presented. These approaches include a Variable Neighborhood Search Algorithm, a Clustering Ant Colony Algorithm, a Guided Genetic Algorithm and a Multi-agent Self-adaptive Genetic Algorithm. Experiments have been conducted to demonstrate the effectiveness of these approaches on solving the long-term car pooling problem. Afterwards, we extend our research to a multi-destination daily car pooling problem, which is introduced in detail manner along with its resolution method. At last, an algorithm test and analysis platform for evaluating the algorithms and a car pooling platform are presented in the appendix.