Global ETD Search

11	New combinatorial features of knots and virtual knots Mortier, Arnaud 12 July 2013 (has links) (PDF) Un nœud est un plongement du cercle dans une variété de dimension 3. Dans la sphère S3 , les nœuds peuvent être codés combinatoirement par des diagrammes de Gauss. Ceux-ci peuvent être étudiés indépendamment, en oubliant les véritables nœuds: c'est ce qu'on appelle la théorie des nœuds virtuels. En première partie nous définissons une version générale de nœuds virtuels, dépendant d'un groupe G muni d'un morphisme à valeurs dans Z/2. Lorsque ces paramètres sont bien choisis, la théorie obtenue généralise les nœuds dans une surface épaissie quelconque (c'est-à-dire un fibré en droites réelles sur une surface). Outre l'encodage des nœuds, les diagrammes de Gauss sont aussi un outil puissant pour décrire les invariants de type fini de Vassiliev. En seconde partie, nous donnons un ensemble complet de critères pour détecter ces invariants. Notamment, le critère d'invariance sous Reidemeister III est une réponse positive à une conjecture de M.Polyak. Parmi les exemples donnés figure une nouvelle preuve et une généralisation du théorème de Grishanov-Vassiliev sur les invariants par chaînes planaires. La troisième partie est une ébauche de plan visant à trouver un algorithme pour décider si un diagramme donné dans l'anneau R × S1 représente une tresse fermée dans le tore solide, à isotopie près. La première étape est franchie, consistant à trouver un critère reconnaissant les diagrammes de Gauss des tresses fermées. Nous conjecturons que ce critère suffit pour les diagrammes à nombre minimal de croisements, et proposons des pistes dans cet objectif. La dernière partie est un travail commun avec T.Fiedler, explorant les propriétés d'objets non génériques liés à l'espace de toutes les immersions du cercle dans R3 . Cet espace est de dimension infinie, stratifié par le degré de non généricité des immersions. Alors que la théorie de Vassiliev se cantonne à l'étude des strates contenant uniquement des points doubles ordinaires, ici nous interdisons ces points doubles et autorisons uniquement un certain type de points triples. Nous montrons que l'espace qui en résulte n'est pas simplement connexe en exhibant un 1-cocycle non trivial. Une pondération de ce 1-cocycle fournit une nouvelle formule pour l'invariant de Casson des nœuds. Nœuds virtuels Diagrammes de Gauss Algèbre de Polyak Invari- ants de type fini tresses invariant de Casson
12	Segmentation et analyse géométrique : application aux images tomodensitométriques de bois / Segmentation and geometric analysis : application to CT images of wood Krähenbühl, Adrien 12 December 2014 (has links) L'étude non destructive du bois à partir de scanners à rayons X nécessite d’imaginer de nouvelles solutions adaptées à l'analyse des images. Préoccupation à la fois de la recherche agronomique et du milieu industriel des scieries, la segmentation des nœuds de bois est un défi majeur en termes de robustesse aux spécificités de chaque espèce et aux conditions d'acquisition des images. Les travaux menés dans cette thèse permettent de proposer un processus de segmentation en deux phases. Il isole d'abord chaque nœud dans une zone réduite puis segmente le nœud unique de chaque zone. Les solutions proposées pour chaque phase permettent d'intégrer les connaissances sur l'organisation interne du tronc et les mécanismes inhérents à sa croissance, à travers des outils classiques du traitement et de l'analyse d'image. La première phase repose en grande partie sur un principe de détection du mouvement emprunté à l'analyse vidéo et revisité. Deux approches de segmentation sont ensuite proposées, considérant pour l'une les coupes tomographiques initiales, et pour l'autre de nouvelles coupes ré-échantillonnées pour chaque nœud, orthogonalement à sa trajectoire. L'intégralité du processus a été implémenté dans un logiciel dédié aussi bien à l'expérimentation et la validation de l'approche qu'aux échanges interdisciplinaires. Le support applicatif du bois souligne la capacité de spécialisation des algorithmes génériques du traitement et de l'analyse d'image, et la pertinence de l'intégration de connaissances a priori dans cette optique / The non-destructive study of wood from X-Ray CT scanners requires to imagine new solutions adapted to analysis of images. Relating both agronomic research and industrial sector of sawmills, segmentation of wood knots is a major challenge in terms of robustness to specificities of each species and to image acquisition conditions. The works carried out in this thesis allow to propose a segmentation process in two phases. It first isolates each knot in a reduced area then it segments the unique knot of each area. Proposed solutions for each phase allow to integrate knowledges about internal organization of trunk and mechanisms inherent to its growth, through classical tools of image analysis and processing. The first phase is essentially based on a movement detection principle borrowed from video analysis and revisited. Two segmentation approaches are then proposed, considering for one the initial CT slices and for the other news slices resampled for each knot orthogonally to its trajectory. The complete process has been implemented in a software dedicated both for experimentation and validation of approach, and to interdisciplinary dialogs. The applicative support of wood emphasizes the specialization abilities of generic image analysis and processing algorithms, and the relevance to integrate priori knowledges in this perspective Segmentation Images tomodensitométriques Analyse géométrique Géométrie discrète Nœuds de bois Segmentation CT images Geometric analysis Discrete geometry Wood knots 004.015 1 621.367
13	A Machine-Checked Proof of Correctness of Pastry / Une preuve certifiée par la machine de la correction du protocole Pastry Azmy, Noran 24 November 2016 (has links) Les réseaux pair-à-pair (P2P) constituent un modèle de plus en plus populaire pour la programmation d’applications Internet car ils favorisent la décentralisation, le passage à l’échelle, la tolérance aux pannes et l’auto-organisation. à la différence du modèle traditionnel client-serveur, un réseau P2P est un système réparti décentralisé dans lequel tous les nœuds interagissent directement entre eux et jouent à la fois les rôles de fournisseur et d’utilisateur de services et de ressources. Une table de hachage distribuée (DHT) est réalisée par un réseauP2P et offre les mêmes services qu’une table de hachage classique, hormis le fait que les différents couples (clef, valeur) sont stockés dans différents nœuds du réseau. La fonction principale d’une DHT est la recherche d’une valeur associée à une clef donnée. Parmi les protocoles réalisant une DHT on peut nommer Chord, Pastry, Kademlia et Tapestry. Ces protocoles promettent de garantir certaines propriétés de correction et de performance ; or, les tentatives de démontrer formellement de telles propriétés se heurtent invariablement à des cas limites dans lesquels certaines propriétés sont violées. Tian-xiang Lu a ainsi décrit des problèmes de correction dans des versions publiées de Pastry. Il a conçu un modèle, appelé LuPastry, pour lequel il a fourni une preuve partielle, mécanisée dans l’assistant à la preuve TLA+ Proof System, démontrant que les messages de recherche de clef sont acheminés au bon nœud du réseau dans le cas sans départ de nœuds. En analysant la preuve de Lu j’ai découvert qu’elle contenait beaucoup d’hypothèses pour lesquelles aucune preuve n’avait été fournie, et j’ai pu trouver des contre-exemples à plusieurs de ces hypothèses. La présente thèse apporte trois contributions. Premièrement, je présente LuPastry+, une spécification TLA+ revue de LuPastry. Au-delà des corrections nécessaires d’erreurs, LuPastry+ améliore LuPastry en introduisant de nouveaux opérateurs et définitions, conduisant à une spécification plus modulaire et isolant la complexité de raisonnement à des parties circonscrites de la preuve, contribuant ainsi à automatiser davantage la preuve. Deuxièmement, je présente une preuve TLA+ complète de l’acheminement correct dans LuPastry+. Enfin, je démontre que l’étape finale du processus d’intégration de nœuds dans LuPastry (et LuPastry+) n’est pas nécessaire pour garantir la cohérence du protocole. Concrètement, j’exhibe une nouvelle spécification avec un processus simplifié d’intégration de nœuds, que j’appelle Simplified LuPastry+, et je démontre qu’elle garantit le bon acheminement de messages de recherche de clefs. La preuve de correction pour Simplified LuPastry+ est obtenue en réutilisant la preuve pour LuPastry+, et ceci représente un bon succès pour la réutilisation de preuves, en particulier considérant la taille de ces preuves. Chacune des deux preuves requiert plus de 30000 étapes interactives ; à ma connaissance, ces preuves constituent les preuves les plus longues écrites dans le langage TLA+ à ce jour, et les seuls exemples d’application de preuves mécanisées de théorèmes pour la vérification de protocoles DHT / A distributed hash table (DHT) is a peer-to-peer network that offers the function of a classic hash table, but where different key-value pairs are stored at different nodes on the network. Like a classic hash table, the main function provided by a DHT is key lookup, which retrieves the value stored at a given key. Examples of DHT protocols include Chord, Pastry, Kademlia and Tapestry. Such DHT protocols certain correctness and performance guarantees, but formal verification typically discovers border cases that violate those guarantees. In his PhD thesis, Tianxiang Lu reported correctness problems in published versions of Pastry and developed a model called {\LP}, for which he provided a partial proof of correct delivery of lookup messages assuming no node failure, mechanized in the {\TLA} Proof System. In analyzing Lu's proof, I discovered that it contained unproven assumptions, and found counterexamples to several of these assumptions. The contribution of this thesis is threefold. First, I present {\LPP}, a revised {\TLA} specification of {\LP}. Aside from needed bug fixes, {\LPP} contains new definitions that make the specification more modular and significantly improve proof automation. Second, I present a complete {\TLA} proof of correct delivery for {\LPP}. Third, I prove that the final step of the node join process of {\LP}/{\LPP} is not necessary to achieve consistency. In particular, I develop a new specification with a simpler node join process, which I denote by {\SLP}, and prove correct delivery of lookup messages for this new specification. The proof of correctness of {\SLP} is written by reusing the proof for {\LPP}, which represents a success story in proof reuse, especially for proofs of this size. Each of the two proofs amounts to over 32,000 proof steps; to my knowledge, they are currently the largest proofs written in the {\TLA} language, and---together with Lu's proof---the only examples of applying full theorem proving for the verification of DHT protocols Réseaux pair-à-pair (P2P) Table de hachage distribuée Nœuds Pastry Preuves Peer-to-peer network (P2P) Distributed hash table (DHT) Nodes Pastry Proofs 004.36 004.65
14	Invariants topologiques quantiques non semi-simples. Patureau-Mirand, Bertrand 07 December 2012 (has links) (PDF) Invariants topologiques quantiques non semi-simples. La théorie des nœuds (courbes simples plongées dans R³, à déformation continue près) se développe au début du XXième siècle avec notamment les travaux d'Alexander et de Reidemeister. Elle a connu un tournant avec la topologie quantique née en 1984 par la découverte par Vaughan Jones d'une manière d'associer à chaque nœuds un polynôme. Vladimir Turaev et Nicolai Reshetikhin interprètent et généralisent ce procédé en terme de représentations des groupes quantiques. Aujourd'hui encore, la compréhension géométrique de ces invariants est ténue. Toujours dans les années 80, Edward Witten donne une interprètation physique du polynôme de Jones et suggère une généralisation aux variétés de dimension trois. Vladimir Turaev avec Nicolai Reshetikhin puis avec Oleg Viro réalise rigoureusement ces invariants nouveaux pour les variétés de dimension trois. Dans de nombreux cas, ces constructions s'avèrent triviales. Ceci est lié à la présence de représentations des groupes quantiques qui ne sont pas semi-simples. Mes travaux, en collaboration avec Nathan Geer, Vladimir Turaev, Francesco Costantino et Alexis Virelizier ont consisté, pour une grande part, à modifier les constructions précédentes pour définir des invariants non triviaux dans ce cadre non semi-simple. Ces travaux m'ont amené a développer, avec Nathan Geer et Jonathan Kujawa, des techniques algébriques qui présentent un intérêt propre en théorie des représentations. Relier les constructions de la topologie quantique et les invariants d'origine plus géométriques constitue un vrai challenge des mathématiques modernes pour lequel les invariants non semi-simples que j'ai définis offrent un point de vue prometteur. topologie quantique nœuds 3-variétés groupe quantiques traces algèbres de Hopf TQFT
15	Solutions optimales des problèmes de recouvrement sous contraintes sur le degré des nœuds / Optimal solutions of problems of finding spanning tree with constraints on the degree of the nodes Merabet, Massinissa 05 December 2014 (has links) Le travail que nous développons dans le cadre de cette thèse s'articule autour des problèmes de recherche de structure de recouvrement de graphes sous contrainte sur le degré des sommets. Comme l'arbre de recouvrement couvre les sommets d'un graphe connexe avec un minimum de liens, il est généralement proposé comme solution à ce type de problèmes. Cependant, pour certaines applications telles que le routage dans les réseaux optiques, les solutions ne sont pas nécessairement des sous-graphes. Nous supposons dans cette thèse que la contrainte sur le degré est due à une capacité limitée instantanée des sommets et que la seule exigence sur le recouvrement est sa connexité. Dans ce cas, la solution peut être différente d'un arbre. Nous reformulons ces problèmes de recouvrement en nous appuyant sur une extension du concept d'arbre appelée hiérarchie de recouvrement. Notre objectif principal est de démontrer son intérêt vis-à-vis de l'arbre en termes de faisabilité et de coût du recouvrement. Nous considérons deux types de contraintes sur le degré : des bornes sur le degré des sommets ou une borne sur le nombre de sommets de branchement et cherchons dans les deux cas un recouvrement de coût minimum. Nous illustrons aussi l'applicabilité des hiérarchies en étudiant un problème prenant davantage en compte la réalité du routage optique. Pour ces différents problèmes NP-difficiles, nous montrons, tant sur le coût des solutions optimales que sur la garantie de performance des solutions approchées, l'intérêt des hiérarchies de recouvrement. Ce constat se voit conforté par des expérimentations sur des graphes aléatoires. / The work conducted in this thesis is focused on the minimum spanning problems in graphs under constraints on the vertex degrees. As the spanning tree covers the vertices of a connected graph with a minimum number of links, it is generally proposed as a solution for this kind of problems. However, for some applications such as the routing in optical networks, the solution is not necessarily a sub-graph. In this thesis, we assume that the degree constraints are due to a limited instantaneous capacity of the vertices and that the only pertinent requirement on the spanning structure is its connectivity. In that case, the solution may be different from a tree. We propose the reformulation of this kind of spanning problems. To find the optimal coverage of the vertices, an extension of the tree concept called hierarchy is proposed. Our main purpose is to show its interest regarding the tree in term of feasibility and costs of the coverage. Thus, we take into account two types of degree constraints: either an upper bound on the degree of vertices and an upper bound on the number of branching vertices. We search a minimum cost spanning hierarchy in both cases. Besides, we also illustrate the applicability of hierarchies by studying a problem that takes more into account the reality of the optical routing. For all those NP-hard problems, we show the interest of the spanning hierarchy for both costs of optimal solutions and performance guarantee of approximate solutions. These results are confirmed by several experimentations on random graphs. Théorie de graphes Problèmes de recouvrement Hiérarchies et arbres de recouvrement Optimisation combinatoire Graph theory Spanning problems Hierarchies and spanning tree Combinatorial optimization
16	Procédés d’extraction et de purification de molécules à haute valeur ajoutée issues de la biomasse bois / Extraction and purification processes of molecules with high added value from wood biomass Duran, Renan Ravetti 10 December 2015 (has links) Les sous-produits qui proviennent de l’industrie du bois, particulièrement les nœuds, contiennent différents types de molécules qui peuvent être valorisées comme source de composants bioactifs pouvant répondre à des besoins thérapeutiques. C’est sur cette idée que le projet "Le Bois Santé" a été conçu. Grâce à la collaboration de plusieurs partenaires, le présent travail vise dans un premier temps à développer des procédés d’extraction "verts" (solide-liquide et supercritique) pour obtenir un extrait riche en lignanes à partir d’un mélange de nœuds d’épicéa commun et de sapin pectiné. Les effets des conditions opératoires sur le rendement d’extraction de chaque composé cible et sur l’activité anti-oxydante des extraits ont été déterminés. Afin d’étudier le procédé complet, le projet vise à étudier l’impact des procédés de concentration et de séchage de l’extrait à partir de l’évaporation sous vide et de la lyophilisation. De plus, la séparation et la purification des composés ont été développées et optimisées par simulation grâce à la technique de chromatographie frontale / By-products from wood industry, particularly knots, contain different types of molecules that can be valued as a source of bioactive components meeting therapeutic needs. It is on this idea that the project "Le Bois Santé" was designed. Through the collaboration of several partnerships, the present work aims initially to develop a "green" extraction processes (solid-liquid and supercritical) to obtain an extract rich in lignans from a mixture of norway spruce and silver fir knots. The effects of operating conditions on the extraction yield of each target compound and the antioxidant activity of the extracts were determined. To understand the entire process, the project aims to investigate the impact of concentration and drying processes using vacuum evaporation and lyophilisation. Moreover, the separation and purification of the compounds have been developed and optimized using frontal chromatography technique Sous-Produit du bois Nœuds Biomasse Épicéa commun Sapin pectiné Extraction supercritique Extraction solide-Liquide Lignanes Polyphénols Anti-Oxydants Wood byproducts Knots Biomass Norway spruce Silver fir Supercritical extraction Solid-Liquid extraction Lignans Polyphenols Antioxidants 660.63
17	Agrégation de trafic pour réduire la consommation énergétique globale dans les réseaux sans fil multi-sauts / Traffic aggregation for global energy savings in multi-hop wireless networks Laubé, Alexandre 25 September 2017 (has links) Les incitations économiques et environnementales poussent dorénavant à intégrer des considérations énergétiques dès les premiers stades de développement des réseaux. Dans les réseaux sans fil multi-sauts, l'approche la plus courante consiste à répartir le trafic sur l'ensemble des nœuds afin de réduire équitablement la consommation énergétique de chacun, avec pour objectif la maximisation de la durée de vie du réseau. Or cette approche n'est pas optimale vis-à-vis de la consommation globale du réseau, le niveau d'activité d'un nœud n'ayant souvent que peu d'influence sur sa propre consommation. Nous montrons que la meilleure approche consiste à éteindre un maximum de nœuds. Parmi les travaux réalisés, nous avons développé une solution s'appuyant sur de la programmation linéaire en nombres entiers et des simulations de graphes et de réseaux. La solution proposée permet ainsi une agrégation de flux optimale, réduisant significativement le nombre de nœuds utilisés dans le réseau. Afin de la rendre applicable en pratique, une heuristique est détaillée permettant une mise en œuvre distribuée grâce à l'utilisation d'une métrique de routage. Ainsi, tout algorithme de plus court chemin peut nativement réaliser de l'agrégation de flux efficace. Il est important de souligner que la qualité de service en termes de débit est respectée. En effet, les interférences sont prises en compte et il est possible de profiter de la synergie offerte par l'utilisation conjointe de l'agrégation de flux et du codage réseau. Nos résultats améliorent significativement les méthodes d'économie d'énergie basées sur l'extinction des nœuds en leur permettant d'en éteindre davantage. / Economic and ecologic incentives are now leading people to design networks with energetic considerations at early stages of development. Most of the works for multi-hop wireless networks tend to spread the traffic uniformly over the network to reduce the energy consumption of each node individually. However, considering that the traffic of a node doesn't impact significantly its energy consumption, this approach is not optimal regarding the global energy consumption of the network. Finding a way to turnoff as much node as possible seems then to be a better way. This PhD thesis focus on routing a set of flows over a multi-hop wireless network while minimizing the number of used nodes. This is done by using a distributed metric that allows the shortest path routing algorithms to perform flow aggregation. Using integer linear programming and simulations, we proposed an efficient solution to aggregate flows to significantly reduce the number of nodes used in the network. It allows, then, to improve algorithms that reduce the energy consumption of networks by increasing the number of nodes that can be turned off. Réseau sans fil multi-sauts Economie d'énergie Extinction de nœuds Métrique de routage OLSR Agrégation de flux Multi-hop wireless networks Energy savings Integer linear programming Node turned off Routing metric OLSR Flow aggregation
18	Les enjeux cognitifs et stylistiques de l'organisation hypertextuelle : le Lieu, Le Lien, Le Livre Ertzscheid, Olivier 27 September 2002 (has links) (PDF) L'enjeu de ce doctorat est de montrer comment la perception et les pratiques liées à la figure de l'hypertexte permettent d'entrevoir de profonds bouleversements dans notre rapport à l'écrit (document numérique, nouveaux genres littéraires, textualité renouvelée), à l'organisation de la connaissance, ainsi qu'à la manière dont s'agrègent, se constituent, se développent et se transforment les différents types de rapport au réel présents dans toute organisation sociale réticulée. L'analyse critique de ces transformations nous permet de préciser comment se met progressivement en place une nouvelle écologie cognitive, en quoi elle est rendue nécessaire, et quels sont les outils (typologie englobante des processus de liaison entre entités) et les pratiques sociales émergentes qui la fondent.<br /><br /> Dans notre premier chapitre, nous faisons d'abord un point sur les effets déjà mesurables de l'organisation hypertextuelle dans le rapport à l'écrit pour isoler les transformations cognitives occasionnées par ce nouveau support, pour isoler également la nouvelle organisation des structures traditionnelles de l'énonciation dans le processus de communication (rapports auteur-lecteur, agencements collectifs d'énonciation). Nous concluons par une typologie des nouveaux genres hypertextuels (liés notamment à l'utilisation de générateurs) et sur le statut littéraire de ces productions.<br /> Notre second chapitre aborde les aspects plus « théoriques » de l'organisation hypertextuelle au travers de l'étude systématique de ses procédés de liaison. Après un état de l'art de la question, nous définissons une typologie englobante des liens hypertextuels prenant en compte leurs aspects informatiques, les structures rhétoriques et formelles qui les sous-tendent et les différents types de rapport entre ces « entités-liens » autorisant à qualifier différentes organisations hypertextuelles. Sur tous ces points, les propositions formulées dans ce travail devront permettre d'améliorer les pratiques de navigation et de réduire certains effets liés (surcharge cognitive, désorientation).<br /> Notre troisième chapitre montre que ce que ces liens révèlent du fonctionnement de la pensée humaine (mode essentiellement associatif) est en train de changer la manière dont les systèmes et les organisations sociales se constituent et se développent, en mettant en place, de manière effective, des artefacts et de processus habituellement implicites et dont l'enjeu sera, pour le chercheur, d'accompagner le passage à l'explicite. Ce dernier chapitre s'appuie sur le dispositif expérimental FoRSIC et l'utilisation qu'il fait de différents types ontologiques, ce dernier étant caractéristique des ces nouveaux rapports au savoir que notre travail essaie de qualifier plus que de quantifier. Actes documentaires Ancres Arbres de connaissance Archive Archivistique Artefact Associationnisme Auteur Autopoïèse Autorité Bibliothèque Bibliothèque classique Bibliothèque électronique Bibliothèque virtuelle Browsing Cardinalité Cartographie Cognition (Cognition distribuée) Compétences Complexe Complexité Connexionnisme Coopération Couplage structurel Critique génétique Critique littéraire Cyberespace Cybertexte Désorientation Ecologie cognitive Ecran Ecriture Epistémologie Esthétique Ethnométhodologie Figures Forsic Fractal fractales Fragment (esthétique du) Générateur(s) de texte Génétique documentaire – Génotexte Genres littéraires Gestion des connaissances Herméneutique Hyperfiction Hyperimage Hypermédia Hypertexte Hypertextualité Image Ingénierie des connaissances Intégrité Intelligence collective Interaction Interface Intertextualité Invariant Lecteur Lecture Lexie Lien Liens adaptatifs Liens dynamiques Liens typés Lieu Littérarité Littérature Littérature assistée par ordinateur Littérature digitale Littérature générée par ordinateur Littérature informatique Livre Livre électronique Média Médiasphère Mémoire (Mémoire collective) Métadonnées Navigation (stratégies de) Nœuds Ontologies (types ontologiques) Organisation hypertextuelle Phénotexte Pragmatique de la connaissance Proxémie Recherche d'information Recherche documentaire Réingénierie documentaire Réseau Rhétorique Rhizome Scénarios d'usage Searching Sérendipidité Sérendipidité associative Sérendipidité structurelle Session Styles cognitifs Stylistique Surcharge cognitive Systèmes coopératifs Texte Textualité Topographie Topologie Transclusion Tropes Typologie Usages Versioning
19	Contribution à l'intégration d'une liaison avionique sans fil. L'ingénierie système appliquée à une problématique industrielle Berrebi, Johanna 21 February 2013 (has links) (PDF) Dans un avion, un hélicoptère ou un lanceur actuel, des milliers de capteurs, pour la plupart non critiques sont utilisés pour la mesure de divers paramètres (températures, pressions, positions...) Les résultats sont ensuite acheminés par des fils vers les calculateurs de bord qui les traitent. Ceci implique la mise en place de centaines de kilomètres de câbles (500 km pour un avion de ligne) dont le volume est considérable. Il en résulte une grande complexité de conception et de fabrication, des problèmes de fiabilité, notamment au niveau des connexions, et une masse importante. Par ailleurs l'instrumentation de certaines zones est impossible car leur câblage est difficilement envisageable par manque d'espace. En outre, s'il est souvent intéressant d'installer de nouveaux capteurs pour faire évoluer un aéronef ancien, l'installation des câbles nécessaires implique un démantèlement partiel, problématique et coûteux, de l'appareil. Pour résoudre ces problèmes, une idée innovante a émergé chez les industriels de l'aéronautique : commencer à remplacer les réseaux filaires reliant les capteurs d'un aéronef et leur centre de décision par des réseaux sans fil. Les technologies de communication sans fil sont aujourd'hui largement utilisées dans les marchés de l'électronique de grande consommation. Elles commencent également à être déployées pour des applications industrielles comme l'automobile ou le relevé à distance de compteurs domestiques. Cependant, remplacer des câbles par des ondes représente un défi technologique considérable comme la propagation en milieu confiné, la sécurité, la sureté de fonctionnement, la fiabilité ou la compatibilité électromagnétique. Cette thèse est motivée d'une part par l'avancée non négligeable dans le milieu aérospatial que pourrait être l'établissement d'un réseau sans fil à bord d'aéronefs dans la résolution de problématique classiques comme l'allégement et l'instrumentation. Il en résulterait donc : * Une meilleure connaissance de l'environnement et de la santé de l'aéronef * Un gain sur le poids. * Un gain en flexibilité. * Un gain en malléabilité et en évolutivité. * Un gain sur la complexité. * Un gain sur la fiabilité D'autre part, étant donnée la complexité de la conception de ce réseau de capteur sans fil, il a été nécessaire d'appliquer une méthodologie évolutive et adaptée mais inspirée de l'ingénierie système. Il est envisageable, vu le nombre de sous-systèmes à considérer, que cette méthodologie soit réutilisable pour d'autre cas pratiques. Une étude aussi complète que possible a été réalisée autour de l'existant déjà établi sur le sujet. En effet, on peut en lisant ce mémoire de thèse avoir une idée assez précise de ce qui a été fait. Une liste a été dressée de toutes les technologies sans fil en indiquant leur état de maturité, leurs avantages et leurs inconvénients afin de préciser les choix possibles et les raisons de ces choix. Des projets de capteurs sans fil ont été réalisés, des technologies sans fil performantes et personnalisables ont été développées et arrivent à maturité dans des secteurs variés tels que la domotique, la santé, l'automobile ou même l'aéronautique. Cependant aucun capteur sans fil n'a été véritablement installé en milieu aérospatial car de nombreux verrous technologiques n'ont pas été levés. Fort des expériences passées, et de la maturité qu'ont prise certaines technologies, des conclusions ont été tirées des projets antérieurs afin de tendre vers des solutions plus viables. Une fois identifiés, les verrous technologiques ont été isolés. Une personnalisation de notre solution a été à envisager afin de remédier tant que faire se peut à ces points bloquants avec les moyens mis à disposition. La méthodologie appliquée nous a permis d'identifier un maximum de contraintes, besoins et exigences pour mieux focaliser les efforts d'innovation sur les plus importantes et choisir ainsi les technologies les plus indiquées. ensemble d'éléments (logiciel respect des règles vérifications validations veille initialisation mesure transmission nominale ou dégradée

Search results