1028 research outputs found
Sort by
Approche multi-modèle pour les Systèmes à Evènements Discrets : application à la gestion des modes de fonctionnement
No full textLes travaux présentés dans ce mémoire portent sur la gestion des modes de fonctionnement des SED. Notre contribution se base sur la théorie de contrôle par supervision. Notre objectif est d\u27enrichir cette théorie par des mécanismes permettant l\u27étude des modes de fonctionnement tout en gardant des modèles de taille raisonnable. Nous proposons une approche, dite multi-modèle, qui permet de présenter les SED évoluant dans différents modes de fonctionnement par un ensemble de modèles simples décrivant chacun le comportement du système dans un mode donné. L\u27alternance de modes est assurée par un mécanisme de suivi de l\u27évolution des procédés qui permet de déterminer les états à partir desquels un " raccordement " fonctionnel est permis. Ensuite, nous montrons l\u27unicité du superviseur de mode. Cette unicité permet d\u27associer à chacun des modèles des procédés un modèle unique de spécification. Comme les modèles des procédés, ces modèles de spécification sont soumis à un mécanisme de commutation : ils doivent être activés depuis un état permanent d\u27ajuster la nouvelle dynamique du procédé avec les actions de contrôle à mener. Dans le dernier chapitre, un exemple nous permet de montrer l\u27applicabilité de notre approche
Limite d\u27endurance et durée de vie en fatigue de roulement du 32CrMoV13 nitruré en présence d\u27indentations
No full textCe travail est consacré à l\u27étude des mécanismes d\u27endommagement du 32CrMoV13 nitruré sollicité en fatigue de roulement en présence d\u27indentations. Dans un premier temps, nous avons développé un code de contact élastoplastique semi-analytique permettant la prise en compte d\u27un chargement roulant. Ce code, nécessaire à la simulation du rodage des indents, a été validé en comparant ses résultats avec des simulations réalisées avec le logiciel d\u27éléments finis ABAQUS et avec des résultats expérimentaux. Dans une seconde étape, nous avons mis au point une méthode de mesure locale de micro-limite d\u27élasticité par nano-indentation en tenant compte de la présence éventuelle de contraintes résiduelles. Nous l\u27avons alors appliquée à la mesure du profil de micro-limite d\u27élasticité du 32CrMoV13 nitruré. Nous avons également mis en lumière l\u27influence de la géométrie des pièces nitrurées sur les contraintes résiduelles de nitruration. Dans une troisième étape, nous avons étudié le comportement expérimental du 32CrMoV13 nitruré sollicité en fatigue de roulement en présence d\u27indentation. Nous avons alors pu mettre en évidence le rôle prépondérant du glissement et nous avons identifié deux zones d\u27initiation de l\u27endommagement. Enfin, nous avons analysé le processus d\u27indentation et le passage du corps roulant sur l\u27indent. Nous avons alors pu déterminer quels indents dépassent la limite d\u27endurance et sont susceptibles de s\u27endommager, classer les indents selon leur dangerosité relative et comparer les qualités relatives du 32CrMoV13 nitruré et du M50 quant à la tenue à la fatigue de roulement en présence d\u27indentation
Caractérisation et phylogénie des bactéries symbiotiques intracellulaires des charaçons de la famille des Dryophthoridae
No full textCe travail présente une analyse histologique et moléculaire de la symbiose intracellulaire très répandue chez les Dryophthoridae. Les endocytobiotes se regroupent en trois clades distincts appartenant aux gamma-Protéobactéries. Le nom de genre Candidatus Nardonella a été proposé pour le clade montrant un fort biais AT et ayant vraisemblablement infecté l\u27ancêtre des Dryophthoridae, il y a 100 MA. Les deux autres clades montrent des taux de GC beaucoup plus élevés et sont vraisemblablement issus de remplacements plus récents. L\u27origine " pathogénique " de la symbiose chez les Sitophilus est soutenue par l\u27étroite parenté de leurs endocytobiotes (SOPE) avec Sodalis (endocytobiotes des glossines). L\u27étude comparative de leur génome (par macroarry), a permis d\u27appréhender l\u27évolution des génomes intracellulaires en réponse à des pressions sélectives différentes
Réponse d\u27une communauté périphytique à un effluent complexe : études en bio-essais et en canaux artificiels
No full textDes bio-essais et des essais en canaux artificiels ont été développés pour évaluer les effets d\u27un effluent industriel riche en chlorures sur les communautés périphytiques lotiques. Les effets biologiques sont suivis à l\u27échelle de la communauté périphytique globale (biomasse), de la communauté algale (biomasse, activité photosynthètique) et de la communauté bactérienne (composition, activités enzymatiques). Cette étude montre l\u27intérêt du périphyton comme marqueur biologique et met en évidence l\u27influence du facteur saisonnier sur la sensibilité de cette communauté. Les résultats montrent que les variables aux activités enzymatiques et à la composition de la communauté bactérienne sont plus favorables à la distinction des différents traitements (variation de la concentration en effluent) que les variables de structure globale. Enfin, il apparaît que l\u27utilisation de la DGGE (Denaturating Gradient Gel Electrophoresis) pour déterminer la composition bactérienne est une technique tout à fait intéressante dans le cadre de l\u27évaluation des risques
Interaction d\u27une onde ultrasonore de haute intensité dans les tissus biologiques en présence de bulles : application au traitement de l\u27insuffisance veineuse superficielle
No full textLe sujet de cette thèse s\u27inscrit dans le domaine des effets biologiques des ultrasons de haute intensité (HIFU). Une nouvelle théorie pour prédire les effets des HIFU dans les tissus est développée ainsi qu\u27une nouvelle application thérapeutique visant le traitement de l\u27insuffisance veineuse superficielle (IVS). La théorie de l\u27acoustique non linéaire est utilisée comme base pour décrire les effets des HIFU dans les tissus, en particulier les effets dus à la présence des bulles de cavitation. Une méthode de calcul du champ acoustique adaptée pour les sources HIFU est développée. Un modèle de prédiction de la formation de lésions biologiques par un champ HIFU est présenté où le rôle des bulles dans la formation de cette lésion est considéré. Les résultats de ce modèle sont confrontés à des résultats expérimentaux rassemblés dans la littérature. Une étude est menée sur l\u27utilisation des effets thermiques induits par des HIFU dans le traitement de l\u27IVS. Dans la plupart des cas, l\u27IVS a pour origine un dysfonctionnement des valvules de la veine saphène externe qui sont censées empêcher le reflux sanguin vers le système veineux superficiel. Deux approches de traitement de l\u27IVS avec les HIFU ont été développées : l\u27occlusion définitive de la veine et la correction du dysfonctionnement valvulaire. Des expériences in vitro pour chacune des deux approches sont présentées et discutées
Simulation, fabrication et analyse de cellules photovoltaïques à contacts arrières interdigités
No full textLénergie solaire est la source dénergie la plus prometteuse et la plus puissante parmi les énergies renouvelables. Lélectricité photovoltaïque (PV) est obtenue par transformation directe de la lumière du soleil en électricité, au moyen de cellules PV. L\u27objectif de ce travail est de développer des cellules PV à contacts arrières interdigités. Dans le premier chapitre, nous rappelons le principe de fonctionnement et les paramètres principaux d\u27une cellule PV. Dans une deuxième partie, nous expliquons les spécificités des cellules PV à contacts arrières interdigités, ainsi que les avantages et les inconvénients de telles cellules. Dans le second chapitre nous étudions le fonctionnement de cellules PV à contacts arrières interdigités par la simulation numérique dans le but doptimiser la géométrie et les profils de dopage de la cellule. Le logiciel ISE 8.5 nous permet deffectuer la simulation numérique en deux dimensions et détudier linfluence des divers paramètres sur la caractéristique courant-tension sous éclairement de la cellule. Dans un premier temps, nous présentons le principe de la simulation numérique et les modèles physiques utilisés. Dans la deuxième partie de ce chapitre, en faisant varier les paramètres dune cellule de référence, nous analysons les résultats de la simulation. Les résultats obtenus nous permettent de tirer les conclusions concernant la structure optimale de la cellule. Le troisième chapitre concerne les techniques, les méthodes et les dispositifs de caractérisation des composant photovoltaïques : I V sous obscurité et sous éclairement, réponse spectrale, LBIC, réflectivité, thermographie infrarouge, mesures de durée de vie, etcDans le quatrième chapitre nous aborderons lélaboration des cellules photovoltaïques à contacts interdigités. Trois procédés technologiques sont mis en uvre dans le but de développer une technologie simple pour lélaboration des cellules avec un bon rendement. En particulier, nous développons le procédé auto aligné, qui nous permet de réaliser des cellules photovoltaïques à contacts arrières interdigités en utilisant une seule étape de lithographie. Les cellules photovoltaïques à contacts arrières interdigités étant très sensibles à la recombinaison en surface, le chapitre cinq est consacré à la passivation de la surface du silicium. Dans ce chapitre nous examinons diverses approches pour réduire la recombinaison en surface : oxyde de silicium, nitrure de silicium déposé par UVCVD, recuit sous hydrogène, variation de la barrière de potentiel à la surface par incorporation de charges dans SiO2 ou par création dune zone de charge despace dune structure MIS, création dune couche mince de silicium poreux
Modélisation sémantique de la réglementation
No full textPour certaines organisations, les textes réglementaires constituent une matière première spécifique. Afin d\u27en améliorer la maîtrise, nous proposons d\u27en fonder la gestion sur la représentation des connaissances formulées. Pour cela, nous introduisons le système primitif des G-Frames, dérivant à la fois des langages de frames et des Graphes Conceptuels. Celui-ci offre des structures et des mécanismes génériques, applicables à nombre de domaines. Afin d\u27accorder le modèle aux spécificités des domaines juridiques, une extension ontologique est définie à partir des travaux de conceptualisation de Valente et de van Kralingen. Celle-ci peut soutenir de multiples formes de raisonnement. Dans le cadre de nos travaux, nous attachons à la détection des incohérences au sein d\u27une base de normes, ainsi qu\u27à l\u27application des systèmes normatifs aux situations du monde réel. Les inférences déroulées peuvent alors être projetées sur les fragments documentaires grâce à un dispositif nommé correspondance représentationnelle. L\u27ensemble de ces propositions a été validé par la mise en place de la plate-forme LKDM
Modélisation thermique des composants magnétiques utilisés en électronique de puissance
No full textL\u27objectif de notre travail concerne le développement de modèles thermiques capables d\u27estimer la température de fonctionnement des composants magnétiques utilisés en électronique de puissance à partir des pertes joule et fer. Ce travail s\u27inscrit dans une problématique plus générale de développement d\u27outils pour la simulation et la conception des convertisseurs en électronique de puissance. Après avoir préciser le cahier des charges du modèle recherché, l\u27état de l\u27art concernant la modélisation thermique de ces composants nous avons retenue la méthode nodale. Pour valider notre démarche, nous comparons résultats de simulation et résultats expérimentaux, il s\u27agit là d\u27un aspect essentiel de notre démarche. Pour atteindre cet objectif, un banc de caractérisation thermique a été développé. Nous montrons que l\u27approche retenue permet de modéliser avec une précision acceptable les comportements statique et dynamique des composants magnétiques tout en conservant une grande simplicité au modèle
Système intégré pour la modélisation, l\u27échange et le partage des données de produits
No full textDans le contexte d\u27Ingénierie Simultanée et d\u27Entreprise Virtuelle, un grand nombre d\u27informations sont utilisées et manipulées. L\u27exploitation de ces données pose des problèmes de communication tels que l\u27accès, l\u27échange et le partage d\u27informations entre des sites distants et entre des systèmes hétérogènes bien souvent incompatibles. Pour y répondre le projet STEP a été introduit. L\u27objectif de STEP est de définir une représentation non ambiguë des données de produit, interprétable par tout système informatique, et couvrant un très vaste domaine de connaissances. Cependant les acteurs travaillant simultanément au développement d\u27un produit sont nombreux et de spécialités très différentes : Concepteurs, Fabricants, Clients, Marketing, etc. Les points de vue qu\u27ils portent sur le même produit sont également très différents. Malheureusement les modèles STEP ne permettent pas de prendre en compte cette notion de point de vue. Ainsi, le travail présenté dans cette thèse a pour objectif de mettre en place un cadre méthodologique pour la représentation des points de vue des acteurs de la conception et de la fabrication à différents niveaux d\u27abstraction. Une infrastructure informatique pour la modélisation, l\u27échange et le partage des données de produit est également proposée
Modélisation multiparadigme de textes réglementaires
No full textL\u27objectif de cette thèse est de concevoir un modèle capable de représenter les textes législatifs et réglementaires en vue de leur manipulation par une organisation dont les textes réglementaires constituent une matière première. La maintenance coordonnée et cohérente de l\u27ensemble des objets réglementaires (textes et règles de systèmes experts) est l\u27enjeu principal de notre étude. La Caisse Nationale d\u27Allocations Familiales (Cnaf) a servi de cadre à ces travaux de recherche. Nous analysons tout d\u27abord les flux de textes, de l\u27Assemblée Nationale aux utilisateurs finaux, et nous mettons en évidence les spécificités de ces textes. Nous proposons un méta-modèle permettant de représenter de manière générale des modélisations de la sémantique pour les documents. Après avoir choisi les normes SGML et HyTime, nous proposons un paradigme logique défini par une modélisation logique de textes réglementaires utilisant les spécificités de ces textes. Nous proposons également un paradigme indexation et recherche d\u27information prenant en compte la sémantique des informations qui y sont contenues. Afin de répondre au besoin de maintenance coordonnée de l\u27ensemble des objets réglementaires, nous proposons ensuite un paradigme sémantique défini par une modélisation sémantique (utilisant SGML et HyTime) basée sur les théories du droit. Cette modélisation permet de repérer à l\u27intérieur des textes les règles de systèmes experts qui sont touchées par des évolutions législatives. Nous synthétisons enfin l\u27ensemble dans une modélisation multiparadigme de textes réglementaires