Dissertations / Theses: 'Chemin de données'

1

Tang, Zhao Hui. "Optimisation de requêtes avec l'expression de chemin pour les bases de données orientées objets." Versailles-St Quentin en Yvelines, 1996. http://www.theses.fr/1996VERS0009.

Full text

Abstract:

Bien que beaucoup de problèmes à résoudre dans un système de bases de données objet sont similaires à ceux existant dans un système relationnel, il y a aussi plusieurs problèmes qui sont uniques. En particulier, chaque objet a un identifiant unique (oid) qui peut être utilisé pour référencer un autre objet. Cela fournit l'aspect navigation de sgbdo. Une requête objet peut inclure une expression de chemin pour la traversée de plusieurs collections. Le problème d'optimiser l'expression de chemin ressemble à celui du traitement de la jointure en système relationnel, mais il est plus complexe dans les systèmes objets. Cette thèse propose quatre approches pour aborder ce problème. D'abord, elle compare les performances de différentes méthodes de traversée de chemin, y compris la navigation, la jointure en avant ou en arrière, et la jointure par valeur, etc. , dans différentes situations. Elle propose une règle heuristique pour choisir éventuellement un opérateur naire. La deuxième partie de la thèse propose deux nouveaux opérateurs algébriques de navigation pour évaluer des expressions de chemin linéaires et en étoiles. Différentes stratégies de navigation sont étudiées. La troisième partie de la thèse introduit une adaptation de l'algorithme génétique pour explorer l'espace de recherche de plan d'exécution génère par une expression de chemin. Différents algorithmes combinatoires sont comparés. Enfin, cette thèse propose une méthode pour calibrer les bases de données objets en utilisant un modèle de coût générique, en particulier pour déduire le coût des traversées de chemins

APA, Harvard, Vancouver, ISO, and other styles

2

Roudel, Nicolas. "SEEPROC : un modèle de processeur à chemin de données reconfigurable pour le traitement d'images embarqué." Phd thesis, Université Blaise Pascal - Clermont-Ferrand II, 2012. http://tel.archives-ouvertes.fr/tel-00864180.

Full text

Abstract:

Les travaux présentés dans ce manuscrit proposent une architecture de processeur à chemin de données reconfigurable (PCDR) dédiée aux traitements d'images bas niveau. Afin de répondre aux exigences de ce domaine de traitements, le processeur, baptisé SeeProc et basé sur une architecture RISC, intègre dans son chemin de données des unités de calcul spécifiquement dédiées au traitement de données pixeliques sous forme matricielle. Ces unités peuvent être configurées en nombre et en fonctionnalité en fonction de l'application visée. La topologie d'interconnexion du chemin de données est assurée dynamiquement via un dispositif de type crossbar. De plus, pour rendre la programmation de SeeProc accessible à des utilisateurs n'ayant pas de notions d'électronique numérique, un langage assembleur dédié et une méthodologie d'optimisation ont été développés.

APA, Harvard, Vancouver, ISO, and other styles

3

Couchot, Alain. "Analyse statique de la terminaison des règles actives basée sur la notion de chemin maximal." Paris 12, 2001. http://www.theses.fr/2001PA120042.

Full text

Abstract:

Les règles actives sont destinées à doter les bases de données d'un comportement réactif. Une règle active se compose de trois éléments principaux: l'événement, la condition, l'action. Il est souhaitable de garantir a priori la terminaison d'un ensemble de règles actives. Le but de cette thèse est d'augmenter le nombre de situations de terminaison détectées par l'analyse statique. Nous cernons tout d'abord un certain nombre de limitations des méthodes d'analyse statique de la terminaison des règles actives proposées par le passé. Nous développons ensuite un algorithme d'analyse statique de la terminaison basé sur la notion de chemin maximal d'un noeud. La notion de chemin maximal est destinée à remplacer la notion de cycle, employée par les algorithmes de terminaison antérieurs. Nous présentons un certain nombre d'applications et d'extensions de notre algorithme de terminaison. Ces extensions et applications concernent les règles non incluses dans un cycle, les conditions composites, les événements composites, les priorités entre règles, ainsi que la conception modulaire de règles actives. Nous présentons également présenté une extension significative de la méthode RTG, permettant d'inclure dans une formule de déclenchement des atomes dépendants de la base de données The active rules are intended to enrich the databases with a reactive behaviour. An active rule is composed of three main components: the event, the condition, the action. It is desired to guarantee a priori the termination of a set of active rules. The aim of this thesis is to increase the number of termination situations detected by the static analysis. We first determine some restrictions of the previous static analysis methods. We develop then an algorithm for static analysis of termination based on the notion of maximal path of a node. The notion of maximal path is intended to replace the notion of cycle, used by the previous termination algorithms. We present some applications and extensions of our termination algorithm. These extensions and applications concern the active rules flot included in a cycle, the composite conditions, the composite events, the priorities between ailes, and the modular design of rules. .

APA, Harvard, Vancouver, ISO, and other styles

4

Zhang, Xiaofei. "Contrôle de transmission multi-chemin et gestion de mobilité pour protocoles de transport multihoming." Paris 6, 2012. http://www.theses.fr/2012PA066130.

Full text

Abstract:

Un terminal mobile d'aujourd'hui possède plusieurs interfaces des réseaux. Ces interfaces pourraient être connectées aux différents réseaux et obtenir plusieurs adresses IP. Le terminal transmet les données sur ces interfaces en parallèle. Nous étudions les problèmes multihoming à la couche transport pour améliorer la performance de bout en bout. En outre, la coordination entre le multihoming et la gestion de mobilité est étudiée ce qui nous permet de proposer la gestion de mobilité coopérative. D'abord, nous proposons une solution inter-couches pour l'optimisation des performances avec l'extension Concurrent Multipath Transfer (CMT) de SCTP dans les réseaux sans fil. Deux paramètres, Frame Error Rate (FER) à la couche liaison et Round Trip Time (RTT) à la couche transport sont utilisés pour évaluer les conditions des chemins. Les résultats montrent que notre proposition améliore les débits. Deuxièmement, nous nous concentrons sur les liens hétérogènes sans fil. Nous choisissons le filtre de Kalman pour estimer les conditions des chemins. Les résultats ont montré que notre proposition réduit le degré de déséquencement et augmente le débit total. Enfin, une architecture de la gestion de la mobilité coopérative est proposé pour le Post-IP. Les caractéristiques de multihoming sont analysés afin de présenter la proposition de Multihoming-based Cooperative Mobility Management (MCMM). Notre proposition optimise le délai de handover dans les réseaux hétérogènes. Notre proposition est implémenté en C++. Les résultats expérimentaux montrent que le délai de handover peut être réduit par l'envoi des messages de mise à jour via l'interface correspondant au chemin le plus rapide Most of mobile devices today are equipped with multiple network interfaces that could be connected to different network and obtain multiple IP addresses. In this dissertation, we investigate the multihoming problems at transport layer to improve the end-to-end performance in wireless networks. Moreover, the coordination between multihoming and mobility management is studied which permit us to propose a cooperative mobility management for an environment Post-IP. Firstly, we propose a cross-layer solution for performance optimization with the Concurrent Multipath Transfer (CMT) extension of SCTP in wireless networks. Two parameters, Frame Error Rate (FER) at the link layer and Round Trip Time (RTT) at the transport layer are used to evaluate the path conditions. The simulation results show that our proposal improves the goodput. Secondly, we focus on the heterogeneous wireless links. We chose Kalman filter for the estimation of path conditions. The simulation results show that our proposal reduces the reordering degree and increases the total goodput. Finally, a cooperative mobility management architecture is proposed for Post-IP. Multihoming and end-to-end features are analyzed to present the proposal of Multihoming-based Cooperative Mobility Management (MCMM). The cooperative mobility management optimizes the handover delay in the heterogeneous access networks. The MCMM is implemented in C++ under Linux with a test-bed. The experimental results show that the handover delay can be reduced by sending update messages over the interface of the fastest path

APA, Harvard, Vancouver, ISO, and other styles

5

Larnac, Mireille. "Gestion de la Condition de Chemin dans la simulation symbolique." Phd thesis, Montpellier 2, 1992. http://tel.archives-ouvertes.fr/tel-00866197.

Full text

Abstract:

Le traitement des branchements conditionnels est un problème spécifique à la simulation symbolique. La gestion de la Condition de Chemin consiste à déterminer si la valeur de vérité d'une condition est contenue dans tous les choix qui ont été opérés sur les tests précédemment rencontrés, ou si, au contraire, le choix de cette valeur est laissé à la libre appréciation de l'utilisateur : c'est le rôle de l'opérateur de choix. Cet opérateur et les propriétés qui le caractérisent sont définis. Son application sur des expressions particulières, puis dans le cas général est ensuite étudiée.

APA, Harvard, Vancouver, ISO, and other styles

6

Francis, Nadime. "Vues et requêtes sur les graphes de données : déterminabilité et réécritures." Thesis, Université Paris-Saclay (ComUE), 2015. http://www.theses.fr/2015SACLN015/document.

Full text

Abstract:

Les graphes de données sont naturellement utilisés dans de nombreux contextes incluant par exemple les réseaux sociaux ou le Web sémantique. L'information contenue dans la base de données se trouve alors aussi bien dans les données mêmes que dans la topologie du graphe, c'est-à-dire dans la manière dont les données sont connectées. Cela implique donc de considérer les questions traditionnelles en théorie des bases de données pour des langages de requêtes capables de parler des chemins connectant les nœuds du graphe. Nous nous intéressons en particulier aux problèmes de la déterminabilité et de la réécriture d'une requête à l'aide de vues. Il s'agit alors de décider si une vue de la base de données contient suffisamment d'information pour répondre entièrement à une requête sans consulter la base de données directement, et dans ce cas, d'exprimer explicitement la réponse à la requête à partir de la vue. Ce cadre rencontre de nombreuses applications, notamment pour l'intégration de données et l'optimisation de requêtes. Nous commençons par comparer ces deux questions aux autres problèmes de décision classiques dans ce contexte : calcul des réponses certaines, test de cohérence et mise à jour d'une instance de vue. Nous améliorons ensuite ces résultats dans deux cas spécifiques. Tout d'abord, nous montrons que pour les requêtes régulières de chemin, l'existence d'une réécriture monotone coïncide avec l'existence d'une réécriture dans Datalog. Puis, nous montrons que pour des vues s'intéressant uniquement aux longueurs des chemins du graphe, une notion plus faible de déterminabilité, appelée déterminabilité asymptotique, est décidable et résulte en des réécritures du premier ordre Graph databases appear naturally in various scenarios, such as social networks and the semantic Web. In these cases, the information contained in the database lies as much in the data itself as in the topology of the graph, that is, in how the data points are linked together. This leads to considering traditional database theory questions for query languages that return data nodes based on the paths of the graph connecting them. We focus our attention on the view-based query determinacy and rewriting problems. They ask the question whether a view of the database contains enough information to fully answer a query without accessing the database directly. If so, we then want to express the answer to the query directly with regards to the view. This setting occurs in many applications, such as data integration and query optimization. We start by comparing these two tasks to other common task in this setting: computing certain answers, checking consistency of a view instance and updating it. We then build on these results in two specific cases. First, we show that for regular path queries, the existence of a monotone rewriting coincides with the existence of a rewriting expressible in Datalog. Then, we show that for views that only consider the lengths of the path in the graph, we can decide a weaker form of determinacy, called asymptotic determinacy, and produce first-order rewritings for the queries that are asymptotically determined

APA, Harvard, Vancouver, ISO, and other styles

7

Thomas, Féraud. "Rejeu de chemin et localisation monoculaire : Application du Visual SLAM sur carte peu dense en environnement extérieur contraint." Phd thesis, Université Blaise Pascal - Clermont-Ferrand II, 2011. http://tel.archives-ouvertes.fr/tel-00696256.

Full text

Abstract:

Dans le cadre de la robotique mobile en environnement extérieur, les concepts de localisation et de perception sont au coeur de toute réalisation. Aussi, les travaux menés au sein de cette thèse visent à rendre plus robustes des processus de localisation existants sans pour autant augmenter de manière notable leur complexité. La problématique proposée place un robot au sein d'un environnement potentiellement dangereux avec pour objectif de suivre une trajectoire établie comme sécurisée avec une carte aussi simple que possible. De plus, des contraintes fortes sont imposées tant dans la réalisation (système peu onéreux, indétectable) que dans le résultat (une exécution temps-réel et une localisation en permanence dans une tolérance de 10 cm autour de la trajectoire de référence). Le capteur extéroceptif choisi pour mener à bien ce projet est une caméra tandis que l'estimation de la pose du véhicule à chaque instant est réalisée par un ltre de Kalman dans sa version étendue. Les principaux problèmes d'estimation résident dans la non-linéarité des modèles d'observation et les contributions apportées apportent quelques solutions : - une méthode de calcul exacte de la propagation des incertitudes de l'espace monde vers l'espace capteur (caméra) ; - une méthode de détection des principaux cas de divergence du filtre de Kalman dans le calcul de la phase de mise à jour ; - une méthode de correction du gain de Kalman. Ce projet avait deux objectifs : réaliser une fonction de localisation répondant aux contraintes fortes préalablement évoquées, et permettre à un véhicule de quitter temporairement la trajectoire de référence, suite à la prise en main de l'opérateur pour ensuite reprendre le cours normale de sa mission au plus près de la trajectoire de référence. Ce deuxième volet fait intervenir un cadre plus large dans lequel il faut, en plus de la localisation, cartographier son environnement. Cette problématique, identifiée par l'acronyme SLAM (Simultaneous Localization And Mapping), fait le lien avec les deux dernières contributions de ces travaux de thèse : - une méthode d'initialisation des points qui constitueront la carte SLAM; - une méthode pour maintenir la cohérence entre la carte de référence et la carte SLAM. Des résultats sur des données réelles, étayant chacune des contributions, sont présentés et illustrent la réalisation des deux principaux objectifs.

APA, Harvard, Vancouver, ISO, and other styles

8

Féraud, Thomas. "Rejeu de chemin et localisation monoculaire : application du Visual SLAM sur carte peu dense en environnement extérieur contraint." Phd thesis, Université Blaise Pascal - Clermont-Ferrand II, 2011. http://tel.archives-ouvertes.fr/tel-00697028.

Full text

Abstract:

Dans le cadre de la robotique mobile en environnement extérieur, les concepts de localisation et de perception sont au coeur de toute réalisation. Aussi, les travaux menés au sein de cette thèse visent à rendre plus robustes des processus de localisation existants sans pour autant augmenter de manière notable leur complexité. La problématique proposée place un robot au sein d'un environnement potentiellement dangereux avec pour objectif de suivre une trajectoire établie comme sécurisée avec une carte aussi simple que possible. De plus, des contraintes fortes sont imposées tant dans la réalisation (système peu onéreux, indétectable) que dans le résultat (une exécution temps-réel et une localisation en permanence dans une tolérance de 10 cm autour de la trajectoire de référence). Le capteur extéroceptif choisi pour mener à bien ce projet est une caméra tandis que l'estimation de la pose du véhicule à chaque instant est réalisée par un filtre de Kalman dans sa version étendue. Les principaux problèmes d'estimation résident dans la non-linéarité des modèles d'observation et les contributions apportées apportent quelques solutions : - une méthode de calcul exacte de la propagation des incertitudes de l'espace monde vers l'espace capteur (caméra) ; - une méthode de détection des principaux cas de divergence du filtre de Kalman dans le calcul de la phase de mise à jour ; - une méthode de correction du gain de Kalman. Ce projet avait deux objectifs : réaliser une fonction de localisation répondant aux contraintes fortes préalablement évoquées, et permettre à un véhicule de quitter temporairement la trajectoire de référence, suite à la prise en main de l'opérateur pour ensuite reprendre le cours normal de sa mission au plus près de la trajectoire de référence. Ce deuxième volet fait intervenir un cadre plus large dans lequel il faut, en plus de la localisation, cartographier son environnement. Cette problématique, identifiée par l'acronyme SLAM (Simultaneous Localization And Mapping), fait le lien avec les deux dernières contributions de ces travaux de thèse : - une méthode d'initialisation des points qui constitueront la carte SLAM ; - une méthode pour maintenir la cohérence entre la carte de référence et la carte SLAM. Des résultats sur des données réelles, étayant chacune des contributions, sont présentés et illustrent la réalisation des deux principaux objectifs.

APA, Harvard, Vancouver, ISO, and other styles

9

Rocheteau, Frédéric. "Extension du langage LUSTRE et application a la conception de circuits : le langage LUSTRE-V4 et le systeme POLLUX." Grenoble INPG, 1992. http://tel.archives-ouvertes.fr/tel-00342092.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Da, Silva Sébastien. "Fouille de données spatiales et modélisation de linéaires de paysages agricoles." Thesis, Université de Lorraine, 2014. http://www.theses.fr/2014LORR0156/document.

Full text

Abstract:

Cette thèse s'inscrit dans un partenariat entre l'INRA et l'INRIA et dans le champs de l'extraction de connaissances à partir de bases de données spatiales. La problématique porte sur la caractérisation et la simulation de paysages agricoles. Plus précisément, nous nous concentrons sur des lignes qui structurent le paysage agricole, telles que les routes, les fossés d'irrigation et les haies. Notre objectif est de modéliser les haies en raison de leur rôle dans de nombreux processus écologiques et environnementaux. Nous étudions les moyens de caractériser les structures de haies sur deux paysages agricoles contrastés, l'un situé dans le sud-Est de la France (majoritairement composé de vergers) et le second en Bretagne (Ouest de la France, de type bocage). Nous déterminons également si, et dans quelles circonstances, la répartition spatiale des haies est structurée par la position des éléments linéaires plus pérennes du paysage tels que les routes et les fossés et l'échelle de ces structures. La démarche d'extraction de connaissances à partir de base de données (ECBD) mise en place comporte différentes étapes de prétraitement et de fouille de données, alliant des méthodes mathématiques et informatiques. La première partie du travail de thèse se concentre sur la création d'un indice spatial statistique, fondé sur une notion géométrique de voisinage et permettant la caractérisation des structures de haies. Celui-Ci a permis de décrire les structures de haies dans le paysage et les résultats montrent qu'elles dépendent des éléments plus pérennes à courte distance et que le voisinage des haies est uniforme au-Delà de 150 mètres. En outre différentes structures de voisinage ont été mises en évidence selon les principales orientations de haies dans le sud-Est de la France, mais pas en Bretagne. La seconde partie du travail de thèse a exploré l'intérêt du couplage de méthodes de linéarisation avec des méthodes de Markov. Les méthodes de linéarisation ont été introduites avec l'utilisation d'une variante des courbes de Hilbert : les chemins de Hilbert adaptatifs. Les données spatiales linéaires ainsi construites ont ensuite été traitées avec les méthodes de Markov. Ces dernières ont l'avantage de pouvoir servir à la fois pour l'apprentissage sur les données réelles et pour la génération de données, dans le cadre, par exemple, de la simulation d'un paysage. Les résultats montrent que ces méthodes couplées permettant un apprentissage et une génération automatique qui capte des caractéristiques des différents paysages. Les premières simulations sont encourageantes malgré le besoin d'un post-Traitement. Finalement, ce travail de thèse a permis la création d'une méthode d'exploration de données spatiales basée sur différents outils et prenant en charge toutes les étapes de l'ECBD classique, depuis la sélection des données jusqu'à la visualisation des résultats. De plus, la construction de cette méthode est telle qu'elle peut servir à son tour à la génération de données, volet nécessaire pour la simulation de paysage This thesis is part of a partnership between INRA and INRIA in the field of knowledge extraction from spatial databases. The study focuses on the characterization and simulation of agricultural landscapes. More specifically, we focus on linears that structure the agricultural landscape, such as roads, irrigation ditches and hedgerows. Our goal is to model the spatial distribution of hedgerows because of their role in many ecological and environmental processes. We more specifically study how to characterize the spatial structure of hedgerows in two contrasting agricultural landscapes, one located in south-Eastern France (mainly composed of orchards) and the second in Brittany (western France, \emph{bocage}-Type). We determine if the spatial distribution of hedgerows is structured by the position of the more perennial linear landscape features, such as roads and ditches, or not. In such a case, we also detect the circumstances under which this spatial distribution is structured and the scale of these structures. The implementation of the process of Knowledge Discovery in Databases (KDD) is comprised of different preprocessing steps and data mining algorithms which combine mathematical and computational methods. The first part of the thesis focuses on the creation of a statistical spatial index, based on a geometric neighborhood concept and allowing the characterization of structures of hedgerows. Spatial index allows to describe the structures of hedgerows in the landscape. The results show that hedgerows depend on more permanent linear elements at short distances, and that their neighborhood is uniform beyond 150 meters. In addition different neighborhood structures have been identified depending on the orientation of hedgerows in the South-East of France but not in Brittany. The second part of the thesis explores the potential of coupling linearization methods with Markov methods. The linearization methods are based on the use of alternative Hilbert curves: Hilbert adaptive paths. The linearized spatial data thus constructed were then treated with Markov methods. These methods have the advantage of being able to serve both for the machine learning and for the generation of new data, for example in the context of the simulation of a landscape. The results show that the combination of these methods for learning and automatic generation of hedgerows captures some characteristics of the different study landscapes. The first simulations are encouraging despite the need for post-Processing. Finally, this work has enabled the creation of a spatial data mining method based on different tools that support all stages of a classic KDD, from the selection of data to the visualization of results. Furthermore, this method was constructed in such a way that it can also be used for data generation, a component necessary for the simulation of landscapes

APA, Harvard, Vancouver, ISO, and other styles

11

Jachiet, Louis. "Sur la compilation des langages de requêtes pour le web des données : optimisation et évaluation distribuée de SPARQL." Thesis, Université Grenoble Alpes (ComUE), 2018. http://www.theses.fr/2018GREAM038/document.

Full text

Abstract:

Ma thèse porte sur la compilation des langages de requêtes orientés web des données. Plus particulièrement, ma thèse s'intéresse à l'analyse, l'optimisation et l'évaluation distribuée d'un tel langage : SPARQL. Ma contribution principale est l'élaboration d'une méthode nouvelle particulièrement intéressante pour des requêtes contenant de la récursion ou dans le cadre d'une évaluation distribuée. Cette nouvelle méthode s'appuie sur un nouvel outil que nous introduisons : la μ-algèbre. C'est une variation de l'algèbre relationnelle équipée d'un opérateur de point fixe. Nous présentons sa syntaxe et sémantique ainsi qu'une traduction vers la μ-algèbre depuis SPARQL avec Property Paths (une fonctionnalité introduite dans le dernier standard SPARQL qui autorise une forme de récursion).Nous présentons ensuite un système de types et nous montrons comment les termes de la μ-algèbre peuvent être réécrits en d'autres termes (de sémantique équivalente) en utilisant soit des règles de réécriture provenant de l'algèbre relationnelle soit des règles nouvelles, spécifiques à la μ-algèbre. Nous démontrons la correction des nouvelles règles qui sont introduites pour réécrire les points fixes : elles permettent de pousser les filtres, les jointures ou les projections à l'intérieur des points fixes (dépendant des certaines conditions sur le terme).Nous présentons ensuite comment ces termes peuvent être évalués, d'abord de manière générale, puis en considérant le cas particulier d'une évaluation sur une plateforme distribuée. Nous présentons aussi un modèle de coût pour l'évaluation des termes. À l'aide du modèle de coût et de l'évaluateur, plusieurs termes qui sont équivalents d'un point de vue sémantiques peuvent maintenant être vus comme différentes manières d'évaluer les termes avec différents coûts estimés. Nous montrons alors que les termes qui sont considérés grâce aux nouvelles règles de réécritures que nous avons introduites, permettent une exécution plus efficace que ce qui était possible dans les autres approches existantes. Nous confirmons ce résultat théorique par une expérimentation comparant plusieurs exécuteurs sur des requêtes SPARQL contenant de la récursion.Nous avons investigué comment utiliser une plateforme de calcul distribuée (Apache Spark) pour produire un évaluateur efficace de requêtes SPARQL. Cet évaluateur s'appuie sur un fragment de la μ-algèbre, limité aux opérateurs qui ont une traduction en code Spark efficace. Le résultat de ces investigations à résultat en l'implémentation de SPARQLGX, un évaluateur SPARQL distribué en pointe par rapport à l'état de l'art.Pour finir, ma dernière contribution concerne l'estimation de la cardinalité des solutions à un terme de la μ-algèbre. Ces estimateurs sont particulièrement utiles pour l'optimisation. En effet, les modèles de coût reposent généralement sur de telles estimations pour choisir quel sera le terme le plus efficace parmi plusieurs termes équivalents. Pour cette estimation nous nous intéressons tout particulièrement au fragment conjonctif de la μ-algèbre (ce qui correspond au fragment bien connu Basic Graph Pattern de SPARQL). Notre nouvelle estimation de cardinalité s'appuie sur des statistiques sur les données et a été implémenté dans SPARQLGX. Nos expériences montrent que cette méthode permet de grandement accélérer l'évaluation de SPARQL sur SPARQLGX The topic of my PhD is the compilation of web data query languages. More particularly, the analysisand the distributed evaluation of a such language: SPARQL. My main contributions concern theevaluation of web data queries especially for recursive queries or for distributed settings.In this thesis, I introduce μ-algebra: it is a kind of relational algebra equipped with a fixpointoperator. I present its syntax, semantics, and a translation from SPARQL with Property Paths (anew feature of SPARQL allowing some form of recursion) to this μ-algebra.I then present a type system and show how μ-algebra terms can be rewritten to terms withequivalent semantics using either classical rewrite rules of the relational world or new rules that arespecific to this μ-algebra. We demonstrate the correctness of these new rules that are introduced tohandle the rewriting of fixpoints: they allow to push filters, joins and projections inside fixpointsor to combine several fixpoints (when some condition holds).I demonstrate how these terms could be evaluated both from a general perspective and in thespecific case of a distributed evaluation. I devise a cost model for μ-algebra terms inspired by thisevaluation. With this cost model and this evaluator, several terms that are semantically equivalentcan be seen as various Query Execution Plans (QEP) for a given query. I show that the μ-algebraand its rewrite rules allow the reach of QEP that are more efficient than all QEP considered in otherexisting approaches and confirm this by an experimental comparison of several query evaluators onSPARQL queries with recursion.I investigate the use of an efficient distributed framework (Spark) to build a fast SPARQL dis-tributed query evaluator. It is based on a fragment of μ-algebra, limited to operators that havea translation into fast Spark code. The result of this has been used to implement SPARQLGX, astate of the art distributed SPARQL query evaluator.Finally, my last contribution concerns the estimation of the cardinality of solutions to a μ-algebraterm. Such estimators are key in the optimization. Indeed, most cost models for QEP rely on suchestimators and are therefore necessary to determine the most efficient QEP. I specifically considerthe conjunctive query fragment of μ-algebra (which corresponds to the well-known Basic GraphPattern fragment of SPARQL). I propose a new cardinality estimation based on statistics about thedata and implemented the method into SPARQLGX. Experiments show that this method improvesthe performance of SPARQLGX

APA, Harvard, Vancouver, ISO, and other styles

12

Zaher, Noufal Issam al. "Outils de CAO pour la génération d'opérateurs arithmétiques auto-contrôlables." Grenoble INPG, 2001. http://www.theses.fr/2001INPG0028.

Full text

Abstract:

Les chemins de données sont des parties logiques essentielles dans les microprocesseurs et les microcontrôleurs. La conception de chemins de données fiables est donc un pas important vers la réalisation de circuits intégrés plus sûrs. Nous avons, d’abord, étudié des multiplieurs auto-contrôlables basés sur le code résidu. Nous avons montré qu’on peut avoir des multiplieurs sûrs en présence de fautes de type collage logique avec un surcoût très faible, notamment pour les multiplieurs de grande taille (de 10 à 15 % pour les multiplieurs de taille 32x32). Dans la deuxième partie, nous avons généralisé des solutions auto-contrôlables existantes d’opérateurs arithmétiques basés sur la parité. Les nouvelles versions ont plusieurs bits de parité et permettent d’augmenter sensiblement la couverture de fautes transitoires. Les solutions développées sont intégrées dans un outil informatique. Cet outil donne une grande flexibilité de choix d’opérateurs arithmétiques et logiques auto contrôlables permettant ainsi de faciliter la tâche des concepteurs non spécialisés

APA, Harvard, Vancouver, ISO, and other styles

13

Hamieh, Ahmed. "Planification automatique de chemins à l'intérieur de bâtiments basée sur un modèle BIM." Thesis, Valenciennes, 2018. http://www.theses.fr/2018VALE0037/document.

Full text

Abstract:

Plus de la moitié de la population mondiale vit aujourd’hui en zone urbaine et passe plus de 90 % de son temps à l’intérieur de bâtiments. Cette thèse propose un système, nommé BiMov, de planification automatique de chemin à l’intérieur de bâtiments, basé sur leur maquette numérique (un BIM au format IFC). Le processus consiste à exploiter les caractéristiques sémantiques, géométriques et topologiques des constituants du BIM afin de générer des graphes de navigation possible, en fonction du profil du navigant et de l’état conjoncturel d’accessibilité des espaces et transitions, dans lesquels le plus court chemin d’un point à un autre puisse être déterminé. BiMov s’appuie sur quatre modèles de données (1) un modèle de bâtiment déduit du BIM, qui représente et structure les caractéristiques essentielles du bâtiment en vue de la mobilité intérieure (2) un modèle de navigant à même de représenter ses caractéristiques d’encombrement, ses aptitudes aux déplacements horizontaux et verticaux ainsi que ses habilitations (3) un modèle de calendrier permettant de connaître l’état d’accessibilité des espaces et des transitions (4) un modèle de graphe sur trois niveaux de détails. Le niveau Macro représente un simple graphe de connectivité entre les espaces intérieurs voisins ; il permet aux architectes de vérifier leur conception architecturale en termes d’accessibilité. Le niveau Externe permet de connecter les espaces accessibles via leurs transitions horizontales ou verticales. Il est destiné aux navigants qui n’exigent pas un chemin détaillé pour se déplacer. Le niveau Interne intègre un maillage des espaces, en 2D pour la navigation au sol, en 3D pour la navigation de drones. Il est conçu pour considérer les obstacles intérieurs comme les meubles, les machines ou les équipements. Ce niveau est destiné aux navigants devant fiabiliser leur déplacement à l’intérieur des espaces, comme les manutentionnaires d’objets encombrants ou les robots mobiles. L’approche proposée a fait l’objet d’un développement informatique qui permet d’illustrer quelques scénarios de planification de chemin dans des modèles BIM d’origine externe à la thèse More than 50% of humans today live in urban areas and spend more than 90 % of their time indoor. This thesis suggests a system, called BiMov, dedicated to automatic path planning in complex building based on their digital mockup (a BIM in IFC format). The process consists in exploiting the semantic, geometric and topologic features of the constituents of a BIM, so as to generate navigation graphs, taking into account the profile of Navigants as well as the operational state of accessibility of spaces and transitions, for finally determining a shortest path. BiMov is based on 4 data models: (1) a building model deduced from the BIM that represents and structures the building features that are relevant for indoor mobility (2) a Navigant model capable to represent its bulk size, abilities for horizontal and vertical displacements and social habilitations (3) a calendar model representing the conjectural state of accessibility of spaces and transitions (4) a navigation graph model with three levels of detail: the Macro level represents a simple graph of connectivity between neighboring interior spaces. It is intended to help architects verify their architectural design in terms of accessibility. The Extern level is used to connect accessible spaces via their horizontal or vertical transitions. This level is intended for Navigants who do not require a detailed path. The Intern level integrates a meshing of each space: a 2D mesh for planar mobility or a 3D mesh for drones. This level is intended for Navigants like bulky objects handlers of mobile robots, needing to validate a reliable path within spaces containing furniture, machinery or equipment. The proposed approach was implemented in a prototype software that allows to illustrate different path planning scenarios in BIM models that were generated externally

APA, Harvard, Vancouver, ISO, and other styles

14

Pascal, Rémi. "Le peuplement du bassin méditerranéen de 1800 à 2010 : données disponibles, limites et organisations spatiales." Thesis, Avignon, 2020. http://www.theses.fr/2020AVIG1202.

Full text

Abstract:

La mer Méditerranée et les terres qui l’entourent ont eu un rôle central dans l’Histoire du monde. Ces espaces, habités ou parcourus, ont grandement évolué au cours des derniers millénaires, et se sont peu à peu structurés à travers l’apparition de divers objets géographiques tels les bourgs, les villes, les découpages administratifs… C’est à la croisée de ces dynamiques spatiales, historiques, et de l’établissement humain, qu’est appréhendée la notion de peuplement. Pour analyser son évolution autour de la Méditerranée de 1800 à 2010, une base de données de plus de 137 000 localités réparties dans tous les Etats riverains a été construite. Mais sont-elles toutes « méditerranéennes » ? La délimitation de l’espace méditerranéen est une ancienne et récurrente question toujours présente dans les recherches portant sur cet espace. Pour tenter d’y répondre, cinq variables ont été choisies pour construire un indice qui a permis de proposer une limite caractérisant les localités méditerranéennes. A partir de cet ensemble d’objets, et en prenant en compte la notion de dépendance au chemin, une analyse de l’évolution du peuplement autour de la mer Méditerranée été réalisée. Révélant des cycles, des trajectoires et divers autres phénomènes, elle a permis de mettre en lumière des formes d’organisations spatiales originales The Mediterranean Sea and the surrounding lands have had a central role in the history of the world. These spaces, inhabited or traveled, have greatly evolved over the past millennia, and have gradually structured through the appearance of various geographical objects such as towns, cities, administrative divisions... It is at the crossroads of these spatial, historical, and human settlement dynamics, which is understood as the notion of settlement. To analyze its evolution around the Mediterranean from 1800 to 2010, a database of more than 137 000 localities distributed in all riparian states was built. But are they all "Mediterranean"?The delimitation of the Mediterranean area is an old and recurrent question always present in the researches on this space. To try to answer it, five variables were chosen to construct an index that allowed to propose a limit characterizing the Mediterranean localities. From this set of objects, and taking into account the notion of path dependence, an analysis of the evolution of the population around the Mediterranean Sea was carried out. Revealing cycles, trajectories and various other phenomena, it has brought to light forms of original space organizations

APA, Harvard, Vancouver, ISO, and other styles

15

Karabernou, Si Mahmoud. "Conception et réalisation d'un processeur pour une architecture cellulaire massivement parallèle intégrée." Grenoble INPG, 1993. http://tel.archives-ouvertes.fr/tel-00343216.

Full text

Abstract:

Cette thèse présente la conception et la réalisation en VLSI d'un processeur programmable pour une nouvelle architecture MIMD massivement parallèle, intermédiaire entre la connection machine et les hypercubes de processeurs 32 bits. Elle est composée d'une grille 2d de cellules asynchrones communiquant par échanges de messages. Chaque cellule intégré une partie de traitement qui consiste en un petit microprocesseur 8 bits dote d'une mémoire (données et programme), et une partie de routage permettant l'acheminement des messages. A l'issue de l'étude des différents problèmes de communication dans les machines parallèles, nous proposons un routeur original utilisant le principe du Wormhole, et permettant d'acheminer jusqu'à cinq messages en parallèle. Nous décrivons ensuite l'architecture de la partie de traitement, en partant de la définition du jeu d'instructions, du chemin de données et de la partie contrôle jusqu'à la conception au bas niveau. Un premier prototype d'un circuit VLSI de ce processeur a été réalise sur silicium et a permis d'obtenir les mesures des surfaces et des performances

APA, Harvard, Vancouver, ISO, and other styles

16

Boufares, Faouzi. "Analyse et conception d'un optimiseur de requêtes dans un système relationnel." Paris 11, 1986. http://www.theses.fr/1986PA112356.

Full text

Abstract:

L'analyse et la conception d'un optimiseur de requêtes dans un système relationnel font l'objet de cette thèse. Nous explicitons les critères de choix entre les différents algorithmes des opérations de base considérées: la sélection, le tri, la projection et la jointure. Nous établissons les critères de choix d'une méthode d'exécution de la jointure en fonction des tailles des deux relations et de celle de la mémoire, du nombre moyen de nuplets par page, des chemins d'accès aux données et du taux de sélectivité. Enfin, nous spécifions des algorithmes pour les opérateurs groupés afin d'exécuter la jointure, la sélection et la projection simultanément. Ces algorithmes sont à la base de notre méthode d'optimisation de requêtes This thesis deals with the analysis and the conception of a query optimizer in a Relational Data Base Management System. We consider the problem of the choice of algorithms for relational operations: selection, sort, projection and join. We established some useful criteria for this choice. We show that the choice of the join execution method depends on: size of the two relations, memory size, average of page tuples, data access path and selectivity rate. Finally, we specify some algorithms for grouped operators to execute join selection and projection simultaneously. Our method of query optimization stands on those algorithms

APA, Harvard, Vancouver, ISO, and other styles

17

Bulone, Joseph. "Généralisation des méthodes de scan pour le test des circuits intégrés complexes et application à des circuits critiques en vitesse." Phd thesis, Grenoble INPG, 1994. http://tel.archives-ouvertes.fr/tel-00344980.

Full text

Abstract:

Cette thèse propose une extension des méthodes classiques de chemins de «scan». On utilise des opérateurs combinatoires plus généraux à la place des multiplexeurs à une seule sortie. Ils peuvent comporter des entrées et des sorties multiples. Ils peuvent boucler sur eux-mêmes par l'intermédiaire d'une ou plusieurs bascules. Lorsqu'ils vérifient certaines propriétés de bijectivité et qu'ils forment une structure propageant de l'information, alors cette structure est aussi utile que les chaînes du «scan» complet et s'utilise de manière semblable. Elle permet aussi une approche hiérarchique du test des circuits. On montre comment tirer profit de cette méthode plus générale pour réduire l'impact de la méthode de «scan» complet sur les performances de circuits complexes implantant des fonctions mathématiques courantes ou des séquenceurs. Des résultats sont donnés pour le cas réel d'un circuit CMOS, très rapide, spécifique pour le réseau numérique large bande et pour lequel les contraintes en vitesse étaient primordiales

APA, Harvard, Vancouver, ISO, and other styles

18

Kamal-Idrissi, Assia. "Optimisation des réseaux aériens : analyse et sélection de nouveaux marchés." Thesis, Université Côte d'Azur, 2020. https://tel.archives-ouvertes.fr/tel-03177526.

Full text

Abstract:

Les problèmes rencontrés dans l’industrie aérienne sont divers et compliqués. Leur résolution réduit les coûts et maximise les revenus tout en améliorant la qualité de service, par exemple, en capturant de nouveaux passagers sur des vols existants ou sur de nouveaux marchés. La sélection des nouveaux marchés permet de définir la structure du réseau à opérer, et d’estimer le flux des passagers, leurs choix d’itinéraires ainsi que les revenus et les coûts impliqués par ces décisions. Nos travaux concernent l’amélioration du calculateur de parts de marché dans l’application PlanetOptim de la startup Milanamos. Cet outil permet aux décideurs des aéroports et des compagnies aériennes d’analyser l’historique des données et de simuler des marchés afin de trouver une opportunité économique. Ces travaux sont orientés vers les niveaux de décision stratégiques et tactiques. Grâce à une analyse poussée des données, le réseau aérien a pu être modélisé par un graphe indépendant du temps stocké dans une base de données orientée grapheNeo4j. Nous avons alors défini le Flight Radius Problem dont la résolution permet de déterminer un sous-réseau centré autour d’un vol pour lequel les parts de marchés du vol sont non négligeables. Plusieurs méthodes de résolution ont été proposées basées sur des requêtes ou des algorithmes de plus courts chemins couplés à des techniques d’accélération et de parallélisme. Nos algorithmes identifient rapidement un ensemble de marchés prometteurs centré sur un vol. L’intégration de la théorie des graphes dans les bases de données ouvre de nouvelles perspectives pour l’analyse et la compréhension de grands réseaux In the airline industry, problems are various and complicated. Solving these problems aims at reducing costs and maximizing revenues. Revenues can be increased while improving the quality of service. For example, one way is to catch new passengers on existing flight connections or on new markets. The selection of new markets consists in determining network structure to operate, and to estimate passengers flow, their choice of itineraries as well as incomes and costs incurred by these decisions. Our research is about improving market planner engine. Milanamos develops an application for the analysis and simulation of markets intended for air-ports and airlines. It offers its customers a decision-making tool to analyze historical data andto simulate markets in order to find an economic opportunity. This project takes place earlierin the decision process. Thanks to a thorough data analysis, the air transport network could be modelized as a time-independent graph and stored in the Neo4j graph database. We then defined the Flight Radius problem which resolution allows to determine a sub-network centered around a flight for which market shares of the flight are meaningful. Several methods have beenproposed based on queries or on shortest path algorithms combined with acceleration and parallelism techniques. Our algorithms identify some new markets for a flight. Combining graph theory with databases offers new opportunities for analyzing and studying large networks

APA, Harvard, Vancouver, ISO, and other styles

19

Jonglez, Baptiste. "Mécanismes de bout en bout pour améliorer la latence dans les réseaux de communication." Thesis, Université Grenoble Alpes, 2020. http://www.theses.fr/2020GRALM048.

Full text

Abstract:

Les technologies réseau qui font fonctionner Internet ont beaucoup évolué depuis ses débuts, mais il y a un aspect de la performance des réseaux qui a peu évolué : la latence. En 25 ans, le débit disponible en couche physique a augmenté de 5 ordres de grandeur, tandis que la latence s'est à peine améliorée d'un ordre de grandeur. La latence est en effet limitée par des contraintes physiques fortes comme la vitesse de la lumière.Cette évolution différenciée du débit et de la latence a un impact important sur la conception des protocoles et leur performance, et notamment sur les protocoles de transport comme TCP. En particulier, cette évolution est indirectement responsable du phénomène de "Bufferbloat" qui remplit les tampons des routeurs et exacerbe encore davantage le problème de la latence. De plus, les utilisateurs sont de plus en plus demandeurs d'applications très réactives. En conséquence, il est nécessaire d'introduire des nouvelles techniques pour réduire la latence ressentie par les utilisateurs.Le but de cette thèse est de réduire la latence ressentie en utilisant des mécanismes de bout en bout, par opposition aux mécanismes d'infrastructure réseau. Deux mécanismes de bout en bout sont proposés. Le premier consiste à multiplexer plusieurs messages ou flux de données dans une unique connexion persistante. Cela permet de mesurer plus finement les conditions du réseau (latence, pertes de paquet) et de mieux s'y adapter, par exemple avec de meilleures retransmissions. J'ai appliqué cette technique à DNS et je montre que la latence de bout en bout est grandement améliorée en cas de perte de paquet. Cependant, en utilisant un protocole comme TCP, il peut se produire un phénomène de blocage en ligne qui dégrade les performances. Il est possible d'utiliser QUIC ou SCTP pour s'affranchir de ce problème.Le second mécanisme proposé consiste à exploiter plusieurs chemins, par exemple du Wi-Fi, une connexion filaire, et de la 4G. L'idée est d'utiliser les chemins de faible latence pour transporter le trafic sensible en priorité, tandis que le reste du trafic peut profiter de la capacité combinée des différents chemins. Multipath TCP implémente en partie cette idée, mais ne tient pas compte du multiplexage. Intégrer le multiplexage donne davantage de visibilité au scheduler sur les besoins des flux de données, et permettrait à eux-ci de coopérer. Au final, on obtient un problème d'ordonnancement qui a été identifié très récemment, "l'ordonnancement multi-chemins sensible aux flux". Ma première contribution est de modéliser ce problème. Ma seconde contribution consiste à proposer un nouvel algorithme d'ordonnancement pour ce problème, SRPT-ECF, qui améliore la erformances des petits flux de données sans impacter celle des autres flux. Cet algorithme pourrait être utilisé dans une implémentation de MPQUIC (Multipath QUIC). De façon plusgénérale, ces résultats ouvrent des perspectives sur la coopération entre flux de données, avec des applications comme l'agrégation transparente de connexions Internet The network technologies that underpin the Internet have evolved significantly over the last decades, but one aspect of network performance has remained relatively unchanged: latency. In 25 years, the typical capacity or "bandwidth" of transmission technologies has increased by 5 orders of magnitude, while latency has barely improved by an order of magnitude. Indeed, there are hard limits on latency, such as the propagation delay which remains ultimately bounded by the speed of light.This diverging evolution between capacity and latency is having a profound impact on protocol design and performance, especially in the area of transport protocols. It indirectly caused the Bufferbloat problem, whereby router buffers are persistently full, increasing latency even more. In addition, the requirements of end-users have changed, and they expect applications to be much more reactive. As a result, new techniques are needed to reduce the latency experienced by end-hosts.This thesis aims at reducing the experienced latency by using end-to-end mechanisms, as opposed to "infrastructure" mechanisms. Two end-to-end mechanisms are proposed. The first is to multiplex several messages or data flows into a single persistent connection. This allows better measurements of network conditions (latency, packet loss); this, in turn, enables better adaptation such as faster retransmission. I applied this technique to DNS messages, where I show that it significantly improves end-to-end latency in case of packet loss. However, depending on the transport protocol used, messages can suffer from Head-of-Line blocking: this problem can be solved by using QUIC or SCTP instead of TCP.The second proposed mechanism is to exploit multiple network paths (such as Wi-Fi, wired Ethernet, 4G). The idea is to use low-latency paths for latency-sensitive network traffic, while bulk traffic can still exploit the aggregated capacity of all paths. This idea was partially realized by Multipath TCP, but it lacks support for multiplexing. Adding multiplexing allows data flows to cooperate and ensures that the scheduler has better visibility on the needs of individual data flows. This effectively amounts to a scheduling problem that was identified only very recently in the literature as "stream-aware multipath scheduling". My first contribution is to model this scheduling problem. As a second contribution, I proposed a new stream-aware multipath scheduler, SRPT-ECF, that improves the performance of small flows without impacting larger flows. This scheduler could be implemented as part of a MPQUIC (Multipath QUIC) implementation. More generally, these results open new opportunities for cooperation between flows, with applications such as improving WAN aggregation

APA, Harvard, Vancouver, ISO, and other styles

20

Fragoso, João Leonardo. "Conception automatique de chemins de données en logique asynchrone QDI." Grenoble INPG, 2005. http://www.theses.fr/2005INPG0124.

Full text

Abstract:

Ces dernières années, les circuits asynchrones sont apparus comme une solution naturelle aux problèmes de conception des circuits synchrones lies aux technologies submicroniques. En s'affranchissant d'une horloge globale, les circuits asynchrones se montrent plus fiables, robustes et modulaires que leurs équivalents synchrones. Cependant, l'intérêt croissant dans les circuits asynchrones se heurte au manque actuel de méthodes et outils d'aide à la conception de tels circuits. Dans ce cadre, ce travail de thèse porte sur l'étude de la conception de chemins de données asynchrones QDI. Initialement, cette thèse propose et évalue une méthode de comparaison de différentes implémentations des circuits asynchrones. Par la suite, les deux principaux opérateurs arithmétiques sont étudiés : les additionneurs et les multiplieurs. Dans cette étude, plusieurs architectures ont été évaluées et l'impact de différents codages de données ont été examinés. La méthode de comparaison et la génération d'opérateurs arithmétiques ont été automatisées de façon à permettre aux concepteurs de circuits de choisir l'implémentation plus adéquate aux contraintes de conception. L'expertise obtenue par l'étude d'opérateurs arithmétiques a aussi permis de généraliser certaines recommandations à la conception de toutes chemins de données asynchrones. Ces recommandations sont à l'origine d'une méthodologie de conception de chemins de données asynchrones. Les résultats de ce travail enrichissent l'outil de conception qu'aide à combler l'espace entre les concepteurs et les circuits asynchrones In recent years, asynchronous circuits have become a natural solution for synchronous circuit design problems related to the use of submicron technologies. By using a local synchronization mechanism instead of a global clock, asynchronous circuits are more reliable, robust and modular than their equivalent synchronous form. Additionally, by not using a global clock, design constrains such as low-power consumption, low noise and security may be addressed. However, the ever-increasing interest in asynchronous circuits faces an important drawback, which is the lack of methods and tools that help designing such circuits. In this context, this thesis focuses on designing QDI (quasi-delay insensitive) asynchronous data paths. Initially, this thesis proposes and evaluates a method for comparing different asynchronous circuit implementations. Next, the two main arithmetic operators, which consist in adders and multipliers, are studied. In this study, not only several architectures were evaluated but also the impact of different data coding was analyzed. The comparison method and the arithmetic operator generation were automated, allowing designers to choose an implementation, which fits best the design constraints. The expertise earned by studying arithmetic operators has also led to the generalization of some guidelines concerning the design of all asynchronous data path. These guidelines are the result of a methodology for designing asynchronous data path. The results of this work improve the design tool, helping to reduce the gap between designers and asynchronous circuits

APA, Harvard, Vancouver, ISO, and other styles

21

BEN, AMMAR LOTFI. "Compilation de chemins de donnees optimises pour circuits vlsi." Paris 6, 1994. http://www.theses.fr/1994PA066039.

Full text

Abstract:

Cette these propose une nouvelle methode pour la compilation physique des chemins de donnees hautes performances. Les methodes existantes utilisent des techniques dediees qui manquent de souplesse, comparees aux techniques utilisant des cellules precaracterisees. Notre methode vise a la fois les performances des techniques dediees et la souplesse des techniques basees sur des cellules precaracterisees. Pour atteindre cet objectif, cinq principes de base ont ete mis au point: la portabilite technologique, le traitement des irregularites, la multi-accessibilite des connecteurs, une complexite d'interconnexions quelconque et un langage de specification dedie. Les algorithmes de placement/routage ont ete adaptes aux structures topologiques en tranches, afin d'optimiser au maximum les performances des chemins de donnees compiles. Le placement est base sur une methode d'aboutement permettant de partager des objets entre des cellules feuilles voisines. Le routage est essentiellement effectue au-dessus des cellules. Les connexions intra-tranches sont generalement assurees en vis-a-vis, grace a l'efficacite des connecteurs virtuels et de l'algorithme de routage correspondant. Pour valider les differents principes de base, un compilateur de chemins de donnees a ete developpe dans le cadre du projet europeen idps. Cet outil, appele fitpath, a ete utilise pour concevoir plusieurs chemins de donnees reels pour differentes applications. Les chemins de donnees du circuit stacs, d'une complexite totale de 875. 000 transistors, ont ete concus a l'aide de fitpath. Les performances en densite et en temps de propagation sont tres encourageantes, ce qui demontre la pertinence des choix adoptes. Pour certains exemples, ces performances sont meilleures que celles obtenues en utilisant des outils industriels

APA, Harvard, Vancouver, ISO, and other styles

22

Almeida, Pereira Monteiro Fabrice de. "Synthèse d'architectures de circuits intégrés : amélioration des performances par partitionnement des chemins de données." Montpellier 2, 1992. http://www.theses.fr/1992MON20161.

Full text

Abstract:

Dans le but d'obtenir une amelioration des performances temporelles sans augmentation de la surface de silicium occupee, une methode de partitionnement physique des architectures de circuits integres a ete developpee. Le partitionnement est obtenu par decoupage dynamique des bus de communication. On definit ainsi des sous-parties operatives pouvant communiquer entre elles de facon episodique. Une formulation mathematique exacte conduit aux solutions optimales. Cependant, la recherche de solutions optimales etant trop couteuse dans la pratique (probleme np-complet), il est fait appel a un ensemble coherent et performant d'heuristiques permettant l'obtention de solutions quasi-optimales (parfois optimales) avec des temps de calcul realistes

APA, Harvard, Vancouver, ISO, and other styles

23

Dupuis, Sophie. "Optimisation automatique des chemins de données arithmétiques par l’utilisation des systèmes de numération redondants." Paris 6, 2009. http://www.theses.fr/2009PA066131.

Full text

Abstract:

Cette thèse présente l'optimisation des chemins de données arithmétiques par l’intégration automatique de l’arithmétique redondante dans le flot de conception VLSI, de façon à le rendre plus accessible. Les travaux effectués se découpent en 2 phases. La 1ère a pour objectif d’incorporer les opérateurs redondants et le savoir-faire lié à leur usage dans la synthèse bas niveau. Les bonnes performances intrinsèques de ces opérateurs montrent l’intérêt de celle approche. Trois algorithmes d’optimisation sont proposés, basés sur la redéfinition des enchaînements entre opérateurs. La 2nde est consacrée à la mise en place de l’environnement de conception dans lequel seront utilisés ces algorithmes. Il répond aux besoins liés à l’arithmétique et fournit un langage de description de circuits avec un haut niveau d’abstraction. Ces algorithmes ont été appliqués sur des circuits arithmétiques. Les résultats confirment que l'intégration de l'arithmétique redondante améliore nettement les performances

APA, Harvard, Vancouver, ISO, and other styles

24

DUMONTEIX, YANNICK. "Optimisations des chemins de donnees arithmetiques par l'utilisation de plusieurs systemes de numeration." Paris 6, 2001. http://www.theses.fr/2001PA066293.

Full text

Abstract:

Cette these presente l'integration de nouveaux systemes de representations des nombres, plus precisement les systemes de notations redondantes, dans le flot de conception de curs de calculs. Les travaux effectues se decoupent en trois phases. La premiere est consacree a l'introduction des systemes de notations redondantes aux cotes des systemes de notations classiques. A cet effet nous avons defini une nouvelle arithmetique qualifiee de mixte. Celle-ci repond aux problemes lies a l'usage simultane des notations classiques et redondantes. Elle a donne lieu au developpement de nouveaux operateurs tres performants capables de tenir compte de toutes les combinaisons de notations classiques/redondantes sur leurs entrees/sorties. Les trois operations elementaires que sont l'addition, la somme et la multiplication, ont ete etudiees. Nous distinguons le cas particulier de l'ajout de deux operandes (addition) du cas general de l'ajout de trois operandes et plus (somme). Ces diverses operations ont ete realisees sous formes de generateurs ou la taille, le signe et la notation de chacune des operandes ainsi que l'algorithme de calcul utilise sont parametrables. La deuxieme phase a eut pour objectif de determiner l'impact de l'arithmetique mixte dans la conception de chemins de donnees. L'etude porte sur la redefinition des enchainements combinatoires et sequentiels entre operateurs et sur l'utilisation d'arbres d'additions (somme). Cette seconde phase a permis d'identifier des regles d'optimisation generiques liees a l'usage d'operateurs arithmetiques dans une architecture. La troisieme phase est consacree a la prise en compte de nouveaux systemes de representations dans la la synthese d'architecture. Nous nous interessons essentiellement a la phase de traduction comportements structures physiques. L'objectif est de proposer une methode de projection equivalente a celle utilisee dans la synthese bas niveau, incorporant en plus les operateurs arithmetiques et le savoir-faire lie a leur usage. Pour repondre a ces particularites, la projection ne se fait pas directement vers une bibliotheque de cellules pre-caracterisees, mais vers des generateurs d'architectures. Cette derniere phase a donne lieu a la definition d'une methodologie de conception de chemins de donnees basee sur l'utilisation de generateurs de fonctions elementaires et a la specification d'un outil d'aide a la conception de chemins de donnees. Ce dernier permet de definir un chemin de donnees par une description simplifiee.

APA, Harvard, Vancouver, ISO, and other styles

25

CROCOLI, ALDIR. "DONNÉ ET NÉ POUR NOUS EN CHEMIN: LA SOLIDARITÉ DANS LA VISION CHRISTOLOGIQUE DE FRANÇOIS D`ASSISE." PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO, 2004. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=4693@1.

Full text

Abstract:

CONSELHO NACIONAL DE DESENVOLVIMENTO CIENTÍFICO E TECNOLÓGICO Le Nouveau Testament, particulièrement les évangiles synoptiques, en développant une christologie narrative, nous présente une image de Jésus Christ solidaire avec les pauvres et les exclus, soit comme quelqu un identifié à eux (il mange et il boit avec eux, il n a pas une demeure stable, il souffre la mort d un outsider), soit en les privilégiant comme les premiers destinataires du règne qu il est venu inaugurer pour eux. Pour des raisons variées cette référence fut maintenue dans la pénombre au long des siècles. Mais l Esprit de Dieu qui conduit l histoire, a fait émerger, à partir du 13ème siècle, et de manière toujours plus forte, l appel de la solidarité qui devrait configurer la manière humaine d être. Pendant les 50 dernières années, la thématique de la solidarité, déjà popularisée, est passée à intégrer les réflexions de la christologie systématique, de manière toujours plus croissante et diversifiée. (I Partie) François d Assise, au 13ème siècle, semble anticiper ce phénomène, en présentant, de forme embryonnaire, une image de Jésus Christ profondément solidaire avec les pauvres et les humbles. Il fait des signes clairs à cela en trois moments clef de la vie de Jésus Christ : a) dans l incarnation, il met en évidence la naissance à coté du chemin - son option pour les fragiles et les exclus de la société ; b) dans la passion, mystère nucléaire de sa spiritualité, il montre, surtout dans l Office de la Passion, qu il souffre une mort injuste pour contredire les intérêts des puissants, par son annonce et par sa pratique en faveur des marginalisés ; c) et dans le continu revêtissement de la chaire de notre fragilité célébré dans le Sacrement de son Corps et Sang. François, en plus, ajoute des traces de la face solidaire de Jésus Christ par quelques titres ou images qu il lui attribue : celle du serf, celle du pauvre et pèlerin, et celle du berger. (II Partie) La vie c est de vivre l évangile, ce n`est pas seulement une question de réflexion. Pour cela, on se met a faire une vérification de sa implémentation, aussi en trois moments : a) dans l intuition originale, qui mène à suivre le Christ a partir des marginalisés, plutôt que pour devenir missionnaire d une intuition religieuse ; b) après on analyse sa marque dans le principal texte normatif, la Règle non Bullée, où l option pour les exclus, à exemple de Jésus Christ qui n a pas eu honte de se faire pauvre et pèlerin pour nous est un de ses points basilaires ; c) et, en fin, dans le Testament, le dernier écrit normatif, dans lequel François reprend et réadapte la manière de vie qu il entendait avoir eu révélée. La conclusion résulte claire : la solidarité c est une des notes configuratives du charisme franciscain originaire et condition sine qua non pour le reprendre et le vivre, fidèle et créativement, dans le présent e dans le futur de l histoire (III Partie) O Novo Testamento, e particularmente os sinóticos, desenvolvendo uma cristologia narrativa, nos apresenta uma imagem de Jesus Cristo solidário aos pobres e excluídos, quer enquanto alguém identificado com eles (come e bebe com eles, não tem moradia fixa, sofre morte de um outsider), quer privilegiando-os como primeiros destinatários do reino de Deus que ele veio anunciar e inaugurar. Por diversas razões, este dado tem sido mantido na penumbra ao longo dos séculos. Mas o Espírito de Deus que conduz a história, fez emergir, a partir do século XVIII, e de modo cada vez mais forte, o apelo da solidariedade que deveria configurar o modo humano de ser. Nos últimos 50 anos, a temática da solidariedade, já popularizada, passou também a integrar as reflexões da cristologia sistemática, de maneira sempre crescente e diversificada. (I Parte) Francisco de Assis, no século XIII, parece se antecipar a este fenômeno, apresentando, em forma embrionária, também uma imagem de Jesus Cristo profundamente solidário aos pobres e humildes. Faz acenos claros a isso nos três momentos chaves da vida de Jesus Cristo: a) na encarnação, ressaltando, ao nascer à beiro do caminho, sua opção pelos frágeis e excluídos da sociedade; b) na paixão, mistério nuclear de sua espiritualidade, mostrando, sobretudo no Ofício da Paixão, que sofre morte injusta por contradizer os interesses dos poderosos, por seu anúncio e sua prática em favor dos marginalizados; c) e no contínuo revestir-se da carne de nossa fragilidade, celebrado no Sacramento do seu Corpo e Sangue. Francisco, além disso, acrescenta traços do rosto solidário de Jesus Cristo mediante alguns títulos ou imagens que lhe atribui: o de servo, de pobre e peregrino e de pastor. (II Parte) A vida é viver o evangelho, não apenas refleti-lo. Por isso, se passa a fazer uma averiguação de sua implementação, também em três momentos: a) na intuição original, que aponta para o seguimento de Cristo desde os marginalizados, mais do que para ser missionário de uma instituição religiosa; b) depois, analisa-se sua implementação no principal texto normativo, a Regra não Bulada, onde a opção pelos excluídos, a exemplo de Jesus Cristo que não se envergonhou de se tornar pobre e peregrino por nós, é um dos seus pontos basilares; c) e, por fim, no Testamento, o último escrito normativo, no qual Francisco retoma e readapta o modo de vida que entendia ter-lhe sido revelado. A conclusão resulta clara: a solidariedade é uma das notas configuradoras do carisma franciscano originário e condição sine qua non para resgatá- lo e vivê-lo, fiel e criativamente, no presente e no futuro da história. (III Parte)

APA, Harvard, Vancouver, ISO, and other styles

26

Borozan, Valentin. "Proper and weak-proper trees in edges-colored graphs and multigraphs." Phd thesis, Université Paris Sud - Paris XI, 2011. http://tel.archives-ouvertes.fr/tel-00738959.

Full text

Abstract:

Dans la présente thèse nous étudions l'extraction d'arbres dans des graphes arêtes-coloriés.Nous nous concentrons sur la recherche d'arbres couvrants proprement arête-coloriés et faiblement arête-coloriés, notée PST et WST. Nous montrons que les versions d'optimisation de ces problèmes sont NP-Complete dans le cas général des graphes arêtes-coloriés, et nous proposons des algorithmes pour trouver ces arbres dans le cas des graphes arêtes-coloriés sans cycles proprement arêtes-coloriés.Nous donnons également quelques limites de nonapproximabilité. Nous proposons des conditions suffisantes pour l'existence de la PST dans des graphes arêtes-coloriés (pas forcément propre), en fonction de différents paramètres de graphes, tels que : nombre total de couleurs, la connectivité et le nombre d'arêtes incidentes dedifférentes couleurs pour un sommet. Nous nous intéressons aux chemins hamiltoniens proprement arêtes-coloriés dans le casdes multigraphes arêtes-coloriés. Ils présentent de l'intérêt pour notre étude, car ce sontégalement des arbres couvrants proprement arêtes-coloriés. Nous établissons des conditions suffisantes pour qu'un multigraphe contienne un chemin hamiltonien proprement arêtes-coloriés, en fonction de plusieurs paramètres tels que le nombre d'arêtes, le degré d'arêtes, etc. Puisque l'une des conditions suffisantes pour l'existence des arbres couvrants proprement arêtes-coloriés est la connectivité, nous prouvons plusieurs bornes supérieures pour le plus petit nombre de couleurs nécessaires pour la k-connectivité-propre. Nous énonçons plusieurs conjectures pour les graphes généraux et bipartis, et on arrive à les prouver pour k = 1.

APA, Harvard, Vancouver, ISO, and other styles

27

Salazar, Javier. "Resource allocation optimization algorithms for infrastructure as a service in cloud computing." Thesis, Sorbonne Paris Cité, 2016. http://www.theses.fr/2016USPCB074.

Full text

Abstract:

L’informatique, le stockage des données et les applications à la demande font partie des services offerts par l’architecture informatique en Nuage. Dans ce cadre, les fournisseurs de nuage (FN) agissent non seulement en tant qu’administrateurs des ressources d'infrastructure mais ils profitent aussi financièrement de la location de ces ressources. Dans cette thèse, nous proposons trois modèles d'optimisation du processus d'allocation des ressources dans le nuage dans le but de réduire les coûts générés et d’accroitre la qualité du service rendu. Cela peut être accompli en fournissant au FN les outils formels nécessaires pour réduire au minimum le prix des ressources dédiées à servir les requêtes des utilisateurs. Ainsi, la mise en œuvre des modèles proposés permettra non seulement l’augmentation des revenus du FN, mais aussi l’amélioration de la qualité des services offerts, ce qui enrichira l’ensemble des interactions qui se produisent dans le nuage. A cet effet, nous nous concentrons principalement sur les ressources de l’infrastructure en tant que service (IaaS), lesquels sont contenus dans des centres de données (DCs), et constituent l'infrastructure physique du nuage. Comme une alternative aux immenses DCs centralisés, la recherche dans ce domaine comprend l’installation de petits centres de données (Edge DCs) placés à proximité des utilisateurs finaux. Dans ce contexte nous adressons le problème d’allocation des ressources et pour ce faire nous utilisons la technique d'optimisation nommée génération de colonnes. Cette technique nous permet de traiter des modèles d'optimisation à grande échelle de manière efficace. La formulation proposée comprend à la fois, et dans une seule phase, les communications et les ressources informatiques à optimiser dans le but de servir les requêtes de service d'infrastructure. Sur la base de cette formulation, nous proposons également un deuxième modèle qui comprend des garanties de qualité de service toujours sous la même perspective d'allocation des ressources d’infrastructure en tant que service. Ceci nous permet de fournir plusieurs solutions applicables à divers aspects du même problème, tels que le coût et la réduction des délais, tout en offrant différents niveaux de service. En outre, nous introduisons le scénario informatique en nuage multimédia, qui, conjointement avec l'architecture des Edge DCs, résulte en l'architecture Multimédia Edge Cloud (MEC). Dans ce cadre, nous proposons une nouvelle approche pour l'allocation des ressources dans les architectures informatique en nuage multimédia lors du positionnement de ces DCs afin de réduire les problèmes liés à la communication, tels que la latence et la gigue. Dans cette formulation, nous proposons également de mettre en œuvre des technologies optiques de réseau de fibres pour améliorer les communications entre les DCs. Plusieurs travaux ont proposé de nouvelles méthodes pour améliorer la performance et la transmission de données. Dans nos travaux, nous avons décidé de mettre en œuvre le multiplexage en longueur d'onde (WDM) pour renforcer l'utilisation des liens et les chemins optiques dans le but de grouper différents signaux sur la même longueur d'onde. Un environnement de simulation réel est également présenté pour l’évaluation des performances et de l'efficacité des approches proposées. Pour ce faire, nous utilisons le scénario spécifié pour les DCs, et nous comparons par simulation nos modèles au moyen de différents critères de performances tel que l'impact de la formulation optique sur la performance du réseau. Les résultats numériques obtenus ont montré que, en utilisant nos modèles, le FN peut efficacement réduire les coûts d'allocation en maintenant toujours un niveau satisfaisant quant à l'acceptation de requêtes et la qualité du service The cloud architecture offers on-demand computing, storage and applications. Within this structure, Cloud Providers (CPs) not only administer infrastructure resources but also directly benefit from leasing them. In this thesis, we propose three optimization models to assist CPs reduce the costs incurred in the resource allocation process when serving users’ demands. Implementing the proposed models will not only increase the CP’s revenue but will also enhance the quality of the services offered, benefiting all parties. We focus on Infrastructure as a Service (IaaS) resources which constitute the physical infrastructure of the cloud and are contained in datacenters (DCs). Following existing research in DC design and cloud computing applications, we propose the implementation of smaller DCs (Edge DCs) be located close to end users as an alternative to large centralized DCs. Lastly, we use the Column Generation optimization technique to handle large scale optimization models efficiently. The proposed formulation optimizes both the communications and information technology resources in a single phase to serve IaaS requests. Based on this formulation, we also propose a second model that includes QoS guarantees under the same Infrastructure as a Service resource allocation perspective, to provide different solutions to diverse aspects of the resource allocation problem such as cost and delay reduction while providing different levels of service. Additionally, we consider the multimedia cloud computing scenario. When Edge DCs architecture is applied to this scenario it results in the creation of the Multimedia Edge Cloud (MEC) architecture. In this context we propose a resource allocation approach to help with the placement of these DCs to reduce communication related problems such as jitter and latency. We also propose the implementation of optical fiber network technologies to enhance communication between DCs. Several studies can be found proposing new methods to improve data transmission and performance. For this study, we decided to implement Wavelength Division Multiplexing (WDM) to strengthen the link usage and light-paths and, by doing so, group different signals over the same wavelength. Using a realistic simulation environment, we evaluate the efficiency of the approaches proposed in this thesis using a scenario specifically designed for the DCs, comparing them with different benchmarks and also simulating the effect of the optical formulation on the network performance. The numerical results obtained show that by using the proposed models, a CP can efficiently reduce allocation costs while maintaining satisfactory request acceptance and QoS ratios

APA, Harvard, Vancouver, ISO, and other styles

28

Shabadi, Vikas [Verfasser], Lambert [Akademischer Betreuer] Alff, and Wolfgang [Akademischer Betreuer] Donner. "Epitaxial engineering of ferrimagnetic double perovskites / Vikas Shabadi ; Lambert Alff, Wolfgang Donner." Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2017. http://d-nb.info/1135386048/34.

Full text

APA, Harvard, Vancouver, ISO, and other styles

29

Maréchal, Denis. "Du drain potentiel au drain réel : utilisation de données satellitales à très haute résolution pour l'étude de l'origine géomorphologique des chemins de l'eau sur des bassins versants méditerranéens soumis aux crues éclair." Phd thesis, Ecole Nationale Supérieure des Mines de Saint-Etienne, 2011. http://tel.archives-ouvertes.fr/tel-00715931.

Full text

Abstract:

En zone méditerranéenne, d'intenses précipitations automnales sont responsables de crues particulièrement violentes : les crues " éclair ". L'intensité et la variabilité des précipitations ainsi que la complexité des processus hydrologiques responsables de la production des écoulements sur ces bassins limitent la prédictibilité de ces phénomènes. Une meilleure compréhension des processus impliqués dans les réponses hydrologiques des bassins versants et responsables de la variabilité spatio-temporelle des chemins de l'eau peut permettre d'améliorer les modélisations de ce type d'évènement. S'insérant dans le cadre de l'hydrologie spatialisée, cette thèse se propose d'étudier l'apport des potentialités satellitales, et notamment des produits 3D à très haute résolution pour la caractérisation spatiale des bassins et de leurs réseaux hydrographiques, afin d'étudier les origines géomorphologiques des variations spatio-temporelles des réponses hydrologiques et en vue d'améliorer la compréhension des mécanismes responsables des épisodes de crue. Pour cela, ce travail s'articule autour de deux axes. Le premier consiste à caractériser, à partir de données spatiales, le drain " potentiel " représentant le réseau géomorphologique sec formé par la suite continue des lignes de thalweg des bassins. Un algorithme original utilisant une structure de MNT sous forme triangulaire (TIN) a été développé spécifiquement dans ce but, afin d'obtenir un tracé des réseaux fidèle à leur tracé réel et de fournir des éléments sur leur géomorphologie ainsi que sur celle des bassins. Le deuxième axe concerne l'étude de la dynamique drain en eau ou " réel ". Il s'agit d'améliorer la compréhension des dynamiques spatiales de mise en eau des drains à travers différents épisodes de crue. Dans ce cadre, un réseau spatialisé de capteurs légers a été distribué sur deux bassins expérimentaux (< 1Km²) situés sur le Gardon d'Anduze afin de suivre les variations spatio-temporelles des dynamiques hydrologiques au sein des réseaux en eau. La confrontation des caractéristiques géomorphologiques et des réponses hydrologiques observées a permis de confirmer la prédominance des écoulements sub-surfaciques sur les bassins étudiés, de mettre en évidence deux types de réseaux aux fonctionnements différenciés (le réseau principal et le réseau secondaire), l'importante influence des pentes et de leur changement sur l'initiation et la pérennité des écoulements au sein des réseaux, et de proposer des hypothèses de fonctionnements différenciés en fonction des épisodes.

APA, Harvard, Vancouver, ISO, and other styles

30

Maréchal, Denis. "Du drain potentiel au drain réel : utilisation de données satellitales à très haute résolution pour l’étude de l’origine géomorphologique des chemins de l’eau sur des bassins versants méditerranéens soumis aux crues éclair." Thesis, Saint-Etienne, EMSE, 2011. http://www.theses.fr/2011EMSE0609/document.

Full text

Abstract:

En zone méditerranéenne, d’intenses précipitations automnales sont responsables de crues particulièrement violentes : les crues « éclair ». L’intensité et la variabilité des précipitations ainsi que la complexité des processus hydrologiques responsables de la production des écoulements sur ces bassins limitent la prédictibilité de ces phénomènes. Une meilleure compréhension des processus impliqués dans les réponses hydrologiques des bassins versants et responsables de la variabilité spatio-temporelle des chemins de l’eau peut permettre d’améliorer les modélisations de ce type d’évènement. S’insérant dans le cadre de l’hydrologie spatialisée, cette thèse se propose d'étudier l'apport des potentialités satellitales, et notamment des produits 3D à très haute résolution pour la caractérisation spatiale des bassins et de leurs réseaux hydrographiques, afin d’étudier les origines géomorphologiques des variations spatio-temporelles des réponses hydrologiques et en vue d’améliorer la compréhension des mécanismes responsables des épisodes de crue. Pour cela, ce travail s’articule autour de deux axes. Le premier consiste à caractériser, à partir de données spatiales, le drain « potentiel » représentant le réseau géomorphologique sec formé par la suite continue des lignes de thalweg des bassins. Un algorithme original utilisant une structure de MNT sous forme triangulaire (TIN) a été développé spécifiquement dans ce but, afin d’obtenir un tracé des réseaux fidèle à leur tracé réel et de fournir des éléments sur leur géomorphologie ainsi que sur celle des bassins. Le deuxième axe concerne l’étude de la dynamique drain en eau ou « réel ». Il s’agit d’améliorer la compréhension des dynamiques spatiales de mise en eau des drains à travers différents épisodes de crue. Dans ce cadre, un réseau spatialisé de capteurs légers a été distribué sur deux bassins expérimentaux (< 1Km²) situés sur le Gardon d’Anduze afin de suivre les variations spatio-temporelles des dynamiques hydrologiques au sein des réseaux en eau. La confrontation des caractéristiques géomorphologiques et des réponses hydrologiques observées a permis de confirmer la prédominance des écoulements sub-surfaciques sur les bassins étudiés, de mettre en évidence deux types de réseaux aux fonctionnements différenciés (le réseau principal et le réseau secondaire), l’importante influence des pentes et de leur changement sur l’initiation et la pérennité des écoulements au sein des réseaux, et de proposer des hypothèses de fonctionnements différenciés en fonction des épisodes In Mediterranean areas, heavy rainfalls can generate flash floods during fall season. The rainfall intensities and their high spatial variability combined with complex processes of run-off generation reduce drastically the predictability of these phenomena. Although rainfall intensities monitoring techniques are progressing, another way to better understand and predict the hydrological responses of the catchments is to better understand the hydrological processes underlying the spatial and temporal variability of water pathways on upstream elementary catchments where concentrated flows begin. In the framework of spatial hydrology, this PhD proposes to study the potentialities of remote sensing, in particular the emergent high spatial resolution 3D products, to characterize catchments drainage elementary networks in order to relate some derivated geomorphologic traits to the observed hydrological responses all over catchments. This permits to identify the involved hydrological processes during flow dynamics on upstream mountainous catchments. This work is organized in two axes. The first one consists in characterizing, from 3D satellite data, the “potential” drain corresponding to the dry morphological network of a basin, formed by the continuum of thalweg lines within a catchment. An original algorithm, based on a TIN DEM structure, has been specifically designed for this purpose. This algorithm allows the delineation of thalwegs networks and provides geomorphological traits of catchments and networks. The second axe concern the study of the spatial dynamic of the “real” drain, which is the drain with effective flow. The goal is to enhance the understanding of flow networks spatial dynamics during rainfall events. A specific sensor network has been specially distributed on two experimental sub-catchments of the Gardon d’Anduze watershed in order to monitor the spatio-temporal variations of flow and network dynamics. The relationship between computed geomorphologic features and observed hydrological responses along networks tends to confirm the prevalence of sub-surface flows on the studied catchments. This exhibits two types of hydrographic networks, showing two distinct hydrological behaviors (the principal and secondary networks). Results also show the great influence of slopes and their variations on flow initiation and durability, and to propose hypothesis of hydrological mechanisms, in function of the observed events

APA, Harvard, Vancouver, ISO, and other styles

31

Zvoriste, Carmen [Verfasser], Ralf [Akademischer Betreuer] Riedel, and Wolfgang [Akademischer Betreuer] Donner. "High-Pressure Synthesis, Crystal Structure and Physical Properties of Gallium Oxonitride / Carmen Zvoriste. Betreuer: Ralf Riedel ; Wolfgang Donner." Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2011. http://d-nb.info/1105564053/34.

Full text

APA, Harvard, Vancouver, ISO, and other styles

32

Ruiz, Jordy. "Détermination de propriétés de flot de données pour améliorer les estimations de temps d'exécution pire-cas." Thesis, Toulouse 3, 2017. http://www.theses.fr/2017TOU30285/document.

Full text

Abstract:

La recherche d'une borne supérieure au temps d'exécution d'un programme est une partie essentielle du processus de vérification de systèmes temps-réel critiques. Les programmes de tels systèmes ont généralement des temps d'exécution variables et il est difficile, voire impossible, de prédire l'ensemble de ces temps possibles. Au lieu de cela, il est préférable de rechercher une approximation du temps d'exécution pire-cas ou Worst-Case Execution Time (WCET). Une propriété cruciale de cette approximation est qu'elle doit être sûre, c'est-à-dire qu'elle doit être garantie de majorer le WCET. Parce que nous cherchons à prouver que le système en question se termine en un temps raisonnable, une surapproximation est le seul type d'approximation acceptable. La garantie de cette propriété de sûreté ne saurait raisonnablement se faire sans analyse statique, un résultat se basant sur une série de tests ne pouvant être sûr sans un traitement exhaustif des cas d'exécution. De plus, en l'absence de certification du processus de compilation (et de transfert des propriétés vers le binaire), l'extraction de propriétés doit se faire directement sur le code binaire pour garantir leur fiabilité. Toutefois, cette approximation a un coût : un pessimisme - écart entre le WCET estimé et le WCET réel - important entraîne des surcoûts superflus de matériel pour que le système respecte les contraintes temporelles qui lui sont imposées. Il s'agit donc ensuite, tout en maintenant la garantie de sécurité de l'estimation du WCET, d'améliorer sa précision en réduisant cet écart de telle sorte qu'il soit suffisamment faible pour ne pas entraîner des coûts supplémentaires démesurés. Un des principaux facteurs de surestimation est la prise en compte de chemins d'exécution sémantiquement impossibles, dits infaisables, dans le calcul du WCET. Ceci est dû à l'analyse par énumération implicite des chemins ou Implicit Path Enumeration Technique (IPET) qui raisonne sur un surensemble des chemins d'exécution. Lorsque le chemin d'exécution pire-cas ou Worst-Case Execution Path (WCEP), correspondant au WCET estimé, porte sur un chemin infaisable, la précision de cette estimation est négativement affectée. Afin de parer à cette perte de précision, cette thèse propose une technique de détection de chemins infaisables, permettant l'amélioration de la précision des analyses statiques (dont celles pour le WCET) en les informant de l'infaisabilité de certains chemins du programme. Cette information est passée sous la forme de propriétés de flot de données formatées dans un langage d'annotation portable, FFX, permettant la communication des résultats de notre analyse de chemins infaisables vers d'autres analyses. Les méthodes présentées dans cette thèse sont inclues dans le framework OTAWA, développé au sein de l'équipe TRACES à l'IRIT. Elles usent elles-mêmes d'approximations pour représenter les états possibles de la machine en différents points du programme The search for an upper bound of the execution time of a program is an essential part of the verification of real-time critical systems. The execution times of the programs of such systems generally vary a lot, and it is difficult, or impossible, to predict the range of the possible times. Instead, it is better to look for an approximation of the Worst-Case Execution Time (WCET). A crucial requirement of this estimate is that it must be safe, that is, it must be guaranteed above the real WCET. Because we are looking to prove that the system in question terminates reasonably quickly, an overapproximation is the only acceptable form of approximation. The guarantee of such a safety property could not sensibly be done without static analysis, as a result based on a battery of tests could not be safe without an exhaustive handling of test cases. Furthermore, in the absence of a certified compiler (and tech- nique for the safe transfer of properties to the binaries), the extraction of properties must be done directly on binary code to warrant their soundness. However, this approximation comes with a cost : an important pessimism, the gap between the estimated WCET and the real WCET, would lead to superfluous extra costs in hardware in order for the system to respect the imposed timing requirements. It is therefore important to improve the precision of the WCET by reducing this gap, while maintaining the safety property, as such that it is low enough to not lead to immoderate costs. A major cause of overestimation is the inclusion of semantically impossible paths, said infeasible paths, in the WCET computation. This is due to the use of the Implicit Path Enumeration Technique (IPET), which works on an superset of the possible execution paths. When the Worst-Case Execution Path (WCEP), corresponding to the estimated WCET, is infeasible, the precision of that estimation is negatively affected. In order to deal with this loss of precision, this thesis proposes an infeasible paths detection technique, enabling the improvement of the precision of static analyses (namely for WCET estimation) by notifying them of the infeasibility of some paths of the program. This information is then passed as data flow properties, formatted in the FFX portable annotation language, and allowing the communication of the results of our infeasible path analysis to other analyses

APA, Harvard, Vancouver, ISO, and other styles

33

Hadachi, Amnir. "Travel Time Estimation Using Sparsely Sampled Probe GPS Data in Urban Road Networks Context." Phd thesis, INSA de Rouen, 2013. http://tel.archives-ouvertes.fr/tel-00800203.

Full text

Abstract:

This dissertation is concerned with the problem of estimating travel time per links in urban context using sparsely sampled GPS data. One of the challenges in this thesis is use the sparsely sampled data. A part of this research work, i developed a digital map with its new geographic information system (GIS), dealing with map-matching problem, where we come out with an enhancement tecnique, and also the shortest path problem.The thesis research work was conduct within the project PUMAS, which is an avantage for our research regarding the collection process of our data from the real world field and also in making our tests. The project PUMAS (Plate-forme Urbaine de Mobilité Avancée et Soutenable / Urban Platform for Sustainable and Advanced Mobility) is a preindustrial project that has the objective to inform about the traffic situation and also to develop an implement a platform for sustainable mobility in order to evaluate it in the region, specifically Rouen, France. The result is a framework for any traffic controller or manager and also estimation researcher to access vast stores of data about the traffic estimation, forecasting and status.

APA, Harvard, Vancouver, ISO, and other styles

34

Gröting, Melanie [Verfasser], Karsten [Akademischer Betreuer] Albe, and Wolfgang [Akademischer Betreuer] Donner. "Ab-initio Calculations of the Relaxor Ferroelectric Na1/2Bi1/2TiO3 and its Solid Solutions / Melanie Gröting. Betreuer: Karsten Albe ; Wolfgang Donner." Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2013. http://d-nb.info/1106454863/34.

Full text

APA, Harvard, Vancouver, ISO, and other styles

35

Liu, Hairui [Verfasser], Jürgen [Akademischer Betreuer] Rödel, Mario [Akademischer Betreuer] Maglione, Wolfgang [Akademischer Betreuer] Donner, and Hans-Joachim [Akademischer Betreuer] Kleebe. "Growth and Characterization of Lead-free (K,Na)NbO3-based Piezoelectric Single Crystals / Hairui Liu ; Jürgen Rödel, Mario Maglione, Wolfgang Donner, Hans-Joachim Kleebe." Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2016. http://d-nb.info/1122286198/34.

Full text

APA, Harvard, Vancouver, ISO, and other styles

36

Acosta, Matias [Verfasser], Jürgen [Akademischer Betreuer] Rödel, and Wolfgang [Akademischer Betreuer] Donner. "Strain Mechanisms in Lead-Free Ferroelectrics for Actuators / Matias Acosta ; Jürgen Rödel, Wolfgang Donner." Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2015. http://d-nb.info/1122286163/34.

Full text

APA, Harvard, Vancouver, ISO, and other styles

37

Chavez, Ricardo [Verfasser], Ralf [Akademischer Betreuer] Riedel, Wolfgang [Akademischer Betreuer] Ensinger, Wolfgang [Akademischer Betreuer] Donner, and Corneliu [Akademischer Betreuer] Balan. "Synthese thermoplastischer Si-basierter Polymere mit hoher thermischer Beständigkeit für die Herstellung von Bauteilen / Ricardo Chavez. Betreuer: Ralf Riedel ; Wolfgang Ensinger ; Wolfgang Donner ; Corneliu Balan." Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2012. http://d-nb.info/1106116917/34.

Full text

APA, Harvard, Vancouver, ISO, and other styles

38

Yavuz, Murat [Verfasser], Wolfgang [Akademischer Betreuer] Donner, and Helmut [Akademischer Betreuer] Ehrenberg. "Investigation of Local and Average Structure in Li-ion Battery Electrode Materials by X-ray Diffraction / Murat Yavuz. Betreuer: Wolfgang Donner ; Helmut Ehrenberg." Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2016. http://d-nb.info/1112141502/34.

Full text

APA, Harvard, Vancouver, ISO, and other styles

39

Hildebrandt, Sandra [Verfasser], Lambert [Akademischer Betreuer] Alff, Wolfgang [Akademischer Betreuer] Donner, Wolfgang [Akademischer Betreuer] Ensinger, and Barbara [Akademischer Betreuer] Albert. "Synthesis and thin film growth of alkaline cobaltates NaxCoO2 and LixCoO2 / Sandra Hildebrandt. Betreuer: Lambert Alff ; Wolfgang Donner ; Wolfgang Ensinger ; Barbara Albert." Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2012. http://d-nb.info/110645443X/34.

Full text

APA, Harvard, Vancouver, ISO, and other styles

40

Ciucanu, Radu. "Cross-model queries and schemas : complexity and learning." Thesis, Lille 1, 2015. http://www.theses.fr/2015LIL10056/document.

Full text

Abstract:

La spécification de requêtes est généralement une tâche difficile pour les utilisateurs non-experts. Le problème devient encore plus difficile quand les utilisateurs ont besoin d'interroger des bases de données de grande taille et donc difficiles à visualiser. Le schéma pourrait aider à cette spécification, mais celui-ci manque souvent ou est incomplet quand les données viennent de sources hétérogènes. Dans cette thèse, nous abordons le problème de la spécification de requêtes pour les utilisateurs non-experts. Nous identifions deux approches pour attaquer ce problème : apprendre les requêtes à partir d'exemples ou transformer les données dans un format plus facilement interrogeable par l'utilisateur. Nos contributions suivent ces deux directions et concernent trois modèles de données parmi les plus populaires : XML, relationnel et orienté graphe. Cette thèse comprend deux parties, consacrées à (i) la définition et la transformation de schémas, et (ii) l'apprentissage de schémas et de requêtes. Dans la première partie, nous définissons des formalismes de schémas pour les documents XML non-ordonnés et nous analysons leurs propriétés computationnelles; nous étudions également la complexité du problème d'échange de données entre une source relationnelle et une cible orientée graphe. Dans la deuxième partie, nous étudions le problème de l'apprentissage à partir d'exemples pour les schémas XML proposés dans la première partie, ainsi que pour les requêtes de jointures relationnelles et les requêtes de chemins sur les graphes. Nous proposons notamment un scénario interactif qui permet d'aider des utilisateurs non-experts à définir des requêtes dans ces deux classes Specifying a database query using a formal query language is typically a challenging task for non-expert users. In the context of big data, this problem becomes even harder because it requires the users to deal with database instances of large size and hence difficult to visualize. Such instances usually lack a schema to help the users specify their queries, or have an incomplete schema as they come from disparate data sources. In this thesis, we address the problem of query specification for non-expert users. We identify two possible approaches for tackling this problem: learning queries from examples and translating the data in a format that the user finds easier to query. Our contributions are aligned with these two complementary directions and span over three of the most popular data models: XML, relational, and graph. This thesis consists of two parts, dedicated to (i) schema definition and translation, and to (ii) learning schemas and queries. In the first part, we define schema formalisms for unordered XML and we analyze their computational properties; we also study the complexity of the data exchange problem in the setting of a relational source and a graph target database. In the second part, we investigate the problem of learning from examples the schemas for unordered XML proposed in the first part, as well as relational join queries and path queries on graph databases. The interactive scenario that we propose for these two classes of queries is immediately applicable to assisting non-expert users in the process of query specification

APA, Harvard, Vancouver, ISO, and other styles

41

Hildebrandt, Erwin Matti [Verfasser], Lambert [Akademischer Betreuer] Alff, Thomas [Akademischer Betreuer] Schröder, Wolfgang [Akademischer Betreuer] Donner, and Wolfgang [Akademischer Betreuer] Ensinger. "Oxygen Engineered Hafnium Oxide Thin Films grown by Reactive Molecular Beam Epitaxy / Erwin Matti Hildebrandt. Betreuer: Lambert Alff ; Thomas Schröder ; Wolfgang Donner ; Wolfgang Ensinger." Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2012. http://d-nb.info/1106454294/34.

Full text

APA, Harvard, Vancouver, ISO, and other styles

42

Milliet, De Faverges Marie. "Développement et implémentation de modèles apprenants pour l’exploitation des grandes gares." Electronic Thesis or Diss., Paris, CNAM, 2020. http://www.theses.fr/2020CNAM1283.

Full text

Abstract:

Cette thèse traite de l’incertitude et de la robustesse dans les problèmes de d´décision, avec le cas d’application des affectations de quais en gare en cas de retards. Une m´méthodologie en deux parties est proposée pour aborder ce problème. Dans un premier temps, les archives de données de retards sont utilisées pour construire des modèles de prédiction de distribution de probabilités conditionnellement aux valeurs d’un ensemble de variables explicatives. Une m´méthodologie de validation et d’évaluation de ces prédictions est mise en place afin d’assurer leur fiabilité pour de la prise de d´décision. Le problème d’affectations de quais pouvant être vu comme une recherche de clique de taille maximum, ces distributions prédites sont utilisées dans une seconde partie pour ajouter des pondérations pénalisant les risques de rupture des arêtes en cas de retard. Des algorithmes de recherche locale ont ´été utilisés et les expériences ont montré une importante baisse de conflits This thesis deals with uncertainty and robustness in decision problems, with the case of the train platforming problem subject to delays. A two-part methodology is proposed to address this problem. First, delay records are used to build models predicting probability distributions conditionnaly to a set of explanatory variables. A methodology to validate and evaluate these predictions is proposed to ensure their reliability for decision-making. As the train platforming problem can be seen as a weighted clique problem, these predicted distributions are used in a second part to add weights on edges to penalize risk of conflict. Local search algorithms are used and experiments show a significant decrease in conflicts

APA, Harvard, Vancouver, ISO, and other styles

43

Cornet, Sélim. "Formalisation et résolution du problème de construction de grilles horaires robustes pour les réseaux ferrés denses." Thesis, Lille, 2020. https://pepite-depot.univ-lille.fr/LIBRE/EDSPI/2020/50376-2020-Cornet.pdf.

Full text

Abstract:

La concentration de l'activité économique autour des grandes villes y entraîne une augmentation régulière de la demande en transport. Afin de répondre à cette demande, les entreprises de transports en commun tentent de proposer une offre adéquate, mais celles-ci sont contraintes par la saturation progressive des infrastructures. Dans le cas du transport ferroviaire, l'accroissement du nombre de voyageurs et de trains en circulation a pour conséquence une augmentation du nombre de perturbations au cours de l'exploitation, ainsi que de leur tendance à se propager et à s'amplifier. Il en résulte une qualité de service dégradée pour les usagers et des pénalités financières pour les opérateurs. Deux leviers peuvent être actionnés pour atténuer les conséquences de ces perturbations : l'application de mesures de régulation pendant la phase opérationnelle, et la construction en amont de plans de transport robustes face aux petits aléas. C'est principalement sur ce dernier point que porte le travail de la thèse. Après avoir présenté le fonctionnement de l'exploitation ferroviaire en zone dense et donné une définition d'un petit aléa, nous passons en revue les différents travaux ayant été menés sur le sujet. La grande majorité des cadres conceptuels proposés pour la conception d'horaires robustes ne sont pas adaptés au cas spécifique de la zone dense, c'est pourquoi nous proposons un nouveau modèle sous la forme d'un problème d'optimisation stochastique. Une approche de résolution est ensuite détaillée, en trois étapes. La première porte sur l'estimation des distributions de probabilité des aléas de l'exploitation, à partir de données de retour d'expérience. Dans un second temps, nous utilisons ces distributions dans un outil de simulation stochastique permettant d'évaluer la performance d'une grille horaire donnée. Enfin, cet outil est utilisé comme fonction d'évaluation au sein d'une heuristique de recuit simulé visant à générer automatiquement des grilles horaires robustes Due to the greater concentration of economic activities around big cities, transportation facilities are facing an increasing demand. In order to answer it, transport companies seek to provide an adequate offer. However, they are constrained by the progressive saturation of transportation networks. Concerning railway transportation, the increasing numbers of passengers and trains result in a higher number of disturbances occuring during operations, as well as a higher tendency of those to amplify and spread over the network. The final consequence is a lower quality of service for passenger and financial penalties to operating companies. There are two levels of action to prevent these phenomena or limit their reach : taking control actions during operations, and anticipate by building robust transportation plans that will make easier to cope with small random disturbances. The work presented in this thesis focuses mainly on this last point. After presenting railway operations and its specificities in a Mass Transit context and defining what we call ``small disturbances'', we provide a review of existing work on similar topics. Most of conceptual frames designed for robust train timetabling are inadequate when it comes to applying them to the specific case of dense traffic areas. That is why we propose a new model given under the form of a stochastic program. We present then a three-step approach for solving it. In the first step, we use data about operations to estimate the probability distributions of disturbances. In the second one, we use these distributions in a stochastic simulation tool that allows us to compute the performance of a given timetable. Finally, this tool is used as a fitness function in a simheuristic, based on simulated annealing algorithm, that aims at computing automatically some robust train timetables

APA, Harvard, Vancouver, ISO, and other styles

44

Pasca, Bogdan Mihai. "Calcul flottant haute performance sur circuits reconfigurables." Phd thesis, Ecole normale supérieure de lyon - ENS LYON, 2011. http://tel.archives-ouvertes.fr/tel-00654121.

Full text

Abstract:

De plus en plus de constructeurs proposent des accélérateurs de calculs à base de circuits reconfigurables FPGA, cette technologie présentant bien plus de souplesse que le microprocesseur. Valoriser cette flexibilité dans le domaine de l'accélération de calcul flottant en utilisant les langages de description de circuits classiques (VHDL ou Verilog) reste toutefois très difficile, voire impossible parfois. Cette thèse a contribué au développement du logiciel FloPoCo, qui offre aux utilisateurs familiers avec VHDL un cadre C++ de description d'opérateurs arithmétiques génériques adapté au calcul reconfigurable. Ce cadre distingue explicitement la fonctionnalité combinatoire d'un opérateur, et la problématique de son pipeline pour une précision, une fréquence et un FPGA cible donnés. Afin de pouvoir utiliser FloPoCo pour concevoir des opérateurs haute performance en virgule flottante, il a fallu d'abord concevoir des blocs de bases optimisés. Nous avons d'abord développé des additionneurs pipelinés autour des lignes de propagation de retenue rapides, puis, à l'aide de techniques de pavages, nous avons conçu de gros multiplieurs, possiblement tronqués, utilisant des petits multiplieurs. L'évaluation de fonctions élémentaires en flottant implique souvent l'évaluation en virgule fixe d'une fonction. Nous présentons un opérateur générique de FloPoCo qui prend en entrée l'expression de la fonction à évaluer, avec ses précisions d'entrée et de sortie, et construit un évaluateur polynomial optimisé de cette fonction. Ce bloc de base a permis de développer des opérateurs en virgule flottante pour la racine carrée et l'exponentielle qui améliorent considérablement l'état de l'art. Nous avons aussi travaillé sur des techniques de compilation avancée pour adapter l'exécution d'un code C aux pipelines flexibles de nos opérateurs. FloPoCo a pu ainsi être utilisé pour implanter sur FPGA des applications complètes.

APA, Harvard, Vancouver, ISO, and other styles

45

Saint-Marc, Cécile. "Formalisation et géovisualisation d'événements historiques issus de risques naturels pour la compréhension des dynamiques spatiales : application aux inondations ayant touché le système ferroviaire français." Thesis, Université Grenoble Alpes (ComUE), 2017. http://www.theses.fr/2017GREAS024/document.

Full text

Abstract:

Cette thèse a été conduite dans le cadre d’une convention industrielle avec SNCF Réseau. Elle se situe dans le domaine de la géovisualisation d’informations spatio-temporelles, et porte plus particulièrement sur l’élaboration de méthodes de visualisation cartographiques adaptées à l’analyse des impacts des inondations sur le système ferroviaire. Les événements historiques sont une source d’informations importante pour la compréhension et la gestion des risques naturels. La cartographie s’est imposée comme un outil clé pour appréhender les risques dans leurs contextes territoriaux. Mais l’élaboration de visualisations cartographiques qui soient lisibles tout en restituant la complexité des processus survenus lors d’une catastrophe naturelle n’est pas aisée. Les verrous principaux sont la nécessité de représenter à la fois les dimensions spatiales et temporelles des événements issus de risques, le besoin de visualiser les effets dominos, qui conduisent à amplifier les dommages, et la volonté d’adapter les représentations aux besoins et aux capacités cognitives des utilisateurs. Ce travail a conduit à quatre contributions. La première contribution a consisté à formaliser les récits d’inondations dans une ontologie de domaine, qui décrit à la fois les événements issus d’inondations, les effets dominos et leurs impacts sur le système ferroviaire et les mesures de réaction pour ramener le système ferroviaire à l’état d’équilibre. Cinq cas d’inondations historiques ont été instanciés dans le modèle. Leur étude a permis de formuler des principes sémiologiques génériques pour cartographier les récits d’inondations, ce qui constitue la deuxième contribution. La troisième contribution est la production d’une interface de géovisualisation intégrant des représentations graphiques innovantes pour visualiser les temporalités associées aux événements. Cette interface de géovisualisation a fait l’objet d’une expérimentation auprès des experts ferroviaires. Les résultats ont validé les propositions relatives à la représentation du temps mais ont infirmé les propositions de visualisation des effets dominos. Suite à l’analyse des résultats, la quatrième contribution consiste en un modèle de protocole expérimental réutilisable, adapté au test d’interfaces de géovisualisation This research was led in an industrial partnership with SNCF Réseau. In the field of geovisualization of spatio-temporal information, it focuses on developing cartographical visualization methods adapted to the analysis of the impacts of floods on the railway system.Historical events are of great help to understand and manage natural risks. Cartography became a key tool to analyze risks in their territorial contexts. But making maps which remain legible while showing all the complexity of risk processes that occurred during natural disaster is not easy. The main challenges are the need to represent both the temporal and the spatial dimensions of risk events, the need to visualize domino-effect, because they often lead to worsen damages, and the will to adapt representations to the cognitive capacities of users.This research resulted in four contributions. The first one is the formalization of flood narratives in a domain ontology, which describes flood events, domino-effects, their impacts on the railway system and also response measures to restore the system. Five case studies of historical floods were instantiated in the model. Resulting from their study, the second contribution consists in generic semiology principles to visualize the narratives of floods on maps. The third contribution is a geovisualization interface, which includes original graphical representations to visualize the temporal features associated with flood events. This geovisualization interface was tested in an experiment with expert users of the railway field. Results confirmed the proposals of representation of time but disconfirm proposals of visualization of domino effects. The analysis of results led to the fourth contribution, which consists in a reusable model of an experimental procedure that is adapted to test geovisualization interfaces

APA, Harvard, Vancouver, ISO, and other styles

46

Ji, Zhi Ping. "Transport combiné ou transport routier ? Etude des facteurs de choix entre deux systèmes de transport intérieur de fret." Phd thesis, Ecole Nationale des Ponts et Chaussées, 1994. http://tel.archives-ouvertes.fr/tel-00529459.

Full text

Abstract:

Le but de cette thèse est de décrire la problématique de la concurrence entre le transport combiné et le transport routier, par une analyse quantitative des facteurs influant le choix du transport combiné intérieur. Cette analyse s'appuie sur des outils économétriques du choix du mode de transport qui reposent sur la théorie de la maximisation de l'utilité du consommateur. Une double démarche de la modélisation a été conduite afin de trouver les facteurs sensibles à l'égard du transport combiné : d'une part, la modélisation agrégée du partage modal à l'aide des données recensées sur un échantillon de 44 axes principaux du transport combiné intérieur, et d'autre part, la modélisation désagrégée à l'aide des données tirées de l'enquête auprès des chargeurs de l'INRETS. Les résultats obtenus au cours de ce travail sont plutôt encourageants. Notre étude confirme que les facteurs tels que le prix et la distance ont une forte influence sur le choix du transport combiné. En plus, d'autres facteurs tels que les plages horaires de départ des trains, les différentes catégories de chargeurs et la valeur au kilo de l'envoi se révèlent également sensibles vis-à-vis du choix du transport combiné. La méthode utilisée permet de prévoir l'influence de la concurrence sur le marché de transport de fret et peut s'avérer aussi un outil d'analyse dans le but d'éclairer la politique du développement du transport combiné.

APA, Harvard, Vancouver, ISO, and other styles

47

Scotti, Nelly. "Manager la relation de service dans les organisations publiques en mutation ou comment donner du sens au travail relationnel : les cas de La Poste et de la SNCF." Thesis, Aix-Marseille 3, 2011. http://www.theses.fr/2011AIX32092.

Full text

Abstract:

Cette recherche ambitionne de comprendre comment les organisations publiques en mutation ont intégré à leur stratégie l’intention qui vise à « placer l’usager au cœur de l’organisation » dans leur management de la relation de service et à travers les outils mis en œuvre pour traduire ce discours en actes de management et d’expliquer comment ces choix en matière de gestion de la relation de service avec les usagers-clients affectent le sens du travail des agents en contact.L’analyse de la littérature s’articule autour de trois champs théoriques : le concept de la relation de service mobilisant des champs pluridisciplinaires, notamment celui de la sociologie, du marketing et de l’économie des services, le management des organisations publiques et plus particulièrement des organisations publiques en mutation dans un contexte d’ouverture à la concurrence et les modèles du sens au travail et de la construction du sens dans les organisations. L’objectif étant de comprendre comment la relation de service prend une place de plus en plus importante dans les organisations publiques comme préoccupation managériale dans un souci de développement de la performance et de mise en adéquation des besoins des usagers-clients avec les services délivrés par les organisations publiques.Deux études de cas ont été sélectionnées pour observer ces changements, le cas de La Poste et de la SNCF, deux anciens monopoles publics, qui sont ancrés dans les représentations collectives comme des institutions du quotidien des français et qui s’appuient sur une culture forte du service public. Ces études de cas ont été menées dans une démarche de recherche qualitative qui vise à faire émerger du discours des dirigeants, des managers de proximité et des agents en contact, les perceptions de ces outils et de ces changements dans la relation de service et les effets de ces outils sur le travail et plus particulièrement le sens du travail des agents.Les études de cas ont fait apparaître des résultats contre-intuitifs par rapport aux structures organisationnelles des deux institutions étudiées. Ainsi, les résultats permettent de montrer comment le choix de la normalisation et de l’accroissement du contrôle à La Poste développe une approche du service par la règle et la standardisation du travail de la relation de service qui crée une rupture culturelle dans les pratiques des postiers attachés à leur travail comme vecteur de lien social et au développement de perceptions de non-sens dans leur travail voire d’une certaine servitude qui les met dans des situations de souffrance au travail This research seeks to understand how the public organizations in change integrated into their strategy the intention which aims at “placing the user in the middle of the organization” in their management of the relation of service and through the tools implemented to translate this speech into acts of management and to explain how these choices as regards management of the relation between service and the user-customers affect the direction of the work of the agents in contact.The analysis of the literature is articulated around three theoretical fields: the concept of the relation of service mobilizing of the multi-field fields, in particular that of sociology, the marketing and the economy of the services, the management of the public organizations and more particularly of the public organizations in change in a context of opening to competition and models of the direction to work and construction of the direction in the organizations. The objective being to understand how the relation of service takes an increasingly important place in the public organizations like managerial concern in a preoccupation of development of the performance and a setting in adequacy of the needs for the user-customers with the services delivered by the public organizations.Two case studies were selected to observe these changes, the case of the Post office and the SNCF, two old public monopolies, which are anchored in the collective representations like institutions of the daily newspaper of French and who is based on a strong culture of the public service. These case studies were conducted in a approach of qualitative research which aims at making emerge speech of the leaders, managers of proximity and agents in contact, perceptions of these tools and these changes in the relation of service and the effects of these tools on the work and more particularly the direction of the work of the agents.The case studies revealed against-intuitive results compared to the organisational structures of the two studied institutions. Thus, the results make it possible to show how the choice of the standardization and the increase in the control in the Post office develops an approach of the service by the rule and the standardization of the work of the relation of service which creates a cultural rupture in the practices of the post-office employees attached to their work like vector of social link and with the development of perceptions of nonsense in their work even of a certain constraint which puts them in situations of suffering at work.With the SNCF the choice to place the relation of service like a development project of competences multi-trades and in hierarchical co-education, with the concern Co-of conceiving the tools and the hot lines generates a cohesion of the teams and the valorization of a collective culture cheminote. The passage of a culture technician to a culture of service was approached while placing the internal customer like focal point of the programs to make in kind diffuse a common direction of the relation with the user-customer in phase with the reality of the agents. Lastly, we propose, a discussion and a conclusion to exceed the perimeter of research and to place this research like the starting point of a work on the relation of service and relational work in the public organizations

APA, Harvard, Vancouver, ISO, and other styles

48

S, F. A. Batista Sérgio Filipe. "Dynamic traffic assignment for multi-regional transportation systems considering different kinds of users’ behavior." Thesis, Lyon, 2018. http://www.theses.fr/2018LYSET009/document.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

49

Elleuch, Fatma. "Transférabilité d'une modélisation-simulation multi-agents : le comportement inter-gares des voyageurs de la SNCF lors des échanges quai-train." Thesis, Paris, CNAM, 2019. http://www.theses.fr/2019CNAM1227/document.

Full text

Abstract:

Les travaux de cette thèse portent sur la définition et la validation d’une méthode de modélisation-simulation de foule permettant le transfert des principes et des mesures établis dans un contexte source d'observations vers des contextes cibles, non observables a priori. A partir de l'observation de comportements de piétons d’un contexte environnemental, social et urbain, nous inférons les règles et des motivations, rendant possible la modélisation et la simulation du comportement individuel de piétons dans ce contexte source, puis à évaluer la transférabilité du modèle dans un autre contexte cible. Nous appuyons nos travaux sur un cas réel. Il s’agit de la simulation du comportement des voyageurs entrants et sortants des trains dans une gare à fort trafic. Après une revue des théories, de modèles de simulation, nous retenons une approche basée sur la simulation microscopique d’agents sociaux, situés, basée sur les motivations. Nous argumentons le choix par le fait que, par rapport à une simulation de foule classique elle, a priori, l’avantage de favoriser la transférabilité. L’objectif de cette simulation est d’étudier, entre autres, les évolutions architecturales des stations permettant de raccourcir les temps d’arrêt des trains This thesis focuses on the definition and the validation of a crowd-simulation modeling method. This method allows transferring principles and measurements established in a source observation context to a target one. From the observation of pedestrian behavior in a social and urban context, our approach infers rules and motivations in order to model and simulate the individual pedestrian behavior in this source context. This allows, in a second step, to evaluate the transferability of the model to a given target context. Our work is based on a real case: the simulation of the passenger’s behavior while boarding and alighting trains (platform-train exchange) in a high-traffic station (dense situation). Starting from the state of the art of theories, models and types of simulation, we choose an approach based on the microscopic simulation of social agent’s motivation. This choice relies mainly on the fact that, compared to a classic crowd simulation, it has, a priori, a better transferability potential. The goal of this type of simulation is to study the architectural evolutions of the stations that could allow to control or shorten train dwell times

APA, Harvard, Vancouver, ISO, and other styles

50

Moussa, Imed. "Applications des circuits numériques en arseniure de gallium dans les systèmes à haut débit de communication et dans les calculateurs performants." Grenoble INPG, 1996. http://www.theses.fr/1996INPG0077.

Full text

Abstract:

Ce document presente diverses applications des circuits numeriques en arseniure de gallium (asga) dans les systemes a haut debit de communication et dans les calculateurs performants. Ces applications ont guidees l'ensemble des recherches effectuees au cours de la these dont ce document est l'aboutissement. La necessite de performances elevees, inherentes aux applications traitees, a necessite l'etude et la mise en uvre de topologies differentes qui ont donne lieu a un ensemble de solutions efficaces. Dans le but d'obtenir une marge de bruit assez elevee et de bonnes performances en vitesse, en complexite et en puissance consommee, la conception de circuit en asga souleve des themes majeurs qui se resument aux points suivants: dimentionnement de transistors, topologies de masques, strategies d'amplification et de distribution d'horloges. Ils apparaissent nettement dans les applications traites qui sont decrites ci-dessous. La premiere application de la technologie asga dans les circuits a grande vitesse concerne la conception d'un diviseur redondant a 16 chiffres binaires. Une methode purement full custom a ete utilisee pour exploiter le potentiel de la technologie. Cette methode a permis des optimisations au niveau de la vitesse, de la densite et de la consommation. Le principal probleme mis en evidence lie a cette methode, est sa lourdeur d'emploi, qui la rend pratiquement inutilisable dans le cas des circuits a grande complexite. Pour mettre rapidement sur le marche un produit en asga, nous avons choisi de mettre en application les methodes de synthese de haut niveau afin de generer un chemin de donnees destine a un microprocesseur de type risc. L'avantage en temps de conception lie aux outils de synthese comportementale s'est avere compense par une augmentation de la surface d'implantation comparee a la methode full-custom. Ceci etant un facteur determinant en asga par rapport au cmos, technologie bien meilleur marche et initialement visee par cet outil, il est donc ressorti tres clairement de cette application l'interet d'appliquer un compromis consistant a synthetiser automatiquement des parties du circuit ou la vitesse n'est pas critique, et a utiliser la methode full custom pour les parties ou la vitesse est un parametre important. Cette derniere approche a ete adoptee pour la conception d'un circuit destine a des applications atm (asynchronous transfer mode). Ce circuit a ete concu pour fonctionner a une frequence de 312 mhz. La consommation de puissance a ete estimee autour de 4w, ce qui s'avere etre une performance tout a fait competitive compte tenu du debit a assumer, par rapport aux conceptions cmos existantes

APA, Harvard, Vancouver, ISO, and other styles

Dissertations / Theses on the topic 'Chemin de données'

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles