Pour voir les autres types de publications sur ce sujet consultez le lien suivant : Contrôle du point de commutation.
Thèses sur le sujet « Contrôle du point de commutation »
Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres
Consultez les 50 meilleures thèses pour votre recherche sur le sujet « Contrôle du point de commutation ».
À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.
Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.
Parcourez les thèses sur diverses disciplines et organisez correctement votre bibliographie.
1
Liang, Mincui. « Dynamic Wireless Charging System ». Electronic Thesis or Diss., Université Clermont Auvergne (2021-...), 2024. http://www.theses.fr/2024UCFA0072.
Texte intégralRésumé :
Le transfert dynamique de puissance sans fil est une solution prometteuse pour recharger les véhicules électriques lors de la conduite. Il s'agit cependant d'un défi technique en raison de la nature faiblement couplée et dynamique du système. Pour relever ce défi, cette thèse propose une nouvelle méthode de contrôle du point de commutation pour assurer un transfert de puissance élevé et efficace pour une large gamme de valeurs de couplage. La thèse a examiné en profondeur le transfert de puissance sans fil série-série et, du point de vue de la conception et du contrôle, a étudié en profondeur tous les aspects techniques qui pourraient potentiellement affecter les performances du système en théorie en simulation et en pratique.Du point de vue de la conception du système, différentes méthodes de modélisation et de calcul théoriques ont d'abord été réalisées pour calculer, sélectionner et valider les composants clés du système et leurs valeurs. Une approche de conception et d'analyse paramétrique basée sur un modèle holistique a été adoptée pour générer et évaluer des alternatives de conception du système par rapport avec des critères de performance spécifiques. Par conséquent, une conception optimale du système de transfert d'énergie sans fil série-série a été obtenue avec un rapport de fréquence de résonance proche de l'unité et des performances élevées pour une large plage de couplage et de fréquences de fonctionnement. Du point de vue du contrôle du système, des analyses systématiques ont d'abord été effectuées pour comprendre en profondeur les relations entre les fréquences de fonctionnement et la puissance de sortie et identifier les fréquences optimales qui pourraient être potentiellement utilisées comme variables de contrôle pour optimiser les performances des systèmes. Au cours du processus, un triangle de puissance a été introduit pour relier fréquence, déphasage et puissance et suggérer un contrôle du dispositif de transfert d'énergie sans fil en mode dynamique. La fréquence liée à la commutation au zéro de courant au primaire a été utilisée comme valeur initiale pour retrouver le point de commutation optimal dans le plan de phase. Cette démarche n'a pas besoin des informations côté secondaire du système. Plus précisément, un correcteur de tension innovant a été proposé pour corriger la trajectoire des variables d'état au primaire afin d'atteindre la bonne fréquence de résonance en évitant les oscillations. Le paramètre de contrôle appelé rayon de contrôle représente l'énergie cible stockée dans l'inducteur primaire et dans le condensateur associé.La méthode proposée a non seulement résolu les trois problèmes majeurs liés au contrôle des systèmes de transfert d'énergie sans fil série-série, à savoir la bifurcation de fréquence, les solutions multiples pour un rayon de contrôle et l'instabilité, mais a également assuré que le système pouvait atteindre un transfert de puissance maximale avec un rendement supérieur à 90\% tant en statique qu'en dynamique. De plus, grâce au suivi des deux variables d'état, le système est auto protégé contre les circuits ouverts et les court-circuitsDynamic wireless power transfer is a promising solution for charging electric vehicles while driving. It is, however, technically challenging due to the loosely-coupled and dynamic nature of the system. To address this challenge, this thesis proposed a novel switching point control method to ensure a high and efficient power transfer for a wide range of coupling situations. The thesis took a deep dive into the series-series wireless power transfer and, from both design and control perspectives, thoroughly investigated all the technical aspects which could potentially affect the system performances in theory and practice.From the system design perspective, different theoretical modelling and calculation methods were first derived to compute, select and validate the key components of the system and their parameters. A holistic model-based parametric design and analysis approach was adopted to generate and evaluate design alternatives of the system against specified performance criteria.Consequently, an optimal design of the series-series wireless power transfer system was achieved with a close-to-one resonant frequency ratio and high performances for the wide ranges of coupling situations and operating frequencies. From the system control perspective, systematic analyses were first carried out to thoroughly understand the interrelations between the operating frequencies and output power and identify the optimal frequencies which could be potentially utilised as control variables for optimising the performance of the system. During the process, a power triangle effect was discovered to reveal the causal relationship between frequency, phase shift and power, and to provide insights into the control of dynamic wireless power transfer systems. The primary zero phase angle frequency was used as the basis for developing a phase-plane-based switching point control method for static and dynamic wireless power transfer based only on the primary side state variables without needing any information from the secondary side of the system. Specifically, an innovative voltage corrector was proposed to purposely reshape the control trajectory to match the control law and to reach the control target from both sides of the resonance frequencies, leading to the right control solutions without oscillation for given control radii.The proposed method did not only solve the three major problems related to the control of series-series wireless power transfer systems, i.e. frequency bifurcation, multiple solutions for one control radius and oscillation, but also ensured the system could achieve a high and efficient power transfer under dynamic operating conditions and in the meantime provide self-protection to the wireless power transfer systems
2
Parriaux, Jérémy. « Contrôle, synchronisation et chiffrement ». Electronic Thesis or Diss., Université de Lorraine, 2012. http://www.theses.fr/2012LORR0129.
Texte intégralRésumé :
Cette thèse traite de la synchronisation des systèmes dynamiques.La synchronisation est étudiée pour une configuration de type maître-esclave, c'est-à-dire pour des systèmes couplés de façon unidirectionnelle. Ce type de configuration s'avère d'un intérêt tout particulier car elle correspond à des architectures de communications chiffrées un-vers-un ou un-vers-plusieurs. Une attention spécifique est portée sur l'autosynchronisation, comportement qui caractérise la synchronisation par le simple couplage maître-esclave et donc en l'absence de tout contrôle extérieur. Elle joue un rôle majeur dans les communications impliquant des chiffreurs par flot autosynchronisants. L'étude de l'autosynchronisation dans le contexte cryptographique s'appuie sur la théorie du contrôle. Un lien original entre l'autosynchronisation et le principe de chiffrement/déchiffrement en cryptographie est mis en évidence. Il fait appel à la propriété de platitude des systèmes dynamiques, un concept emprunté à l'automatique. On montre que les systèmes dynamiques plats définissent complètement l'ensemble des systèmes autosynchronisants et permettent d'élargir les structures existantes des chiffreurs autosynchronisants. La platitude est tout d'abord étudiée pour deux types de systèmes non linéaires~: les systèmes linéaires commutés et à paramètres variants (LPV). La caractérisation des sorties plates s'appuie sur le concept de semigroupes nilpotents et un algorithme performant est proposé. Une approche constructive pour réaliser des structures maître-esclave autosynchronisantes est proposée sur la base de systèmes plats et les notions d'inversibilité à gauche et à droite empruntées à la théorie du contrôle. Par la suite, l'autosynchronisation est étudiée dans le contexte booléen, privilégié en cryptographie.Elle est caractérisée en premier lieu au travers la notion d'influence. Ensuite, différentes représentations matricielles associées aux fonctions booléennes sont proposées. Ces représentations s'avèrent particulièrement intéressantes pour l'analyse des propriétés liées à la sécurité. Un lien entre l'autosynchronisation et les structures propres des représentations matricielles est établi. Une approche orientée graphes est finalement élaborée pour la caractérisation. De nouvelles constructions de structures autosynchronisantes en sont déduites et des éléments de sécurité sont discutés. Enfin, une plateforme de test à base de FPGA qui a été réalisée est décriteThis thesis deals with the synchronization of dynamical systems. The synchronization considered is called master-slave, that is, the dynamical systems are connected in a unidirectional way. This configuration is of interest because it corresponds to an architecture encountered in secured communications of type one-to-one or one-to-many. A special attention is paid to self-synchronization. A behaviour that characterizes synchronization achieved with a simple master-slave coupling and so, without any external control. It is a central feature of self-synchronizing stream ciphers. The study of self-synchronization in the cryptographic context relies on control theory. An original connection between self-synchronization and encryption/decryption is provided. It is based on the flatness property of dynamical systems, a property borrowed from automatic control. It is shown that flat dynamical systems completly define the set of all self-synchronizing systems and thus, enlarge the existing structures of self-synchronizing stream ciphers. Flatness is first of all studied for the case of two nonlinear systems: switched linear systems and linear parameter-varying (LPV) systems. Flatness caracterization is based on the concept of nilpotent semigroups and an efficient algorithm is provided. A constructive approach for self-synchronizing master-slave structures is proposed. It relies on the construction of flat systems as well as on left and right invertibility also borrowed from control theory. Then, self-synchronization is studied in the Boolean context which is preferred in cryptography. Self-synchronization is caracterized through the notion of influence. Several matrix representations of Boolean functions are proposed. These representations are especially interesting for security analysis. A connection between self-synchronization and the eigenstructures of these matrices is established. Then, a graph oriented approach is provided. New self-synchronizing constructions are deduced and security elements are discussed. Eventually, the description of a realized FPGA based test plateform is provided
3
Parriaux, Jérémy. « Contrôle, synchronisation et chiffrement ». Thesis, Université de Lorraine, 2012. http://www.theses.fr/2012LORR0129/document.
Texte intégralRésumé :
Cette thèse traite de la synchronisation des systèmes dynamiques.La synchronisation est étudiée pour une configuration de type maître-esclave, c'est-à-dire pour des systèmes couplés de façon unidirectionnelle. Ce type de configuration s'avère d'un intérêt tout particulier car elle correspond à des architectures de communications chiffrées un-vers-un ou un-vers-plusieurs. Une attention spécifique est portée sur l'autosynchronisation, comportement qui caractérise la synchronisation par le simple couplage maître-esclave et donc en l'absence de tout contrôle extérieur. Elle joue un rôle majeur dans les communications impliquant des chiffreurs par flot autosynchronisants. L'étude de l'autosynchronisation dans le contexte cryptographique s'appuie sur la théorie du contrôle. Un lien original entre l'autosynchronisation et le principe de chiffrement/déchiffrement en cryptographie est mis en évidence. Il fait appel à la propriété de platitude des systèmes dynamiques, un concept emprunté à l'automatique. On montre que les systèmes dynamiques plats définissent complètement l'ensemble des systèmes autosynchronisants et permettent d'élargir les structures existantes des chiffreurs autosynchronisants. La platitude est tout d'abord étudiée pour deux types de systèmes non linéaires~: les systèmes linéaires commutés et à paramètres variants (LPV). La caractérisation des sorties plates s'appuie sur le concept de semigroupes nilpotents et un algorithme performant est proposé. Une approche constructive pour réaliser des structures maître-esclave autosynchronisantes est proposée sur la base de systèmes plats et les notions d'inversibilité à gauche et à droite empruntées à la théorie du contrôle. Par la suite, l'autosynchronisation est étudiée dans le contexte booléen, privilégié en cryptographie.Elle est caractérisée en premier lieu au travers la notion d'influence. Ensuite, différentes représentations matricielles associées aux fonctions booléennes sont proposées. Ces représentations s'avèrent particulièrement intéressantes pour l'analyse des propriétés liées à la sécurité. Un lien entre l'autosynchronisation et les structures propres des représentations matricielles est établi. Une approche orientée graphes est finalement élaborée pour la caractérisation. De nouvelles constructions de structures autosynchronisantes en sont déduites et des éléments de sécurité sont discutés. Enfin, une plateforme de test à base de FPGA qui a été réalisée est décriteThis thesis deals with the synchronization of dynamical systems. The synchronization considered is called master-slave, that is, the dynamical systems are connected in a unidirectional way. This configuration is of interest because it corresponds to an architecture encountered in secured communications of type one-to-one or one-to-many. A special attention is paid to self-synchronization. A behaviour that characterizes synchronization achieved with a simple master-slave coupling and so, without any external control. It is a central feature of self-synchronizing stream ciphers. The study of self-synchronization in the cryptographic context relies on control theory. An original connection between self-synchronization and encryption/decryption is provided. It is based on the flatness property of dynamical systems, a property borrowed from automatic control. It is shown that flat dynamical systems completly define the set of all self-synchronizing systems and thus, enlarge the existing structures of self-synchronizing stream ciphers. Flatness is first of all studied for the case of two nonlinear systems: switched linear systems and linear parameter-varying (LPV) systems. Flatness caracterization is based on the concept of nilpotent semigroups and an efficient algorithm is provided. A constructive approach for self-synchronizing master-slave structures is proposed. It relies on the construction of flat systems as well as on left and right invertibility also borrowed from control theory. Then, self-synchronization is studied in the Boolean context which is preferred in cryptography. Self-synchronization is caracterized through the notion of influence. Several matrix representations of Boolean functions are proposed. These representations are especially interesting for security analysis. A connection between self-synchronization and the eigenstructures of these matrices is established. Then, a graph oriented approach is provided. New self-synchronizing constructions are deduced and security elements are discussed. Eventually, the description of a realized FPGA based test plateform is provided
4
Hetel, Laurentiu. « Stabilité et commande robuste des systèmes à commutation ». Phd thesis, Institut National Polytechnique de Lorraine - INPL, 2007. http://tel.archives-ouvertes.fr/tel-00202479.
Texte intégralRésumé :
Les travaux de cette thèse portent sur l'analyse de stabilité et la synthèse de commandes robustes pour les systèmes linéaires à commutation en temps discret avec des incertitudes polytopiques et des incertitudes sur la loi de commutation. On considère des lois de commutations arbitraires et on montre que l'utilisation des fonctions de Lyapunov commutées dépendant de paramètres permet de déterminer des critères de stabilité et de stabilisation robuste moins conservatifs. Ensuite, des conditions de stabilité robuste pour les systèmes en temps discret avec une loi de commutation incertaine sont présentées en termes de temps minimum de séjour. Les résultats obtenus s'avèrent utiles dans le contexte de la commande numérique des systèmes continus en présence d'imprécisions sur les instants d'échantillonnage etl'application des commandes. Nous montrons comment une modélisation à base d'évènements permet de ramener le problème original à un problème spécifique aux systèmes à commutation avec des incertitudes polytopiques. Les résultats sont étendus au cas des systèmes à commutation continus commandés par des correcteurs numériques.
5
Hetel, Laurentiu. « Stabilité et commande robuste des systèmes à commutation ». Electronic Thesis or Diss., Vandoeuvre-les-Nancy, INPL, 2007. http://www.theses.fr/2007INPL089N.
Texte intégralRésumé :
Les travaux de cette thèse portent sur l’analyse de stabilité et la synthèse de commandes robustes pour les systèmes linéaires à commutation en temps discret avec des incertitudes polytopiques et des incertitudes sur la loi de commutation. On considère des lois de commutations arbitraires et on montre que l’utilisation des fonctions de Lyapunov commutées dépendant de paramètres permet de déterminer des critères de stabilité et de stabilisation robuste moins conservatifs. Ensuite, des conditions de stabilité robuste pour les systèmes en temps discret avec une loi de commutation incertaine sont présentées en termes de temps minimum de séjour. Les résultats obtenus s’avèrent utiles dans le contexte de la commande numérique des systèmes continus en présence d’imprécisions sur les instants d’échantillonnage et d’application des commandes. Nous montrons comment une modélisation à base d’évènements permet de ramener le problème original à un problème spécifique aux systèmes à commutation avec des incertitudes polytopiques. Les résultats sont étendus au cas des systèmes à commutation continus commandés par des correcteurs numériquesThis PhD thesis is dedicated to the study of robust stability analysis and control synthesis for discrete time uncertain switching systems under arbitrary switching. Polytopic uncertainties are considered. We show that Lyapunov functions that depend on the uncertain parameter and that take into account the structure of the system may be used in order to reduce the conservatism related to uncertainty problems. Next, we consider the case of discrete time switched systems that are stabilized by a switched state feedback for which the switching signal may be temporary uncertain. Dwell time conditions for stability analysis of such systems are given. These results are usefull in the context of continuous time are stabilized via a computer when uncertainties occur on the sampling and actuation events. We present a new event based discrete-time model and we show that the stabilizability of this system can be achieved by finding a control for a switched polytopic system. The methodology is extended to the case of switched system
6
Cavelier, Cindy. « Etude du point de contrôle des dommages à l'ADN ». Toulouse 3, 2010. http://thesesups.ups-tlse.fr/889/.
Texte intégralRésumé :
Les Leucémies Aiguës Myéloïdes (LAM) représentent un groupe hétérogène de pathologies développées aux dépend des progéniteurs myéloïdes immatures normaux, caractérisées sur le plan moléculaire par des modifications de l'expression de facteurs transcriptionnels aboutissant à un blocage de la maturation, et par une activation aberrante de molécules de la transduction du signal conférant aux cellules leucémiques des avantages prolifératifs et de survie. Dans ce travail, nous avons montré que la protéine kinase CHK1, impliquée dans le maintien de l'intégrité du génome en contrôlant l'arrêt du cycle cellulaire à la transition G1/S et G2/M après dommages constitutifs à l'ADN, prolonge son activation après dommages dans les cellules de LAM immatures permettant ainsi leur maintien en phase G2. Cette meilleure efficacité du point de contrôle G2/M des cellules immatures contribue très probablement à la chimiorésistance naturelle observée et largement documentée des cellules leucémiques immatures. De plus, nous montrons que la kinase CHK1 est anormalement activée dans les échantillons de LAM en raison de la présence de dommages à l'ADN constitutifs dans ces cellules. L'étude des caractéristiques cytogénétiques des patients nous a permis de mettre en évidence un haut niveau de dommages dans les LAM de haut risque cytogénétique, en particulier celles avec des cellules à caryotype complexe. L'inactivation de CHK1 par l'inhibiteur UCN-01 et par interférence à l'ARN aboutit à une inhibition des capacités clonogènes des progéniteurs leucémiques et à une chimiosensibilisation vis-à-vis de l'agent chimiothérapeutique ara-C. En revanche, les cellules hématopoïétiques normales CD34+, qui ne présentent pas de dommages constitutifs, sont beaucoup moins sensibles à l'UCN-01. Cet agent n'affecte pas non plus les capacités clonogènes des progéniteurs granulo-monocytaires normaux aux doses utilisées sur les cellules de LAM. Ces résultats nous ont permis de montrer que la kinase CHK1 joue un rôle important à la fois dans la chimiorésistance des cellules leucémiques immatures et dans l'établissement de l'instabilité génétique observée dans les LAM à caryotype complexe. Enfin, ces travaux ouvrent des perspectives intéressantes sur l'utilisation de composés inhibiteurs des kinases du point de contrôle du cycle cellulaire dans les LAM et en particulier celles présentant le plus mauvais pronostic, les LAM à caryotype complexeAcute Myeloid Leukemia (AML) is a clonal hematopoietic disorder characterized by the accumulation of malignant hematopoietic progenitor cells with an impaired myeloid differentiation program. The molecular basis of AML is thought to be associated with the acquisition of at least two types of critical cooperating mutations occurring at the hematopoietic stem or committed progenitors level. Class I mutations, affecting tyrosine kinases receptors and key components of cellular signalling pathways, confer growth and proliferative advantages. They are associated with class II mutations, affecting transcription factors thus leading to impaired normal differentiation program. In this study, we were first interested in CHK1, a protein kinase involved in preserving genome integrity by playing a critical role at the intra-S and G2/M cell cycle checkpoint activated in DNA damage response. We have shown that activation of CHK1 was sustained in immature cell lines, leading to a more stringent G2/M checkpoint in response to DNA damage, thus impairing illegitimate entry into mitosis in presence of unrepaired DNA damage and participating in their resistance to genotoxic agents. In a second study, we have demonstrated an abnormal activation of the CHK1 kinase in a large panel of AML patient samples, associated with the presence of constitutive DNA damage in absence of genotoxic stress. Moreover, the level of CHK1 activation is significantly correlated with unfavourable cytogenetic samples, particularly with complex karyotype phenotype. CHK1 inhibition by the pharmacological inhibitor UCN-01 or by RNA interference was found to decrease the clonogenic capacity of the AML progenitors, and to induce a chemosensitisation to ara-C. In contrast, growth of normal hematopoietic progenitors, which do not display constitutive DNA damage, was not impaired by such treatment. Overall, all these results underline the dual role of CHK1 kinase in AML pathology in the chemoresistance of immature leukemic cells and in the establishment of the genomic instability observed in complex karyotype AML. These findings could have major pharmacologic consequences, because they open a therapeutic window for new compounds targeting the cell cycle checkpoint machinery in AML and more particularly in the worst prognostic group with complex karyotype
7
Bagneres, Moisseron Monique. « Etude de procédés technologiques pour le contrôle des propriétés de commutation des composants bipolaires de puissance ». Toulouse, INSA, 1995. http://www.theses.fr/1995ISAT0013.
Texte intégralRésumé :
Une des principales difficultes lors de la conception des structures bipolaires de puissance est le compromis entre les proprietes statiques et les performances dynamiques du composant. D'autres contraintes d'ordre technologiques et economiques sont a prendre en compte. Deux procedes technologiques ont ete developpes et caracterises au cours de ce travail. L'introduction de titane localisee a la surface du composant entraine une diminution de la duree de vie effective des porteurs dans la structure due a un controle des vitesses de recombinaison localisees. Cette technique presente bien le resultat escompte quant a la maitrise des temps de commutation (jusqu'a -40%) mais la degradation observee des tenues en tension a oriente nos etudes vers un second procede base sur la technique de soudure directe sur silicium. En effet, l'interface de collage presente dans le volume des substrats permet d'une part d'introduire de facon localisee des centres profonds et d'autre part de realiser des profils de dopage differents de ceux obtenus par la technique classique de l'epitaxie. La caracterisation de transistors bipolaires de test realises sur des substrats colles a mis en evidence les larges possibilites que presente cette technique de preparation de substrats quant a l'optimisation des structures bipolaires de puissance (-63% sur les temps de commutation a la fermeture des diodes realisees sur des substrats colles)
8
Richardeau, Frédéric. « Commutateurs de courant et cycloconvertisseurs : procédés de réduction et de contrôle interne de la puissance réactive ». Toulouse, INPT, 1996. http://www.theses.fr/1996INPT031H.
Texte intégralRésumé :
Cette these traite de nouveaux procedes de reduction et de controle interne de la puissance reactive mise en jeu par les commutateurs de courant et les cycloconvertisseurs. Les techniques de controle requierent deux parametres de reglage independants obtenus soit par le decalage variable des angles de controle des cellules de commutation ou bien par l'introduction d'un interrupteur controle de roue-libre. L'application de ce concept aux alimentations de four a arc a courant continu a permis la mise au point d'une loi de commande en boucle fermee a tres faible niveau de flicker sans l'adjonction d'un compensateur dynamique de puissance reactive. Le procede de reduction et de suppression de la puissance reactive repose sur l'association d'interrupteurs a mecanismes de commutation duaux au moyen de thyristors (mode zcs) et de gto symetriques (mode zvs). La commande de blocage des gto sur une alimentation impedante necessite l'introduction d'un ecreteur actif de tension. L'examen du processus de commutation de cet ensemble a permis de mieux comprendre le fonctionnement interne et de lier les contraintes en di/dt et dv/dt aux parametres du circuit. Cette analyse a ete confirmee par l'experimentation de commutateurs mixtes a un niveau de puissance de 15 kw. L'extension de ce concept a la conversion directe de frequence repose essentiellement sur deux structures naturellement reversibles en courant a thyristors et gto: le cycloconvertisseur en ponts complets et le cycloconvertisseur en ponts mixtes. Bien que dans les deux cas la puissance reactive moyenne soit nulle, le premier montage possede un facteur de puissance superieur et une mise en uvre plus simple. L'analyse comparative de ces structures et de leurs variantes a ete validee sur un prototype modulaire a un niveau de puissance de 27 kva. Ces montages, dedies a la forte puissance, semblent etre bien adaptes aux reseaux de bord, notamment en propulsion navale
9
Soua, Samir. « Étude et développement de stratégies de contrôle des courants d'une machine synchrone à aimants permanents et commutation électronique ». Toulouse, INPT, 1991. http://www.theses.fr/1991INPT093H.
Texte intégralRésumé :
En vue d'ameliorer les performances des servomoteurs a aimants permanents et commutation electronique, differentes strategies de controle des courants dans l'induit sont analysees et comparees. Apres avoir rappele les principes de fonctionnement et recense les differentes strategies, des outils de simulation numerique sont presentes, qui prennent en compte les pertes dans l'onduleur et la machine. Ces outils sont ensuite utilises pour analyser successivement les strategies de controle du type tout ou rien et les strategies de controle par regulateurs lineaires. Pour les premieres, des methodes pour diminuer la frequence de commutation et les ondulations des courants sont proposees. Pour les deuxiemes, apres avoir monte comment peuvent etre calcules les regulateurs, des ameliorations sont testees telles: la compensation des fem ou l'elimination des composants continus par retour filtre. Le comportement du servomoteur aux vitesses elevees est ensuite examine et une commande particuliere permettant d'augmenter la gamme de vitesse est proposee. Finalement, le montage experimental utilise est decrit et, sur ce montage, certaines des strategies etudiees theoriquement sont testees sur le plan fonctionnel et comparees au niveau des pertes
10
Parriaux, Jeremy. « Contrôle, synchronisation et chiffrement ». Phd thesis, Université de Lorraine, 2012. http://tel.archives-ouvertes.fr/tel-00749151.
Texte intégralRésumé :
Cette thèse traite de la synchronisation des systèmes dynamiques. La synchronisation est étudiée pour une configuration de type maître-esclave, c'est-à-dire pour des systèmes couplés de façon unidirectionnelle. Ce type de configuration s'avère d'un intérêt tout particulier car elle correspond à des architectures de communications chiffrées un-vers-un ou un-vers-plusieurs. Une attention spécifique est portée sur l'autosynchronisation, comportement qui caractérise la synchronisation par le simple couplage maître-esclave et donc en l'absence de tout contrôle extérieur. Elle joue un rôle majeur dans les communications impliquant des chiffreurs par flot autosynchronisants. L'étude de l'autosynchronisation dans le contexte cryptographique s'appuie sur la théorie du contrôle. Un lien original entre l'autosynchronisation et le principe de chiffrement/déchiffrement en cryptographie est mis en évidence. Il fait appel à la propriété de platitude des systèmes dynamiques, un concept emprunté à l'automatique. On montre que les systèmes dynamiques plats définissent complètement l'ensemble des systèmes autosynchronisants et permettent d'élargir les structures existantes des chiffreurs autosynchronisants. La platitude est tout d'abord étudiée pour deux types de systèmes non linéaires~: les systèmes linéaires commutés et à paramètres variants (LPV). La caractérisation des sorties plates s'appuie sur le concept de semigroupes nilpotents et un algorithme performant est proposé. Une approche constructive pour réaliser des structures maître-esclave autosynchronisantes est proposée sur la base de systèmes plats et les notions d'inversibilité à gauche et à droite empruntées à la théorie du contrôle. Par la suite, l'autosynchronisation est étudiée dans le contexte booléen privilégié en cryptographie. Elle est caractérisée en premier lieu au travers la notion d'influence. Ensuite, différentes représentations matricielles associées aux fonctions booléennes sont proposées. Ces représentations s'avèrent particulièrement intéressantes pour l'analyse des propriétés liées à la sécurité. Un lien entre l'autosynchronisation et les structures propres des représentations matricielles est établi. Une approche orientée graphes est finalement élaborée pour la caractérisation. De nouvelles constructions de structures autosynchronisantes en sont déduites et des éléments de sécurité sont discutés. Enfin, une plateforme de test à base de FPGA qui a été réalisée est décrite.
11
Mihaita, Adriana. « Approche probabiliste pour la commande orientée évènement des systèmes stochastiques à commutation ». Thesis, Grenoble, 2012. http://www.theses.fr/2012GRENT036/document.
Texte intégralRésumé :
Les systèmes hybrides sont des systèmes dynamiques, caractérisés par un comportementdual, une interaction entre une partie discrète et une partie continue de fonctionnement.Dans le centre de notre travail se trouve une classe particulière de systèmeshybrides, plus spécifiquement les systèmes stochastiques à commutation que nous modélisonsà l’aide des Chaînes de Markov en temps continu et des équations différentielles.Le comportement aléatoire de ce type de système nécessite une commande spécialequi s’adapte aux événements arbitraires qui peuvent changer complètement l’évolutiondu système. Nous avons choisi une politique de contrôle basée sur les événements quiest déclenchée seulement quand il est nécessaire (sur un événement incontrôlable - parexemple un seuil qui est atteint), et jusqu’à ce que certaines conditions de fonctionnementsont remplies (le système revient dans l’état normal).Notre approche vise le développement d’un modèle probabiliste qui permet de calculerun critère de performance (en occurrence l’énergie du système) pour la politiquede contrôle choisie. Nous proposons d’abord une méthode de simulation à événementsdiscrets pour le système stochastique à commutation commandé, qui nous donne la possibilitéde réaliser une optimisation directe de la commande appliquée sur le système etaussi de valider les modèles analytiques que nous avons construit pour l’application ducontrôle.Un modèle analytique pour déterminer l’énergie consommée par le système a étéconçu en utilisant les probabilités de sortie de la région de contrôle, respectivement lestemps de séjour dans la chaîne de Markov avant et après avoir atteint les limites decontrôle. La dernière partie du travail présente la comparaison des résultats obtenusentre la méthode analytique et la simulationHybrid systems are dynamical systems, characterized by a dual behaviour, a continuousinteraction between a discrete and a continuous functioning part. The center ofour work is represented by a particular class of hybrid systems, more specific by thestochastic switching systems which we model using continuous time Markov chains anddifferential equations.The random behaviour of such systems requires a special command which adapts tothe arbitrary events that can completely change the evolution of the system. We chose anevent-based control policy which is triggered only when it’s necessary (on an unforeseenevent - for example when a threshold that is reached), and until certain functioningconditions are met (the system returns in the normal state).Our approach aims to develop a probabilistic model that calculates a performancecriterion (in this case the energy of the system) for the proposed control policy. We startby proposing a discrete event simulation for the controlled stochastic switching system,which gives us the opportunity of applying a direct optimisation of the control command.It also allows us to compare the results with the ones obtained by the analytical modelswe have built when the event-based control is applied.An analytical model for computing the energy consumed by the system to apply thecontrol is designed by using the exit probabilities of the control region, respectively, thesojourn times of the Markov chain before and after reaching the control limits. The lastpart of this work presents the results we have obtained when comparing the analyticaland the simulation method
12
Roussel-Gervais, Audrey. « La protéine liant l'ADN méthylé ZBTB4 localise aux péri-centromères et contrôle la réponse au point de contrôle mitotique ». Sorbonne Paris Cité, 2015. http://www.theses.fr/2015USPCC137.
Texte intégralRésumé :
La perte de ZBTB4 caractérise les cancers de stade -avancé et favorise la survie des cellules suite aux dommages à l'ADN et la progression métastasique. Mes travaux de thèse ont porté sur l'identification des mécanismes moléculaires associant ZBTB4 au cancer. Ces travaux m'ont permis de montrer que la perte de ZBTB4 induit des défauts de ségrégation des chromosomes. ZBTB4 régule la transcription de gènes du SAC comme BUBRJ, MAD2LI et AuroraB. Ainsi, la perte de ZBTB4 accélère la transition métaphase-anaphase en condition physiologique, ainsi qu'après l'activation du SAC dans des cellules en mitose par traitement au nocodazole, malgré la présence de chromosomes mal alignés. ZBTB4 localise également aux régions péri-centromériques et semble importante pour la transcription des séquences satellites péri-centromériques pendant la mitose. Il est possible que sa localisation aux péri-centromères, ainsi que son rôle dans la transcription des satellites en mitose, jouent un rôle dans la déstabilisation du kinétochore dans les cellules sous-exprimant ZBTB4. De plus, les souris Zbtb4 développent davantage de papillomes que les souris Zbtb4 suite à l'induction de tumeurs de la peau par traitement au DMBA/TPA. Ces éléments viennent confirmer in vivo chez la souris un rôle de ZBTB4 dans la formation des tumeurs. La dérégulation des protéines du SAC, de même que la dérégulation de la transcription des satellites, sont souvent retrouvées dans les cancers et causent de l'aneuploïdie. La perte de ZBTB4 participe à la progression tumorale en favorisant la présence de cellules aneuploïdes, causant de l'instabilité génomique et favorisant la diversité génétique des cellules cancéreusesZBTB4 is a mammalian transcription factor with Zinc fingers and a BTB/POZ domains, which can bind methylated CpGs, as well as certain unmethylated consensus sequences. ZBTB4 is frequently downregulated in human cancers, for reasons that are unclear. To address the potential role of ZBTB4 we depleted it from human cells in culture, this led to heightened chromosome missegregation, as evidenced by increases in lagging chromosomes, micronuclei, and binucleation. We could detect a defect in the mitotic checkpoint, which was weakened in cells lacking ZBTB4, maybe as a direct consequence of decreased checkpoint protein abundance. To validate our findings in a more physiological setting, we generated mice. Primary Zbtb4⁻/⁻cells show the satine signs of genome instability seen in human cells in culture. The Zbtb4⁻/⁻ animals are viable and fertile, but smaller than their littermates and with reduced organ size. In addition, we report that mice lacking ZBTB4 are more susceptible to DMBA/TPA-induced skin carcinogenesis. Our results show that the epigenetic regulator ZBTB4 is essential for genome stability in mammals. Its loss in cancer cells may be under positive selection because it promotes faster genome evolution in the tumour cells
13
Mihaita, Adriana, et Adriana Mihaita. « Approche probabiliste pour la commande orientée évènement des systèmes stochastiques à commutation ». Phd thesis, Université de Grenoble, 2012. http://tel.archives-ouvertes.fr/tel-00770325.
Texte intégralRésumé :
Les systèmes hybrides sont des systèmes dynamiques, caractérisés par un comportementdual, une interaction entre une partie discrète et une partie continue de fonctionnement.Dans le centre de notre travail se trouve une classe particulière de systèmeshybrides, plus spécifiquement les systèmes stochastiques à commutation que nous modélisonsà l'aide des Chaînes de Markov en temps continu et des équations différentielles.Le comportement aléatoire de ce type de système nécessite une commande spécialequi s'adapte aux événements arbitraires qui peuvent changer complètement l'évolutiondu système. Nous avons choisi une politique de contrôle basée sur les événements quiest déclenchée seulement quand il est nécessaire (sur un événement incontrôlable - parexemple un seuil qui est atteint), et jusqu'à ce que certaines conditions de fonctionnementsont remplies (le système revient dans l'état normal).Notre approche vise le développement d'un modèle probabiliste qui permet de calculerun critère de performance (en occurrence l'énergie du système) pour la politiquede contrôle choisie. Nous proposons d'abord une méthode de simulation à événementsdiscrets pour le système stochastique à commutation commandé, qui nous donne la possibilitéde réaliser une optimisation directe de la commande appliquée sur le système etaussi de valider les modèles analytiques que nous avons construit pour l'application ducontrôle.Un modèle analytique pour déterminer l'énergie consommée par le système a étéconçu en utilisant les probabilités de sortie de la région de contrôle, respectivement lestemps de séjour dans la chaîne de Markov avant et après avoir atteint les limites decontrôle. La dernière partie du travail présente la comparaison des résultats obtenusentre la méthode analytique et la simulation.
14
Avital, Pierre. « Optimisation de la commutation d'antennes et détection de passagers par SVM, dans un contexte de contrôle d'accès pour véhicule ». Electronic Thesis or Diss., université Paris-Saclay, 2021. http://www.theses.fr/2021UPASG049.
Texte intégralRésumé :
Cette thèse étudie deux aspects d'un système de contrôle d'accès de véhicule par localisation de clés.D'une part, dans le cadre d'une localisation par triangulation à l'aide de réseaux de capteurs commutés, l'optimisation de la séquence de commutation est étudiée.Un modèle est proposé pour étudier l'estimation des paramètres de sinusoïdes reçues par un réseau de capteur, dont les capteurs sont échantillonnés de manière asynchrone.Ce modèle est notamment, mais pas exclusivement, applicable à des approches industrielles telles que celle proposée par Bluetooth 5.1, qui sert d'application de référence.Du modèle sont dérivées des bornes de Cramér-Rao, qui servent à l'établissement de critères d'optimisation des instants d'échantillonnage de chaque capteur indépendants de la géométrie du réseau de capteurs.Les formes analytiques de ces critères permettent d'établir des propriétés préférables pour les instants d'échantillonnage de chaque capteur, particulièrement lorsque la fréquence des signaux reçus n'est pas connue à priori.Des stratégies sont proposées pour générer des séquences de commutation, et sont évaluées numériquement à l'aide des critères proposés. L'évolution des critères proposés est comparée à celle de bornes numériques sur l'estimation d'angle d'incidence pour des géométries populaires, illustrant un lien qualitatif entre ces critères.D'autre part, dans le cadre d'une localisation par mesure des délais de propagation en bande UWB, un système de détection de passagers reposant sur le matériel de localisation est proposé.On propose d'utiliser des machines à vecteurs-supports (SVM) pour réaliser la détection des passagers sous la forme d'une classification des réponses impulsionnelles de canal mesurées entre les transmetteurs du système de localisation de clé.Une preuve de concept et un prototype sont réalisés et utilisés pour collecter des données sur le problème et montrer la faisabilité.L'étude de ces données permet d'identifier des invariances, que l'on propose de traduire pour les SVM à travers des traitements et métriques adaptés.Les performances offertes par ces traitements sont ensuite mesurées expérimentalement, et permettent d'affirmer qu'un des traitements proposés est avantageux pour l'application choisieThis thesis studies two aspects of a vehicle access control system which relies on the estimation of a key's location to grant access.Firstly, within the context of a triangulation-based system, we study the optimisation of the switching sequence for switched antenna-arrays.A model is given to study the estimation of the parameters of sines received by a switched array, where sensors are not necessarily sampled synchronously.This model is relevant, but not exclusive, to industrial approaches to direction of arrival estimation, such as the one proposed by Bluetooth 5.1, which serves as our reference application.From the model, Cramér-Rao lower bounds are computed, and are used to define design criteria for switching sequences that do not rely on the array's geometry.These criteria's analytical forms allow us to highlight desirable properties in switching sequences, especially in the case where the signal's frequency is unknown.Strategies to build switching sequences are proposed, and numerically evaluated using the provided criteria. Comparison of the criteria with numerical bounds on direction of arrival for common array geometries shows that they are qualitatively linked.Secondly, within the context of a time of flight based system, we propose a system for passenger detection that relies solely on the localization system's original hardware.To achieve this, we propose to use support vector machines (SVM) to classify the channel impulse responses measured between the system's transmitters.A proof of concept is designed to demonstrate feasability, and data is collected on a prototype for further evaluation.By studying the available data, invariants are identified, and processing functions are proposed to translate these invariants to the SVM in order to improve performance.One of the proposed processing is shown to give performance gains for our application through experiments
15
Elmoznine, Abdellatif. « Définition d'une méthodologie de conception et étude des fonctions de contrôle et de protection d'un commutateur de puissance intelligent ». Toulouse 3, 1989. http://www.theses.fr/1989TOU30191.
Texte intégralRésumé :
Il s'agit d'une etude des problemes techniques et economiques lies a la conception d'un transistor ydmos, commutateur de puissance intelligent (cpi). Des solutions originales sont apportees aux problemes de couplage electrique entre partie puissance et partie logique. La technologie proposee, proche d'une technologie standard developpe un concept nouveau d'utilisation d'un puits flottant, au lieu d'un puits connecte a la masse. Les applications concernent l'automobile en particulier
16
Beneux, Gaëtan. « Développement de stratégies de contrôle pour le pilotage des convertisseurs avec prise en compte des aspects dynamiques événementiels ». Electronic Thesis or Diss., Université de Lorraine, 2018. http://www.theses.fr/2018LORR0123.
Texte intégralRésumé :
Les travaux de cette thèse portent sur l’analyse de stabilité et la synthèse de commandes robustes pour les systèmes affines à commutation en temps continu en présence d’incertitudes paramétriques constantes. On propose deux méthodes de commande permettant de garantir la stabilité asymptotique globale des systèmes affines à commutation avec paramètres inconnus. La première approche est basée sur l’estimation des paramètres inconnus et la reconstruction de l’état d’équilibre associée pour permettre d’appliquer une commande robuste adaptative. La seconde méthode est basée sur une augmentation d’état par l’ajout d’une action intégrale dans la boucle de commande qui garantit une erreur statique nulle. Pour chaque approche, deux lois de commande sont proposées. Une méthode du type « min switching » qui sélectionne la commutation la plus apte à stabiliser le système et une méthode de type « Embedded » permettant de générer une commande polytopique des différents modes possibles. Les résultats sont appliqués aux convertisseurs de puissance de topologie Flyback avec preuve de stabilité dans les deux modes de conduction (continue et discontinue)This PhD thesis is focused on stability analysis and robust control synthesis for continuous time switching affine systems in presence of constant parametric uncertainties. Two control methods are proposed to guarantee global asymptotic stability of switching affine systems with unknown parameters. The first approach is based on the estimation of the unknown parameters and the reconstruction of the related equilibrium state to allow the application of a robust adaptive control. The second method is based on a state augmentation by adding an integral action in the control loop that guarantees a null steady state error. For each approach, two control laws are proposed. A "min switching" method that selects the most suitable mode to stabilize the system and an "Embedded" method that generates a polytopic control of the different possible modes. The results are applied to Flyback topology power converters with proof of stability in both conduction modes (continuous and discontinuous)
17
Beneux, Gaëtan. « Développement de stratégies de contrôle pour le pilotage des convertisseurs avec prise en compte des aspects dynamiques événementiels ». Thesis, Université de Lorraine, 2018. http://www.theses.fr/2018LORR0123/document.
Texte intégralRésumé :
Les travaux de cette thèse portent sur l’analyse de stabilité et la synthèse de commandes robustes pour les systèmes affines à commutation en temps continu en présence d’incertitudes paramétriques constantes. On propose deux méthodes de commande permettant de garantir la stabilité asymptotique globale des systèmes affines à commutation avec paramètres inconnus. La première approche est basée sur l’estimation des paramètres inconnus et la reconstruction de l’état d’équilibre associée pour permettre d’appliquer une commande robuste adaptative. La seconde méthode est basée sur une augmentation d’état par l’ajout d’une action intégrale dans la boucle de commande qui garantit une erreur statique nulle. Pour chaque approche, deux lois de commande sont proposées. Une méthode du type « min switching » qui sélectionne la commutation la plus apte à stabiliser le système et une méthode de type « Embedded » permettant de générer une commande polytopique des différents modes possibles. Les résultats sont appliqués aux convertisseurs de puissance de topologie Flyback avec preuve de stabilité dans les deux modes de conduction (continue et discontinue)This PhD thesis is focused on stability analysis and robust control synthesis for continuous time switching affine systems in presence of constant parametric uncertainties. Two control methods are proposed to guarantee global asymptotic stability of switching affine systems with unknown parameters. The first approach is based on the estimation of the unknown parameters and the reconstruction of the related equilibrium state to allow the application of a robust adaptive control. The second method is based on a state augmentation by adding an integral action in the control loop that guarantees a null steady state error. For each approach, two control laws are proposed. A "min switching" method that selects the most suitable mode to stabilize the system and an "Embedded" method that generates a polytopic control of the different possible modes. The results are applied to Flyback topology power converters with proof of stability in both conduction modes (continuous and discontinuous)
18
Salanne, Jean-Philippe. « Contrôle du point de fonctionnement des décharges électriques par l'intermédiaire de leur alimentation ». Toulouse, INPT, 2005. http://ethesis.inp-toulouse.fr/archive/00000167/.
Texte intégralRésumé :
Le contrôle du point de fonctionnement des décharges électriques par leur alimentation est l'objet de cette étude. Les points de fonctionnement obtenus par le couplage de l'alimentation électrique et du dispositif de décharge peuvent être instables à cause du comportement dynamique de la décharge ou à cause d'une variation de sa longueur. Nous recherchons les différents couplages existant entre la décharge et les caractéristiques de son alimentation afin d'optimiser la conception et la commande de l'alimentation électrique pour favoriser le contrôle du point de fonctionnement. Dans cet objectif, on propose des modélisations analytiques et numériques du système qui permettent de simuler les couplages entre l'alimentation et la décharge. Cette approche est complétée par des investigations expérimentales qui permettent de considérer les cas de décharges pointe/pointe, des DBD et des décharges glissantesThe aims of this study is to control the operating point of electrical discharges. These points, resulting from the coupling between the power supply and its load, may be unstable because of the dynamic behaviour of the discharge or any change of its length. To optimize the design and the electronic control of the power supply, the couplings between the later and the discharge are prospected. Numerical and analytical models of the system are presented. These models can simulate the couplings between the power supply and a discharge and are used to achieve the design of the power supply and its control. This approach is completed by experimental investigations considering discharge between 2 points, glidarc and DBD
19
Montagné, Marielle. « Mise au point de biocapteurs ampérométriques à enzymes pour le contrôle des procédés ». Toulouse 3, 1993. http://www.theses.fr/1993TOU30216.
Texte intégralRésumé :
Les capteurs amperometriques constituent une voie seduisante de dosage de substrats dans le controle des procedes de fermentation, de culture cellulaire, ou encore dans les domaines de l'agro-alimentaire ou de la medecine. Ces capteurs associent une partie biologique sensible, constituee d'une ou plusieurs enzymes, au transducteur physique qu'est l'electrode. Plusieurs voies de confinement des enzymes pres de l'electrode ont ete explorees, reposant sur une demarche physico-chimique. Deux capteurs bienzymatiques, avec les enzymes confinees pres de l'electrode par une membrane de cellophane, ont ete mis au point, l'un selectif de l'ion d-lactate, l'autre de l'ion l-glutamate. Les deux enzymes utilisees sont, pour le premier, une d-lactate deshydrogenase et une diaphorase, et pour le second, une l-glutamate deshydrogenase et une diaphorase. La gamme de linearite en substrat accessible s'etend, dans les deux cas, de quelques dizaines de micromolaires a quelques millimolaires. Dans le cas du capteur selectif de l'ion l-glutamate, l'association d'une troisieme enzyme, une glutamate oxaloacetate transaminase, permet d'exploiter le phenomene d'amplification enzymatique, et d'abaisser le seuil de detection d'un facteur cinq environ. Ces capteurs permettent d'effectuer des dosages, sur une periode d'un mois. La deuxieme consequence de ce travail est l'amelioration des performances du capteur specifique de l'ion l-lactate utilisant une l-lactate deshydrogenase de levure fixee sur une membrane polymerique preactivee. La stabilite operationnelle est dans ce cas de l'ordre de quatre mois, et le seuil de detection est abaisse d'un facteur cent, permettant la detection de concentration de l-lactate egale a quelques micromolaires
20
El, Hassan Ismail. « Commande haute performance d'un moteur asynchrone sans capteur de vitesse par contrôle direct du couple : filtrage de Kalman étendu du vecteur d'état : contrôle de la fréquence de commutation de l'onduleur ». Toulouse, INPT, 1999. http://www.theses.fr/1999INPT009H.
Texte intégralRésumé :
Ce travail décrit la mise en oeuvre d'une commande directe du couple et du flux (DTC) sans capteur de vitesse d'un moteur asynchrone. L'alimentation est assurée par un ondulateur de tension à deux niveaux. L'absence de capteur mécanique conduit à une modélisation non linéaire du moteur. La reconstitution des grandeurs fondamentales non mesurées (flux, vitesse) est assurée par un filtre de Kalman étendu séparé en deux tâches de calcul avec des périodes d'échantillonage différentes pour faciliter l'intégration de la commande dans un contexte DTC. La maîtrise de la fréquence de commutation de l'onduleur a été aussi étudiée afin de réduire le bruit acoustique engendré par le moteur. Cette étude débouche sur la réalisation d'un prototype, avec implantation de la commande sur microprocesseurs (DSP TMS320C32). Les résultats obtenus montrent de bonnes performances statiques et dynamiques du variateur, et confirme la robustesse de la commande sur toute la plage de vitesse.
21
Chatté, Fabien. « Contribution au contrôle de congestion dans les protocoles de transport ». Compiègne, 2004. http://www.theses.fr/2004COMP1514.
Texte intégralRésumé :
Dans ce manuscrit de thèse, nous commençons par présenter un panorama des techniques de contrôle de congestion implémentées dans des protocoles de transport unicast. Ensuite, nous présentons une étude spécifiant les limites de validité de la modélisation continue des réseaux à commutation de paquets. Puis, nous décrivons et justifions la mise au point (dans le domaine du continu) d'un correcteur issu de l'automatique régulant le débit des sources d'un réseau afin d'éviter les congestions. Ensuite, ce correcteur a été implémenté dans un protocole de transport. Afin de comparer objectivement notre mécanisme de contrôle de congestion à ceux existants, nous définissons une méthodologie de comparaison. Cette méthodologie permet d'évaluer les performances du contrôle de congestion. Pour finir, nous comparons les performances de notre protocole à celles d'autres protocoles de transport existants. Cette comparaison nous permet d'analyser le fonctionnement des protocoles testésLn this PhD thesis manuscript, we begin by presenting a panorama of different congestion control techniques implemented in unicast transport protocols. Next, we present a study in which we try to define the validity limits of the fluid approximation of a packets switched network. After, we describe and justify the development (in the continuous time domain) of a controller, which is used to compensate the sending rate of network sources in order to avoid congestions. Once the controller developed, we discretize it in order to implement it in a transport protocol. To objectively compare our congestion control mechanism to the existing ones, we define a comparison methodology. This methodology allows to evaluate performance of congestion control mechanisms. At the end, we compare the performance of our protocol with those of several existing transport protocols. This comparison allows us to analyse in several cases, the behaviour of the tested protocols
22
Climent-Framery, Catherine. « Développement industriel d'immunostimulants vétérinaires : mise au point des techniques de contrôle et de qualité ». Lyon 1, 1989. http://www.theses.fr/1989LYO10078.
Texte intégralRésumé :
L'immunostimulation est une indication particulierement bien adaptee aux problemes de pathologie multifactorielle rencontres en elevage industriel, qui sont responsables de lourdes pertes economiques. C'est dans ce but que sont elabores et controles deux immunostimulants, l'un d'origine virale a base de reovirus type 2, l'autre d'origine bacterienne a partir de biomasse de micrococcus sedogenes m 78. Le travail experimental est precede d'une synthese bibliographique relative aux elevages industriels de veaux de boucherie, aux modalites d'action et aux modes d'etude des immunostimulants. Les resultats de l'experimentation consistent en: une optimisation des conditions de culture industrielle du reovirus type 2, une mise au point des modalites de traitement de ce virus concentration et inactivation gamma qui constitue alors le principe actif d'origine virale, l'etablissement de modeles standardises d'infections experimentales qui permettent de mesurer l'activite des immunostimulants, avec titrage a temps variable de la virulence des souches d'epreuve virale et bacterienne et de la protection des immunostimulants face a ces souches d'epreuve, et avec utilisation d'un modele mathematique decrit en annexe, une mise en evidence de l'efficacite des immunostimulants dans les conditions reelles d'utilisation selon un protocole experimental bien defini a l'avance
23
Saint-Martin, Jacques. « Contribution à la mise au point de l'ensemble multidétecteur AMPHORA : développement du contrôle informatique ». Grenoble 1, 1988. http://www.theses.fr/1988GRE10136.
Texte intégralRésumé :
La physique nucléaire aux énergies intermédiaires (15-35 MeV/nucléon) tire avantage de l'utilisation de multidétecteurs capables d'identifier l'ensemble des particules produite lors des réactions. C'est dans cette optique que le multidétecteur AMPHORA a été construit. C'est un ensemble modulaire de 140 détecteurs recouvrant 81% de l'angle solide. Chaque détecteur est constitué de deux scintillateurs. Deux types de détecteurs sont disponibles : CsL+NE102 et CsL+NE213. Grâce au scintillateur de base, CsL(TI), il est possible d'identifier en charge et en masse les ions légers (du proton au lithium)
24
Recolin, Bénédicte. « Régulation du point de contrôle de la phase S : identification de nouveaux gènes impliqués dans de point de contrôle relatifs aux endommagements de l'ADN et caratérisation du rôle de RPA comme protéine-senseur ». Montpellier 1, 2009. http://www.theses.fr/2009MON1T032.
Texte intégral
25
Elbiaze, Halima. « Application des techniques de contrôle d'accès à la garantie de QoS dans un réseau optique multiservice ». Versailles-St Quentin en Yvelines, 2002. http://www.theses.fr/2002VERS004V.
Texte intégralRésumé :
Avec la démocratisation de l'Internet, les réseaux IP se trouvent face à un problème majeur qui est de répondre efficacement à la croissance du volume de traffic. Les technologies optiques, notament WDM (Wavelength division Multiplexing) sont en développement continu et pourront satisfaire ce besoin grandissant de la capacité. Dans ce mémoire de thèse, nous avons considéré un réseau optique multiservice à commutation de paquets optiques, capables d'offrir différents niveaux de qualité de service (QoS) aux couches clientes. Pour pallier le problème de limitation de mémoires optiques, nous avons proposé de concentrer la plus grande partie des mécanismes de gestion de trafic au niveau interface Electronique/Optique. Nous avons montré par simulation la nécessité d'utiliser, d'une manière optimale, les mémoires électroniques à la périphérie du réseau optique pour garantir la QoS demandée. L'implémentation des mémoires électroniques au niveau interface permet de surveiller et conditionner le trafic pour éviter la burstiness à l'intérieur du réseau optique, ainsi que de différencier les CoS (classes de service). Les résultats que nous avons présentés mettent en évidence la nécessité du shaping pour une utilisation efficace des ressources optiques et un dimensionnement du réseau avec des tailles de lignes à retard faisables. Nous nous sommes particulièrement focalisés sur l'étude de l'impact du shaping sur les performances du réseau en présence d'un traffic auto-similaire. Nous avons étudié ce problème en utilisant deux approches. La première consiste à développer un algorithme de shaping dynamique basé sur des équations utilisant la version déterministe des courbes de service. Sans connaissance au préalable des paramètres du traffic, Nous avons proposé un mécanisme de shaping "aveugle" qui s'adapte avec les variations du flux, que nous avons modalisé et analysé par le biais d'un modèle markovien
26
Chavez, Baroni Ricardo. « Mise au point d'outils pour le contrôle du tir à l'explosif sous contraintes de production ». Paris, ENMP, 1996. http://www.theses.fr/1996ENMP0001.
Texte intégralRésumé :
Le controle des parametres mis en jeu lors du tir a l'explosif en sites miniers s'avere necessaire pour le maintien de sa qualite et son amelioration. Un controle rigoureux ne peut cependant etre realise qu'a l'aide d'outils permettant d'obtenir des informations souvent difficiles d'acces. Ce travail s'articule autour de l'etude et de la mise au point de trois systemes d'acquisition de donnees qui concernent respectivement les discontinuites de la roche, la realisation pratique du schema de tir et, enfin, la granulometrie du tas abattu ; l'objectif etant la creation d'outils pour l'acquisition de ces parametres dans des conditions normales de production. Diverses techniques ont ete utilisees et adaptees. Des essais ont ete menes sur les methodes endoscopiques et le traitement par analyse d'images afin d'obtenir des informations sur la fissuration de la roche avant le tir. Une methode a ete developpee pour le controle de la geometrie de foration et du volume abattu en galeries souterraines a l'aide de mesures topographiques et de modelisations tridimensionnelles. Le controle des sequences d'amorcage a ete entrepris a l'aide de traitements de signaux sismiques. Enfin, une technique d'analyse d'images a ete developpee pour mesurer en continu la granulometrie sur camions ou bandes transporteuses. Les problemes lies a la representativite statistique des acquisitions ont ete traites. Ces outils ont pu etre testes sur le terrain lors de campagnes de mesure et ont pu etre inseres dans une methodologie d'audit pour le controle du tir a l'explosif lors du creusement de galeries souterraines.
27
Lejeune, Julien. « Propriétés de commutation des analogues CoFe du bleu de Prusse : vers un contrôle de la position en énergie des états stable et métastable ». Phd thesis, Université Paris Sud - Paris XI, 2013. http://tel.archives-ouvertes.fr/tel-00853239.
Texte intégralRésumé :
Les composés à commutation électronique constituent une large famille de systèmes particulièrement prometteuse, notamment pour le stockage de l'information à l'échelle moléculaire. Parmi ces composés, les analogues du bleu de Prusse cobalt-fer (ABP AxCoFe) sont des polymères inorganiques formés d'enchaînements Co-N≡C-Fe pouvant présenter deux états électroniques CoII(HS)-N≡C-FeIII(BS) et CoIII(BS)-N≡C-FeII(BS) (HS : haut spin ; BS : bas spin) aux propriétés structurales et électroniques bien distinctes. La transition électronique entre ces deux états peut être contrôlée de manière réversible par une grande variété de paramètres chimique (insertion de cations alcalins) et physiques (température, pression, irradiation). Ces propriétés de photo-commutation sont particulièrement intéressantes pour le développement de mémoires optiques à l'échelle moléculaire.Afin de comprendre les propriétés électroniques des ABP AxCoFe, nous nous sommes intéressés à l'interaction entre les centres métalliques via le pont cyanure dans l'enchaînement Co-N≡C-Fe, aussi bien sur un plan expérimental (mise en œuvre de techniques d'analyse reposant sur l'utilisation du rayonnement synchrotron) que théorique (modélisation ab initio de type post-Hartree-Fock). Nous avons également étudié la nature de l'interaction, démontrée expérimentalement, entre les cations alcalins et le réseau bimétallique formé par les enchaînements Co-N≡C-Fe. Finalement, la pertinence du modèle à deux états, habituellement utilisé pour rendre compte des propriétés électroniques des systèmes commutables, est discutée, avec la mise en évidence de multistabilités au sein des ABP AxCoFe. Ce travail propose ainsi une étude la plus complète possible des phénomènes électroniques rencontrés dans ces systèmes.
28
Malloci, Ivan. « Sur les systèmes à commutation à deux échelles de temps : une application au contrôle de guidage de bande dans un laminoir à chaud ». Phd thesis, Institut National Polytechnique de Lorraine - INPL, 2009. http://tel.archives-ouvertes.fr/tel-00439457.
Texte intégralRésumé :
Dans cette thèse, on s'est attaché à résoudre un certain nombre de problèmes qui apparaissent lorsqu'on traite des problèmes concrets de contrôle: phénomènes à plusieurs échelles de temps, discontinuités de la commande lors du basculement d'un correcteur à un autre, nécessité de concevoir un nombre limité de correcteurs différents malgré une gamme très importante des produits traités. Pour illustrer concrètement les résultats obtenus, nous nous sommes appuyés sur un exemple industriel concret, le contrôle de guidage de bande durant le processus de laminage dans un laminoir à chaud. D'abord, nous proposons une solution convexe au problème de commande optimale linéaire quadratique pour les systèmes linéaires à deux échelles de temps en temps discret. Ensuite, nous établissons des conditions suffisantes, formulées sous la forme d'inégalités matricielles linéaires, qui permettent de vérifier la stabilité d'un système à commutation à deux échelles de temps et de synthétiser des correcteurs stabilisants. Nous proposons aussi dans ce travail une méthode pour minimiser les discontinuités sur la commande dans le cadre des systèmes à commutation. Dans le contexte du contrôle de guidage de bande pour un laminoir à chaud, nous ne pouvons pas négliger l'influence des paramètres incertains, qui sont dus principalement au fait que ce genre de système traite une gamme de produits très large. Donc, dans la synthèse du correcteur, nous prenons en compte ces variations en divisant l'ensemble des produits en plusieurs familles et en synthétisant un correcteur différent pour chaque famille.
29
Malloci, Ivan. « Sur les systèmes à commutation à deux échelles de temps : une application au contrôle de guidage de bande dans un laminoir à chaud ». Electronic Thesis or Diss., Vandoeuvre-les-Nancy, INPL, 2009. http://www.theses.fr/2009INPL080N.
Texte intégralRésumé :
Dans cette thèse, on s'est attaché à résoudre un certain nombre de problèmes qui apparaissent lorsqu'on traite des problèmes concrets de contrôle: phénomènes à plusieurs échelles de temps, discontinuités de la commande lors du basculement d'un correcteur à un autre, nécessité de concevoir un nombre limité de correcteurs différents malgré une gamme très importante des produits traités. Pour illustrer concrètement les résultats obtenus, nous nous sommes appuyés sur un exemple industriel concret, le contrôle de guidage de bande durant le processus de laminage dans un laminoir à chaud. D'abord, nous proposons une solution convexe au problème de commande optimale linéaire quadratique pour les systèmes linéaires à deux échelles de temps en temps discret. Ensuite, nous établissons des conditions suffisantes, formulées sous la forme d'inégalités matricielles linéaires, qui permettent de vérifier la stabilité d'un système à commutation à deux échelles de temps et de synthétiser des correcteurs stabilisants. Nous proposons aussi dans ce travail une méthode pour minimiser les discontinuités sur la commande dans le cadre des systèmes à commutation. Dans le contexte du contrôle de guidage de bande pour un laminoir à chaud, nous ne pouvons pas négliger l'influence des paramètres incertains, qui sont dus principalement au fait que ce genre de système traite une gamme de produits très large. Donc, dans la synthèse du correcteur, nous prenons en compte ces variations en divisant l'ensemble des produits en plusieurs familles et en synthétisant un correcteur différent pour chaque familleThis Ph.D. thesis deals with a certain number of problems arising in practical implementation of control systems: multi time scale phenomena, sudden modifications on the system dynamics, discontinuities on the control signal due to controller switchings, the need of design a limited number of controllers in spite of a wide variation on the physical parameters. In order to illustrate the validity of the obtained results, we resort to a real problem concerning the steel production framework, the robust steering control of a hot strip finishing mill. First, a convex solution of the linear quadratic control design for discrete two time scale systems is proposed. Hence, we address the stability problem of two time scale switched systems. We show that stability of the slow and fast switched subsystems under arbitrary switching rules does not imply the stability of the corresponding two time scale switched system in the singular perturbation form. An additional constraint, independent of the value of the singular parameter and of the switching rule, is provided in terms of linear matrix inequalities. We also introduce a bumpless transfer method for switched systems aiming at reducing the discontinuities on the control signal. Dwell time conditions assessing the asymptotic stability of the closed loop switched system are established. The practical contribution of this thesis, the robust steering control design, exploits most of previous results. The objective is to guarantee the stability of the hot strip mill system and improve the quality of the rolled products
30
He, Yuan. « Analyse et contrôle de modèles de dynamique de populations ». Thesis, Bordeaux 1, 2013. http://www.theses.fr/2013BOR14918/document.
Texte intégralRésumé :
La présente thèse est divisée en deux parties. La première partie concerne l'analyse mathématique et la contrôlabilité exacte à zéro pour une catégorie de systèmes structurés décrivant la dynamique d'une population d'insectes. La seconde partie est consacrée à l'étude de la stabilité de la conductivité d'un système de réaction diffusion modélisant l'activité électrique du coeur.Dans le chapitre 2, on considère que la population d'adultes se diffuse dans la vignoble,la fonction de la croissance des individus à chaque stade dépend des variations climatiques et de la variété des raisins. En utilisant la méthode de point fixe, on obtient l'existence et l'unicité des solutions du modèle. On démontre ensuite l'existence d'un attracteur global pour le système dynamique. Enfin, on utilise la théorie des opérateurs compacts et le théorème de point fixe de Krasnoselskii pour prouver l'existence des états stationnaires.Dans le chapitre 3, on traite le problème de contrôlabilité exacte du modèle de Lobesia Botrana, lorsque la fonction de croissance est égale à 1. On suppose que les quatre sous-catégories de ce système sont dans une phase statique. On obtient que la population d'oeufs peut être contrôlée à zéro. Ce résultat est basé sur des estimations à priori combinées avec un théorème de point fixe.Lorsque les papillons adultes se dispersent spatialement, on introduit un contrôle sur la population d'oeufs, de larves et de femelles dans une petite région du vignoble. On montre alors la contrôlabilité exacte à zéro pour les femelles.Dans la deuxième partie de cette thèse, on analyse la stabilité des coefficients de diffusion d'un système parabolique qui modélise l'activité électrique du coeur. On établit une estimation de Carleman pour le système de réaction-diffusion. En combinant cette estimation avec des estimations d'énergie avec poids on obtient le résultat de stabilitéThis thesis is divided into two parts.One is mainly devoted to make a qualitative analysis and exact null controlfor a class of structured population dynamical systems, and the other concernsstability of conductivities in an inverse problem of a reaction-diffusion systemarising in electrocardiology.In the first part, we study the dynamics ofEuropean grape moth, which has caused serious damages on thevineyards in Europe,North Africa, and even some Asian countries.To model this grapevine insect, physiologically structured multistage population systems are proposed.These systemshave nonlocal boundary conditions arising in nonlocal transition processes in ecosystem.We consider the questions of spatial spread of the populationunder physiological age and stage structures,and show global dynamical properties for the model.Furthermore, we investigate the control problem for this Lobesia botrana modelwhen the growth function is equal to $1$.For the case that four subclasses of this system are all in static station,we conclude that the population of eggs can be controlled to zero at acertain moment by acting on eggs.While the adult moths can disperse,we describe a control by a removal of egg and larvapopulation, and also on female moths in a small region of the vineyard.Then the null controllability for female mothsin a nonempty open sub-domain at a given time is obtained.In the second part, a reaction-diffusion system approximating a parabolic-elliptic systemwas proposed tomodel electrical activity in the heart. We are interested inthe stability analysis of an inverse problem for this model.Then we use the method of Carleman estimates and certain weight energyestimatesfor the identification of diffusion coefficients for the parabolicsystem to draw the conclusion
31
Loevenbruck, Hélène. « Pistes pour le contrôle d'un robot parlant capable de réduction vocalique ». Grenoble INPG, 1996. http://www.theses.fr/1996INPG0061.
Texte intégralRésumé :
L'objectif de cette these est d'etudier comment la commande phonemique, par essence abstraite et invariante, est codee en termes de controle moteur pour generer un signal acoustique physique et variable. Pour cela, un modele de controle moteur est exploite, s'appuyant sur la theorie du point d'equilibre, proposee par a. Feldman, selon laquelle tout mouvement resulterait de changements des variables de controle des conditions d'equilibre mecanique du systeme moteur. L'hypothese etudiee ici consiste a relier les commandes motrices discretes, specifiant des points d'equilibre cibles, aux phonemes. Ce modele permet de generer des trajectoires articulatoires et acoustiques realistes, pour des sequences voyelle-voyelle-voyelle, prononcees par un locuteur francais dans diverses conditions d'elocution. En effet, partant du signal acoustique produit par le locuteur, une premiere etape d'inversion d'un modele articulatoire du conduit vocal fournit les trajectoires des articulateurs du conduit vocal. Puis, pour l'articulateur corps de la langue, le plus pertinent dans les sequences vocaliques etudiees, un modele dynamique fonctionnel des articulateurs de la parole est inverse (deuxieme etape d'inversion), afin de trouver les commandes motrices sous-jacentes a la trajectoire observee dans une des conditions d'elocution, dite ideale. Puis a partir des commandes motrices ainsi inferees pour la condition ideale, il est possible, en ne faisant varier que les parametres dynamiques appropries, de generer des signaux articulatoires et acoustiques variables, similaires a ceux des autres conditions d'elocution. Ainsi une piste nouvelle pour la synthese adaptative de la parole est ouverte. Des analyses de sensibilite et des tests perceptifs effectues sur les signaux de synthese attestent de la capacite de ce modele de controle a simuler les effets d'accent d'emphase et de debit a partir de commandes posturales constantes du type point d'equilibre
32
Felicioni, Flavia. « Stabilité et performance des systèmes distribués de contrôle-commande ». Thesis, Vandoeuvre-les-Nancy, INPL, 2011. http://www.theses.fr/2011INPL013N/document.
Texte intégralRésumé :
L’objectif principal de cette thèse est l’étude de propriétés dynamiques et de méthodes de conception et synthèse des algorithmes de contrôle-commande des systèmes dans le cas où les fonctions de mesures, actionnements et contrôles sont distribuées sur des organes de calcul pouvant être partagés avec d’autres applications et connectés sur un réseau de communication numérique. En conséquence, les boucles de contrôle sont en compétition avec d’autres applications pour accéder aux ressources de calcul et de communication de capacité limitée et gérées par des politiques spécifiques. Ceci provoque l’apparition de délais et de perte d’informations transmises entre les différents nœuds qui peuvent dégrader les performances des systèmes et conduire à leur instabilité.Dans une première partie de la thèse, nous avons étudié l’analyse des performances de certains systèmes ainsi que la conception de contrôleurs robustes en fonction de la qualité de service fournie par le réseau. Cette étude a permis de spécifier les règles de conception de contrôleurs.Dans la deuxième partie, nous avons présenté une approche de conception conjointe intégrant les résultats obtenus dans les deux domaines: la synthèse et la conception des algorithmes de contrôle et l’ordonnancement de tâches temps réel qui partagent des ressources limitées. La technique proposée repose sur le changement de la période d’activation de l’algorithme de contrôle, et en conséquence le modèle du système devient un modèle échantillonné à taux variable. Les résultats proposés, en considérant l’algèbre de Lie des matrices d’évolution, permettent de calculer des contrôleurs adaptifs aux périodes qui stabilisent tous le systèmeThe main contributions of this thesis are related to the analysis, synthesis and design of control systems sharing communication and computational resources. The research focuses on control systems where the feedback loops are closed over communication networks which transmit the information provided to its nodes by sensors, actuators and controllers. The shared resource in this scenario is the network. Some of the results are valid when the resource is a processor locally placed respect to several controller executing their algorithms on it. In any of the preceding scenarios, the control loops must contend for the shared resource. The limited capacity of the resource can cause delays and packet losses when information is transmitted. These effects can degrade the control system performance and even destabilize it.The first part of this thesis contributes to the performance analysis of specific classes of systems and to the design of robust controllers for network characteristics modeled by Quality of Service parameters. A series of methods to assist the control systems engineer are provided.In the second part, a contribution to the CoDesign approach is made via the integration of control system synthesis and design techniques with rules allowing to define the communication policy to manage real-time tasks sharing a limited resource. Putting in correspondence a scheduling of instances of the controller tasks with their sampling periods, the proposed policy results in discrete-time varying systems. The stabilization problem of these systems is solved with methods based on the solvability of Lie-algebras. Specifically, the proposed methodology provides adaptive controllers
33
Blain, Eric. « Etudes expérimentales et numériques de la dispersion vibratoire d'assemblage soudes par point ». Châtenay-Malabry, Ecole centrale de Paris, 2000. http://www.theses.fr/2000ECAP0872.
Texte intégralRésumé :
Les clients de voitures sont sensibles au confort acoustique à l'intérieur de l'habitacle. La production des véhicules en série amène des dispersion des comportements vibratoires et acoustiques qu'il faut essayer de prédire par le calcul pour mieux les éviter. Dans le premier chapitre, une analyse des dispersions vibratoires et acoustiques en production chez Renault et une étude bibliographique permettent de dégager les paramètres influents et d'effectuer un état de l'art sur les méthodes d'étude de la dispersion. Puis, nous définissons le périmètre de notre étude et les différentes hypothèses avec lesquelles nous travaillerons. Nous décrivons ensuite la méthodologie retenue pour l'étude de la dispersion. Dans le second chapitre, après quelques rappels statistiques, nous évaluons à l'aide de l'étude analytique d'une plaque couplée à une cavité, les effets de la dispersioj du comportement vibratoire sur la pression acoustique. Les varaitions des fréquences et modes propres de la plaque sont ensuite discutées en fonction des contraintes et des petites perturbations géométriques. Ce travail a permis de cerner les ingrédients numériques nécessaires à l'étude de la dispersion vibratoire des assemblages soudés par points et de dégager également des tendances au niveau de la variation des fréquences et des modes propres. Dans le troisième chapitre, nous décrivons comment nous calculons les fréquences et les modes propres d'une structuresoudée, en tenant compte des effets des imperfections géométriques des pièces dans la phase d'assemblage. Des comparaisons calcul-essais sont ensuite effectuées pour valider cette démarche. Le chapitre 4 donne des exemples d'études des dispersions des fréquences et des modes propres d'assemblages simples.
34
Corbel, Romuald. « Évolution des protocoles de transport du point de vue de l'équité ». Thesis, Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire, 2019. http://www.theses.fr/2019IMTA0160.
Texte intégralRésumé :
Cette thèse s’inscrit dans le cadre de la mesure de la congestion sur le réseau et sur l’évolution des protocoles de transport. Des changements sont apportés continuellement afin de répondre aux besoins des utilisateurs et des nouveaux services. La congestion est l’un des problèmes les plus critiques car elle a un impact sur la performance des réseaux Internet, d’où la nécessité pour les algorithmes de contrôle de congestion de la prévenir ou de la supprimer. Aujourd’hui, aucun algorithme ne répond parfaitement aux exigences attendues, et de nombreux travaux de recherches sont en cours. Néanmoins, ces nouveaux algorithmes peuvent affecter l’équité du réseau étant donné que le comportement du protocole de transport peut changer radicalement en fonction de l’algorithme de contrôle de congestion utilisé dans les points finaux. De plus, durant ces dernières années, les protocoles de transport ont subi des évolutions majeures. Un exemple significatif récent est celui de Quick UDP Internet Connections (QUIC), un protocole introduit par Google, qui vise à remplacer deux protocoles de transport et de sécurité largement utilisés, à savoir Transmission Control Protocol (TCP) et Transport Layer Security (TLS).QUIC est implémenté dans les applications utilisateurs (plutôt que dans le noyau du système d’exploitation). Il se veut résistant à l’ossification et donc de ce fait il est plus versatile. Ceci rend alors les fournisseurs de contenus, comme Google, hégémoniques sur le débit de ses utilisateurs. En raison du développement progressif des algorithmes de contrôle de congestion et de la nature évolutive des protocoles de transport, de nouveaux défis se posent en matière de gestion de l’équité. C’est pourquoi, dans cette thèse nous nous sommes orientés sur le développement d’une plateforme de tests pour mesurer l’équité réseau à partir du débit des différents flux. De plus, afin de caractériser l’équité telle que la perçoit un utilisateur, nous nous sommes concentrés sur la détermination d’une procédure impartiale d’évaluation de l’équité durant toute une session d’un flux de transport (nommée Session Fairness Assessment (SFA) et Weighted Session Fairness Assessment (WSFA)). A partir de ces éléments, nous avons analysé spécifiquement l’équité des protocoles lorsque les flux TCP et QUIC coexistent sur un réseau fixe et mobile. Lors de nos évaluations de l’équité, nous avons identifié l’impact des aspects de la mise en œuvre de QUIC tels que : l’émulation de connexions TCP multiples, la limitation de la taille des fenêtres de congestion et l’utilisation de l’option hybrid start (hystart). Les résultats montrent que ces mécanismes ont une forte influence sur l’équité que ce soit sur réseau fixe ou réseau mobile. En effet, un mauvais réglage des paramètres par défaut de ces mécanismes ou l’activation de l’option hystart peut affecter la performance des protocoles de transport et par conséquent l’équité. En ce qui concerne l’évaluation des algorithmes de contrôle de congestion, les résultats montrent que l’équité entre deux algorithmes différents dépend de la configuration du réseau. Cette conclusion démontre qu’une procédure de mesures, telle que celle qui a été présentée dans cette thèse, est pertinente pour réaliser l’évaluation de l’équité. Dans cette thèse nous pouvons conclure que le manque de standardisation, par exemple de l’émulation de connexions TCP multiples dans QUIC nous amène à nous interroger plus largement sur la manière dont la philosophie de conception de QUIC tient compte de l’équité. De plus, les résultats obtenus sur l’évaluation de l’équité des algorithmes de contrôle de congestion, nous permet de remettre en cause l’évaluation de l’équité de plusieurs contributions lorsqu’elle n’est pas testée dans suffisamment de configurations réseauThis thesis is in the context of measuring congestion on the network and the evolution of transport protocols. Changes are continually being made to meet the needs of users and new services. Congestion is one of the most critical issues because it has an impact on the performance of Internet networks, hence the need for congestion control algorithms to prevent or remove it. Today, no algorithm perfectly meets the expected requirements, and a lot of research is underway. Nevertheless, these new algorithms can affect network fainress since the behaviour of the transport protocol can change radically depending on the congestion control algorithm used in the endpoints. In addition, in recent years, transport protocols have undergone major changes. A recent significant exampleis Quick UDP Internet Connections (QUIC), a protocol introduced by Google, which aims to replace two widely used transport and security protocols, Transmission Control Protocol (TCP) and Transport Layer Security (TLS). QUIC is implemented in user applications (rather than in the operatingsystem kernel). It is designed to be resistant to ossification and therefore more versatile. This makes content providers, such as Google, hegemonic about the data rate of their users. Due to the progressive development of congestion control algorithms and the evolving nature of transport protocols, new challenges arise in fairness management. This is why, in this thesis, we focused on the development of a test platform to measure network fairness based on the flow rate of the different flows. In addition, in order to characterize fairness as perceived by a user, we focused on determining an impartial procedure for assessing fainress during an entire session of a transport flow (called Session Fairness Assessment(SFA) and Weighted Session Fairness Assessment(WSFA)). Based on these elements, we specifically analyzed the fairness of the protocols when TCP and QUIC flows coexist on a fixed and mobile network. In our fairness assessments, weidentified the impact of aspects of QUIC implementation such as: emulating multiple TCP connections, limiting the size of congestion windows and using the hystart option. The results show that these mechanisms have a strong influence on fairness on both fixed and mobile networks. Indeed,a wrong setting of the default parameters of these mechanisms or the activation of the hystart option can affect the performance of transport protocols and therefore fainress. With regard to the evaluation of congestion control algorithms, the results show that the fainress between two different algorithms depends on the network configuration. This conclusion demonstrates that a measurement procedure, such as the one presented in this thesis, is relevant to conducting the fairness assessment. In this thesis we can conclude that the lack of standardization, for example of emulating multiple TCP connections in QUIC, leads us to question more broadly how QUIC’s design philosophy takes fairness into account. In addition, the results obtained on the evaluation of the fainress of congestion control algorithms allow us to question the fainress evaluation of several contributions when it is not tested in enough network configurations
35
Docquier, Nicolas. « Contrôle en boucle fermée du point de fonctionnement des chambres de combustion Prémélangées des turbines à gaz ». Châtenay-Malabry, Ecole centrale de Paris, 2000. http://www.theses.fr/2000ECAP0698.
Texte intégralRésumé :
Les travaux de cette thèse s'intègrent dans le cadre du projet européen SENSICOME, piloté par le constructeur de turbines à gaz (TAG) Rolls-Royce, et résultant de l'identification de problèmes liés au contrôle du point de fonctionnement de la combustion dans les foyers prémélangés des TAG. On constate en effet que les systèmes de contrôle actuels opèrent le plus souvent en boucle ouverte (sans mesure directe des paramètres de la combustion) de sorte que leur efficacité repose sur la fiabilité et la longévité de l'identification préalable des propriétés de la chambre de combustion. L'évolution des dispositifs de contrôle actuels pour répondre au durcissement des normes environnementales est donc délicate. Dès lors, SENSICOME vise au développement de techniques de mesure des paramètres de la combustion prémélangée exploitables pour le contrôle du point de fonctionnement de la combustion en boucle fermée. L'objectif de cette thèse est double. Il s'agit tout d'abord d'évaluer les capteurs développés par les partenaires industriels de SENSICOME : sondes électrochimiques pour la mesure des polluants (NOᵪ et CO) et de l'oxygène dans l'écoulement de gaz brûlés en aval de la chambre de combustion, et mesure in-situ de la température de flamme par analyse spectrale de son rayonnement infrarouge. En complément, on développe notre propre système de mesure de la richesse par analyse spectrale de la chimiluminescence de la flamme. Il s'agit ensuite de démontrer la faisabilité de boucles de contrôle utilisant ces instruments pour régler la richesse d'un foyer reproduisant les conditions prévalant dans les chambres des TAG : combustion prémélangée pauvre sous pression élevée. Ce travail consiste donc à la mise au point d'un dispositif répondant aux conditions mentionnées ci-dessus, a la caractérisation des capteurs envisagés pour l'amélioration des performances du contrôle du point de fonctionnement et au développement de boucles de contrôle de la richesse en boucle fermée.
36
Dréan, Raphaelle. « Développement de nano-anticorps antagonistes du point de contrôle immunitaire ILT4 pour une application en immunothérapie antitumorale ». Electronic Thesis or Diss., Sorbonne université, 2022. http://www.theses.fr/2022SORUS446.
Texte intégralRésumé :
Le récepteur ILT4 est un point de contrôle immunitaire, principalement exprimé par les cellules myéloïdes du système immunitaire. Dans le contexte cancéreux, ILT4 participe au développement tumoral en maintenant un microenvironnement immunitaire protumoral et en activant directement la prolifération tumorale. L’activation d’ILT4 par la molécule du complexe majeur d’histocompatibilité (CMH) de classe I non-classique HLA-G induit des cellules myéloïdes tolérogènes. De plus, l’expression ectopique d’ILT4 a été rapportée dans plusieurs types de cancers. L’interaction entre l’angiopoiétine-like2 (ANGPTL2) et l’ILT4 promeut la prolifération de cellules de cancer du poumon non à petites cellules et inhibe leur apoptose. Cibler ce nouveau point de contrôle immunitaire par des anticorps bloquants est donc une approche prometteuse en immunothérapie. A la lumière de certaines limitations des anticorps conventionnels bloquants en thérapies des tumeurs solides, nous avons investigué le potentiel d’inhibiteurs basés sur des VHH. Ce petit format d’anticorps, dérivé des anticorps homodimériques de camélidés, allie les propriétés de spécificité des anticorps à celles des petites molécules. Grâce au criblage par phage-display d’une banque immunologique obtenue par immunisation d’un alpaga, nous avons sélectionné un VHH hautement affin et spécifique pour ILT4, qui inhibe l’interaction entre le récepteur et ses deux ligands. Nous avons démontré l’effet biologique antagoniste du VHH in vitro sur des modèles de cellules tumorales et de macrophages de type M2 protumoraux issus de monocytes. Ces premiers résultats de caractérisation supportent le développement futur de ce nouveau format d’anticorps VHH bloquant ILT4 en immunothérapie antitumoraleILT4 (Immunoglobulin-Like Transcript 4) is an immune checkpoint receptor mainly expressed by myeloid immune cells. In cancer context, ILT4 participates in tumor development by maintaining a protumoral immuno-microenvironment and directly promoting tumor cell proliferation. ILT4 interaction with the non-classical MCH class I molecule HLA-G induces an immunosuppressive microenvironment by promoting tolerogenic myeloid cells. Moreover, the ectopic expression of ILT4 has been reported in several solid tumors. The activation of ILT4 by Angiopoietin-like-2 (ANGPTL2) promotes non-small cell lung tumor cell proliferation and inhibits cell apoptosis. Targeting this new immune checkpoint with blocking antibodies is therefore a promising cancer immunotherapy approach. In light of several drawbacks of classical IgG blocking antibodies in solid cancer, we investigated the potential of VHH-based inhibitors. This small monoclonal antibody format, derived from camelid homodimeric antibodies, combine the binding capacities of antibodies to the properties of small molecules. After immunization of an alpaca and phage-display screening, we selected a VHH with high affinity and specificity to ILT4 that inhibits the interaction of the receptor with both ligands. We validated the VHH’s biological antagonist activity on tumor cells and monocyte-derived pro-tumoral M2 like macrophages in vitro. These results support the potential of this new VHH-based antibody targeting ILT4 in cancer immunotherapy
37
Felicioni, Flavia. « Stabilité et performance des systèmes distribués de contrôle-commande ». Electronic Thesis or Diss., Vandoeuvre-les-Nancy, INPL, 2011. http://www.theses.fr/2011INPL013N.
Texte intégralRésumé :
L’objectif principal de cette thèse est l’étude de propriétés dynamiques et de méthodes de conception et synthèse des algorithmes de contrôle-commande des systèmes dans le cas où les fonctions de mesures, actionnements et contrôles sont distribuées sur des organes de calcul pouvant être partagés avec d’autres applications et connectés sur un réseau de communication numérique. En conséquence, les boucles de contrôle sont en compétition avec d’autres applications pour accéder aux ressources de calcul et de communication de capacité limitée et gérées par des politiques spécifiques. Ceci provoque l’apparition de délais et de perte d’informations transmises entre les différents nœuds qui peuvent dégrader les performances des systèmes et conduire à leur instabilité.Dans une première partie de la thèse, nous avons étudié l’analyse des performances de certains systèmes ainsi que la conception de contrôleurs robustes en fonction de la qualité de service fournie par le réseau. Cette étude a permis de spécifier les règles de conception de contrôleurs.Dans la deuxième partie, nous avons présenté une approche de conception conjointe intégrant les résultats obtenus dans les deux domaines: la synthèse et la conception des algorithmes de contrôle et l’ordonnancement de tâches temps réel qui partagent des ressources limitées. La technique proposée repose sur le changement de la période d’activation de l’algorithme de contrôle, et en conséquence le modèle du système devient un modèle échantillonné à taux variable. Les résultats proposés, en considérant l’algèbre de Lie des matrices d’évolution, permettent de calculer des contrôleurs adaptifs aux périodes qui stabilisent tous le systèmeThe main contributions of this thesis are related to the analysis, synthesis and design of control systems sharing communication and computational resources. The research focuses on control systems where the feedback loops are closed over communication networks which transmit the information provided to its nodes by sensors, actuators and controllers. The shared resource in this scenario is the network. Some of the results are valid when the resource is a processor locally placed respect to several controller executing their algorithms on it. In any of the preceding scenarios, the control loops must contend for the shared resource. The limited capacity of the resource can cause delays and packet losses when information is transmitted. These effects can degrade the control system performance and even destabilize it.The first part of this thesis contributes to the performance analysis of specific classes of systems and to the design of robust controllers for network characteristics modeled by Quality of Service parameters. A series of methods to assist the control systems engineer are provided.In the second part, a contribution to the CoDesign approach is made via the integration of control system synthesis and design techniques with rules allowing to define the communication policy to manage real-time tasks sharing a limited resource. Putting in correspondence a scheduling of instances of the controller tasks with their sampling periods, the proposed policy results in discrete-time varying systems. The stabilization problem of these systems is solved with methods based on the solvability of Lie-algebras. Specifically, the proposed methodology provides adaptive controllers
38
Ghazal, Sahar. « Quality of service management model for point to multi point architecture in IEEE 802. 16 (WiMAX) ». Versailles-St Quentin en Yvelines, 2010. http://www.theses.fr/2010VERS0009.
Texte intégralRésumé :
Le standard IEEE 802. 16 est une véritable révolution dans les réseaux métropolitains sans fil (WirelessMANs). Il permet d'échanger à haut-débit des données, de la vidéo et de la voix. La dénomination commerciale donnée à la version 802. 16-2004 est WiMAX (Worldwide Interoperability for Microwave Access). Le standard ou supporte le mode point à multi-point (PMP) ainsi que Mesh (maillé). Dans le mode PMP, plusieurs stations clientes (SS, subscriber station) sont connectées à une station de base (BS). Le canal descendant (DL, downlink) permet à une SS de recevoir une donnée en provenance d'une BS, le canal montant (UL, uplink) permettant l'échange en sens inverse. WiMAX intègre la qualité de service (QoS) principalement par différentiation de cinq classes de trafic: unsolicited grant service (UGS), real-time polling service (rtPS), extended realtime polling service (ertPS), non-real-time polling service (nrtPS) et best effort (BE). L'architecture de la QoS est définie dans la couche MAC qui différencie les trafics associés aux classes précédentes et ordonnance la voie montante pour la classe UGS. Les grands défis de recherche dans ce domaine sont : 1) comment partager la bande passante entre les différentes stations clientes en tenant compte de la QoS demandée et 2) comment supporter plus d'utilisateurs sans impacter la QoS globale ? Cette thèse se concentre sur ces deux questions. Nous avons surtout contribué au contrôle d'admission, à la gestion de trafic et à l'ordonnancement UL/DL. Nous proposons une nouvelle architecture de QoS distribuée, où la station cliente prends une part importante dans le contrôle de la QoS à travers la classification, le modelage de trafic et l'ordonnancement. Un modèle analytique basé sur les chaînes de Markov est utilisé pour analyser la performance du contrôle d'accès (AC), où différentes priorités sont attribuées aux classes de trafic. A partir de ce modèle a été conçu un algorithme auto configurable d'AC fondé sur la logique floue. Pour contrôler le taux d'utilisation du réseau, un gestionnaire de trafic est mis en place côté client (SS) pour chaque classe de trafic (multi-gestionnaire). Et pour partager les ressources équitablement, nous avons implémenté un ordonnanceur temps-réel adaptatif (RTAS) utilisant l'ordonnancement Deficit Round RobinIEEE 802. 16 standard is a real revolution in wireless metropolitan area networks (WirelessMANs) that enables high-speed access to data, video, and voice services. Worldwide Interoperability for Microwave Access (WiMAX) is the industry name given to the 802. 16-2004 amendment. The standard supports point-to-multipoint (PMP) as well as mesh mode. In the PMP mode, multiple subscriber stations (SSs) are connected to one base station (BS). The access channel from the BS to the SS is called the downlink (DL) channel, and the one from the SS to the BS is called the uplink (UL) channel. WiMAX is designed to provide inbuilt quality of service (QoS) mainly through the differentiation of five types of traffic flows: unsolicited grant service (UGS), real-time polling service (rtPS), extended realtime polling service (ertPS), non-real-time polling service (nrtPS) and best effort (BE). QoS architecture is defined in the MAC layer that supports classification for the pre mentioned classes and uplink scheduling for only UGS class. The great challenge of research activities in this domain is 1) how to share the bandwidth between the different stations (SS) according to the needed QoS and 2) how to increase the number of users without decreasing the overall QoS? The objective of this thesis is focused on these two points. Our contributions are essentially in admission control, traffic policing, and UL/DL scheduling. A new distributed QoS architecture is proposed, where the SS takes an important part in controlling the QoS through classification, traffic shaping and scheduling. An analytical model based on Markov chains is used to analyse the performance of the AC , where different priorities are assigned between the different traffic classes. This analytical study leads to the design of a self-configuring AC algorithm based on fuzzy logic. To control traffic rate in the network, a traffic policer is implemented in the SS side for each traffic class (multi-policer). And to share the available resources fairly, a real-time adaptive scheduler (RTAS) based on deficit round robin concept is constructed
39
Mourand, David. « Contribution a la mise au point de méthodes de contrôle non-destructif thermique. Traitement de signaux fortement bruites ». Paris, ENSAM, 1998. http://www.theses.fr/1998ENAM0032.
Texte intégralRésumé :
Les méthodes de contrôle non-destructif ont pris une grande importance dans l'industrie aéronautique pour des exigences de sécurité et de besoin de test rapide des matériaux et des structures. Cependant, elles sont difficilement transposables à d'autres domaines industriels car elles sont souvent couteuses et lourdes. Le but de notre travail est ici de développer une méthode de contrôle non destructif thermique. Cette méthode doit être simple à utiliser et à mettre en œuvre, rapide, demandant peu de stockage mémoire et pouvant être implémentée avec des caméras infrarouges de bas de gamme (fortement bruitées). L'application directe est la conception de dispositifs peu couteux à l'usage des pmi-pme. Pour atteindre cet objectif, le point principal est de mettre au point des méthodes d'estimation permettant de traiter des signaux très fortement bruites. Nous présentons des applications de la méthode sur différents exemples allant de la méthode flash 1d sans perte au problème 3d, en passant par l'estimation simultanée de plus de deux paramètres soit dans le cas de la méthode flash avec pertes convectives, soit dans le cas de diffusivités variables en fonction de l'épaisseur.
40
Lazrag, Ayadi. « Théorie de contrôle et systèmes dynamiques ». Thesis, Nice, 2014. http://www.theses.fr/2014NICE4060/document.
Texte intégralRésumé :
Cette thèse est divisée en trois parties. Dans la première partie, nous commençons par décrire des résultats très connus en théorie du contrôle géométrique tels que le théorème de Chow-Rashevsky, la condition de rang de Kalman, l'application Entrée-Sortie et le test linéaire. De plus, nous définissons et nous étudions brièvement la contrôlabilité locale au voisinage d'un contrôle de référence au premier et au second ordre. Dans la deuxième partie, nous donnons une preuve élémentaire du lemme de Franks linéaire pour les flots géodésiques qui utilise des techniques basiques de théorie du contrôle géométrique. Dans la dernière partie, étant donnée une variété Riemanienne compacte, nous prouvons un lemme de Franks uniforme au second ordre pour les flots géodésiques et on applique le résultat à la théorie de la persistance. Dans cette partie, nous introduisons avec plus de détails les notions de contrôlabilité locale au premier et au second ordre. En effet, nous donnons un résultat de contrôlabilité au second ordre dont la preuve est longue et techniqueThis thesis is devided into three parts. In the first part we begin by describing some well known results in geometric control theory such as the Chow Rashevsky Theorem, the Kalman rank condition, the End-Point Mapping and the linear test. Moreover, we define and study briefly local controllability around a reference control at first and second order. In the second part we provide an elementary proof of the Franks lemma for geodesic flows using basic tools of geometric control theory. In the last part, given a compact Riemannian manifold, we prove a uniform Franks' lemma at second order for geodesic flows and apply the result in persistence theory. In this part we introduce with more details notions of local controllability at first and second order. In fact, we provide a second order controllability result whose proof is long and technical
41
Hached, Khaled. « Le point de contrôle du fuseau en méiose : les rôles des protéines Mad2 et Mps1 dans l'ovocyte de souris ». Paris 6, 2010. http://www.theses.fr/2010PA066287.
Texte intégralRésumé :
En mitose, les chromatides sœurs sont ségrégées tandis qu’en méiose I ce sont les chromosomes homologues qui sont séparés. Des erreurs de ségrégation des chromosomes mènent à des aneuploïdies qui peuvent avoir des conséquences sévères. En mitose, la ségrégation équivalente des chromosomes dépend d’un système de surveillance appelé point de contrôle du fuseau (ou SAC) qui retarde l’entrée en anaphase jusqu’à ce que l’alignement et l’orientation des chromatides sœurs sur le fuseau soient corrects. Le SAC est fonctionnel en méiose I mais la manière dont il contrôle l’alignement et l’orientation correcte des homologues sur le fuseau demeure inconnue. J’ai analysé les rôles des protéines du SAC mitotique 1) Mad2 et 2) Mps1 en méiose I dans l’ovocyte de souris par des approches génétiques. 1) Nous montrons que l’haploinsuffisance aussi bien que la surexpression de Mad2 conduisent à des aneuploïdies en méiose I. Nous mettons en évidence une corrélation entre le taux d’ovocytes Mad2+/- aneuploïdes et la baisse de la fertilité observée chez les femelles correspondantes. Les niveaux protéiques de Mad2 doivent donc êtres rigoureusement régulés pour assurer la ségrégation équivalente des chromosomes en méiose I. 2) Nous avons étudié le rôle encore inconnu de la kinase Mps1 en méiose I, en exprimant de manière conditionnelle une forme mutante de la protéine spécifiquement dans l’ovocyte. Nos résultats prouvent que Mps1 est requise pour le SAC et la durée de la méiose I, et également pour la réparation des erreurs d’attachement des homologues au fuseau. La perte de ces fonctions de Mps1 génère des aneuploïdies en méiose I et induit une baisse sévère de fertilité
42
Tachon, Philippe. « Mise au point et validation de méthodes d'analyse pour un automate de laboratoire ». Bordeaux 2, 1995. http://www.theses.fr/1995BOR2P024.
Texte intégral
43
Hénocq, Xavier. « Contrôle d'erreur pour transmission de flux vidéo temps réel sur réseaux de paquets hétérogènes et variant dans le temps ». Rennes 1, 2002. http://www.theses.fr/2002REN10020.
Texte intégralRésumé :
Cette thèse s'inscrit dans la problématique de la transmission point à point et multipoint d'applications de visioconférence sur réseau de paquets. Notre objectif est de définir des mécanismes capables d'assurer une qualité de service convenable à ces applications malgré les problèmes de pertes de paquets et de délais de transmission caractérisant ce type de réseau. Une premier mécanisme de contrôle d'erreur basé FEC compatible avec le standard H263+ est proposé. Ce mécanisme s'appuie sur un algorithme d'optimisation débit-distorsion des débits source et canal. Cette optimisation prend en compte le canal par l'intermédiaire d'une métrique de distorsion incorporant la distorsion de codage de source et la distorsion de canal modélisées par un processus de Elliot-Gilbert. Ce mécanisme conduisant à une protection inégale des images, un format de transport adapté aux données inégalement protégées est proposé. Nous étendons ensuite le mécanisme ainsi développé au codage hiérarchique standard. Par la suite, le mécanisme précédent est inséré dans un schéma de régulation de débit multicouche adapté au contexte multipoint hétérogène. Cette régulation s'appuie sur une représentation concise de l'état du réseau fourni par un mécanisme d'agrégation des rapports des récepteurs et se fait suivant un critère d'optimisation de la qualité perçue par l'ensemble des récepteurs. Les temps de latence induits par les FEC et l'interdépendance des différents niveaux de scalabilité sont deux limitations majeures des méthodes précédemment envisagées pouvant être évitées par les techniques de codage par description multiples étudiées dans la seconde partie de cette thèse. Une méthode basée sur des expansions de signal sur base de fonctions redondantes (frame expansion) est envisagée. Nous faisons un parallèle entre les frame expansions et les codes correcteurs définis dans le domaine des réels. Enfin, nous proposons un schéma de codage vidéo par description multiples.
44
Njiki, Mickaël. « Architecture matérielle pour la reconstruction temps réel d'images par focalisation en tout point (FTP) ». Thesis, Paris 11, 2013. http://www.theses.fr/2013PA112161.
Texte intégralRésumé :
Le contrôle non destructif (CND) a pour but de détecter et de caractériser d’éventuels défauts présents dans des pièces mécaniques. Les techniques ultrasonores actuelles utilisent des capteurs multiéléments associés à des chaînes d’instrumentations et d’acquisitions de données multi capteurs en parallèles. Compte tenu de la masse de données à traiter, l’analyse de ces dernières est généralement effectuée hors ligne. Des travaux en cours, au Commissariat à l’Energie Atomique (CEA), consistent à développer et évaluer différentes méthodes d’imageries avancées, basées sur la focalisation synthétique. Les algorithmes de calculs induits nécessitent d’importantes opérations itératives sur un grand volume de données, issues d’acquisition multiéléments. Ceci implique des temps de calculs important, imposant un traitement en différé. Les contraintes industrielles de caractérisation de pièces mécaniques in situ imposent de réaliser la reconstruction d’images lors de la mesure et en temps réel. Ceci implique d’embarquer dans l’appareil de mesure, toute l’architecture de calcul sur les données acquises des capteurs. Le travail de thèse a donc consisté à étudier une famille d’algorithmes de focalisation synthétique pour une implantation temps réel sur un instrument de mesure permettant de réaliser l’acquisition de données. Nous avons également étudié une architecture dédiée à la reconstruction d’images par la méthode de Focalisation en Tout Point (FTP). Ce travail a été réalisé dans le cadre d’une collaboration avec l’équipe ACCIS de l’institut d’Electronique Fondamentale, Université de Paris Sud. Pour ce faire, notre démarche s’est inspirée de la thématique de recherche d’Adéquation Algorithme Architecture (A3). Notre méthodologie, est basée sur une approche expérimentale consistant dans un premier temps en une décomposition de l’algorithme étudié en un ensemble de blocs fonctionnels (calculs/transferts). Cela nous a permis de réaliser l’extraction des blocs pertinents de calculs à paralléliser et qui ont une incidence majeure sur les temps de traitement. Nous avons orienté notre stratégie de développement vers une conception flot de donnée. Ce type de modélisation permet de favoriser les flux de données et de réduire les flux de contrôles au sein de l’architecture matérielle. Cette dernière repose sur une plateforme multi-FPGA. La conception et l’évaluation de telles architectures ne peuvent se faire sans la mise en place d’outils logiciels d’aide à la validation tout au long du processus de la conception à l’implantation. Ces outils faisant partie intégrante de notre méthodologie. Les modèles architecturaux des briques de calculs ont été validés au niveau fonctionnel puis expérimental, grâce à la chaîne d’outils développée. Cela inclus un environnement de simulation nous permettant de valider sur tables les briques partielles de calculs ainsi que le contrôle associé. Enfin, cela a nécessité la conception d’outils de génération automatique de vecteurs de tests, à partir de données de synthèses (issues de l’outil simulation CIVA développé par le CEA) et de données expérimentales (à partir de l’appareil d’acquisition de la société M2M-NDT). Enfin, l’architecture développée au cours de ce travail de thèse permet la reconstruction d’images d’une résolution de 128x128 pixels, à plus de 10 images/sec. Ceci est suffisant pour le diagnostic de pièces mécaniques en temps réel. L’augmentation du nombre d’éléments capteurs ultrasonores (128 éléments) permet des configurations topologiques plus évoluées (sous forme d’une matrice 2D), ouvrant ainsi des perspectives vers la reconstruction 3D (d’un volume d’une pièce). Ce travail s’est soldé par une mise en œuvre validée sur l’instrument de mesure développé par la société M2M-NDTNon-destructive Evaluation (NDE) regroups a set of methods used to detect and characterize potential defects in mechanical parts. Current techniques uses ultrasonic phased array sensors associated with instrumentation channels and multi-sensor data acquisition in parallel. Given the amount of data to be processed, the analysis of the latter is usually done offline. Ongoing work at the French “Commissariat à l’Energie Atomique” (CEA), consist to develop and evaluate different methods of advanced imaging based on synthetic focusing. The Algorithms induced require extensive iterative operations on a large volume of data from phased array acquisition. This involves important time for calculations and implies offline processing. However, the industrial constraint requires performing image reconstruction in real time. This involves the implementation in the measuring device, the entire computing architecture on acquired sensor data. The thesis has been to study a synthetic focusing algorithm for a real-time implementation in a measuring instrument used to perform ultrasonic data acquisition. We especially studied an image reconstruction algorithm called Total Focusing Method (TFM). This work was conducted as part of collaboration with the French Institute of Fundamental Electronics Institute team of the University of Paris Sud. To do this, our approach is inspired by research theme called Algorithm Architecture Adequation (A3). Our methodology is based on an experimental approach in the first instance by a decomposition of the studied algorithm as a set of functional blocks. This allowed us to perform the extraction of the relevant blocks to parallelize computations that have a major impact on the processing time. We focused our development strategy to design a stream of data. This type of modeling can facilitate the flow of data and reduce the flow of control within the hardware architecture. This is based on a multi- FPGA platform. The design and evaluation of such architectures cannot be done without the introduction of software tools to aid in the validation throughout the process from design to implementation. These tools are an integral part of our methodology. Architectural models bricks calculations were validated functional and experimental level, thanks to the tool chain developed. This includes a simulation environment allows us to validate partial calculation blocks and the control associated. Finally, it required the design of tools for automatic generation of test vectors, from data summaries (from CIVA simulation tool developed by CEA) and experimental data (from the device to acquisition of M2M –NDT society). Finally, the architecture developed in this work allows the reconstruction of images with a resolution of 128x128 pixels at more than 10 frames / sec. This is sufficient for the diagnosis of mechanical parts in real time. The increase of ultrasonic sensor elements (128 elements) allows more advanced topological configurations (as a 2D matrix) and providing opportunities to 3D reconstruction (volume of a room). This work has resulted in implementation of validated measurement instrument developed by M2M -NDT
45
Vallot, Antoine. « Quels sont les signaux détectés par le point de contrôle du fuseau lors de la méiose dans l'ovocyte de souris ? » Thesis, Paris 6, 2017. http://www.theses.fr/2017PA066246/document.
Texte intégralRésumé :
Au cours de mon travail de doctorat, je me suis intéressé aux mécanismes qui contrôlent la séparation équitable du génome lors de la méiose dans l’ovocyte de souris.Le point de contrôle du fuseau contrôle la ségrégation des chromosomes en méiose : en cas d'attachement incorrect des chromosomes au fuseau, l'anaphase est retardée ce qui permet d'éviter les aneuploïdies. En métaphase, l’attachement des chromosomes homologues aux deux pôles opposés du fuseau, génère une force de tension au niveau des kinétochores. Mon travail de thèse a consisté à déterminer si la tension exercée sur les chromosomes est un signal qui permet de satisfaire le point du contrôle du fuseau en méiose I dans l'ovocyte de souris. Lorsque la tension exercée sur les chromosomes homologues par les microtubules est diminuée par un traitement pharmacologique, la dégradation de la sécurine, qui marque l’entrée en anaphase, est retardée. Si le point de contrôle du fuseau est inhibé en absence de tension, l’anaphase n’est pas retardée, ce qui indique que le point de contrôle du fuseau est sensible à la tension.Nous avons aussi montré que la kinase Aurora B/C n’est pas requise pour la réponse du point de contrôle du fuseau aux chromosomes non attachés, mais qu’elle est essentielle à la réponse du point de contrôle du fuseau à la baisse de tensionDans un contexte où les erreurs de ségrégation en méiose sont très fréquentes chez la femme et augmentent drastiquement avec l'âge, nos travaux pourraient permettre d'identifier si ces mécanismes de contrôle sont diminués et moins efficaces avec l'âge chez la femmeAt each cell division, chromosomes must be faithfully segregated so that exactly one set of chromosomes is passed on to the next generation. The spindle assembly checkpoint (SAC) ensures faithful chromosome segregation in meiosis: upon uncorrect attachment of the chromosome to the spindle, anaphase onset is delayed in order to avoid chromosome missegregation and aneuploidies. For my PhD thesis, I wanted to determine whether tension applied by the spindle microtubules on the chromosomes is itself a signal that satisfies the SAC in mouse oocyte meiosis I. When tension is decreased by small molecule inhibitors, securin degradation, which is a readout of anaphase onset, is delayed. If the SAC is inhibited, then tension defects cannot delay anaphase onset. This indicates that the SAC is able to delay anaphase onset upon tension defects.Furthermore, we showed that Aurora B/C kinase is not required for the SAC response to unattached chromosomes but that Aurora B/C is required for the SAC response to tension defects.Chromosome segregation errors are very common in women and increase with age. In that context, our work could help to identify whether these key control mechanisms are less efficient in the mammalian oocyte with age
46
Chaari, Kacem. « Mise au point d'une stratégie optimale de conduite des procédés de fermentation par contrôle numérique direct (et en temps réel) ». Compiègne, 1987. http://www.theses.fr/1987COMPI263.
Texte intégral
47
Trichet, Frédéric. « Mise au point d'une méthode d'étude de la cinétique de floculation : application au contrôle d'une installation de traitement des eaux ». Montpellier 1, 1985. http://www.theses.fr/1985MON13509.
Texte intégral
48
Charles, Léo Jacques. « Zonage agro-pédologique régional de franche-Comté : Mise au point méthodologique de cartogénèse à petite échelle. Contrôle statistique des unités cartographiées ». Besançon, 1991. http://www.theses.fr/1991BESA2020.
Texte intégralRésumé :
L'utilisation rationnelle des sols nécessite la connaissance de la distribution spatiale de leurs propriétés et de leurs comportements. L'objectif de ce travail est de proposer une démarche cartographique établissant des cartes servant d'outil synthétique d'aide à la décision dans divers projets d'aménagement du territoire. Elle est basée sur la recherche des liens entre les données et les observations de terrain et les critères relatifs à la répartition géographique des sols. La région franc-comtoise a servi de terrain expérimental s'appuyant sur les caractéristiques litho-morphologiques et les nombreux travaux de prospection cartographique existante. Dans ce contexte, dans un premier temps, une méthodologie cartographique a été mise au point en se basant sur les données des zones déjà prospectées (zones de références). Un essai de spatialisation a été réalisé sur une zone témoin, permettant d'obtenir un document cartographique représentatif du domaine rural concerné. Ce document, validé statistiquement, a permis de vérifier la division de la Franche-Comté en deux grands ensembles, Basse et Haute Franche-Comté. Dans un second temps, nous avons étudié la validité des unités cartographiques en utilisant des méthodes d'analyse statistique. Les résultats réunis au cours de cette étude ont démontré que les unités cartographiques de base considérées sont parfaitement fiables. La méthode proposée s'intègre dans l'ensemble des méthodes cartographiques à petite échelle. Applicable à d'autres milieux physiographiques appartenant au même ensemble lithologique et climatique, elle devrait fournir des documents tout à fait performants
49
Pop, Adrian Augustin. « Contributions à l'étude des petites machines électriques à aimants permanents, à flux axial et à auto-commutation électronique ». Phd thesis, Ecole Centrale de Lille, 2012. http://tel.archives-ouvertes.fr/tel-00804669.
Texte intégralRésumé :
Les travaux de recherche présentés dans cette thèse concernent les petites machines à aimants permanents, à flux axial et à auto-commutation électronique ayant la topologie d'un rotor intérieur discoïdal avec des aimants Nd-Fe-B montés en surface et de deux stators extérieurs identiques, chacun avec enroulement triphasé distribué dans des encoches. Après l'examen des topologies candidates pour applications d'entraînement direct basse-vitesse, une modélisation électromagnétique analytique de pré-dimensionnement d'un prototype de telles machines est réalisée. Ensuite, une approche numérique originale est développée et couplée à l'optimisation géométrique des aimants rotoriques en vue de réduire les harmoniques d'espace de l'induction magnétique dans l'entrefer et aussi les ondulations du couple électromagnétique. Des nombreux tests expérimentaux sont effectués sur le prototype de machine pour vérifier son dimensionnement ainsi que pour valider la stratégie d'auto-commutation électronique et de contrôle de base
50
Coudert, Renée. « Mise au point d'une émulsion lipidique injectable vecteur d'un principe actif lipophile : le RU 28965 ». Paris 5, 1991. http://www.theses.fr/1991PA05P030.
Texte intégral