Spelling suggestions: "subject:"biografic"" "subject:"etnografic""
201 |
Conception et Développement d'une Plateforme Multi-Agent en Réalité Virtuelle de Pilotage de Véhicules IntelligentsYu, Yue 09 September 2013 (has links) (PDF)
Cette thèse est consacrée à la conception et au développement d'une plateforme multi-agent, en réalité virtuelle, de pilotage de véhicules intelligents pour la simulation du comportement microscopique du trafic. D'abord, un système de simulation intelligent des véhicules en réalité virtuelle (VR-ISSV), basé sur les multi-agents, est proposé : c'est un système modulaire hiérarchique de modélisation et de simulation, comprenant une couche matérielle, réseau et système d'exploitation ; une couche de gestion de la visualisation ; une couche de multi-agents et une couche d'interface homme-machine. Ensuite, pour le modèle d'agent du véhicule intelligent, un paradigme de conception décentralisée est utilisé basé sur l'approche multi-contrôleurs, où le comportement du suivi des véhicules et le comportement du dépassement des véhicules sont réalisées par coordination entre multi-contrôleurs. L'agent d'environnement est construit en tenant compte de l'interaction entre les véhicules et l'environnement naturel synthétique. Un système d'information géographique (GIS) est par ailleurs utilisé afin de définir l'agent d'environnement. Enfin, pour assurer la sécurité dans les manœuvres microscopiques du trafic, plusieurs contrôleurs du véhicule intelligent, adaptés à l'environnement complexe, sont considérés. Les contrôleurs, basés sur la logique floue, sont proposés pour envoyer les commandes appropriées aux actionneurs du véhicule - volant de direction, accélérateur, frein... Les modèles de comportement microscopique du trafic basé sur l'agent de véhicule intelligent sont étudiés considérant différents scénarios et l'environnement
|
202 |
Classification de flux applicatifs et détection d'intrusion dans le trafic InternetKorczynski, Maciej 26 November 2012 (has links) (PDF)
Le sujet de la classification de trafic r'eseau est d'une grande importance pourla planification de r'eseau efficace, la gestion de trafic 'a base de r'egles, la gestionde priorit'e d'applications et le contrˆole de s'ecurit'e. Bien qu'il ait re¸cu une atten-tion consid'erable dans le milieu de la recherche, ce th'eme laisse encore de nom-breuses questions en suspens comme, par exemple, les m'ethodes de classificationdes flux de trafics chiffr'es. Cette th'ese est compos'ee de quatre parties. La premi'erepr'esente quelques aspects th'eoriques li'es 'a la classification de trafic et 'a la d'etec-tion d'intrusion. Les trois parties suivantes traitent des probl'emes sp'ecifiques declassification et proposent des solutions pr'ecises.Dans la deuxi'eme partie, nous proposons une m'ethode d''echantillonnage pr'ecisepour d'etecter les attaques de type "SYN flooding"et "portscan". Le syst'eme examineles segments TCP pour trouver au moins un des multiples segments ACK provenantdu serveur. La m'ethode est simple et 'evolutive, car elle permet d'obtenir unebonne d'etection avec un taux de faux positif proche de z'ero, mˆeme pour des tauxd''echantillonnage tr'es faibles. Nos simulations bas'ees sur des traces montrent quel'efficacit'e du syst'eme propos'e repose uniquement sur le taux d''echantillonnage,ind'ependamment de la m'ethode d''echantillonnage.Dans la troisi'eme partie, nous consid'erons le probl'eme de la d'etection et de laclassification du trafic de Skype et de ses flux de services tels que les appels vocaux,SkypeOut, les vid'eo-conf'erences, les messages instantan'es ou le t'el'echargement defichiers. Nous proposons une m'ethode de classification pour le trafic Skype chiffr'ebas'e sur le protocole d'identification statistique (SPID) qui analyse les valeurs statis-tiques de certains attributs du trafic r'eseau. Nous avons 'evalu'e notre m'ethode surun ensemble de donn'ees montrant d'excellentes performances en termes de pr'eci-sion et de rappel. La derni'ere partie d'efinit un cadre fond'e sur deux m'ethodescompl'ementaires pour la classification des flux applicatifs chiffr'es avec TLS/SSL.La premi'ere mod'elise des 'etats de session TLS/SSL par une chaˆıne de Markov ho-mog'ene d'ordre 1. Les param'etres du mod'ele de Markov pour chaque applicationconsid'er'ee diff'erent beaucoup, ce qui est le fondement de la discrimination entreles applications. La seconde m'ethode de classification estime l''ecart d'horodatagedu message Server Hello du protocole TLS/SSL et l'instant d'arriv'ee du paquet.Elle am'eliore la pr'ecision de classification des applications et permet l'identificationviiefficace des flux Skype. Nous combinons les m'ethodes en utilisant une ClassificationNaive Bay'esienne (NBC). Nous validons la proposition avec des exp'erimentationssur trois s'eries de donn'ees r'ecentes. Nous appliquons nos m'ethodes 'a la classificationde sept applications populaires utilisant TLS/SSL pour la s'ecurit'e. Les r'esultatsmontrent une tr'es bonne performance.
|
203 |
Minimisation des conflits aériens par des modulations de vitesseRey, David 14 December 2012 (has links) (PDF)
Afin de pouvoir subvenir aux futurs besoins en matière de transport aérien il est nécessaire d'augmenter la capacité de l'espace aérien. Les contrôleurs aériens, qui occupent une place centrale dans la gestion du trafic, doivent quotidiennement faire face à des situations conflictuelles (conflits) lors desquelles deux vols risquent de violer les normes de séparation en vigueur si aucune modification de trajectoire n'est envisagée. La détection et la résolution des conflits potentiels contribuent à augmenter la charge de travail des contrôleurs et peuvent potentiellement les conduire à diriger les vols vers des zones moins denses de l'espace aérien, induisant a posteriori un retard pour les vols. Le problème de la capacité de l'espace aérien peut donc être abordé en régulant les flux de trafic de façon réduire la quantité de conflits aériens. L'objectif de cette thèse est de mettre au point une méthodologie destinée à minimiser les risques de conflits aériens en modifiant légèrement les vitesses des appareils. Cette approche est principalement motivée par les conclusions du projet ERASMUS portant sur la régulation de vitesse subliminale. Ce type de régulation a été conçu de façon à ne pas perturber les contrôleurs aériens dans leur tâche. En utilisant de faibles modulations de vitesse, imperceptibles par les contrôleurs aériens, les trajectoires des vols peuvent être modifiées pour minimiser la quantité totale de conflits et ainsi faciliter l'écoulement du trafic dans le réseau aérien. La méthode retenue pour mettre en œuvre ce type de régulation est l'optimisation sous contrainte. Dans cette thèse, nous développons un modèle d'optimisation déterministe pour traiter les conflits à deux avions. Ce modèle est par la suite adapté à la résolution de grandes instances de trafic en formulant le modèle comme un Programme Linéaire en Nombres Entiers. Pour reproduire des conditions de trafic réalistes, nous introduisons une perturbation sur la vitesse des vols, destinée à représenter l'impact de l'incertitude en prévision de trajectoire dans la gestion du trafic aérien. Pour valider notre approche, nous utilisons un outil de simulation capable de rejouer des journées entières de trafic au dessus de l'espace aérien européen. Les principaux résultats de ce travail démontrent les performances du modèle de détection et de résolution de conflits et soulignent la robustesse de la formulation face à l'incertitude en prévision de trajectoire. Enfin, l'impact de notre approche est évalué à travers divers indicateurs propres à la gestion du trafic aérien et valide la méthodologie développée.
|
204 |
Modélisation et commande d'un système de trafic multimodalSmaili, Samia 11 January 2012 (has links) (PDF)
Le trafic routier englobe plusieurs facteurs, entre autres la géométrie des infrastructures routières, le comportement des conducteurs, la diversité des flux de véhicules, etc... Les situations auxquelles sont confrontés les exploitants des réseaux routiers dépendent du type de réseau dont ils ont la charge. Cette complexité du trafic en a fait un domaine de recherche d'un intérêt croissant et ce depuis les premières études qui ont donné naissance au modèle LWR au milieu des années cinquante. Afin de modéliser le trafic sur un réseau routier, deux approches, complémentaires l'une de l'autre sont nécessaires. La première est la modélisation de l'écoulement qui permet de décrire l'évolution des flux de trafic sur un tronçon de route et l'affectation qui décrit la façon dont les usagers choisissent leurs itinéraires sur un réseau. L'objet de ces travaux de thèse est d'apporter une contribution à cette amélioration de la modélisation des flux de trafic, en se concentrant dans un premier lieu sur la modélisation d'un trafic autoroutier constitué de deux classes de véhicules: des véhicules particuliers et des bus. L'étude numérique du modèle se fait en adaptant le modèle de transmission cellulaire de Daganzo. Un estimateur des densités et un autre des vitesses de ce trafic mixte sur un tronçon de route ont été présentés. Des résultats de stabilité dans les différents régimes de ce trafic ont été établis. Dans un second temps concernant la modélisation d'un trafic urbain multimodal constitué de trois classes de véhicules: aux deux classes précédemment citées, est intégrée une nouvelle classe de bus à haut niveau de service BHNS ou BRT, classe qui tend à se propager au milieu urbain et suburbain et qui est perçue comme solution à de nombreux problèmes liés au trafic par les exploitants de la route. Nous proposons deux modèles de la progression du BRT sur le réseau, puis nous développons une stratégie de régulation de ce système de transport urbain trimodal. L'objectif de la régulation est double, veiller à la fluidité du trafic en général et le respect de positions références pour le mode BRT. L'architecture s'appuie sur la commande des systèmes en boucle fermée et utilise la commande prédictive généralisée. Nous avons aussi proposé un modèle hybride de trafic routier basé sur le couplage d'un modèle macroscopique générique de second ordre et d'un modèle microscopique en coordonnées Lagrangiennes. Pour la validation de la bonne transmission de l'information à travers le schéma de couplage, nous avons étudié la propagation et la remontée d'une congestion.
|
205 |
Trajectoires et dynamiques carcérales au féminin. Le cas de Lima.Constant, Chloé 21 November 2013 (has links) (PDF)
Cette thèse propose d'étudier la trajectoire des femmes incarcérées dans la prison péruvienne Chorrillos I à Lima et d'analyser l'influence des inégalités sociales et du parcours de vie des détenues sur les dynamiques carcérales de cet établissement. Les entretiens menés avec les détenues révèlent un ensemble de similitudes dans leur parcours avant l'incarcération, parmi lesquelles ressortent des schémas de domination genrée, des situations de précarité socioéconomique, des expériences de mères célibataires, ainsi que la recherche de stratégies de survie. Le croisement de l'étude de leur trajectoire et de l'analyse des rapports sociaux, ethniques et genrés permet de comprendre leurs formes d'adaptation au milieu carcéral ainsi que les relations qui lient l'ensemble des acteurs en présence, pour dévoiler les ressorts d'un univers carcéral particulier.
|
206 |
Étude de processus en temps continu modélisant l'écoulement de flux de trafic routierTordeux, Antoine 28 June 2010 (has links) (PDF)
Ce travail présente des modèles d'écoulement en temps continu de flux de trafic routier. En premier lieu, il s'agit de modèles microscopiques de poursuite. Un modèle par systèmes d'équations différentielles couplées est proposé, basé sur le temps inter-véhiculaire. Ce modèle intègre un temps de réaction et des possibilités d'anticipation pour chaque véhicule. Les paramètres sont estimés par maximum de vraisemblance dans un modèle statistique à deux niveaux. Des simulations permettent de caractériser le comportement d'une file de véhicules. Dans une approche stochastique, un modèle d'évolution de la distance inter-véhiculaire est étudié à l'aide du processus Markovien de saut zero-range. L'introduction d'un temps de réaction tend à produire des ondes cinématiques. D'autre part, un modèle d'écoulement de trafic par le processus Markovien de saut des misanthropes est proposé. Il s'agit d'une modélisation au niveau mésoscopique, adaptée à la simulation de flux de trafic sur un réseau
|
207 |
Plan de connaissance pour les réseaux sémantiques : application au contrôle d'admissionAmmar, Doreid 07 December 2012 (has links) (PDF)
Depuis quelques années, il y a un réel changement dans les usages des réseaux en termes d'applications véhiculées ainsi que dans leur nombre. On voit apparaître de plus en plus d'applications contraintes en termes de délai, comme par exemple la téléphonie sur IP, ainsi que d'applications gourmandes en ressources comme par exemple le Srteaming Video. La croissance en volume de ces applications copmmence à poser des problèmes de congestion dasn les réseaux filiares et sans fil. Les opérateurs réseaux doivent être capables d'absorber ces changements de trafic, de faire face à cette demande de plus en plus intensive en bande passante et de fournir une bonne qualité (QoS) aux applications. Cela nécessite des mécanismes intellignets en termes d'ordonnancement et de gestion des files d'attente, de contrôle d'admission, de contrôle de débit et/ou de routage. L'objectif initial de cette thèse étati d'aboutir à la conception d'une nouvelle architecture de traitement et de gestion du trafic et de la qualité de service pour le contrôle d'admission. Plus précisément nous présentons une nouvelle solution pour le contrôle d'admission qui repose sur l'élaboration en continu d'un plan de connaissance et sur la modélisatio automatique du comportement d'un lien réseau par une file d'attente monoserveur. Norte solution doit permettre d'offrir une garantie probabiliste d'un paramètre de performance QoS qui peut être le délai d'attente moyen des paquets dans le buffer du lien ou le taux de perte. Nous avons évalué les performances de notre nouveau contro^le d'admission par simulation en considérant diverses conditions possibles de trafic. Lers résultats obtenus indiquent que la solution proposée permet d'atteindre un contrôle d'admission ni trop conservateur, ni trop permissif. En outre, notre solution offre l'avantage de se baser uniquement sur une connaisssance acquise au cours du temps et permet ainsi de s'affranchir d'un paramétrage compliqué des paramètres comme c'est le cas pour les solutions classiques de contrôle d'admission
|
208 |
Problematika životního stylu všeobecných sester v nepřetržitém provozu / Lifestyle issues of nurses in non stop shift operationSTARÁ, Zuzana January 2017 (has links)
The thematic content of the presented diploma thesis is the issue of the lifestyle of general nurses working in regularly or irregularly planned shifts at different times of the day. The disposition of such employment entails limited opportunities for adherence to healthy living. This fact is the subject of exploration mentioned and solved in this diploma thesis. The first theoretical part of the diploma thesis provides a theoretical explanation on how best to adhere to the principles of healthy lifestyle, how best to lay out diet, sleep, or leisure, and how to contribute to good physical and mental fitness. The second, empirical part works with specific information obtained through questionnaire research and quantitative methods using statistical methods. Discussion and conclusion of the diploma thesis evaluate questionnaire obtained information and compare it with foreign research.
|
209 |
Minimisation des conflits aériens par des modulations de vitesse / Minimizing air conflicts by speed modulationsRey, David 14 December 2012 (has links)
Afin de pouvoir subvenir aux futurs besoins en matière de transport aérien il est nécessaire d'augmenter la capacité de l'espace aérien. Les contrôleurs aériens, qui occupent une place centrale dans la gestion du trafic, doivent quotidiennement faire face à des situations conflictuelles (conflits) lors desquelles deux vols risquent de violer les normes de séparation en vigueur si aucune modification de trajectoire n'est envisagée. La détection et la résolution des conflits potentiels contribuent à augmenter la charge de travail des contrôleurs et peuvent potentiellement les conduire à diriger les vols vers des zones moins denses de l'espace aérien, induisant a posteriori un retard pour les vols. Le problème de la capacité de l'espace aérien peut donc être abordé en régulant les flux de trafic de façon réduire la quantité de conflits aériens. L'objectif de cette thèse est de mettre au point une méthodologie destinée à minimiser les risques de conflits aériens en modifiant légèrement les vitesses des appareils. Cette approche est principalement motivée par les conclusions du projet ERASMUS portant sur la régulation de vitesse subliminale. Ce type de régulation a été conçu de façon à ne pas perturber les contrôleurs aériens dans leur tâche. En utilisant de faibles modulations de vitesse, imperceptibles par les contrôleurs aériens, les trajectoires des vols peuvent être modifiées pour minimiser la quantité totale de conflits et ainsi faciliter l'écoulement du trafic dans le réseau aérien. La méthode retenue pour mettre en œuvre ce type de régulation est l'optimisation sous contrainte. Dans cette thèse, nous développons un modèle d'optimisation déterministe pour traiter les conflits à deux avions. Ce modèle est par la suite adapté à la résolution de grandes instances de trafic en formulant le modèle comme un Programme Linéaire en Nombres Entiers. Pour reproduire des conditions de trafic réalistes, nous introduisons une perturbation sur la vitesse des vols, destinée à représenter l'impact de l'incertitude en prévision de trajectoire dans la gestion du trafic aérien. Pour valider notre approche, nous utilisons un outil de simulation capable de rejouer des journées entières de trafic au dessus de l'espace aérien européen. Les principaux résultats de ce travail démontrent les performances du modèle de détection et de résolution de conflits et soulignent la robustesse de la formulation face à l'incertitude en prévision de trajectoire. Enfin, l'impact de notre approche est évalué à travers divers indicateurs propres à la gestion du trafic aérien et valide la méthodologie développée. / As global air traffic volume is continuously increasing, it has become a priority to improve air traffic control in order to deal with future air traffic demand. One of the current challenges regarding air traffic management is the airspace capacity problem, which is acknowledged to be correlated to air traffic controllers' workload. Air traffic controllers stand at the core of the traffic monitoring system and one of their main objective is to ensure the separation of aircraft by anticipating potential conflicts. Conflict detection and resolution are likely to increase workload and may lead them to reroute aircrafts to less dense areas, triggering off flight delay. The airspace capacity problem can hence be tackled by regulating air traffic flow in order to reduce the global conflict quantity. The objective of this thesis is to develop a methodology aiming at minimizing potential conflicts quantity by slightly adjusting aircraft speeds in real time. This approach is mainly motivated by conclusions of the ERASMUS project on subliminal speed control, which was designed to keep air traffic controllers unaware of the ongoing regulation process. By focusing on low magnitude speed modulations, aircraft trajectories can be modified to reduce the quantity of conflicts and smoothen air traffic flow in the airspace network. The method used to carry out this type of regulation is constraint optimization. In this thesis, we develop a deterministic optimization model for two-aircraft conflicts which is then adapted to large scale instances using Mixed-Integer Linear Programming. In order to reproduce realistic navigation conditions, uncertainty on aircraft speeds is introduced with the goal of modeling the impact of trajectory prediction uncertainty in air traffic management. To validate our approach, a simulation device capable of simulating real air traffic data over the European airspace is used. Main results of this work reveal a significant conflict quantity reduction and demonstrate the robustness of the developed model to the uncertainty in trajectory prediction. Finally, the impact of our model on air traffic flow is measured through several air traffic management indicators and validates the proposed methodology.
|
210 |
Ingénierie de lectines de valence, topologie et spécificité contrôlées pour la biologie cellulaire et la biotechnologie / Neolectins : synthetic lectins with controlled valency and specificity for cell biology and biotechnologyArnaud, Julie 28 November 2014 (has links)
La capacité des lectines à reconnaître spécifiquement des glycoconjugués à la surface de cellules en font des outils de diagnostic biomédical pour les pathologies associées à des changements de glycosylation (inflammation, du cancer ...). De par leur interaction avec les glycosphingolipides, ces protéines peuvent aussi être utilisées pour étudier le trafic membranaire. Toutefois, un nombre réduit de lectines sont actuellement disponibles, limitant leur utilisation dans les biotechnologies et la recherche. Le but de ma thèse est d'une part de concevoir des néo-lectines de valence et topologie contrôlées pour comprendre l'effet de la multivalence sur le mécanisme d'endocytose, et d'autre part de concevoir des lectines de spécificité modulable afin de les utiliser dans la reconnaissance spécifique des cellules tumorales.RSL est une lectine à fucose de la bactérie Ralstonia solanacearum qui a une structure en β-propeller formée par l'association de trois monomères présentant deux sites de liaison très similaires. Cette protéine trimérique et hexavalente a été choisie comme structure de base pour la conception de néolectines. Des RSLs trivalentes ont été produites par mutation d'un acide aminé essentiel pour la stabilisation du fucose. Leur caractérisation a démontré qu'ils avaient perdu la capacité d'invaginer la membrane plasmique. Une protéine de même structure que RSL mais monomérique a été ingénierée, puis une librairie de plus de 13 mutants de valence présentant différentes topologies a été créée. L'analyse de tous les mutants a permis de démontrer que la formation de tubules dans les membranes dépend plus de la distance entre les sites que du nombre de sites.Nous avons ensuite mis au point un protocole de bio-informatique afin de prédire l'orientation et la conformation d'oligosaccharides fucosylés dans les sites de fixation de plusieurs lectines à fucose. Les affinités relatives ont pu être calculées avec une bonne corrélation avec les valeurs expérimentales. La modélisation et la structure cristallographique des complexes entre RSL et les oligosaccharides Lewis X et Sialyl Lewis X indiquent un changement conformationnel du glycanne très inhabituel lors de l'interaction, donnant ainsi des pistes pour la conception de mutants de plus haute spécificité. / The ability of lectins to specifically recognize glycoconjugates on cell surface makes them excellent biomedical diagnostics tools for diseases associated with glycosylation changes (e.g inflammation, cancer, etc.). Furthermore, because of their interaction with glycosphingolipids, lectins may also be used to study membrane trafficking. However, only small number of lectins are currently available, limiting their use in biotechnology and research. The aim of my thesis was first to develop neolectins with controlled valency and topology to understand the effect of multivalency on the endocytosis mechanism, and second to design lectins with tuned specificity for the recognition of tumor cells.RSL is a fucose binding lectin from the bacterium Ralstonia solanacearum which has a β-propeller structure that is formed by the association of three monomers each having two very similar binding sites. This trimeric and hexavalent protein was chosen as the scaffold structure for the design of neolectins. Trivalent RSLs were created by mutating an amino acid with essential role in fucose binding. Characterization showed that these mutants lost the ability to invaginate the plasma membrane. In addition, monomeric RSL was engineered and a library of more than 13 mutants, with different topologies and valencies, was created. Analysis of these mutants showed that the formation of tubules in the membrane depends mostly on the distance between the sites rather than on the number of sites.Then we developed a bioinformatic protocol to predict the orientation and conformation of fucosylated oligosaccharides in the binding sites of several fucose binding lectins. The relative affinities could be calculated with a good correlation to experimental values. Both the model and the crystal structures of RSL complexed with sialyl Lewis X and Lewis X oligosaccharides indicate a very unusual conformational change of the glycan during the interaction. These studies pave the way for the design of mutants with higher specificity.
|
Page generated in 0.021 seconds