• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 139
  • 86
  • 13
  • 2
  • Tagged with
  • 236
  • 90
  • 55
  • 52
  • 41
  • 37
  • 32
  • 31
  • 28
  • 25
  • 24
  • 24
  • 20
  • 20
  • 20
  • 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.
121

Analyse du flot de contrôle multivariante : application à la détection de comportements des programmes / Multivariant control flow analysis : application to behavior detection in programs

Laouadi, Rabah 14 December 2016 (has links)
Sans exécuter une application, est-il possible de prévoir quelle est la méthode cible d’un site d’appel ? Est-il possible de savoir quels sont les types et les valeurs qu’une expression peut contenir ? Est-il possible de déterminer de manière exhaustive l’ensemble de comportements qu’une application peut effectuer ? Dans les trois cas, la réponse est oui, à condition d’accepter une certaine approximation. Il existe une classe d’algorithmes − peu connus à l’extérieur du cercle académique − qui analysent et simulent un programme pour calculer de manière conservatrice l’ensemble des informations qui peuvent être véhiculées dans une expression.Dans cette thèse, nous présentons ces algorithmes appelés CFAs (acronyme de Control Flow Analysis), plus précisément l’algorithme multivariant k-l-CFA. Nous combinons l’algorithme k-l-CFA avec l’analyse de taches (taint analysis),qui consiste à suivre une donnée sensible dans le flot de contrôle, afin de déterminer si elle atteint un puits (un flot sortant du programme). Cet algorithme, en combinaison avec l’interprétation abstraite pour les valeurs, a pour objectif de calculer de manière aussi exhaustive que possible l’ensemble des comportements d’une application. L’un des problèmes de cette approche est le nombre élevé de faux-positifs, qui impose un post-traitement humain. Il est donc essentiel de pouvoir augmenter la précision de l’analyse en augmentant k.k-l-CFA est notoirement connu comme étant très combinatoire, sa complexité étant exponentielle dans la valeur de k. La première contribution de cette thèse est de concevoir un modèle et une implémentation la plus efficace possible, en séparant soigneusement les parties statiques et dynamiques de l’analyse, pour permettre le passage à l’échelle. La seconde contribution de cette thèse est de proposer une nouvelle variante de CFA basée sur k-l-CFA, et appelée *-CFA, qui consiste à faire du paramètre k une propriété de chaque variante, de façon à ne l’augmenter que dans les contextes qui le justifient.Afin d’évaluer l’efficacité de notre implémentation de k-l-CFA, nous avons effectué une comparaison avec le framework Wala. Ensuite, nous validons l’analyse de taches et la détection de comportements avec le Benchmark DroidBench. Enfin, nous présentons les apports de l’algorithme *-CFA par rapport aux algorithmes standards de CFA dans le contexte d’analyse de taches et de détection de comportements. / Without executing an application, is it possible to predict the target method of a call site? Is it possible to know the types and values that an expression can contain? Is it possible to determine exhaustively the set of behaviors that an application can perform? In all three cases, the answer is yes, as long as a certain approximation is accepted.There is a class of algorithms - little known outside of academia - that can simulate and analyze a program to compute conservatively all information that can be conveyed in an expression. In this thesis, we present these algorithms called CFAs (Control flow analysis), and more specifically the multivariant k-l-CFA algorithm.We combine k-l-CFA algorithm with taint analysis, which consists in following tainted sensitive data inthe control flow to determine if it reaches a sink (an outgoing flow of the program).This combination with the integration of abstract interpretation for the values, aims to identify asexhaustively as possible all behaviors performed by an application.The problem with this approach is the high number of false positives, which requiresa human post-processing treatment.It is therefore essential to increase the accuracy of the analysis by increasing k.k-l-CFA is notoriously known as having a high combinatorial complexity, which is exponential commensurately with the value of k.The first contribution of this thesis is to design a model and most efficient implementationpossible, carefully separating the static and dynamic parts of the analysis, to allow scalability.The second contribution of this thesis is to propose a new CFA variant based on k-l-CFA algorithm -called *-CFA - , which consists in keeping locally for each variant the parameter k, and increasing this parameter in the contexts which justifies it.To evaluate the effectiveness of our implementation of k-l-CFA, we make a comparison with the Wala framework.Then, we do the same with the DroidBench benchmark to validate out taint analysis and behavior detection. Finally , we present the contributions of *-CFA algorithm compared to standard CFA algorithms in the context of taint analysis and behavior detection.
122

Reconfigurable hardware acceleration of CNNs on FPGA-based smart cameras / Architectures reconfigurables pour l’accélération des CNNs. Applications sur cameras intelligentes à base de FPGAs

Abdelouahab, Kamel 11 December 2018 (has links)
Les Réseaux de Neurones Convolutifs profonds (CNNs) ont connu un large succès au cours de la dernière décennie, devenant un standard de la vision par ordinateur. Ce succès s’est fait au détriment d’un large coût de calcul, où le déploiement des CNNs reste une tâche ardue surtout sous des contraintes de temps réel.Afin de rendre ce déploiement possible, la littérature exploite le parallélisme important de ces algorithmes, ce qui nécessite l’utilisation de plate-formes matérielles dédiées. Dans les environnements soumis à des contraintes de consommations énergétiques, tels que les nœuds des caméras intelligentes, les cœurs de traitement à base de FPGAs sont reconnus comme des solutions de choix pour accélérer les applications de vision par ordinateur. Ceci est d’autant plus vrai pour les CNNs, où les traitements se font naturellement sur un flot de données, rendant les architectures matérielles à base de FPGA d’autant plus pertinentes. Dans ce contexte, cette thèse aborde les problématiques liées à l’implémentation des CNNs sur FPGAs. En particulier, ces travaux visent à améliorer l’efficacité des implantations grâce à deux principales stratégies d’optimisation; la première explore le modèle et les paramètres des CNNs, tandis que la seconde se concentre sur les architectures matérielles adaptées au FPGA. / Deep Convolutional Neural Networks (CNNs) have become a de-facto standard in computer vision. This success came at the price of a high computational cost, making the implementation of CNNs, under real-time constraints, a challenging task.To address this challenge, the literature exploits the large amount of parallelism exhibited by these algorithms, motivating the use of dedicated hardware platforms. In power-constrained environments, such as smart camera nodes, FPGA-based processing cores are known to be adequate solutions in accelerating computer vision applications. This is especially true for CNN workloads, which have a streaming nature that suits well to reconfigurable hardware architectures.In this context, the following thesis addresses the problems of CNN mapping on FPGAs. In Particular, it aims at improving the efficiency of CNN implementations through two main optimization strategies; The first one focuses on the CNN model and parameters while the second one considers the hardware architecture and the fine-grain building blocks.
123

Théorèmes d’existence en temps court du flot de Ricci pour des variétés non-complètes, non-éffondrées, à courbure minorée. / Short-time existence theorems for the Ricci flow of non-complete, non-collapsed manifold with curvature bounded from below.

Hochard, Raphaël 22 January 2019 (has links)
Le flot de Ricci est une équation aux dérivées partielles qui régit l’évolution d’une métrique riemannienne dépendant d’un paramètre de temps sur une variété différentielle. D’abord introduit et étudié par R. Hamilton, il est à l’origine de la solution de la conjecture de géométrisation des variétés compactes de dimension 3 par G. Perelman en 2001. La théorie classique concernant l’existence en temps court des solutions, due à Hamilton et à Shi, garantit (en dimension quelconque) l’existence d’un flot soit sur une variété compacte, soit lorsque la métrique initiale est complète avec une borne sur la norme du tenseur de courbure. En l’absence de cette borne, on conjecture qu’on peut trouver, à partir de la dimension 3, des données initiales pour lesquelles il n’existe pas de solution. Dans cette thèse, on démontre des théorèmes d’existence en temps court du flot sous des hypothèses plus faibles qu’une borne sur la norme du tenseur de courbure. Pour cela, on introduit une construction générale qui, pour une métrique riemannienne g quelconque sur une variété M, pas nécessairement complète, permet de produire une solution de l’équation du flot sur un domaine ouvert D de l’espace-temps M * [0,T] qui contient la tranche de temps initiale, avec g pour donnée initiale. On montre ensuite que sous des hypothèses adaptées sur la métrique g, on contrôle la forme du domaine D. En particulier, lorsque la métrique g est complète, D contient un ensemble de la forme M * [0,t], avec t>0, ce qui revient à dire qu’il existe un flot au sens classique dont la donnée initiale est g. Les « hypothèses adaptées » qui conduisent à des théorèmes d’existence sont de trois types. Dans tout les cas, on suppose une minoration uniforme du volume des boules de rayon au plus 1, à quoi on ajoute : a) en dimension 3, une minoration du tenseur de Ricci, b) en dimension n, une minoration d’une notion de courbure dite « courbure isotrope I » ou bien c) en dimension n, une borne sur la norme du tenseur de Ricci et une hypothèse qui garantit la proximité au sens métrique des boules de rayon au plus 1 avec une boule de même rayon dans un espace métrique obtenu comme le produit cartésien d’un espace de dimension 3 et d’un facteur euclidien de dimension n-3. De plus, avec ces résultats d’existence viennent des estimations sur les propriétés de régularisation du flot quantifiées en fonction des hypothèses sur la donnée initiale. La possibilité ainsi offerte de régulariser, globalement ou localement, pour un temps et avec des estimations quantifiés, une métrique initiale a des conséquence sur les espaces métriques singuliers obtenus comme limites, pour la distance de Gromov-Hausdorff, de suites de variétés satisfaisant uniformément aux conditions a), b) ou c). En effet, des théorèmes de compacité classiques pour le flot de Ricci permettent d’extraire un flot limite, étant donnée une suite de métriques initiales satisfaisant uniformément à ces hypothèses, et possédant donc toutes un flot pour un temps contrôlé. Lorsque les métriques en question approchent, pour la topologie de Gromov-Hausdorff, un espace singulier, cette solution limite s’interprète comme un flot régularisant l’espace singulier en question, et son existence contraint la topologie de cet espace singulier. / The Ricci Flow is a partial differential equation governing the evolution of a Riemannian metric depending on a time parameter t on a differential manifold. It was first introduced and studied by R. Hamilton, and eventually led to the solution of the Geometrization conjecture for closed three-dimensional manifolds by G. Perelman in 2001. The classical short-time existence theory for the Ricci Flow, due to Hamilton and Shi, asserts, in any dimension, the existence of a flow starting from any initial metric when the underlying manifold in compact, or for any complete initial metric with a bound on the norm of the curvature tensor otherwise. In the absence of such a bound, though, the conjecture is that starting from dimension 3 one can find such initial data for which there is no solution. In this thesis, we prove short-time existence theorems under hypotheses weaker than a bound on the norm of the curvature tensor. To do this, we introduce a general construction which, for any Riemannian metric g (not necessarily complete) on a manifold M, allows us to produce a solution to the equation of the flow on an open domain D of the space-time M * [0,T] which contains the initial time slice, with g as an initial datum. We proceed to show that under suitable hypotheses on g, one can control the shape of the domain D, so that in particular, D contains a subset of the form M * [0,t] with t>0 if g is complete. By « suitable hypothesis », we mean one of the following. In any case, we assume a lower bound on the volume of balls of radius at most 1, plus a) in dimension 3, a lower bound on the Ricci tensor, b) in dimension n, a lower bound on the so-called « isotropic curvature I » or c) in dimension n, a bound on the norm of the Ricci tensor, as well as a hypothesis which garanties the metric proximity of every ball of radius at most $1$ with a ball of the same radius in a metric product between a three-dimensional metric space and a $n-3$ dimensional Euclidian factor. Moreover, with these existence results come estimates on the existence time and regularization properties of the flow, quantified in term of the hypotheses on the initial data. The possibility to regularize metrics, locally or globally, with such estimates has consequences in terms of the metric spaces obtained as limits, in the Gromov-Hausdorff topology, of sequences of manifolds uniformly satisfying a), b) or c). Indeed, the classical compactness theorems for the Ricci Flow allow for the extraction of a limit flow for any sequence of initial metrics uniformly satisfying the hypotheses and thus possessing a flow for a controlled amount of time. In the case when these metrics approach a singular space in the Gromov-Hausdorff topology, such a limit solution can be interpreted as a flow regularizing the singular limit space, the existence of which puts constraints on the topology of this space.
124

Géodésiques sur les surfaces hyperboliques et extérieurs des noeuds / Geodesics on hyperbolic surfaces and knot complements

Rodriguez Migueles, José Andrés 09 July 2018 (has links)
Grâce au théorème d'hyperbolisation, nous savons précisément quand une variété de dimension trois compacte admet une métrique hyperbolique. Par ailleurs, d'après le théorème de rigidité de Mostow, cette structure géométrique est unique. Cependant, trouver des liens pratiques entre la géométrie et la topologie est un problème difficile. La plupart des résultats décrits dans cette thèse visent à concrétiser ces liens. Toute géodésique fermée orientée dans une surface hyperbolique admet un relèvement canonique dans le fibré tangent unitaire de la surface, et on peut donc le voir comme un nœud dans une variété de dimension trois. Les extérieurs des nœuds ainsi construits admettent une structure hyperbolique. Cette thèse a pour objet d'estimer le volume des extérieurs des relèvements canoniques. Pour toute surface hyperbolique on construit une suite de géodésique sur la surface, tel que les extérieurs associées ne sont pas homéomorphes entre elles et dont la suite des volumes respectifs est bornée. Aussi on minore le volume de l'extérieur à l'aide d'un réel explicite qui décrit une relation entre la géodésique et une décomposition en pantalons de la surface. Ceci donne une méthode pour construire une suite de géodésiques dont les volumes des extérieurs associées sont minorées en termes de la longueur de la géodésique correspondant. Dans le cas particulier de la surface modulaire, on obtient des estimations du volume de l'extérieur en termes de la période de la fraction continue associée à la géodésique. / Due to the Hyperbolization Theorem, we know precisely when does a given compact three dimensional manifold admits a hyperbolic metric. Moreover, by the Mostow's Rigidity Theorem this geometric structure is unique. However, finding effective and computable connections between the geometry and topology is a challenging problem. Most of the results on this thesis fit into the theme of making the connections more concrete. To every oriented closed geodesic on a hyperbolic surface has a canonical lift on the unit tangent bundle of the surface, and we can see it as a knot in a three dimensional manifold. The knot complement given in this way has a hyperbolic structure. The objective of this thesis is to estimate the volume of the canonical lift complement. For every hyperbolic surface we give a sequence of geodesics on the surface, such that the knot complements associated are not homeomorphic with each other and the sequence of the corresponding volumes is bounded. We also give a lower bound of the volume of the canonical lift complement by an explicit real number which describes a relation between the geodesic and a pants decomposition of the surface. This give us a method to construct a sequence of geodesics where the volume of the associated knot complements is bounded from below in terms of the length of the corresponding geodesic. For the particular case of the modular surface, we obtain estimations for the volume of the canonical lift complement in terms of the period of the continuous fraction expansion of the corresponding geodesic.
125

Operations management at container terminals using advanced information technologies / Gestion des opérations dans les terminaux à conteneurs à l’aide de technologies de l’information avancées

Zehendner, Elisabeth 23 October 2013 (has links)
Les terminaux à conteneurs utilisent les nouvelles technologies (EDI, RFID et GPS) pour échanger des données avec leurs partenaires, pour localiser les conteneurs et leurs équipements dans le terminal, et pour automatiser des tâches. Dans cette thèse, nous montrons comment ces informations peuvent être utilisées dans la gestion des opérations.La première partie utilise les informations sur les volumes annoncés pour affecter des ressources internes dans le but de minimiser le retard global au terminal. Nous représentons cette problématique à l'aide d'un problème de flot que nous implémentons comme programme linéaire mixte. Une étude de cas est réalisée pour un terminal du Grand Port Maritime de Marseille. En outre, nous combinons le problème d'affectation de ressources avec le dimensionnement d'un système de rendez-vous. Ceci permet de minimiser le retard global.La deuxième partie utilise les informations sur les conteneurs à retirer et leurs emplacements pour optimiser le déstockage. Le but est de retirer tous les conteneurs d'une rangée en minimisant le nombre de repositionnements parasites. Nous améliorons un modèle binaire, proposons une approche exacte de type branch and price - avec un sous-problème binaire et deux variantes d'un sous-problème énumératif - et en dérivons une approche heuristique - avec un sous-problème heuristique. L'approche exacte ne résout que les petites instances ; l'approche heuristique obtient des résultats satisfaisants mais devra être améliorée. Nous nous intéressons aussi à la version dynamique du problème où les informations sur les conteneurs à retirer arrivent petit à petit et comparons différentes stratégies de repositionnement. / Container terminals use intelligent freight technologies (e.g., EDI, RFID and GPS) to exchange data with their partners, to locate containers and equipment within the terminal, and to automate tasks. This thesis illustrated, via two examples, how this data may be used to optimize operations at the terminal.The first part uses information on announced volumes to allocate internal handling equipment. The objective is to minimize overall delays at the terminal. The problem is represented as a network flow problem and implemented as a linear mixed integer programming model. A case study for a terminal at the Grand Port Maritime de Marseille is carried out. We also showed that combining the allocation problem with the dimensioning of a truck appointment system may reduce overall delays at the terminal. The second part uses information on announced container retrievals and container positions to improve retrieval operations. The objective is to retrieve containers from a bay in a given sequence with a minimum number of parasite relocations. We improve an existing binary programming model and introduce an exact branch and price approach - with a binary subproblem and two variants of an enumerative subproblem - and a heuristic branch and price approach - with a heuristic subproblem. The exact approach solves only small instances; the heuristic approach performs well on several instances, but should be improved further. We also deal with a dynamic version of the problem where the retrieval order becomes revealed over time and evaluate different relocation strategies for this case.
126

Autour de l'entropie des difféomorphismes de variétés non compactes / On the entropy of diffeomorphisms of non compact manifolds

Riquelme, Felipe 23 June 2016 (has links)
Dans ce mémoire, nous étudions l'entropie des systèmes dynamiques différentiables définis sur des variétés riemanniennes non compactes. Dans un premier temps, nous éclaircissons les liens entre différentes notions d'entropie dans ce cadre non compact. Ensuite, nous utilisons ces premiers résultats pour y étudier la validité de l'inégalité de Ruelle. Rappelons ici que cette inégalité, pour des difféomorphismes de variétés riemanniennes compactes, nous dit que l'entropie est majorée par la somme des exposants de Lyapounov positifs. Nous montrons que, lorsque nous enlevons l'hypothèse de compacité, l'inégalité de Ruelle n'est pas toujours satisfaite. Nous obtenons ce résultat en construisant une famille explicite de contre-exemples. En revanche, nous montrons, dans le cas d'un difféomorphisme de comportement asymptotique linéaire, ou du flot géodésique sur le fibré unitaire tangent d'une variété riemannienne à courbure négative, que l'inégalité de Ruelle est toujours satisfaite. Pour finir, nous nous intéressons au problème de la perte possible de masse d'une suite de mesures de probabilité d'une variété riemannienne non compacte. Dans le cas du flot géodésique, nous montrons que l'entropie permet de contrôler la masse d'une limite vague de mesures de probabilité invariantes par le flot pour une classe particulière de variétés géométriquement finies. Plus précisément, nous montrons qu'une suite de mesures d'entropie assez grande ne peut pas perdre la totalité de sa masse. De plus, le minorant optimal de l'entropie dans ce résultat est lié à la géométrie de la partie non compacte de la variété: c'est l'exposant critique maximal des sous-groupes paraboliques du groupe fondamental. / In this work, we study the entropy of smooth dynamical systems defined on non compact Riemannian manifolds. First, we clarify some relations between different notions of entropy in this setting. Second, we use these first results in order to study the validity of Ruelle's inequality. This inequality, for diffeomorphisms defined on compact Riemannian manifolds, says that the measure-theoretic entropy is bounded from above by the sum of the positive Lyapunov exponents. We show that without the compactness assumption, Ruelle's inequality is not always satisfied. We obtain this result by constructing an explicit family of counterexamples. On the other hand, we prove, in the case of diffeomorphisms with linear asymptotic behavior, or that one of the geodesic flow on the unit tangent bundle of a Riemannian manifold with negative curvature, that Ruelle's inequality is always satisfied. Finally, we are interested in the problem of the possible escape of mass of a sequence of probability measures on a non compact Riemannian manifold. In the case of the geodesic flow, we show that the entropy allows to control the mass of a weak$^\ast$-limit of a sequence of probability measures, on the unit tangent bundle of a particular class of geometrically finite manifolds, which are also invariant by the flow. More precisely, we show that a sequence of measures with large enough entropy cannot lose the whole mass. Moreover, the optimal lower bound of the entropy in this result is related to the geometry of the non compact part of the manifold: it is the maximal critical exponent of the parabolic subgroups of the fundamental group.
127

Implémentation d'algorithmes de reconnaissance biométrique par l'iris sur des architectures dédiées / Implementing biometric iris recognition algorithms on dedicated architectures

Hentati, Raïda 02 November 2013 (has links)
Dans cette thèse, nous avons adapté trois versions d'une chaine d'algorithmes de reconnaissance biométrique par l’iris appelés OSIRIS V2, V3, V4 qui correspondent à différentes implémentations de l’approche de J. Daugman pour les besoins d’une implémentation logicielle / matérielle. Les résultats expérimentaux sur la base de données ICE2005 montrent que OSIRIS_V4 est le système le plus fiable alors qu’OSIRIS_V2 est le plus rapide. Nous avons proposé une mesure de qualité de l’image segmentée pour optimiser en terme de compromis coût / performance un système de référence basé sur OSIRIS V2 et V4. Nous nous sommes ensuite intéressés à l’implémentation de ces algorithmes sur des plateformes reconfigurables. Les résultats expérimentaux montrent que l’implémentation matériel / logiciel est plus rapide que l’implémentation purement logicielle. Nous proposons aussi une nouvelle méthode pour le partitionnement matériel / logiciel de l’application. Nous avons utilisé la programmation linéaire pour trouver la partition optimale pour les différentes tâches prenant en compte les trois contraintes : la surface occupée, le temps d’exécution et la consommation d’énergie / In this thesis, we adapted three versions of a chain of algorithms for biometric iris recognition called OSIRIS V2, V3, V4, which correspond to different implementations of J. Daugman approach. The experimental results on the database ICE2005 show that OSIRIS_V4 is the most reliable when OSIRIS_V2 is the fastest. We proposed a measure of quality of the segmented image in order to optimize in terms of cost / performance compromise a reference system based on OSIRIS V2 and V4. We focused on the implementation of these algorithms on reconfigurable platforms. The experimental results show that the hardware / software implementation is faster than the software implementation. We propose a new method for partitioning hardware / software application. We used linear programming to find the optimal partition for different tasks taking into account the three constraints : the occupied area, execution time and energy consumption
128

Ordonnancement d'applications à flux de données pour les MPSoC embarqués hybrides comprenant des unités de calcul programmables et des accélérateurs matériels / Scheduling of dynamic streaming applications on hybrid embedded MPSoCs comprising programmable computing units and hardware accelerators

Arras, Paul-Antoine 03 February 2015 (has links)
Bien que de nombreux appareils numériques soient aujourd'hui capables de lire des contenus vidéo en temps réel et d'offrir une restitution de grande qualité, le décodage vidéo dans les systèmes embarqués n'en est pas pour autant devenu une opération anodine. En effet, les codecs récents tels que H.264 et HEVC sont d'une complexité telle que le recours à des architectures mixtes logiciel/matériel est presque incontournable. Or les plateformes de ce type sont notoirement difficiles à programmer efficacement. Cette thèse relève le défi du développement d'applications à flux de données pour les cibles embarquées hybrides et de leur exécution efficace, et propose plusieurs contributions. La première est une extension des heuristiques d'ordonnancement de liste pour tenir compte des contraintes mémorielles. La seconde est un modèle d'exécution à flot de données compatible avec la plupart des modèles existants et avec une large classe de plateformes matérielles, ainsi qu'un ordonnanceur dynamique. Enfin, de nombreux développements ont été menés sur une architecture réelle de STMicroelectronics pour démontrer la faisabilité de l'approche. / Although numerous electronic devices are nowadays able to play video contents in real time and offer high-quality reproduction, video decoding in embedded systems has not become a trivial process yet. As a mater of fact, recent codecs such as H.264 and HEVC exhibit such a complexity that resorting to mixed sofware-hardware architecture is almost unavoidable. However, programming efficiently this kind of platforms is well-known to be tricky. This thesis addresses the issue of developing streaming applications for hybrid embedded targets and executing them efficiently, and proposes several contributions. The first one is an extension of the classical list-scheduling heuristics to take memory constraints into account. Te second one is a datafow execution model compatible with most existing models and with a large set of hardware platforms, as well as a dynamic scheduler. Lastly, numerous developments have been carried out on a real-world architecture from STMicroelectronics so as to demonstrate the feasibility of the approach.
129

Etude de relaxations en traitement d'images. Application à la segmentation et autres problèmes multi-étiquettes. / Relaxations in image processing, application to segmentation and others multi-label problems

Yildizoglu, Romain 08 July 2014 (has links)
Cette thèse étudie différentes relaxations pour minimiser des fonctionnelles non convexes qui apparaissent en traitement d’images. Des problèmes comme la segmentation d’image peuvent en effet s’écrire comme un problème de minimisation d’une certaine fonctionnelle, le minimiseur représentant la segmentation recherchée. Différentes méthodes ont été proposées pour trouver des minima locaux ou globaux de la fonctionnelle non convexe du modèle de Mumford-Shah constant par morceaux à deux phases. Certaines approches utilisent une relaxation convexe qui permet d’obtenir des minima globaux de la fonctionnelle non convexe. On rappelle et compare certaines de ces méthodes et on propose un nouveau modèle par bande étroite, qui permet d’obtenir des minima locaux tout en utilisant des algorithmes robustes qui proviennent de l’optimisation convexe. Ensuite, on construit une relaxation convexe d’un modèle de segmentation à deux phases qui repose sur la comparaison entre deux histogrammes donnés et les histogrammes estimés globalement sur les deux régions de la segmentation. Des relaxations pour des problèmes multi-étiquettes à plusieurs dimensions comme le flot optique sont également étudiées. On propose une relaxation convexe avec un algorithme itératif qui ne comprend que des projections qui se calculent exactement, ainsi qu’un nouvel algorithme pour une relaxation convexe sur chaque variable mais non convexe globalement. On étudie la manière d’estimer une solution du problème non convexe original à partir d’une solution d’un problème relaxé en comparant des méthodes existantes avec des nouvelles / In this thesis we study different relaxations of non-convex functionals that can be found in image processing. Some problems, such as image segmentation, can indeed be written as the minimization of a functional. The minimizer of the functional represents the segmentation. Different methods have been proposed in order to find local or global minima of the non-convex functional of the two-phase piecewise constant Mumford-Shah model. With a convex relaxation of this model we can find a global minimum of the nonconvex functional. We present and compare some of these methods and we propose a new model with a narrow band. This model finds local minima while using robust convex optimization algorithms. Then a convex relaxation of a two-phase segmentation model is built that compares two given histograms with those of the two segmented regions. We also study some relaxations of high-dimension multi-label problems such as optical flow computation. A convex relaxation with a new algorithm is proposed. The algorithm is iterative with exact projections. A new algorithm is given for a relaxationthat is convex in each variable but that is not convex globally. We study the problem of constructing a solution of the original non-convex problem with a solution of the relaxed problem. We compare existing methods with new ones.
130

Gestion de flot de conteneurs et de véhicules dans un réseau multimodal / Managing the Flow of Containers and Vehiculs in a Multimodal Network.

Hemmidy, Mohamed 06 December 2018 (has links)
Le but de ce travail est l'étude du problème de gestion de flot de conteneurs et de véhicules dans un réseau multimodal. Nous proposons une formulation du problème sous forme d'un modèle mathématique réaliste qui prend en considération les différents aspects liés au transport et au stockage des conteneurs et dont l'objectif est de minimiser le coût global de transport. Pour la résolution des grandes instances une approche de résolution bi-niveaux est proposée. Dans un premier niveau nous construisons un modèle agrégé plus facile à résoudre pour en extraire les décisions liées aux déplacements des trains et des barges ainsi qu'une borne duale de notre problème de base. Ces informations sont utilisées dans un deuxième niveau pour avoir des solutions de bonne qualité de notre problème par rapport aux solutions données par CPLEX en résolvant directement le modèle de base. Des résultats numériques sur des instances générées aléatoirement sont présentés et ils prouvent l'intérêt de l'approche de résolution proposée dans cette thèse. / The aim of this work is the study of the problem of managing the flow of containers and vehicles in a multimodal network. We propose a formulation of the problem under the form of a realistic mathematical model that takes into account the different aspects related to container transport and storage and whose objective is to minimize the overall cost of transport. For large-scale resolution, a two-level resolution approach is proposed. In a first level we build an aggregated model easier to solve to extract the decisions related to the movements of trains and barges as well as a dual terminal of our basic problem. This information is used in a second level to have good quality solutions of our problem compared to the solutions given by CPLEX by directly solving the basic model. Numerical results on randomly generated instances are presented and prove the value of the proposed resolution approach.

Page generated in 0.0493 seconds