.

Nous proposons une nouvelle méthodologie de simulation symbolique, permettant la vérification des circuits séquentiels décrits à des niveaux d'abstraction différents. Nous avons utilisé un outil automatique de vérification formelle afin de montrer l'équivalence entre une description structurelle précisant les détails de réalisation et sa spécification comportementale. Des descriptions au niveau portes logiques issues d'un outil de synthèse commercial ont été comparées à des spécifications comportementales et structurelles au niveau transfert des registres. Cependant, il n'est pas nécessaire que la spécification soit synthésable ni qu'elle soit équivalente à la réalisation à chaque cycle d'horloge. Ultérieurement cette méthode pourra aussi s'appliquer à la vérification des propriétés. La simulation symbolique est exécutée en suivant des chemins dont l'outil garantit la cohérence logique. Nous obtenons un bon compromis entre précision et vitesse en détectant des équivalences grâce à un ensemble extensible de techniques. Nous utilisons des diagrammes de décisions binaires (OBDD) pour détecter les équivalences dans certains cas particuliers. Nous évitons l'explosion combinatoire en utilisant les résultats des autres techniques de détection et en ne représentant qu'une petite partie du problème à vérifier par des diagrammes de décisions. La coopération de toutes les techniques, et la génération de traces permettant la correction d'erreurs, ont été rendues possibles par le fait que nous associons des relations à des classes d'équivalence, au lieu de manipuler des expressions symboliques.

La présente étude examine et compare le comportement des deux types de fibres PA66 et deux types de fibres PET à haute performance sous sollicitation en fatigue, menés jusqu'à la rupture, ainsi que la corrélation entre leurs (nano)structure et leur hétérogénéité structurale avec la durée de vie en fatigue. Plusieurs techniques ont été utilisées pour analyser les matériaux, tels que la microscopie électronique à balayage (MEB), la microanalyse EDS, la calorimétrie différentielle à balayage (DSC), la diffraction de rayons-X aux grands angles (WAXD) et la micro-spectroscopie Raman. Une analyse minutieuse des faciès de rupture en traction et en fatigue par microscopie électronique à balayage, ainsi qu'une étude de la durée de vie en fatigue ont été menées. Les résultats montrent que le processus de fatigue se produit quand l'amplitude de la charge est suffisamment grande, mais à condition que la charge minimale à chaque cycle reste inférieure à un certain seuil en contrainte. La morphologie des faciès de rupture en fatigue est différente de celles des faciès de rupture en traction ou en fluage, ce qui permet de distinguer facilement un processus de fatigue. Les fibres ont été analysées à l'état "brut de fabrication" et après rupture en fatigue afin d'observer les changements microstructuraux résultant de la sollicitation en fatigue. Les résultats seront comparés avec ceux obtenus pour des fibres sollicitées cycliquement dans des conditions où la fatigue a été annihilée. Le rôle de la microstructure des fibres déterminant la fatigue sera discuté dans ce travail et la possibilité d'améliorer leur résistance à la fatigue ou d'éliminer le processus de fatigue sera discutée.

Dans cette thèse, nous nous intéressons aux schémas de codage et de décodage source-canal conjoint des contenus multimédia. Nous montrons comment la redondance laissée par le codeur vidéo peut être exploitée pour réaliser un décodage robuste des séquences transmises sur un lien radio-mobile bruité. grâce au schéma de décodage conjoint proposé, le nombre de paquets corrompus est significativement réduit au prix d'une très légère augmentation du débit. Nous appliquons ensuite ce schéma de décodage robuste à latransmission par descriptions multiples sur une architecture mixte Internet et radio-mobile. Le décodage source-canl conjoint des paquets reçus permet de corriger les erreurs de transmission et d'augmenter ainsi le nombre de paquets utilisés par le décodeur pour compenser les paquets perdus. L'efficacité de ce schéma est étudiée par rapport à un schéma classique basé sur les décisions dures du canal et sur un code correcteur d'erreurs introduisant le même niveau de redondance. Une deuxième partie de la thèse est consacrée à l'étude de schémas de codage source-canal conjoint basés sur une transformation redondante. Deux schémas d'estimation ont été proposés. Dans le premier, nous exploitons la redondance structurée introduite et le caractère borné du bruit de quantification pour construire un estimateur cohérent corrigeant les erreurs de transmission. Dans le deuxième schéma, nous appliquons l'algorithme de propagation de croyances pour évaluer les distributions a posteriori des composantes du signal d'entrée, à partir de sorties bruitées du canal. Nous appliquons alors ces deux schémas pour estimer l'entrée d'un banc de filtres suréchantillonnés.

Les lasers à fibre suscitent un grand intérêt dans tous les domaines, pour des applications allant du médical aux télécommunications, car ils permettent d'obtenir une bonne cohérence spatiale et temporelle et sont compacts et robustes. La limite se situe dans le domaine des lasers à fortes puissances. La combinaison de plusieurs sources lasers est alors une solution prometteuse pour surpasser les limites individuelles de ces sources, en particulier les techniques de combinaisons cohérentes de faisceaux. Dans cette famille de combinaison, la technique de contrôle actif de la phase par marquage en fréquence est particulièrement intéressante, mais deux limitations majeures ont été identifiées : le cas du régime impulsionnel ainsi que le nombre limité de voies pouvant être mise en phase. Dans cette thèse des solutions sont proposées pour lever ces limitations. Dans un premier temps, nous avons réalisé la première démonstration expérimentale d'une combinaison cohérente impulsionnelle utilisant cette technique. Ensuite, en adaptant des techniques de codage orthogonal issues du domaine des télécommunications, nous avons augmenté le nombre de voies pouvant être combinées. Un outil de simulation du système a été développé pour étudier l'utilisation des techniques de codage et pour étudier la propagation des faisceaux à travers la turbulence atmosphérique. Pour évaluer les performances des systèmes à grand nombre d'émetteur, nous avons mis en place une méthodologie, basée sur l'utilisation de plans d'expériences et de métamodèles, permettant d'identifier les fibres ou les interactions entre fibres les plus influentes, en fonction des paramètres initiaux de la combinaison.

Les cristaux photoniques (CP) nous fournissent un moyen sans précédent de contrôler et de confiner les photons. En particulier, les cristaux photoniques membranaires (CP-2D) (confinement vertical par réflexion totale interne), et l'effet de bande interdite photonique (confinement dans le plan), jouent un rôle très important en nanophotonique. En introduisant des défauts dans le cristal (omission d'un ou de plusieurs motifs), il est possible de générer des modes optiques très localisés, possédant un faible volume modal et un grand facteur de qualité. Coupler un émetteur unique à ce type de mode peut être alors utile pour exalter ou inhiber sa dynamique. L'efficacité du couplage dépend à la fois de l'accord en longueur d'onde entre l'émetteur et le mode optique ainsi que de leur recouvrement spatial, c'est pourquoi le contrôle du couplage entre l'émetteur et le mode localisé doit être optimal. Il est donc crucial de connaître le profil du mode dans la cavité à une échelle suffisamment petite. Jusqu'à présent, le SNOM s'est révélé un outil de caractérisation particulièrement bien adapté à l'observation directe du champ dans des structures nanophotoniques. En effet, il permet d'accéder aux parties évanescentes des modes, livrant ainsi des informations locales, inaccessibles par des mesures classiques en champ lointain. Cependant, le potentiel des structures à base de CP-2D pour développer de nouveaux composants photoniques serait considérablement accru si leurs propriétés optiques pouvaient être modifiées après fabrication. En particulier, pour les structures actives, la capacité à accorder de manière réversible une cavité à l'emission ou à l'absorption d'une source est de grand intérêt. Dans cette étude, l'idée est donc d'utiliser la sonde d'un SNOM dans le but de perturber la résonnance (longueur d'onde, facteur de qualité) d'un mode. Dans ce travail, Nous concevons et optimisons une cavité linéaire dans laquelle sept trous ont été omis (CL7). Nous étudions théoriquement les propriétés de la cavité et particulièrement un mode présentant un bon facteur de qualité. Ensuite, l'interaction de pointes champ proche avec les modes de la CL7 et en particulier l'effet du matériau de la pointe sur l'émission en longueur d'onde et les pertes induites relatives sont étudiés. Dans ce but, une pointe est introduite dans des simulations FDTD-3D, soit avec l'indice de la silice (1.44), soit avec l'indice du silicium (3.4). Ensuite, l'effet de la forme de la pointe sur les cartographies est étudié, et particulièrement l'influence de la polarisabilité et de la section efficace. Les cavités CL7 sont fabriquées et caractérisées par un dispositif d'optique réfractive et par un microscope optique de champ proche. Le mode fondamental, présentant un effet laser, est utilisé pour étudier l'interaction ave la pointe champ proche. Des caractérisations SNOM avec une pointe en silice et une pointe hybride silice/silicium sont réalisées sur la cavité CL7 et nous démontrons que la pointe en silice recouverte de silicium provoque un décalage en longueur d'onde de l'ordre de quelques nanomètres, de 5 à 10 fois supérieur que la largeur intrinsèque du pic. La pointe en silice induitdes décalages en longueur d'onde de l'ordre du dixième de nanomètre, qui n'est pas détecté par notre montage expérimental. Nous démontrons également l'importance de la forme de la pointe lors de l'observation directe et locale de la distribution du champ avec le SNOM. Nous montrons qu'une pointe isotrope de bas indice peut être utilisée comme un outil de caractérisation passive car la cartographie champ proche donne une bonne approximation du mode tel qu'il existe dans la structure sans présence de la pointe. A l'inverse, une pointe anisotrope donne une information partielle car elle ne convertie le champ que dans la direction du petit axe.

Pas de résumé

Le bruit de rugosité, rayonné lors du frottement entre surfaces rugueuses sous faible chargement, est un phénomène complexe dépendant de plusieurs paramètres dont la rugosité de surface, la vitesse de glissement, le chargement normal appliqué et les matériaux frottés. Il se distingue des autres types du bruit de frottement par un spectre fréquentiel large bande, un niveau sonore faible, une faible pression de contact et par conséquent un couplage dynamique faible entre les solides en contact. Pour étudier ce type du bruit, deux approches ont été développées: expérimentale et numérique. L'approche expérimentale a permis de proposer des lois de variation des niveaux sonores et vibratoires en fonction des paramètres tribologiques (principalement la rugosité) et cinématique (principalement la vitesse de glissement). L'approche numérique est consacrée à l'étude de la dynamique locale des interfaces multicontact. Elle a permis ainsi d'accéder aux paramètres inaccessibles à la mesure (forces locales, durée de chocs inter-aspérités, fréquence de chocs) et d'établir une comparaison avec les mesures sonores et vibratoires. Les résultats aussi bien expérimentaux que numériques montrent que le bruit de rugosité est une fonction croissante de la rugosité de surface et de la vitesse de glissement. La phénoménologie du bruit de rugosité fait appel à trois disciplines différentes: la tribologie (génération des vibrations à l'interface multicontact dues aux variations des efforts de contact suite aux chocs inter-aspérités), la dynamique (propagation de ces vibrations dans les solides en contact) et l'acoustique (une partie de ces vibrations est dissipée sous forme de bruit de rugosité). Le mécanisme fondamental du bruit de rugosité est ainsi la mise en vibration des solides en contact générée par les chocs inter-aspérités. Ces chocs sont caractérisés par leur fréquence, leur percussion et leur durée. La fréquence diminue quand la rugosité ou la vitesse de glissement augmente, la percussion augmente avec ces deux paramètres et la durée de choc est indépendante de la rugosité de surface et la vitesse de glissement.

Caractérisation et Utilisation du Rayonnement Electromagnétique pour l'attaque de composants cryptographiques. Actuellement les algorithmes mathématiques de cryptographie sont de plus en plus sûrs et réputés incassables. Cependant, leurs implémentations sur des composants cryptographiques les rend vulnérables aux attaques physiques (matérielles ou logicielles) par canaux auxiliaires SCA (Side Channel Analysis). Dans cette thèse nous développons de façon plus précise l'étude des rayonnements électromagnétiques et leur caractérisation dans le domaine fréquentiel afin d'améliorer les attaques EMA à distance. Nous proposons différentes méthodes d'amélioration de ces attaques notamment en combinant des échantillons, afin de limiter la dégradation du modèle de fuite due à un faible rapport signal / bruit. Ensuite nous montrerons les limites des ces attaques avant de proposer des méthodes d'analyse fréquentielle, pour réduire la bande de fréquence d'analyse et améliorer la qualité du signal porteur d'information. Enfin, nous verrons que des méthodes utilisées en compatibilité électromagnétique peuvent être mises en place pour réaliser des attaques en fautes sur des composants cryptographiques.

Pas de résumé disponible