Depuis peu, le grand public manifeste un engouement pour des objets communicants qui requièrent le transfert rapide d'une quantité d'information sans cesse croissante. Dans ce contexte, l'un des challenges scientifiques repose sur la recherche de techniques de transmissions radio à très haut débit sur de courtes portées. Une technique possible est l'utilisation de signaux UWB, lesquels ont été autorisés en février 2002 par l'organisme américain de régulation des fréquences. Pour évaluer les performances des systèmes UWB, la modélisation du canal de propagation est indispensable. Ces modélisations sont généralement statistiques. L'objectif de la thèse a consisté à examiner l'apport de la modélisation déterministe pour l'étude du canal UWB. Les travaux présentés portent sur l'étude de l'impact des mécanismes de propagation sur les signaux UWB, sur la conception d'un outil de modélisation déterministe et sur la réalisation de campagnes de mesures pour l'évaluation de l'outil.

On s'est intéressé dans ce travail à la résolution numérique des équations d'Euler linéarisées autour d'un écoulement stationnaire, subsonique et assez régulier. Dans le but d'obtenir des matrices symétriques dans ces équations, et in fine, une équation d'équilibre énergétique, nous considérons la linéarisation d'une forme symétrique des équations d'Euler tridimensionnelles. Nous proposons un schéma non-diffusif de type Galerkin discontinu en domaine temporel (GDDT) s'appuyant sur une formulation centrée-élément avec des ux numériques totalement centrés et un schéma en temps explicite de type saute-mouton, ce qui permet d'obtenir une approximation sans dissipation et fournit une estimation précise des variations de l'énergie aéroacoustique. En effet, dans le cas général de la linéarisation autour d'un écoulement non-uniforme, il existe une équation d'équilibre énergétique au niveau continu que nous vérifions au niveau discret. Nous montrons qu'il existe un terme source discret permettant de conserver exactement l'énergie ce qui permet de prouver la stabilité de notre schéma. Ainsi, notre schéma non-diffusif de type GDDT fournit un outil précis pour contrôler des phénomènes tel que les instabilités de Kelvin-Helmholtz. Nous illustrons la capacité de notre méthode aussi bien sur plusieurs cas tests académiques que sur différentes configurations complexes grâce à une implémentation parallèle.

Le travail de ma thèse s'inscrit dans le contexte général de l'amélioration des procédés de traitement thermique des pièces massives en composites à matrice thermodurcissable. Parmi les techniques utilisées, le chauffage par micro-onde est sûrement l'une des plus séduisantes. Cependant le traitement homogène de pièces de dimensions importantes n'est pas sans poser des problèmes. Ces problèmes sont liés à l'existence possible d'ondes stationnaires, et à l'atténuation des ondes électromagnétique. Ce travail a pour but l'amélioration de la technique par la mise au point d'une optimisation des moules permettant d'atteindre cette meilleure homogénéité grâce à l'effet diélectrique d'inversion de l'atténuation des ondes électromagnétiques. Le sujet traité nécessite une approche multidisciplinaire puisque traitant de la création de sources thermiques dont il faut maîtriser la distribution spatiale et temporelle, sources créées par un champ électromagnétique et régissant la cinétique des réactions chimiques. La solution proposée nécessite donc de maîtriser les trois domaines thermique, électromagnétique et chimique qui interviennent ici d'une façon fortement couplée.

Dans les systèmes répartis asynchrones, l'horloge logique et le vecteur d'horloges sont deux outils fondamentaux pour gérer la communication et le partage de données entre les entités constitutives de ces systèmes. L'objectif de cette thèse est d'exploiter ces outils avec une perspective d'implantation. Dans une première partie, nous nous concentrons sur la communication de données et contribuons au domaine de la diffusion uniforme à ordre total. Nous proposons le protocole des trains : des jetons (appelés trains) circulent en parallèle entre les processus participants répartis sur un anneau virtuel. Chaque train est équipé d'une horloge logique utilisée pour retrouver les train(s) perdu(s) en cas de défaillance de processus. Nous prouvons que le protocole des trains est un protocole de diffusion uniforme à ordre total. Puis, nous créons une nouvelle métrique : le rendement en termes de débit. Cette métrique nous permet de montrer que le protocole des trains a un rendement supérieur au meilleur, en termes de débit, des protocoles présentés dans la littérature. Par ailleurs, cette métrique fournit une limite théorique du débit maximum atteignable en implantant un protocole de diffusion donné. Il est ainsi possible d'évaluer la qualité d'une implantation de protocole. Les performances en termes de débit du protocole des trains, notamment pour les messages de petites tailles, en font un candidat remarquable pour le partage de données entre coeurs d'un même processeur. De plus, sa sobriété en termes de surcoût réseau en font un candidat privilégié pour la réplication de données entre serveurs dans le cloud. Une partie de ces travaux a été implantée dans un système de contrôle-commande et de supervision déployé sur plusieurs dizaines de sites industriels. Dans une seconde partie, nous nous concentrons sur le partage de données et contribuons au domaine de la RFID. Nous proposons une mémoire répartie partagée basée sur des étiquettes RFID. Cette mémoire permet de s'affranchir d'un réseau informatique global. Pour ce faire, elle s'appuie sur des vecteurs d'horloges et exploite le réseau formé par les utilisateurs mobiles de l'application répartie. Ainsi, ces derniers peuvent lire le contenu d'étiquettes RFID distantes. Notre mémoire répartie partagée à base de RFID apporte une alternative aux trois architectures à base de RFID disponibles dans la littérature. Notre mémoire répartie partagée a été implantée dans un jeu pervasif qui a été expérimenté par un millier de personnes.

Le but de cette thèse est de définir puis d'étudier différentes notions d'irrégularité uniforme ou ponctuelle permettant de traduire le fait qu'une fonction peut avoir des 'grands accroissements' à toutes les échelles. Pour cela on 'inverse' les notions de régularité Höldérienne usuelles. L'objectif principal du travail est ensuite de relier ces différentes notions à la théorie des ondelettes. Les critères ondelettes établis vont ainsi permettre de définir des fonctions ou des champs aléatoires dont le comportement est différent suivant la gamme d'échelles considérée. Par ailleurs, si on se place du point de vue ponctuel, une question naturelle est celle de la définition d'une analyse multifractale -dite faible- liée à la notion d'irrégularité ponctuelle. Les ondelettes vont alors permettre de définir des séries d'ondelettes multifractales pour l'irrégularité ponctuelle. Enfin, nous étudions des exemples de champs aléatoires où des propriétés de régularité directionelle apparaissent. Nous nous sommes ainsi centré sur l'étude d'un modèle de champ aléatoire gaussien particulier vérifiant une relation d'autosimilarité matricielle. Nous avons ensuite généralisé ce modèle et introduit des champs gaussiens autosimilaires par rapport à un groupe

Dans ce travail nous démontrons un théorème de simplification uniforme concernant les équations différentielles ordinaires du second ordre singulièrement perturbées au voisinage d'un point dégénéré, appelé point tournant. Il s'agit d'une version analytique d'un résultat formel dû à Hanson et Russell, qui généralise un théorème connu de Sibuya. Pour traiter ce problème, nous utilisons les développements asymptotiques combinés Gevrey introduits par Fruchard et Schäfke. Dans une première partie nous rappelons les définitions et théorèmes principaux de cette récente théorie. Nous établissons trois résultats généraux que nous utilisons ensuite dans la seconde partie de ce manuscrit pour démontrer le théorème principal de réduction analytique annoncé. Enfin nous considérons des équations différentielles ordinaires d'ordre supérieur à deux, singulièrement perturbées à point tournant, et nous démontrons un théorème de réduction analytique.

Face aux défis actuels liés à la conception de capteurs d'images à forte résolution comme la limitation de la consommation électrique, l'augmentation du flux de données ainsi que le traitement de données associé, on propose, à travers cette thèse, un capteur d'image novateur asynchrone à échantillonnage non uniforme.Ce capteur d’images asynchrone est basé sur une matrice de pixels événementiels qui intègrent un échantillonnage non uniforme par traversée de niveaux. Contrairement aux imageurs conventionnels, où les pixels sont lus systématiquement lors de chaque trame, les pixels événementiels proposés sont consultés que lorsqu’ils contiennent une information pertinente. Cela induit un flux de données réduit et dépendant de l’image.Pour compléter la chaîne de traitement des pixels, on présente également une architecture numérique de lecture dédiée conçue en utilisant de la logique asynchrone et destinée à contrôler et à gérer le flux de données des pixels événementiels. Ce circuit de lecture numérique permet de surmonter les difficultés classiques rencontrées lors de la gestion des demandes simultanées des pixels événementiels sans dégrader la résolution et le facteur de remplissage du capteur d’images. En outre, le circuit de lecture proposé permet de réduire considérablement les redondances spatiales dans une image ce qui diminue encore le flux de données.Enfin, en combinant l'aspect échantillonnage par traversée de niveau et la technique de lecture proposée, on a pu remplacer la conversion analogique numérique classique de la chaîne de traitement des pixels par une conversion temps-numérique (Time-to-Digital Conversion). En d'autres termes, l'information du pixel est codée par le temps. Il en résulte une diminution accrue de la consommation électrique du système de vision, le convertisseur analogique-numérique étant un des composants les plus consommant du système de lecture des capteurs d'images conventionnels / In order to overcome the challenges associated with the design of high resolution image sensors, we propose, through this thesis, an innovative asynchronous event-driven image sensor based on non-uniform sampling. The proposed image sensor aims the reduction of the data flow and its associated data processing by limiting the activity of our image sensor to the new captured information.The proposed asynchronous image sensor is based on an event-driven pixels that incorporate a non-uniform sampling crossing levels. Unlike conventional imagers, where the pixels are read systematically at each frame, the proposed event-driven pixels are only read when they hold new and relevant information. This induces a reduced and scene dependent data flow.In this thesis, we introduce a complete pixel reading sequence. Beside the event-driven pixel, the proposed reading system is designed using asynchronous logic and adapted to control and manage the flow of data from event pixels. This digital reading system overcomes the traditional difficulties encountered in the management of simultaneous requests for event pixels without degrading the resolution and fill factor of the image sensor. In addition, the proposed reading circuit significantly reduces the spatial redundancy in an image which further reduces the data flow.Finally, by combining the aspect of level crossing sampling and the proposed reading technique, we replaced the conventional analog to digital conversion of the pixel processing chain by a time-to-digital Conversion (TDC). In other words, the pixel information is coded by time. This results in an increased reduction in power consumption of the vision system, the analog-digital converter being one of the most consuming reading system of conventional image sensors components

Dans la plupart des activités quotidiennes, l’Homme a tendance à utiliser des connaissances imparfaites. L’imperfection se rapporte à trois volets : l’imprécision, l’incertitude et l’incomplétude. Nous thèse concerne les connaissances imprécises. En particulier, nous nous intéressons au traitement qualitatif de l’information imprécise dans les systèmes à base de connaissances. Diverses approches ont été proposées pour traiter les connaissances imprécises, en particulier, la logique floue et la logique multivalente. Les théories des ensembles flous et des multi-ensembles sont un moyen très approprié pour la représentation et la modélisation de l’imprécision.Notre travail s’inscrit dans le contexte de la logique multivalente. Celle-ci permet de représenter symboliquement des connaissances imprécises en utilisant des expressions adverbiales ordonnées du langage naturel. L’utilisation de ces degrés symboliques est plus compréhensible par les experts. Ce type de représentation de données est indépendant du type de leurs domaines de discours. Ainsi, la manipulation des connaissances abstraites ou faisant référence à des échelles numériques se fait de la même manière.Dans la littérature, le traitement de l’information imprécise repose sur une hypothèse implicite de la répartition uniforme des degrés de vérité sur une échelle de 0 à 1. Néanmoins, dans certains cas, un sous-domaine de cette échelle peut être plus informatif et peut inclure plus de termes. Dans ce cas, l’information est définie par des termes déséquilibrés, c’est-à-dire qui ne sont pas uniformément répartis et/ou symétriques par rapport à un terme milieu. Par exemple, pour l’évaluation des apprenants, il est possible de considérer un seul terme négatif F correspondant à l’échec. Quant à la réussite, elle est décrite par plusieurs valeurs de mention, i.e. D, C, B et A. Ainsi, si le terme D est le seuil de la réussite, il est considéré comme le terme milieu avec un seul terme à sa gauche et trois à sa droite. Il s’agit alors d’un ensemble non uniforme.Dans ce travail, nous nous concentrons sur l'extension de la logique multivalente au cas des ensembles non uniformes. En s'appuyant sur notre étude de l'art, nous proposons de nouvelles approches pour représenter et traiter ces ensembles de termes. Tout d'abord, nous introduisons des algorithmes qui permettent de représenter des termes non uniformes à l'aide de termes uniformes et inversement. Ensuite, nous décrivons une méthode pour utiliser des modificateurs linguistiques initialement définis pour les termes uniformes avec des ensembles de termes non uniformes. Par la suite, nous présentons une approche de raisonnement basée sur le modèle du Modus Ponens Généralisé à l'aide des Modificateurs Symboliques Généralisés. Les modèles proposés sont mis en œuvre dans un nouveau système de décision fondé sur des règles pour la reconnaissance de l'odeur de camphre. Nous développons également un outil pour le diagnostic de l'autisme infantile. Les degrés de sévérité de l'atteinte par ce trouble autistique sont représentés par l'échelle d'évaluation de l'autisme infantile (CARS). Il s'agit d'une échelle non uniforme. / In most daily activities, humans use imprecise information derived from appreciation instead of exact measurements to make decisions. Various approaches were proposed to deal with imperfect knowledge, in particular, fuzzy logic and multi-valued logic. In this work, we treat the particular case of imprecise knowledge.Taking into account imprecise knowledge by computer systems is based on their representation by means of linguistic variables. Their values form a set of words expressing the different nuances of the treated information. For example, to judge the beauty of the Mona Lisa or the smell of a flower, it is not possible to give an exact value but an appreciation is given by a term like "beautiful" or "floral".In the literature, dealing with imprecise information relies on an implicit assumption: the distribution of terms is uniform on a scale ranging from 0 to 1. Nevertheless, in some cases, a sub-domain of this scale may be more informative and may include more terms. In this case, knowledge are represented by means of an unbalanced terms set, that is, not uniformly nor symmetrically distributed.We have noticed, in the literature, that in the context of fuzzy logic many researchers have dealt with these term sets. However, it is not the case for multi-valued logic. Thereby, in our work, we aim to establish a methodology to represent and manage this kind of data in the context of multi-valued logic. Two aspects are treated. The first one concerns the representation of terms within an unbalanced multi-set. The second deals with the treatment of such kind of imprecise knowledge, i.e. with symbolic modifiers and in reasoning process.In this work, we focus on unbalanced sets in the context of multi-valued logic. Basing on our study of art, we propose new approaches to represent and treat such term sets. First of all, we introduce algorithms that allow representing unbalanced terms within uniform ones and the inverse way. Then, we describe a method to use linguistic modifiers within unbalanced multi-sets. Afterward, we present a reasoning approach based on the Generalized Modus Ponens model using Generalized Symbolic Modifiers. The proposed models are implemented in a novel rule-based decision system for the camphor odor recognition within unbalanced multi-set. We also develop a tool for child autism diagnosis by means of unbalanced severity degrees of the Childhood Autism Rating Scale (CARS).

Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-08-09T16:42:35Z No. of bitstreams: 1 EMANUELA RÉGIA DE SOUSA COELHO - DISSERTAÇÃO PPGMAT 2014..pdf: 722841 bytes, checksum: 35c227da51e1da58846c5d7bdb22cd7f (MD5) / Made available in DSpace on 2018-08-09T16:42:35Z (GMT). No. of bitstreams: 1 EMANUELA RÉGIA DE SOUSA COELHO - DISSERTAÇÃO PPGMAT 2014..pdf: 722841 bytes, checksum: 35c227da51e1da58846c5d7bdb22cd7f (MD5) Previous issue date: 2014-02 / Capes / Para ler o reumo deste trabalho recomendamos o download do arquivo, pois o mesmo possui fórmulas e caracteres matemáticos que não foram possíveis transcreve-los. / To read the progress of this work we recommend downloading the file, as it has formulas and mathematical characters that could not be transcribed.

La spectrométrie de masse fournit deux types d’informations : la masse moléculaire des molécules présentes dans un mélange, en une première expérience (MS), puis leurs structures après isolation suivie de fragmentation, obtenues une à une (MS/MS). La spectrométrie de masse FT-ICR bidimensionnelle permet d’obtenir toutes ces informations en une seule expérience, sans isolation, quelle que soit la complexité de l’échantillon. Le prix à payer est une faible résolution dans la dimension indirecte, pouvant être améliorée par une augmentation du temps d’analyse, mais qui semblait limiter cette technique à une simple curiosité scientifique.Le premier objectif est d’implémenter l’échantillonnage non uniforme (NUS) en FT-ICR MS 2D. Cette technique consiste en l’acquisition aléatoire du même nombre de points dans la dimension indirecte que lors d’une acquisition uniforme, mais sur une plage de t1max plus grande. Les points manquants sont ensuite reconstruits par des algorithmes, entrainant une augmentation significative de la résolution du signal sans perte de temps sur le spectromètre. La première étape est de créer un algorithme générant un échantillonnage aléatoire de distribution uniforme pour une couverture optimale de la plage de t1max. Les algorithmes de reconstruction ayant des difficultés à reconstituer des signaux de faible intensité quand le nombre de points non échantillonnés augmente, la deuxième étape est de déterminer le facteur de sous-échantillonnage optimal afin d’obtenir le bon compromis entre résolution et signal-sur-bruit. La troisième étape est de réaliser des spectres MS/MS ayant des massifs isotopiques corrects pour des fragments produits à partir des isotopes les plus lourds.Le deuxième objectif est de décrire le comportement des ions dans la cellule ICR en fonction des impulsions RF utilisées à partir des équations de Lorentz. Dans une première partie, le but est d’établir les équations qui régissent le mouvement des ions précurseurs jusqu’à leur détection. Ensuite, il s’agit d’introduire la fragmentation et de déterminer les solutions analytiques décrivant le mouvement des fragments. La dernière étape est de simuler le comportement des ions précurseurs tout au long de la séquence d’impulsions ainsi que celui des nuages de fragments, de leur formation à leur détection. / Mass spectrometry provides two kinds of information: the molecular mass of molecules present in a mixture, obtained all at once (MS), and structure through isolation and fragmentation, obtained one by one (MS/MS). Two-dimensional FT-ICR MS allows simultaneous parallel acquisition of structural information without isolation, regardless of the number of molecules. Nevertheless, the low resolution in the indirect dimension, which could be improved by increasing the acquisition time, seemed to limit this method to a simple curiosity. The first objective is to implement non-uniform-sampling (NUS) in 2D FT-ICR MS. This method consist in the random acquisition of the same number of points in the indirect dimension as in uniform acquisition, but over a wider t1max range. Processing algorithms then reconstruct skipped points, and the result is an increase of signal resolution without wasting analysis time. The first step is to create an algorithm that can generate random sampling with a uniform distribution for an optimal coverage of the t1max range. Processing algorithms may have trouble to reconstruct small peaks when the number of skipped points increases. The second step is to choose the under-sampling ratio for the best compromise between the gain in resolution and the signal-to-noise ratio. The third and last step is to obtain MS/MS spectra with corrects isotopic patterns for fragments produced from heavy isotopes. The second objective is to improve the understanding of ion motions in ICR cells depending on the RF pulses by using Lorentz equations. The first goal is to determine the equations governing precursors motions until their detection. Then the fragmentation will be introduced and analytical solutions describing fragments motions will be established. The last step is to simulate the trajectories of precursors throughout the entire pulse sequence as well as the behavior of fragments clouds, from their formation to detection.