6 research outputs found

    Interopérabilité des technologies de communication dans les réseaux véhiculaires dans la ville intelligente

    No full text
    Vehicular networks are dynamic wireless networks. The vehicles that make up this network can be equipped with different communication technologies. Information exchanges can therefore take place on one or more of these technologies. In this second possibility, the choice of the communication technology influences the available throughput, especially when the communication technology is shared between several users.In this thesis, we study load balancing to maximize throughput. We propose different algorithmic approaches to optimize load balancing through the choice of communication technologies. For each proposed approach, we study its algorithmic complexity and provide time and performance guarantees. The problem is first modeled with graph theory and formalized. The analysis in terms of complexity shows the existence or non-existence of a solution that is both fast (in polynomial time with respect to the size of the input) and exact (from "Combinatorial optimization: algorithms and complexity", by A.Papadimitriou, H. Christos dating from 1998). Therefore, the fast solutions proposed in this thesis are either associated with non-exact (or approximate) results, or associated with simplifying scenario constraints.The proposed algorithmic approaches are initially based on a supervision infrastructure and are therefore centralized. The insufficient performances observed with this first approach led us to propose a completely distributed algorithm, which proved to be much more efficient. Its performance was improved by taking into account the stability of wireless links.Un réseau véhiculaire est un réseau sans fil dynamique. Les véhicules composant ce réseau peuvent être équipés de différentes technologies de communication. Les échanges d'information peuvent donc avoir lieu avec une ou plusieurs de ces technologies. Dans cette seconde possibilité, le choix de la technologie de communication influe sur le débit disponible.Dans cette thèse, nous étudions l'équilibrage des charges afin de maximiser le débit. Nous proposons différentes approches algorithmiques pour optimiser la répartition des charges par le choix des technologies de communication. Le problème est d'abord modélisé avec la théorie des graphes et formalisé. L'analyse en terme de complexité montre l'existence ou l'inexistence de solution à la fois rapide (en temps polynomial par rapport à la taille de l'entrée) et exacte (D'après "Combinatorial optimization : algorithms and complexity", de A.Papadimitriou, H. Christos datant de 1998). De ce fait, les solutions rapides proposées dans cette thèse sont soit associées à des résultats non exactes (ou approchés), soit associées à des contraintes de scénarios simplificatrices.Les approches algorithmiques proposées s'appuient dans un premier temps sur une infrastructure de supervision et sont donc centralisées. Les performances insuffisantes observées avec cette première approche nous ont dans un second temps conduit à proposer un algorithme complètement distribué, qui s'est montré bien plus performant. Les performances ont été améliorées dans une dernière approche par la prise en compte de la stabilité des liens sans fil

    SEME Report - Scenario Generation for Autonomous Vehicles

    No full text
    In the context of autonomous driving, a scenario is described by a set of parameters of the autonomous vehicle and its environment, for example: fast lane, high speed, right turn, sun etc.. The work of the experts allowed to identify parameters that can constitute scenarios. The objective of the proposed topic is to develop a mathematical method to generate the most relevant 1000 scenarios obeying multiple necessities. A scenario is a set of parameters obeying to certain needs. These necessities have been defined, including logical rules between parameters (e.g. a sunny day and a cloudy weather cannot coexist in the same scenario), or even the elaboration of weightings from two parameters (criticality and probability). Generating scenarios without prior work leads to a combinatorial explosion of solutions. The objective of our research work is to use mathematical tools to provide a set of relevant solutions

    Véhicules et Injustice...Quand l’Anarchie renverse le pouvoir local: Présentation d'un algorithme distribué, convergeant, équitable et efficace pour VANETs.

    No full text
    Les réseaux véhiculaires ad hoc (VANETs) désignent des réseaux composés de véhicules qui communiquent via des technologies de communication hétérogènes dans des conditions de grande mobilité. Le choix de la technologie de communication et le choix du chemin se révèlent primordiaux pour des communications multisauts. L'objectif choisi dans ce papier est de maximiser la quantité d'informationéchangéeinformation´informationéchangée. L'algorithme distribué multiflots asynchrone proposé permetàpermet`permetà la fois la sélection de la technologie de communication et du noeud voisin (routage). Sa modélisation sous la forme d'un jeu de congestion non-coopératif permet de prouver sa convergence vers unéquilibreun´unéquilibre de Nash. Ses propriétés d'´ equité et d'efficacité sont finalement démontrées grâcè a l'optimum de Pareto et au prix de l'anarchie

    Producing Genomic Sequences after Genome Scaffolding with Ambiguous Paths: Complexity, Approximation and Lower Bounds

    No full text
    International audienceScaffolding is the final step in assembling Next Generation Sequencing data, in which pre-assembled contiguous regions ("contigs") are oriented and ordered using information that links them (for example, mapping of paired-end reads). As the genome of some species is highly repetitive, we allow placing some contigs multiple times, thereby generalizing established computational models for this problem. We study the subsequent problems induced by the translation of solutions of the model back to actual sequences, proposing models and analyzing the complexity of the resulting computational problems. We find both polynomialtime and N P-hard special cases like planarity or bounded degree. Finally, we propose two polynomial-time approximation algorithms according to cut/weight score

    New Results About the Linearization of Scaffolds Sharing Repeated Contigs

    No full text
    International audienceSolutions to genome scaffolding problems can be represented as paths and cycles in a "solution graph". However, when working with repetitions, such solution graphs may contain branchings and, thus, they may not be uniquely convertible into sequences. Having introduced various ways of extracting the unique parts of such solutions, we extend previously known NP-hardness results to the case that the solution graph is planar, bipartite, and subcubic, and show that there is no PTAS in this case
    corecore