• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 143
  • 26
  • 10
  • 1
  • Tagged with
  • 187
  • 78
  • 56
  • 43
  • 31
  • 28
  • 27
  • 22
  • 19
  • 18
  • 17
  • 16
  • 16
  • 15
  • 14
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
81

Méthodes optimisant l'analyse des cryptoprocesseurs sur les canaux cachés

Souissi, Youssef 06 December 2011 (has links) (PDF)
Ces dernières années, la sécurité des systèmes embarqués a fait l'objet de recherches intensives. Comme l'énergie, le coût et la performance; la sécurité est un aspect important qui doit être considérée tout au long du processus de conception d'un système embarqué. Des menaces récentes appelées "attaques par canaux cachés'' (Side-Channel Analysis (SCA)) ont attiré beaucoup d'attention dans le milieu de la sécurité embarquée. Ces attaques exploitent des propriétés physiques, telles que la consommation d'énergie ou le champ magnétique rayonné, afin de retrouver le secret. De plus, elles sont passives dans le sens où l'analyse se contente d'une observation extérieure du système sans l'endommager. Dans ce contexte, il est évident que la sécurisation des systèmes embarqués contre les attaques SCA constitue un aspect vital dans le flot de conception. Par conséquent, la nécessité d'assurer et d'évaluer la robustesse des systèmes embarqués contre ces attaques devient clair. Cette thèse propose principalement des techniques et méthodes génériques dans l'analyse par canaux cachés. Ces techniques qui touchent à différents aspects de l'analyse SCA (acquisition, pré-traitement, attaque et évaluation) peuvent être utilisées dans un cadre d'évaluation plus officiel tel que les Critères Communs (CC) ou le FIPS-140 afin d'améliorer la visibilité de l'évaluateur. Par ailleurs, le propriétaire d'un produit pourrait aussi se baser sur ces techniques dans le but d'évaluer la sécurité de son produit face aux attaques par canaux cachés avant de solliciter un certificat.
82

Structuration d'un flot de conception pour la biologie synthétique

Gendrault, Yves 06 December 2013 (has links) (PDF)
La biologie synthétique est une science issue du rapprochement entre les biotechnologies et les sciences pour l'ingénieur. Elle consiste à créer de nouveaux systèmes biologiques par une combinaison rationnelle d'éléments biologiques standardisés, découplés de leur contexte naturel. L'environnement, l'agroalimentaire et la santé figurent parmi ses principaux domaines d'application. Cette thèse s'est focalisée sur les aspects liés à la conception ex-vivo de ces biosystèmes artificiels. A partir des analogies réalisées entre les processus biologiques et certaines fonctions électroniques, l'accent a été mis sur la réutilisation et l'adaptation des outils de conception numériques, supportant l'approche de conception " top-down ". Ainsi, une adaptation complète des méthodes de CAO de la microélectronique a été mise en place pour la biologie synthétique. Dans cette optique, les mécanismes biologiques élémentaires ont été modélisés sous plusieurs niveaux d'abstraction, allant de l'abstraction numérique à des modèles flux de signal et des modèles conservatifs. Des modèles en logique floue ont aussi été développés pour faire le lien entre ces niveaux d'abstraction. Ces différents modèles ont été implémentés avec deux langages de description matérielle et ont été validés sur la base de résultats expérimentaux de biosystèmes artificiels parmi les plus avancés. Parallèlement au travail de formalisation des modèles destinés au flot de conception, leur amélioration a aussi été étudiée : la modélisation des interactions entre plusieurs molécules a été rendue plus réaliste et le développement de modèles de bruits biologiques a également été intégré au processus. Cette thèse constitue donc une contribution importante dans la structuration et l'automatisation d'étapes de conception pour les biosystèmes synthétiques. Elle a permis de tracer les contours d'un flot de conception complet, adapté de la microélectronique, et d'en mettre en évidence les intérêts.
83

L'âge du Bronze final en Asie centrale méridionale (1750-1500/1450 avant n.è.) : la fin de la civilisation de l'Oxus

Luneau, Elise 27 November 2010 (has links) (PDF)
Après une phase d'apogée au cours de l'âge du Bronze moyen (environ 2100-1800/1750 av. n.è.), la civilisation de l'Oxus connaît à partir de 1750 av.n.è. environ une phase de transformations profondes menant à sa disparition et à l'émergence d'un nouvel ensemble culturel aux alentours de 1500 av. n.è. Cette période de l'âge du Bronze final encore peu documentée en Asie centrale méridionale apparaît bien méconnue et, de ce fait, dépréciée. Elle représente pourtant une phase majeure dans l'histoire de l'Asie centrale où se posent certaines questions complexes comme celle du "déclin" des sociétés ou encore celle des interactions entre divers groupes ethnoculturels. Ce travail, établi à partir de sources anciennes et inédites dans une démarche pluridisciplinaire, permet de préciser la spécificité de cette période en mettant particulièrement en avant son caractère multiculturel. L'étude de la périodisation constitue un autre aspect majeur. Abordé jusqu'à présent comme un seul bloc chronologique, l'âge du Bronze final peut être réparti en deux grandes phases, dont les assemblages matériels caractéristiques se distribuent de façon inégale sur l'ensemble du territoire. Par ailleurs, l'examen des causes des mutations, proposées par de précédents travaux, permet de les réviser, de les nuancer ou de les éliminer. Enfin, l'analyse des transformations pointe, non un déclin général, mais des évolutions graduelles et hétérogènes, représentant l'émergence d'un nouveau type de société dont les continuités sont visibles à la période suivante de l'âge du Fer ancien. Malgré certains phénomènes de résilience, l'impact des transformations constatées ne permet toutefois pas le maintien des structures politiques et culturelles de la civilisation de l'Oxus au milieu du 2e millénaire avant n.è.
84

Integer Occupancy Grids : a probabilistic multi-sensor fusion framework for embedded perception / Grille d'occupation entière : une méthode probabiliste de fusion multi-capteurs pour la perception embarquée

Rakotovao Andriamahefa, Tiana 21 February 2017 (has links)
Pour les voitures autonomes, la perception est une fonction principale où la sécurité est de la plus haute importance. Un système de perception construit un modèle de l'environnement de conduite en fusionnant plusieurs capteurs de perception incluant les LIDARs, les radars, les capteurs de vision, etc. La fusion basée sur les grilles d'occupation construit un modèle probabiliste de l'environnement en prenant en compte l'incertitude des capteurs. Cette thèse vise à intégrer le calcul des grilles d'occupation dans des systèmes embarqués à bas-coût et à basse-consommation. Cependant, les grilles d'occupation effectuent des calculs de probabilité intenses et difficilement calculables en temps-réel par les plateformes matérielles embarquées.Comme solution, cette thèse introduit une nouvelle méthode de fusion probabiliste appelée Grille d'Occupation Entière. Les Grilles d'Occupation Entières se reposent sur des principes mathématiques qui permettent de calculer la fusion de capteurs grâce à des simple addition de nombre entiers. L'intégration matérielle et logicielle des Grilles d'Occupation Entière est sûre et fiable. Les erreurs numériques engendrées par les calculs sont connues, majorées et paramétrées par l'utilisateur. Les Grilles d'Occupation Entière permettent de calculer en temps-réel la fusion de multiple capteurs sur un système embarqué bas-coût et à faible consommation dédié pour les applications pour l'automobile. / Perception is a primary task for an autonomous car where safety is of utmost importance. A perception system builds a model of the driving environment by fusing measurements from multiple perceptual sensors including LIDARs, radars, vision sensors, etc. The fusion based on occupancy grids builds a probabilistic environment model by taking into account sensor uncertainties. This thesis aims to integrate the computation of occupancy grids into embedded low-cost and low-power platforms. Occupancy Grids perform though intensive probability calculus that can be hardly processed in real-time on embedded hardware.As a solution, this thesis introduces the Integer Occupancy Grid framework. Integer Occupancy Grids rely on a proven mathematical foundation that enables to process probabilistic fusion through simple addition of integers. The hardware/software integration of integer occupancy grids is safe and reliable. The involved numerical errors are bounded and is parametrized by the user. Integer Occupancy Grids enable a real-time computation of multi-sensor fusion on embedded low-cost and low-power processing platforms dedicated for automotive applications.
85

The Huntley and Palmers biscuit company (Reading, 1841-1977) : a history / Histoire de la biscuiterie Huntley and Palmers (Reading, 1841-1977)

Délen, Claire 30 November 2018 (has links)
Cette thèse retrace l’histoire de la biscuiterie Huntley and Palmers, implantée à Reading de 1841 à 1977. Elle étudie le développement de l’entreprise à travers ses successives innovations et modernisations, d’une firme familiale traditionnelle à une entreprise moderne qui finit absorbée par de plus grands groupes. Ce travail examine l’impact de ce géant de l’industrie biscuitière sur la société britannique et plus largement le monde à travers une étude de sa production alimentaire ainsi que de sa production visuelle, en mobilisant des éléments de culture matérielle des archives officielles de la firme ainsi que d’autres fonds originaux. La thèse étudie également en profondeur la question du paternalisme tel qu’il est pratiqué par Huntley and Palmers, afin de re-situer ces pratiques et l’idéologie qui les motive dans un contexte national. Elle évalue ces pratiques à l’aune des différentes variétés de paternalisme existantes et retrace l’évolution d’une forme de paternalisme typique du dix-neuvième siècle vers un « nouveau paternalisme » institutionnalisé puis un « post-paternalisme » propre aux entreprises modernes. Enfin, le travail porte un intérêt tout particulier à mêler la perspective des employeurs à celle des employés, afin de dépasser la vision de l’entreprise donnée par les archives officielles. / This thesis recounts the history of the Huntley and Palmers biscuit company, based in Reading from 1841 to 1977. It examines the development of the company through the successive innovations and modernisations, from the traditional family firm to the modern firm that would eventually be absorbed by larger groups. This work studies the impact of the biscuit giant on British society and on the world at large by a survey of its production, in terms of food as well as visual production, by using elements of material culture present in the company’s official archives as well as original collections. It also investigates the question of paternalism and paternalist practices at Huntley and Palmers’, so as to locate these measures and the ideology behind them in a national context. These practices are assessed in the light of the different varieties of paternalism and enable us to map the evolution from a typical nineteenth-century brand of paternalism towards institutionalised “new paternalism” followed by a form of “post-paternalism” characteristic of modern companies. Finally, the thesis lays emphasis on combining the employers’ perspective with that of the employees in order to go beyond the vision of the company that transpires from the official archives.
86

Les parterres des jardins à compartiments en France et dans le monde (1450-1650) : entre figures de pensée et ornements de verdure / The parterres of the compartmentalised gardens in France and around the world (1450-1650) : between figures of thought and green ornaments

Paya, Laurent 27 November 2012 (has links)
Il est possible de mener une étude sur les « Parterres » considérés comme des « lieux communs » de la fabrique des Jardins de plaine de la Renaissance, au sens rhétorique, fédérateur et prospectif du terme. Comme les tropes d'un discours, ils sont répartis sur la « plate forme » du jardin afin d'agir sur les émotions, dans les catégories rhétoriques et poétiques de l'amplificatio, l'inventio, la dispositio, l'elocutio, l'imitatio et la copia. Ces ornements sont des moyens d'expression au service d'un vaste projet d'harmonisation décorative de la demeure aristocratique et de son environnement à toutes les échelles matérielles et imbriquées ; cette coordination formelle doit satisfaire la double exigence de concinnitas et de varietas comme principes de plaisir et de bienséance. Afin d'expliciter la conception des jardins intégrés à ce « grand dessein », les artistes font intervenir une représentation cognitive par analogie (paradeigma) impliquant le revêtement décoratif des sols, soit la ressemblance de la composition du jardin avec celle d'un « tapis de Turquie » orné de « Moresques ». La diffusion de ces formes est assurée par des suites de modèles imprimées dont nous faisons la bibliographie critique. Nous abordons aussi leur mise en œuvre au jardin qui est obtenue par la compartimentation de la matière première végétale déclinée dans les catégories changeantes et mélangées du « Verger », de « Préau », du « Potager », du « Jardin de Simples », et du « Bouquetier » / It is possible to undertake a study on the "Paterres" (Flower beds) regarded as 'common places" of the invention of the plain Gardens of the Renaissance, in the rhetorical, inclusive and forward sense of term. Like the Tropes of a speech, they are divided on the "plate forme" of the garden to act on emotions in poetic and rhetorical categories of amplificatio, inventio, dispositio, elocutio, imitatio and copia. These ornaments are a means of expression in the service of a larger project of decorative harmonization of a place and its environment at all scales and imbricated material, which must satisfy the dual requirement of concinnitas and varietas as principles of pleasure ad propriety. In order to clarify the design of gardens included in this "grand design", artists involve a cognitive representation by analogy (paradeigma) involving decorative coating of soil or the resemblance of the composition of the garden with a "Turkey carpet" decorated with "Moresques". The diffusion of these forms is provided by sequences of models of which we create a critical bibliography. Their implementation in the garden is achieved by compartmentalization of vegetable raw materials declined in changing and mixed categories of "Orchad", "Medow", "Potager", "Jardin de simples" and "Bouquetier"
87

La métaphysique du bijou : objets d'histoire, parure du corps et matériau de l'oeuvre d'art au XIXème siècle / The metaphysics of the Jewel : objects of history, adornment of the body and material of the work of art

Coupeau, Charline 26 June 2018 (has links)
Si le bijou du dix-neuvième siècle abonde dans de nombreux ouvrages, il faut repenser son intrigue, son lexique et sa poétique. Dans une optique ontologique et grâce à un échange pluridisciplinaire permettant ainsi une ouverture à des processus de partages méthodologiques, cette thèse montre combien le bijou du dix-neuvième siècle est fortement connoté et possède une signification esthétique, sociale, géographique, politique et culturelle qui lui est propre. Cette étude prouve que le bijou tant en signe polysémique qu’en tant qu’ontologie cristallise les inquiétudes et les bouleversements relatifs à son siècle. Il permet de cerner une esthétique, un rapport au monde, au temps qui passe. Il est une clé, une façon d’être au monde, un pôle de compréhension. Il y a donc une interaction créatrice entre l’homme et sa parure. L’homme crée le bijou et le bijou crée l’homme en retour. Grâce à la mise en place d’une approche inédite et originale proposant de voir la bijouterie du dix-neuvième siècle comme une ontologie, le bijou est alors pensé comme un élément à part entière pour comprendre l’homme. Les bijoux ne sont pas là par hasard, ils véhiculent des sens cachés, des codes. Ils sont les référents immuables que cette étude se propose de nous faire découvrir. / If the jewel of the nineteenth century abounds in many works, we must rethink its plot, its lexicon and its poetics. From an ontological perspective and thanks to a multidisciplinary exchange thus allowing an opening to processes of methodological sharing, this thesis shows how much the jewel of the nineteenth century is strongly connoted and possesses an aesthetic, social, geographical, political and cultural significance of its own. This study proves that jewellery, both as a polysemic sign and as ontology, crystallizes the anxieties and upheavals relating to its century. It makes it possible to define an aesthetic, a relationship to the world, to the passing of time. It is a key, a way of being in the world, a pole of understanding. So there is a creative interaction between man and his finery. Man creates the jewel and the jewel creates man in return. Thanks to the implementation of a new and original approach proposing to see the jewellery of the nineteenth century as an ontology, the jewel is then thought as a whole element to understand the man. Jewels are not there by chance, they convey hidden meanings, codes. They are the unchanging referent that this study proposes to make us discover
88

Recherches sur le texte des Dialogues faits à l'imitation des anciens par Orasius Tubero / Researches on the text of the Dialogues faits à l'imitation des anciens by Orasius Tubero

Grisoni, Lucien 28 September 2018 (has links)
Cette thèse est conçue comme un préalable à l’édition critique et à l’interprétation des Dialogues d’Orasius Tubero. Elle consiste en 4 séries de recherches, dont les 3 premières ([I] recherches codicologiques et recherches bibliologiques [II] sur les anciennes éditions des Dialogues et [III] sur les exemplaires des deux premières) visent à reconstituer la genèse de leur texte tandis que la quatrième ([IV] recherches historiques) est consacrée aux modalités concrètes de leur composition, de leur impression, et de leur diffusion immédiate.La première partie présente en premier lieu une étude de l’écriture (graphie) du Philosophe fondée sur le recensement et l’examen de l’ensemble des documents explicitement autographes. L’identification de sa main permet (1) de reconnaître les notes inscrites par Le Vayer dans les volumes de sa bibiothèque mais aussi (2) dans les marges des manuscrits de ses œuvres et surtout (3) de distinguer clairement entre les inscriptions allographes et autographes présentent dans les différents exemplaires des premières éditions des Dialogues. Elle est donc indispensable à l’éditeur de ses œuvres. Ces recherches codicologiques offrent ensuite un essai d’histoire et de classement des trois manuscrits connus des Dialogues – dont deux sont antérieurs à leur première édition. La seconde est dédiée à l’analyse bibliologique et historique des cinq premières éditions du texte : la 1ère partielle de 1631 (A), la 2nde édition complète de 1633 (B), la 1ère réédition partielle de 1671 (C), la 2nde réédition partielle de 1673 (D) et la 1ère réédition complète de 1716 (E). Ces recherches permettent en particulier d’identifier leur lieu et date d’impression respectif, ainsi que l’imprimeur de A et B ; et de préciser les relations génétiques de tous les témoins du texte des Dialogues.La troisième est consacrée au recensement, à l’analyse bibliologique et la collation systématiques des exemplaires connus des premières éditions. Les résultats de ces recherches sont (1) la détermination approximative des tirages de A et B ; (2) la découverte d’annotations autographes dans tous ces exemplaires et la distinction, en ce qui concerne B, de 22 exemplaires ordinaires et de 7 exemplaires spéciaux, ainsi que (3) l’identification d’un exemplaire dans lequel se trouve le plus grand nombre de corrections autographes et qui doit donc servir à ce titre de base à l’édition critique et à l’interprétation des Dialogues.La quatrième a pour objet les conditions historiques de la composition, de l’impression et de la réception immédiate des Dialogues, lesquelles doivent avant tout reposer sur la biographie de leur auteur, c’est-à-dire sur l’interprétation d’un certain nombre de données chronologiques relatives aux principaux événements de sa vie publique et privée. Sur la base de ce cadre biographique on s’est intéressé, pour limiter la subjectivité de l’interprétation du texte, à leur nature (pures fictions, transpositions littéraires ou transcriptions de dialogues réels), à leur objet (philosophie sceptique de l’auteur ou conversations réelles d’un groupe d’amis érudits du philosophe) à leur fin (démonstrative ou mémoriale) ainsi qu’à leur statut. De cette dernière série de recherches il appert que les Dialogues d’Orasius Tubero, loin d’être une publication clandestine subversive, est une impression privée à usage privé qui était destinée aux amis de l’auteur et devait les aider à conserver la mémoire de conversations philosophiques passées. / This thesis is conceived as a preliminary study for the critical edition and interpretation of Dialogues faits à l’imitation des anciens by Orasius Tubero. It consists of four research projects, of which the first three ([I] codicological and bibliological research [II] on early editions of the Dialogues and [III] on copies of the first two editions) aim at reconstructing the genesis of their text, while the fourth ([IV] historical research) is devoted to the practical modalities of their composition, printing, and immediate reception.The first part presents a study of the Philosopher’s handwriting based on an inventory and examination of all the explicitly autograph documents. The identification of his handwriting allows (1) to identify the notes written by Le Vayer in books form his personal library, but also (2) in the margins of the manuscripts of his works and especially (3) to clearly distinguish the allograph and autograph inscriptions featured in the different copies of the first editions of the Dialogues. This identification is therefore essential to any publisher of his works. This codicological research then attempts to tell the history and provide a classification of the three known manuscripts of the Dialogues, two of which predate the first edition.The second part is devoted to the bibliological and historical analysis of the five early editions (1630-1716): the first partial edition of 1631 (A); the complete second edition of 1633 (B); the first partial reissue of 1671 (C); the second partial reissue of 1673 (D); and the first complete reissue of 1716 (E). This research makes it possible in particular to identify their respective place and date of printing, as well as the printer-publisher of A and B; and to clarify the genetic connections between all the witnesses of the text of the Dialogues.The third part is devoted to an inventory, systematic bibliological analysis and collation of known copies of the first editions. The findings of this research are (1) an estimate of the print runs of A and B; (2) the discovery of autograph annotations in all these copies and the distinction between 22 ordinary copies and 7 special copies of B, as well as (3) the identification of a copy in which was found the largest number of autograph corrections, which should therefore serve as a basis for the scholarly edition and interpretation of the Dialogues.The fourth concerns the historical conditions of the composition, printing and immediate reception of the Dialogues, based first of all on their author’s biography, in other words, on the interpretation of a certain number of chronological facts pertaining to the main events of their author’s public and private life. On the basis of this biographical framework, I have sought to limit the subjectivity of interpreting the texts by focusing on their nature (pure fiction, literary transpositions or transcripts of real dialogues), their subject (the author’s philosophical skepticism or real conversations of a group of the Skeptic’s erudite friends) and their purpose (demonstrative or memorial), as well as their status. From this last series of research projects, it appears that the Dialogues of Orasius Tubero, far from being a secret subversive publication, is a private printing meant for private use by the author’s friends, intended to allow them to preserve the memory of past philosophical conversations.
89

Implémentation sur SoC des réseaux Bayésiens pour l'état de santé et la décision dans le cadre de missions de véhicules autonomes / SoC implementation of Bayesian networks for health management and decision making for autonomous vehicles missions

Zermani, Sara 21 November 2017 (has links)
Les véhicules autonomes, tels que les drones, sont utilisés dans différents domaines d'application pour exécuter des missions simples ou complexes. D’un côté, ils opèrent généralement dans des conditions environnementales incertaines, pouvant conduire à des conséquences désastreuses pour l'humain et l'environnement. Il est donc nécessaire de surveiller continuellement l’état de santé du système afin de pouvoir détecter et localiser les défaillances, et prendre la décision en temps réel. Cette décision doit maximiser les capacités à répondre aux objectifs de la mission, tout en maintenant les exigences de sécurité. D’un autre côté, ils sont amenés à exécuter des tâches avec des demandes de calcul important sous contraintes de performance. Il est donc nécessaire de penser aux accélérateurs matériels dédiés pour décharger le processeur et répondre aux exigences de la rapidité de calcul.C’est ce que nous cherchons à démontrer dans cette thèse à double objectif. Le premier objectif consiste à définir un modèle pour l’état de santé et la décision. Pour cela, nous utilisons les réseaux Bayésiens, qui sont des modèles graphiques probabilistes efficaces pour le diagnostic et la décision sous incertitude. Nous avons proposé un modèle générique en nous basant sur une analyse de défaillance de type FMEA (Analyse des Modes de Défaillance et de leurs Effets). Cette analyse prend en compte les différentes observations sur les capteurs moniteurs et contextes d’apparition des erreurs. Le deuxième objectif était la conception et la réalisation d’accélérateurs matériels des réseaux Bayésiens d’une manière générale et plus particulièrement de nos modèles d’état de santé et de décision. N’ayant pas d’outil pour l’implémentation embarqué du calcul par réseaux Bayésiens, nous proposons tout un atelier logiciel, allant d’un réseau Bayésien graphique ou textuel jusqu’à la génération du bitstream prêt pour l’implémentation logicielle ou matérielle sur FPGA. Finalement, nous testons et validons nos implémentations sur la ZedBoard de Xilinx, incorporant un processeur ARM Cortex-A9 et un FPGA. / Autonomous vehicles, such as drones, are used in different application areas to perform simple or complex missions. On one hand, they generally operate in uncertain environmental conditions, which can lead to disastrous consequences for humans and the environment. Therefore, it is necessary to continuously monitor the health of the system in order to detect and locate failures and to be able to make the decision in real time. This decision must maximize the ability to meet the mission objectives while maintaining the security requirements. On the other hand, they are required to perform tasks with large computation demands and performance requirements. Therefore, it is necessary to think of dedicated hardware accelerators to unload the processor and to meet the requirements of a computational speed-up.This is what we tried to demonstrate in this dual objective thesis. The first objective is to define a model for the health management and decision making. To this end, we used Bayesian networks, which are efficient probabilistic graphical models for diagnosis and decision-making under uncertainty. We propose a generic model based on an FMEA (Failure Modes and Effects Analysis). This analysis takes into account the different observations on the monitors and the appearance contexts. The second objective is the design and realization of hardware accelerators for Bayesian networks in general and more particularly for our models of health management and decision-making. Having no tool for the embedded implementation of computation by Bayesian networks, we propose a software workbench covering graphical or textual Bayesian networks up to the generation of the bitstream ready for the software or hardware implementation on FPGA. Finally, we test and validate our implementations on the Xilinx ZedBoard, incorporating an ARM Cortex-A9 processor and an FPGA.
90

Connected component tree construction for embedded systems / Contruction d'arbre des composantes connexes pour les systèmes embarqués

Matas, Petr 30 June 2014 (has links)
L'objectif du travail présenté dans cette thèse est de proposer un avancement dans la construction des systèmes embarqués de traitement d'images numériques, flexibles et puissants. La proposition est d'explorer l'utilisation d'une représentation d'image particulière appelée « arbre des composantes connexes » (connected component tree – CCT) en tant que base pour la mise en œuvre de l'ensemble de la chaîne de traitement d'image. Cela est possible parce que la représentation par CCT est à la fois formelle et générale. De plus, les opérateurs déjà existants et basés sur CCT recouvrent tous les domaines de traitement d'image : du filtrage de base, passant par la segmentation jusqu'à la reconnaissance des objets. Une chaîne de traitement basée sur la représentation d'image par CCT est typiquement composée d'une cascade de transformations de CCT où chaque transformation représente un opérateur individuel. A la fin, une restitution d'image pour visualiser les résultats est nécessaire. Dans cette chaîne typique, c'est la construction du CCT qui représente la tâche nécessitant le plus de temps de calcul et de ressources matérielles. C'est pour cette raison que ce travail se concentre sur la problématique de la construction rapide de CCT. Dans ce manuscrit, nous introduisons le CCT et ses représentations possibles dans la mémoire de l'ordinateur. Nous présentons une partie de ses applications et analysons les algorithmes existants de sa construction. Par la suite, nous proposons un nouvel algorithme de construction parallèle de CCT qui produit le « parent point tree » représentation de CCT. L'algorithme est conçu pour les systèmes embarqués, ainsi notre effort vise la minimisation de la mémoire occupée. L'algorithme en lui-même se compose d'un grand nombre de tâches de la « construction » et de la « fusion ». Une tâche de construction construit le CCT d'une seule ligne d'image, donc d'un signal à une dimension. Les tâches de fusion construisent progressivement le CCT de l'ensemble. Pour optimiser la gestion des ressources de calcul, trois différentes stratégies d'ordonnancement des tâches sont développées et évaluées. Également, les performances des implantations de l'algorithme sont évaluées sur plusieurs ordinateurs parallèles. Un débit de 83 Mpx/s pour une accélération de 13,3 est réalisé sur une machine 16-core avec Opteron 885 processeurs. Les résultats obtenus nous ont encouragés pour procéder à une mise en œuvre d'une nouvelle implantation matérielle parallèle de l'algorithme. L'architecture proposée contient 16 blocs de base, chacun dédié à la transformation d'une partie de l'image et comprenant des unités de calcul et la mémoire. Un système spécial d'interconnexions est conçu pour permettre à certaines unités de calcul d'accéder à la mémoire partagée dans d'autres blocs de base. Ceci est nécessaire pour la fusion des CCT partiels. L'architecture a été implantée en VHDL et sa simulation fonctionnelle permet d'estimer une performance de 145 Mpx/s à fréquence d'horloge de 120 MHz / The aim of this work is to enable construction of embedded digital image processing systems, which are both flexible and powerful. The thesis proposal explores the possibility of using an image representation called connected component tree (CCT) as the basis for implementation of the entire image processing chain. This is possible, because the CCT is both simple and general, as CCT-based implementations of operators spanning from filtering to segmentation and recognition exist. A typical CCT-based image processing chain consists of CCT construction from an input image, a cascade of CCT transformations, which implement the individual operators, and image restitution, which generates the output image from the modified CCT. The most time-demanding step is the CCT construction and this work focuses on it. It introduces the CCT and its possible representations in computer memory, shows some of its applications and analyzes existing CCT construction algorithms. A new parallel CCT construction algorithm producing the parent point tree representation of the CCT is proposed. The algorithm is suitable for an embedded system implementation due to its low memory requirements. The algorithm consists of many building and merging tasks. A building task constructs the CCT of a single image line, which is treated as a one-dimensional signal. Merging tasks fuse the CCTs together. Three different task scheduling strategies are developed and evaluated. Performance of the algorithm is evaluated on multiple parallel computers. A throughput 83 Mpx/s at speedup 13.3 is achieved on a 16-core machine with Opteron 885 CPUs. Next, the new algorithm is further adapted for hardware implementation and implemented as a new parallel hardware architecture. The architecture contains 16 basic blocks, each dedicated to processing of an image partition and consisting of execution units and memory. A special interconnection switch is designed to allow some executions units to access memory in other basic blocks. The algorithm requires this for the final merging of the CCTs constructed by different basic blocks together. The architecture is implemented in VHDL and its functional simulation shows performance 145 Mpx/s at clock frequency 120 MHz

Page generated in 0.0464 seconds