Les travaux de cette thèse ont été menés dans le cadre d'une collaboration entre les laboratoires SATIE et LTN IFSTTAR. Ils portent principalement, sur l'étude de la robustesse des composants JFET SiC de puissance pour des applications de découpage à haute fréquence, forte puissance surfacique et à haute température lorsqu'ils sont soumis à des régimes extrêmes de fonctionnement. Les travaux présentés traitent également de façon plus générale l'étude de la durée de vie de packaging dédiés à ce type de composants et adaptés à la haute température pour des applications aéronautiques. La robustesse de différents lots des VJFETs SiC d'un fabricant particulier (SemiSouth) a été étudiée en régimes d'avalanche et de court circuit afin de déterminer les énergies que peuvent supporter ces composants dans ces modes de fonctionnement particuliers en cherchant notamment à quantifier la température du cristal et à mettre en évidence les mécanismes physiques à l'origine des défaillances. Nous avons ainsi également développé un modèle éléments finis thermique afin d'estimer la température de jonction du JFET SiC lors des régimes extrêmes pour chercher à relier l'apparition de la défaillance à la température. Finalement, nous décrivons des mécanismes physiques à l'origine des dégradations lors de la répétition de tels régimes extrêmes de fonctionnement expliquant à terme la destruction par vieillissement des transistors. Un substrat céramique à base de Si3N4 a été le support des études menées dans le cadre de cette thèse sur le packaging. Nous avons caractérisé les dégradations de ces substrats par des analyses acoustiques après vieillissement par cyclage thermique de forte amplitude. Un modèle thermomécanique a été développé afin d'estimer les contraintes mécaniques dans l'assemblage et valider les résultats expérimentaux obtenus. Enfin, nous avons également initiés des travaux de diagnostic thermique sur des puces JFET SiC, par des mesures d'impédance thermique pouvant être utilisées pour la détection de défauts de délaminage dans un assemblage de puissance.

Many tools have been developed to automatically verify security properties on cryptographic protocols. But until recently, most tools focused on trace properties (or reachability properties) such as authentication and secrecy. However, many security properties cannot be expressed as trace properties, but can be written as equivalence properties. Privacy, unlinkability, and strong secrecy are typical examples of equivalence properties. Intuitively, two protocols P, Q are equivalent if an adversary can not distinguish P from Q by interacting with these processes. In the literature, several notions of equivalence were studied, e.g. trace equivalence or a stronger one, observational equivalence. However, it is often very difficult to prove by hand any of these equivalences, hence the need for efficient and automatic tools. We first worked on an approach that rely on constraint solving techniques and that is well suited for bounded number of sessions. We provided a new algorithm for deciding the trace equivalence between processes that may contain negative tests and non-determinism. We applied our results on concrete examples such as anonymity of the Private Authentication protocol and the E-passport protocol. We also investigated composition results. More precisely, we focused on parallel composition under shared secrets. We showed that under certain conditions on the protocols, the privacy type properties are preserved under parallel composition and under shared secrets. We applied our result on the e-passport protocol. At last this work presents an extension of the automatic protocol verifier ProVerif in order to prove more observational equivalences. This extension have been implemented in ProVerif and allows us to automatically prove anonymity in the private authentication protocol.

The classical structure of an Opto-Electronic Oscillator (OEO) is based on a long fiber loop acting as a delay line and leading to the high spectral purity, or very low phase noise, of the oscillator. Such an OEO has been developed in SATIE/LPQM laboratory at ENS Cachan, operating at 8 GHz frequency. However, this system has some main disadvantages such as a bulky size, the difficulty to control temperature and a wide range of peaks among which it is difficult to select only one mode. In order to eliminate these disadvantages, high quality factor optical resonator can be used instead of the optical fiber loop. In this thesis, two resonator structures are produced and investigated. Microspheres are fabricated based on optical single mode fiber. Whispering gallery modes of these resonators are characterized by tapered fiber -resonator coupling. The experimental results show that the quality factor of the microsphere is up to 106 and FSR depends on the diameter of the resonator. A microsphere with a diameter of 300 µm, presents a FSR of 0.2 nm corresponding to a frequency of 25 GHz. However, for an OEO system which should work at 8 GHz, microsphere with a smaller FSR or with diameter of some millimeters should be fabricated- that is really difficult to obtain. Another add/drop racetrack resonator is designed and investigated. Optical experimental behavior of racetrack is characterized via fiber micro-lens coupling. The transmission spectrum shows resonance dips with average quality factor of 105 and a small FSR of 0.050 ± 0.003 nm (actually corresponding to 6 GHz) for a scanning wavelength range from 1534 nm to 1610 nm. The most promising features of the racetrack resonator are its high quality factor, and its free spectral range, which give it the high suitability for being used in the OEO system. Nevertheless the coupling with fiber lens leads to high losses and it is not possible to fulfill the oscillation conditions. Future work should be conducted for improving the coupling and for controlling the resonance dips position in agreement with the wavelength of the laser used in the OEO.

De nombreuses applications de traitement de signal nécessitent la connaissance de la matrice de covariance des données reçues. Lorsqu'elle n'est pas directement accessible, elle est estimée préalablement à l'aide de données d'apprentissage. Traditionnellement, le milieu est considéré comme gaussien. L'estimateur du maximum de vraisemblance est alors la sample covariance matrix (SCM). Cependant, dans de nombreuses applications, notamment avec l'arrivée des techniques haute résolution, cette hypothèse n'est plus valable. De plus, même en milieu gaussien, il s'avère que la SCM peut-être très influencée par des perturbations (données aberrantes, données manquantes, brouilleurs...) sur les données. Dans cette thèse nous nous proposons de considérer un modèle plus général, celui des distributions elliptiques. Elles permettent de représenter de nombreuses distributions et des campagnes de mesures ont montré leur bonne adéquation avec les données réelles, dans de nombreuses applications telles que le radar ou l'imagerie hyperspectrale. Dans ce contexte, nous proposons des estimateurs plus robustes et plus adaptés : les M-estimateurs et l'estimateur du point-fixe (FPE). Leurs performances et leur robustesse sont étudiées et comparées à celles de la SCM. Nous montrons ainsi que dans de nombreuses applications, ces estimateurs peuvent remplacer très simplement la SCM, avec de meilleures performances lorsque les données sont non-gaussiennes et des performances comparables à la SCM lorsque les données sont gaussiennes. Les résultats théoriques développés dans cette thèse sont ensuite illustrés à partir de simulations puis à partir de données réels dans le cadre de traitements spatio-temporels adaptatifs.

L'utilisation de limiteurs de localisation est nécessaire pour prendre en compte l'apparition de macro-fissures lors de la simulation de l'évolution des dégradations dans les matériaux composites stratifiés en accord avec des expérimentations. Ceux-ci introduisent un paramètre qui peut être relié à une longueur, ou un temps caractéristique, qui peut alors être identifié. L'approche introduite au LMT-Cachan consiste, dans le cadre dynamique, à utiliser un modèle d'endommagement retardé. Elle est basée sur le fait qu'une fissure ne peut pas apparaître instantanément. Ce modèle donne d'excellents résultats en restant dans le cadre de la dynamique et a l'avantage d'être local en espace. Cependant il requiert une discrétisation temporelle de la taille du temps caractéristique introduit (de l'ordre de la microseconde pour les composites), qui le rend inexploitable pour des simulations de chargement en quasi-statique. Les simulations dans ces cas de chargement nécessitent donc l'utilisation d'un temps caractéristique différent de celui identifié qui ne permet plus de maintenir un résultat en accord avec l'expérience. On cherche alors à adapter les paramètres de la loi d'évolution de l'endommagement afin d'obtenir une propagation de la macro-fissure dans la zone localisée qui soit compatible énergétiquement avec la mécanique de la rupture en contrôlant le taux de restitution d'énergie. Ce travail est dédié à maintenir l'objectivité de la solution et à adapter l'énergie dissipé à la mécanique de la rupture afin de pouvoir utiliser un temps caractéristique exploitable lors de simulations d'éprouvettes en composites sous un chargement quasi-statique.

L'analyse d'une chaîne de production manufacturière complète, composée de plusieurs systèmes bouclés temporisés, en utilisant des modèles détaillés est presque impossible à cause des problèmes liés aux tailles des modèles. Une solution pour contourner ces difficultés consiste à utiliser des techniques d'analyse multi-échelles utilisant à la fois des modèles détaillés des système bouclés, lorsque nécessaire, mais aussi des modèles abstraits de certains systèmes bouclés dès que possible. Afin de garantir les résultats lors d'analyses multi-échelles, il convient de garantir que les modèles détaillés des systèmes bouclés ne permettent pas d'évolutions indésirables ne représentant pas un comportement réaliste des système bouclés, et que les modèles abstraits des système bouclés utilisés pendant l'analyse ont un comportement identique aux modèles détaillés de ces mêmes systèmes bouclés. La première contribution de ces travaux est une méthodologie de conception de modèles détaillés, utilisant des automates temporisés, de systèmes bouclés temporisés permettant de supprimer les évolutions irréalistes. Les solutions proposées pour y parvenir se basent sur une conception modulaire, des mécanismes d'urgence et des variables partagées. La seconde contribution de ces travaux est axée sur la vérification de l'équivalence entre les modèles détaillé et abstrait d'un même système bouclé. Pour ce faire, une équivalence conforme aux exigences d'une analyse multi-échelles est retenue, puis une méthode basée sur un automate observateur-séquenceur couplé à un model-checker est décrite. Enfin, la prise en compte d'une équivalence avec tolérances (en valeur et/ou temporelle) est détaillée.

In this thesis, we have prepared different types of s-tetrazine derivatives for electrochemical and fluorescence studies. In the first part, we present a blibliographic study of s-tetrazine focussing on theirs synthesis and properties. In the second chapter, we introduce s-tetrazine derivatives as the ion pair receptor. These receprtors uses pi-anion type of interactions between ion pairs and s-tetrazines whcih has been seldom been observed in solution. The formation of complex between the ammonium salt (C8H17NH3Br or C8H17NH3I) and bis-s-tetrazine receptors is demonstrated by NMR and fluorescence titration experiments. It is also proved that receptor 82 binds stronger to ammonium salt than the shorter equivalents 80 and 81. Furthermore, all of them give the same unexpected selectivity order toward anions namely: I- > Br- > Cl-. Finally, a side reaction has been uncovered by UV-vis absorption which leads to the formation of Br2 or I2. Taking fully into account all spectroscopic results, we proposed a mechanism for this transformation. In the third part, in order to better understand the physico-chemcal properties of s-tetrazine, various s-tetrazines with different types of substituents have been prepared. It is clear that the electrochemical properties of the tetrazine nucleus depend on the electron affinity of its substituent and not on the size. Furthermore, electron donor groups quench the fluorescence of s-tetrazine even if they are not directly linked. A new type of s-tetrazines has been obtained through an unexpected reactivity of chloro-s-tetrazine. This reaction could give unsymmetrical s-tetrazines bearing one heteroatom and one alkyl chain which is useful for future developmemt of their properties. In the last part, we talk about new s-tetrazine dyads with improved brightness. Based on energy transfer from a donor part (naphthalimide or benzimidazole) to an acceptor core (tetrazine), these compounds own good fluorescence quantum yields, longer lifetimes and higher brightness. One derivative has been used to prepare a three colors fluorescent and electrochemically switchable device.

Optofluidic evanescent field sensing, especially microresonator-based label-free biochemical sensing, is an emerging technology under intensive study. In this context, we demonstrate that polymeric microring resonators are excellent transducers. It is partly due to the simplicity and cost-efficiency of their fabrication and integration, and also to their robustness: a fast, repeatable and low-cost method was developed to fabricate devices with long lifetimes and state-of-the-art performances. A second advantage is the extreme sensitivity achievable to grafted molecules: a detectable signal was obtained with only a few hundreds of 5-TAMRA-cadaverine (5-TC) molecules, relatively small as compared to nucleic acids, antibodies and other biomolecules. The surface immobilization of 5-TC molecules was achieved after a simple and reproducible UV/ozone procedure for surface preparation. However, the qualities of polymer microring resonators only become apparent when coupled to high-precision instrumentation. In that respect, a measuring instrument was built to detect minute and real-time variations of the optical resonances, and thus in an optofluidic regime. The detection of absorption and desorption of 5-TC molecules on a surface functionalized with its antibody was achieved. However, truly specific responses of the instrument would only be achieved in a multiplexed configuration. Such configuration is achievable, but has yet to be developed. Meanwhile, the measuring instrument, as is, can be used for a wide variety of applications, from the measurement of dispersion coefficients to the study of local thermal effects.

Les techniques de mesure de champs, et en particulier celles basées sur la Corrélation d'Images Numériques (CIN), sont matures et reconnues pour la détermination de déplacements d'objets quelconques, en deux ou trois dimensions. Ces travaux ont pour objet le développement d'essais et de techniques d'identification associées, en s'appuyant sur les méthodes de mesure par CIN, pour permettre l'évaluation des caractéristiques mécaniques d'un liner en titane T35, développé pour des applications spatiales. Des essais de traction uniaxiale sont tout d'abord utilisés pour déterminer le comportement élastoplastique du T35. Plusieurs méthodes d'identification sont comparées. En particulier, il est proposé d'étendre la corrélation d'image dite "intégrée" aux cas élastoplatiques. Cette méthode permet d'évaluer à la fois les déplacements du solide observé et les paramètres mécaniques des matériaux le constituant. Elle est comparée à une méthode de recalage de référence. L'étude se porte ensuite sur l'analyse de l'amorçage des fissures dans le liner. Les chargements cycliques du réservoir imposent à la tôle une déformation biaxiale cyclique en traction-compression de quelques pourcents, qui a été reproduite expérimentalement dans une machine multiaxiale. Cette partie a notamment nécessité le développement d'un essai triaxial à rapport de charge négatif sur tôle mince. Une estimation de la limite d'amorçage a été obtenue pour les niveaux de déformation visés. Enfin, la fissuration du liner a été étudiée par des techniques d'analyse dédiées. Certaines de ces techniques sont comparées quantitativement, afin d'étudier leurs capacités et limitations respectives. Des lois de propagation de type Paris ont été identifiées directement à partir d'images du voisinage de la fissure.

Timed automata are a formalism to model, verify, and synthesize real-time systems. They have the advantage of having an abstract mathematical semantics, which allow formalizing and solving several verification and synthesis problems. However, timed automata are intended to design models, rather than completely describe real systems. Therefore, once the design phase is over, it remains to check whether the behavior of an actual implementation corresponds to that of the timed automaton model. An important step before implementing a system design is ensuring its robustness. This thesis considers a notion of robustness that asks whether the behavior of a given timed automaton is preserved, or can be made so, when it is subject to small perturbations. Several approaches are considered: Robustness analysis seeks to decide whether a given timed automaton tolerates perturbations, and in that case to compute the (maximum) amount of tolerated perturbations. In robust synthesis, a given system needs to be controlled by a law (or strategy) which tolerates perturbations upto some computable amount. In robust implementation, one seeks to automatically transform a given timed automaton model so that it tolerates perturbations by construction. Several perturbation models are considered, ranging from introducing error in time measures (guard enlargement), forbidding behaviors that are too close to boundaries (guard shrinking), and restricting the time domain to a discrete sampling. We also formalize robust synthesis problems as games, where the control law plays against the environment which can systematically perturb the chosen moves, by some bounded amount. These problems are studied on timed automata and their variants, namely, timed games, and weighted timed automata and games. Algorithms for the parameterized robustness analysis against guard enlargements, and guard shrinkings are presented. The robust synthesis problem is studied for two variants of the game semantics, for timed automata, games, and their weighted extensions. A software tool for robustness analysis against guard shrinkings is presented, and experimental results are discussed. The robust implementation problem is also studied in two different settings. In all algorithms, an upper bound on perturbations that the given timed automaton tolerates can be computed.