Dissertations / Theses on the topic 'Système à plusieurs composants'
To see the other types of publications on this topic, follow the link: Système à plusieurs composants.
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 dissertations / theses for your research on the topic 'Système à plusieurs composants.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.
1
Dieulle, Laurence. "Fiabilité d'un système de plusieurs groupes de composants avec maintenance à des instants aléatoires." Université de Marne-la-Vallée, 1999. http://www.theses.fr/1999MARN0045.
Abstract:
De nombreux systemes sont soumis a des inspections preventives afin de detecter et de reparer les degradations qu'ils subissent et qui ne sont pas visibles. Un mauvais fonctionnement du systeme ayant des repercutions financieres importantes, il est capital d'en detecter rapidement les defaillances pour les reparer. Il faut alors determiner le rythme d'inspection suffisant a maintenir le systeme dans un etat satisfaisant sans que le cout de ces inspections ne depasse un seuil fixe. Dans cette these, nous etudions un systeme de composants soumis a des inspections a des instants aleatoires predetermines. Le modele etudie distingue les composants du systeme selon qu'ils sont inspectes a chacun de ces instants ou seulement a des multiples de ces instants. La premiere partie est consacree au calcul de la fonction de fiabilite et de la duree moyenne de bon fonctionnement a partir des donnees du systeme. Nous proposons egalement quelques exemples. La deuxieme partie est l'etude de la disponibilite du systeme a partir des donnees du systeme. Nous proposons le calcul de la disponibilite pour les exemples vus dans la premiere partie. Dans la troisieme partie, nous etudions le comportement asymptotique de la fiabilite et nous identifions de la meme maniere le taux de defaillance asymptotique du systeme. Enfin, nous montrons que la disponibilite tend vers une limite finie et nous identifions cette limite. Dans la quatrieme partie, nous nous ramenons a un systeme nbu et nous montrons de la meme maniere que precedemment que le taux de defaillance asymptotique est alors le meme que celui du systeme precedent. Enfin, la cinquieme partie est consacree a l'optimisation de la politique de maintenance
2
Chachoua, Elie. "Théories de l'élasticité pour l'astrophysique et la cosmologie." Paris 6, 2006. http://www.theses.fr/2006PA066637.
Abstract:
Dans cette thèse, nous abordons certains des aspects de la théorie de l’élasticité lorsqu’elle est appliquée en astrophysique et en cosmologie. La première partie du manuscrit traite de l’astrophysique, et plus particulièrement de la croûte interne d’une étoile à neutrons. Cette partie est dédiée à la description de systèmes composés d’un solide dans lequel baigne un mélange de n fluides. Après une courte introduction, nous présentons le cadre théorique sur lequel notre formalisme est basé. A des fins pédagogiques, nous procédons ensuite à la construction d’un principe variationel pour un système constitué d’un solide parfaitement élastique, sans -puis avec inclusiond’un champ magnétique. Nous généralisons ensuite la théorie afin de pouvoir modéliser un système à plusieurs composantes. Nous concentrant sur le cas astrophysique d’un mélange de type solide-superfluide, nous montrons comment l’application stricte d’un principe variationel peut etre modifiée à moindre coûts pour décrire quatre types de modèles conservatifs, de même que dissipatifs. La seconde partie de ce manuscrit est dédiée à l’application du cas du solide parfaitement élastique dans le cadre de la cosmologie, et plus particulièrement pour l’interprétation de l’énergie noire en tant que solide de défauts topologiques- un idée originellement introduite par Bucher et Spergel. Nous éfféctuons une analyse de la stabilité d’un tel système en calculant les modules de rigidité dans le cas de solides isotropes et généralisons au cas de la symmétrie cubique. Enfin, nous mentionons de récents résultats obtenus par Carter sur des théories microscopiques qui pourraient donner lieu aux configurations macroscopiques de type solide envisagées par Bucher et SpergelIn this thesis, we treat some of the aspects of Elasticity theory in the context of astrophysics and cosmology. The first part of the manuscript is concerned with astrophysics, and more specifically with the internal part of a neutron star’s crust. It is dedicated to the description of multicomponent systems composed of a solid which is embedded in a mixture of n fluids. After a short introduction, we present the theoretical framework on which our formalism is based. As a pedagogical example, we proced to the construction of a variational description for a single perfectly-elastic solid , with and without a “frozen-in” magnetic field. Next we generalize the theory to allow for multicomponent systems. Focusing the astrophysical case of a solid-superfluid system, we show how the strict aplication of variational principle can be modified at few costs to describe four different types of conservative models, as well as dissipative ones. The second part of the manuscript deals with the application of the simple perfectlyelastic solid case in the context of cosmology, and more specifically to the interpretation of dark energy as a solid of topological defects - and idea orginially introduced by Bucher and Spergel. A stability analysis is done by computing the rigidity moduli in the case of isotropic and cubic symmetries. Finally, we mention recent results obtained by Carter on microscopical theories that could lead to the solid configurations envisaged by Bucher
3
Nonne, Héloïse. "Phases isolantes de Mott des atomes froids fermioniques unidimensionnels à plusieurs composantes." Thesis, Cergy-Pontoise, 2011. http://www.theses.fr/2011CERG0524/document.
Abstract:
Cette thèse est consacrée à l'étude des phases de Mott isolantes des systèmes unidimensionnels d'atomes froids fermioniques à plusieurs composantes. La première partie de ce travail consiste en l'étude du modèle des atomes froids de type alcalinoterreux de spin nucléaire I=1/2. Ces atomes possèdent un état excité métastable offrant à ces atomes un degré de liberté orbital supplémentaire et en fait des fermions à quatre composantes. L'étude est menée au demi-remplissage, aux forts et aux faibles couplages par des moyens analytiques (théorie conforme, bosonisation, refermionisation, groupe de renormalisation); elle conduit à un diagramme de phase très riche. Il comporte sept phases isolantes de Mott dont trois sont particulièrement intéressantes, car elles présentent un ordre caché qui s'apparente à la physique de Haldane de la chaîne antiferromagnétique de spin-1. Ces conclusions sont mises en regard avec des simulations numériques exécutées avec l'algorithme du groupe de renormalisation de la matrice densité (DMRG), pour un régime de couplages intermédiaires. La comparaison montre une continuité adiabatique entre les différents régimes de couplages. Une étude similaire d'un modèle d'atomes froids de spin-3/2 met en évidence la physique de Haldane dans le secteur de charge des degrés de liberté, avec pour modèle effectif une chaîne de (pseudo-)spin-1. L'étude nous permet également l'investigation des propriétés de température nulle de la chaîne bilinéaire et biquadratique de Heisenberg SO(5). On montre qu'elle présente deux phases gappées : l'une dimerisée et l'autre possédant une symétrie cachée (Z_2xZ_2)² et des états de bords de spin-3/2, séparées par un point critique appartenant à la classe d'universalité SO(5)_1. Enfin, une étude de systèmes d'atomes froids de spins demi-entiers (à 2N composantes) généralise les résultats obtenus pour les spins-3/2. Cela nous conduit en particulier à mettre en évidence un effet pair/impair suivant N, en tout point similaire à l'effet pair/impair des chaînes de spin, découvert par Haldane en 1983This thesis is devoted to the investigation of the Mott insulating phases arising in onedimensionalmulticomponent fermionic cold atoms systems. The first part of this work isthe study of a model with alkaline-earth cold atoms with nuclear spin I = 1/2. Thoseatoms enjoy an additional orbital degree of freedom, due to the presence of a metastableexcited state ; they thus have a total of four components. Our investigation is carried athalf-filling, at strong and at weak couplings by means of analytic methods (conformaltheory, bononization, refermionization, renormalisation group). We found that the zerotemperature phase diagram of the system is very rich : it contains seven Mott insulatingphases, among which three are particularly interesting, since they display a hiddenorder, related to the Haldane physics of the antiferromagnetic spin-1 Heisenberg chain.Our conclusions are checked against numerical simulations, that were carried out with thedensity matrix renormalization group (DMRG) algorithm for intermediate couplings. Thecomparison shows an adiabatic continuity between the different regimes. A similar studyfor a model of cold atoms with hyperfine spin-3/2 highlights the Haldane physics in thecharge sector of the degrees of freedom, with an effective model given by an antiferromagneticpseudo-spin-1 chain. This analysis provides us an opportunity to investigate thezero temperature properties of the SO(5) bilinear-biquadratic Heisenberg chain. We showthe presence of two gapped phases : one is dimerized, the other has a hidden symmetry(Z2 × Z2)2 and spin-3/2 edge states, and they are separated by a critical point that belongsto the SO(5)1 universality class. Finally, we investigate half-integer hyperfine spincold atoms systems with 2N components which generalized the results obtained for thehyperfine spin-3/2 model. This leads us to find an even/odd effect according to the parityof N, very similar to the even/odd effect of spin chains, discovered by Haldane in 1983
4
Treglia, Robert. "Système automatique de caractérisation paramétrique de composants semiconducteurs." Aix-Marseille 3, 1989. http://www.theses.fr/1989AIX30065.
Abstract:
Etude et realisation d'un systeme automatique de caracterisation de puces test destinees a controler les diverses etapes de fabrication des plaquettes de circuits integres. Ce systeme est pilote par un microordinateur a l'aide de logiciels qui permettent de determiner la distribution (cartographies) et les statistiques (histogrammes, camemberts) des grandeurs fondamentales (epaisseur d'oxyde, tension de seuil; tension de bandes plantes, dopage, tension de seuil, tension de bandes plates, dopage, mobilite, duree de vie, vitesse de generation interfaciale qui interviennent dans les composants electroniques constituant les circuits integres. Ce travail a necessite l'etude et la realisation de cartes electroniques d'interface microordinateur/station sous pointes, et de logiciels permettant d'acquerir les mesures, de les traiter, de sauvegarder les grandeurs fondamentales et de respecter les resultats sous forme de cartographies, d'histogrammes ou de camemberts
5
Duborjal, Hervé. "Étude de l'expression de plusieurs constituants du système OXPHOS mitochondrial." Grenoble 1, 2000. http://www.theses.fr/2000GRE10144.
Abstract:
L'adenosine triphosphate est essentiellement synthetise au sein de la mitochondrie grace au fonctionnement de la chaine d'oxydation phosphorylante mitochondriale. Cet ensemble enzymatique est localisee au niveau de la membrane interne des mitochondries et se compose de 5 complexes : la nadh-ubiquinone oxydoreductase ou complexe i ; la succinate deshydrogenase ou complexe ii ; l'ubiquinone cytochrome c reductase ou complexe iii ; la cytochrome c oxydase ou complexe iv et l'atp synthase ou complexe v. Excepte le cx ii, les complexes enzymatiques de la chaine d'oxydation phosphorylante presentent la particularite d'etre codes par le genome nucleaire et le genome mitochondrial. Le travail presente dans cette these porte sur l'expression de ces deux genomes en fonction des besoins energetiques tissulaires ainsi qu'au cours de la senescence replicative et d'un stress oxydatif. L'analyse par rt-pcr quantitative a montre qu'il existe une difference d'abondance inter-genomique et inter-complexe. Les resultats indiquent egalement que les stchiometries entre les differents transcrits qu'ils appartiennent ou non a un meme complexe sont stables au sein des differents tissus etudies. Une analyse originale de rt-pcr semi-quantitative en multiplexe a ete mise au point afin d'apprecier les variations d'expression des genes du systeme oxphos. Les differentes analyses effectuees ont montre que la transcription mitochondriale etait diminuee de pres de 50% lors d'une peroxydation lipidique et que cet affaiblissement de la proportion des transcrits mitochondriaux etait associe a une abolition du y mitochondrial. L'analyse par les multiplexes a egalement montre qu'au cours de la senescence replicative, l'expression des genes du systeme oxphos n'evolue pas. Une analyse effectuee par micro-arrays a montre que les taux de plusieurs transcrits impliques dans l'avancee du cycle cellulaire etaient fortement diminues.
6
Martinod, Restrepo Ronald Mauricio. "Politiques d’exploitation et de maintenance intégrées pour l’optimisation économique, sociétale et environnementale des systèmes de transports urbains interconnectés." Electronic Thesis or Diss., Université de Lorraine, 2021. http://www.theses.fr/2021LORR0069.
Abstract:
Les systèmes de transport public urbain influencent l'infrastructure des agglomérations et la vie de leurs habitants tout en stimulant directement l'économie. Les systèmes de transport public urbain intelligents contribuent à améliorer la qualité de vie et l'environnement dans les villes. Le développement rapide des solutions de transport urbain a conduit de très nombreux opérateurs à se porter sur ce marché empêchant ainsi une logique globale de l’offre. Ces optimisations discrètes, privées de toutes concertations entre opérateurs de transport intervenant sur un même périmètre, interdit l’identification d’un optimum global. En conséquence, le fonctionnement inefficace des systèmes de transport public urbain ne réduit pas nécessairement la charge environnementale, et les opérateurs de transport urbain peuvent ne pas être en mesure de la gérer de manière durable. Pour répondre à ces défis, cette thèse propose une méthodologie associée à des modèles mathématiques qui sont développés à travers des approches d’optimisation pour une gestion systémique des réseaux de transport public multimodal, et ce afin d’assurer le meilleur taux de service aux usagers tout en minimisant les coûts et les externalités sociétales afin de satisfaire au principe de durabilité, fréquemment exprimé dans les plans de développement urbainsUrban public transport systems influence the infrastructure of urban areas and the lives of their inhabitants while directly stimulating the economy. Intelligent urban public transport systems help to improve the quality of life and the environment in cities. The rapid development of urban transport solutions has led to a large number of operators entering the market, thus preventing a global optimum. These discrete optimisations, without any articulation between transport operators, avoid the identification of a global optimum. As a result, the inefficient operation of urban public transport systems does not necessarily reduce the environmental cost. To address these challenges, this thesis proposes a methodology associated with mathematical models developing optimisation approaches for multimodal public transport networks, for achieving the best service policy while minimising operation costs in order to satisfy the principle of sustainability, frequently expressed in urban development goals
7
Volanschi, Eugene. "Une approche automatique à la spécialisation de composants système." Rennes 1, 1998. http://www.theses.fr/1998REN10021.
Abstract:
Les systemes d'exploitation evoluent actuellement vers des formes de plus en plus generiques. Cette tendance est motive d'un cote par le besoin de couvrir un materiel de plus en plus complexe et diversifie, et d'autre part par le besoin d'integrer de nouveaux types de fonctionnalites tels que la qualite de service ou la securite. En poursuivant la philosophie traditionnelle selon laquelle le systeme d'exploitation implemente une machine virtuelle avec un nombre limite de fonctionnalites universelles, les systemes d'exploitation deviendront de plus en plus lents et inefficaces. Pour pallier a ce probleme, l'approche traditionnelle consiste a optimiser manuellement chaque composant systeme pour l'adapter a un nombre restreint de cas, consideres comme critiques. L'ecriture de tels composants systemes optimises requiert un niveau tres important d'expertise systeme. Cette these propose une methodologie d'optimisation de composants systeme plus accessible a des non-experts en systeme, reposant sur la specialisation de programmes. Par rapport a une demarche par specialisation manuelle, notre approche presente deux niveaux de simplification : la specialisation est automatisee par l'utilisation de l'evaluation partielle et dirigee par une specification declarative. Cette approche automatique apporte plusieurs avantages essentiels. Elle evite le risque d'introduction d'erreurs, en preservant la semantique du composant d'origine. Elle resout le probleme de maintenabilite d'un ensemble de versions fonctionnellement equivalentes. Enfin, elle encourage une application generalisee, inconcevable dans le cas d'une approche manuelle. Nous montrons, en utilisant notre prototype d'evaluateur partiel, que cette methodologie est applicable a l'heure actuelle a des systemes existants, commerciaux, et qu'elle peut apporter des gains significatifs meme sur des systemes deja optimises.
8
Abbes, Fatma. "Encapsulation des composants virtuels dans un système sur puce." Lorient, 2007. http://www.theses.fr/2007LORIS088.
Abstract:
Avec l’augmentation du taux d’intégration qui dépasse actuellement plusieurs centaines de millions de transistors, de nouveaux systèmes sont apparus appelés « système sur puce » ou SoCs. Ces systèmes sont assujettis à de fortes contraintes de conception : délai de mise sur le marché court, support d’applications complexes, coût réduit, etc. Une des solutions à ce défi est l’utilisation de composants prêts appelés IPs ou composants virtuels qui permettent de réduire le temps de développement et de minimiser les erreurs de conception. Ces Ips pouvant être par essence de provenance différente, leur structure de communication n’est pas forcément adaptée au reste du système. Un des problèmes de conception des SoCs est alors d’intégrer facilement et rapidement ces IPs dans le système. Ce travail de thèse porte sur la conception automatique de l’interconnexion entre les composants IPs d’un SoC. Ces travaux ont été menés conjointement dans l’équipe « système sur puce » du laboratoire CES de l’ENIS et le groupe de recherche IP Design du laboratoire L. E. S. T. E. R. Cette thèse propose une approche d’intégration/d’encapsulation d’IPs applicable pour un contexte de simulation et un contexte de synthèse. Elle est basée sur l’instanciation d’une interface de communication générique à l’aide d’une configuration à travers des graphes. Ces graphes modélisent les transferts de données entre le système et l’IP. Cette interface de communication cible les applications orientées flot de données pour un contexte de réutilisation SoC/MPSoC. La réalisation de l’interface de communication consiste alors pour la partie matérielle à instancier le ou les modules d’interface nécessaires, et pour la partie logicielle à générer le pilote de l’interface. Afin d’automatiser cette approche, un outil a été développé. Il permet dans un premier temps de vérifier la compatibilité entre l’IP et le reste du système. Dans un second temps, il permet de générer le code SystemC de l’interface pour le contexte de la simulation, et le code VHDL synthétisable pour la synthèse (avec les pilotes et les fichiers de test nécessaires). Pour l’expertise de cette approche, l’application « synthèse d’image 3D » a été choisie. L’IP considérée est « le produit matriciel ». L’application de notre méthode démontre que l’interface adoptée est indépendante du contexte d’utilisation et que l’approche peut être utilisée pour l’intégration automatique d’IPsIn order to manage the system-on-a-chip (SoC) increasing complexity, a promising way consists of the reuse concept of preconceived hardware or software blocks. An important aspect of a core’s marketability is its ability to be easily integrated into a SoC since IP must be usable in many different application contexts. Integrating Intellectual Property (IP) components into SoC design requires the use of a hardware/software interface. This PhD thesis deals with interconnection design between IP cores (Intellectual Property) in a System on Chip. This work was undertaken jointly in the team “IP Design” of the L. E. S. T. E. R laboratory of the UBS and the C. E. S Group of ENIS. To increase reuse efficiency, quality and productivity of SoC designs, we propose a design approach for packaging the cycle accurate and bit accurate (CA-BA) interface of hardware IPs. Dataflow application based IP are targeted in a SoC/MPSoC design context. This approach provides an interface modelling considering communication adaptation concepts/context. Graph formalism has been established to specify data traffic considering the cycle accurate behaviour at the IP interface and system requirements. Moreover, the approach is built around two main steps: checking compatibility and interface architecture generation. To realize communication adaptation, both the software part (“driver”) and the hardware part (the interface) are generated. A communication interface architecture generator has been implemented as a CAD tool called GIC. This tool is able to choose and to configure generic interface parameters according to applications constraints and system needs through graphs models. It also generates SystemC code of the specified interface for simulation and synthesisable VHDL code for synthesis. This work has been tested on a multimedia application (“pipeline 3D”). It shows that the adopted interface is independent of the use context and that the approach can be used for automating IPs integration
9
Broto, Laurent. "Support langage et système pour l'administration autonome." Phd thesis, Université Paul Sabatier - Toulouse III, 2008. http://tel.archives-ouvertes.fr/tel-00524704.
Abstract:
Les environnements logiciels distribués sont de plus en plus complexes et difficiles à administrer car ils sont composés d'applications patrimoniales avec des interfaces d'administration spécifiques. De plus, les tâches d'administration menées par un humain sont sujettes à erreur et à un manque de réactivité. Ceci est particulièrement visible sur les architectures moyennement ou grandement distribuées. Pour résoudre ce problème, nous étudions la conception et l'implantation d'un système d'administration autonome. Le principe est d'encapsuler un morceau de logiciel patrimonial dans un composant puis d'administrer l'architecture patrimoniale comme une architecture à composant. Cependant, nous avons observé que les interfaces d'un modèle à composant sont de trop bas niveau et difficiles à utiliser. Nous introduisons donc des formalismes de haut niveau pour spécifier le déploiement et les politiques de reconfiguration. Cette thèse décrit ces contributions qui sont intégrées dans un prototype de système autonome baptisé TUNe.
10
Guerlet, Edwige. "Utilisation de biomarqueurs cellulaires chez plusieurs espèces d'invertébrés pour l'évaluation de la contamination des milieux duçaquicoles." Thesis, Metz, 2007. http://www.theses.fr/2007METZ057S/document.
Abstract:
Pour valider une suite de biomarqueurs cellulaires en milieu dulçaquicole, nous avons étudié la structure des systèmes lysosomal et peroxysomal et les variations de contenus en lipofuscines et lipides neutres insaturés dans les tissus digestifs de plusieurs invertébrés, à travers une approche couplant histochimie et analyse d’images. Les expérimentations in situ et bioessais à plus ou moins long terme ont montré la pertinence des réponses cellulaires étudiées pour la mise en évidence de gradients de contamination. Les profils de réponse les plus communs chez les mollusques incluent un gonflement lysosomal, des déplétions de lipides neutres insaturés, une accumulation de lipofuscines et/ou un système peroxysomal plus volumineux. Ces réponses cellulaires précoces peuvent être associées, au niveau individuel, à une désynchronisation de la reproduction entre individus ou à une diminution de l’indice de condition. L’étude mensuelle à long terme (2 ans) a souligné l’absence de niveaux de base saisonniers de ces biomarqueurs et l’influence importante de la disponibilité trophique sur les contenus tissulaires en lipides neutres. Une mise en dépuration de 15 jours du bivalve, Dreissena polymorpha, sur son site d’origine, n’a pas montré de réversibilité du profil des réponses cellulaires à un gradient de contamination in situ, mais elle a tout de même de limité la déplétion des lipides neutres. Les réponses cellulaires les plus précoces et discriminatives sont le gonflement lysosomal et la déplétion en lipides neutres. Une comparaison d’outils d’analyse intégrative a montré le pouvoir discriminatif accru de la suite de biomarqueur entière, par rapport aux réponses individuellesTo validate a cellular biomarker suite, we studied the lysosomal and peroxisomal structures as well as the variations of the lipofuscin and unsaturated neutral lipid contents in the digestive tissues of several freshwater invertebrates, by using histochemistry coupled to image analysis. Cellular responses, studied through field and laboratory experiments proved relevant to highlight contamination gradients. The most frequent response profiles in molluscs were lysosomal enlargement, unsaturated neutral lipid depletions, lipofuscin accumulations and a more voluminous peroxisomal system. These early cellular responses may be associated, at the individual level, to a desynchronisation of the reproduction or to decreased condition index. A long-term monthly experiment showed no seasonal baseline levels of these biomarkers and underlined the important influence of trophic factors on the unsaturated neutral lipid contents. A 15-day depuration period of the bivalve, Dreissean polymorpha, at the site of origin after an exposure to a comparison of integrative analysis tools proved that the whole biomarker suite discriminates better between sites than individual responses
11
Omnes, Franck. "Elaboration par Lp-mocvd du système GaAs-Gainp : application aux composants." Paris 6, 1993. http://www.theses.fr/1993PA066194.
Abstract:
Le système d'alliages GaAs-Ga0. 51in0. 49p est particulièrement intéressant pour ses nombreuses applications potentielles aux composants électroniques et optoélectroniques, le plus souvent en remplacement du système GaAs-GaAlAs classiquement utilisé dans ces domaines d'application. Le présent mémoire fait état des travaux de recherches réalisés au laboratoire central de recherches de Thomson-csf sur ces matériaux. L'élaboration et l'optimisation des conditions de croissance des alliages GaAs et Gainp par la technique d'épitaxie en phase vapeur mettant en oeuvre les organométalliques (low pressure metalorganic chemical vapor deposition ou mocvd), l'étude des principales propriétés physiques des hétéro jonctions et puits quantiques à base de GaAs-Ga0. 51in0. 49p ainsi que les divers composants réalisés dans le cadre de cette étude (transistors et lasers) y font l'objet d'une description détaillée. Le mémoire est constitué, pour sa partie essentielle, des publications associées à ces travaux
12
Dupuch, Angélique. "Comportement dynamique des prédateurs et des proies dans un système à plusieurs habitats." Thèse, Université du Québec à Trois-Rivières, 2008. http://depot-e.uqtr.ca/1259/1/030077769.pdf.
13
Abdelatif, Radhia. "Etude de plusieurs problèmes de dénombrement liés à la numération binaire." Paris 6, 1986. http://www.theses.fr/1986PA066100.
Abstract:
Introduction. Comptage des mots circulaires de longueur n. Recherche d'une fonction de comptage. Généralisation du problème aux cycles. Définitions et propriétés des suites binaires périodiques de période 2 h. Cycles antisymétriques. Etude de la loi croisée du couple (i. J. ) Lorsque le nombre d'itérations est supérieur à 1.
14
Gillon, Frédéric. "Méthodologies de Conception Optimale des Composants Electromagnétiques." Habilitation à diriger des recherches, Université des Sciences et Technologie de Lille - Lille I, 2009. http://tel.archives-ouvertes.fr/tel-00734814.
Abstract:
La conception des composants et systèmes électriques est en pleine évolution, poussée par les besoins sociétaux en terme d'environnement et d'efficacité énergétique. Notre société est basée sur une énergie bon marché et facilement accessible, ce que nous procure, entre autres, l'électricité. Les composants et systèmes électriques font partis de notre quotidien et permettent de faire fonctionner la totalité de nos moyens de production. Ils sont tellement présents, qu'ils pourraient presque passer inaperçus. C'est pourquoi, leur conception est capitale afin de les rendre plus performants, c'est-à-dire mieux adaptés aux besoins de chacun. Les composants et systèmes électriques ont évolué grâce à une meilleure maîtrise des matériaux. Les aimants terres rares, à hautes énergies, ont permis de concevoir des moteurs électriques compacts à fort couple massique comme par exemple, ceux des nouvelles chaînes de traction AGV d'Alstom. Les systèmes sont de plus en plus complexes et doivent être de plus en plus performants sur un panel de critères de plus en plus large. Le défi offert aux ingénieurs de conception est grand. Il est donc indispensable d‟intégrer de nouveaux outils et de nouvelles méthodologies dans le processus de conception pour faire face à ce challenge. C'est au niveau des méthodologies et des outils que se situe notre apport. En effet, les moyens de calcul ont fortement progressé et permettent d‟utiliser les outils de modélisation et d‟optimisation relativement simplement. Toutefois, leur mise en œuvre dans une démarche de conception est complexe, car elle fait intervenir l‟environnement et l‟acteur humain. Les outils d‟optimisation sont bien adaptés aux besoins de la conception car ils permettent de proposer une solution optimale en fonction d‟un nombre important de variables et de critères, pouvant s‟exprimer sous la forme d'objectifs ou de contraintes. Les outils de modélisation ont fortement progressé et permettent une représentation précise des phénomènes physiques. Deux grandes familles existent : les modèles analytiques et les modèles numériques. Les deux peuvent être intégrés dans un processus de conception. Toutefois, aussi précis soient-ils, ils restent des modèles et sont donc liés à un certain nombre d'hypothèses. L‟utilisation de méthode d‟optimisation pour la conception conduit à rechercher des solutions optimales au niveau global, ce qui impose la construction de modèles prenant en compte de nombreux aspects physiques pour répondre aux besoins de conception. La seule connaissance des phénomènes magnétiques et électriques pour concevoir un moteur électrique n‟est plus suffisante ; il faut intégrer, la thermique, les aspects de bruit et de vibration, l‟effet de la commande et gérer les interactions entre le moteur et le convertisseur en intégrant la charge. Le processus de conception a donc à gérer un ensemble de modèles pouvant être de natures différentes et de précision variable. La bonne adéquation entre les modèles, et les liens créés entre eux, font la qualité du modèle de conception. Cette multiplicité de modèles pose un réel problème au concepteur, qui doit soit construire la totalité des modèles, soit se les procurer. Généralement, le concepteur est expert dans une discipline et aura donc moins de connaissances dans les autres. Pour un système complexe constitué de nombreux composants et faisant intervenir de nombreuses disciplines, il est nécessaire de répartir l‟effort de modélisation. D‟autant plus, qu‟au sein de la communauté scientifique ou des entreprises, des modèles testés et validés existent déjà. Un besoin de capitalisation et d‟appropriation des modèles est donc indispensable. L‟obtention d‟un modèle n‟est pas un but, mais un moyen pour le concepteur. La définition du problème de conception et la formulation du problème d‟optimisation sont primordiales. La définition du problème peut être vue comme une stratégie et la méthode d‟optimisation comme une tactique pour aboutir à une conception optimale. Les deux sont étroitement liées et influent réciproquement l'une sur l'autre. Chaque méthode d‟optimisation a des avantages et des inconvénients. La formulation du problème d'optimisation doit se faire en connaissant les possibilités de la méthode d‟optimisation en liaison avec le modèle. Le concepteur doit avoir des notions d‟optimisation pour formuler correctement son problème et connaître suffisamment ses modèles pour rester dans leur domaine de validité. L'utilisation d'une méthode d'optimisation au sein d'un processus de conception permet de trouver la cause des effets désirés. La méthode d‟optimisation et le modèle sont liés. La méthode d‟optimisation peut prendre en charge tout ou partie des non-linéarités du modèle pour faciliter son expression par le concepteur ou améliorer sa résolution en permettant de scinder les modèles pour pouvoir distribuer les calculs. Le processus d'optimisation lui-même peut être décomposé en un ensemble de problèmes d'optimisation interagissant les uns sur les autres, ce qui permet de gérer d'une manière répartie les modèles et les processus d'optimisation. Les outils d'optimisation doivent être utilisés au niveau le plus haut du processus de conception pour créer un impact maximum sur la conception des composants et du système. Ainsi, de fait, le processus de conception optimal garantit une bonne adéquation des composants au système.
15
Sureau, Frédéric. "Un système de composants distribué pour les réseaux de capteurs sans-fils." Mémoire, Université de Sherbrooke, 2011. http://savoirs.usherbrooke.ca/handle/11143/1597.
Abstract:
L'utilisation de réseaux de capteurs sans-fils (RCSF) se développe dans de nombreux domaines où l'informatique doit être intégrée au plus proche de l'environnement. Ce principe appelé informatique omniprésente se popularise par des applications dans de multiples domaines, de la domotique à l'étude d'environnements naturels en passant par la régulation des transports ou encore la surveillance de bâtiments à risques. Si les RCSF présentent de bonnes perspectives pour le domaine de l'informatique omniprésente, le matériel utilisé présente souvent des capacités très limitées et il est souvent compliqué de développer des applications ou de configurer de tels réseaux. Des travaux récemment réalisés au laboratoire DOMUS amènent la vision d'une informatique omniprésente autonome qui permettrait à plusieurs éléments d'un réseau de s'organiser entre eux pour limiter les interventions humaines. Dans cette vision, la reprogrammation dynamique des noeuds est utilisée pour simplifier et alléger le processus de reconfiguration du réseau. Le présent projet s'est donc intéressé à la problématique de la reprogrammation des noeuds du réseau dans une optique future d'informatique omniprésente autonome adaptée aux RCSF. Le présent projet de maîtrise a permis dans un premier temps de mettre en place un cadriciel de programmation par composants adapté aux ressources contraintes des RCSF. Ce système de programmation par composants (POC) appelé Nodecom se place comme une amélioration par rapport aux solutions de POC déjà existantes. En effet, Nodecom présente la première architecture hybride permettant à la fois de programmer en utilisant des composants statiques et à la fois de pouvoir charger de nouveaux composants de manière dynamique. Cette architecture hybride a permis d'alléger l'impact du système de programmation par composants tout en conservant la possibilité de reprogrammer dynamiquement certains composants. Dans un second temps, le projet a consisté à réaliser un dépôt distribué de composants qui permet à chaque noeud de charger dynamiquement n'importe quel composant publié à travers le réseau. Dans ce dépôt distribué, chaque noeud peut se voir attribuer le rôle de conserver une copie d'un fichier de composant dans sa mémoire locale. Pour ce faire, l'implémentation réalisée repose sur un algorithme de routage par clé inspiré des réseaux pair-à-pair traditionnels et adapté aux contraintes des plateformes utilisées. Les résultats de l'évaluation de ce système de composants distribué pour les réseaux de capteurs sans-fils sont encourageants puisqu'ils mettent en évidence les faibles besoins en mémoire du système. L'implémentation réalisée dans ce projet se place alors comme un bon support pour les travaux futurs qui chercheront à adapter la vision d'informatique omniprésente autonome au contexte des réseaux de capteurs sans-fils.
16
Yang, Hai. "Etude d’un système de fabrication agile mobile pour composants de grande taille." Thesis, Montpellier 2, 2012. http://www.theses.fr/2012MON20042/document.
Abstract:
Les robots industriels, bien connus pour être des systèmes de fabrication flexibles et agiles, atteignent leurs limites lorsqu'il s'agit d'effectuer des tâches sur des pièces de grande taille (par exemple: les pièces longues et minces de l'industrie aéronautique). Pour ce type des tâches, les solutions existantes sont à leurs limites: les bras manipulateurs à base fixe souffrent d'un espace de travail trop limité; les bras manipulateurs montés sur véhicule ne sont pas assez précis; les machines-outils conventionnelles doivent être conçus à méga-échelle (plusieurs dizaines de mètres). Dans la cadre de cette thèse de doctorat, nous avons proposé des solutions robotiques innovantes qui combinent la capacité de marcher (ou de grimper) sur la pièce (ou sur le montage d'usinage) avec la capacité d'usiner. De l'analyse de la topologie et de la mobilité à la modélisation géométrique et cinématique, ainsi que la proposition d'algorithmes de contrôle innovants, des robots ont été proposés et étudiés pour la réalisation des tâches d'usinage ainsi que des tâches de locomotion. Un prototype a été construit qui témoigne de la pertinence de ce concept innovant. Il repose sur une architecture parallèle à actionnement redondant (8 moteurs pour 6 degrés de liberté) et combine moteurs, freins, dispositifs de bridage et de nombreux capteurs de position. Le prototype peut se fixer sur le montage d'usinage, réaliser ses tâches de fabrication, puis modifier sa configuration pour devenir un robot marcheur capable d'atteindre la zone de travail suivanteIndustrial robots, well known as flexible and agile manufacturing systems, reach their limits when dealing with very large workpieces (e.g.: very long and slender parts found in aeronautics industry). For such tasks, existing solutions are at their limits: stationary manipulator arms suffer from a too limited workspace; manipulators mounted on a vehicle are not accurate enough; classical machine-tools must be designed at mega-scale (several tens of meters). This thesis work aims at offering an innovative robotic solution that combines the ability to walk (or climb) on the workpiece (or on the tooling that supports the workpieces) together with manufacturing ability. From the topology and mobility analysis to the geometrics and kinematics modeling, as well as innovative control algorithms proposition, the proposed mobile manufacturing robots have been studied for achieving both machining and locomotion tasks. A prototype has been built to show the concept effectiveness . It is based on a parallel mechanism with actuation redundancy (8 motors for 6 degrees-of-freedom), combining motors, brakes, clamping devices and numerous position sensors. The robot can clamp itself on the manufacturing tooling, and then change its configuration to become a walking robot able to reach the next working area
17
Poulhiès, Marc. "Conception et implantation de système fondé sur les composants. Vers une unification des paradigmes génie logiciel et système." Phd thesis, Grenoble, 2010. http://www.theses.fr/2010GRENM009.
Abstract:
Le développement de logiciels pour les systèmes embarqués présente de nombreux défis. Cette thèse s'intéresse à ceux posés par les interactions entre les trois phases de conception, d'implantation et de validation. Nous nous intéressons aux caractéristiques du langage de conception et aux techniques de compilation qui permettent d'obtenir dans notre approche l'implantation et un modèle du système. L'analyse de ce modèle permet la validation de l'implantation, ce qui suppose que ce modèle représente fidèlement le système implanté. Nous proposons la construction d'un langage de conception basé sur l'utilisation de composants dont le comportement dynamique est supposé connu. Nous illustrons cette démarche avec un prototype complet appelé Buzz, dans lequel les composants sont des composants Think accompagnés de leur modèle comportemental en BIP. Le compilateur associé à Buzz génère une architecture à composants Think pour l'implantation et un modèle à composants BIP pour les analyses. Nous évaluons Buzz à travers deux expériences. La première présente le développement d'un logiciel pour un exemple simple sur lequel nous démontrons la pertinence des choix techniques. Think nous permet un support d'implantation complet et BIP rend possible la vérification d'un ensemble de propriétés dynamiques. La deuxième expérience est un portage de l'implantation d'un protocole radio utilisé dans des réseaux de capteurs et développée de manière classique, vers Buzz. Elle démontre l'effectivité de notre proposition en termes de langage (Buzz structure et simplifie le code original) ainsi qu'en termes d'outils (compilation et vérification)Software development for embedded systems has many challenges. Ln this thesis, we address those related to the interactions between the three following phases of the software development process: the design phase, the implementation phase and the validation phase. We study the design language characteristics and compilation techniques. Ln our approach, they allow the creation of both an implementation of the system and a model for this implementation. Provided that this model faithfully corresponds to the implementation, the analysis of the model can validate the implemented system. We propose a process for building a language based on software components for which the dynamic behavior is supposed to be given. We illustrate this process with a prototype called Buzz. Buzz uses Think components enriched with their operation al behavioral model in BIP. We developed a compiler for Buzz by extending the current Think compiler. Il generates both an architecture of Think components for the implementation and a BIP model for the analysis. We evaluate Buzz through two experiments. The first ex periment details the software development for an academical example on which we show the soundness of our technical choices. Think provides implementation support (compilation, optimization, deployment) and BIP allows us to verify the system's dynamic properties. The second ex periment focuses on porting to Buzz an application convention ail y developed for a sensor network radio protocol. It underlines the efficiency of our proposaI both in terms of programming language (the result is more structured and simpler than the original code) and in terms of compilation tools and verifications
18
Poulhiès, Marc. "Conception et Implantation de Système Fondé sur les Composants. Vers une Unification des Paradigmes Génie Logiciel et Système." Phd thesis, Université de Grenoble, 2010. http://tel.archives-ouvertes.fr/tel-00514504.
Abstract:
Cette thèse a été co-encadrée par le laboratoire MAPS/AMS de France Telecom R&D (aujourd'hui MAPS/SHINE) et le laboratoire VERIMAG. Le développement de logiciels pour les systèmes embarqués présente de nombreux défis. Cette thèse s'intéresse à ceux posés par les interactions entre les trois phases de conception (les développeurs construisent à partir de spécifications un modèle du système exprimé dans un langage de conception i.e. de programmation), d'implantation (le modèle précédent est compilé en un exécutable du système qui est finalement déployé sur les plateformes réelles) et de validation (un ensemble de techniques sont mises en \oe uvre pour vérifier que le système implanté est correct vis-à-vis des spécifications). Pour cela nous nous intéressons aux caractéristiques du langage de conception et aux techniques de compilation de ce langage. Celles-ci permettent d'obtenir dans notre approche à la fois l'implantation du système et un modèle du système implanté. L'analyse de ce modèle permet la validation de l'implantation, ce qui suppose que ce modèle représente fidèlement le système implanté. Nous proposons la construction d'un langage de conception basé sur l'utilisation de composants logiciels prédéfinis dont le comportement dynamique est supposé connu. Nous illustrons cette démarche par la réalisation d'un prototype complet d'un langage appelé Buzz, inspiré des modèles de programmation à acteurs dans lequel les composants logiciels utilisés sont des composants Think accompagnés de leur modèle comportemental opérationnel constitué d'un composant BIP. Le compilateur associé à Buzz que nous avons développé à partir du compilateur Think existant (Nuptse) génère simultanément une architecture à composants Think pour l'implantation et un modèle à composants BIP à des fins d'analyse. Nous évaluons Buzz à travers deux expériences. La première présente le développement de bout en bout d'un logiciel pour un exemple académique sur lequel nous démontrons la pertinence des choix techniques. Think nous permet un support d'implantation complet (compilation, optimisation, déploiement) et BIP rend possible la vérification d'un ensemble de propriétés dynamiques du système. La deuxième expérience consiste à porter une application réelle de protocole radio utilisée dans des réseaux de capteurs et développée de manière classique, vers Buzz. Cette expérience démontre l'effectivité de notre proposition tant en termes de langage de programmation (l'expressivité de Buzz structure et simplifie le code original) qu'en termes d'outils de compilation et de vérification.
19
Illayk, Abbas. "Évolution du nombre de composants en panne pour un système réparable non-Markovien." Lille 1, 2003. https://ori-nuxeo.univ-lille1.fr/nuxeo/site/esupversions/8a4c0b86-722d-4ea2-8464-13200e65618f.
Abstract:
Longtemps on a utilisé la loi exponentielle pour modéliser les durées de réparations. Bien que mal adaptée cette méthode donne souvent des bons résultats. En fait, dans la pratique ces durées sont plutôt déterministes. L'utilisation d'une hypothèse de vieillissement pour les durées de réparations est donc naturelle. Nous faisons le point sur la théorie du vieillissement à partir des notions d'ordre stochastique et en particulier on montre que certaines classes récemment introduites sont inutiles. Ensuite, un test d'hypothèse est fait pour tester l'exponentialité d'une variable aléatoire contre la loi vieillissante NBU, sur la base d'une inégalité de moment d'un système série de variables aléatoires vieillissantes, on montre que notre test est asymptotiquement consistant et efficace. Le calcul de la fiabilité et de la disponibilité d'un système réparable est lié essentiellement à la probabilité des séquences de panne ne comportant aucune réparation réussie (séquences dites monotones selon Solovyev). De nombreux travaux ont pour but l'encadrement de cette probabilité. Nous proposons ici d'affiner ces encadrements à partir d'une minoration analytique et des hypothèses générales de vieillissement DMRL ou NBUE. Cette étude est étendue au cas parallèle et même plus généralement aux systèmes cohérents. Enfin on mesure l'erreur de l'approximation de la fiabilité du système par une loi exponentielle.
20
Nazarpour, Hosein. "Surveillance de systèmes à composants multi-threads et distribués." Thesis, Université Grenoble Alpes (ComUE), 2017. http://www.theses.fr/2017GREAM027/document.
Abstract:
La conception à base de composants est le processus qui permet à partir d’exigences et un ensemble de composants prédéfinis d’aboutir à un système respectant les exigences. Les composants sont des blocs de construction encapsulant du comportement. Ils peuvent être composés afin de former des composants composites. Leur composition doit être rigoureusement définie de manière à pouvoir i) inférer le comportement des composants composites à partir de leurs constituants, ii) déduire des propriétés globales à partir des propriétés des composants individuels. Cependant, il est généralement impossible d’assurer ou de vérifier les propriétés souhaitées en utilisant des techniques de vérification statiques telles que la vérification de modèles ou l’analyse statique. Ceci est du au problème de l’explosion d’espace d’états et au fait que la propriété est souvent décidable uniquement avec de l’information disponible durant l’exécution (par exemple, provenant de l’utilisateur ou de l’environnement). La vérification à l’exécution (Runtime Verification) désigne les langages, les techniques, et les outils pour la vérification dynamique des exécutions des systèmes par rapport à des propriétés spécifiant formellement leur comportement. En vérification à l’exécution, une exécution du système vérifiée est analysée en utilisant une procédure de décision : un moniteur. Un moniteur peut être généré à partir d’une spécification écrite par l’utilisateur (par exemple une formule de logique temporelle, un automate) et a pour but de détecter les satisfactions ou les violations par rapport à la spécification. Généralement, le moniteur est une procédure de décision réalisant une analyse pas à pas de l’exécution capturée comme une séquence d’états du système, et produisant une séquence de verdicts (valeur de vérité prise dans un domaine de vérité) indiquant la satisfaction ou la violation de la spécification.Cette thèse s’intéresse au problème de la vérification de systèmes à composants multithread et distribués. Nous considérons un modèle général de la sémantique et système à composants avec interactions multi-parties: les composants intrinsèquement indépendants et leur interactions sont partitionées sur plusieurs ordonnanceurs. Dans ce contexte, il est possible d’obtenir des modèles avec différents degrés de parallelisme, des systèmes séquentiels, multi-thread, et distribués. Cependant, ni le modèle exact ni le comportement du système est connu. Ni le comportement des composants ni le comportement des ordonnanceurs est connu. Notre approche ne dépend pas du comportement exact des composants et des ordonnanceurs. En s’inspirant de la théorie du test de conformité, nous nommons cette hypothèse : l’hypothèse de monitoring. L’hypothèse de monitoring rend notre approche indépendante du comportement des composants et de la manière dont ce comportement est obtenu. Lorsque nous monitorons des composants concurrents, le problème qui se pose est celui de l’indisponibilité de l’état global à l’exécution. Une solution naïve à ce problème serait de brancher un moniteur qui forcerait le système à se synchroniser afin d’obtenir une séquence des états globaux à l’exécution. Une telle solution irait complètement à l’encontre du fait d’avoir des exécutions concurrentes et des systèmes distribués. Nous définissons deux approches pour le monitoring de système un composant multi-thread et distribués. Dans les deux approches, nous attachons des contrôleurs locaux aux ordonnanceurs pour obtenir des événements à partir des traces locales. Les événements locaux sont envoyés à un moniteur (observateur global) qui reconstruit l’ensemble des traces globale qui sont i) compatibles avec les traces locales et ii) adéquates pour le monitoring, tout en préservant la concurrence du systèmeComponent-based design is the process leading from given requirements and a set of predefined components to a system meeting the requirements. Components are abstract building blocks encapsulating behavior. They can be composed in order to build composite components. Their composition should be rigorously defined so that it is possible to infer the behavior of composite components from the behavior of their constituents as well as global properties from the properties of individual components. It is, however, generally not possible to ensure or verify the desired property using static verification techniques such as model-checking or static analysis, either because of the state-space explosion problem or because the property can only be decided with information available at runtime (e.g., from the user or the environment). Runtime Verification (RV) is an umbrella term denoting the languages, techniques, and tools for the dynamic verification of system executions against formally-specified behavioral properties. In this context, a run of the system under scrutiny is analyzed using a decision procedure: a monitor. Generally, the monitor may be generated from a user-provided specification (e.g., a temporal-logic formula, an automaton), performs a step-by-step analysis of an execution captured as a sequence of system states, and produces a sequence of verdicts (truth-values taken from a truth-domain) indicating specification satisfaction or violation.This thesis addresses the problem of runtime monitoring multi-threaded and distributed component-based systems with multi-party interactions (CBSs). Although, neither the exact model nor the behavior of the system are known (black box system), the semantic of such CBSs can be modeled with labeled transition systems (LTSs). Inspiring from conformance testing theory, we refer to this as the monitoring hypothesis. Our monitoring hypothesis makes our approach oblivious of (i) the behavior of the CBSs, and (ii) how this behavior is obtained. We consider a general abstract semantic model of CBSs consisting of a set of intrinsically independent components whose interactions are managed by several schedulers. Using such an abstract model, one can obtain systems with different degrees of parallelism, such as sequential, multi-threaded and distributed systems. When monitoring concurrent (multi-threaded and distributed) CBSs, the problem that arises is that a global state of the system is not available at runtime, since the schedulers execute interactions even by knowing the partial state of the system. Moreover, in distributed systems the total ordering of the execution of the interaction is not observable. A naive solution to these problems would be to plug in a monitor which would however force the system to synchronize in order to obtain the sequence of global states as well as the total ordering of the executions at runtime Such a solution would defeat the whole purpose of having concurrent executions and distributed systems. We define two approaches for the monitoring of multi-threaded and distributed CBSs. In both approaches, we instrument the system to retrieve the local events of the schedulers. Local events are sent to an online monitor which reconstructs on-the-fly the set of global traces that are i) compatible with the local traces of the schedulers, and ii) suitable for monitoring purposes, in a concurrency-preserving fashion
21
Cliche, Jean-François. "Réalisation et caractérisation de composants d'un système de communication optique à multiplexage en fréquence." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1999. http://www.collectionscanada.ca/obj/s4/f2/dsk1/tape8/PQDD_0003/NQ39343.pdf.
22
Menye, Jean Baptiste. "Validation de la maintenabilité et de la disponibilité en conception d'un système multi-composants." Thesis, Université Laval, 2009. http://www.theses.ulaval.ca/2009/26578/26578.pdf.
23
Menye, Jean-Baptiste. "Validation de la maintenabilité et de la disponibilité en conception d'un système multi-composants." Doctoral thesis, Université Laval, 2009. http://hdl.handle.net/20.500.11794/21935.
Abstract:
Thèse en cotutelle présentée à la Faculté des études supérieures de l'Université Laval dans le cadre du programme de doctorat en génie mécanique et l'École Doctorale Mathématiques, Sciences de l'information et de l'Ingénieur de l'Université de Strasbourg.La problématique abordée dans cette thèse concerne la prise en compte et la validation, au stade de la conception, de la maintenabilité et de la disponibilité des systèmes multi composants. Chaque composant est assujetti à des défaillances aléatoires. La défaillance d'un composant entraine la défaillance du système. À chaque composant i on associe un taux de défaillance [Lambda] et une moyenne des temps techniques de réparation MTTR, . Le taux de panne est généralement obtenu à partir de bases de données disponibles ou à partir d'essais accélérés sur des prototypes physiques ou virtuels. Le MTTR, dépend de la structure du système, des types de liaisons utilisés, de l'accessibilité, de l'outillage, de la compétence du réparateur, de l'environnement, des procédures de diagnostic et de localisation des défaillances et des procédures utilisées pour effectuer les tests de bon fonctionnement. La maintenabilité et la disponibilité sont généralement validées a posteriori. Cette thèse propose des outils permettant au concepteur de prendre en compte les exigences de maintenabilité (accessibilité, modularité, testabilité...), d'estimer les M777i, , d'évaluer le MTTR du système et enfin de déterminer les MTTRi qui minimisent le MTTRi du système et qui maximisent, par le fait même, sa disponibilité. Ces outils font appel aux concepts de fiabilité, d'analyse probabiliste des systèmes, de logistique, à la conception assistée par ordinateur, aux approches de conception pour assemblage et désassemblage et aux outils de la programmation mathématique. Cette thèse aborde aussi la prise en compte du contexte d'exploitation pour atteindre le niveau de disponibilité requis. De plus en plus de constructeurs offrent des services de maintenance à leurs clients. Les contrats de services comportent généralement des articles qui spécifient le niveau de disponibilité désiré. Les conditions d'exploitation et de maintenance ont un impacte significatif sur les coûts et la disponibilité des systèmes. Cette thèse propose des modèles mathématiques pour définir la taille et la composition de l'équipe de maintenance qui permet de garantir un seuil de disponibilité du système tout en respectant des contraintes budgétaires. Ces réalisations ont fait l'objet de trois publications et plus de huit communications. Plusieurs extensions de ces travaux sont en cours de réalisation.
24
Bacha, Kenza. "Interaction entre les carburants diesel et biodiesel et les composants du système d'injection diesel." Thesis, Mulhouse, 2016. http://www.theses.fr/2016MULH4471.
Abstract:
Le système d’injection Diesel doit résister à des conditions opératoires (pression, température) de plus en plus sévères, et être compatible avec les évolutions du carburant diesel, telles que l’introduction des Esters Méthyliques d’Acide Gras (EMAG) et l’utilisation de différents additifs, qui peuvent affecter la durabilité des véhicules, suite à la formation de dépôts. L’objectif des travaux de cette thèse est la compréhension des mécanismes de formation des dépôts issus de l’oxydation des carburants et la détermination des paramètres majeurs participant aux interactions dépôts-substrats (état de surface, matériaux, géométrie, thermique…). Deux études ont été abordées dans cette thèse. La première étude porte sur l’oxydation accélérée des carburants Diesel, des EMAG et des mélanges Diesel/EMAG en phase liquide en utilisant le moyen d’essai PetroOxy, la cinétique d’oxydation a été déterminée pour les différents carburants et la caractérisation des produits d’oxydation a été effectuée utilisant les moyens d’analyse (FTIR-ATR, ATG/DTG et GC/MS). La seconde étude est dédiée à la reproduction du dépôt sur les substrats en (aluminium, acier inoxydable, PEEK, revêtement or sur aluminium, revêtement silcoklean sur acier inoxydable) en utilisant le moyen d’essai Micro Cokage et la caractérisation du dépôt obtenu dans chaque cas en utilisant les moyens d’analyse (FTIR-ATR, ATG/DTG, FEG et XPS). Les résultats de ces travaux ont permis de déterminer l’impact de la nature et du taux d’EMAG ajouté au Diesel sur la stabilité à l’oxydation des carburants ; de mettre en place une hypothèse de formation de dépôt à partir de l’oxydation des carburants en phase liquide jusqu’à la formation de nanoparticules de dépôt sphériques ; et déterminer l’impact du substrat sur la formation et l’adhésion du dépôt à la surface du matériauDiesel injection system must withstand more severe operating conditions (pressure, temperature), and be compatible with the evolution of diesel fuel, such as the introduction of Fatty Acid Methyl Esters (FAME) and use of different additives, which may affect the durability of the vehicle, following the formation of deposits. The objective of this work is to understand the mechanisms of deposit formation from fuel oxidation and determine the major parameters involved in deposit-substrate interactions (surface condition, materials, geometry, temperature...). Two studies were discussed. The first study focuses on the liquid phase accelerated oxidation of Diesel fuel, FAME and mixtures (Diesel / FAME) using PetroOxy device, the oxidation kinetic was determined for the different fuels and characterization of oxidation products was carried out using the (FTIR-ATR, ATG / DTG and GC / MS). The second study was dedicated to the reproduction of deposit on different substrates (aluminum, stainless steel, PEEK, aluminum coating on gold, silcoklean coating on stainless steel) using the Micro Coking device, and characterization of the deposit obtained in each case using (FTIR-ATR, ATG / DTG, XPS and FEG). The results of this work permit to determine the impact of FAME nature and FAME concentration on fuel oxidation stability; an hypothesis was proposed to explain deposit formation
25
Castelan, Anne. "Modélisation de composants d'extraction de la chaleur : application à l'optimisation de système d'électronique de puissance." Thesis, Toulouse 3, 2017. http://www.theses.fr/2017TOU30341/document.
Abstract:
Avec le remplacement des réseaux hydrauliques et pneumatiques à bord des aéronefs par des réseaux électriques, le nombre d'équipements embarqués pour assurer un bon fonctionnement augmentera. Le passage à un avion entièrement électrique permettrait de réduire les couts de production et fonctionnement, assurerait une meilleure fiabilité des systèmes, et réduirait l'impact écologique de la circulation d'un tel appareil. En effet, un tel avion serait plus léger qu'un avion actuel. Pour s'assurer de cela, il est nécessaire de réduire la masse des équipements embarqués servant à la gestion, la mise en forme, la distribution d'énergie électrique. Le dimensionnement et l'optimisation de la masse des équipements embarqués est donc une problématique fondamentale dans le développement de l'avion plus électrique. Cette masse est majoritairement fixée par les systèmes de refroidissement lorsque l'on considère des systèmes de conversion d'énergie. Parmi l'ensemble des systèmes de refroidissement disponibles et dédiés au refroidissement des convertisseurs statiques, deux grandes technologies ont été sélectionnées, dans l'objectif d'en produire des modèles dédiés à des routines d'optimisation. Les dissipateurs à ailettes droites en convection forcée, ainsi que les systèmes associant dissipateurs à ailettes et caloducs seront modélisés au cours de ces travaux de thèse. Des modèles analytiques de ces systèmes de refroidissement seront proposés, dans l'optique de pouvoir optimiser au mieux leur masse tout en assurant un bon fonctionnement thermique. Même si de nombreuses méthodes de dimensionnement et d'optimisation dédiées aux systèmes de refroidissement existent, notre choix de modélisation s'est porté sur une représentation analytique. En effet, ce type de modélisation est déduit d'une résolution exacte de l'équation de la chaleur pour représenter des configurations géométriques et thermiques simples. Les configurations sélectionnées correspondent à des configurations simples à modéliser analytiquement. L'avantage de tels modèles réside dans le fait que le comportement thermique de systèmes de refroidissement, i.e de la température de la source de chaleur à l'ambiant, est une fonction des paramètres géométriques, des matériaux et des conditions environnementales des systèmes de refroidissement. Ce sont donc des modèles très rapides d'exécution qui donnent une solution exacte du comportement thermique des dissipateurs modélisés. Ils présentent donc un réel intérêt dans l'optique d'optimiser la masse de ces systèmesThe replacement of hydraulic and pneumatic network embedded in aircraft by electrical network will increase the number of embedded systems to ensure the effective functioning of the aircraft. The development of an electrical aircraft will allow the reduction of production and functioning costs. It will also help ensure a better reliability of systems and will reduce the ecological impact of the aircraft circulation. This kind of plane would be lighter than a usual one. To be sure of this, it is necessary to reduce weight of embedded equipment's dedicated to management, conversion and distribution of electrical energy. The sizing and the optimization of embedded equipment's weight is a critical issue in the development of more electrical aircraft. This weight is mostly defined by heat transfer systems, when we consider the sizing of energy conversion system A lot of heat transfer system exists and are dedicated to the cooling of power converters. We selected two of these heat transfer system, in order to produce models of them. These models will be used in optimization routines. Plate fin heat sink in forced convection, and system assembly, combining heat pipe and plate fin heat sink, will be modelled during this thesis. Analytical models of these heat transfer systems will be developed, to optimize their weight and ensure a good cooling of electrical systems. Even if lots of dimensioning and optimization methods exists, dedicated to heat transfer systems, we choose to use analytical modelling. This kind of models gives an exact solution to the heat equation, to describe simple geometric and thermic configurations. Selected heat transfer systems can be simply described. The main advantage of these models is that it represents the thermal behavior of the system as a function of its geometrical parameters, materials and environmental conditions. Execution of these models is very fast and gives a precise solution of the thermal parameters of the described configuration. There is then a real interest to use this type of models to optimize weight of heat transfer systems, and then power converter
26
Le, guyadec Mathias. "Dimensionnement multi-physique des véhicules hybrides, de leurs composants et de la commande du système." Thesis, Université Grenoble Alpes (ComUE), 2018. http://www.theses.fr/2018GREAT071/document.
Abstract:
Le transport routier est au cœur des enjeux environnementaux actuels. Les véhicules électriques hybrides (VEH) sont une alternative intéressante, notamment en milieu urbain. Cependant, la conception de tels systèmes est complexe car la chaîne de traction (composants et architecture), la mission et la gestion énergétique du véhicule sont intimement liées.Les travaux de V. Reinbold ont permis de mettre au point une méthodologie de dimensionnement de VEH. Les composants sont optimisés conjointement avec la gestion énergétique sur un cycle de fonctionnement afin de minimiser la consommation de carburant du véhicule. Une attention particulière est portée à la conception fine de la machine électrique via un modèle électromagnétique adapté à l’optimisation.Dans la suite de ces travaux, nous approfondissons plusieurs aspects du dimensionnement des VEH. Tout d’abord, nous introduisons la possibilité de gérer des paramètres discrets de la machine, comme le nombre de paires de pôles. Dans un second temps, nous développons un modèle thermique de la machine prenant notamment en compte les échanges autour des têtes de bobine. Ce modèle analytique par réseau de résistances thermiques est intégré puis utilisé dans le processus de dimensionnement par optimisation. Il a été préalablement validé via un modèle par éléments finis. Des méthodes d’analyse d’incertitude et de sensibilité sont appliquées afin de quantifier l’influence de certains paramètres thermiques. Enfin, nous appliquons la méthodologie de dimensionnement par optimisation à une architecture série/parallèle, intégrant deux machines électriquesRoad transportation has a huge impact on the environment. Hybrid electric vehicles (HEV) are an interesting alternative, especially for urban uses. However, HEV are complex systems to design because of the strong interaction between the component sizing, the energy management and the driving cycle.V. Reinbold previously developed a sizing methodology for HEV. The components and the energy management are simultaneously optimized to reduce the fuel consumption of the vehicle over a driving cycle. A specific electromagnetic model is used during the optimization process to describe accurately the electrical machine.As a continuation, we introduce firstly the possibility to deal with discrete variables such as the pole number of the electrical machine. Then, we develop a thermal model of the machine considering the convection exchanges around the end-windings. This analytical lumped parameter thermal network is used during the optimization process after being validated thanks to a finite element model. Uncertainty and sensitivity analysis are used to check the influence of some of the thermal parameters. Finally, the sizing methodology is applied to a series/parallel HEV including two electrical machines
27
Navon, Yotam. "Interaction des composants de la paroi cellulaire végétale : vers un système de modèle bio-inspiré." Thesis, Université Grenoble Alpes, 2020. http://www.theses.fr/2020GRALV006.
Abstract:
L'objectif de ce travail était de développer un modèle in vitro de la paroi primaire des plantes. Une approche ascendante a été choisie pour la conception rationnelle de constructions 2D et 3D faites d'une membrane lipidique, de nanocristaux de cellulose (CNC) et de xyloglucane (XG). Tout d'abord, l'interaction entre les blocs de base a été examinée à l'aide de la diffusion de la lumière, la calorimétrie de titrage isotherme, la microbalance à quartz et la microscopie électronique, révélant tout d'abord la nature électrostatique de l'interaction entre les CNC et une membrane lipidique ainsi qu'une interaction spécifique entre les CNC et XG dans un rapport stoechiométrique précis. Par la suite, les paramètres optimisés des études d'interaction ont été utilisés pour obtenir des structures 2D et 3D en déposant des couches alternées de CNC et XG sur des substrats plats (films multicouches) et des vésicules unilamellaires géantes (GUV). Une croissance linéaire des films a été révélée par les expériences de microscopie à force atomique (AFM), tandis que la réponse des vésicules décorées aux chocs osmotiques conduit à leur flambage en raison de la rigidification de la membrane lipidique. Enfin, les propriétés mécaniques des constructions ont été caractérisées en utilisant l’AFM par indentation, révélant un module d'Young de quelques centaines de kPa, similaire à celui observé pour de vraies parois cellulaires végétalesThe goal of this work was to develop an in vitro model of the plant primary cell wall. A bottom up approach was chosen for the rational design of 2D and 3D constructs made of a lipid membrane, cellulose nano crystals (CNCs) and xyloglucan (XG). First, the interaction between the building blocks was probed using light scattering, isothermal titration calorimetry, quartz crystal microbalance and electron microscopy, revealing firstly the electrostatic nature of the interaction between CNCs and a lipidic membrane and secondly, specific interaction between CNCs and XG in a precise stoichiometric ratio. Then, the optimal parameters from the interaction studies were used to obtain 2D and 3D structures by depositing alternating layers of CNCs and XG on flat substrates (multilayered films) and giant unilamellar vesicles (GUVs). A linear growth of the films was revealed by atomic force microscopy (AFM) experiments while the response of decorated vesicles to osmotic shocks lead to their buckling due to the rigidification of the lipid membrane. Finally, the mechanical properties of the constructs were characterized using AFM indentation, revealing a Young's modulus of few hundred kPa, similarly to what is observed for real plant cell walls
28
Himpens, Sabine. "Caractérisation du système à deux composants SenX3/RegX3 de Mycobacterium tuberculosis et Mycobacterium bovis BCG." Lille 1, 1999. https://pepite-depot.univ-lille.fr/LIBRE/Th_Num/1999/50376-1999-159.pdf.
Abstract:
Les mécanismes contrôlant la virulence mycobactérienne sont encore peu connus. Pour étudier ces mécanismes, les systèmes de transduction sensorielle à deux composants constituent une cible privilégiée. Nos recherches ont permis de cloner des gènes codant des éléments de systèmes à deux composants chez Mycobacterium tuberculosis et Mycobacterium bovis BCG appelés senX3 et regX3. Ce système appartient à la famille des couples PhoB/PhoR et PhoP/PhoQ, impliqués dans la virulence chez diverses bactéries pathogènes. Nous avons produit ces deux protéines sous une forme recombinante chez Escherichia coli et les avons purifiées. Grâce à l'obtention d'anticorps dirigés contre ces protéines et à l'aide de fusions génétiques avec le gène rapporteur lac Z, nous avons montré que senX3 et regX3 sont exprimés chez le BCG et M. Tuberculosis. Nous avons caractérisé le mécanisme de phosphorylation du capteur senX3 et du régulateur regX3. Cette caractérisation a montré que ce système partage le mécanisme de base commun à tous les systèmes à deux composants. Nous avons pu montrer que le régulateur regX3 se lie à la séquence promotrice de son propre opéron, ce qui suggère que ce système est autorégulé, à l'instar de nombre d'autres systèmes à deux composantsDe plus, nous n'avons pas observé d'effet majeur de la phosphorylation sur la liaison à l'ADN et la structure quaternaire de regX3. Ces observations suggèrent que la phosphorylation de regX3 pourrait exercer un effet d'activation en favorisant des interactions protéine-protéine avec l'ARN polymérase. En outre, une analyse plus détaillée du mécanisme de phosphorylation du capteur senX3 a été effectuée pour déterminer si comme les autres capteurs étudiés jusqu'à présent, les domaines cytoplasmiques de ces protéines se dimérisent et sont phosphorylés en trans. Cette étude a été effectuée en vue d'explorer la possibilité de produire ultérieurement une version mutante a effet dominant négatif in vivo. Par ailleurs, notre système de phosphorylation in vitro de senX3/regX3 pourrait permettre la recherche de molécules inhibitrices de systèmes à deux composants mycobactériens, qui pourraient correspondre à de nouvelles classes d'antibiotiques
29
Leduc, Michèle. "Conséquences immunologiques du microchimérisme foetal et maternel dans plusieurs modèles murins." Paris 6, 2009. http://www.theses.fr/2009PA066485.
30
Grondin, Guillaume. "MaDcAr-Agent : un modèle d'agents auto-adaptables à base de composants." Phd thesis, Ecole Nationale Supérieure des Mines de Saint-Etienne, 2008. http://tel.archives-ouvertes.fr/tel-00775866.
Abstract:
Dans le cadre de l'informatique ubiquiste, l'environnement d'exécution d'une application est constitué de machines hétérogènes en ressources matérielles et appartenant à des utilisateurs différents (PC, PDA, téléphone mobile, etc.). Ces caractéristiques imposent de structurer l'application en une organisation d'unités logicielles relativement indépendantes qui coopèrent et interagissent. Dans cette thèse, nous proposons MaDcAr- Agent, un modèle d'agents auto-adaptables à base de composants et muni d'une infrastructure dédiée à l'adaptation. Ce modèle se caractérise par la présence d'un niveau méta qui comporte notamment un moteur d'assemblage en charge des adaptations dynamiques et automatiques en fonction du contexte de l'agent. Le fonctionnement du niveau méta est guidé par la spécification de deux politiques : la politique d'assemblage qui permet à l'agent de s'adapter aux changements de contexte en fonction des composants disponibles et la politique de gestion de contenu qui permet à l'agent d'avoir les composants dont il a le plus besoin grâce aux interactions avec les autres agents. A travers ces spécifications explicites et découplées du comportement applicatif de l'agent, le concepteur d'agents peut prendre en charge la perturbation d'un système dû à des changements imprévus et répétés, sans pour autant nuire à l'autonomie des agents qui composent ce système. Pour valider notre approche, diverses expérimentations ont été menées avec ce modèle, notamment dans le cadre d'un scénario impliquant des robots mobiles qui doivent explorer une zone inconnue.
31
Garcia-Fernandez, Thibault. "Conception et développement de composants pour logiciel temps réel embarqués." Nantes, 2005. http://www.theses.fr/2005NANT2066.
Abstract:
Le travail présenté dans cette thèse concerne la conception et la validation d'un système d'exploitation temps-réel baptisé CLEOPATRE ( Composants Logiciels sur Etagères Ouverts Pour Applications Temps-Réel Embarquées). Ce système d'exploitation a la particularité de se présenter sous forme de composants à code source ouvert, interchangeables et sélectionnables en fonction du profil de l'application visée. L'objectif étant aussi de participer à l'évolution d'un standard communautaire ouvert, Linux, cette bibliothèque se présente comme un patch annexé à Linux via RTAI. Elle intégre des fonctionnalités innovantes principalement en matière de tolérance aux fautes, d'ordonnancement temps-réel et de gestion des ressources critiques, et permet de prendre en charge l'exécution de tâches périodiques et non-périodiques, de tâches critiques et non critiques de façon conjointe. La phase de développement qui a notamment utilisé la Programmation Orientée Aspect s'est poursuivie par une phase de validation pour évaluer les performances temporelles et tester l'applicabilité et l'interopérabilité des composantsThe work presented in this thesis is relative to the design and the validation of a real-time operating system, namely CLEOPATRE ( Composants Logiciels sur Etagères Ouverts Pour Applications Temps-Réel Embarquées). This operating system has the main characteristics to be presented in the form of free open source components which are interchangeable and selectable according to the profile of the concerned application. The objective being also to take part in the evolution of Linux, the most famous open source operating system, this library has been designed as a patch attached to Linux via RTAI. It integrates innovating functionalities mainly as regards timing fault- tolerance, real-time scheduling and resource management, able to jointly cope with periodic and aperiodic tasks, critical and non-critical tasks. The development phase that, in particular uses the Aspect Oriented Programming, has continued by a validation phase to evaluate the temporal performances and test the applicability and inter-operability of the components
32
Benzitouni, Mohamed Reda Abdel Aziz. "Étude et Implémentation d'une méthode de coordination de composants dans un Système à Évènements Discrets Répartis." Mémoire, Université de Sherbrooke, 2007. http://savoirs.usherbrooke.ca/handle/11143/1370.
Abstract:
Les systèmes automatisés sont caractérisés par une forte complexité et flexibilité; les réseaux de télécommunication, les systèmes de supervision de procédés industriels ou les systèmes de transport en sont des exemples concrets dont l'activité est due aux occurrences asynchrones d'événements discrets. Certains événements discrets sont provoqués (mise en marche d'une machine, déviation d'une voie ferrée) et d'autres ne le sont pas (panne spontanée d'un équipement, accident de parcours, surcharge d'un réseau...).Les diverses séquences de ces événements décrivent le comportement de tels systèmes, qui sont ainsi appelés Systèmes à Événements Discrets (SED). Ces derniers ne peuvent donc pas bénéficier des modèles d'étude des systèmes continus, qui sont fondés essentiellement sur les équations différentielles. Des modèles ont ainsi été développés afin de modéliser, concevoir, analyser et contrôler les comportements des SED. Parmi les modèles les plus connus, nous avons: les automates à états finis (AEF), les réseaux de Pétri, et les réseaux de files d'attente. La diversité des activités ainsi que l'expansion des SED dans un environnement géographiquement étendu introduit une nouvelle classe de SED, les SED Répartis (SEDR). Des structures de dimensions internationales telles que la Défense, les banques ou les multinationales industrielles voient leurs activités s'étendre progressivement et ne peuvent ainsi plus centraliser toute l'information et tout le contrôle sur un système unique.Les SEDR se composent de modules ou de composants qui communiquent et se synchronisent entre eux, nécessitant des méthodes de coordination particulièrement délicates à concevoir, mais qui présentent des gains en temps, robustesse, performance et évolutivité lors de la mise en oeuvre des systèmes. Notre étude se fonde sur une méthode très récente de coordination applicable à un SEDR de deux (02) modules. Nous généralisons la méthode pour un SEDR constitué d'un nombre quelconque de modules. Nous implémentons ensuite la méthode de coordination et l'appliquons à des exemples concrets non triviaux.
33
Bouvard, Kéomany. "Planification de la maintenance basée sur la dégradation de composants : application à un véhicule industriel." Thesis, Lille 1, 2010. http://www.theses.fr/2010LIL10190.
Abstract:
Ce travail, réalisé dans le cadre d'un contrat CIFRE entre le groupe Volvo, le LAGIS et le LM2S, traite des problèmes de planification des tâches de maintenance sur des véhicules industriels. Le but est de proposer un service de planification de maintenance adaptée au véhicule spécifique avec un coût de maintenance optimisé.Pour un système multi-composant, deux ensembles de composants peuvent être définis suivant le type d'information disponible concernant leurs états: âge ou niveau de dégradation. Sur la base de ces deux ensembles, des dates optimales de maintenance pour chaque composant peuvent être obtenues en minimisant une fonction de coût qui tient compte des coûts préventif, correctif et d'inspection éventuelle et qui dépend de la probabilité de panne. Dans le cas des composants à maintenance basée sur l'âge, la fonction de probabilité de panne est fixée a priori ; dans le cas des composants à détérioration elle est recalculée à chaque inspection.Les opérations de maintenance sont ensuite regroupées sur un horizon roulant. Certaines opérations doivent être déplacées par rapport à leur date optimale ce qui entraîne l'ajout d'un coût de pénalité. Les regroupements sont effectués en tenant compte des coûts de logistique des arrêts de maintenance, des coûts de pénalité de chaque opération et d'un intervalle de temps minimal entre deux groupes de maintenances qui correspond au temps de préparation de maintenance. La planification est obtenue en maximisant la différence entre la somme des coûts des maintenances individuelles et le coût global en tenant compte des groupes de tâches de maintenance. Le planning de maintenance est remis à jour à la prochaine inspectionThis thesis deals with the maintenance operation scheduling issues of commercial vehicles. It is a CIFRE collaboration between the Volvo group, LAGIS and LM2S laboratories. The aim is to suggest a maintenance scheduling service adapted to the vehicle with an optimized maintenance cost.The vehicle is considered as a multi-component system. For each component, the optimal maintenance dates are computed using a maintenance cost function. This cost function depends on the preventive cost, the corrective cost and possibly the inspection cost, and also on the component failure probability function. In our system, two types of components are defined according to the available component state information : age or degradation level. The failure probability function is fixed a priori for the first component class while it is updated at each inspection for deteriorating and monitored components.The maintenance operations are grouped on a rolling horizon. Some operations must be shifted from their optimal maintenance dates, which implies a penalty cost. The maintenance scheduling depends on the set-up cost, the penalty cost of each operation, and a minimal time interval between two maintenance groups which represents the preparation time. The set-up costs depend on the number of maintenance stops. The saving cost is computed from the difference between the maintenance cost with individual operations and the maintenance cost with the defined operation groups. The developed algorithm provides the optimal maintenance planning according to the available degradation data and the operational constraints. Maintenance scheduling is updated at the next inspection date
34
Lichterowicz, Pierre. "Finance, culture et standardisation : l’évolution des composants de marché." Thesis, Lyon 2, 2012. http://www.theses.fr/2012LYO22022/document.
Abstract:
Les composants des marchés financiers peuvent être vus comme une chaîne globale de production de confiance, c’est-à-dire de crédit. Nous appelons cet ensemble de d’acteurs, de règles du jeu et d’outils le Financial Assets Production System (FAPS). Dans le cadre d’une grille de lecture institutionnaliste (Veblen, Coase, North, Williamson) nous essayons de décrire et comprendre la production concrète des actifs financiers, leur système de production et de circulation. Puis nous illustrons par quelques exemples sur les structures globales des marchés, les composants et leurs relations, l'hypothèse "nationality defines organisational rationality". Cette hypothèse est étayée par les nombreux travaux d’anthropologues (Hall, Godelier), sociologues (Banfield, d’Iribarne, Mauss), économistes (Akerlof, Breuer, Tarde, Rugman), autres spécialistes des sciences sociales (historiens, politologues) et techniciens du management interculturel (Hofstede, Trompenaars). « Institutions and culture matter ». La culture nationale, par opposition aux autres référentiels culturels, modèle en partie les composants du marché et leur fonctionnement. Dans cette perspective nous ouvrons la réflexion sur les impacts du déploiement mondial des pratiques de standardisation-certification des services, produits et processus financiers. Et donc sur une potentielle déculturation des structures de marché et leur convergence vers un éventuel modèle « pur », sans marqueurs culturels, de production d’actifs financiers. En d’autres termes, ces réducteurs d’incertitude que sont les normes et leur utilisation sont-ils des « effaceurs de culture » en produisant un isomorphisme institutionnel volontaire ? Notre idée directrice est que la culture nationale n’est pas soluble dans l’ISO, mais au contraire peut s’y révéler. Les caractéristiques nationales ou civilisationnelles des systèmes de production d’actifs financiers ne sont pas sur le point de disparaître, les développements rapides des formes prises par la finance éthique sont là pour corroborer cette hypothèseFinancial market components can be seen as a global credit production system. We call this global intermediation chain and its different links the Financial Assets Production System (FAPS).Institutional economics (Veblen, Coase, North, Williamson) provide some guidelines and tools to understand the production and distribution processes of financial assets. The aim is to describe, using examples, the way asset production is national specific. “Nationality defines organizational rationality”. This hypothesis is supported by some findings in anthropology, sociology, political science, history and the intercultural management school. “Institution and culture matter” is the motto of institutional approach. National culture, a specific level of cultural approach, has a readable impact on some market components and related functioning.But if market organization is national specific, what could be the impact of the on-going roll-out of international technical standards on those cultural layers. If standards are national culture erasers does it mean that there is a culture-free market model? And that a universal functional isomorphism, due to standards usage, provides more rational market practices to global players? Our findings are that national cultural market practices are not disappearing with standards global roll-out. Most of the time national cultures are still embedded in universal standards used by market players. The swift development of Ethical Finance seems to support the idea that domestic cultures are still strong drivers in financial markets set up
35
Mendizabal, Laurent. "Fiabilité de diodes laser DFB 1,55 um pour des applications de télécommnication : approche statistique et interaction composant-système." Bordeaux 1, 2006. http://www.theses.fr/2006BOR13141.
Abstract:
Ces travaux de thèse décrivent le développement et la mise en oeuvre d'une méthodotologie d'estimation de la fiabilité à long terme d'une technologie stabilisée de diode laser à contre-réaction réparie (DFB) 1,55 um à couche active InGaAsP sur substrat InP pour des applications de télécommunication. Elle est basée sur la mesure de caractéristiques électriques et optiques analysées après l'application de contraintes de vieillissement combinant différents facteurs d'accélération. Une méthode de reconstruction statistique de distributions de durée de vie, basées sur les tirages de Monte-Carlo, a été mise en oeuvre pour palier à la faible population de composants et aux faibles variations paramétriques induites par les tests accélérés. Enfin, l'interaction composant-système est analysée par l'intermédiaire de simulations d'une laison de télécommuncation 4 canaux utilisant le multiplexage de longueurs d'onde (WDM) avec un débit 2,5 Gbits/s par canal. Ces simulations ont permis d'évaluer l'impact des dérives expérimentales sur les performances de ce type de liaison, en conditions opérationnelles, en prévision de futures architectures de réseaux métropolitains et locaux
36
Chardigny, Sylvain. "Extraction d'une architecture logicielle à base de composants depuis un système orienté objet. Une aproche par exploration." Phd thesis, Université de Nantes, 2009. http://tel.archives-ouvertes.fr/tel-00456367.
Abstract:
La modélisation et la représentation des architectures logicielles sont devenues une des phases principales du processus de développement des systèmes complexes. En effet, la représentation de l'architecture fournit de nombreux avantages pendant tout le cycle de vie du logiciel. Cependant, pour beaucoup de systèmes existants, aucune représentation fiable de leurs architectures n'est disponible. Afin de pallier cette absence, source de nombreuses difficultés principalement lors des phases de maintenance et d'évolution, nous proposons dans cette thèse une approche, appelée ROMANTIC, visant à extraire une architecture à base de composants à partir d'un système orienté objet existant. L'idée première de cette approche est de proposer un processus quasi-automatique d'identification d'architectures en formulant le problème comme un problème d'optimisation et en le résolvant au moyen de méta-heuristiques. Ces dernières explorent l'espace composé des architectures pouvant être abstraites du système en utilisant la sémantique et la qualité architecturale pour sélectionner les meilleures solutions. Le processus s'appuie également sur l'architecture intentionnelle du système, à travers l'utilisation de la documentation et des recommandations de l'architecte.
37
Chardigny, Sylvain. "Extraction d'une architecture logicielle à base de composants depuis un système orienté objet : une approche par exploration." Nantes, 2009. http://www.theses.fr/2009NANT2115.
Abstract:
La modélisation et la représentation des architectures logicielles sont devenues une des phases principales du processus de développement de systèmes complexes. En effet, la représentation de l'architecture fournit de nombreux avantages pendant tout le cycle de vie du logiciel. Cependant, pour beaucoup de systèmes existants, aucune représentation fiable de leurs architectures n'est disponible. Afin de pallier cette absence, source de nombreuses difficultés principalement lors des phases de maintenance et d'évolution, nous proposons, dans cette thèse, une approche, appelée ROMANTIC, visant à extraire une architecture à base de composants à partir d'un système orienté objet existant. L'idée première de cette approche est de proposer un processus quasi automatique d'identification d'architecture en formulant le problème comme un problème d'optimisation et en le résolvant au moyen de méta-heuristiques. Ces dernières explorent l'espace composé des architectures pouvant être abstraites du système en utilisant la sémantique et la qualité architecturale pour sélectionner les meilleures solutions. Le processus s'appuie également sur l'architecture intentionnelle du système, à travers l'utilisation de la documentation et des recommandations de l'architecteSoftware architecture modeling and representation are a main phase of the development process of complex systems. In fact, software architecture representation provides many advantages during all phases of software life cycle. Nevertheless, for many systems, like legacy or eroded ones, there is no available representation of their architectures. In order to benefit from this representation, we propose, in this thesis, an approach called ROMANTIC which focuses on extracting a component-based architecture of an existing object-oriented system. This extraction is a balancing problem of competing constraints which aims at obtaining the best architecture that can be abstracted from a system. Consequently, the main idea of this approach is to propose a quasi-automatic process of architecture identification by formulating it as a search-based problem. The latter acts on the space composed of all possible architectures abstracting the object-oriented system and use the architectural semantic and quality to choose the best solution. The process uses the intentional system architecture by means of the documentation and the architect's recommendations
38
Hamoui, Mohamad Fady. "Un système multi-agents à base de composants pour l’adaptation autonomique au contexte – Application à la domotique." Thesis, Montpellier 2, 2010. http://www.theses.fr/2010MON20088/document.
Abstract:
Les environnements domotiques sont des environnements ubiquitaires dans lesquels des équipements domestiques, disséminés dans une habitation, fournissent des services utilisables à distance au travers d'un réseau. Des systèmes domotiques sont proposés pour permettre aux utilisateurs de contrôler les équipements en fonction de leurs besoins.Idéalement, ces systèmes orchestrent l'exécution des services fournis par les équipements pour réaliser des services complexes. Mieux encore, ces systèmes doivent s'adapter à la variété des environnements en termes d'équipements et des besoins des utilisateurs. Ils doivent également pouvoir s'adapter dynamiquement, si possible de manière autonome, au changement de leur contexte d'exécution (apparition ou disparition d'un équipement, évolution des besoins).Dans cette thèse, nous apportons une réponse à cette problématique avec SAASHA, un système domotique multi-agents à base de composants. La combinaison de ses deux paradigmes permet de gérer l'adaptation à trois niveaux : présentation (interfaces utilisateur),organisation (architecture du système) et comportement (architecture interne des agents).Les agents perçoivent le contexte et ses changements. Les utilisateurs se voient proposer une vue dynamique du contexte leur permettant de définir des scénarios personnalisés sous forme de règles. Les agents se répartissent les rôles pour réaliser les scénarios. Ils modifient dynamiquement leur architecture interne grâce à la génération, au déploiement et à l'assemblage de composants pour se doter de nouveaux comportements de contrôle des équipements et des scénarios. Les agents collaborent ainsi pour exécuter les scénarios. En cas de changement, ces trois niveaux d'adaptation sont mis en oeuvre de manière dynamique et autonome pour maintenir la continuité de service. Un prototype de SAASHA, basé sur les standards industriels UPnP et OSGi, a été développé pour évaluer la faisabilité de notre propositionHome automation environments are ubiquitous environments where domestic devices, scattered throughout a home, provide services that can be used remotely over a network. Home automation systems are proposed to enable the users of controlling the devices according to their needs. Ideally, these systems orchestrate the execution of the services provided by the devices to achieve complex services. Even more, these systems must adapt to the variety of environments in terms of devices and users needs. They must also be able to adapt dynamically, if possible in an autonomous manner, to the changes of their execution context (appearance or disappearance of a device, changing needs).In this thesis, we provide an answer to this problematic with SAASHA, a multi-agent home automation system based on components. The combination of these two paradigms enables managing the adaptation on three levels: presentation (user interface), organization (system architecture) and behavior (internal architecture of agents). The agents perceive their context and its changes. The Users are offered a dynamic view of the context allowing them to define custom scenarios as rules. The agents divide the roles among them to realize the scenarios. They modify dynamically their internal architecture throughout the generation, deployment and assembly of components to adopt new device control behaviors and scenarios. The agents collaborate to execute the scenarios. In case of a change, these three levels of adaptation are updated dynamically and autonomously to maintain the service continuity. A SAASHA prototype, based on UPnP and OSGi industry standards, has been developed to assess the feasibility of our proposal
39
Parent, Guillaume. "Evaluation de la durée de vie de composants électroniques de puissance commerciaux soumis à plusieurs tests de vieillissement et détermination des mécanismes de défaillance." Phd thesis, Toulouse, INPT, 2017. http://oatao.univ-toulouse.fr/17829/1/Parent_G.pdf.
Abstract:
Actuellement, dans les plateformes aérospatiales, le nombre et le besoin d’intégration des équipements électriques et électroniques sont grandissant du fait que leurs fonctions nécessitent de plus en plus de puissance. L’objectif de minimisation des coûts et surtout la disponibilité des dispositifs électroniques forcent les concepteurs et les fabricants de ces plateformes à s’orienter vers des produits commerciaux (dits grand public). La fiabilité des boîtiers des composants de puissance doit être évaluée dans les environnements sévères des applications aérospatiales. Une dizaine de composants électroniques de puissance a été sélectionnée en fonction de leur disponibilité et l’adéquation de leurs performances électriques et thermiques aux exigences des applications aérospatiales. Ces composants intègrent différents types de semi-conducteurs tels que le silicium, le carbure de silicium et le nitrure de gallium. Tout d’abord, une étude a été menée sur les potentiels modes et mécanismes de défaillance de ces composants électroniques de puissance dans ces environnements. Elle a permis de mettre en place plusieurs procédures de vieillissement accéléré ainsi que le développement de deux bancs de tests pour suivre électriquement le vieillissement de ces composants. Ces tests ont été menés sur deux diodes Schottky SiC, commercialisées par deux fabricants, regroupant les technologies des boîtiers des composants électroniques de puissance. Les analyses de défaillance ont tout d’abord mis en évidence une immaturité de la technologie de la jonction Schottky des puces SiC de l’une des deux diodes soumis à une tension inverse. Ces défaillances sont attribuées à la destruction partielle de la structure Schottky et indique une reproductibilité non maitrisée de la fabrication des puces de ce composant. Ensuite, ces analyses ont mis en évidence plusieurs mécanismes de vieillissement lors de tests simulant des régimes « On-Off » des applications (cycles thermiques de puissance). Celui considéré comme la cause de la défaillance est la fissuration de la soudure des fils d’interconnexion avec la puce. Une loi pouvant décrire la fissuration des interconnexions a été identifiée à la suite des évolutions des cycles thermiques de puissance à l’approche de la défaillance. L’étude de ces évolutions a permis de démarrer l’élaboration d’un modèle physique de défaillance adapté aux interconnexions de la puce en vue d’estimer la durée de vie des composants commerciaux.
40
Abdmouleh, Anis. "Composants pour la modélisation des processus métier en productique, basés sur CIMOSA." Metz, 2004. http://docnum.univ-lorraine.fr/public/UPV-M/Theses/2004/Abdmouleh.Anis.SMZ0415.pdf.
Abstract:
Ce travail de thèse se situe dans le cadre du projet C. A. S. (CIMOSA Applications Server) dont l'objectif est la mise en place d'un système d'information (S. I. ) utile à la conception de systèmes d'entreprise et d'applications d'entreprise. Un système d'entreprise doit permettre une organisation transversale entre les entreprises autours d'objectifs communs. Au cœur du S. I. Se trouve un référentiel constitué d'un ensemble de composants logiciels réutilisables destinés à faciliter et automatiser la conception d'applications appelées à manipuler des processus dans le cadre d'une chaîne d'entreprises. Ces travaux de thèse sont focalisés sur la conception du référentiel dans le but est de modéliser les systèmes d'entreprise à travers leurs processus métier en respectant les objectifs communs fixés au niveau de la chaîne d'entreprise. Chaque modèle de système d'entreprise est capitalisé dans une bibliothèque propre à chaque entreprise. La capitalisation des modèles est assurée par le module S. I. R. S. (Système Interactif de Recherche de Séquences) déjà existant au laboratoire. Ce référentiel s'appuie sur une méthodologie de modélisation intégrée dans un méta-modèle basé sur l'approche de CIMOSA. L'implémentation physique de ce méta-modèle a été réalisée par des composants " autonomes " et réutilisables que l'on a nommé : Composants de Modélisation en Entreprise (EMC "Enterprise Modeling Components"). Ces différents composants EMC peuvent être utilisés directement dans les applications d'entreprise ou manipuler dans un framework. Celui-ci permet d'automatiser la modélisation des systèmes d'entreprise. Pour faciliter des améliorations ultérieures et des travaux développement informatique, la conception du méta-modèle et des composants est formalisée dans le langage unifié de modélisation UML (Unified Modeling Language). Une maquette informatique a été développée en orientée objet avec le langage Visual BasicThis thesis work is a part of the project CAS (CIMOSA Application Server) which consists in setting up an information system (I. S. ) useful for enterprise systems and applications design. The core of this I. S. Is a common referential for a chain of enterprises. Indeed, the work thesis was focusing on designing such referential, which allows to model enterprise systems through their business processes. This must be fulfilled by respecting the common objectives of the chain. Thus, the resulting models are capitalized in a systems repository of each enterprise, where they are shared to develop business process applications. The referential offers a methodology of modeling which is integrated in a meta-model based on CIMOSA approach. The physical implementation of this meta-model was realized by "autonomous" and reusable components, which we called: "Enterprise Modeling Components" (E. M. C. ). The design of the meta-model and the components is formalized by the Unified Modeling Language (U. M. L. ) to facilitate subsequent improvements and computing development. To validate the approach, a software prototype of a framework has been developed while referring to the E. M. C. Components. The framework objectives are automating the enterprise systems modeling. The models capitalization ensured by the module S. I. R. S. (Système Interactif de Recherche de Séquences "Interactive System for Sequences Search") existent in the Laboratory. The prototype has been developed with Visual BASIC language in object-oriented programming
41
Delinchant, Benoît. "La CAO et l'optimisation de systèmes, une approche par couplages dynamiques de composants." Habilitation à diriger des recherches, Université de Grenoble, 2011. http://tel.archives-ouvertes.fr/tel-00677457.
Abstract:
C'est au travers d'un panel d'applications de conception en génie électrique, issu de mes travaux de recherche et d'encadrements doctoraux, qu'est illustrée une problématique inhérente à la " conception système ", celle des couplages. Ceux-ci interviennent au niveau de la définition des modèles du système (multi-physiques, multi-formalismes, multi-niveaux...) mais aussi au niveau des analyses possibles sur ce système (simulation dynamique, analyse de sensibilité, optimisation sous contraintes, robustesse, ...). Cette nature complexe est associée à la nature dynamique de la conception système, dans le sens où les couplages naissent en cours de processus. Ces deux caractères font que la réalisation d'outils de CAO adaptés est un véritable challenge que je cherche à relever en répondant à un ensemble d'enjeux décrits dans ce rapport. Pour ce faire, nous disposons, dans mon équipe de recherche, du framework logiciel CADES. Il constitue à la fois notre plateforme expérimentale et le réceptacle de méthodologies que nous valorisons pédagogiquement et industriellement. Mes contributions à ce framework, sont principalement méthodologiques mais également applicatives dans le domaine des MEMS magnétiques et du bâtiment intelligent. Elles sont majoritairement axées vers l'optimisation sous contraintes, en particulier par des formalismes de modélisation dédiés et des méthodes de génération automatique de calcul de Jacobien. En outre, c'est par l'approche à composants logiciels, mise en oeuvre dans CADES, que sont plus spécifiquement pris en compte les couplages dynamiques en question. Les perspectives ouvertes par ces travaux vont de la conception robuste et fiable de systèmes, à la commande optimale en temps réel, en s'appuyant sur des méthodologies de modélisation, de capitalisation et de réutilisation collaborative des connaissances, en exploitant au mieux Internet et les technologies logicielles.
42
Hachichi, Assia. "Container Virtuel Machine : une plate-forme générique pour l'adaptation dynamique des services système dans les intergiciels orientés composants." Paris 6, 2006. http://www.theses.fr/2006PA066614.
Abstract:
Les intergiciels ont été introduits pour faciliter la construction des applications réparties. Ils ont été ensuite enrichis par la notion de l’adaptation dynamique afin de permettre la maintenance dynamique des applictions. Ces derniers sont nommés intergiciels adaptables. Bien qu’ils aient offrent des possibilités d’adaptation, l’aspect réparti de l’adatation dynamique n’a pas été pris en compte. Pour remédier à ce problème, nous proposons une couche d’adaptation générique dans les intergiciels, ayant pour rôle d’adapter dynamiquemnt des services système dans les intergiciels orientés composants. Cette couche est nommée Container Virtual Machine (CVM). La CVM permet d’unifier le comportement d’adaptation entre les différents intergiciels. Elle est constituée de deux parties, une indépendante de l’intergiciel à adapter (PIP), et la seconde dépendante d’un intergiciel donné (PDP). Afin de valider l’approche CVM, deux implémentations ont été réalisées pour OpenCCM et pour JOnAS.
43
Dupré, Elian. "La régulation de la virulence chez Bordetella pertussis : BvgS, modèle original de capteur de système à deux composants." Thesis, Lille 2, 2013. http://www.theses.fr/2013LIL2S022/document.
Abstract:
La virulence de Bordetella pertussis, agent de la coqueluche, est liée à un arsenal de facteurs de virulence dont l’expression est régulée par le système à deux composants BvgAS. BvgA est le régulateur de réponse et BvgS le capteur du système, qui possède 3 domaines putatifs de perception de signaux. Il s’agit de 2 domaines périplasmiques « Venus FlyTrap » (VFT), reliés par un segment transmembranaire à un domaine PAS (Per-ARNT-Sim) cytoplasmique qui fait la jonction avec l’histidine-kinase. Les signaux perçus par ces domaines capteurs sont inconnus, mais une température de 37°C est suffisante pour maintenir le système actif en laboratoire. Cette activité peut être modulée négativement par des composés chimiques, comme le MgSO4 ou le nicotinate, qui à concentrations suffisantes entraînent le passage de la bactérie en phase avirulente.Nous nous sommes intéressés aux domaines VFT de BvgS. Ces domaines, ubiquitaires, sont composés de 2 lobes reliés par une charnière délimitant une cavité qui permet la fixation d’un ligand spécifique stabilisant le VFT sous une forme fermée.Les domaines VFT de BvgS ont pu être cristallisés et s’organisent en un dimère entrelacé définissant de larges interfaces entre les 4 VFTs. Les VFT2 sont fermés sans ligand et les VFT1 ouverts, et la fermeture artificielle de ces domaines par des ponts disulfure a montré qu’il s’agit de la conformation active de BvgS. L’importance des interfaces entre les domaines VFT pour la fonction de BvgS a été démontrée par mutagenèse dirigée. Un signal positif proviendrait du périplasme pour être transmis à travers la membrane par les interfaces entre les VFT et intégré via un couplage fonctionnel en trans entre ces domaines et les hélices pré-membranaires, dites H19.Ces hélices se prolongeraient à travers la membrane et dans le cytoplasme jusqu’au domaine PAS. Les domaines PAS sont ubiquitaires, avec une structure fortement conservée en feuillet à 5 brins recouvert d’hélices délimitant une cavité. Ils sont impliqués dans diverses fonctions biologiques, selon leur capacité de liaison d’un ligand. Certains domaines PAS fonctionneraient sans ligand et pourraient servir d’adaptateurs ou d’amplificateurs de signal.Nous avons pu mettre en évidence la capacité de dimérisation de PASBvg, confirmant la nature dimérique du capteur BvgS. Des substitutions de résidus de la cavité de PASBvg indiqueraient que l’intégrité de la cavité de PASBvg est nécessaire au passage de signaux positifs et négatifs provenant du périplasme. La fixation de ligand dans la cavité n’a pu être démontrée mais n’est pas exclue. D’autre part, certains résidus sont nécessaires au couplage du domaine PAS avec ses hélices flanquantes pour la transmission de signal. La perte de ces interactions déstabilise significativement PASBvg et rend BvgS inactif.Un message positif proviendrait du périplasme et serait maintenu par le domaine PAS, dans une conformation rigide, permettant aussi la transmission des signaux modulateursVirulence of Bordetella pertussis, the whooping cough agent, is due to a plethora of virulence factors which expression is regulated by the two-component system BvgAS. BvgA is a classical response regulator and BvgS the sensor. BvgS contains 3 putative sensor domains, 2 periplasmic Venus FlyTrap (VFT), linked through a transmembrane segment to a cytoplasmic PAS domain preceding the histidine-kinase. Signals perceived by those sensor domains are still unknown, but a 37°C temperature is sufficient to maintain the system active under laboratory conditions. This activity can be down-modulated by chemical compounds, such as MgSO4 or nicotinate, which at sufficient concentration allows the bacteria to switch to avirulent phase.We investigated the role of BvgS VFT domains. VFTs are ubiquitous domains composed of 2 lobes linked by a hinge hence forming a cleft where a specific ligand can bind and stabilize the VFT in its closed conformation.BvgS VFT domains were crystalized and form an intricate dimer defining large interfaces between the 4 VFTs. VFT2s are closed without a ligand and VFT1s are opened, artificial closure of these domains via a disulfide bond indicates that this is the active conformation of BvgS. The role of the interfaces was probed by site-directed mutagenesis. A positive signal might originate from the periplasm to be transmitted through the membrane by the interfaces and integrated by a functional coupling between the VFT2s and the helices preceding the membrane, H19.These helices should be continued through the membrane and the cytoplasm to the PAS domain. Pas domains are ubiquitous with a highly conserved structure, a 5 stranded sheet surrounded by helices defining a cavity. Pas domains are involved in a wide variety of physiological processes, depending on their ability to bind a ligand. Some PAS might function without a ligand and could then be signal adaptors or amplifiers.We demonstrated PASBvg was dimeric, confirming the dimeric nature of BvgS. Cavity residues were substituted indicating that integrity of the cavity is necessary to maintain activity and modulation capacity coming from the periplasmic moiety. Ligand binding wasn’t demonstrated but couldn’t be excluded. Some residues are needed for the correct coupling of the PAS domain to its flanking helices and hence signal transmission. Loss of these connections generates a strong destabilization of PASBvg and turns BvgS inactive.A positive signal might come from the periplasmic moiety and shoul be maintaines by the PAS domain, which is in a rigid conformation also allowing the transmission of negative signals
44
Saidi, Rajaa. "Conception et usage des composants métier processus pour les systèmes d'information." Phd thesis, Grenoble INPG, 2009. http://www.theses.fr/2009INPG0093.
Abstract:
Les Systèmes d'Information (SI) de même domaine d'activité gèrent de nombreux concepts similaires. Ces concepts peuvent être analysés et généralisés dans des abstractions informatiques qui seront réutilisées lors de nouveaux développements. De telles abstractions sont appelées Composants Métier (CM). Cependant, il est souvent difficile d'expliciter des critères clairs de réutilisation, en particulier la manière dont on peut identifier, spécifier, organiser et en grande partie automatiser la réutilisation de ces CM. Les contributions de cette thèse adressent cette problématique et s'articulent autour de trois principaux résultats. La première contribution concerne un modèle de CM de nature processus appelé « CMP ». Ce modèle est centré sur les propriétés fonctionnelles des composants. L'accent est mis sur la complétude et la variabilité de la solution exprimée sous la forme de quatre vues complémentaires intégrant des points de variation. Le travail réalisé sur les mécanismes de spécification de la variabilité a abouti à un profil UML pouvant être utilisé pour modéliser non seulement des processus réutilisables mais aussi des processus flexibles. Une deuxième contribution s'inscrit dans le cadre de la proposition d'un processus permettant la spécification d'un CMP selon le modèle proposé. Dans ce processus, nous définissons un ensemble de règles de construction, de traduction et de cohérence qui assurent la traçabilité des artefacts produits tout au long du cycle de développement. Une troisième contribution concerne la proposition de directives qui assistent l'ingénieur de SI lors de la réutilisation de CMP. L'accent est particulièrement mis sur la proposition d'un formalisme de documentation et de classification de CMP validé dans le cadre d'un environnement de stockage de composants. Nous proposons également un processus d'imitation intégré à la méthode de développement Symphony et permettant de tirer partie de la spécification d'un CMP lors de la conception d'un SI. L'ensemble des propositions est accompagné d'outils et d'expérimentations utilisateurs servant de supports de validation et de mise en œuvre des travaux réalisésInformation Systems (IS) with the same business domain manage similar concepts. These concepts can be analyzed and generalized in abstractions reused in new developments. Such abstractions are called Business Components (BC). However, it is often difficult to express criteria of reuse, particularly how to identify, specify, organize and largely automate the reuse of the BC. The contributions of this thesis address this issue and focus on three main results. The first contribution concerns a process BC model called “PBC”. This model focuses on the functional properties of components. Emphasis is placed on the completeness and the variability of the solution expressed in the form of four complementary views incorporating variation points. Variability integration has led to an UML profile that can be used to model reusable and flexible processes. The second contribution proposes a specification process of a PBC according to the proposed model. In this process, we propose a set of rules for construction, translation and consistency to ensure the traceability of artifacts produced throughout the cycle of development. The third contribution is related to a set of guidelines to assist the IS engineer at the PBC reuse. Emphasis is placed on the proposal of the documentation and the classification of PBC validated in a component storage environment. We also propose an imitation process incorporated into the Symphony method to take advantage of the specification of a PBC in the design of an IS. All proposals are accompanied by tools and experiments used as supports of validation and implementation of the achieved works
45
Saidi, Rajaa. "Conception et usage des composants métier processus pour les systèmes d'information." Phd thesis, Grenoble INPG, 2009. http://tel.archives-ouvertes.fr/tel-00430497.
Abstract:
Les Systèmes d'Information (SI) de même domaine d'activité gèrent de nombreux concepts similaires. Ces concepts peuvent être analysés et généralisés dans des abstractions informatiques qui seront réutilisées lors de nouveaux développements. De telles abstractions sont appelées Composants Métier (CM). Cependant, il est souvent difficile d'expliciter des critères clairs de réutilisation, en particulier la manière dont on peut identifier, spécifier, organiser et en grande partie automatiser la réutilisation de ces CM. Les contributions de cette thèse adressent cette problématique et s'articulent autour de trois principaux résultats. La première contribution concerne un modèle de CM de nature processus appelé « CMP ». Ce modèle est centré sur les propriétés fonctionnelles des composants. L'accent est mis sur la complétude et la variabilité de la solution exprimée sous la forme de quatre vues complémentaires intégrant des points de variation. Le travail réalisé sur les mécanismes de spécification de la variabilité a abouti à un profil UML pouvant être utilisé pour modéliser non seulement des processus réutilisables mais aussi des processus flexibles. Une deuxième contribution s'inscrit dans le cadre de la proposition d'un processus permettant la spécification d'un CMP selon le modèle proposé. Dans ce processus, nous définissons un ensemble de règles de construction, de traduction et de cohérence qui assurent la traçabilité des artefacts produits tout au long du cycle de développement. Une troisième contribution concerne la proposition de directives qui assistent l'ingénieur de SI lors de la réutilisation de CMP. L'accent est particulièrement mis sur la proposition d'un formalisme de documentation et de classification de CMP validé dans le cadre d'un environnement de stockage de composants. Nous proposons également un processus d'imitation intégré à la méthode de développement Symphony et permettant de tirer partie de la spécification d'un CMP lors de la conception d'un SI. L'ensemble des propositions est accompagné d'outils et d'expérimentations utilisateurs servant de supports de validation et de mise en œuvre des travaux réalisés.
46
Chabrol, Damien. "Etude, conception et mise en oeuvre d'un protocole de communication synchrone tolérant aux fautes et prédictible sur des composants réseaux standards." Paris 11, 2006. http://www.theses.fr/2006PA112055.
Abstract:
Cette thèse contribue à la conception de systèmes temps-réel critiques fondés sur des architectures multiprocesseur à mémoire distribuée. Ils constituent une composante essentielle des systèmes informatiques destinés à assurer des fonctions complexes et critiques. Cette thèse concerne essentiellement les média de communications dont le rôle conditionne fortement la capacité du système à respecter la propriété de ponctualité et les exigences de sûreté de fonctionnement. Notre contribution peut se caractériser par les points suivants : -La conception d'un protocole de communication synchrone prédictible et tolérant aux fautes ;-L'étude et la définition du modèle d'exécution pour une gestion efficace et sûre des communications ;-La proposition d'une méthode de génération automatique du cadencement des communications. Notre approche repose sur un modèle de communication permettant l'analyse de la faisabilité, avant exécution, d'un système temps-réel critique distribué tel que la ponctualité et la sûreté du système soient respectées. Cela a conduit tout d'abord à définir un modèle d'exécution reposant sur une gestion parallèle et cadencées par le temps des communications. Un système de contraintes est engendré automatiquement pour calculer le cadencement des communications tout en vérifiant la charge du réseau et le respect de la ponctualité. L'interface de communication ainsi proposée est fondée sur une politique TDMA, dont une variante améliorée est proposée, permet aussi bien l'emploi de composants propriétaires que de composants standard. Ces travaux ont abouti à la réalisation et à l'évaluation d'un prototype dans le cadre du projet OASIS du CEA/SaclayThis PhD thesis contributes to the design and realization of safety-critical real-time systems over multiprocessor architectures with distributed memory. They are an essential component of computing systems intended to ensure complex and critical functions. This PhD thesis concerns essentially communications media which conditions strongly the capability of the system to respect the timeliness property and the dependability requirements. Our contribution is distinguished by these following points:-The design of predictable and fault-tolerant synchronous communication protocol;-The study and the definition of the execution model to the efficient and safe communications management;-The proposal of a method to generate automatically the communications scheduling. Our approach is based on communication model which allows the analysis of the feasibility, before execution, of a distributed safety-critical real-time system with timeliness and safety requirements guarantees. This leads to define a execution model based on a time-triggered and parallel communications management. A constraints system is generated automatically to compute network scheduling in checking the network load and the timeliness respect. Then, the proposed communications interface is based on a TDMA protocol, with a advanced version, which allows to use as well as proprietary components (TTP, FlexRay) than standard components. These PhD works have been realized and integrated into an extended development package of the OASIS project from the CEA/Saclay
47
Touiki, Khalid. "Étude des effets du tabac et de composants du tabac sur les neurones sérotoninergiques in vivo chez le rat." Paris 12, 2007. http://www.theses.fr/2007PA120025.
Abstract:
Il existe des liens entre consommation chronique de tabac et troubles anxio-dépressifs, et le tabagisme maternel augmente la fréquence des dépressions chez les enfants devenus adultes. Le système sérotoninergique (5-HT) est le système de neurotransmetteurs cérébraux le plus impliqué dans la dépression et son traitement. L'objectif de ce travail était d'étudier les effets du tabac et de ses principaux composants sur la neurotransmission 5-HT en utilisant comme modèle l'activité électrophysiologique des neurones 5-HT du noyau du raphé dorsal enregistrés in vivo sous anesthésie. Les résultats montrent que : - En aigu : la nicotine, ainsi que d'autres composants de tabac, l'harmane, la nornicotine et l'anabasine, inhibent l'activité des neurones 5-HT. L'harmane est un inhibiteur de la monoamine oxydase de type A (IMAO-A) et son effet inhibiteur ne serait pas lié à cette propriété IMAO-A, et c'est un effet différent de celui de la nicotine. Les effets de la nicotine, de la nornicotine et de l'anabasine se ressemblent, avec un mécanisme impliquant les récepteurs nicotiniques. La répétition des injections de nicotine désensibilise les neurones. Les extraits globaux du tabac et de fumée ont un effet nicotine-like mais plus intense que celui de la nicotine seule. - En chronique : la nicotine modifie de façon dos-dépendante la sensibilité des neurones 5-HT au citalopram (inhibiteur de la recapture de sérotonine), sans changement de l'activité basale de ces neurones. - En traitement prénatal : chez les rats devenus adultes, on observe une augmentation de l'activité de base des neurones 5-HT et une disparition de leur désensibilisation aux injections aiguës répétées de nicotineStudies have shown relationships between tobacco consumption and depression. It has also been shown that offspring of smoking mothers show greater tendency towards mood alterations as adults. The serotonergic (5-HT) systems is the brain neurotransmitter system most strongly implicated in depression and its treatment. The aim of the present work was to evaluate the effects of nicotine and other major tobacco components on 5-HT neurotransmission by using an electrophysiological model : the firing of dorsal raphe nucleus 5-HT neurons captured in vivo in anaesthetised rats. The results show that : - Acute administration of : nicotine, harmane, nornicotine and anabasine inhibit the firing of 5-HT neurons. Although harmane is a monoamine oxidase-A inhibitor, its inhibiting effects on 5-HT neurons is unrelated to this fact. The effects of harmane on 5-HT neurons differ from those of nicotine. Nicotine, nornicotine and anabasine effects were similar and involve nicotinic receptors. Repeated nicotine injections desensitize neurons. Tobacco extracts and smoke extracts have a nicotine-like effect but one much more marked than the effects of nicotine alone. - Chronic nicotine administration dose-dependently afters the sensitivity of 5-HT neurons to citalopram (a selective serotonin recapture inhibitor), without modifying the basal firing of neurons. - Adult offspring of female rats pretreated with nicotine during gestation show an increase of basal firing of 5-HT neurons and an absence of desensitization of neurons during repeated acute injections of nicotine
48
Valton, Julien. "Réaction d'hydroxylation aromatique catalysée par une hydroxylase flavine-dépendante à deux composants : le système ActVA-ActVB de Streptomyces coelicolor." Phd thesis, Université de Grenoble, 2005. http://tel.archives-ouvertes.fr/tel-00823949.
Abstract:
Il y a une dizaine d'années, de nouvelles flavoenzymes nommées hydroxylases flavine-dépendantes à deux composants ont été identifiées chez certains microorganismes. Le rôle physiologique de ces enzymes est maintenant bien connu. Elles sont impliquées dans les processus de biosynthèse et de biodégradation d'une multitude de molécules organiques. Ces hydroxylases sont composées de deux enzymes distinctes. La première est une flavine réductase qui catalyse la formation de flavine réduite nécessaire au fonctionnement de la seconde enzyme, une monooxygénase flavine-dépendante. Au début de notre projet, le mécanisme enzymatique de ces nouvelles hydroxylases était encore inconnu. Pour comprendre le détail de leur fonctionnement, nous avons choisi d'étudier le système ActVA-ActVB, un nouveau membre de la famille des hydroxylases flavine-dépendantes impliqué dans la dernière étape de biosynthèse de l'actinorhodine, un antibiotique naturel synthétisé par Streptomyces coelicolor. La caractérisation préalable de ActVB avait permis de montrer que cette enzyme était une NADH:FMN oxydoréductase capable de catalyser la réduction du FMN par le NADH selon un mécanisme de type séquentiel ordonné. Nos résultats ont permis d'identifier ActVA-Orf5, une monooxygénase flavine-dépendante capable d'utiliser la flavine réduite fournie par ActVB pour catalyser l'hydroxylation du précurseur de l'actinorhodine, la DHK. Le mécanisme de transfert de flavine entre les deux protéines a été étudié. Pour cela, les constantes de dissociation du FMNox et FMNred vis-à-vis de ActVA et ActVB ont été déterminées. Nos donnés montrent clairement qu'à l'état réduit, la flavine est bien plus affine pour la monooxygénase ActVA que pour la réductase ActVB alors qu'à l'état oxydé, elle possède une meilleure affinité pour la réductase que pour la monooxygénase. Cette différence d'affinité permet d'orienter le transfert de flavine d'une protéine à l'autre sans nécessiter d'interaction entre les deux protéines. Nous avons montré de plus que ActVA avait la capacité de stabiliser un intermédiaire activé de l'oxygène, une espèce électrophile nommée C(4a)-hydroperoxyflavine, au sein de son site actif. Cet intermédiaire réagit très rapidement avec la DHK nucléophile pour former son analogue hydroxylé : la DHK-OH. En accord avec ce mécanisme, il semble que le pouvoir nucléophile du substrat est très important pour cette réaction car seule la forme réduite à deux électrons de DHK (hydroquinone) est hydroxylée. D'autre part, ActVA ne semble pas être très spécifique car elle parvient également à catalyser l'hydroxylation de l'énantiomère de la DHK, la NNM-A et de l'analogue lactonique de la NNM-A, la NNM-D. Finalement le système ActVA-ActVB n'a pas la capacité de dimériser la DHK-OH pour former l'actinorhodine et l'enzyme intervenant dans la dernière étape de cette biosynthèse reste à identifier.
49
Chambéry, Daniel. "Etude de l'expression des composants du système insulin-like growth factor (igf) dans un modèle dérivé d'un neuroblastome humain." Paris 5, 1999. http://www.theses.fr/1999PA055014.
Abstract:
Les éléments du système IGF sont fortement impliqués dans la prolifération et la différenciation des cellules dérivées du neuroblaste. Nous avons montre que l'acide rétinoïque (atra) modulait l'expression des IGFBP2, 4 ET 6 au niveau transcriptionnel et/ou post-transcriptionnel dans la lignée cellulaire SK-N-SH dérivée d'un neuroblastome humain. Nous avons également montre que d'autres agents induisant la différenciation de ces cellules comme les isomères 9-CIS ET 13-CIS RA, la vitamine D3, T3 ou bien le TPA pouvaient réguler l'expression des 3 IGFBP secrétées par les cellules SK-N-SH. Nous avons cloné le promoteur proximal de l'iGFBP6 humaine (NT766/+1 du site d'initiation de la traduction) et nous avons mis en évidence un élément indispensable à une activité basale maximale dans les 100 premières paires de base et la présence d'un répresseur dans la région NT766/639. Nous avons montre par ailleurs que les régulations par la vitamine D3, T3 OU LE TPA pouvaient s'effectuer au niveau transcriptionnel sur le gène HIGFBP6. L'oncogène N-MYC est un facteur de mauvais pronostic important dans le neuroblastome, c'est pourquoi, nous avons ensuite étudié son effet sur l'expression des composants du système IGF dans la lignée SK-N-SH (qui ne l'exprime pas). Nous avons montré sur des clones de cellules transfectees de façon stable avec N-MYC, une augmentation de l'expression du récepteur de type I, de l'IGF-II, de l'IGFBP2 et de l'IGFBP4 et a l'inverse une diminution de l'IGFBP6. Nous avons complété ces expériences par une étude sur la prolifération de ces cellules et nous avons montre que l'oncogene N-MYC induisait la prolifération des cellules in vitro et stimulait l'apparition de tumeurs chez des souris nude contrairement aux cellules contrôles transfectees avec la forme MUTEE N-MYC/XHOI. L'ensemble de ces données améliorent nos connaissances sur la régulation de l'expression des éléments du système IGF et la prolifération des cellules dans le neuroblastome.
50
Comenge, Yannick. "Caractérisation du système à deux composants CroRS et implication dans la résistance intrinsèque aux beta-lactamines de Enterococcus faecalis." Paris 7, 2004. http://www.theses.fr/2004PA077040.