• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 84
  • 16
  • 7
  • Tagged with
  • 103
  • 38
  • 24
  • 20
  • 20
  • 19
  • 19
  • 17
  • 15
  • 14
  • 13
  • 11
  • 11
  • 10
  • 10
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
61

Elaboration de couches minces atténuantes en silicium poreux : Application aux transducteurs ultrasonores capacitifs micro-usinés / Development of thin attenuating porous silicon layers : application to the capacitive micromachine ultrasonic

Lascaud, Julie 11 December 2017 (has links)
Les transducteurs ultrasonores capacitifs micro-usinés (CMUT) représentent aujourd’hui une réelle alternative aux technologies piézoélectriques dans le domaine de l’imagerie échographique médicale. Au cours des années, les procédés de fabrication des transducteurs se sont enrichis en vue d’améliorer leurs performances. A contrario le choix du substrat, généralement en silicium, a été peu étudié. Il est cependant reconnu que le support contribue à la signature acoustique du dispositif ultrasonore. L’objectif de ces travaux de thèse a été d’intégrer une couche de silicium poreux afin d’absorber une partie des ondes élastiques qui se propagent dans le substrat et interfèrent avec le signal acoustique émis. Nous montrons alors qu’il été possible de réaliser une couche de silicium poreux en face arrière de composants, sur plaquettes 6 pouces, sans dégrader leurs performances. Finalement, par l’intermédiaire de caractérisations acoustiques et des signatures impulsionnelles des transducteurs, nous révélons le potentiel prometteur de ce matériaux pour la réalisation de milieu arrière atténuant dédié à la transduction ultrasonore. / Capacitive micromachined ultrasonic transducers (CMUT) have emerged as a potential alternative to traditional piezoelectric transducers for ultrasound imaging. Along the years, CMUT processes have been evolved to enhance the device performances. In the meantime, no particular attention was paid on the silicon substrate, even if it is well-known that it could contribute to the transducer efficiency. The aim of this PhD thesis was to use porous silicon as a backing material for ultrasonic transducers to absorb a piece of the acoustic wave propagating in the substrate and which induce crosstalks in the acoustic signal. We show that porous silicon layer can be obtained on the rear side of already processed wafers without any damage on the performances of capacitive micromachined ultrasonic transducers. Finally, by means of acoustic characterizations and the transducer electroacoustic responses, we reveal the potential interest of porous silicon as backing material for ultrasonic transducers.
62

Simulations Monte Carlo et caractérisations d'un microplasma d'air induisant la poration de membranes cellulaires pour la transfection de gènes / Monte Carlo simulations and experimental characterizations of air microplasma inducing poration of cell membranes for gene transfection

Zerrouki, Amel 29 August 2016 (has links)
La transfection est le processus de transfert de gènes (ADN) dans des cellules. L'utilisation des plasmas froids à la pression atmosphérique est un excellent vecteur pour la transfection de gènes. Cela peut conduire à une perméabilisation temporaire de la membrane cellulaire permettant ainsi le processus de transfection de gènes, dans lequel l'ADN et les cellules sont exposées aux flux des espèces actives du plasma (électrons, ions et radicaux neutres). Cependant beaucoup de questions restent sans réponse notamment sur les mécanismes de transfection par plasma, en particulier de formation de pores et de perméabilisation de la membrane par interactions avec les espèces actives du plasma. Ainsi, nous avons développé un modèle Monte Carlo simulant la formation de pores de quelques nm de largeur sous l'effet d'un microplasma d'air. Ce model nécessite a priori des données d'entrées sur la densité des espèces chargées et la température du gaz et des électrons. C'est pourquoi nous avons aussi effectué une caractérisation expérimentale par spectroscopie d'émission optique OES de la micro décharge couronne. On a estimé les températures rotationnelles de plusieurs espèces variant entre (700K-2350K) même si dans nos conditions de plasma hors équilibre la température du gaz demeure ~300K. Les variations spatiales de la température vibrationnelle Tvib et des électrons Te le long de l'espace inter-électrode (de la pointe vers l'électrode de masse) ont aussi été estimées (Tvib:3000K-6500K et Te:6.75 eV-3.4eV). Les densités des ions et des électrons ont été déterminées et valent environ 1015 cm-3. Par ailleurs, sachant qu'il n'existe dans la littérature aucune modélisation consacrée à la perméabilisation de la membrane et la formation de pore par interactions avec les espèces actives du plasma, nous avons développé pour la première fois dans la littérature un modèle spécifique de simulation Monte Carlo pour la poration. Chaque espèce du plasma (électrons, ions, neutres radicaux) est considérée comme une macro-espèce (ou super-particule) représentant un grand nombre de particules. La proportion des espèces du plasma arrivant sur la membrane est estimée à partir de leurs flux, calculés à l'aide d'un modèle de cinétique réactionnelle et par mesures spectroscopiques. La membrane est supposée comme une simple structure multicouche de phospholipides et protéines. Les interactions avec les couches membranaires sont considérées comme étant des super-processus (recombinaison, réflexion, activation, ouverture). Une probabilité d'occurrence de chacun de ces super-processus est assignée à chaque super-particule sur la base d'une étude paramétrique. Le but est d'évaluer les effets des paramètres de simulation initiaux ainsi que l'effet des probabilités d'occurrence de chaque processus sur la formation de pores. Plusieurs résultats importants ont été obtenus. Les électrons jouent un rôle principal sur l'activation et l'ouverture des sites dus à leur forte anisotropie dans la direction avant. Malgré les faibles énergies, proche de celle du gaz, des ions et des radicaux, leur processus de réflexion est déterminant pour élargir et approfondir les dimensions des pores. Il a été montré que le nombre initial de particules NP est le paramètre qui contrôle le plus efficacement la formation de pores. De plus, nous avons observé une corrélation directe entre NP et la durée d'exposition de la membrane cellulaire au plasma. Dans les conditions actuelles de simulation, on a obtenu une dynamique de formation de pores avec des dimensions (diamètres~10nm) compatibles pour la transfection de gènes. Les résultats de simulation Monte Carlo ont été qualitativement validés par une comparaison préliminaire avec les mesures des taux de transfection d'ADN et de survie de cellules fibroblaste de souries. La méthode de Monte Carlo développée dans ce travail représente un outil très prometteur pour une meilleure compréhension des mécanismes de transfection de gènes par plasma. / Gene transfection is a technique of deliberately introducing DNA into cells through the membrane. The cold atmospheric plasma CAP is potentially a new alternative, safe and damage-free technique. It can lead to a transient permeabilization of the cell membrane allowing processes of gene transfection in which DNA and cells are both exposed to fluxes of active plasma species (electrons, ions, and neutral radicals). The mechanisms of more particularly membrane poration are far to be clear and controlled. Therefore, the aim of this thesis is to numerically study the mechanisms of plasma-induced membrane permeabilization using a specific micro-air plasma. More precisely, is to develop and exploit a specific Monte Carlo poration model. This model is aimed to simulate the pore formation of few nm of width through cell membranes when irradiated by micro-air plasma. This developed model requires a prior input data on the density of charged particles and the temperature of gas and electrons. Thus, an experimental characterisation by OES of the micro-air corona discharge is performed. Rotation temperature was determined (between 700K to 2350K) even though under our non-equilibrium conditions Tg remains ~300K. OES also has given the space variation from the high voltage tip to the grounded plate of vibration temperatures (between 3000K up to about 6500K) and Te (about 6.75 eV down to 3.4 eV near the plate). A magnitude around 1015cm-3 for the electron and ion densities have been also determined. Moreover, knowing that there are no literature simulations devoted to membrane permeabilization and pore formation when impacted by plasma actives species, we developed for the first time in literature a specific Monte Carlo poration model. In this framework, we assumed each plasma species (electrons, ions, and neutral radicals) as a super-particle grouping a large number of particles. The species fluxes were estimated from a plasma reaction kinetic model and OES study. The membrane layers were assumed as a simple membrane model superposing four layers of phospholipids and proteins. Each layer was constituted by a succession of super-sites subjected to specific super-processes (recombination, reflection, activation of a site, opening, etc). For an accurate exploitation of our model, the estimation of the probability of occurrence of the whole considered super-processes is absolutely necessary. Thus, a large parametric study is conducted. The aim is to evaluate the effects of the initial simulation parameters as well as the magnitude of the occurrence probabilities of each reaction process on pore formation.
63

Identifying and evaluating aging signatures in light emitting diode lighting systems / Identification et évaluation des signatures du vieillissement de LEd's de puissance destinées à l'éclairage

Leng, Sovannarith 20 February 2017 (has links)
Dans ce travail, les dégradations des diodes électroluminescentes (DEL) ont été étudiées en identifiant et en évaluant leurs signatures électriques et photométriques en vieillissement accéléré sous stress thermique et électrique. Un prototype de banc de test expérimental a été développé et construit spécifiquement pour cette étude ce qui nous a permis de tester 128 échantillons en appliquant différentes conditions de stress thermiques et électriques. Quatre types différents de DEL ont été étudié avec des caractéristiques techniques similaires (température de couleur, courant nominal, mono-puce,...) mais avec des technologies différentes couvrant les principaux acteurs du marché (Cree, Osram, Philips et Seoul Semiconductor). Les échantillons ont d'abord été caractérisés à leur état initial, puis soumis à des conditions de stress électrique (à 350mA ou 1050mA) et thermique (fixé à 50°C). Les mécanismes de défaillance ont été analysés en étudiant l'évolution des signatures électriques et photométriques. Ces caractérisations ont permis d'évaluer et de déterminer l'origine des dégradations à différents niveaux : puce semi-conductrice, interconnexions, phosphore ou encapsulation du dispositif. Les caractérisations électriques nous ont permis d'identifier les mécanismes de dégradation de la puce semi-conductrice et de déterminer la nature des dégradations au niveau du contact ohmique du dispositif (sous fort courant injecté). Les caractérisations photométriques complètent cette étude en évaluant les dégradations associées à l'optique (encapsulation et packaging). / In this work, the degradation of light emitting diodes (LEDs) is studied by identifying and evaluating their aging signature during the stress time. The custom-made experimental test bench is built for realization of the test measurement. Through this experimental test bench, it allows to test a large amount of LED samples and enable to select different temperature condition and different current stress level. There are four different types of LED with similar characteristic in term of their color temperature, IF, VF, power (1W) and as monochip, but different technology coming from Cree, Osram, Philips and Seoul Semiconductor. The devices are firstly characterized their electrical and photometrical characteristic at their initial state, then they are submitted to different current stress condition at low current stress (350mA) and high current stress (1000mA) while the thermal stress is fixed at one temperature (50°C). The study of these devices failure mechanism is archived by using the primary method based on the electrical and photometrical characterization of the devices that allows to evaluate their degradation at different locations of the device components such as semiconductor chip, interconnection and device's package. The electrical characteristic of the device's I-V curve: at low injected current level and reverse bias allow us to identify the degradation characteristic of device's semiconductor chip, at high injected current level allows us to determine the degradation of device's ohmic contact and photometric characteristic allows us to evaluate the degradation of device's package system.
64

Développements d'outils de caractérisations opto-électriques multi-échelles pour les dispositifs photovoltaïques organiques

Riviere, Guillaume Alexandre 17 February 2012 (has links)
Les cellules solaires organiques continuent leur essor dans le domaine du photovoltaïque, grâce aux structures et matériaux activement étudiés, pour tendre vers le maximum de rendement et passer le cap de l'industrialisation. La séparation de phase des matériaux qui constituent la couche photo-active des cellules à hétérojonction en volume gouverne en partie les performances de la cellule, ainsi que des phénomènes de recombinaison liés à la photo-conversion. Des moyens de caractérisation spécifiques sont nécessaires pour sonder les propriétés des cellules aussi bien à l'échelle microscopique qu'à l'échelle nanométrique. Des bancs de caractérisations opto-électriques pour les cellules solaires organiques ont alors été développés. Ainsi, la technique du courant induit par faisceau lumineux (LBIC) permet de visualiser l'uniformité des cellules avec une résolution de 50µm. La microscopie à force atomique en mode conduction (C-AFM) permet quant à elle de sonder les propriétés photo-électriques des cellules à l'échelle du nanomètre. / Organic solar cells are becoming more prominent in the photovoltaic field thanks to new materials and stacked structures. The active layer of bulk heterojunction solar cells is composed of an interpenetrating network of electron donor and acceptor materials. Vertical phase separation governs cells power conversion efficiency and recombination phenomena are still being studied. Specific characterization tools are necessary to gain insights into cell properties at the nanometer scale and at the molecular level. In this context, this thesis allowed the development of electrical characterization tools for bulk heterojunction organic solar cells based on polymer/fullerene blend. Thus, the Light Beam induced Current (LBIC) technique has been developed to check the current uniformity of the cells with a 50µm resolution. Conductive-AFM (C-AFM) has been used to probe the photovoltaic properties of the cells in the nanometer range.
65

Développement de mélanges chargés en poudres d'aluminure de titane pour moulage par injection et applications aéronautiques / Development of mixtures of polymers loaded whith titanium aluminide alloys - Injection molding and aerospace

Tourneroche, Paul 22 March 2016 (has links)
La réduction de l’impact des activités humaines sur l’environnement est au sujet de nombreux programmes de recherche. Ainsi, dans le domaine du transport aérien a été créé le projet Clean-Sky, regroupant les thèmes de recherche associés. La thèse, partie de ce dernier, a pour objectif de réduire l’impact environnemental de la production de composants en alliages avancés à base de Titane. La production actuelle ayant une empreinte écologique non négligeable, un procédé de fabrication alternatif est étudié, il s’agit du moulage par injection de poudres métalliques. La première partie de cette consiste donc en la recherche d’une formulation de mélange optimale parmi les solutions classiques et innovantes. Elles sont triées en fonction de leurs aptitudes, déterminées par caractérisations physico-chimiques, à assurer le bon déroulement de chaque étape du procédé. Un nombre réduit de solution étant ainsi dégagé, il s’agit de passer aux étapes d’injection, de déliantage et de frittage. Plusieurs géométries de pièces sont testées dans chacun de ces cas, afin de valider l’adaptation aux différentes contraintes imposées. Lors de ces trois phases, des analyses physico-chimiques complètes permettent de mettre en avant la ou les formulations les plus aptes à permettre la production de ces composants. Une fois la solution fixée, chaque étape du procédé est optimisées, afin de faciliter le transfert industriel et d’assurer la rentabilité du nouveau processus de fabrication. Ces travaux de doctorat ont permis de mettre en avant deux formulations, répondant aux critères définis en début de thèse. Les étapes de mélange, injection, déliantage et frittage ont été optimisées et le transfert industriel est possible. / Reducing the ecological footprint of human activities is, today, the aim of most of the research programs. In Europe, the « Clean Sky » project funds research activities to make air transport « greener ». This PhD, being part of it, is about improving production of Titanium Aluminide based components. Nowadays production having a strong environmental impact, an alternative way has been investigated: metal injection molding. The first step of this work was focused on a bibliographic study, to select relevant, common and innovative mixtures to be used in the process. Throughout the process, these mixtures have been tested, physically and chemically analyzed, to get data about the optimal mixture. Several components geometries have been tested, during injection, debinding, and sintering steps. Once the mixture(s) chosen, process’ parameters have been optimized to make industrial transfer easier, and lower its overall cost. The developments achieved during this PhD led to two qualified mixtures, and optimized mixing, molding, debinding and sintering steps.
66

Etude des corrélations entre les défauts structuraux et les inhomogénéités spatiales des détecteurs de rayons X à base de CdTe pour l'imagerie médicale / Study of correlation between the structural defects and inhomogeneities of CDTE based radiation detectors used for medical imaging

Buis, Camille 11 October 2013 (has links)
Ces travaux de doctorat proposent d’apporter une contribution à l’identification et à la compréhension des phénomènes limitant les performances de détecteurs de rayon X à base de CdTe:Cl développés pour des applications en radiographie. En effet, des inhomogénéités spatiales non-stables dans le temps sont observées dans la réponse de ces capteurs. Les défauts des cristaux utilisés pour la détection ont été caractérisés. Notamment, les dislocations révélées par attaque chimique et par topographie X présentent des arrangements en mur à la surface des échantillons, ces défauts sont majoritairement traversant dans toute l’épaisseur du cristal. Il a ensuite été montré que ces murs de dislocations sont responsables des inhomogénéités de photo-courant sous irradiation par des rayons X et de courant de fuite d’un détecteur à base de CdTe:Cl. De plus, les niveaux pièges dans le gap du CdTe ont été investigués par des méthodes de spectroscopie optique à basse température : les images de cathodoluminescence mettent en évidence le caractère non-radiatif des murs de dislocations, mais ne montrent pas l’apparition de la luminescence Y au niveau de ces défauts, normalement attribuée aux dislocations dans la littérature. Enfin, l’influence des murs de dislocations sur les propriétés de transport des porteurs de charge a été étudiée par la méthode « Ion Beam Induced Current » (IBIC) montrant qu’ils entraînent une diminution de la valeur du produit mobilité-temps de vie des électrons et des trous / In the present Ph.D. thesis, we investigate microstructural defects in a chlorine-doped cadmium telluride crystal (CdTe:Cl), to understand the relationship between defects and performance of CdTe-based radiation detectors. Characterization tools, such as diffraction topography and chemical etching, are used for bulk and surface investigations of the distribution of dislocations. Dislocations are arranged into walls. Most of them appear to cross the whole thickness of the sample. Very good correlation is observed between areas with variations of dark-current and photo-current, and positions of the dislocation walls revealed at the surface of the sample. Then spectroscopic analysis of these defects was performed at low temperatures. It highlighted that dislocation walls induce non-radiative recombination, but it didn’t show any Y luminescence usually attributed to dislocations in the literature. Ion Beam Induced Current (IBIC) measurements were used to evaluate the influence of dislocation walls on charge carrier transport properties. This experiment shows that they reduce the mobility-Iifetime product of the charge carriers. A very clear correlation was, in fact, established between the distribution of the dislocation network and the linear defects revealed by their lower CIE on the device
67

Etude et modélisation des dégradations des composants de puissance grand gap soumis à des contraintes thermiques et électriques / Study and modeling of large gap power components degradations subjected to thermal and electrical constraints

Jouha, Wadia 29 November 2018 (has links)
Ce travail vise à étudier la robustesse de trois générations de MOSFET SiC de puissance (Silicon Carbide Metal Oxide Semiconductor Field E_ect Transistors). Plusieurs approches sont suivies : la caractérisation électrique, la modélisation physique, les tests de vieillissement et la simulation physique. Un modèle compact basé sur une nouvelle méthode d'extraction de paramètres et sur les résultats de caractérisation électrique est présenté. Les paramètres extraits du modèle (tensionde seuil, transconductance de la région de saturation et paramètre du champ électrique transverse) sont utilisés pour analyser avec précision le comportement statique de trois générations de MOSFET SiC. La robustesse de ces dispositifs sont étudiées par deux tests : le test HTRB (High Temperature Reverse Bias) et le test ESD (Electrostatic Discharge). Une simulation physique est réalisée pour comprendre l'impact de la température et des paramètres physiques sur les caractérisations électriques des MOSFETs SiC. / This work aims to investigate the robustness of three generations of power SiC MOSFETs (SiliconCarbide Metal Oxide Semiconductor Field E_ect Transistors). Several approaches are followed :electrical characterization, device modeling, ageing tests and physical simulation. An improvedcompact model based on an accurate parameters extraction method and one electrical characterization results is presented. The parameters extracted precisely from the model (thresholdvoltage, saturation region transconductance...) are used to accurately analyze the static behaviorof two generations of SiC MOSFETs. The robustness of these devices are investigated bytwo tests : HTRB (High Temperature Reverse Bias) stress and an ESD (Electrostatic Discharge)stress. Physical simulation is conducted to understand the impact of the temperature and thephysical parameters on the device electrical characterizations.
68

Etudes technologiques de composants PDMS pour applications biomédicales : développement de capteurs souples de pression par transfert de film / Study of technologies of PDMS devices for biomedical applications : development of fabrication of flexible pressure sensors arrays by film transfer

Dinh, Thi hong nhung 24 November 2015 (has links)
Les travaux de thèse portent sur le développement de méthodologies d'élaboration de dispositifs à base de polymères PDMS, destinés à des applications médicales. Ce travail s'appuie sur deux volets applicatifs : le développement de matrices de micro-capteurs capacitifs souples portables destinées à la mesure de champs de pression dans un contexte de suivi d'appuis du corps humain, et le développement d'une technique de collage réversible de composants PDMS dans une application de laboratoire sur puce en micro-fluidique. Dans ces travaux, les propriétés mécaniques du PDMS sont déterminées expérimentalement et à l'aide de modélisations numériques, afin d'identifier les éléments essentiels du dimensionnement des micro-capteurs capacitifs. Différents types de micro-capteurs de pression souples sont réalisés par un procédé de microfabrication à transfert de films. Ce procédé est optimisé à chacune de ses étapes afin d'obtenir un procédé fiable et reproductible. Les caractérisations électromécaniques montrent que les capteurs fabriqués sont opérationnels et adaptés aux applications médicales visées. Les capteurs de pression normale ont une variation de capacité de 3 à 17 % à 10 N - 300 kPa, adaptée à une application dentaire. Les capteurs à trois axes de sensibilité ont une résolution spatiale de 25 mm2, et une sensibilité de 4 % à 3 N en compression et 1,4 % par Newton en cisaillement pur, et sont adaptés à une application de mesure de la pression plantaire destinée à l'analyse de la marche et la détection des hyper-appuis. Par ailleurs, deux méthodes différentes permettant le collage réversible de composants PDMS sont développées. Les dispositifs microfluidiques fabriqués avec ces méthodes peuvent être utilisés avec jusqu'à 5 cycles de collage/décollage, et travailler à débit élevé (500 µL/min, correspondant à une pression de 148 kPa). Les méthodologies développées dans ces travaux ouvrent la voie à l'élaboration de dispositifs à base de PDMS performants et optimisés pour répondre à des cahiers des charges exigeants pour des applications biomédicales ciblées. / This thesis focuses on the development of methodologies dedicated to the development of PDMS-based devices, which are required in medical applications. Two objective applications are considered in this work: i) the development of wearable flexible micro-sensors arrays for measuring pressure fields on human body and ii) the development of a reversible bonding technique of PDMS components dedicated to microfluidic chips. In this work, the mechanical properties of PDMS are determined using experiments and computations; they allow identifying the essential elements of the design of capacitive micro-sensors. The manufacturing process is reliable and reproducible, and different types of flexible pressure sensor have been fabricated by a film transfer process. Electromechanical characterizations show that the fabricated sensors are fully operational and suitable for the intended applications. Normal pressure sensors have a capacitance change ranging from 3 to 17% under a 10 N - 300 kPa - load, which is suitable for dental applications. Fabricated triaxial sensor arrays have a spatial resolution of 25 mm2, and a sensitivity of 4% under 3 N load in compression, and 1.4% / N under shear. These features are suitable for plantar pressure measurements required in gait analyses or for the detection of over-pressures. Besides, two different process methods for the reversible bonding of PDMS devices are developed. The microfluidic devices fabrcitated with these methods can be used within up to 5 “bonding & peeling off” cycles, and can be working at high microfluidic flows (500 µL / min, corresponding to a pressure of 148 kPa). The methodologies developed in these works open the way to the design and fabrication of PDMS-based devices suitable for demanding biomedical applications.
69

Contribution à l'étude des réseaux de Petri généralisés / Contribution to the study of weighted Petri nets

Hujsa, Thomas 29 October 2014 (has links)
De nombreux systèmes réels et applications, tels que les ateliers flexibles et systèmes embarqués, sont formés de tâches communicantes et sont modélisables par des réseaux de Petri pondérés. Le comportement de ces systèmes peut être vérifié sur leur modèle dès la phase de conception afin d'éviter les simulations post-conception coûteuses. Ces systèmes doivent satisfaire trois propriétés : vivacité, capacité bornée et réversibilité. La vivacité préserve la possibilité d'exécuter chaque tâche. La capacité bornée assure une quantité limitée de ressources. La réversibilité évite une initialisation coûteuse et permet de réinitialiser le système. Les méthodes d'analyse de ces propriétés ont généralement une complexité exponentielle. Dans cette thèse, nous étudions plusieurs sous-classes expressives des réseaux de Petri pondérés, soient les classes Fork-Attribution, Choice-Free, Join-Free et Equal-Conflict, pour lesquelles nous développons les premiers algorithmes polynomiaux garantissant vivacité, capacité bornée et réversibilité. Premièrement, nous apportons des transformations polynomiales qui préservent de nombreuses propriétés des réseaux de Petri pondérés et facilitent l'étude de leur comportement. Deuxièmement, nous utilisons ces transformations pour obtenir plusieurs conditions polynomiales suffisantes de vivacité pour les sous-classes considérées. Enfin, ces transformations simplifient l'étude de la réversibilité sous hypothèse de vivacité. Nous donnons plusieurs caractérisations et conditions polynomiales suffisantes de réversibilité pour les sous-classes étudiées. Nos conditions passent à l'échelle et sont aisément implémentables dans les systèmes réels. / Many real systems and applications, including flexible manufacturing systems and embedded systems, are composed of communicating tasks and may be modeled by weighted Petri nets. The behavior of these systems can be checked on their model early on at the design phase, thus avoiding costly simulations on the designed systems. Usually, the models should exhibit three basic properties: liveness, boundedness and reversibility.Liveness preserves the possibility of executing every task, while boundedness ensures that the operations can be performed with a bounded amount ofresources. Reversibility avoids a costly initialization phase and allows resets of the system.Most existing methods to analyse these properties have exponential time complexity.By focusing on several expressive subclasses of weighted Petri nets, namely Fork-Attribution, Choice-Free, Join-Free and Equal-Conflict nets,the first polynomial algorithms that ensure liveness, boundednessand reversibility for these classes have been developed in this thesis.First, we provide several polynomial time transformations that preserve structural andbehavioral properties of weighted Petri nets, while simplifying the study of their behavior.Second, we use these transformations to obtain several polynomial sufficient conditions of livenessfor the subclasses considered. Finally, the transformations also prove useful for the study of the reversibility propertyunder the liveness assumption. We provide several characterizations and polynomial sufficient conditionsof reversibility for the same subclasses. All our conditions are scalable and can be easily implemented in real systems.
70

Etude de fiabilité des modules d'électronique de puissance à base de composant SiC pour applications hautes températures

Zhang, Ludi 17 January 2012 (has links) (PDF)
Les environnements ont tendance à être plus sévères (plus chauds et quelquefois plus froids). À ce titre, l'électronique de puissance haute température est un enjeu majeur pour le futur. Concernant les technologies d'assemblage à haute température, les brasures haute température comme l'alliage 88Au/12Ge, 97Au/3Si et 5Sn/95Pb pourraient supporter ces niveaux de contraintes thermiques, qui sont actuellement développées pour répondre à ces exigences. Nous avons effectué les caractérisations électriques, mécaniques et thermomécaniques des matériaux d'assemblage. Une étude thermique a réalisée par des méthodes expérimentales et des simulations numériques, l'étude numérique est réalisée sous ANSYS dans le but d'estimer les influences des différents paramètres sur la performance thermique de l'assemblage. En plus, les cyclages thermiques passif de grande amplitude sont effectués pour analyser la fiabilité des modules de puissance dans ces conditions d'utilisation.

Page generated in 0.0707 seconds