• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 100
  • 40
  • 12
  • 9
  • 1
  • 1
  • 1
  • 1
  • Tagged with
  • 163
  • 65
  • 23
  • 20
  • 20
  • 15
  • 15
  • 14
  • 14
  • 14
  • 12
  • 11
  • 10
  • 9
  • 9
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
101

Algorithmes de recherche d'itinéraires en transport multimodal / Shortest path Algorithms in multimodal transportation

Gueye, Fallou 14 December 2010 (has links)
Ce travail de thèse s’est intéressé au transport urbain de passagers dans un contexte d’offre de transport multimodale consistant en la coexistence de plusieurs modes de transport. Dans la pratique, un problème de transport multimodal nécessite la prise en compte de plusieurs objectifs et de contraintes spécifiques liées aux modes ou à la séquence de modes utilisés. De telles contraintes sont appelées contraintes de viabilité.Cette thèse CIFRE s’est déroulée en collaboration avec la société MobiGIS, spécialisée dans le conseil et le développement d’applications autour des Systèmes d’Information Géographiques.Le problème étudié dans cette thèse est celui de la recherche d’itinéraires viables multimodaux point à point bi-objectif pour lequel il s’agit à la fois de minimiser le temps de trajet et le nombre de changements de mode. Compte tenu notamment des objectifs considérés, ce problème est de complexité polynomiale.Sur la base d’une modélisation multi-couches des réseaux de transport multimodaux et d’une modélisation par un automate à états finis des contraintes de viabilité nous avons proposé différents algorithmes de résolution de ce problème basés sur le principe de fixation et extension de labels. Nous avons également proposé une règle de dominance basée sur les états de l’automate de viabilité et permettant d’élaguer le nombre de labels explorés par nos algorithmes. Des adaptations en bidirectionnel ou en utilisant le principe de la recherche A_ ont également été proposées.Les algorithmes proposés ont été évalués sur une partie du réseau de transport de la ville de Toulouse et les expérimentations ont mis en évidence l’intérêt de la règle de dominance basée sur les états ainsi que de l’approche bidirectionnelle développée.Un prototype logiciel implémentant différentes fonctionnalités des algorithmes de plus courts chemins a été développé. Il permet notamment de réaliser des calculs d’itinéraires point à point, des calculs d’accessibilité ou des calculs de distancier / This thesis focuses on urban passenger multimodal transportation. In practice, a multimodal transportation problem requires taking into account several objectives and specific constraints related to modes or sequence of used modes. Such constraints are called viability constraints. This work has been carried out in collaboration with MobiGIS, a company specialized in consulting and development of applications around Geographical Information Systems.The problem studied in this thesis is the bi-objective multimodal viable point-to-point shortest path, aiming at minimizing the total travel time and the total number of mode changes. Given the considered objectives, this problem is polynomial.On the basis of a multi-layered graph model of the multimodal transportation networks, and of a finite state automaton model of the viability constraints, we propose various algorithms for solving this problem, based on the principle of label setting and extension.We also proposed a new dominance rule based on the states of the automaton to reduce the number of labels explored by our algorithms. Bidirectional and A* variants are also proposed.The algorithms are evaluated the transportation network of the city of Toulouse and experiments demonstrate the interest of the proposed dominance rules and bidirectional approach. A prototype software implementing different features of the shortest path algorithms has been developed. It notably enables calculations of point-to-point routes, accessibility and origin-destination matrices
102

Modélisation vibroacoustique de double-parois aéronautiques avec liens mécaniques par la méthode de l'analyse statistique énergétique

Campolina, Bruno 12 June 2012 (has links) (PDF)
La prédiction du bruit intérieur des avions nécessite la modélisation vibroacoustique de l'ensemble fuselage et traitements acoustiques. Cet ensemble est composé d'un panneau raidi métallique ou composite, sur lequel est posé un traitement thermo-acoustique (laine de verre) et connecté par des liens anti-vibratiles à un panneau d'habillage de type sandwich nid d'abeille. L'objectif de ce travail consiste à optimiser les traitements acoustiques en prenant en compte les contraintes de design telles que la masse et les dimensions. A ce propos, une double-paroi représentative d'avion est modélisée par la méthode de l'analyse statistique énergétique (SEA). Des excitations académiques telles que le champ diffus et la force ponctuelle sont utilisées et des tendances sont données pour des applications sous excitation aérodynamique, du type couche limite turbulente. Une première partie porte sur l'effet de compression d'une couche poreuse. Pour des applications aéronautiques, la compression de ce type de matériaux peut se produire lors de l'installation d'équipements et câbles. Elle est étudiée, de manière analytique et expérimentale, pour une simple-paroi recouverte par une couche de matériau fibreux. Le matériau est comprimé sur toute sa surface. Une réduction de la perte par transmission (TL) jusqu'à 5 dB est observée principalement en moyennes fréquences (autour de 800 Hz) lorsque l'épaisseur du poreux est comprimé de 50%. Cependant pour des cas plus réalistes, cet effet est supposé moins important pour une compression locale et plus faible. Dans une seconde partie, la transmission par les connections structurales entre panneaux est étudiée par une approche quadripolaire qui relie la paire force-vitesse de chaque côté du lien mécanique. La modélisation intègre la raideur dynamique mesurée par un banc d'essai dédié. La transmission structurale est par la suite validée avec des essais et intégrée au modèle de double-paroi comme un facteur de couplage entre panneaux. Comme les structures sont non-courbées, seule la transmission axiale est considérée. Enfin, les voies de transmission dominantes sont identifiées dans la gamme de fréquences entre 100 Hz et 10 kHz pour des double-parois sous champ diffus et sous excitation structurale ponctuelle. La transmission non-résonante est plus importante en basses fréquences (jusqu'à 1 kHz) alors que les parties structurale et aérienne dominent respectivement en moyennes et hautes fréquences. Une validation avec des résultats expérimentaux montre que le modèle est capable de prédire les changements au niveau de la transmission, causés par les différents couplages structuraux (couplage rigide, couplage via liens anti-vibratiles et découplage structural). Des différentes solutions en termes de traitement acoustique, comme par exemple l'absorption, l'amortissement et le découplage structural, peuvent par la suite être dérivées.
103

Detection and localization of link-level network anomalies using end-to-end path monitoring / Détection et localisation des anomalies réseau au niveau des liens en utilisant de la surveillance des chemins de bout-en-bout

Salhi, Emna 13 February 2013 (has links)
L'objectif de cette thèse est de trouver des techniques de détection et de localisation des anomalies au niveau des liens qui soient à faible coût, précises et rapides. La plupart des techniques de détection et de localisation des anomalies au niveau des liens qui existent dans la littérature calculent les solutions, c-à-d l'ensemble des chemins à monitorer et les emplacements des dispositifs de monitorage, en deux étapes. La première étape sélectionne un ensemble minimal d'emplacements des dispositifs de monitorage qui permet de détecter/localiser toutes les anomalies possibles. La deuxième étape sélectionne un ensemble minimal de chemins de monitorage entre les emplacements sélectionnés de telle sorte que tous les liens du réseau soient couverts/distinguables paire par paire. Toutefois, ces techniques ignorent l'interaction entre les objectifs d'optimisation contradictoires des deux étapes, ce qui entraîne une utilisation sous-optimale des ressources du réseau et des mesures de monitorage biaisées. L'un des objectifs de cette thèse est d'évaluer et de réduire cette interaction. A cette fin, nous proposons des techniques de détection et de localisation d'anomalies au niveau des liens qui sélectionnent les emplacements des moniteurs et les chemins qui doivent être monitorés conjointement en une seule étape. Par ailleurs, nous démontrons que la condition établie pour la localisation des anomalies est suffisante mais pas nécessaire. Une condition nécessaire et suffisante qui minimise le coût de localisation considérablement est établie. Il est démontré que les deux problèmes sont NP-durs. Des algorithmes heuristiques scalables et efficaces sont alors proposés. / The aim of this thesis is to come up with cost-efficient, accurate and fast schemes for link-level network anomaly detection and localization. It has been established that for detecting all potential link-level anomalies, a set of paths that cover all links of the network must be monitored, whereas for localizing all potential link-level anomalies, a set of paths that can distinguish between all links of the network pairwise must be monitored. Either end-node of each path monitored must be equipped with a monitoring device. Most existing link-level anomaly detection and localization schemes are two-step. The first step selects a minimal set of monitor locations that can detect/localize any link-level anomaly. The second step selects a minimal set of monitoring paths between the selected monitor locations such that all links of the network are covered/distinguishable pairwise. However, such stepwise schemes do not consider the interplay between the conflicting optimization objectives of the two steps, which results in suboptimal consumption of the network resources and biased monitoring measurements. One of the objectives of this thesis is to evaluate and reduce this interplay. To this end, one-step anomaly detection and localization schemes that select monitor locations and paths that are to be monitored jointly are proposed. Furthermore, we demonstrate that the already established condition for anomaly localization is sufficient but not necessary. A necessary and sufficient condition that minimizes the localization cost drastically is established. The problems are demonstrated to be NP-Hard. Scalable and near-optimal heuristic algorithms are proposed.
104

Le routage dans les réseaux de capteurs multimédia / Routing in Wireless Multimedia Sensor Networks

Zeghilet, Houda 08 December 2013 (has links)
Aujourd'hui, la prolifération de matériel peu coûteux tels que les caméras et les microphones capables de capturer du contenu multimédia de façon ubiquitaire a conduit à l'émergence des réseaux de capteurs sans fil multimédia/vidéo (RCSFM /RCSFV). En conséquence, un grand éventail d'applications peuvent être projetées dans de nombreux domaines de la vie de tous les jours. Par rapport aux réseaux de capteurs traditionnels (RCSF), les RCSFVs présentent des défis uniques principalement en raison de la grande quantité de données à capturer et à transmettre au-dessus d'un réseau contraint en ressources. Dans ce travail, nous avons d'abord proposé un protocole de routage hiérarchique appelé ELPC (Energy Level Passive Clustering) dont l'objectif principal est d'améliorer la durée de vie du réseau en présence de flux vidéo. Ceci est obtenu grâce à l'équilibrage des charges au moment de la construction de la topologie où le rôle de tête de groupe est alterné entre les noeuds candidats en fonction de leur niveau d'énergie. La deuxième contribution consiste en un protocole de routage multichemin qui prend les interférences inter-chemin en considération. Au lieu de supprimer complètement les interférences, notre protocole de routage multichemin tente de les minimiser en se basant sur l'ajout d'informations supplémentaires sur les noeuds voisins dans les messages de construction de la topologie. De plus, nous proposons un schéma de files d'attente à priorités multiples où l'influence des types de données. Les résultats des simulations montrent que l'utilisation de chemins moins interférents combinée à un régime de multipriorité permet une meilleure qualité vidéo / Nowadays, the proliferation of inexpensive hardware such as CMOS cameras and microphones that are able to ubiquitously capture multimedia content has led to the emergence of wireless multimedia/video sensor networks (WMSN/WVSN). As a consequence, a wide spectrum of applications can be projected in many areas and everyday life. Compared to traditional WSNs, WVSNs introduce unique challenges due mainly to the big amount of data to be captured and transmitted over a constrained network. In this work, we first propose a cluster-based (hierarchical) routing protocol called ELPC (Energy Level Passive Clustering) where the main objective is to enhance the network lifetime while handling video applications. This is achieved thanks to a load balancing feature where the role of clusterheads is alternated among candidate nodes depending on their energy level. The second contribution consists in a multipath routing protocol with interference awareness. Instead of completely suppressing interferences, our multipath routing protocol tries to minimize them through a simple algorithm without extra overhead. Multiple paths are built at once while minimizing their inter-path interferences thanks to some additional information on neighboring nodes piggybacked on the route request messages. In addition to interference awareness, we propose a multiqueue multipriority scheme where the influence of data type in a video is considered. Simulation results show that using less interfering paths combined to a multiqueue multipriority scheme allows for better video quality
105

Extensions de fonctions d'un voisinage de la sphère à la boule / Extensions of functions from a neighborhood of the sphere to the ball

Seigneur, Valentin 13 December 2018 (has links)
Étant donnée une fonction lisse ˜ f définie sur un voisinage de la sphère euclidienne de dimension n dans la boule, peut-on l’étendre en une fonction définie sur la boule bordée par la sphère, de manière à ce que l’extension n’ait aucun point critique ? Cette thèse propose d’étudier cette question, en supposant que la restriction de ˜ f à la sphère, notée f, est Morse. Ce problème a été introduit pour la première fois par Blank et Laudenbach en1970, et a aussi été posé par Arnol’d en 1981. Nous donnons une condition nécessaire d’extension sans points critiques qui s’appuie sur le complexe de Morse de la fonction f, et de la répartition des points critiques de f en deux ensembles : ceux dont la dérivée normale est négative et ceux dont la dérivée normale est positive. Cette condition nécessaire permet alors de donner un cadre algébrique à ce problème venant de la topologie différentielle et s’appuie principalement sur lesgrandes théories de la deuxième moitié du XXème siècle, à savoir celle des cobordismes de Thom,Smale, Milnor etc. Elle permet notamment de donner des conditions nécessaires et suffisantesdans certains cas plus restrictifs, et donne lieu à une condition nécessaire plus faible qui présentel’intérêt d’être calculable.Le point de départ des résultats est celui de Barannikov, qui le premier a traduit le problèmed’extension de fonction avec des conditions de dérivées normales en un problème de chemin defonctions générique qui ne présente pas de singularité globale. / Given a smooth function ˜ f defined on a neighborhood of the euclidian sphere of dimension n in the ball, is it possible to extend it to a function defined on the ball which has no critical points ? This thesis studies this question, assuming the f, the restriction of ˜ f to the sphere, is Morse.This problem was first introduced by Blank and Laudenbach in 1970. We give a necessary condition of extension without critical points that is based on Morsehomology and the repartition of the critical set of f into two sets : the set of points whosenormal derivative to the sphere interior to the ball is negative and the set of points whosenormal derivative is positive. This necessary condition is of algebraic nature and uses great theories of the second half of the XXth century, namely cobordism theory of Thom, Smale,Milnor etc. It also leads to a sufficient condition in some interesting cases, and to a weaker necessary condition for a general function ˜ f which is easily computable.The point-of-view is the one of Barannikov, who was the first to tackle this problem bymeans of considerations about path of functions
106

La gestion patrimoniale et l'usage des chemins à l'ère du numérique / Dirt roads management and usage into the digital era

Merey, Melanie 10 November 2017 (has links)
Les chemins sont un support de travail et de loisir pour les agriculteurs, les sylviculteurs et maintes usagers qui souhaitent se ressourcer, se défouler ou partager un moment convivial. lis constituent un vecteur de rencontre et de lien entre l'homme et la nature.Cette multiplicité d'usages et d'usagers permet de faire vivre ce patrimoine qui a tôt fait de disparaitre sans intervention humaine. Cependant, la circulation des véhicules utilisés pour l'exploitation ou la randonnée, ainsi que la sur-fréquentation de certains sites touristiques accentuent l'érosion du sol de ces voies non revêtues. La plupart des plaintes transmises aux gestionnaires sont liées à ces dégradations ainsi qu'aux pratiques nuisant à la naturalité des milieux, à la sécurité du public et à [a tranquillité des riverains.Le laboratoire de géographie de l'Université Jean Monnet et le Parc Naturel Régional du Pilat ont souhaité mettre en place un dispositif d'analyse multicritère cartographique décisionnel dans le but d'objectiver et de traiter efficacement les problèmes d'entretien et de conflits signalés sur !es chemins. ·L'implication des acteurs du territoire dans la conception de ce dispositif a permis de formuler des solutions acceptables répondant aux situations concrètes insatisfaisantes localisées dans le cadre d'un diagnostic cartographique participatif sur Géo Web.Par ailleurs, des cartes de sensibilité ont été modélisées grâce à un logiciel d'analyse multicritère cartographique afin de mieux prendre en compte les risques liés à l'érosion des chemins et à la circulation des randonneurs motorisés.Le dispositif final repose sur !'utilisation de solutions Géo Web permettant d'assurer un suivi numérique et de communiquer sur l'état des sentiers. / Dirt roads constitute both a work and a !eisure support for farrners, foresters and a lot of users who wish to unwind, to spend their energy or to sharc a convivial moment. They represent a vector of encounter and link between man and nature.This multiplicity of dirt roads usages and users witling to use them make it possible to keep a live this heritage, which quickly disappears without anthropogenic interventions. However, the circulation of vehicle~ used for farming or hiking, as well a~ the overcrowdîng of certain tourist sites, accentuate the soil erosion of these unpaved roads.Most of the complaints submitted to road managers are linked to these degradations as well as to practices that harm the natural environrnent, public safety and the tranquilily of local residents. The University of Jean Monnet (Saint-Etienne) and the Regional Nature Park of Pilat decided to set-up a multi-criteria decision analysis {MCDA) system in order to objectify and deal effectively with maintenance problems and conflicts arising between users.The invo!vement of territorial actors in the design of this device has made it possible to formulate acceptable solutions that respond to the unsatisfactory local situations found during a participatory cartographie diagnosis on Geo Web. Furthermore, sensitivity maps were modeled using a multi~criteria mapping software to integrate the risks associated with road erosion and the traffic of motorized hikers.The final MCDA procedure uses Geo Web solutions to provide digital tracking and information on !rails' state.
107

Dynamic traffic assignment for multi-regional transportation systems considering different kinds of users’ behavior / Affectation dynamique des usagers sur les grands réseaux des transports considérant différents types de comportements des usagers

S. F. A. Batista, Sérgio Filipe 15 November 2018 (has links)
La croissance démographique dans les zones urbaines représente un problème pour la planification des transports. La surcharge des systèmes de transport urbains entraîne des coûts monétaires importants et des problèmes environnementaux. Des mesures politiques sont alors nécessaires pour réduire le niveau de congestion et accroître l'efficacité des systèmes de transport. À court terme, les simulateurs de trafic pourraient constituer un outil puissant pour la conception de solutions innovantes. Mais les simulateurs de trafic classiques sont exigeants sur le plan informatique pour les applications à grande échelle. De plus, la mise en place du scénario de simulation est complexe. Une modélisation de trafic agrégée pourrait être une bonne solution (Daganzo-2007, Geroliminis-2008). Le réseau routier des villes est divisé en régions, où un diagramme fondamental macroscopique bien défini (MFD) régule les conditions de circulation à l'intérieur de chacune. Le MFD concerne le débit et la densité de trafic moyens dans une région. Malgré que l’idée d’agréger le réseau de la ville soit simple, il soulève plusieurs défis qui n’ont pas encore été abordés. Jusqu'à aujourd'hui, seule (Yildirimoglu-2014) propose un cadre d'affectation dynamique du trafic pour les réseaux régionaux et les modèles MFD. Ce cadre est basé sur le modèle Logit multinomial et ne traite pas explicitement des distributions de longueurs de parcours. De plus, leur structure ne considère pas que les utilisateurs sont différents les uns des autres et ont des objectifs et des préférences différents pour leurs voyages. L'objectif de cette thèse est double. Tout d'abord, l'influence du comportement des utilisateurs sur la performance globale du réseau routier d’une ville est étudiée. Cette analyse se concentre sur la vitesse moyenne du réseau et ses capacités internes et de sortie, en comparant différents modèles tenant compte des différents types de comportement des utilisateurs par rapport à l'équilibre utilisateur déterministe et stochastique. En second lieu, un cadre innovant et complet d’affectation dynamique du trafic pour les modèles multirégionaux basés sur le MFD est proposé. Ce cadre est divisé en plusieurs étapes et repose sur les connexions entre la ville et les réseaux régionaux. Dans un premier temps, des méthodes systématiques de mise à l’échelle sont proposées pour rassembler les voies régionales. Dans un deuxième temps, quatre méthodes sont discutées pour calculer les distributions de longueurs de parcours pour caractériser ces chemins régionaux. Dans la troisième étape, un modèle de chargement de réseau qui considère les distributions de longueurs de parcours explicitement calculées et l’évolution des vitesses moyennes régionales est proposé. Enfin, ce cadre d'affectation dynamique du trafic est étendu pour prendre en compte les usager qui ont une aversion au regret ou une rationalité imparfaite. Cette thèse s'inscrit dans le cadre d'un projet européen ERC intitulé MAGnUM: approche de modélisation du trafic multi-échelle et multimodal pour la gestion durable de la mobilité urbaine. / The population growth in urban areas represents an issue for transportation planning. This overload of urban transportation systems, leading to significant monetary costs and environmental issues. Policy measures are then needed to decrease the level of congestion and increase the efficiency of transportation systems. In a short term, traffic simulators might be a powerful tool that helps to design innovative solution. But, the classical traffic simulators are computationally demanding for large scale applications. Moreover, the set up of the simulation scenario is complex. An aggregated traffic modeling might be a good solution (Daganzo, 2007; Geroliminis and Daganzo, 2008). The city network is divided into regions where a well-defined Macroscopic Fundamental Diagram (MFD) regulates the traffic conditions inside each one. The MFD relates the average traffic flow and density inside a region. Despite the idea of aggregating the city network is simple, it brings several challenges that have not yet been addressed. Up to today, only Yildirimoglu and Geroliminis (2014) proposed a dynamic traffic assignment framework for regional networks and MFD models. This framework is based on the simple Multinomial Logit model and does not explicitly deal with trip length distributions. Moreover, their framework does not consider that users are different from each other and have different purposes and preferences for their travels. The goal of this PhD dissertation is to twofold. First, the influence of the users behavior on the global network performance is investigated. This analysis focus on the network mean speed and its internal and outflow capacities, comparing different models that account for different kinds of users behavior against the Deterministic and Stochastic User Equilibrium. Second, an innovative and complete dynamic traffic assignment framework for multi-regional MFD-based models is proposed. This framework is divided into several milestones and is based on the connections between the city and regional networks. In a first step, systematic scaling-up methods are proposed to gather the regional paths. In a second step, four methods are discussed to calculate the distributions of trip lengths that characterize these regional paths. In the third step, a network loading model that considers distributions of trip lengths that are explicitly calculated and the evolution of the regional mean speeds is proposed. Finally, this dynamic traffic assignment framework is extended to account for bounded rational and regret-averse users. This PhD is part of a European ERC project entitled MAGnUM: Multiscale and Multimodal Traffic Modeling Approach for Sustainable Management of Urban Mobility.
108

Définition d'une infrastructure de sécurité et de mobilité pour les réseaux pair-à-pair recouvrants / Definition of a security and mobility infrastructure for peer-to-peer overlay networks

Daouda, Ahmat mahamat 29 September 2014 (has links)
La sécurisation inhérente aux échanges dans les environnements dynamiques et distribués, dépourvus d’une coordination centrale et dont la topologie change perpétuellement, est un défi majeur. Dans le cadre de cette thèse, on se propose en effet de définir une infrastructure de sécurité adaptée aux contraintes des systèmes P2P actuels. Le premier volet de nos travaux consiste à proposer un intergiciel, appelé SEMOS, qui gère des sessions sécurisées et mobiles. SEMOS permet en effet de maintenir les sessions sécurisées actives et ce, même lorsque la configuration réseau change ou un dysfonctionnement se produit. Cette faculté d’itinérance est rendue possible par la définition d’un nouveau mécanisme de découplage afin de cloisonner l’espace d’adressage de l’espace de nommage ; le nouvel espace de nommage repose alors sur les tables de hachage distribuées (DHT). Le deuxième volet définit un mécanisme distribué et générique d’échange de clés adapté à l’architecture P2P. Basé sur les chemins disjoints et l’échange de bout en bout, le procédé de gestion des clés proposé est constitué d’une combinaison du protocole Diffie-Hellman et du schéma à seuil(k, n) de Shamir. D’une part, l’utilisation des chemins disjoints dans le routage des sous-clés compense l’absence de l’authentification certifiée, par une tierce partie, consubstantielle au protocole Diffie-Hellman et réduit, dans la foulée, sa vulnérabilité aux attaques par interception. D’autre part, l’extension de l’algorithme Diffie-Hellman par ajout du schéma à seuil (k, n) renforce substantiellement sa robustesse notamment dans la segmentation des clés et/ou en cas de défaillances accidentelles ou délibérées dans le routage des sous-clés. Enfin, les sessions sécurisées mobiles sont évaluées dans un réseau virtuel et mobile et la gestion des clés est simulée dans un environnement générant des topologies P2P aléatoires. / Securing communications in distributed dynamic environments, that lack a central coordination point and whose topology changes constantly, is a major challenge.We tackle this challenge of today’s P2P systems. In this thesis, we propose to define a security infrastructure that is suitable to the constraints and issues of P2P systems. The first part of this document presents the design of SEMOS, our middleware solution for managing and securing mobile sessions. SEMOS ensures that communication sessions are secure and remain active despite the possible disconnections that can occur when network configurations change or a malfunction arises. This roaming capability is implemented via the definition of a new addressing space in order to split up addresses for network entities with their names ; the new naming space is then based on distributed hash tables(DHT). The second part of the document presents a generic and distributed mechanism for a key exchange method befitting to P2P architectures. Building on disjoint paths andend-to-end exchange, the proposed key management protocol consists of a combination of the Diffie-Hellman algorithm and the Shamir’s (k, n) threshold scheme. On the onehand, the use of disjoint paths to route subkeys offsets the absence of the third party’s certified consubstantial to Diffie-Hellman and reduces, at the same time, its vulnerability to interception attacks. On the other hand, the extension of the Diffie-Hellman algorithm by adding the threshold (k, n) scheme substantially increases its robustness, in particular in key splitting and / or in the case of accidental or intentional subkeys routing failures. Finally, we rely on a virtual mobile network to assess the setup of secure mobile sessions.The key management mechanism is then evaluated in an environment with randomly generated P2P topologies.
109

Etude des Langasites magnétiques:<br />De la frustration magnétique au multiferroïsme

Marty, Karol 18 November 2008 (has links) (PDF)
Cette thèse présente les résultats des synthèses et études structurales et physiques de Langasites à réseaux magnétiques. D'une part, concernant le composé Pr3Ga5SiO14 à réseau magnétique topologiquement équivalent au réseau kagomé, il a été montré par des calculs de champ cristallin que les propriétés telles que la chaleur spécifique, les niveaux d'énergie mesurés en diffusion inélastique des neutrons, et la susceptibilité magnétique (changement d'anisotropie à 130K) sont gouvernées par une physique d'ions libres sans interactions. L'origine du signal magnétique dynamique observé en echo de spin reste encore inexpliquée. L'étude de la Langasite à réseau kagomé de Sm est rendue complexe par la forte absorption des neutrons par les noyaux de samarium et à la proximité du multiplet fondamental avec les niveaux excités. D'autre part, il a été montré que les composés A3BFe3D2O14 (A=Ba,Sr,Ca ; B=Nb,Ta,Sb ; D=Si,Ge) à réseau triangulaire de triangles de cations Fe3+ s'ordonnent magnétiquement à 35K pour les composés au Sb, 26K sinon, engendrant une structure à moments magnétiques dans le plan triangulaire, orientés à 120° dans chaque triangle, et modulée hélicoïdalement dans la direction perpendiculaire. Des calculs de champ moyen ont montré que la structure cristallographique chirale entraînant une torsion des chemins d'échange implique la corrélation directe entre chiralité et hélicité magnétiques. La diffraction de neutrons polarisés sur monocristal montre en plus que la structure est magnétiquement ferrochirale et mono domaine en hélicité. Des mesures d'évolution thermique de la constante diélectrique indiquent un effet magnétoélectrique à la transition magnétique.
110

Interroger RDF(S) avec des expressions régulières

Alkhateeb, Faisal 30 June 2008 (has links) (PDF)
RDF est un langage de représentation des connaissances dédié à l'annotation des ressources dans le Web Sémantique. Bien que RDF peut être lui-même utilisé comme un langage de requêtes pour interroger une base de connaissances RDF (utilisant la conséquence RDF), la nécessité d'ajouter plus d'expressivité dans les requêtes a conduit à définir le langage de requêtes SPARQL. Les requêtes SPARQL sont définies à partir des patrons de graphes qui sont fondamentalement des graphes RDF avec des variables. Les requêtes SPARQL restent limitées car elles ne permettent pas d'exprimer des requêtes avec une séquence non-bornée de relations (par exemple, Existe-t-il un itinéraire d'une ville A à une ville B qui n'utilise que les trains ou les bus?"). Nous montrons qu'il est possible d'étendre la syntaxe et la sémantique de RDF, définissant le langage PRDF (pour Path RDF) afin que SPARQL puisse surmonter cette limitation en remplaçant simplement les patrons de graphes basiques par des graphes PRDF. Nous étendons aussi PRDF à CPRDF (pour Constrained Path RDF) permettant d'exprimer des contraintes sur les sommets des chemins traversés (par exemple, "En outre, l'une des correspondances doit fournir une connexion sans fil."). Nous avons fourni des algorithmes corrects et complets pour répondre aux requêtes (la requête est un graphe PRDF ou CPRDF, la base de connaissances est un graphe RDF) basés sur un homomorphisme particulier, ainsi qu'une analyse détaillée de la complexité. Enfin, nous utilisons les graphes PRDF ou CPRDF pour généraliser les requêtes SPARQL, définissant les extensions PSPARQL et CPSPARQL, et fournissons des tests expérimentaux en utilisant une implémentation complète de ces deux langages.

Page generated in 0.0487 seconds