La méthodologie HILECOP a été élaborée pour la conception formelle de systèmes numériques complexes critiques ; elle couvre donc l'intégralité du processus, allant de la modélisation à la génération de code pour l’implantation sur la cible matérielle (composant électronique de type FPGA), en passant par la validation formelle. Or, si le modèle formel, les réseaux de Petri en l'occurrence, est par essence asynchrone, il est néanmoins exécuté de manière synchrone sur la cible. De fait, les approches d'analyse usuelles ne sont pas adaptées au sens où elles construisent des graphes d'états non conformes à l'évolution d'états réelle au sein de la cible. Dans l'objectif de gagner en confiance quant à la validité des résultats de l’analyse formelle, ces travaux visent à capturer les caractéristiques dites non-fonctionnelles, à les réifier sur le modèle et enfin à considérer leur impact à travers l’analyse. En d’autres termes, l’objectif est d’améliorer l’expressivité du modèle et la pertinence de l'analyse, en considérant des aspects comme la synchronisation d'horloge, le parallélisme effectif, le risque de blocage induit par l'expression conjointe d'un événement (condition) et d'une fenêtre temporelle d'occurrence, sans omettre la gestion des exceptions. Pour traiter tous ces aspects, nous avons proposé une nouvelle méthode d'analyse pour les réseaux de Petri temporels généralisés étendus interprétés exécutés en synchrone, en les transformant vers un formalisme équivalent analysable. Ce formalisme est associé avec une sémantique formelle intégrant toutes les aspects particuliers de l'exécution et un algorithme de construction d'un graphe d'états spécifique : le Graphe de Comportement Synchrone. Nos travaux ont été appliqués à un cas industriel, plus précisément à la validation du comportement de la partie numérique d'un neuro-stimulateur. / The HILECOP methodology has been developed for the formal design of critical complex digital systems; it therefore covers the entire design process, ranging from modeling to code generation for implementation on the hardware target (FPGA type electronic component), via formal validation. However, if the formal model, the Petri nets in this case, is inherently asynchronous, it is nevertheless executed synchronously on the target. In fact, the usual analysis approaches are not adapted in the sense that they construct state graphs that do not conform to the real state evolution within the target. In order to gain confidence in the validity of the results of the formal analysis, this work aims to capture the so-called non-functional characteristics, to reify them on the model and finally to consider their impact through the analysis.In other words, the aim is to improve the expressiveness of the model and the relevance of the analysis, considering aspects such as clock synchronization, effective parallelism, the risk of blocking induced by the expression of an event (condition) and a time window of occurrence, without omitting the management of exceptions.To deal with all these aspects, we have proposed a new method of analysis for extended generalized synchronous executed time Petri nets, transforming them into an analysable equivalent formalism. This formalism is associated with a formal semantics integrating all the particular aspects of the execution and dédicated state space construction algorithm: the Synchronous Behavior Graph.Our work has been applied to an industrial case, more precisely to the validation of the behavior of the digital part of a neuro-stimulator.

Les diélectriques solides sont les éléments constitutifs de base des isolants utilisés dans les composants ou les systèmes du génie électrique et de l'électronique de puissance. Principalement à cause des tendances à la miniaturisation, ces isolants sont soumis à des contraintes sans cesse croissantes (électriques, mécaniques et thermiques) qui peuvent dégrader ou induire un vieillissement prématuré des diélectriques. Ceci peut conduire à la défaillance ou à un claquage de la structure, phénomènes qui l'on doit prendre en compte et étudier. De manière plus précise, la charge globale stockée à l'intérieur du matériau diélectrique, généralement dénommée charge d'espace, est directement liée à ces processus de dégradation. Ainsi, il devient alors nécessaire d'analyser le comportement de la charge d'espace lorsque le matériau est contraint dans des conditions proches d'un environnement réel d'utilisation. Parmi les techniques existantes, la (F)LIMM est une méthode thermique dédiée à l'analyse de la charge d'espace dans des fines couches diélectriques (avec une épaisseur comprise entre 5µm et 50µm), avec la possibilité de réaliser des cartographies en 3-D lorsque le faisceau laser est focalisé à la surface de l'échantillon étudié. Les premières caractérisations par cette technique étaient liées à la détermination de la distribution de la charge d'espace dans des films minces qui avaient été préalablement soumis à un champ électrique continu, puis analysés hors tension (volt-off). Cette procédure dite " off-line ", et mise en œuvre pendant la dépolarisation de l'échantillon, est restée longtemps la seule façon d'analyser la charge d'espace. De nouveaux développements sont devenus nécessaires plus récemment pour apporter des réponses au domaine industriel pour lequel une caractérisation du comportement dans des conditions d'utilisation réelles faisait défaut. Dans ce but, une version " sous tension " ou " on-line " du banc expérimental (F)LIMM conventionnel a été développée. Ainsi, la mesure du courant (F)LIMM se réalise maintenant de manière simultanée à l'application d'un champ électrique continu externe sur l'échantillon. Outre la mesure in-situ et l'analyse sous tension, ces nouveaux développements présentent un avantage supplémentaire consistant en la possibilité d'évaluer et de calibrer les profils de température. Dans ce travail, les modifications expérimentales réalisées sur le banc test de mesure sont tout d'abord détaillées et validées. Puis, la procédure de calibration du model thermique proposé est expliquée et testée. Ainsi, la simulation les courants (F)LIMM devient possible et l'on constate une bonne adéquation avec les courants expérimentaux enregistrés. Enfin, quelques applications à des films polymères minces en PEN et en PP sont décrites. Les résultats obtenus prouvent alors que ces évolutions expérimentales et théoriques sont efficaces pour l'étude du comportement de la charge d'espace " sous tension ". / Solid dielectrics are basic elements of most insulations used in devices or systems in electrical engineering or in power electronics. Mainly due to current trends in downsizing, these insulations being subjected to increasing stresses (electrical, mechanical or thermal) may degrade and age dielectrically. This may lead to failure and breakdown, which have to be addressed. More specifically, the global charge store inside the dielectric and generally called space charge is directly linked to these degradation processes. It is therefore necessary to analyze this space charge behavior when the material is at the same time stressed under conditions close to those of the real environment of use. Among many existing techniques, the (F)LIMM is a thermal wave method dedicated to the space charge analysis of thin dielectric films (with a thickness from 5µm to 50µm), with a possibility of 3-D cartographies when the beam is focused onto the sample under study. Its first characterizations were related to the determination of the space charge distribution in thin films that were first submitted to an external DC field and next analyzed in a volt-off way (no voltage applied). This off-line procedure remained the only way of space charge investigations for quite a while. New developments became necessary in order to provide answers to the industry for which a characterization close to the actual conditions of use was lacking. For this purpose, an on-line version of the conventional (F)LIMM set-up was developed. It allows a measurement of the (F)LIMM current when simultaneously a DC bias field is applied to the sample. This development presents, apart from allowing an in-situ and on-line analysis, another important advantage, namely the possibility for assessing or calibrating the temperature profile. In this work, the experimental modifications made to the measuring test rig are first detailed and validated. Then, the calibration procedure of the thermal model developed is explained and tested. As a consequence, the possibility of simulating the (F)LIMM currents is possible and shows a very good agreement with the experimental registered ones. Finally, some applications to PEN and PP polymer thin films are described and results got prove the efficiency of these new developments for space charge on-line investigation.

La qualité de l'énergie électrique concerne tous les acteurs<br />du domaine énergétique, qu'ils soient gestionnaires de<br />réseaux, fournisseurs, producteurs, ou consommateurs d'électricité. <br />Le travail de recherche présenté dans ce <br />mémoire de Doctorat s'inscrit dans le domaine du monitoring de la qualité de l'énergie électrique. <br />Il a pour objectif d'introduire de nouvelles techniques dans <br />l'analyse des problèmes de la qualité de l'énergie électrique. <br />Trois méthodes différentes destinées à l'analyse des perturbations électriques ont été développées et testées.<br />La méthode du vecteur d'espace est dédiée à l'analyse automatique des perturbations électriques. <br />Elle donne detrès bonnes performances dans l'analyse des creux de tension, <br />car elle permet d'isoler, classifier de manière précise et caractériser ce type de perturbations.<br />La méthode des systèmes périodiques permet d'étudier <br />théoriquement la génération et la propagation des perturbations harmoniques au sein d'un réseau électrique.<br />Enfin, la méthode statistique matricielle a pour objectif <br />de représenter statistiquementn des signaux électriques<br />sans perte importante d'information à l'aide de matrices statistiques.

Le but de l'expérience EDELWEISS est la détection de particules massives très faiblement interagissantes, candidats actuellement majeurs pour résoudre le problème de la matière noire. On identifie les particules ionisantes du fond grâce à la mesure simultanée de chaleur et d'ionisation dans les détecteurs. La principale limitation à cette méthode provient de la mesure d'ionisation, la collecte de charges étant altérée dans certaines zones dites «mortes» du détecteur. La spécificité de la mesure tient à l'emploi de très basses températures et de faibles champs de collecte. Cette thèse est consacrée à l'étude du piégeage de porteurs, par l'utilisation conjointe de mesures résolues en temps et d'un code de simulation adapté à ces conditions physiques particulières. On présente tout d'abord les résultats concernant le piégeage sur les surfaces libres des détecteurs. Notre méthode permet de constituer une charge surfacique de manière contrôlée sous irradiation par une source de forte activité, pour ensuite la caractériser à l'aide d'une source plus faible utilisée comme une sonde. Dans une deuxième étude, les caractéristiques du piégeage en volume sont déduites de mesures du rendement de collecte, ainsi que par une méthode originale utilisant la localisation des évènements dans le détecteur. Les résultats montrent qu'une proportion importante des impuretés dopantes sont chargées, comme l'indique de manière indépendante l'étude concernant les phénomènes de dégradation liés à la constitution d'une charge d'espace. Ce dernier volet met également en évidence la présence de nombreux pièges chargés sous les électrodes, et leur lien avec les effets de zone morte.

Depuis la politique de réformes lancée par Deng Xiaoping à la fin 1978, la Chine s'est ouverte sur le monde et de nombreux touristes internationaux visitent aujourd'hui ce pays. Les statistiques officielles surestiment cependant la forme internationale du tourisme : il existe en effet un tourisme intérieur chinois qui est largement sous-estimé. Il est le produit de la nouvelle société de loisirs qui se développe dans les principales métropoles du pays. Les pratiques sociales et spatiales de ces nombreux touristes de l'intérieur sont encore méconnues, autant sur le plan de leurs formes que de leurs fondements ; en particulier dans les lieux fréquentés par les deux populations touristiques, mais encore plus dans les sites uniquement fréquentés par les Chinois. Cette thèse propose donc un travail pionnier sur cette question de la dissemblance des pratiques touristiques observées entre touristes intérieurs et touristes occidentaux, ainsi que sur les effets géographiques de cette dernière : selon qu'un site est orienté au profit de l'une ou l'autre de ces populations, les aménagements ne seront pas les mêmes, ce qui intéresse au premier titre la géographie de la Chine en général, l'approche géographique du tourisme en particulier. A partir de l'échelle nationale tout d'abord, puis à partir de deux provinces du sud-ouest du pays, ce travail entame un état des lieux du tourisme intérieur chinois. Il analyse ensuite les pratiques spatiales chinoises en face d'espaces naturels et urbains, notamment selon les différentes générations de touristes. Il démontre enfin que le tourisme intérieur chinois est un outil de développement dans le Sud-Ouest, un instrument qui a été utilisé par l'Etat pour produire des lieux urbains aux dynamiques spatiales méconnues.

L'installation DESIR/SPIRAL2 est une installation de faisceaux radioactifs de faible énergie et de seconde génération. Les flux d'ions radioactifs produits nécessiteront une purification isobariques des isotopes. Cette séparation sera faite par un séparateur de très haute résolution (HRS) développé au Centre d'Etudes Nucléaire de Bordeaux Gradignan, CENBG. Pour avoir des performances nominales le HRS requiert des faisceaux de faible émittance. La seule technique universelle qui peut aboutir à un faisceau de faible émittance est le refroidisseur radiofréquence à gaz tampon, le RFQ Cooler. Le but du RFQ Cooler est de réduire l'émittance du faisceau à moins de 1 π.mm.mrad ainsi que la dispersion longitudinale en énergie d'environ 1 eV, en utilisant des faisceaux de hautes intensités (i≈1µA). De ce fait, l'effet de la charge d'espace est considérable à la dégradation du faisceau refroidit. La compensation de cet effet exige des tensions RF et des fréquences élevées, respectivement quelques kilovolts et de quelques mégahertz. Ces derniers points différencient ce Cooler avec ceux qui existent. Le prototype du RFQ Cooler examiné pendant cette thèse, communément appelée " SHIRaC". Il a été développé de façon à transmettre au moins 60 % des ions à haute intensité. Les simulations numériques liées à la définition du SHIRaC ont conduit à trouver les paramètres de fonctionnement en termes de la pression, le champ de guidage et les tensions de polarisation des électrodes de la cellule d'injection et d'extraction. Elles ont permis également de choisir et optimiser un triplet électrostatique d'extraction pour adapter le faisceau refroidit et extrait du SHIRaC au HRS. A 1µA, les résultats optimums de refroidissement des ions 133Cs+ sont variants : soit une dispersion en énergie minimale de 1.15 eV pour une transmission de 21 % soit une dispersion en énergie de 4.67 eV pour une transmission de 60 %. L'émittance est d'environ 2.2 π.mm.mrad. La dégradation de la dispersion en énergie est due à la contribution de l'effet de la charge d'espace et du champ longitudinal. En dehors du RFQ, où les deux effets dégradent la dispersion en énergie. Pour achever la réduction de deuxième effet, nous avons remplacé la lentille à trois électrodes de la cellule d'extraction par une à deux électrodes. En se servant de cette nouvelle lentille les dispersions en énergie se sont réduites de quelques pourcents : La dispersion en énergie correspondant à une transmission de 60 % a été réduite à 3.85 eV. Cependant, la dispersion en énergie minimale a été légèrement diminuée à 1.08 eV mais avec une augmentation de la transmission à 26 %. L'émittance est en dessous de 2 π.mm.mrad. Les faisceaux disponibles au SPIRAL 2 sont intensifs et radioactifs. Ainsi, il serait indispensable de considérer l'effet de la nucléarisation sur l'environnement pour le RFQ Cooler SPIRAL2/DESIR. La réduction de cet effet exige le confinement de la matière nucléaire au sein de la chambre du RFQ.

L'isolant électrique est un élément essentiel des composants électroniques. Or, à cause des défauts présents dans l'isolant, des dysfonctionnements apparaissent dans les équipements électroniques provoquant des problèmes de fiabilité. Il est donc essentiel de quantifier et d'identifier la nature des charges d'espaces crées par ces défauts. Pour des raisons de miniaturisation des composants, les techniques de caractérisations actuelles semblent montrer leurs limites. La méthode de l'onde thermique permet de quantifier et de donner la répartition de la charge d'espace sur une forte épaisseur de diélectrique. L'adaptabilité de la méthode pour des couches diélectriques beaucoup plus minces ainsi que l'étude des résultats obtenus constitue l'essentiel du travail de cette thèse. La méthode proposée permet de donner les tensions caractéristiques de la structure MOS tout en effectuant une analyse en régime statique de la structure.

Un certain nombre d'applications électrostatiques, notamment les dépoussiéreurs électrostatiques, mettent en oeuvre le phénomène de décharge couronne dans les gaz à partir d'électrodes ayant une forte courbure. Ces électrodes injectent des charges dans le gaz et la charge d'espace qui en résulte modifie la distribution du champ électrique. Le but de notre travail a été de développer un code numérique pour déterminer les distributions de champ électrique et de densité de charge dans la configuration lame-plan, la création de charge se faisant par effet couronne sur le bord de la lame. <br />Nous utilisons la méthode des éléments finis MEF pour résoudre l'équation de Poisson et la méthode des caractéristiques MC pour résoudre l'équation de conservation de la charge. Les deux équations couplées sont résolues par approximations successives en redéfinissant le maillage structuré à chaque itération pour éliminer la diffusion numérique. La redéfinition du maillage structuré est la partie la plus importante du travail. L'algorithme converge bien pour différentes distributions de la charge définies sur la lame injectrice. Les solutions numériques obtenues pour une loi d'injection imposée sur la lame plate donnent des résultats en très bon accord avec les mesures de densité de courant sur l'électrode plane d'un dispositif lame-plan.

Les matériaux diélectriques sont couramment utilisés comme isolants électriques dans le domaine spatial. Par nature, ces diélectriques sont susceptibles d'accumuler des charges électriques au cours de leur service. Dans certaines conditions critiques, ces charges internes ou de surface conduisent à des décharges électrostatiques. Pour comprendre ces phénomènes, un dispositif expérimental a été développé au laboratoire. Ce dernier permet de simuler les conditions d'irradiation électronique rencontrées dans l'espace. L'objectif de notre étude est de caractériser le comportement électrique des matériaux isolants irradiés par faisceau d'électrons, d'étudier les phénomènes de stockage et de transport de charge pour prévoir les décharges électrostatiques. Pour ces travaux, diverses techniques de caractérisation ont été implantées, le dispositif basé sur la technique Electro-Acoustique Pulsée (PEA) a été choisi. Il a été implanté dans l'enceinte d'irradiation. Cette technique consiste à détecter des ondes acoustiques générées par la charge d'espace sous l'effet coulombien d'une impulsion de champ électrique appliqué à l'échantillon. Elle permet de déterminer la distribution spatiale des charges injectées entre deux périodes d'irradiation et au cours des relaxations. La méthode PEA présente une limite de détection en particulier lorsque les charges sont implantées proche de la surface. Dans un premier temps, nous avons effectué une analyse des paramètres de traitement du signal que nous appelons le facteur d'étalement et le facteur de résolution. L'étude préliminaire post-irradiation à l'air sur des mesures expérimentales a montré que le choix du facteur de résolution est important pour l'analyse et l'interprétation du signal lorsque la charge est localisée près de la surface. Pour la suite, une comparaison avec le paramètre d'étalement utilisé dans certaine technique de déconvolution a été établie. Dans un deuxième temps, des mesures de distribution de charge d'espace sous vide ont été effectuées pour les Poly Tétra Fluoro Ethylène (PTFE) soumis à des irradiations dans la gamme de [10-100] keV. Les résultats obtenus sont comparés à des résultats théoriques. Ce travail nous permet d'envisager les améliorations nécessaires pour la détermination des charges d'espace in-situ.

Ce travail développe une approche globale du problème de l'interface entre une solution électrolytique et un semiconducteur doté d'une densité d'impuretés ionisables élevée (environ 10²º/cm³). L'épaisseur réduite de la zone de charge d'espace, l'influence de la couche d'Helmhotz et l'existence de niveaux profonds sont étudiées. Une expression très générale de la capacité de charge d'espace en présence de niveaux profonds est établie. Cette approche est appliquée au cas de l'oxyde de nickel lithiné Li_xNi_1-xO et conduit à une explication originale du comportement de l'interface.