Um die anderen Arten von Veröffentlichungen zu diesem Thema anzuzeigen, folgen Sie diesem Link: Modélisation des processus électroniques.
Dissertationen zum Thema „Modélisation des processus électroniques“
Geben Sie eine Quelle nach APA, MLA, Chicago, Harvard und anderen Zitierweisen an
Machen Sie sich mit Top-50 Dissertationen für die Forschung zum Thema "Modélisation des processus électroniques" bekannt.
Neben jedem Werk im Literaturverzeichnis ist die Option "Zur Bibliographie hinzufügen" verfügbar. Nutzen Sie sie, wird Ihre bibliographische Angabe des gewählten Werkes nach der nötigen Zitierweise (APA, MLA, Harvard, Chicago, Vancouver usw.) automatisch gestaltet.
Sie können auch den vollen Text der wissenschaftlichen Publikation im PDF-Format herunterladen und eine Online-Annotation der Arbeit lesen, wenn die relevanten Parameter in den Metadaten verfügbar sind.
Sehen Sie die Dissertationen für verschiedene Spezialgebieten durch und erstellen Sie Ihre Bibliographie auf korrekte Weise.
1
Gaborit, Luc. „Etude des architectures électroniques embarquées pour les réseaux connexionnistes“. Paris 6, 2004. http://www.theses.fr/2004PA066538.
Der volle Inhalt der Quelle
2
Delaporte, Florent. „Nouvelles approches de conception en vue de la limitation des risques de compatibilité électromagnétique et de fuite d'information sur les équipements électroniques embarqués“. Thesis, Rennes, INSA, 2020. http://www.theses.fr/2020ISAR0004.
Der volle Inhalt der QuelleAnnotation:
Le marché actuel des systèmes électroniques est très compétitif. D’un point de vue de la CEM, ceci impose la conception de produits fonctionnels et respectant les normes, dans des délais les plus courts possibles. Pour répondre à ces besoins, il faut prendre en compte la CEM au plus tôt dans le design. Dans le contexte de conception de carte électroniques, deux problèmes demeurent pour parvenir à cet objectif. Premièrement, les contraintes normatives définies au niveau de l’équipement sont difficiles à décliner au niveau de la carte. Deuxièmement, beaucoup de paramètres sont indéterminés en amont de la conception, rendant difficile l’analyse et la prise de décision. Ce mémoire propose de répondre à ces problématiques dans le cadre d’une étude d’émissivité rayonnée. Pour cela, une démarche de création de modèle paramétrique de rayonnement de carte électronique est proposée. L’utilisation de la puissance totale rayonnée (PTR) comme sortie du modèle sert de passerelle entre une représentation de la carte et celle de mécanique, au niveau système, répondant à la première problématique. Le modèle de carte électronique ainsi obtenu doit être capable de réaliser une analyse de sensibilité pour répondre à la deuxième problématique. L’utilisation de méta-modèles sur la simulation numérique permet d’obtenir des modèles à la fois rapides et fiables. Cette méthode, proposée dans cette thèse, est éprouvée sur des scénarios d’une relative complexité, pour démontrer son utilité dans la prise de décision lors de la conception d’un circuit impriméToday electronic systems market is very competitive. From an EMC point of view, it implies designing functional products, which pass EMC standards, in a minimum amount of time. To meet these needs, designers have to consider EMC as soon as possible in their design. In the context of electronic board design, there are two challenges to reach this goal. Firstly, the constraints in standards are equipment-level defined. Convert them to a board level is hardly accessible. Secondly, many parameters are undetermined at the beginning of the design, which prevents analysis and decision-making. This dissertation put forward some answers in a radiated emissivity context. To do so, a procedure to create a parametric model for the emissivity of an electronic board is proposed. The total radiated power as output of the model consists of the input at a system level model. This solves the first problem. The model built must be able to provide a sensitivity analysis to solve the second problem. Surrogate modeling based on electromagnetic (but time and resource consuming) simulation offers reliable and fast models. This is the methodology proposed by this thesis. It is tested on scenarios of moderate complexity, to prove how useful it is in decision-making during the conception of a stackup of a board
3
Agueny, Hicham. „Etude théorique des processus électroniques ayant lieu au cours de collisions atomiques et moléculaires : approches non perturbatives“. Phd thesis, Université Pierre et Marie Curie - Paris VI, 2014. http://tel.archives-ouvertes.fr/tel-01021304.
Der volle Inhalt der QuelleAnnotation:
Deux domaines différents de la physique des collisions ont fait l'objet de mes travaux de thèse réalisés dans le cadre d'une cotutelle entre l'Université Moulay Ismail, Meknes-Maroc et l'Université Pierre et Marie Curie, Paris-France: le premier concerne les collisions ion-atome/molécule dans le régime des énergies intermédiaires (keV), alors que le second vise le domaine des collisions électron-atome assistées par un champ laser intense. Bien que distincts, les deux thèmes sont interconnectés puisqu'il s'agit principalement d'étudier, dans des approches non-perturbatives, les phénomènes de diffusion et la dynamique électronique des collisions de cibles atomiques et moléculaires soumis à de fortes et très courtes perturbations. La première partie porte spécifiquement sur la modélisation des processus de transfert électronique et d'ionisation induits lors de collisions d'ions et de cibles atomiques et moléculaires. L'étude porte particulièrement sur les phénomènes d'interférences de type Young, de multi-diffusion et de diffraction Fraunhofer observés au cours de ces processus. La deuxième partie de thèse repose sur une étude des processus de diffusion élastiques et inélastiques induits lors de collisions assistées par un champ laser intense. L'étude s'appuie sur l'analyse spécifique des transitions "libre-libre" au cours lesquelles la cible reste dans son état fondamental après la collision, et des phénomènes de résonance dans le processus d'excitation simultanée électron-photon de la cible.
4
Agueny, Hicham. „étude théorique des processus électroniques ayant lieu au cours de collisions atomiques et moléculaires: approches non perturbatives“. Phd thesis, Université Paris-Sorbonne - Paris IV, 2014. http://tel.archives-ouvertes.fr/tel-01052860.
Der volle Inhalt der QuelleAnnotation:
Deux domaines différents de la physique des collisions ont fait l'objet de mes travaux de thèse réalisés dans le cadre d'une cotutelle entre l'Université Moulay Ismail, Meknes-Maroc et l'Université Pierre et Marie Curie, Paris-France: le premier concerne les collisions ion-atome/molécule dans le régime des énergies intermédiaires (keV), alors que le second vise le domaine des collisions électron-atome assistées par un champ laser intense. Bien que distincts, les deux thèmes sont interconnectés puisqu'il s'agit principalement d'étudier, dans des approches non-perturbatives, les phénomènes de diffusion et la dynamique électronique des collisions de cibles atomiques et moléculaires soumis à de fortes et très courtes perturbations. La première partie porte spécifiquement sur la modélisation des processus de transfert électronique et d'ionisation induits lors de collisions d'ions et de cibles atomiques et moléculaires. L'étude porte particulièrement sur les phénomènes d'interférences de type Young, de multi-diffusion et de diffraction Fraunhofer observés au cours de ces processus. La deuxième partie de thèse repose sur une étude des processus de diffusion élastiques et inélastiques induits lors de collisions assistées par un champ laser intense. L'étude s'appuie sur l'analyse spécifique des transitions "libre-libre" au cours lesquelles la cible reste dans son état fondamental après la collision, et des phénomènes de résonance dans le processus d'excitation simultanée électron-photon de la cible.
5
Philippe, Xavier. „Modélisation et micro-analyse in-situ des processus de corrosion localisée des aciers inoxydables“. Dijon, 2001. http://www.theses.fr/2001DIJOS036.
Der volle Inhalt der QuelleAnnotation:
La quasi-totalité des travaux dédiés à l'étude de la corrosion localisée des aciers inoxydables est basée sur l'observation du courant total de l'échantillon. Nous savons aujourd'hui que cette démarche handicape sérieusement la modélisation du phénomène par l'impossibilité : de résoudre spatialement l'origine des évènements électriques enregistrés, d'atteindre les effets de couplage galvanique entre les sites d'attaque et le film environnant. Ce travail a donc pour objectif d'appliquer une sonde locale de courant telle que la SVET (Scanning Vibrating Electrode Technique) afin d'analyser les différents phénomènes liés à l'amorçage et à la propagation d'une piqûre. Dans un premier temps, une analyse des performances et des limitations de la technique SVET a été réalisée. La résolution spatiale de la SVET a été testée et des expériences réalisées sur des systèmes qualifiés de " modèle " ont mis en évidence la difficulté de relier les mesures faites à une certaine distance de la surface aux processus électrochimiques existants à la surface. La deuxième partie de cette étude a consisté à adapter la SVET à l'étude de la corrosion par piqûre. Pour cela, une méthodologie complète a été développée comprenant l'activation d'un site unique de corrosion par injection chimique au voisinage d'une inclusion de sulfure de manganèse (MnS) et l'analyse in-situ par SVET des phénomènes électrochimiques présents au voisinage du site de corrosion. Ces observations sont complétées par des analyses Auger et des images AFM fournissant une description chimique et morphologique de l'interface inclusion-matrice. Un mécanisme d'amorçage et de propagation d'une piqûre prenant en compte ces résultats, qui ont révélé le rôle prépondérant joué par les espèces soufrées dans le processus de piqûration, a été proposé.
6
Rammal, Ali. „Modélisation multi-agent dans un processus de gestion multi acteur, application au maintien à domicile“. Toulouse 3, 2010. http://thesesups.ups-tlse.fr/1116/.
Der volle Inhalt der QuelleAnnotation:
Les systèmes de maintien ou de surveillance à domicile existants cherchent à répondre aux besoins de ce domaine, mais souffrent néanmoins de quelques limites, une de ces limites étant que ces systèmes sont centrés sur une seule personne et ne permettent pas la surveillance de plusieurs personnes en même temps. Notre objectif est de construire des patrons de comportement à partir des informations provenant du domicile des personnes suivies à l'aide des capteurs de mouvement, des capteurs physiologiques, des cahiers de liaison, et d'autres sources, dans le but d'avoir une vision macroscopique des personnes suivies. Pour ce faire nous déployons une architecture de classification utilisable à grande échelle et basée sur les technologies multi-agent. Nous avons opté pour une méthode de classification multi-agents car l'application des méthodes classiques centralisées (statistiques, neuronales, de formation de concept. . . ) ne sont pas possibles quand les données nécessaires pour faire la classification, sont distribuées. De telles méthodes ne permettent pas le passage à l'échelle qui suppose de pouvoir prendre en compte de nombreuses personnes situées dans des environnements différents et suivies par de nombreux indicateurs dont le nombre et le domaine de valeur peuvent évoluer dans le temps. Un tel passage à l'échelle est possible avec les méthodes multi-agents où chaque agent gère une partie de données sur un sous-ensemble de la population suivie. L'évolution du nombre ou du domaine des indicateurs peut induire la suppression ou l'ajout d'un nouvel agent sans l'obligation de refaire tout le calculThis research can be seen as a macroscopic approach to a large-scale distributed data gathering. We propose a software architecture to monitor elderly or dependent people in their own house. Many studies have been done on hardware aspects resulting in operational products. But there is a lack of adaptive algorithms to handle all the data generated by these products, because such data is distributed and heterogeneous in a large scale environment. We propose a multi-agent classification method to collect and to aggregate data about activity, movements and physiological information of the monitored people: agent's know-how consists in a simple classification algorithm. Data generated at this local level are communicated and adjusted between agents to obtain a set of patterns. This data is dynamic; the system has to store the built patterns and has to create new patterns when new data is available. Therefore, the system is adaptive and can be spread on a large scale. The generated data is used at a local level, for example to raise an alert, but also to evaluate global risks. We present the specification choices and the massively multi-agent architecture we developed
7
Borrel, Marie. „Interactions entre composants matériel et logiciel de systèmes tolérants aux fautes : caractérisation, formalisation, modélisation : application à la sûreté de fonctionnement du CAUTRA“. Toulouse, INPT, 1996. http://www.theses.fr/1996INPT025H.
Der volle Inhalt der QuelleAnnotation:
Ce memoire presente des travaux et resultats concernant la caracterisation, la formalisation et la modelisation des interactions entre composants materiels et logiciels de systemes tolerants aux fautes, aussi bien sur le plan theorique que sur le plan pratique. Chaque composant materiel ou logiciel est modelise par un reseau de petri stochastique generalise appele reseau de composant. Les interactions entre ces composants sont modelisees par des reseaux de petri stochastiques generalises appeles reseaux de dependances, construits a partir de regles de constructions rigoureuses definies de facon formelle. Une methode efficace et rapide de construction des modeles de plusieurs architectures d'un systeme tolerant aux fautes est ensuite proposee. Cette methode basee sur la reutilisation consiste a representer chaque architecture par un modele de haut-niveau, appele modele-bloc, compose de blocs de composants et de blocs de dependances. Les blocs sont generiques et reutilisables d'une architecture a l'autre. Chaque bloc est ensuite remplace par un reseau de composant ou de dependance construit d'apres le formalisme defini lors de la formalisation des interactions. Cette methode de modelisation est appliquee a l'evaluation comparative de la surete de fonctionnement de dix-sept architectures possibles pour le systeme de controle de la navigation aerienne. Ces evaluations permettent de choisir une architecture optimale pour la disponibilite de la future version de ce systeme
8
Bentayeb, Salah. „Modélisation et performances des boucles à verrouillage de phase numériques en présence de bruit“. Toulouse, ENSAE, 1985. http://www.theses.fr/1985ESAE0005.
Der volle Inhalt der QuelleAnnotation:
Étude de boucles à verrouillage de phase numériques. Modèle général des boucles numériques fonctionnant à faible rapport signal sur bruit. Étude des boucles numériques par la théorie des chaînes de Markov, des boucles numériques par simulation.
9
Debbabi, Daassi Sana. „Processus d'influence de la téléprésence dans une publicité en ligne sur la formation de l'attitude à l'égard du produit : essai de modélisation“. Toulouse 1, 2008. http://www.theses.fr/2008TOU10040.
Der volle Inhalt der QuelleAnnotation:
L'objectif de cette recherche consiste à modéliser le processus d'influence de la téléprésence dans une publicité en ligne sur la formation de l'attitude à l'égard du produit. Plus explicitement, la question de recherche qui guide cette étude s'énonce comme suit : Comment la téléprésence influe-t-elle sur la formation de l'attitude à l'égard du produit, dans le contexte d'une publicité sur un site Internet ? En réponse à cette question, cette étude propose un modèle conceptuel décrivant deux processus cognitifs et affectifs interdépendants d'influence de la téléprésence sur la formation de l'attitude à l'égard du produit. Un niveau de contingence externe au modèle est, en outre, décrit. Celui-ci introduit des variables modératrices de l'intensité des relations de causalité entre la téléprésence, l'attitude à l'égard du produit et ses médiateurs de formation. Afin de tester le modèle proposé, une étude quantitative quasi-expérimentale est conduite. Les résultats de l'étude valident l'influence de la téléprésence sur l'attitude à l'égard du produit via deux processus interdépendants. Le premier est cognitif, basé sur les croyances relatives au produit. Le deuxième est affectif, fondé sur les émotions déclenchées par la navigation dans une publicité en ligne. Les résultats mettent aussi en évidence l'effet modérateur du format de la publicité (3D vs 2D), du niveau d'implication durable (faible vs élevé) et de la catégorie du produit (géométrique vs matériel) de la force des liens entre la téléprésence, l'attitude à l'égard du produit et ses médiateurs de formation. Ces résultats sont interprétés et leurs implications managériales sont discutéesThe objective of this research consists in modeling the influence’s processes of telepresence in online advertising on attitude formation towards the product. More precisely, our guiding line of inquiry can be stated as follows: in online advertising, how does telepresence influence the formation of the attitude towards the product? In order to answer to this research question, a conceptual model is proposed. This one introduces two cognitive and affective interdependent influence’s processes of telepresence on attitude towards the product. In addition, an external level of contingency is described. This one introduces moderating variables of the relationships’ intensities between telepresence, attitude towards the product and its mediators’ formation. In order to test the theoretical model, a quasi-experimental quantitative study is conducted. The study’s results validate the influence of the telepresence on the attitude towards the product via two interdependent processes. The first one is cognitive, based on product beliefs. The second is affective, based on emotions activated by the navigation in an on-line advertising. The results also bring to light the moderating effects of advertising format (3D vs 2D), product involvement level (low vs high) and product category (geometric vs material) of relationships’ strength between telepresence, attitude towards the product and its mediators’ formation. These results are interpreted and their managerial implications are discussed
10
Passaquay, Dominique. „Modélisation et commande de processus multivariables à base de logique floue : application à la commande de moteurs thermiques“. Toulouse, INSA, 2000. http://www.theses.fr/2000ISAT0022.
Der volle Inhalt der QuelleAnnotation:
Face à une réglementation de plus en plus stricte vis à vis des émissions de polluants, les constructeurs automobiles développent une nouvelle génération de moteurs essence : les moteurs 4 temps à injection directe. Dans ce mémoire de thèse, une loi de commande globale pour ce type de moteur est proposée. La gestion des deux modes de combustion propre à ce type de moteur est assurée par une structure de commande hiérarchique incluant un niveau de supervision et plusieurs contrôleurs bas niveau. La démarche de conception des lois de commandes bas niveau repose sur l'identification de modèles linéaires par morceaux de sous parties du moteur. Ces modèles sont définis par des règles floues de type Takagi-Sugeno déterminées à partir d'un jeu de données entrée/sortie suivant un algorithme de modélisation floue. Les modèles flous ainsi obtenus sont alors utilisés pour définir des contrôleurs flous non linéaires en utilisant les techniques de commande classique de l'automatique.
11
Chimier, Benoît. „Modélisation des processus physiques hors équilibres lors de l'interaction d'une impulsion laser sub-picoseconde avec une cible metallique“. Bordeaux 1, 2008. http://www.theses.fr/2008BOR13600.
Der volle Inhalt der QuelleAnnotation:
Dans le cadre spécifique des impulsions sub-picosecondes, le temps de dépôt de l'énergie est inférieur au temps de chauffage des ions, mais suffisamment long pour que les électrons soient chauffés. La matière se trouve alors mécaniquement et thermiquement hors équilibre à la fin de l'impulsion. L'équilibre thermique entre les électrons et les ions est atteint après quelques picosecondes. Cette thèse consiste en l'étude et la modélisation des processus de relaxation intervenant dans des cibles métalliques irradiées par de telles impulsions laser. Une étude des comportements hydrodynamique et thermodynamique de la cible à l'échelle de la picoseconde est effectuée. Une équation d'état à deux températures est développée pour décrire la matière hors équilibre thermique (lorsque les températures électronique et ionique sont différentes), et les notions de spinodales hors équilibres et limite de cohésion sont introduites. Ce modèle est appliqué aux expériences d'ablation effectuées sur des cibles d'aluminium et de cuivre et a montré un bon accord avec les résultats expérimentaux. Par la suite, lorsque les températures sont équilibrées, un examen de la détente avec transition de phase liquide-vapeur est mené. Une estimaton de la répartition de la masse de matière liquide à travers la détente est effectuée, et un rayon moyen des gouttelettes liquides éjectées est déterminé en considérant le bilan des forces exercées sur la masse de liquide.
12
Beuton, Romain. „Modélisation de la structuration d'un matériau diélectrique irradié par une impulsion laser femtoseconde“. Thesis, Bordeaux, 2018. http://www.theses.fr/2018BORD0231/document.
Der volle Inhalt der QuelleAnnotation:
Les lasers femtosecondes sont un outil efficace pour induire des modifications structurelles localisées en volume dans les matériaux diélectriques. Initialement transparents, les diélectriques ne commencent à absorber efficacement l’énergie laser que lorsque l’intensité excède le seuil de claquage optique du matériau. Cette propriété, couplée à une durée d’impulsion femtoseconde plus courte que les temps caractéristiques de relaxation de la matière, permet d’obtenir un dépôt d’énergie précis et localisé dans le volume irradié. Pour modéliser la formation de telles structures, un modèle thermo-élasto-plastique en géométrie 2D planaire, incluant la transition solide-liquide via un modèle de ramollissement, a été implémenté dans un code hydrodynamique lagrangien. Des études de la formation d’une cavité et de l’interaction de multiple cavités ont tout d’abord été réalisées en supposant un dépôt instantané d’énergie laser dans le volume d’une cible de silice fondue. La relaxation de la matière chauffée, portée à l’état de plasma dense, induit alors la propagation d’ondes de choc dans le solide froid environnant. Des déformations permanentes peuvent apparaître dans le matériau si la contrainte, induite par ces ondes, excède la limite élastique. Ces premières études ont notamment permis de comprendre et de décrire les différentes étapes de la formation de micro-structures, fortement corrélées au comportement élasto-plastique du solide environnante. De plus, en utilisant une loi de Weibull, tenant compte de la densité de défauts dans la matière, des probabilités de fractures dans le matériau ont été calculées. Dans un second temps, la structuration de la silice fondue par un faisceau de Bessel a été considérée. Un solveur de Maxwell 3D, couplé à une description fluide de la dynamique électronique, a été utilisé pour modéliser le dépôt d’énergie laser. Les résultats ont permis de comprendre comment s’établit le dépôt d’énergie et rendent compte des effets des différents processus d’ionisation sur les évolutions des profils de densité et d’énergie électronique. Des simulations thermo-élasto-plastiques ont ensuite étaient réalisées en utilisant le dépôt d’énergie calculé. Différents types de déformations induites dans la silice ont pu être mis en évidence en fonction de l’énergie et de la durée de l’impulsion incidente, en accord avec les observations expérimentalesFemtosecond laser pulses are an efficient tool to induce localized structural modifications in the bulk of dielectrics materials. The dielectrics, initially transparent, start to efficiently absorb the energy when the laser intensity exceeds the optical breakdown threshold of the material. This property, coupled to a femtosecond pulse duration smaller than the caracteristic relaxation times of matter, allows to induce a localized and accurate energy deposition in the irradiated volume. In order to model the formation of such structures, a 2D thermo-elasto-plastic model, including solid-liquid transitions through a softening model, has been implemented in a lagrangian hydrodynamic code. Studies on the formation of a single cavity and several interacting cavities have been firstly performed, assuming an instantaneous energy deposition in the bulk of fused silica. The relaxation of the heated matter, transformed to a warm dense plasma, induces shock waves in the surrounding cold solid. Permanent deformations may appear if the stress, induced by the waves, exceeds the yield strength of the material. This first study allowed to understand and describe the various steps of the micro-structures formation, which are strongly correlated to the elasto-plastic behavior of the surrounding solid. Furthermore, by using a Weibull’s law, accounting for defects density in the material, cracks probabilities have been predicted. Secondly, the structuration of fused silica by a Bessel beam has been considered. For that purpose, a 3D Maxwell solver coupled to a fluid description of the electron dynamics has been used to model the laser energy deposition. Results allow to understand how the energy deposition establishes and show the effects of the different ionization processes on the electron density and energy profiles. Then, thermo-elasto-plastic simulations have been carried out including the calculated energy deposition. Various kinds of induced deformations in fused silica have been obtained depending on the incident pulse energy and duration, which is in agreement with experimental observations
13
Taoutioui, Abdelmalek. „Étude théorique de la dynamique électronique au cours de collisions entre des ions et des cibles atomiques hautement excitées“. Thesis, Sorbonne université, 2018. http://www.theses.fr/2018SORUS323.
Der volle Inhalt der QuelleAnnotation:
La compréhension des processus électroniques ayant lieu au cours de collisions atomiques présente un intérêt important pour la modélisation de phénomènes observés dans des systèmes complexes tels que les milieux atmosphériques, astrophysiques et biologiques. Ces processus se manifestent au niveau microscopique mais jouent un rôle déterminant sur l’évolution et les propriétés physico-chimiques de ces systèmes macroscopiques. D’un point de vue fondamental, les collisions sont également des "laboratoires" privilégiés pour l'étude de systèmes quantiques à N-corps. Les collisions ion-atome sont d'une importance cruciale dans plusieurs domaines tels que celui concernant la fusion nucléaire par confinement magnétique : la compréhension des processus électroniques est nécessaire pour la modélisation de ce type de plasmas. Cette thèse se situe dans ce contexte et est dédiée à l’étude théorique des processus électroniques qui se manifestent au cours de collisions entre des ions et des cibles atomiques hautement excitées. Dans ce travail, nous avons privilégié la modélisation de la capture électronique et le calcul des sections efficaces pour le système proton-hydrogène. Nous avons adopté deux approches théoriques non perturbatives : la méthode classique CTMC et une méthode semi-classique SCAOCC. Nous avons calculé les sections efficaces totales et partielles de capture pour des cibles excitée initialement jusqu’à la couche n=7. Des comparaisons entre les résultats issus de ces méthodes et les quelques données théoriques disponibles sont réalisées et représentent l’originalité du travail. Des lois d’échelle empiriques pour les sections efficaces totales sont également décritesThe understanding of the electronic processes taking place during atomic collisions is of great interest for the modeling of phenomena observed in complex systems such as atmospheric, astrophysical and biological environments. These processes manifest at the microscopic level but play a determining role on the evolution and the physicochemical properties of these macroscopic systems. From a fundamental point of view, collisions are also privileged "laboratories" for the study of quantum systems with N-bodies. Ion-atom collisions are of crucial importance in several fields such as that concerning nuclear fusion by magnetic confinement: the understanding of the electronic processes is necessary for the modeling of this type of plasmas. This thesis is situated in this context and is dedicated to the theoretical study of the electronic processes that occur during collisions between ions and highly excited atomic targets. In this work, we privileged the modeling of the electronic capture and the computation of the cross sections for the proton-hydrogen system. We adopted two non-perturbative theoretical approaches: the classical CTMC method and a semi-classical SCAOCC method. We calculated the total and partial capture cross sections for targets initially excited up to the n = 7 layer. Comparisons between the results of these methods and the few theoretical data available are made and represent the originality of the work. Empirical scale laws for total cross sections are also described
14
Jolly, Mariette. „Study of many-body dynamics in ion-ion/atom collisions : a joint experimental and theoretical investigation“. Electronic Thesis or Diss., Sorbonne université, 2024. http://www.theses.fr/2024SORUS243.
Der volle Inhalt der QuelleAnnotation:
Étudier les collisions ion-atome et ion-ion permet d'appréhender les probabilités des processus électroniques tels que la capture, l'ionisation et/ou l'excitation en maîtrisant le nombre d'électrons initialement liés à chaque partenaire de la collision. En allant de l'étude d'un système à trois corps (les deux noyaux avec un seul électron) vers des systèmes plus complexes impliquant des électrons supplémentaires permet d'examiner des effets sur la dynamique globale des électrons et par conséquent sur les sections efficaces des processus élémentaires.Dans la section théorique de la thèse, des calculs de sections efficaces sont effectués pour des systèmes ion-atome et ion-ion contenant jusqu'à deux électrons. Le carbone, l'hydrogène, l'azote et l'hélium ont été choisis comme partenaires de collision. Cela est réalisé en utilisant une approximation semi-classique non perturbative, qui consiste à traiter le mouvement des ions de manière classique, tandis que la dynamique des électrons est décrite en utilisant la mécanique quantique. Les collisions sont simulées à l'aide d'un programme “collision solver”, à partir duquel des sections efficaces pour différents processus peuvent être extraites.La partie expérimentale de la thèse est dédiée au développement technique, aux tests et à la caractérisation de divers instruments essentiels pour la réalisation d'expériences précises de collision ion-atome et ion-ion. Deux sources d'ions et les lignes de faisceau correspondantes ont été installées pour réaliser des collisions ion-ion garantissant qu'une large gamme de conditions expérimentales et de types de collisions. Une chambre de collision, un jet gazeux, un spectromètre d'ions et son détecteur associé, un système de détection de rayons X ont été développés et caractérisées pour réaliser les premières études.Dans l'ensemble, cette thèse combine de nouveaux calculs théoriques pour les collisions ion-atome et ion-ion avec des avancées expérimentales vers une configuration capable d'explorer une large gamme de systèmes de collision. Cette double approche est très bénéfique pour améliorer la compréhension de la dynamique des électrons dans les collisions ion-matière. Ces connaissances sont essentielles tant pour la recherche fondamentale que pour les applications pratiques dans divers domaines scientifiques et technologiques, tels que les plasmas astrophysiques, la recherche sur la fusion par confinement inertiel ou encore l'hadronthérapieStudying ion-atom and ion-ion collisions allows us to understand the probabilities of electronic processes such as capture, ionization, and/or excitation by controlling the number of electrons initially bound to each collision partner. By progressing from the study of a three-body system (the two nuclei with a single electron) to more complex systems involving additional electrons, we can examine the effects on the overall electron dynamics and consequently on the cross-sections of elementary processes.In the theoretical section of the thesis, cross-section calculations are performed for ion-atom and ion-ion systems containing up to two electrons. Carbon, hydrogen, nitrogen, helium and their respective ions have been chosen as collision partners. This is achieved using a semi-classical non-perturbative approach: the relative motion of the partners is treated classically, while the electron dynamics is described quantally. The collisions are simulated using a “collision solver” program, from which cross sections for different processes can be extracted.The experimental part of the thesis is dedicated to the technical development, rigorous testing, and thorough characterization of various instruments critical for conducting precise ion-atom and ion-ion collision experiments. Two ion sources and their respective beamlines were set up to perform ion ion collisions, ensuring a large range of possible experimental conditions and collision systems can be explored. A collision chamber, gaseous jet, an ion spectrometer and its associated detector, as well as an x-ray detection system were developed and characterized to perform the preliminary experiments.Overall, this thesis combines new theoretical calculations for ion-atom and ion-ion collisions with experimental advancements towards a set-up capable of exploring a wide range of collision systems. The dual approach is very beneficial for enhancing the understanding of electron dynamics in ion-matter collisions. This knowledge is essential for both fundamental research and practical applications in various scientific and technological fields, such as astrophysical plasma, inertial confinement fusion research or hadrontherapy
15
Claude, Grégory. „Modélisation de documents et recherches de points communs : propositions d'un framework de gestion de fiches d'anomalie pour faciliter les maintenances corrective et préventive“. Toulouse 3, 2012. http://thesesups.ups-tlse.fr/1575/.
Der volle Inhalt der QuelleAnnotation:
La pratique quotidienne d'une activité génère un ensemble de connaissances qui se traduisent par un savoir-faire, une maîtrise, une compétence qu'une personne acquiert au cours du temps. Pour les préserver, la capitalisation des connaissances est devenue une activité essentielle dans les entreprises. Nos travaux de recherche ont pour objectif de modéliser et mettre en œuvre un système afin d'extraire et de formaliser les connaissances issues des anomalies qui surviennent dans un contexte de production industrielle et de les intégrer dans un framework facilitant la maintenance corrective et préventive. Ce framework structure la connaissance sous la forme de groupes d'anomalies. Ces groupes peuvent être rapprochés des patterns : ils représentent un problème auquel une ou plusieurs solutions sont associées. Ils ne sont pas définis a priori, c'est l'analyse des anomalies passées qui génère des groupes pertinents, qui peuvent évoluer avec l'ajout de nouvelles anomalies. Pour identifier ces patterns, supports de la connaissance, un processus complet d'extraction et de formalisation de la connaissance est suivi, Knowledge Discovery in Databases. Ce processus a été appliqué dans des domaines très variés. Nous lui donnons ici une nouvelle dimension, le traitement d'anomalies et plus particulièrement celles qui surviennent au cours de processus de production industrielle. Les étapes génériques qui le composent, depuis la simple sélection des données jusqu'à l'interprétation des patterns qui supportent les connaissances, sont considérées pour affecter à chacune un traitement spécifique pertinent par rapport à notre contexte applicatifThe daily practice of an activity generates a set of knowledge that results in a know-how, a mastery, a skill a person gains over time. In order to take advantage of this experience, capitalization of knowledge has become an essential activity for companies. Our research work aims to model and implement such a system that extracts and formalizes knowledge from defects that occur in the context of industrial production, and to integrate it into a framework in order to facilitate corrective and preventive maintenance. This framework organizes the knowledge in the form of defects' groups. These groups can be compared to patterns: they represent a problem to which one or more solutions are related. They are not defined a priori; the analysis of past defects generates relevant groups, which may change with the addition of new defects. To identify these patterns, a complete process of knowledge extraction and formalization is adopted, Knowledge Discovery in Databases, well known in the domain of knowledge management. This process has been applied in very diversified fields. In this work, we give a new dimension to this process, the processing of defects, especially those that occur during industrial production processes. The generic steps that compose it, from the simple data selection to the interpretation of patterns that support knowledge, are considered. A specific processing, relevant to our applicative context, is assigned to each of these steps
16
Nicolazzi, William. „Modélisation des processus à l’équilibre et hors équilibre de matériaux à transition de spin : application à la simulation des diagrammes de diffraction des rayons X“. Thesis, Nancy 1, 2008. http://www.theses.fr/2008NAN10078/document.
Der volle Inhalt der QuelleAnnotation:
La modélisation des processus à l'équilibre et hors de l'équilibre observés expérimentalement dans les composés à transition de spin est indispensable à la compréhension des mécanismes de transition existants chez ces matériaux bistables, très prometteurs pour de futures applications dans le stockage informatique. Les mesures suivant le changement d'état moléculaire (magnétiques, optiques) ont été reproduites avec succès à l'aide de diverses modèles, en particulier les modèles de type Ising. En revanche, le changement de phase structurale, observé par diffraction des rayons X ou neutrons, accompagnant le changement d'état de spin, ne peut être simulé avec ces modèles. L'objectif de ce travail est de réconcilier les deux types de mesures : magnétiques, optiques et la diffraction. Un nouveau modèle de spin a dû être introduit, dans lequel sont pris en compte de manière explicite les variables de réseau. Le modèle a été étudié analytiquement dans le cas unidimensionnel et numériquement dans le cas bidimensionnel par simulation Monte Carlo des processus à l’équilibre et hors équilibre. Le modèle retrouve d’une part les résultats des modèles de type Ising et d’autre part la contraction ou la dilatation du réseau à la transition de spin. Afin de comparer avec les mesures de diffraction, la mise en conditions expérimentales a été simulée à l'aide du modèle anharmonique couplé avec un programme (DISCUS) pour calculer l'intensité diffractée. Les clichés de diffraction ont été reproduits avec succès dans les différents cas observés expérimentalement. Les conditions d'apparition de la coexistence des pics de Bragg HS et BS sont analysées. La notion de "domaines de spin" est alors complétée par l'introduction "des domaines de spin moléculaires" (clusters de molécules) et "des domaines de spin structuraux"Modelisation of Equilibrium and non equilibrium processes experimentally observed in spin crossover compounds is essential for a better understanding of mechanisms of the transition existing in those bistable solids which are good candidates for future industrial applications in computing data storage. Measurements following the molecular spin state change (magnetic, optical…) have been successfully reproduced, using various models, in particular Ising-like models. However, structural phase changes, occurring during the spin state change and only accessible with X-ray or neutron diffraction experiments, can’t be reproduce with Ising-like models. The aim of this work is to interpret both kinds of measures: magnetic and diffraction. We have also introduced a new microscopic spin model in which lattice degrees of freedom have been explicitly taken into account. This anharmonic model has been solved analytically in the one dimensional case and numerically in higher dimensions using Monte Carlo simulation of equilibrium and non equilibrium processes. This model retrieves most of results or Ising-like models and simulates lattice expansion or contraction during the spin transition. We have coupled this anharmonic model with a soft called DISCUS, in order to simulate diffraction experimental conditions and to calculate the intensity diffracted by the lattice. Diffraction patterns have been reproduced in the different cases (thermal transition, thermal relaxation, photoexcitation…) observed experimentally. Conditions for the observation of the coexistence of HS and LS Bragg peak are discussed and analyzed. The concept of “like spin domains” (LSD) is then defined more precisely by introducing the concept of “molecular like spin domains” (MLSD) and structural like spin domains” (SLSD)
17
Eben, Rhouma Ammar. „Comparaison du processus d'information sur support papier et sur support électronique : contribution à une nouvelle pédagogie de l'information pour l'orientation scolaire et professionnelle“. Thesis, Aix-Marseille, 2014. http://www.theses.fr/2014AIXM1084.
Der volle Inhalt der QuelleAnnotation:
L'objectif le plus global des approches éducatives de l'orientation est d'organiser l'information et l'orientation des élèves dans un processus éducatif continu. Il ne s'agit pas d'orienter les élèves ; mais de les aider à concevoir et à conduire de manière progressivement autonome, une démarche de projet scolaire, puis professionnel. Dans ce cadre, il paraît judicieux de développer chez tous les élèves les compétences qui leur permettront de gérer leur processus d'information, or aujourd'hui encore, ceci ne fait pas l'objet d'une formation systématique au collège. Avec la convergence des formats hypertexte et multimédia un renouvellement des problématiques pédagogiques de l'auto information s'impose. Pourquoi, malgré tous les efforts de l'institution, le niveau d'information des élèves en matière d'orientation reste-t-il toujours insatisfaisant ? Après une phase de modélisation théorique du processus d'information pour identifier les causes de dysfonctionnement du système, nous avons entrepris une recherche-action dans le but d'éprouver les solutions induites de nos résultats théoriques sur le savoir s'informer en ligne. L'intérêt de cette démarche est de sensibiliser l'équipe éducative aux difficultés spécifiques de la lecture des informations en ligne, de concevoir l'accompagnement pédagogique d'une démarche autonome de l'élève et d'aider les concepteurs de nouveaux dispositifs à prendre en compte ces spécificitésThe most overall objective of educational approaches the orientation is to organize the information and guidance of students in an ongoing educational process. It does not refer students; but to help them to design and lead gradually autonomously approach to school project and professional. In this context, it makes sense to develop in all students the skills to manage their information process, or even today, this is not the subject of systematic training in college. With the convergence of hypertext and multimedia formats renewal of educational problems of auto information is required. Why, despite all the institution's efforts, the level of information in guidance students he remains unsatisfactory? After a theoretical modeling phase of the information process to identify the causes of system malfunction, we undertook an action research in order to test the induced solutions of our theoretical results on the know go online. The advantage of this approach is to raise the educational team to the specific difficulties of reading information online, designing educational support an autonomous process of the student and help designers of new devices to take these specificities into account
18
Zimmermann, Yann. „Modélisation et développement formel de circuits électroniques“. Nancy 1, 2006. http://docnum.univ-lorraine.fr/public/SCD_T_2006_0213_ZIMMERMANN.pdf.
Der volle Inhalt der QuelleAnnotation:
Les systèmes électroniques sont de plus en plus complexes et les exigences de fiabilité vis-à-vis de ces systèmes sont de plus en plus importantes. Le défi est de continuer à développer des systèmes de plus en plus complexes tout en assurant la correction de ceux-ci. Les méthodes de correction par le test sont aujourd’hui dépassées par la complexité des systèmes. Nous proposons dans cette thèse d’utiliser la preuve et le raffinement pour assurer la correction d’un système. La correction par la preuve à l’avantage de ne pas être limitée par la complexité du système. Nous proposons d’utiliser la méthode B et son concept de raffinement pour simplifier le processus modélisation et de preuve. A chaque étape du raffinement, des obligations de preuves sont générées par les outils supports pour assurer que le modèle plus concret est bien correct vis-à-vis du modèle abstrait. Cette méthode assure que l’implantation finalement obtenue est correcte vis-à-vis du premier modèle abstrait qui constitue la spécification. Nous avons commencé par une étude de cas réaliste choisie par un industriel (Volvo) consistant à modéliser un contrôleur d’accès à un bus série. Cette étude de cas nous a permis de dégager des règles de modélisation pour le développement de circuits électroniques par la méthode B. Cela nous a conduits à définir le langage BHDL correspondant au niveau synthétisable de B et des traducteurs de BHDL vers VHDL et SystemC ont été développés. Une étude théorique du langage BHDL a été faite en définissant deux sémantiques de ce langage et en prouvant la correction de la traduction de BHDL vers VHDL. Des travaux ont également été faits pour traduire BHDL vers ACL2Electronics systems become more and more complex and reliability requirements are more and more important. The challenge is to continue to develop more and more complex systems while ensuring correction of systems. Test-based methods are now overtaken by complexity of systems. We suggest using proof and refinement to ensure correction of systems. Proof-based methods are not limited by the complexity of systems. We suggest using the B method and its concept of refinement to simplify the process of modelling and proving. At each refinement step, proof obligations are automatically generated by tools to ensure that the concrete model is correct with respect to the abstract model. This method ensures that the final implementation is correct with respect to the initial abstract model which is the specification. We started by a realistic case study chosen by an industrialist (Volvo) consisting in modelling an access controller for a serial bus. This case study leaded us to define some modelling rules to develop electronic circuits using the B method. We have defined the BHDL language which is the synthesisable level of B and we have implemented translators from BHDL towards VHDL and SystemC. A theoretic study of BHDL has been done defining two semantics for this language and proving the correction for the translation from BDHL to VHDL. Some work has also been done to translate BHDL to ACL2
19
Vives, Gilabert Yolanda. „Modélisation des émissions rayonnées de composants électroniques“. Rouen, 2007. http://www.theses.fr/2007ROUES025.
Der volle Inhalt der QuelleAnnotation:
Cette thèse, effectuée à l’IRSEEM en collaboration avec Thales Air Systems, s’inscrit dans le cadre du programme « Compatibilité Electromagnétique (CEM) des composants » de la filière Normandie AéroEspace. Le travail réalisé consiste à développer des modèles d’émissions magnétiques rayonnées de composants électroniques. Ces modèles doivent être génériques (i. E. Le processus de modélisation doit être applicable quel que soit le composant) et être implémentables dans des logiciels électromagnétiques commerciaux, comme HFSS et CST Microwave Studio. Pour ce faire, un premier modèle basé sur un réseau de dipôles élémentaires (soit électriques soit magnétiques) est développée. Le processus d’obtention de ce modèle est relativement simple et est basé sur une inversion de matrices avec la méthode des moindres carrés. L’application de ce modèle sur différents dispositifs (self, oscillateur. . . ) donne de très bons résultats aussi bien pour l’amplitude que pour la phase du champ magnétique. Néanmoins ce modèle est très rigide car un grand nombre de paramètres est fixé par l’utilisateur. De plus, la grande quantité de sources du modèle complexifie son insertion dans les outils de simulation. C’est pour cela qu’une deuxième approche de modélisation plus adaptée à notre problématique a été développée. Ce second modèle est composé d’un réseau d’au maximum 10-12 dipôles. L’approche de modélisation est basée sur deux techniques : l’application d’une fonction de traitement des images et l’application d’un algorithme d’optimisation. Cette approche est beaucoup plus flexible que la précédente, car elle est capable de calculer tous les paramètres du modèle. Néanmoins, la précision des résultats est inévitablement diminuée en raison de la réduction du nombre de dipôlesThis thesis, performed in IRSEEM in collaboration with Thales Air Systems, is included in the program « EMC of components » from the Normandie AéroEspace cluster. This thesis work is based on the development of models of the magnetic field radiated by electronic components. These models must be generic (i. E. The procedure of modeling must be able to be applied to any component) and insertable into the commercial electromagnetic softwares, like HFSS and CST Microwave Studio. In order to do that, a first model based on a set of elementary dipoles (electric or magnetic dipoles) is developed, being the procedure to obtain this model relatively simple. It is based on the inversion of some matrices with the least square method. The application of this model to different devices (self, oscillator. . . ) gives good results, both in amplitude and phase of the magnetic field. However, this model is very rigid due to the great number of parameters that are fixed by the user. Moreover, the huge quantity of sources in the model complicates the insertion into commercial simulation software. It is for this reason that a second approach of modeling, better adapted to our problematic, has been developed. His second model is composed of a set of a maximum of 10-12 dipoles. In this case the procedure of modeling is based on two different techniques : the application of a function usually used for the treatment of digital images and the application of an optimisation algorithm. This procedure is more flexible than the previous one because it is capable of calculating all the parameters of the model. However, the accuracy of the model is inevitably reduced due to the fact that the number of dipoles has been also reduced
20
Behnam, Bobby. „Modélisation d'échange d'informations de composants électroniques virtuels“. Grenoble INPG, 1998. http://www.theses.fr/1998INPG0126.
Der volle Inhalt der QuelleAnnotation:
Les circuits integres d'aujourd'hui sont fabriques en utilisant des technologies submicroniques, ce qui permet de realiser un systeme entier sur une seule puce de silicium. On a alors assiste a la naissance du concept de design-reuse qui, par reutilisation des blocs fonctionnels externes, offre aux concepteurs des solutions pour atteindre le systeme-sur-puce. Ces blocs sont aussi appeles composants virtuels (vc) ou proprietes intellectuelles (ip). Ce nouveau concept induit, beaucoup de problemes nouveaux. Le tout premier probleme rencontre par un integrateur d'ip, est l'absence de normes et d'informations sur les ips. Pour connaitre les produits existants, il doit disposer d'un indice lui permettant de demarrer sa recherche d'ip. Le travail de cette these se situe dans ce contexte et a contribue a resoudre ce probleme. Dans un premier temps, un format standard de description recapitulative d'ip (isdf) a ete elabore pour decrire, de facon concise, les caracteristiques principales d'un ip, selon les exigences des integrateurs potentiels d'ip. Ensuite, un arbre de taxonomie (classification) a ete defini pour classer les ips par categorie, selon leur domaine d'application. Des techniques de balisage pour regrouper differentes offres avec la meme fonctionnalite sont presentees. Elles assurent une recherche efficace. L'acces repandu au reseau internet a conduit au developpement d'une base de donnees orientee internet qui incorpore l'isdf, la taxonomie et les balises pour offrir un outil efficace, et permettre l'echange d'informations sur les ips a l'echelle mondiale. L'ecriture de la base de donnees en java a permit sont extension rapide vers un systeme de gestion de catalogue d'ips sur intranet, dont le format et la taxonomie sont parametrables. Ce travail a suivi de pres, et contribue aux directives de la virtual socket interface alliance (vsia), un organisme dont le but est de definir des normes pour le developpement et l'integration d'ips.
21
Benhissen, Nacer Eddine. „Modélisation des couplages électrothermiques dans les composants électroniques“. Thèse, Université du Québec à Trois-Rivières, 1998. http://depot-e.uqtr.ca/1824/1/000650486.pdf.
Der volle Inhalt der Quelle
22
Verga, Federico. „Modélisation mathématique de processus métastatiques“. Phd thesis, Université de Provence - Aix-Marseille I, 2010. http://tel.archives-ouvertes.fr/tel-00575371.
Der volle Inhalt der QuelleAnnotation:
Cette thèse traite de l'étude d'un modèle mathématique de croissance tumorale métastatique et de ses éventuelles applications en clinique. Il y est développé en particulier une étude théorique et numérique des modèles présentés. La première partie du manuscrit traite de l'étude d'un modèle de croissance métastatique non traitée où il est introduit un nouvel outil in silico: l'Index Métastatique qui pourrait permettre de quantifier l'état métastatique métastatique d'un patient donné et qui pourrait ainsi venir renforcer les classifications tumorales déjà existantes. La deuxième partie traite de l'étude du modèle enrichi de manière à prendre en compte l'action d'un traitement par chimiothérapie. Il y est présenté une étude théorique et numérique du modèle modifié ainsi que des exemples de simulation visant à étudier l'évolution de l'index métastatique infléchi par l'action du traitement. La dernière partie de ce manuscrit est consacrée à l'étude des potentialités du modèle en termes d'applications cliniques. Il y est décrit en particulier une manière de rendre compte de la fiabilité du modèle en confrontant les simulations avec des résultats provenant d'une étude clinique. Enfin il est étudié quelques pistes pour raffiner la classification de l'état de la maladie d'un patient et de comment déterminer les traitements les plus efficaces afin de minimiser la survenue de récidives.
23
Verga, Federico Daniel. „Modélisation mathématique de processus métastatiques“. Aix-Marseille 1, 2010. http://www.theses.fr/2010AIX10140.
Der volle Inhalt der QuelleAnnotation:
Cette thèse traite de l'étude d'un modèle mathématique de croissance tumorale métastatique et de ses éventuelles applications en clinique. Il y est développé en particulier une étude théorique et numérique des modèles présentés. La première partie du manuscrit traite de l'étude d'un modèle de croissance métastatique non traitée où il est introduit un nouvel outil in silico: l'Index Métastatique qui pourrait permettre de quantifier l'état métastatique d'un patient donné et qui pourrait ainsi venir renforcer les classifications tumorales déja existantes. La deuxieme partie traite de l'étude du modèle enrichi de manière à prendre en compte l'action d'un traitement par chimiothérapie. Il y est présenté une étude théorique et numérique du modéle modifié ainsi que des exemples de simulation visant a étudier l'évolution de l'index métastatique infléchi par l'action du traitement. La dernière partie de ce manuscrit est consacrée a l'étude des potentialités du modèle en termes d'applications cliniques. Il y est décrit en particulier une manière de rendre compte de la fiabilité du modèle en confrontant les simulations avec des résultats provenant d'une étude clinique. Enfin il est étudié quelques pistes pour affiner la classification de l'état de la maladie d'un patient et de comment déterminer les traitements les plus efficaces afin de minimiser la survenue de récidivesThis thesis deals with the study of a mathematical model of growing metastatic tumors and its possible clinical applications. In particular, it is developed a theoretical and numerical study of the models. The first part of this manuscript is devoted to the study of a model of non treated metastatic growth where it is introduce a new in silico tool called Metastatic Index which could permit to quantify the metastatic staging of a given patient and could consequently improve the existing classifications of tumoral aggressiveness. The second part of this thesis deals with the study of the modified model in order to take into account a chemotherapy treatment. It is presented a theoretical and numerical study and some simulation examples aiming at studying the evolution of the metastatic index inflected by the action of the treatment. The last part of this manuscript is devoted to study the potentialities of the model concerning clinical applications. In particular it is described a way to establish in some manner the reliability of the model comparing some results of simulations with real clinical results. Finally, it is presented a possible way aiming at refining the classification of the metastatic staging of a patient and how to determine the more efficient treatments in order to minimize the occurrence of recurrences
24
Galvan, Montiel Damaris. „Modélisation du processus de conception : proposition d'un processus élémentaire“. Châtenay-Malabry, Ecole centrale de Paris, 2003. http://www.theses.fr/2003ECAP0919.
Der volle Inhalt der QuelleAnnotation:
La mesure de la performance peut dans certains cas ne pas être objective. C'est notamment le cas pour la performance liée à la capacité d'atteindre un futur, en milieu industriel c'est la mesure de l'efficacité et l'efficience d'un processus ou d'une partie du processus ou système (réel ou simulé). L'objectif de cette étude est la recherche d'une méthode d'aide au suivi de la performance dans le processus de conception, le plus près de l'acte élémentaire de transformation et le plus près des concepts définis dans ce rapport. Pour atteindre cet objectif, on se base sur la modélisation de l'activité élémentaire d'ingénierie et du processus élémentaire d'ingénierie de la conception. Dans un premier temps un "automate générique" est proposé pour analyser au niveau élémentaire les processus de conception. Est appelé ici "automate" le modèle composé par les cinq fonctions génériques (identifier, évaluer, gérer, agir et contrôler) identifiées dans les projets de conception analysés. L'automate générique, ou principal, est l'ensemble des actions nécessaires (fonctions génériques) réduites au niveau le plus élémentaire possible (changement d'un seul état d'une seule variable), pour arriver à la réalisation des fonctions de conception. L'automate est ici désigné comme l'activité élémentaire d'ingénierie. A chacune de ces activités élémentaires d'ingénierie, est associé un processus élémentaire de management (appelé processus élémentaire d'ingénierie) composé des opérations de management (décider, informer, réaliser et contrôler). Il permet que l'état initial d'une variable, avant son passage au travers de l'automate principal, soit défini comme une décision, une information ou une action. Parmi les différentes interactions possibles entre les cinq fonctions génériques, trois phases sont identifiées: une phase d'estimation (objectifs à atteindre), une phase d'engagement (compétences, ressources et/ou actions) et une phase de réalisation (l'élaboration, l'action).
25
Descharles, Mélanie. „Microcapteurs résonants et électroniques associées : modélisation conjointe et optimisation“. Phd thesis, Université Pierre et Marie Curie - Paris VI, 2011. http://tel.archives-ouvertes.fr/tel-00682582.
Der volle Inhalt der QuelleAnnotation:
Parmi les MEMS utilisés pour la navigation inertielle, on distingue les accéléromètres à poutre vibrante (Vibrating Beam Accelerometer : VBA) et les gyromètres vibrants à effet Coriolis (Coriolis Vibrating Gyro : CVG). L'ONERA développe un microgyromètre vibrant piézoélectrique à effet Coriolis appelé VIG (Vibrating Integrated Gyro). Ce gyromètre fait interagir des physiques multiples et couplées (mécanique, piézoélectricité thermique). Il est alors nécessaire d'identifier les différents phénomènes mis en jeu qui limitent les performances du système. Cette étude présente une modélisation du système, appuyée sur des campagnes de mesure (structure mécanique et architecture électronique), afin d'améliorer des performances telles que la résolution, le facteur d'échelle, et tout particulièrement la stabilité de biais. La démarche s'organise en trois étapes. Dans un premier temps, nous avons réalisé un modèle détaillé de la structure vibrante du VIG. Après une validation fonctionnelle du modèle, les aspects piézoélectriques ainsi que les couplages de la structure sont intégrés au modèle afin d'obtenir une description complète de la structure vibrante du capteur. Ensuite, nous avons modélisé l'électronique du capteur en insistant sur les amplificateurs de charges et l'erreur en quadrature du gyromètre. Enfin, la dernière partie présente une analyse des performances, réalisée à l'aide du modèle, et met en évidence le problème de la stabilité du biais en température. Ce dernier travail débouche sur le développement d'une solution technique d'amélioration de la stabilité de biais d'un facteur cinq par une compensation active des couplages.
26
Bendaou, Omar. „Caractérisation thermomécanique, modélisation et optimisation fiabiliste des packages électroniques“. Thesis, Normandie, 2017. http://www.theses.fr/2017NORMIR20/document.
Der volle Inhalt der QuelleAnnotation:
Lors du fonctionnement des packages électroniques, ceux ci sont exposés à diverses sollicitations d'ordres thermiques et mécaniques. De même, la combinaison de ces sources de contraintes constitue l'origine de la quasi majorité des défaillances des packages électroniques. Pour s'assurer de la bonne résistance des packages électroniques, les fabricants pratiquent des tests de fiabilité et des analyses de défaillance avant toute commercialisation. Toutefois, les essais expérimentaux, lors de la phase de conception et de l'élaboration des prototypes, s'avèrent contraignants en termes de temps et de ressources matérielles. En revanche, la simulation numérique à l'aide de la méthode des éléments finis constitue une option alternative en termes de temps et de ressources. Les objectifs dévolus aux travaux de recherche visent à élaborer quatre modèles éléments finis en 3D, validés/calibrés par des essais expérimentaux, intégrant les recommandations JEDEC (1) en vue de : - Procéder à la caractérisation thermique et thermomécanique des packages électroniques ; - Et prédire la durée de vie en fatigue thermique des joints de brasures et ce, en lieu et place de la caractérisation expérimentale normalisée. Or, la mise en œuvre des modèles éléments finis présente certains inconvénients liés aux incertitudes au niveau de la géométrie, des propriétés matériaux, les conditions aux limites ou les charges. Ceux ci ont une influence sur le comportement thermique et thermomécanique des systèmes électroniques. D'où la nécessité de formuler le problème en termes probabilistes et ce, dans le but de mener une étude de fiabilité et d’optimisation des packages électroniques. Pour remédier au temps de calcul énorme généré par les méthodes d’analyse de fiabilité classiques, nous avons développé des méthodologies spécifiques à cette problématique, via des méthodes d’approximation basées sur le krigeage avancé,qui nous ont permis de bâtir un modèle de substitution, qui rallie efficacité et précision. Par conséquent, une analyse de fiabilité a été menée avec exactitude et dans un temps extrêmement court, via les méthodes de simulation Monte Carlo et FORM/SORM, couplées avec le modèle de krigeage avancé. Ensuite, l’analyse de fiabilité a été associée dans le processus d’optimisation, en vue d’améliorer la performance et la fiabilité de la conception structurelle des packages électroniques. A la fin, nous avons procédé à l’applicabilité des dites méthodologies d’analyse de fiabilité aux quatre modèles éléments finis ainsi développés. Il résulte que les analyses de fiabilité menées se sont avérées très utiles pour prédire les effets des incertitudes liées aux propriétés matériaux. De même, l’analyse d’optimisation de fiabilité ainsi réalisée nous a permis d’améliorer la performance et la fiabilité de la conception structurelle des packages électroniques. (1) JEDEC (Joint Electron Device Engineering Council) est un organisme de normalisation des semi-conducteursDuring operation, electronic packages are exposed to various thermal and mechanical solicitations. These solicitations combined are the source for most of electronic package failures. To ensure electronic packages robustness, manufacturers perform reliability testing and failure analysis prior to any commercialization. However, experimental tests, during design phase and prototypes development, are known to be constraining in terms of time and material resources. This research aims to develop four finite element models in 3D, validated/calibrated by experimental tests, integrating JEDEC recommendations to : - Perform electronic packages thermal and thermomechanical characterization ; - Predict the thermal fatigue life of solder joints in place of the standardized experimental characterization.However, implementation of the finite element model has some disadvantages related to uncertainties at the geometry, material properties, boundary conditions or loads. These uncertainties influence thermal and electronic systems thermomechanical behavior. Hence the need to formulate the problem in probabilistic terms, in order to conduct a reliability study and a electronic packages reliability based design optimization.To remedy the enormous computation time generated by classical reliability analysis methods, we developed methodologies specific to this problem, using approximation methods based on advanced kriging, which allowed us to build a substitution model, combining efficiency and precision. Therefore reliability analysis can be performed accurately and in a very short time with Monte Carlo simulation (MCS) and FORM / SORM methods coupled with the advanced model of kriging. Reliability analysis was associated in the optimization process, to improve the performance and electronic packages structural design reliability. In the end, we applied the reliability analysis methodologies to the four finite element models developed. As a result, reliability analysis proved to be very useful in predicting uncertainties effects related to material properties. Similarly, reliability optimization analysis performed out has enabled us to improve the electronic packages structural design performance and reliability. In the end, we applied the reliability analysis methodologies to the four finite element models developed. As a result, reliability analysis proved to be very useful in predicting uncertainties effects related to material properties. Similarly, reliability optimization analysis performed out has enabled us to improve the electronic packages structural design performance and reliability
27
Lemoine, Aline. „Modélisation et régulation thermique d'un ensemble de composants électroniques“. Thèse, Université du Québec à Trois-Rivières, 2000. http://depot-e.uqtr.ca/3181/1/000667706.pdf.
Der volle Inhalt der Quelle
28
Le, Dang Huy. „Modélisation simplifiée des processus de laminage“. Phd thesis, Université Paris-Est, 2013. http://pastel.archives-ouvertes.fr/pastel-00966940.
Der volle Inhalt der QuelleAnnotation:
L'objectif initial de la thèse était de proposer une nouvelle modélisation simplifiée du laminage permettant un calcul rapide, si possible en temps réel, afin que le modèle soit éventuellement intégré à un outil de pilotage des machines de production. Ce modèle ne doit pas négliger les déformations élastiques afin de pouvoir être éventuellement appliqué à l'étude de phénomènes associés à la variation de largeur de la bande ou à des phénomènes de planéité. Il doit par ailleurs être assez ouvert pour que l'on puisse y intégrer éventuellement une description de la microstructure du matériau polycristallin et prendre en compte la déformation des cylindres de laminage. Pour atteindre cet objectif, nous avons proposé de tenter de construire un modèle simplifié semi-analytique du laminage. Dans ce type de modèle, le gradient de la transformation globale peut alors être décomposé multiplicativement en un produit d'une première transformation locale " plastique " , qui transforme le voisinage local initial de dans la configuration relâchée, par une seconde transformation locale " élastique " qui transforme la configuration relâchée dans la configuration actuelle . Cette décomposition est à la base de l'analyse thermodynamique de l'évolution mécanique lorsque le matériau subit de grandes transformations élastoplastiques, laquelle analyse fournit les concepts d'efforts intérieurs et de variables d'état nécessaires à l'écriture de ce comportement. Nous avons montré deux approches permettant le calcul analytique de ces champs lorsque l'histoire de est connue au voisinage d'une particule .Nous avons ensuite proposé l'étude d'une classe particulière d'évolutions élastoplastiques que nous avons appelées " simples radiales " et nous avons montré que les évolutions obéissaient à un principe de minimum énergétique. Nous avons enfin conjecturé que ce principe pouvait être étendu en régime permanant pour permettre de construire une modélisation simplifiée des processus de laminage
29
Zhang, Min. „Modélisation et analyse de processus biologiques dans des algèbres de processus“. Phd thesis, Université Paris-Diderot - Paris VII, 2007. http://tel.archives-ouvertes.fr/tel-00155301.
Der volle Inhalt der QuelleAnnotation:
Dans cette thèse, trois calculs de processus sont étudiés et appliqués à l'analyse de processus biologiques : une variante du π -calcul introduite ici, le Iπ-calcul; le κ-calcul de Danos et Laneve et sa variante à grain plus fin, le mκ-calcul; et les systèmes réactifs bigraphiques de Milner. Le manuscrit comporte trois parties. Dans la première partie, nous modélisons la transduction du signal, et plus spécifiquement le processus d'activation de la protéine "ras". On introduit une nouvelle extension du π-calcul, le Iπ-calcul, pour modéliser ce processus biologique en présence d'aberrance. Le calcul est obtenu en ajoutant deux actions aberrantes au Iπ-calcul. Le Iπ-calcul, quoique déjà assez expressif pour exprimer l'aberrance, peut être encore précisé par l'introduction d'informations supplémentaires dans la syntaxe, soit sous forme de "tags" soit sous forme de types. Les tags sont plus intuitifs, mais ils introduisent de la redondance, qui est éliminée dans la présentation de cette information sous forme de types. Nous montrons l'équivalence entre les deux espèces de décoration. Le système de types / tags présenté ici est très rudimentaire, mais notre espoir est de l'enrichir pour intégrer des paramètres quantitatifs tels que la température, la concentration, etc... dans la modélisation des processus biologiques.
Dans la seconde partie, nous abordons d'un point de vue formel la question de l'auto-assemblage dans le κ-calcul, un langage de description d'interactions protéine-protéine. Nous définissons un sous-ensemble de règles de calcul réversibles nous permettant d'assurer un codage sans blocage du calcul "à gros grain" (le κ-calcul) dans un calcul "à grain fin" (le mκ-calcul). Nous prouvons la correction de cette simulation de manière interne (à l'aide des règles réversibles), améliorant ainsi les résultats de Danos et Laneve.
Enfin, dans une partie plus prospective, nous suggérons comment l'on peut utiliser les bigraphes pour modéliser et analyser les processus biologiques. Nous montrons d'abord commment coder l'exemple "ras" dans ce formalisme. Puis nous indiquons sur un exemple comment l'on peut traduire le κ--calcul dans les bigraphes.
30
Iassamen, Nadia. „Modélisation et simulation des connexions intra et inter systèmes électroniques“. Phd thesis, Université de Bretagne occidentale - Brest, 2013. http://tel.archives-ouvertes.fr/tel-00965131.
Der volle Inhalt der QuelleAnnotation:
Les progrès constants en miniaturisation des transistors et l'augmentation des fréquences des signaux utilisés sont les principales tendances dans l'évolution des circuits électroniques. Avec ces évolutions apparaissent de nombreux effets indésirables qui perturbent le comportement des systèmes électroniques et sont soupçonnés d'être responsables de la majorité des dégradations de signaux dans les systèmes en haute fréquence. Des retards de propagation indésirables sont ainsi introduits par la présence des interconnexions, et la diaphonie, phénomène dû aux couplages entre lignes d'interconnexions, peut éventuellement provoquer des commutations non désirées des transistors. La prise en compte des interconnexions, dès les premières phases de conception d'un système, est par conséquent devenue une nécessité ces dernières années. Mais la simulation temporelle d'un réseau d'interconnexions est très gourmande en temps de calcul, ce qui impacte la durée globale de conception. Le remplacement des modèles électriques, décrivant précisément les interconnexions, par des modèles plus simples est primordial pour limiter les coûts de calcul. Une méthode de réduction d'ordre des modèles peut alors être employée pour effectuer cette opération efficacement. Le modèle final doit en effet décrire assez précisément certains aspects importants du modèle original et conserver les propriétés importantes du réseau d'interconnexions. Cette démarche permettra aux concepteurs d'effectuer des simulations temporelles rapides et d'étudier les paramètres d'intégrité du signal tel que le retard, le temps de montée, le dépassement....L'objectif de cette thèse est d'établir un nouvel outil de réduction de complexité des modèles de réseaux d'interconnexions. Différentes descriptions initiales des systèmes d'interconnexions sont envisagées : modèles circuits (fonctions de transfert) ou mesures fréquentielles. L'approche développée repose sur l'utilisation des fonctions orthogonales de Müntz-Laguerre et de Kautz afin de décrire mathématiquement, de manière précise, le système d'origine. Un opérateur linéaire, lié à ces fonctions de base, est ensuite appliqué pour déterminer un modèle rationnel de moindre complexité. La technique proposée est comparée à d'autres méthodes de la littérature d'abord sur des exemples académiques. Tout le potentiel de la méthode est ensuite illustré par sa mise en œuvre sur des réseaux d'interconnexions.
31
Skiba, Karima. „Modélisation de systèmes intégrés à base de composants électroniques virtuels“. Grenoble INPG, 2002. http://www.theses.fr/2002INPG0088.
Der volle Inhalt der QuelleAnnotation:
Cette thèse s'est interessée à un paradigme récent à savoir la conception collaborative, autour de l'intranet, des systèmes intégrés fondée sur l'utilisation d'IPs. Elle s'est intéressée en particulier à la gestion de données de conception d'IPs et de leur transfert autour de l'intranet. Il s'agit donc de proposer des méthodologies et des outils permettant de décrire, de modéliser, de valider, et d'échanger des fichiers de conception et de validation à différents niveaux d'abstraction. La première difficulté liée à l'utilisation des IPs est leur qualification. Une partie de cette thèse a été consacrée à une étude de systhèse sur les stratégies et les outils de validation. Le deuxième problème de la conception collaborative concerne la modélisation et l'échange des fichiers de conception et de validation d'IPs. La partie clé de cette thèse aborde ce sujet. Dans un premier temps une méthodologie de description de données descriptives d'IPs a été mise en place dans une description dite "description catalogue". Ensuite, une technique de modélisation d'IPS à partie de son flot de conception dite "profilage d'IPs" a été définie pour décrire et stocker ses fichiers de conception. Une modélisation hiérarchique de systèmes intégrés à base d'IPs est présentée. Elle assure une gestion de l'échange des données de conception d'IPs fondée sur représentation des répertoires des fichiers par une DTD (document type) XML. Ce travail a contribué aux travaux de VCT "Virtual Component Transfer de VSIA", du projet européen "TOOLIP de MEDEA+" et a mené à une proposition de standardisation. Ces deux dermières initiatives focalisant leurs efforts à la définition et à la réalisation des normes, des méthodes et des outils d'échange d'IPs.
32
Lacroix, Antoine. „Modélisation des propriétés électroniques et de transport des pérovskites hybrides“. Thesis, Université Grenoble Alpes, 2020. http://www.theses.fr/2020GRALY056.
Der volle Inhalt der QuelleAnnotation:
Les pérovskites halogénées sont des matériaux très prometteurs dans de nombreux domaines, allant du photovoltaïque à la détection des rayons X. Dans ce contexte nous cherchons à modéliser leur propriétés de structure électronique et de transport, et avons réalisé une étude de la pérovskite MAPbI3 (MAPI). Nous avons donc développé un modèle décrivant le désordre thermodynamique dans MAPI, et approchons le problème de la structure électronique et du transport de manière purement quantique. Ainsi nous déterminons l’impact du désordre sur la structure électronique et le gap semi-conducteur. Nous observons aussi que les phonons longitudinaux optiques limitent les mobilités à des valeurs d’environ 100cm^2/(V.s). De plus les effets de localisation sont forts, même dans les cas avec du désordre thermique uniquement. Dans certain cas avec un désordre supplémentaire, où la mobilité est inférieure à 30cm^2/(V.s), les porteurs de charges sont même pratiquement totalement localisé, mais cette localisation est brisée par la dynamique du réseau. Ce régime est différent des régimes usuels de diffusion de bande ou de diffusion par sauts thermiquement activésHalide perovskites are very promising materials in various domains, ranging from photovoltaic to X-ray detection. In this context, we aim to model their electronic structure and transport properties, and have made a study of the perovskite MAPbI3 (MAPI). We developed a model describing thermodynamical disorder in MAPI et we approach the problem of electronic structure and transport from a purely quantum point of view. We determined the impact of disorder on the electronic structure and the semi-conductor bandgap. We also observe that the optical longitudinal phonons limit the mobilities to values around 100cm^2/(V.s). Furthermore, quantum localisation effects are strong, even in cases with only thermal disorder. In some cases with additional disorder, where the mobility is below 30cm^2/(V.s), the charge carriers are almost totally localized, but this localisation is broken by the lattice’s dynamic. This regime is different from the usual regimes of band diffusion or diffusion via thermally activated hopping
33
Péan, Clarisse. „Modélisation des processus dynamiques dans les supercondensateurs“. Thesis, Paris 6, 2015. http://www.theses.fr/2015PA066243/document.
Der volle Inhalt der QuelleAnnotation:
Les supercondensateurs ou Condensateurs à Double-Couche Electrochimique sont des systèmes novateurs et prometteurs pour le stockage de l'énergie. La modélisation par la simulation numérique est l'outil principalement utilisé dans cette thèse pour étudier les supercondensateurs. La modélisation est complémentaire aux expériences, et les deux méthodologies sont autant que possible mises en regard. Dans un premier temps, une méthode permettant de calculer la capacité des électrodes poreuses modélisées à l'équilibre a été mise au point, afin de mesurer les performances des systèmes étudiés. Puis, des cycles de charge et de décharge, processus dynamiques correspondant à des situations hors-équilibre, ont été réalisés, sur des systèmes modèles variés : différentes structures d'électrodes nanoporeuses de carbone, en contact avec des électrolytes purs ou avec solvant, soumis à des différences de potentiel plus ou moins élevées. À partir des données obtenues, le mécanisme de charge des supercondensateurs a été identifié et décomposé en plusieurs étapes. L'influence de la structure du matériau, du solvant et de la valeur du potentiel a été analysée. Enfin, des simulations à l'équilibre ont permis d'étudier le transport des espèces de l'électrolyte dans les milieux poreux particuliers que sont les électrodes de carbone. Ce travail propose par conséquent une étude complète et cohérente des processus dynamiques dans les supercondensateursSupercapacitors or Electrical Double Layer Capacitors (EDLC) are an innovative and promising technology in the field of energy storage. Modeling via computer simulation is the main technique used in this work to study supercapacitors. This methodology is complementary to experiments, and comparisons are made. Firstly, a methodology allowing the calculation of capacitance for the modeled systems with porous electrodes has been developed. This enabled performance to be measured for these complex systems. Secondly, cycles of charging and discharging (out-of-equilibrium processes) have been realised on various model systems composed of different structures of carbon electrodes, in contact with either pure electrolytes or solvated ionic liquids, submitted to raised or lowered potential differences. From the data obtained, the charging mechanism of supercapacitors has been elucidated and decomposed in different steps. Furthermore, the influence of the structure of the material, the solvation, and the value of the potential has been analysed. Finally, equilibrium simulations were performed. This enabled the study of electrolyte species transport inside the porous carbon electrodes media. This work consequently provides a complete and consistent study of the dynamic processes in supercapacitors
34
Paredes, Moreno Daniel. „Modélisation stochastique de processus d'agrégation en chimie“. Thesis, Toulouse 3, 2017. http://www.theses.fr/2017TOU30368/document.
Der volle Inhalt der QuelleAnnotation:
Nous concentrons notre intérêt sur l'Équation du Bilan de la Population (PBE). Cette équation décrit l'évolution, au fil du temps, des systèmes de particules en fonction de sa fonction de densité en nombre (NDF) où des processus d'agrégation et de rupture sont impliqués. Dans la première partie, nous avons étudié la formation de groupes de particules et l'importance relative des variables dans la formation des ces groupes en utilisant les données dans (Vlieghe 2014) et des techniques exploratoires comme l'analyse en composantes principales, le partitionnement de données et l'analyse discriminante. Nous avons utilisé ce schéma d'analyse pour la population initiale de particules ainsi que pour les populations résultantes sous différentes conditions hydrodynamiques. La deuxième partie nous avons étudié l'utilisation de la PBE en fonction des moments standard de la NDF, et les méthodes en quadrature des moments (QMOM) et l'Extrapolation Minimale Généralisée (GME), afin de récupérer l'évolution, d'un ensemble fini de moments standard de la NDF. La méthode QMOM utilise une application de l'algorithme Produit- Différence et GME récupère une mesure discrète non-négative, étant donnée un ensemble fini de ses moments standard. Dans la troisième partie, nous avons proposé un schéma de discrétisation afin de trouver une approximation numérique de la solution de la PBE. Nous avons utilisé trois cas où la solution analytique est connue (Silva et al. 2011) afin de comparer la solution théorique à l'approximation trouvée avec le schéma de discrétisation. La dernière partie concerne l'estimation des paramètres impliqués dans la modélisation des processus d'agrégation et de rupture impliqués dans la PBE. Nous avons proposé une méthode pour estimer ces paramètres en utilisant l'approximation numérique trouvée, ainsi que le Filtre Étendu de Kalman. La méthode estime interactivement les paramètres à chaque instant du temps, en utilisant un estimateur de Moindres Carrés non-linéaireWe center our interest in the Population Balance Equation (PBE). This equation describes the time evolution of systems of colloidal particles in terms of its number density function (NDF) where processes of aggregation and breakage are involved. In the first part, we investigated the formation of groups of particles using the available variables and the relative importance of these variables in the formation of the groups. We use data in (Vlieghe 2014) and exploratory techniques like principal component analysis, cluster analysis and discriminant analysis. We used this scheme of analysis for the initial population of particles as well as in the resulting populations under different hydrodynamics conditions. In the second part we studied the use of the PBE in terms of the moments of the NDF, and the Quadrature Method of Moments (QMOM) and the Generalized Minimal Extrapolation (GME), in order to recover the time evolution of a finite set of standard moments of the NDF. The QMOM methods uses an application of the Product-Difference algorithm and GME recovers a discrete non-negative measure given a finite set of its standard moments. In the third part, we proposed an discretization scheme in order to find a numerical approximation to the solution of the PBE. We used three cases where the analytical solution is known (Silva et al. 2011) in order to compare the theoretical solution to the approximation found with the discretization scheme. In the last part, we proposed a method for estimate the parameters involved in the modelization of aggregation and breakage processes in PBE. The method uses the numerical approximation found, as well as the Extended Kalman Filter. The method estimates iteratively the parameters at each time, using an non- linear Least Square Estimator
35
Poirier, Agnès. „Modélisation des processus de transport actif hépatique“. Paris 5, 2009. http://www.theses.fr/2009PA05P614.
Der volle Inhalt der QuelleAnnotation:
Lors du développement du médicament, une approche mécanistique adaptée aux processus d’ADE (absorption, élimination, et disposition) incluant du transport actif est nécessaire pour analyser les données, prédire les profils PK, comprendre les différences inter-espèces, et expliquer les profils PK/PD. Ces dernières années, un très grand nombre de techniques et d’outils ont été développés dans le domaine des transports actifs ouvrant la voie à de nombreuses opportunités pour des mesures quantitatives et des corrélations des processus d’ADE incluant du transport actif. Pour cette thèse, la modélisation mécanistique des transports actifs des cellules à l’ensemble du corps s’est déroulée en 3 étapes majeures : - Premièrement, les expériences in vitro ont été optimisées, notamment les conditions expérimentales et les étapes de lavage, puis l’analyse des données brutes le fut également suivi de la validation de l’approche qui utilise une modélisation compartimentale pour estimer précisément les paramètres de transport actif et passif. - Puis, la corrélation in vitro-in vivo des paramètres de transport et leur incorporation dans un model PBPK de rat fut développé. L’élément clef fut l’extrapolation à l’in vivo des données de transport obtenues soit à partir d’hépatocytes isolés soit à partir de lignées cellulaires transfectées. - La prédiction à l’homme des processus d’ADE incluant du transport actif fut réalisée et validée en adaptant les modèles développés pour le rat tout en incorporant des données in vitro humainesIn drug development, mechanistically based approaches adapted to transport-mediated ADE (absorption, elimination and disposition) are needed to analyze data, to predict PK profiles, to understand species differences and to explain PK/PD profiles. In the past years, a considerable amount of new techniques and tools have been developed in the area of active transport opening new opportunities for quantitative measurements and correlations of transport-driven ADE. In this work, the mechanistic modeling of hepatic transport from cells to whole body has followed three main steps:- First, the in vitro experiments were optimized, including the experimental set up and the washing steps, followed by the resulting raw data analysis and validation using compartmental modeling to derive accurate, quantitative estimates of active and passive transport parameters. - Next, the in vitro-in vivo scaling of the obtained transport parameters and their incorporation in a whole body PBPK rat model was developed. Key was the scaling of transport data obtained either from isolated hepatocytes or from transfected cell systems to in vivo. - The prediction of transport-mediated ADE in man was realized and validated by refining the models developed for rat, incorporation of in vitro human input data
36
Allemand, Michel. „Modélisation fonctionnelle et preuve de circuits avec LP“. Aix-Marseille 1, 1995. http://www.theses.fr/1995AIX11015.
Der volle Inhalt der QuelleAnnotation:
Les methodes formelles presentent des potentialites interessantes dans le cadre de la verification de la correction des systemes digitaux. Cette these propose un systeme formel, le p-calcul, permettant une modelisation fonctionnelle des circuits orientee verification formelle. Des methodologies de preuves adaptees au demonstrateur utilise, le larch-prover (lp) ainsi qu'a cette modelisation sont decrites. Dans une premiere partie, nous definissons un langage type permettant de decrire les structures des circuits. Nous en donnons ensuite une interpretation dans un modele fonctionnel, qui represente les comportements associes. Les regles de transformations que nous avons proposees sous la forme d'un systeme de reecriture permettent l'obtention d'une forme normale pour les expressions du langage. On peut alors, entre autre, definir un procede de reconnaissance des circuits synchrones et donner un algorithme de construction des solutions des equations recursives decrivant les circuits avec boucles. Puis, les expressions du p-calcul sont traduites dans la syntaxe du larch-prover. Apres avoir construit une base de proprietes arithmetiques prouvees, nous proposons deux methodes pour verifier que l'implementation d'un circuit est correcte, selon que sa specification est une definition inductive ou une liste de proprietes, et dans ce dernier cas elle n'est pas forcement complete. Ces methodes sont appliquees a plusieurs circuits qui ont ete proposes, ces dernieres annees, dans la communaute internationale
37
Kessous, Loïc. „Contrôles gestuels bi-manuels de processus sonores“. Paris 8, 2004. http://www.theses.fr/2004PA082585.
Der volle Inhalt der Quelle
38
Fernandez-Lopez, Priscila. „Modélisation du rayonnement électromagnétique des dispositifs électroniques pour des applications CEM“. Phd thesis, Université de Rouen, 2011. http://tel.archives-ouvertes.fr/tel-00671272.
Der volle Inhalt der QuelleAnnotation:
Cette thèse effectuée au sein de l'IRSEEM s'inscrit dans le cadre du projet EPEA (EMC Platform for Embedded Applications) du pôle de compétitivité Aerospace Valley. L'objectif de ces travaux est le développement de méthodologies de modélisation des émissions rayonnées de composants électroniques. Les modèles doivent être génériques (i.e. applicable à toute sorte de composant), d'obtention facile et insérables dans des outils de simulation électromagnétique commerciaux. Un modèle capable de prédire les champs électrique et magnétique dans le demi-espace au-dessus d'un dispositif est développé dans un premier temps. Il est basé sur un réseau de sources équivalentes de type dipôles électrique et magnétique. Deux inversions de matrices au sens des moindres carrées permettent leur détermination. Le modèle est caractérisé en termes de robustesse vis-à-vis de perturbations dans les données d'entrée et est ensuite appliqué à plusieurs circuits (passifs et actifs) avec de bons résultats. L'insertion des modèles dans des simulateurs commerciaux est possible grâce à une réduction du nombre de sources. Ce modèle est ensuite utilisé pour deux applications CEM : tout d'abord, la prédiction du couplage entre un dispositif agresseur et une ligne de transmission par deux procédures différentes : une analytique et une seconde numérique, puis la prédiction des champs lointains. Finalement, une nouvelle méthode de modélisation pour recréer les champs électrique et magnétique dans l'espace entourant le dispositif est proposée et validée sur des cas simples.
39
Kim, Chang Hyun. „APPROCHE PHYSIQUE DE LA MODÉLISATION COMPACTE POUR LES COMPOSANTS ÉLECTRONIQUES ORGANIQUES“. Phd thesis, Ecole Polytechnique X, 2013. http://pastel.archives-ouvertes.fr/pastel-00844519.
Der volle Inhalt der QuelleAnnotation:
En dépit de progrès impressionnants dans les performances des dispositifs électroniques organiques, il n'existe toujours pas de modèle théorique complet pour décrire leur mode opératoire. Cette thèse se propose d'établir une description théorique opérationnelle pour ces dispositifs, avec en ligne de mire leur modélisation physique et compacte. Des exemples typiques de structure de diodes et de transistors organiques avec différentes architectures ont été étudiés, avec une attention constante pour présenter les effets du transport et de l'injection des porteurs de charge sur les caractéristiques observables des dispositifs. Une attention particulière est donnée à l'intégration de ces modèles dans des outils de simulation de circuit, mettant ainsi en relation le dispositif isolé et son intégration dans un circuit. Les différentes approches comprennent la modélisation de circuit par spectroscopie d'impédance, le développement analytique d'équations physiques, la simulation numérique bi-dimensionnelle par éléments finis et leur validation expérimentale. Les résultats apportent une compréhension significative des effets des pièges et de la barrière d'injection sur les caractéristiques courant-tension. Nous proposons des modèles compacts entièrement analytiques pour les diodes redresseuses et les transistors à effet de champ dont la fiabilité numérique et expérimentale est prouvée.
40
Bounouar, Mohamed Amine. „Transistors mono-électroniques double-grille : modélisation, conception & évaluation d'architectures logiques“. Thèse, Université de Sherbrooke, 2013. http://hdl.handle.net/11143/6117.
Der volle Inhalt der QuelleAnnotation:
Dans les années à venir, l'industrie de la microélectronique doit développer de nouvelles filières technologiques qui pourront devenir des successeurs ou des compléments de la technologie CMOS ultime. Parmi ces technologies émergentes relevant du domaine « Beyond CMOS », ce travail de recherche porte sur les transistors mono-électroniques (SET) dont le fonctionnement est basé sur la quantification de la charge électrique, le transport quantique et la répulsion Coulombienne. Les SETs doivent être étudiés à trois niveaux : composants, circuits et système. Ces nouveaux composants, utilisent à leur profit le phénomène dit de blocage de Coulomb permettant le transit des électrons de manière séquentielle, afin de contrôler très précisément le courant véhiculé. En effet, l'émergence du caractère granulaire de la charge électrique dans le transport des électrons par effet tunnel, permet d'envisager la réalisation de remplaçants potentiels des transistors ou de cellules mémoire à haute densité d'intégration, basse consommation. L'objectif principal de ce travail de thèse est d'explorer et d'évaluer le potentiel des transistors mono-électroniques double-grille métalliques (DG-SETs) pour les circuits logiques numériques. De ce fait, les travaux de recherches proposés sont divisés en trois parties : i) le développement des outils de simulation et tout particulièrement un modèle analytique de DG-SET ; ii) la conception de circuits numériques à base de DG-SETs dans une approche « cellules standards » ; et iii) l'exploration d'architectures logiques versatiles à base de DG-SETs en exploitant la double-grille du dispositif. Un modèle analytique pour les DG-SETs métalliques fonctionnant à température ambiante et au-delà est présenté. Ce modèle est basé sur des paramètres physiques et géométriques et implémenté en langage Verilog-A. Il est utilisable pour la conception de circuits analogiques ou numériques hybrides SET-CMOS. A l'aide de cet outil, nous avons conçu, simulé et évalué les performances de circuits logiques à base de DG-SETs afin de mettre en avant leur utilisation dans les futurs circuits ULSI. Une bibliothèque de cellules logiques, à base de DG-SETs, fonctionnant à haute température est présentée. Des résultats remarquables ont été atteints notamment en termes de consommation d'énergie. De plus, des architectures logiques telles que les blocs élémentaires pour le calcul (ALU, SRAM, etc.) ont été conçues entièrement à base de DG-SETs. La flexibilité offerte par la seconde grille du DG-SET a permis de concevoir une nouvelle famille de circuits logiques flexibles à base de portes de transmission. Une réduction du nombre de transistors par fonction et de consommation a été atteinte. Enfin, des analyses Monte-Carlo sont abordées afin de déterminer la robustesse des circuits logiques conçus à l'égard des dispersions technologiques.
41
Morel, Hervé. „Modélisation et simulation des composants et des systèmes électroniques de puissance“. Habilitation à diriger des recherches, INSA de Lyon, 1994. http://tel.archives-ouvertes.fr/tel-00731059.
Der volle Inhalt der QuelleAnnotation:
La modélisation des composants à semiconducteur est un grand classique. Dans ce travail, outre un rappel de l'état de l'art, la modélisation des composants à semiconducteur de puissance est abordée par l'approche des graphes de liens. Les graphes de liens fournissent une représentation unifiée de la dynamique des systèmes. Cette approche multiphysique impose une représentation explicite des transferts d'énergie qui confère à cette méthode une grande généricité. De plus l'analyse de causalité associée, permet de retrouver par exemple les règles d'association des composants de puissance, bien connue en électronique de puissance. La modélisation par graphe de liens des composants à semiconducteur repose ici sur l'analyse régionale très classique des composants à semiconducteur : les zones de charge d'espace et les zones neutres (en forte injection, en faible injection à dopage uniforme et en faible injection à gradient de dopage). Le mémoire se poursuit par la description succincte du simulateur PACTE (http://pacte.ampereforge.org ) qui a permis de simuler la diode PIN de puissance et le transistor bipolaire de puissance en réutilisant les mêmes modèles de région semiconductrice. Le mémoire se termine par quelques conclusions et prospective.
42
Gillon, Frédéric. „Modélisation et optimisation par plans d'expériences d'un moteur à commutations électroniques“. Lille 1, 1997. http://www.theses.fr/1997LIL10162.
Der volle Inhalt der QuelleAnnotation:
Les machines bdc (brushless direct current) apportent une solution intéressante pour la réalisation de ventilateurs industriels a courant continu. Ces machines présentent deux avantages décisifs : d'une part elles possèdent une durée de vie élevée, et d'autre part permettent l'ajout de nouvelles fonctionnalités grâce a l'utilisation de composants électroniques. Dans un premier temps, les principaux phénomènes agissant sur le fonctionnement de ces machines sont étudiés a partir de quelques formules analytiques simples. Ensuite, une modélisation plus fine mais également plus globale est réalisée a l'aide de la méthode des éléments finis. Tout d'abord, une modélisation tridimensionnelle statique met en évidence un phénomène bénéfique de concentration de flux au sein du stator. Ceci nous amène a définir un coefficient de concentration qui sera étudié en détails pour toute une gamme de moteurs. A partir de ces résultats, une modélisation éléments finis dynamique bidimensionnelle incluant un couplage magnétique, électrique, mécanique est réalisée afin d'obtenir un modèle fiable, robuste et malléable, soit un véritable prototype virtuel. Un tel modèle est absolument indispensable pour aborder toute optimisation significative. De plus, les effets tridimensionnels sont intégrés dans ce modèle plan par l'intermédiaire du coefficient de concentration précédemment établi. La méthode des plans d'expériences est présentée comme un outil d'aide a la conception et a l'optimisation. Cette méthode consiste a organiser la démarche expérimentale et l'analyse décisionnelle en appliquant des règles rigoureuses basées sur l'exploitation des propriétés algébriques et statistiques des matrices décrivant les expériences. En définitive, une démarche basée sur l'utilisation de la méthode des plans d'expériences est proposée pour aborder les problèmes d'optimisation. Une recherche des seuls paramètres influents est faite par l'intermédiaire des plans fractionnaires afin que seuls les facteurs les plus influents soient gardes lors de l'optimisation. Puis, une méthode directe d'optimisation par plans d'expériences successifs a été testée et comparée avec d'autres méthodes d'optimisation plus classiques. Grâce a ce travail, etri a pu acquérir certaines compétences dans les machines bdc et réaliser de nouveaux produits.
43
Fernandez, Lopez Priscila. „Modélisation du rayonnement électromagnétique des dispositifs électroniques pour des applications CEM“. Rouen, 2011. http://www.theses.fr/2011ROUES015.
Der volle Inhalt der QuelleAnnotation:
Cette thèse effectuée au sein de l’IRSEEM s’inscrit dans le cadre du projet EPEA (EMC Platform for Embedded Applications) du pôle de compétitivité Aerospace Valley. L’objectif de ces travaux est le développement de méthodologies de modélisation des émissions rayonnées de composants électroniques. Les modèles doivent être génériques (i. E. Applicable à toute sorte de composant), d’obtention facile et insérables dans des outils de simulation électromagnétique commerciaux. Un modèle capable de prédire les champs électrique et magnétique dans le demiespace au-dessus d’un dispositif est développé dans un premier temps. Il est basé sur un réseau de sources équivalentes de type dipôles électrique et magnétique. Deux inversions de matrices au sens des moindres carrées permettent leur détermination. Le modèle est caractérisé en termes de robustesse vis-à-vis de perturbations dans les données d’entrée et est ensuite appliqué à plusieurs circuits (passifs et actifs) avec de bons résultats. L’insertion des modèles dans des simulateurs commerciaux est possible grâce à une réduction du nombre de sources. Ce modèle est ensuite utilisé pour deux applications CEM : tout d’abord, la prédiction du couplage entre un dispositif agresseur et une ligne de transmission par deux procédures différentes : une analytique et une seconde numérique, puis la prédiction des champs lointains. Finalement, une nouvelle méthode de modélisation pour recréer les champs électrique et magnétique dans l’espace entourant le dispositif est proposée et validée sur des cas simplesThis thesis was performed in IRSEEM and it is under the EPEA project (EMC Platform for Embedded Applications) of Aerospace Valley cluster. Its objective is to develop models of the emissions radiated by electronic devices. These models must be generic (i. E. Applicable to any device), easy to obtain and insertable into commercial electromagnetic simulation tools. Firstly, a model capable to predict electric and magnetic fields in the half-space above a device is developed. It is based on a set of electric and magnetic dipole equivalent sources. Two matrix inversions using the least-square inverse method allow their determination. The model is applied to several circuits (passives and actives) with good results. The insertion of the models into commercial simulators is possible thanks to a reduction in the number of sources. This model is then used for two EMC applications. Firstly, the prediction of the coupling between an aggressor device and a transmission line by two different procedures: an analytical one and a numerical one, then the far-field prediction. Finally, another modelling method to recreate the electric and the magnetic fields in the space surrounding the device is proposed and validated on simple cases
44
Dubois-Coutte, Jocelyne. „Modélisation de céramiques électrostrictives pour transducteurs électroacoustiques“. Lille 1, 1998. https://pepite-depot.univ-lille.fr/LIBRE/Th_Num/1998/50376-1998-271.pdf.
Der volle Inhalt der QuelleAnnotation:
Depuis 1960, ce sont principalement les ceramiques piezoelectriques au titanozirconate de plomb (pzt) qui equipent la plupart des transducteurs electroacoustiques. Les besoins actuels de fortes puissances conduisent a l'emergence de nouveaux materiaux de transduction reposant sur la magnetostriction ou l'electrostriction. Les ceramiques electrostrictives de type perovskite au plomb (pb(mg#1#/#3nb#2#/#3)o#3) (pmn) produisent une deformation proportionnelle au carre de la polarisation. Ces ceramiques engendrent de grandes deformations (1/1 = 0. 1%) a des niveaux de champs electriques moderes et de faibles hysteresis. Elles sont susceptibles de delivrer une densite de puissance mecanique tres elevee et donc d'augmenter substantiellement les performances des transducteurs actuels. Cependant, elles sont encore peu industrialisees et leur mise en oeuvre est plus delicate que pour les ceramiques pzt. Pour pouvoir concevoir un transducteur electroacoustique a base de ceramiques electrostrictives, il est indispensable de connaitre le materiau de transduction et de disposer d'un outil de simulation efficace. L'objet de cette these est d'atteindre ces objectifs en apportant une contribution a l'analyse et a la modelisation non lineaire du phenomene d'electrostrictionDans un premier temps, ce travail incorpore de nouveaux outils de calcul dans le code atila. Des elements finis specifiques permettant la modelisation numerique de materiaux electrostrictifs sont valides experimentalement et/ou analytiquement en statique et en dynamique sur un barreau et/ou sur une sphere. Dans un second temps, ces developpements numeriques sont utilises pour concevoir, realiser et tester un transducteur prototype a 20 khz a base de ceramiques electrostrictives. Plusieurs resultats ont ete obtenus : l'obtention d'un coefficient du couplage equivalent a celui d'un transducteur piezoelectrique pour un meme volume de materiau actif et un meme encombrement ; une amplitude vibratoire normalisee en tension plus importante pour le transducteur electrostrictif a l'antiresonance
45
Labaigt, Gabriel. „Etude théorique de processus multi-électroniques au cours de collisions atomiques et moléculaires“. Thesis, Paris 6, 2014. http://www.theses.fr/2014PA066237/document.
Der volle Inhalt der QuelleAnnotation:
De façon générale, la physique des collisions concerne l'étude des phénomènes induits par l'interaction de particules en mouvement. En physicochimie moléculaire et en physique atomique, cadres dans lesquels s'inscrit cette thèse, les interactions mises en jeu sont coulombiennes et les partenaires de la collision sont des espèces atomiques ou moléculaires, neutres ou chargées. Celles-ci sont susceptibles de subir au cours de la collision des modifications importantes de leur cortège électronique, à la source même de processus secondaires variés présentant un grand intérêt, par exemple, dans la modélisation de systèmes complexes tels que les plasmas, les milieux astrophysiques ou biologiques. Notre étude s'appuie sur une description théorique semi-classique non-perturbative des processus multi-électroniques au cours de collisions atomiques et moléculaires, à des énergies telles que la vitesse relative des partenaires est comparable à celle de leur électrons de valence. Dans deux systèmes " benchmark " (H+ - Li , He - H2+), nous avons mis en évidence respectivement l'existence de couplages complexes entre voies de réaction impliquant les électrons internes et de valence du lithium et des phénomènes d'interférences et de diffraction d'ondes de matière. Nous avons également étudié des systèmes de collision plus complexes impliquant le carbone, en analysant tout particulièrement des phénomènes multi-électroniques (collisions C(+) - He) - hors approximation des électrons indépendants - et multi-centriques (collisions proton-graphène). Pour ce dernier système, les résultats obtenus ont permis de mettre en évidence les principes d'une nouvelle technique d'imagerie de matériaux 2DIn general, the Physics of collisions concerns the study of phenomena induced by the relative motion of interacting particles. In chemical physics and atomic physics, which are the area covered by this PhD, the interactions are Coulombic and the colliding partners are atoms or molecules which can be neutral or charged. During the collision, they are likely to undergo important modifications of their electronic environment, which can be the source of various secondary processes that are of great interest, for example, in the modelling of complex systems such as plasmas or astrophysical and biological media. Our study is based on a close-coupling semi-classical description of the multielectronic processes occurring in the course of atomic and molecular collision at impact energy such as the relative velocity of the partners are of the same order of magnitude than the classical velocity of their valence electrons. We have studied two ?benchmark? systems (H+ - Li , He ? H2+), for which we have respectively highlighted the existence of couplings between channels involving inner and outer-shell electrons of lithium, and, wave matter interferences and diffraction phenomena. We have also studied more complex colliding systems involving the carbon nucleus in analyzing multielectronic (C(+) ? He collisions) and multicentric (proton-graphene collisions) phenomena. For the latter system, the results obtained have allowed us to bring out the principles of a new two-dimensional material imaging technique
46
Ibaaz, Aicha. „Etude des processus bi-électroniques induits par impact d'ions sur des cibles atomiques“. Thesis, Paris 6, 2017. http://www.theses.fr/2017PA066360/document.
Der volle Inhalt der QuelleAnnotation:
La compréhension des processus électroniques engendrés au cours des collisions atomiques ou moléculaires est essentielle au niveau fondamental mais aussi en raison des besoins d’informations quantitatives sur ces processus de plusieurs domaines d’application, notamment la physique médicale et la physique des plasmas. Notre objectif est de fournir une meilleure description de ces processus. Dans le cadre de la thèse, nous avons modélisé les processus électroniques ayant lieu au cours des collisions entre des ions nus et l’atome d’hélium, Aq+-He (2≤q≤10). Cette étude est effectuée dans la gamme des énergies intermédiaires (0.25-625 keV/u) en adoptant le modèle semi-classique non perturbatif de close coupling. Un intérêt particulier est porté sur l’étude des processus de simple et de double capture vu leur grande importance dans cette gamme des vitesses. Plus précisément, nous avons analysé la double capture en détail, en séparant celle peuplant les états liés à celle qui concerne les états auto-ionisants. Cette dernière est particulièrement complexe à modéliser car elle nécessite une bonne description des états doublement excités (au-delà des deux premiers seuils d’ionisation dans notre cas), difficile à implémenter dans une approche dépendante du temps non perturbative comme la nôtre. En analysant les sections efficaces de ces deux processus pour l’ensemble des systèmes étudiés, et en les comparant systématiquement aux données expérimentales et théoriques existantes, nous avons pu extraire un comportement général reliant les processus électroniques les plus favorables à la charge et à la vitesse du projectile considéréeThe understanding of the electronic processes occurring during atomic and molecular collisions concerns the fundamental level but also the needs for quantitative information on these processes, requested by several fields of application, in particular medical physics and plasma physics. Our goal is to provide a better description of these processes. In the framework of the thesis, we have modelled the electronic processes taking place during the collisions between bare ions and the helium atom, Aq +-He (2≤q≤10). This study is carried out in the range of intermediate energies (0.25-625 keV/u), adopting the semi-classical non-perturbative close coupling approach. A particular interest is paid to the single and double capture processes because of their great importance in this energy range. More precisely, we have analysed the double capture processes, splitting the contributions of double capture to bound states and to auto-ionizing states. This latter is particularly complex to describe since it requires a good description of doubly-excited states (beyond the two first thresholds in our study), difficult to implement in time-dependent coupled-channel approaches as ours. By analysing the cross sections of these two processes for all the systems studied and comparing them to available experimental and theoretical data, we were able to extract a general behaviour linking the most favourable electronic processes to the projectile charge and velocity
47
Herrero, Moreno Christian. „Modélisation de Processus Photo induits du Photosystem II“. Phd thesis, Université Paris Sud - Paris XI, 2007. http://tel.archives-ouvertes.fr/tel-00364271.
Der volle Inhalt der QuelleAnnotation:
La photosynthèse est un processus biologique naturel qui convertit l'énergie lumineuse en énergie chimique par l'action de centres réactionnels photosynthétiques. L'énergie convertie est stockée sous forme de produits de haute énergie synthétisés par la branche réductive du processus photosynthétique. Les électrons nécessaires à ces réactions sont fournis par des molécules d'eau lors de leur oxydation par le centre de dégagement de l'oxygène (Oxygen Evolving Complex: OEC) pour le système de photosynthèse II (PSII). La photosynthèse artificielle cherche à reproduire les réactions qui se produisent dans les organismes naturels afin de i) de mieux comprendre les processus chimiques qui se déroulent dans les systèmes naturels, et ii) de parvenir à exploiter l'énergie solaire pour le développement de carburants propres et renouvelables. Chaque étape qui survient dans le processus de photosynthèse naturelle, telle que la capture de lumière, le transfert d'énergie, le transfert d'électron, la séparation de charge, l'activation du catalyseur et la réaction catalytique doit se produire au sein du système artificiel. La photosynthèse artificielle cherche à reproduire les réactions qui se produisent dans les organismes naturels afin de i) de mieux comprendre les processus chimiques qui se déroulent dans les systèmes naturels, et ii) de parvenir à exploiter l'énergie solaire pour le développement de carburants propres et renouvelables. Chaque étape qui survient dans le processus de photosynthèse naturelle, telle que la capture de lumière, le transfert d'énergie, le transfert d'électron, la séparation de charge, l'activation du catalyseur et la réaction catalytique doit se produire au sein du système artificiel. Avec ces concepts en vue, nous avons conçu, synthétisé et caractérisé des molécules qui imitent les réactions réalisées par les antennes et les centres réactionnels présents dans le photosystème II. Ces molécules sont capables de reproduire la séparation de charges induite par la lumière, le transfert d'électrons et l'accumulation d'équivalents oxydo-réducteurs observés pendant la photosynthèse naturelle. Les antennes artificielles se constituent de caroténoïdes et phthalocyanines. Ces molécules présentent des profiles d'absorption large avec des coefficients d'extinction élevés, et sont capables de supporter des transferts d'énergie ultra rapides qui permettent l'état de séparation de charges. En faisant varier la longueur de la chaine conjuguée des caroténoïdes de neuf à onze liaisons doubles, nous avons pu mettre en évidence comment ces molécules peuvent agir aussi bien comme donneurs que comme agents dissipateurs d'énergie, effet caractéristique qui s'apparente au processus de trempe non-photochimique (Non Photochemical Quenching: NPQ) qui se produit dans le cycle de la zéaxanthine. Les mimiques des agents donneurs du photosystème II ont aussi été étudiées. Ces systèmes supramoléculaires contiennent une partie photoactive liée de façon covalente par un intermédiaire à une cavité contenant un ion ou un agrégat d'ions métalliques. La photosensibilisateur utilisé est un complexe du ruthénium [Ru(bipy)3]2+ (bpy = 2,20-bipyridine), homologue du P680, qui absorbe la lumière dans le spectre visible et déclenche le transfert d'électron. Les espèces RuIII résultantes ont un potentiel d'oxydation réversible de 1.3 V vs SCE, comparables à celui de P680 (1.25 V vs NHE) et présentent donc la possibilité d'oxyder à la fois un complexe manganèse ainsi qu'une source d'électron. Concernant les molécules imitant le coté donneur du PSII, nous avons synthétisé des paires ruthénium-phénol, ainsi que des systèmes ruthénium-manganèse bimétalliques. Parmi ces dernières, nous avons étudié celles présentant des cavités de coordination constituées de terpyridines, vu qu'il a déjà été montré que les dimères Mn-di-μ-oxo-Mn de ce type peuvent catalyser l'oxydation de l'eau en oxygène moléculaire. Des salènes et salophènes ont aussi été examinés étant donné que de tels groupes peuvent accomplir l'oxydation à deux électrons de substrats organique. Dans la littérature, ces réactions sont toutes conduites par l'action d'oxydants chimiques externes, tandis que nous avons pour but d'utiliser des espèces oxydantes induites par l'action de la lumière.
48
Puig, Bénédicte. „Modélisation et simulation de processus stochastiques non gaussiens“. Phd thesis, Université Pierre et Marie Curie - Paris VI, 2003. http://tel.archives-ouvertes.fr/tel-00003526.
Der volle Inhalt der QuelleAnnotation:
L'objet de ce travail de recherche est de construire un modèle approché en vue de simuler les trajectoires d'un processus stochastique non gaussien strictement stationnaire sous la seule donnée (incomplète) de sa loi marginale d'ordre un, ou des N premiers moments de cette loi, et de sa fonction d'autocorrélation. La méthode de simulation développée au cours de cette thèse s'appuie sur deux méthodes bien connues de simulation de processus gaussiens : la méthode spectrale et la markovianisation. D'autre part, si seuls les N premiers moments de la loi marginale sont donnés, le principe de maximum d'entropie est utilisé pour choisir cette loi. A partir de la loi marginale est construite une transformation non linéaire qui est ensuite projetée sur la base des polynomes d'Hermite. Le modèle construit consiste donc en une transformation polynomiale d'un processus gaussien stationnaire standard dont la fonction d'autocorrélation est déterminée à l'aide d'un problème de minimisation. Cette méthode de simulation est mise en oeuvre dans des exemples numériques inspirés de l'ingénierie mécanique. Enfin, les convergences en moyenne quadratique et presque-sure du modèle ont été étudiées.
49
Rasoloarijaona, Félix. „Modélisation coopérative des processus organisationnels grâce aux collecticiels“. Grenoble 2, 2002. http://www.theses.fr/2002GRE21006.
Der volle Inhalt der QuelleAnnotation:
La recherche permanente d'une meilleure flexibilité et d'une plus grande réactivité pousse les entreprises à réfléchir sur le fonctionnement et l'organisation de leur processus. L'outil de base d'une telle réflexion est la modélisation de ceux-ci pour pouvoir déceler les opportunités d'amélioration. Toutefois, les techniques et méthodes de modélisation de processus organisationnels, qui étaient développées n'étaient pas mises en oeuvre par les outils informatiques collectifs, comme les collecticiels. Et pourtant, la modélisation des processus organisationnels fait appel à la participation du plus grand nombre possible de personnes (analystes et non-analystes). Par conséquent, nous nous sommes intéressés à connaître, dans cette thèse, l'impact de l'utilisation des collecticiels sur les groupes effectuant la modélisation coopérative des processus organisationnels.
50
Descorps-Declere, Stéphane. „Modélisation du processus d'annotation par une architecture blackboard“. Paris 6, 2006. http://www.theses.fr/2006PA066165.
Der volle Inhalt der QuelleAnnotation:
Devant la multiplication des projets de séquençage de génomes complets, il est aujourd’hui essentiel de disposer d’outils informatiques performants capables d'aider l’utilisateur biologiste vers un meilleur usage des méthodes d’analyses. Ceci s’avère particulièrement important en raison des très nombreuses méthodes d’analyse disponibles ainsi que des grandes quantités de données concernées. Ce travail vise à apporter une contribution à cette problématique, par l’élaboration d’un modèle bio-informatique adapté à l’annotation de génomes complets. Avec l’étude de l’état de l’art, nous avons dégagé l’existence de deux approches différentes pour modéliser le processus d'annotation. Cette constatation nous a permis, dans un premier temps, de re-formaliser la démarche d’annotation de séquences génomiques. Puis, dans un second temps, de proposer une nouvelle architecture logicielle adéquate afin de traiter la question ainsi reformulée : l’architecture blackboardBecause of the huge increase in sequencing projects of complete genomes, it is essential today to have powerful computer softwares able to help biologists towards a better use of analysis methods. This is particularly important because there exists many methods of analysis as well as a great amount of data. In order to solve this issue, we propose in this thesis to develop of a new bioinformatic model suitable for the annotation of complete genomes. From studying the "state of the art", we concluded that we could approach the modelisation of the annotation process of two different ways. This enabled us to propose a new model based on this analysis. We then decided to re-formalize the annotation process; it gave us the opportunity to propose an adequate software architecture in order to handle the process thus reformulated. The thesis is then a double contribution : it is both a modelisation of the annotation process, and a technical proposal based on a blackboard architecture