Дисертації: "Stability analyse"

1

Maatar, Dhouha. "Analyse des signaux stabilométriques et de la stabilité chez l’Homme : application à la biométrie." Thesis, Paris Est, 2013. http://www.theses.fr/2013PEST1161/document.

Повний текст джерела

Анотація:

La biométrie se réfère à la reconnaissance automatique des individus. Elle est basée sur leurs caractéristiques physiologiques et/ou comportementales. Le contrôle postural, bien que soit une caractéristique comportementale de l'Homme, n'a pas été bien développée dans le domaine de la biométrie. Le travail mené dans cette thèse repose sur l'analyse des signaux stabilométriques et l'application à la biométrie. Dans un premier volet, une étude de l'information posturale, en particulier le signal stabilométrique, est effectuée à travers des méthodes d'analyses classiques à savoir et l'analyse spatio-temporelle, spectrale et stochastique et à travers aussi deux méthodes de décomposition : la décomposition appelée analyse en composantes principales (ACP) et la décomposition en ondelettes. La méthode ACP, basée sur le modèle additif, permet de décomposer le signal en trois composantes: un signal de tendance, un signal d'excursion et un signal de tremblements. La méthode de décomposition en ondelettes permet de décomposer le signal en trois niveaux de signaux de détail et trois niveaux de signaux d'approximation. Suite à l'étude de la stabilité posturale, l'analyse spectrale et l'analyse de la phase des différentes composantes issues de la ACP et de la décomposition en ondelettes, la comparaison de ces deux méthodes conclut que la méthode ACP est plus appropriée que la décomposition en ondelettes pour analyser le stabilogramme. A partir des méthodes de décomposition et des méthodes d'analyses classiques, des paramètres sont extraits afin d'étudier l'effet de différents facteurs sur la stabilité posturale et sur le déplacement du centre de masse. Ces facteurs sont la vision, la direction, la proprioception, l'âge, le genre, la taille et le poids. Un deuxième volet de ce travail est consacré à l'application biométrique, à partir des paramètres extraits et suite à une analyse statistique ANOVA, ceux qui sont les plus discriminatifs sont utilisés pour identifier des sujets et les classer selon leur âge, genre, poids et taille. Cette application biométrique est effectuée par trois méthodes de classification à savoir, K-ppv, ADL et SVM. Les applications biométriques aboutissent à des taux de reconnaissance respectables dépassant 80%. De ce fait, il est à déduire que l'analyse du contrôle postural est prometteuse dans le domaine de la biométrie
Biometrics refers to automatic recognition of individuals. It is based on their physiological and / or behavioral. The postural control, despite that is a human behavioral characteristic, has not been well developed in the field of biometrics. The work performed in this thesis is based on the stabilometric signals analysis ant biometric application. Firstly, a study of the postural information especially the stabilometric signal is carried out through traditional analysis namely temporal, frequency and stochastic analysis and two decomposition methods named principle components analysis (ACP) decomposition and wavelet decomposition. The ACP method, based on the additive model, allows decomposing the signal into three components: a trend signal, a rambling signal and a trembling signal. The wavelet decomposition method allows decomposing the signal into three levels of detail signals and three signal levels of approximation. Through the study of postural stability, spectral analysis and phase analysis of the different components from the ACP and the wavelet decomposition, the comparison of these two methods concludes that the ACP method is more appropriate than the wavelet decomposition to analyze the stabilogram. From the decomposition methods and classical methods of analysis, several parameters are extracted to study the effect of different factors on postural stability and the center of mass displacement. These factors are named vision, direction, proprioception, age, gender, height and weight. A second aspect of this work is devoted to the application of biometrics, from the extracted parameters and through ANOVA statistic analysis, those that are most discriminative are used to identify subjects and classify them according to age, gender, weight and size. This biometric application is performed by three classification methods namely, K-NN, LDA and SVM. Biometric applications result in respectable recognition rate exceeding 80%. Therefore, it is inferred that the analysis of postural control is promising in the field of biometrics

Стилі APA, Harvard, Vancouver, ISO та ін.

2

Besse, Apollos. "Modélisation mathématique de la leucémie myéloide chronique." Thesis, Lyon, 2017. http://www.theses.fr/2017LYSE1105/document.

Повний текст джерела

Анотація:

Cette thèse porte sur la dynamique de modèles de leucémie myéloïde chronique (LMC). Les modèles qui nous intéressent décrivent les populations de cellules leucémiques dans la moelle osseuse ou le sang, en compétition avec des populations de cellules saines ou avec le système immunitaire. Dans un premier chapitre, nous proposons une version mathématiquement analysable d'un modèle à équations différentielles ordinaires qui décrit l'interaction du système immunitaire avec les cellules leucémiques. Nous caractérisons l'existence d'équilibres et leur stabilité puis nous fournissons une analyse de bifurcation complète en co-dimension 1. Dans un deuxième chapitre, nous confrontons ce modèle à des données cliniques. Dans un troisième chapitre, nous proposons et analysons une version simplifiée d'un modèle d'équations aux dérivées partielles qui décrit la prolifération et la différenciation des cellules souches leucémiques dans la moelle osseuse et l'effet d'un traitement par ITK sur ces cellules. Nous nous intéressons au comportement à long terme des solutions, et à sa dépendance vis à vis du traitement. Dans un quatrième et dernier chapitre, nous nous intéressons à la stabilité des équations différentielles scalaires et autonomes à deux retards, qui apparaissent naturellement dans la modélisation de nombreux phénomènes biologiques ou physiques, comme la LMC
This thesis deals with the dynamics of models of chronic myeloid leukemia (CML). Models of interest describe leukemic cell populations in the bone marrow or in the blood, in competition with healthy cell populations or with the immune system. In a first chapter, we propose a mathematically tractable version of an ordinary differential equation model that describes the interaction of the immune system with leukemic cells. We characterize the existence of steady states and their stability and then we provide a complete bifurcation analysis in co-dimension 1. In a second chapter, we confront this model with clinical data. In a third chapter we propose and analyze a simplified version of a model of partial differential equations that describes the proliferation and differentiation of leukemic stem cells in the bone marrow and the effect of an TKI treatment on these cells. We are interested in the long-term behavior of the solutions, and its dependence on treatment. In a fourth and final chapter, we are interested in the stability of scalar and autonomous differential equations with two delays, which appear naturally in the modeling of many biological or physical phenomena, such as CML

Стилі APA, Harvard, Vancouver, ISO та ін.

3

Jin, Chi. "Analyse de stabilité de systèmes à coefficients dépendant du retard." Thesis, Université Paris-Saclay (ComUE), 2017. http://www.theses.fr/2017SACLS411/document.

Повний текст джерела

Анотація:

Des systèmes avec des coefficients dépendant du retard ont été rencontrés dans diverses applications de la science et de l'ingénierie. Malgré la littérature abondante sur les systèmes de temporisation, il y a peu de résultats concernant l'analyse de stabilité des systèmes avec des coefficients dépendant du retard. Cette thèse est consacrée à l'analyse de stabilité de cette classe de systèmes.Les méthodes d'analyse de la stabilité sont développées à partir de l'équation caractéristique correspondante suivant une approche généralisée tau-décomposition. Étant donné un intervalle d'intérêt de retard, nous sommes capables d'identifier toutes les valeurs de retard critique contenues dans cet intervalle pour lesquelles l'équation caractéristique admet des racines sur l'axe imaginaire du plan complexe. Le critère de direction de croisement des racines sont proposées pour déterminer si ces racines caractéristique se déplacent vers le plan complexe demi-gauche ou demi-droite lorsque le paramètre de retard passe par ces valeurs de retard critique. Le nombre de racines caractéristiques instables pour un retard donné peut ainsi être déterminé. Notre analyse comprend les systèmes avec un seul retard ou des retards proportionnés sous certaines hypothèses. Le critère de direction de croisement des racines développés dans cette thèse peut être appliqués aux multiple racines caractéristiques, ou aux racines caractéristiques dont la position paramétrée par le retard est tangent à l'axe imaginaire. En tant qu'application, il est démontré que les systèmes avec des coefficients dépendant du retard peuvent provenir de schémas de contrôle qui utilisent une sortie retardée pour approcher ses dérivés pour la stabilisation. Les méthodes d'analyse de stabilité développées dans cette thèse sont adaptées et appliquées pour trouver les intervalles de retard qui atteignent un taux de convergence demandé du système en boucle fermée
Systems with delay-dependent coefficients have been encountered in various applications of science and engineering. However, general and systematic stability analysis is rarely reported in the rich literature on time-delay systems. This thesis is committed to the stability analysis of such class of systems.Stability analysis methods are developed based on the corresponding characteristic equation following a generalized tau-decomposition approach. Given a delay interval of interest, we are able to identify all the critical delay values contained in this interval for which the characteristic equation admits roots on the imaginary axis of the complex plane. Various root crossing direction criteria are proposed to determine whether these characteristic roots move toward the left or the right half complex plane as the delay parameter sweeps through these critical delay values. The number of unstable characteristic roots for any given delay can thus be determined. Our analysis covers systems with a single delay or commensurate delays under certain assumptions. The root crossing direction criteria developed in this thesis can be applied to characteristic roots with multiplicity, or characteristic roots whose locus parametrized by the delay is tangent to the imaginary axis. As an application, it is demonstrated that systems with delay-dependent coefficients can arise from control schemes that use delayed output to approximate its derivatives for stabilization. The stability analysis methods developed in this thesis are tailored and applied to find the delay intervals that achieve a demanded convergence rate of the closed-loop system

Стилі APA, Harvard, Vancouver, ISO та ін.

4

Cochoy, Jérémy. "Decomposability and stability of multidimensional persistence." Thesis, Université Paris-Saclay (ComUE), 2018. http://www.theses.fr/2018SACLS566/document.

Повний текст джерела

Анотація:

Dans un contexte où des quantités toujours plus colossales de données sont disponibles,extraire des informations significatives et non triviales devient toujours plus difficile. Afin d’améliorer la classification, régression, ou encore l’analyse exploratoire de données, l’approche fournie par l’analyse topologique de données (TDA) est de rechercher la présence de formes dans le jeu de données.Dans cette thèse nous étudions les propriétés des modules de persistance multidimensionnelle dans le but d’obtenir une meilleure compréhension des sommandes et décompositions de ces derniers. Nous introduisons un foncteur qui plonge la catégorie des représentations de carquois dont le graphe est un arbre enraciné dans la catégorie des modules de persistance indexé sur ℝ². Nous enrichissons la structure de module de persistance provenant de l’application du foncteur cohomologie à une filtration en une structure d’algèbre de persistance.Enfin, nous généralisons l’approche de Crawley Beovey à la multipersistance et identifions une classe de modules de persistance indexé sur ℝ² qui possède des descripteurs simples et analogues au théorème de décomposition existant en persistance1-dimensionnelle
In a context where huge amounts of data are available, extracting meaningful and non trivial information is getting harder. In order to improve the tasks of classification, regression, or exploratory analysis, the approach provided by topological data analysisis to look for the presence of shapes in data set.In this thesis, we investigate the properties of multidimensional persistence modules in order to obtain a better understanding of the summands and decompositions of such modules. We introduce a functor that embeds the representations category of any quiver whose graph is a rooted tree into the category of ℝ²-indexed persistence modules. We also enrich the structure of persistence module arising from the cohomology of a filtration to a structure of persistence algebra.Finally, we generalize the approach of Crawley Beovey to multipersistence and identify a class of persistencemodules indexed on ℝ² which have simple descriptor and an analog of the decomposition theorem available in one dimensional persistence

Стилі APA, Harvard, Vancouver, ISO та ін.

5

Lerisson, Gaétan. "Stabilité d'une onde de gravité interne, analyse locale, globale et croissance transitoire." Thesis, Université Paris-Saclay (ComUE), 2017. http://www.theses.fr/2017SACLX017/document.

Повний текст джерела

Анотація:

Dans les océans profonds linéairement stratifiés, la déstabilisation des ondes de gravité internes est importante car elle contribue probablement au mélange turbulent et à la circulation thermohaline.À l'aide de simulations numériques directes, nous créons un faisceau d'onde interne progressive. Cette situation est équivalente à une onde produite par l'oscillation de la marée sur une topographie sous-marine. Nous retrouvons les résultats expérimentaux obtenus par cite{Bourget13} : le faisceau se déstabilise en un mode petite échelle. Nous regardons l'effet d'un écoulement horizontal moyen sur cette instabilité en prenant soin d'abaisser la fréquence de forçage afin de compenser l'effet doppler et de conserver localement la même onde. Un cas limite apparaît lorsque le forçage devient stationnaire, ce qui équivaut à une onde de sillage issue d'un écoulement constant au dessus d'une topographie.Les écoulements à petite vitesse voient une instabilité petite échelle similaire au cas marée alors que les écoulement intermédiaires restent stables. Les écoulements plus rapides (jusqu'au cas sillage) voient, par contre, une instabilité bien plus grande échelle que celle dans le cas marée. Cette sélection d'échelle est robuste aux variations du nombre de Froude, de Reynolds, de la taille du faisceau ou de l'angle de l'onde.Nous montrons que ces instabilités peuvent être décrites comme des triades résonantes et que les différentes échelles correspondent à différentes branches triadiques. Nous confirmons la présence de cas stables pour des vitesses intermédiaires en calculant les modes propres comme des modes de Floquet à l'aide d'un algorithme d'Arnoldi--Krylov, et en montrant qu'ils sont associés à des taux de croissance négatifs.Le cas sillage est instable et nous le stabilisons par une méthode deselective frequency damping cite{Akervik06} afin d'obtenir un écoulement de base stationnaire autour duquel nous calculons les perturbations optimales qui maximisent l'énergie totale à différents horizons temporels. Pour des horizons courts, la perturbation optimale est petite échelle alors que pour des horizons longs, elle est grande échelle et converge vers la solution non-linéaire obtenue précédemment. Les horizons courts voient une instabilité triadique petite échelle advectée par l'écoulement et les horizons longs développent une instabilité d'une branche triadique grande échelle capable de se maintenir dans le faisceau malgré l'écoulement.Nous interprétons cette sélection de mode par le biais de la théorie des instabilités absolue ou convective. Dans le cas de l'onde de sillage l'instabilité grande échelle est absolue alors que la petite échelle est convective (et domine la croissance transitoire puisque son taux de croissance local est supérieur). Les rôles s'inversent dans le cas marée et l'instabilité petit échelle devient absolue alors que la grande échelle est convective. Nous confirmons cette hypothèse en calculant la réponse impulsionnelle d'une onde plane monochromatique dans un domaine 2Dpériodique. L'évolution spatio-temporelle d'une perturbation localisée en temps et en espace montre la formation de trois paquets d'onde, chacun étant associé à une branche triadique que nous identifions par une extension de la théorie triadique prenant en compte un désaccordage cite{McEwan77} et permettant de calculer la vitesse de groupe des sommets des paquets. En calculant ensuite le taux de croissance absolu le long de rayons à x/t et z/t constant, nous validons notre hypothèse
Internal gravity waves that exist in a continuously stratified fluid are particularly important in the ocean. They transport energy and are thought to generate turbulent mixing, which contribute to the deep ocean circulation.We generate an internal wave beam that propagates in a continuously stratified fluid with direct numerical simulations. This situation is equivalent to a tidal wave, where the tidal flow oscillates over a topography and generates a wave. Experimental results obtained by cite{Bourget13} are recovered, ie. the beam destabilizes into a small scale mode. We consider the effect of an horizontal mean flow on the instability and lower the forcing frequency in order to compensate for the doppler effect and to keep locally the same wave. A limit case appears when the forcing becomes stationary. This case is equivalent to a lee wave appearing when a stratified fluid flows over a topography.For small mean flow, small scale instabilities develop as in the tidal case. The beam then stabilizes at intermediate mean flows and destabilizes again for increasing flow speed. At this second threshold, down to the lee wave case, the instability is of much larger scale than for the tidal case. Varying the Reynolds number, the Froude number, the wave angle or the beam size doesn't affect the instability scale selection : a small scale instability in the tidal regime, and large scale instability in the lee regime.We show that the instability mechanism may be interpreted using the triadic instability. Scale selection corresponds to different branches of triadic resonance. We confirm the presence of a stability region for intermediate value of the mean advection velocity by computing the linear eigenmode as Floquet mode with an Arnoldi-Krylov technique and show that the leading eigenmode has a negative growth rate.In the lee wave, case the flow is unstable and a selective frequency damping method cite{Akervik06} is used to compute a steady base flow. We then implement a linear direct-adjoint method to compute the optimal perturbations that maximizes the total energy at different time horizons. At short time horizon, the optimal perturbation is small scale while at large time the perturbation switches to a large scale solution and converges to the large scale mode observed through the nonlinear simulations. Short time transients correspond to the small scale triadic instability advected by the flow whereas the long time large scale instability corresponds to large scale branch of the triadic instability that is able to sustain the flow.We propose an interpretation of the selection of these different instabilities in term of absolute and convective instability. In the case of the lee wave, the large scale instability is absolute whereas the small scale instability is convective (and dominates the short time transient growth because it has a larger local growth rate). When the mean flow is varied, the properties of small scale and large scale instabilities exchange: in the tidal case the short scale instability is absolute and the large scale convective. This conjecture is confirmed by computing the impulse response around a plane monochromatic internal gravity wave in an extended two dimensional periodic domain. The spatio temporal evolution of a perturbation localized in space and time points out the formation of three different wave packets corresponding to different branches of triadic instability. Using the triadic theory with finite detuning cite{McEwan77},we derive the group velocity at the maximum growth rate of the three different branches of triadic instability and find a good agreement with the velocity of the three wave paquet maxima in the impulse response. Analyzing the impulse response along rays, i.e. at x/t and z/tconstant, we compute the absolute growth rate along all possible rays and validate our conjecture

Стилі APA, Harvard, Vancouver, ISO та ін.

6

Cosson, Marjorie. "Stabilité du réseau électrique de distribution. Analyse du point de vue automatique d'un système complexe." Thesis, Université Paris-Saclay (ComUE), 2016. http://www.theses.fr/2016SACLC065/document.

Повний текст джерела

Анотація:

Pour maintenir la tension dans des bornes admissibles, des régulations locales de puissance réactive (Q) en fonction de la tension (U) sont envisagées sur les réseaux de distribution. Ces travaux étudient l’impact de ces régulations sur la stabilité des réseaux de distribution accueillant de la production. Une étude empirique confirme le risque d’instabilité de la tension et souligne le lien avec les paramètres de la régulation. Pour aider les gestionnaires à les choisir, trois méthodes d’étude de la stabilité sont proposées. Tout d’abord, une méthode formelle fondée sur les notions d’abstraction discrète et de bisimulation est développée. Elle offre une grande précision au prix d’un effort de calcul important. Pour contournercette difficulté, un critère analytique portant sur le temps de réponse des régulations Q(U) est formulé. Ensuite, un critère valable dans tous les cas est proposé pour les codes de réseaux. Enfin, l’extension desméthodes à des cas plus complexes est discutée
To maintain the voltage within specified limits, local control laws of distributed generators (DGs) reactive power (Q) with respect to their voltage (U) have been considered. This work studies the impact of Q(U) control laws on distribution feeders’voltage stability. An empirical study confirms the risk of voltage instability and highlights its dependence on control law parameters. To help distribution grid operators to choose these parameters, three methods assessing stability are formulated.First, a formal method based on discrete abstraction and bisimulation calculation is developed. The proposed approach yields precise results but with a high computational load. Then, to overcome this issue, an analytical criterion adapting Q(U) control laws response time with respect to grid parameters is formulated. Finally, a general criterion, valid in any cases, is established in order to be included in the grid codes. To conclude this work, extension to more complex cases is discussed

Стилі APA, Harvard, Vancouver, ISO та ін.

7

Hachemi, Fouad El. "Analyse de stabilité des systèmes à commutations singulièrement perturbés." Thesis, Université de Lorraine, 2012. http://www.theses.fr/2012LORR0229/document.

Повний текст джерела

Анотація:

Un grand nombre de phénomènes nous entourant peuvent être décrit par des modèles hybrides, c'est-à-dire, mettant en jeu simultanément une dynamique continu et une dynamique discrète. Également, il n'est pas rare que ces dynamiques puissent évoluer dans des échelles de temps différentes. Dans cette thèse, nous nous intéressons à l'analyse de stabilité des systèmes à commutations singulièrement perturbés à temps continu. En présence de commutations, l'analyse de stabilité des systèmes singulièrement perturbés dite "classique" (séparation des échelles de temps) n'est plus valable. En nous plaçant en dimension deux et en considérant deux modes, nous donnons une caractérisation complète du comportement asymptotique de tels systèmes lorsque le paramètre de perturbation tend vers zéro. Ensuite, nous étudions la discrétisation des systèmes à commutations singulièrement perturbés, en portant un intérêt particulier aux méthodes de discrétisation permettant de préserver la stabilité et les fonctions de Lyapunov quadratiques communes
Many phenomena we encounter can be described by hybrid models, namely, consisting of one continuous dynamic and one discret dynamic at the same time. Moreover, these dynamics often evolves in different time scales. In this thesis, we deal with the stability analysis of singularly perturbed switched systems in continuous time. When we consider switchings, the "classical" approach (decoupling fast and slow dynamics) allowing to analyse stability of singularly perturbed systems doesn't hold anymore. Considering second order singularly perturbed switched systems woth two modes, we completely characterize de stability behavior of such systems when the perturbation parameter goes to zero. Then, we study the discretization of singularly perturbed switched systems. In particular, we focus on methods allowing to preserve stability and common quadratic Lyapunov functions

Стилі APA, Harvard, Vancouver, ISO та ін.

8

Rigaud, Alexandre. "Analyse des notions de stabilité pour les modèles 2D de Roesser et de Fornasini-Marchesini." Thesis, Poitiers, 2022. http://www.theses.fr/2022POIT2307.

Повний текст джерела

Анотація:

Cette thèse présente les résultats de travaux sur lLes différentes notions de stabilité utilisées dans la littérature des systèmes dynamiques multidimensionnels. Plus précisément, dans le cadre des modèles 2D de Roesser et de Fornasini-Marchesini, nous analysons les notions de stabilité au sens de Lyapunov, stabilité asymptotique, stabilité(s) exponentielle(s) et stabilité structurelle, ainsi que les relations entre ces différentes propriétés. Le premier chapitre de ce mémoire effectue un certain nombre de rappels concernant les définitions de stabilité et les liens qui existent entre celles-ci, dans le but d'établir un cadre solide en vue d'étendre ces notions du cas 1D au cas 2D. Une fois ces rappels établis, nous présentons les modèles 2D que nous étudions. Le deuxième chapitre dresse la liste des définitions de stabilité utilisées pour les modèles 2D de Roesser et de Fornasini-Marchesini et établit les liens entre ces différentes définitions. Au cours du troisième chapitre, nous proposons une condition nécessaire et suffisante de stabilité asymptotique pour une certaine classe de modèles de Fornasini-Marchesini 2D discrets linéaires. Le quatrième et dernier chapitre propose une étude détaillée d'un modèle 1D non-linéaire qui possède la particularité rare d'être à la fois attractif et instable, et nous généralisons ce modèle particulier au cas 2D afin d'établir quelles propriétés se conservent ou non lorsque l'on passe du cas 1D au cas 2D
This thesis presents the results of research work on different notions of stability used in the literature of multidimensional dynamical systems. More precisely, within the framework of the 2D Roesser and Fornasini-Marchesini models, we analyze the notions of stability in the sense of Lyapunov, asymptotic stability, exponential stability(ies) and structural stability, as well as the relations between these different properties. The first chapter of this thesis carries out a certain number of reminders concerning the definitions of stability and the links which exist between them, with the aim of establishing a solid framework in order to extend these notions from the 1D case to the 2D case. Once these reminders have been established, we present the 2D models that we are studying. The second chapter lists the stability definitions used for the 2D Roesser and Fornasini-Marchesini models and establishes the links between these different definitions. In the third chapter, we propose a necessary and sufficient condition of asymptotic stability for a certain class of linear discrete 2D Fornasini-Marchesini models. The fourth and last chapter proposes a detailed study of a non-linear 1D model which has the rare characteristic of being both attractive and unstable, and we generalize this particular model to the 2D case in order to establish which properties are conserved. or not when passing from the 1D case to the 2D case

Стилі APA, Harvard, Vancouver, ISO та ін.

9

Cherifi, Abdelmadjid. "Contribution à la commande des modèles Takagi-Sugeno : approche non-quadratique et synthèse D -stable." Thesis, Reims, 2017. http://www.theses.fr/2017REIMS016/document.

Повний текст джерела

Анотація:

Ce travail de thèse traite de l’analyse de la stabilité et la stabilisation des systèmes non-linéaires représentés par des modèles T-S. L’objectif est de réduire le conservatisme des conditions de stabilité, obtenue par la méthode directe de Lyapunov, et écrites, dans la mesure du possible, sous forme de LMIs. Dans ce cadre, deux contributions principales ont été apportées. Tout d’abord, nous avons proposé de nouvelles conditions de synthèse non-quadratique de lois de commande, strictement LMIs et sans restriction d’ordre, pour les modèles T-S via des FLICs. En effet, dans ce contexte, les résultats de la littérature ne sont valables que pour les modèles T-S d’ordre inférieur ou égal à 2. Afin de lever cette restriction, les conditions ont été obtenues grâce à la démonstration d’une propriété de dualité. Ensuite, peu de travaux traitant de la spécification des performances en boucle fermée, de nouvelles conditions LMIs (quadratiques et non-quadratiques) ont été proposées via le concept de D-stabilité. Dans un premier temps, la synthèse de lois de commande PDC et non-PDC D-stabilisantes a été proposée pour les modèles T-S nominaux. Ensuite, ces résultats ont été étendus au cas des modèles T-S incertains. De plus, nous avons mis en évidence, au travers d’un exemple de D-stabilisation en attitude d’un modèle de drone quadrirotor, que les modèles T-S incertains pouvaient être avantageusement considérés lorsque les non-linéarités d’un modèle non-linéaire dépendent à la fois de l’état et de l’entrée
This work deals with the stability analysis and the stabilisation of nonlinear systems represented by T-S models.The goal is to reduce the conservatism of the stability conditions, obtained through the direct Lyapunov methodand written, when it is possible, as LMIs. In this framework, two main contributions has been proposed. First ofall, we have proposed some new conditions based on FLICs, strictly LMIs and without any order restrictions, forthe non-quadratic design of control laws devoted to stabilize T-S models. Indeed, in this non-quadratic context,the existing works are only available for 2nd order T-S models. In order to unlock this restriction, the proposed conditions have been obtained based on the proof of a dual property. Then, starting from the fact that few worksdeals with the closed-loop performances specification, some new LMI conditions (quadratic and non-quadratic)have been proposed via the D-stability concept. As a first step, D-stabilizing PDC and non-PDC controller designhas been considered for nominal T-S models. Then, these results have been extended to uncertain T-S models.Moreover, it has been highlighted, from an example of the attitude D-stabilization of a quadrotor model, that wecan make use of uncertain T-S models to cope with nonlinear models involving nonlinearities depending on bothstate and input variables

Стилі APA, Harvard, Vancouver, ISO та ін.

10

Moussavi, Said. "Analyse de la stabilité de la coupe d'un procédé d'usinage robotisé." Thesis, Clermont-Ferrand 2, 2016. http://www.theses.fr/2016CLF22697/document.

Повний текст джерела

Анотація:

La productivité des processus d'usinage robotisé est très souvent limitée par le manque de rigidité des robots et les problèmes vibratoires relatifs à l’instabilité de la coupe. L’analyse de l’instabilité de la coupe en usinage robotisé est un problème difficile en raison de la variabilité du comportement dynamique du robot dans son espace de travail. Par conséquent, le phénomène de broutement en usinage robotisé dépend non seulement des paramètres de coupe mais également de la configuration du robot. Le premier objectif de cette thèse est de déterminer une méthode de modélisation dynamique du robot, adaptée du point de vue de l’analyse des vibrations et de la stabilité en usinage robotisé. Cette approche a été réalisée sur le robot d’usinage industriel ABB IRB6660. Une démarche de recalage a été mise en place afin de déterminer les paramètres du modèle numérique du robot. Ensuite, une présentation 3D de la limite de stabilité en usinage robotisé prenant en compte les variations du comportement dynamique du robot est réalisée. Le deuxième objectif consiste à optimiser le procédé vis-à-vis de la stabilité de la coupe. Les variations du comportement dynamique du robot sont exploitées par la gestion des redondances fonctionnelles afin d’optimiser la configuration du robot du point de vue de la stabilité. L’analyse numérique a montré et les essais expérimentaux d’usinage ont confirmé la possibilité de passer de la zone instable à la zone stable par la gestion de la redondance fonctionnelle sans modifier les paramètres de coupe
Productivity in robotic machining processes can be limited by the low rigidity of the overall structure and vibration instability (chatter). The robot’s dynamic behavior, due to changes in its posture along a machining trajectory, varies within its workspace. Chatter in robotic machining therefore depends not only on the cutting parameters but also on the robot configuration. The first objective of this thesis is to determine a dynamic modeling approach of the robot in order to analyze the vibration and the stability in robotic machining. This modeling approach has been realized to dynamic modeling of an ABB IRB6660 industrial robot. The numerical model parameters are adjusted on the basis of experimental modal identifications. Then, a three-dimensional representation of stability lobes diagram for the prediction to take into account the robot dynamic behavior variations in machining trajectory is established. The second objective is to optimize the robot configurations regarding stability. The dynamic behavior variations of the robot in the workspace are exploited through functional redundancy management in order to optimize robot configurations with respect to machining stability. The numerical analyze demonstrated and experimental machining tests confirmed that stability conditions in machining operations can be achieved by managing functional redundancy without changing the cutting parameters

Стилі APA, Harvard, Vancouver, ISO та ін.

11

Guo, Xiangfeng. "Probabilistic stability analysis of an earth dam using field data." Thesis, Université Grenoble Alpes, 2020. http://www.theses.fr/2020GRALI017.

Повний текст джерела

Анотація:

Compte tenu de la nature des sols, des incertitudes sur leurs propriétés sont largement rencontrées en géotechnique, en particulier dans le domaine des barrages en terre. Actuellement, il est de plus en plus nécessaire de tenir compte de ces incertitudes pour l'évaluation de la sécurité des grands barrages, notamment dans le cadre des études d’analyse de risques. Cependant, les analyses probabilistes sont complexes et difficiles à mettre en œuvre en raison du nombre limité de mesures, des temps de calcul importants et des limites des méthodes fiabilistes implémentées dans les outils de simulation commerciaux. De plus, la plupart des études précédentes sont basées sur des cas académiques et des données hypothétiques.Ce travail tente de résoudre les problèmes mentionnés ci-dessus en fournissant une étude d'analyse probabiliste pour la stabilité d'un barrage réel en terre en considérant les données in-situ disponibles. Cette étude inclut les éléments principaux suivants: (1) définition de la variabilité des sols en utilisant les mesures disponibles; (2) développement des modèles déterministes; (3-4) analyses probabilistes bu barrage en utilisant des approches en variables aléatoires et en champs aléatoires; (5) analyse 3D de la fiabilité du barrage considéré. Des méthodes fiabilistes avancées (par exemple le métamodèle adaptatif) sont introduites. Cela permet d'estimer précisément la probabilité de rupture du barrage et les valeurs statistiques des facteurs de sécurité avec un temps de calcul significativement réduit. En outre, certaines questions, qui restaient floues dans le domaine de l'analyse probabiliste des barrages, sont discutées (e.g. l’analyse de sensibilité globale des paramètres hydrauliques et géo-mécaniques des sols ; l’étude des performances de cinq méthodes de fiabilité; la simulation/comparaison de trois types de champs aléatoires : générique, conditionnel et non-stationnaire). Le travail présenté, basé sur des données réelles, pourrait être un bon complément aux études probabilistes existantes des ouvrages géotechniques. Les lecteurs pourront également trouver des informations utiles à partir des résultats obtenus afin de mieux résoudre les problèmes pratiques de géo-ingénierie dans un cadre probabiliste
Uncertainties of soil properties are widely encountered in the field of geotechnical engineering especially for earth dams which are constructed with earthen materials. In recent years, there is an increasing need, motivated by the deficiencies of the traditional deterministic approach or guided by the national regulations such as in France, of accounting for these uncertainties for a safe assessment of large dams particularly in the framework of risk analysis studies. However, probabilistic analyses are still complex and not so easy to implement in practice due to the limited number of in-situ measurements, expensive computation efforts and lack of implementation of reliability methods in commercial simulation tools. Moreover, most of the previous studies are based on academic cases and hypothetic data.This work attempts to deal with the aforementioned issues by providing a probabilistic analysis study for the stability of a real earth dam using available field data. This study includes the following main elements: (1) definition of the soil variability by using the available measurements; (2) development of the deterministic models; (3-4) dam probabilistic analyses using the random-variables and random-fields approaches; (5) three-dimensional reliability analysis of the considered dam. Advanced reliability methods, such as the adaptive surrogate modelling, are introduced for the studied earth dam problem. This allows accurately estimating the dam failure probability and the safety factor statistics with a significantly reduced calculation time. In addition, some issues, that remain unknown or unclear in the field of the dam probabilistic analysis, are discussed (e.g. global sensitivity analysis of the soil hydraulic and shear strength parameters; performance survey of five reliability methods; simulation/comparison of three different kinds of random fields: generic (unconditional-stationary), conditional and nonstationary). The presented work, based on real measurements, could be a good supplement to the existing probabilistic studies of geo-structures. Readers will find useful information from the obtained results in order to better solve the practical geotechnical problems in a probabilistic framework

Стилі APA, Harvard, Vancouver, ISO та ін.

12

Abid, Walid. "Analyse de la dynamique de certains modèles proie-prédateur et applications." Thesis, Le Havre, 2016. http://www.theses.fr/2016LEHA0001/document.

Повний текст джерела

Анотація:

Cette thèse est consacrée à l’étude de la dynamique de quelques problèmes de proie-prédateur de type Leslie-Gower avec des systèmes d’équations différentielles ordinaires et des équations de réaction-diffusion. L’objectif principal est de faire l’analyse mathématique, la simulation numérique des modèles construits. La thèse est divisée en trois parties : La première partie est consacrée à un système proie-prédateur avec récolte de proie, le modèle est donné par un système d’équation différentielle ordinaire. Le but de cette partie est d’étudier l’impact de la récolte sur le comportement du système. Dans la deuxième partie, nous introduisons la dimension spatiale dans le modèle dynamique considéré sans récolte, modélisant une chaîne alimentaire de deux espèces avec diffusion sur un domaine circulaire et une fonction de réponse de Holling type II. Nous effectuons une analyse théorique complète de la dynamique spatio-temporelle du modèle construit ainsi que l’étude du système sur le domaine circulaire. Une étude mathématique similaire est menée dans le cadre de la réponse fonctionnelle de Benddington-DeAngelis. Nous étudions, aussi le comportement qualitatif d’une chaîne alimentaire de trois espèces avec une réponse fonctionnelle de Holling type II. Dans la dernière partie, nous introduisons des termes de diffusions croisées dans le modèle dynamique considéré dans le but d’avoir l’effet de ce dernier sur le comportement du système
This thesis is devoted to the study of the dynamics of some problems Leslie Gower-type predator-prey with ordinary differential equations and reaction-diffusion equations. The main objective is to make mathematical analysis, numerical simulation of constructed models. The thesis is divided in three parts : The first part is devoted to a predator-prey system with prey harvesting, the model is given by an ordinary differential equation system. The aim of this part is to study the impact of harvesting on the system behavior. In the second part, we introduce the spatial dimension in the dynamic model considered without harvesting, modeling a food chain of two species with diffusion on the circular area and Holling Type II response function. We perform a complete theoretical analysis of the spatiotemporal dynamics model built and the system study on the circular area. A similar mathematical study is conducted as part of the functional response of Benddington-DeAngelis.We study, also the qualitative behavior of a food chain of three species with a Holling type II response function. In the last party, we introduce of cross-diffusion terms in the considered dynamic model in order to have the effect of the latter on the system behavior

Стилі APA, Harvard, Vancouver, ISO та ін.

13

Bourgeois, Magali. "Analyse des instabilités de sillages en écoulement cisaille." Toulouse 3, 1986. http://www.theses.fr/1986TOU30192.

Повний текст джерела

Анотація:

Etude expérimentale en canal hydrodynamique vertical de la zone de mélange qui se développe entre deux courants de vitesses différentes séparés par une plaque épaisse. Mise au point de techniques de visualisation (trajectographie, extraction de contours); développement de logiciels de traitement

Стилі APA, Harvard, Vancouver, ISO та ін.

14

Pan, Qiujing. "Deterministic and Probabilistic Assessment of Tunnel Face Stability." Thesis, Université Grenoble Alpes (ComUE), 2017. http://www.theses.fr/2017GREAI044.

Повний текст джерела

Анотація:

The main work for Qiujing PAN’s PhD thesis is to develop the stability analysis for underground structures, which contains two parts, deterministic model and probabilistic analysis. During his 1st year of PhD research, he has mainly finished the deterministic model study. In the 2nd year, I developed a probabilistic model for high dimensional problems
In the contemporary society, the utilization and exploitation of underground space has become an inevitable and necessary measure to solve the current urban congestion. One of the most important requirements for successful design and construction in tunnels and underground engineering is to maintain the stability of the surrounding soils of the engineering. But the stability analysis requires engineers to have a clear ideal of the earth pressure, the pore water pressure, the seismic effects and the soil variability. Therefore, the research aimed at employing an available theory to design tunnels and underground structures which would be a hot issue with high engineering significance. Among these approaches employed to address the above problem, limit analysis is a powerful tool to perform the stability analysis and has been widely used for real geotechnical works. This research subject will undertake further research on the application of upper bound theorem to the stability analysis of tunnels and underground engineering. Then this approach will be compared with three dimensional analysis and experimental available data. The final goal is to validate new simplified mechanisms using limit analysis to design the collapse and blow-out pressure at the tunnel face. These deterministic models will then be used in a probabilistic framework. The Collocation-based Stochastic Response Surface Methodology will be used, and generalized in order to make possible at a limited computational cost a complete parametric study on the probabilistic properties of the input variables. The uncertainty propagation through the models of stability and ground movements will be evaluated, and some methods of reliability-based design will be proposed. The spatial variability of the soil will be taken into account using the random field theory, and applied to the tunnel face collapse. This model will be developed in order to take into account this variability for much smaller computation times than numerical models, will be validated numerically and submitted to extensive random samplings. The effect of the spatial variability will be evaluated

Стилі APA, Harvard, Vancouver, ISO та ін.

15

Caldeira, André. "Techniques d'analyse de stabilité et synthèse de contrôle pour des systèmes hyperboliques." Thesis, Université Grenoble Alpes (ComUE), 2017. http://www.theses.fr/2017GREAT041/document.

Повний текст джерела

Анотація:

Ce travail étudie les stratégies de contrôle des limites pour l'analyse de stabilité et la stabilisation d'un système hyperbolique de premier ordre couplé à des conditions limites dynamiques non linéaires. La modélisation d'un écoulement à l'intérieur d'un tube (phénomène de transport de fluide) avec une stratégie de contrôle des limites appliquée dans une installation expérimentale physique est considérée comme une étude de cas pour évaluer les stratégies proposées. Dans le contexte des systèmes de dimension finie, des outils de contrôle classiques sont appliqués pour traiter des systèmes hyperboliques de premier ordre ayant des conditions limites données par le couplage d'un modèle dynamique de colonne de chauffage et d'un modèle statique de ventilateur. Le problème de suivi de cette dynamique complexe est abordé de manière simple en considérant des approximations linéaires, des schémas de différences finies et une action intégrale conduisant à un système linéaire à temps discret augmenté avec une dimension dépendant de la taille d'échelon de la discrétisation dans l'espace. Par conséquent, pour la contrepartie dimensionnelle infinie, deux stratégies sont proposées pour résoudre le problème de contrôle de frontière des systèmes hyperboliques de premier ordre couplé à des conditions de frontière dynamique non linéaires. Le premier se rapproche de la dynamique du système hyperbolique de premier ordre par un retard pur. La stabilité convexe et les conditions de stabilisation des systèmes quadratiques non linéaires retardés d'entrée incertaine sont proposées sur la base de la théorie de la stabilité de Lyapunov-Krasovskii (LK) qui sont formulées en termes de contraintes de l'inégalité matricielle linéaire (LMI) avec des variables supplémentaires lâches (introduites par le lemme de Finsler ). Ainsi, des fonctions strictement de Lyapunov sont utilisées pour dériver une approche basée sur LMI pour la stabilité de la frontière régionale robuste et la stabilisation des systèmes hyperboliques de premier ordre avec une condition de frontière définie au moyen d'un système dynamique non linéaire quadratique. Les conditions de stabilité et de stabilisation proposées pour LMI sont évaluées en tenant compte de plusieurs exemples universitaires et de l'écoulement à l'intérieur d'une étude de cas
This work studies boundary control strategies for stability analysis and stabilization of first-order hyperbolic system coupled with nonlinear dynamic boundary conditions. The modeling of a flow inside a pipe (fluid transport phenomenon) with boundary control strategy applied in a physical experimental setup is considered as a case study to evaluate the proposed strategies. Firstly, in the context of finite dimension systems, classical control tools are applied to deal with first-order hyperbolic systems having boundary conditions given by the coupling of a heating column dynamical model and a ventilator static model. The tracking problem of this complex dynamics is addressed in a simple manner considering linear approximations, finite difference schemes and an integral action leading to an augmented discrete-time linear system with dimension depending on the step size of discretization in space. Hence, for the infinite dimensional counterpart, two strategies are proposed to address the boundary control problem of first-order hyperbolic systems coupled with nonlinear dynamic boundary conditions. The first one approximates the first-order hyperbolic system dynamics by a pure delay. Then, convex stability and stabilization conditions of uncertain input delayed nonlinear quadratic systems are proposed based on the Lyapunov-Krasovskii (L-K) stability theory which are formulated in terms of Linear Matrix Inequality (LMI) constraints with additional slack variables (introduced by the Finsler's lemma). Thus, strictly Lyapunov functions are used to derive an LMI based approach for the robust regional boundary stability and stabilization of first-order hyperbolic systems with a boundary condition defined by means of a nonlinear quadratic dynamic system. The proposed stability and stabilization LMI conditions are evaluated considering several academic examples and also the flow inside a pipe as case study

Стилі APA, Harvard, Vancouver, ISO та ін.

16

Chekila, Abdelfateh. "Analyse non linéaire de la stabilité de l'écoulement de Poiseuille plan d'un fluide rhéofluidifiant." Thesis, Université de Lorraine, 2014. http://www.theses.fr/2014LORR0022/document.

Повний текст джерела

Анотація:

L'objectif de cette thèse est d'analyser l'influence des non linéarités, du comportement rhéologique des fluides rhéofluidifiants, sur les conditions de stabilité et de transition vers la turbulence. Dans un premier temps, une analyse linéaire de stabilité avec une approche modale a été réalisée. Les résultats obtenus mettent clairement en évidence l'effet stabilisant de la rhéofluidification. Ensuite, une analyse faiblement non linéaire de stabilité a été menée en vue d'examiner l'influence de la perturbation de la viscosité sur la stabilité vis à vis de perturbations d'amplitude finie. L'analyse de la contribution des termes non linéaires d'inertie et visqueux montre que, contrairement aux termes d'inertie, les termes non linéaires visqueux ont tendance à accélérer l'écoulement et favoriser une bifurcation sur-critique. Les effets rhéofluidifiants tendent à réduire la dissipation visqueuse. Finalement, une analyse fortement non linéaire de stabilité a été conduite en utilisant les techniques de suivi de branches de solutions par des méthodes de continuation. Pour pouvoir traiter les termes visqueux fortement non linéaires, un code de calcul pseudo-spectral a été développé. Des solutions non linéaires d'équilibre ont été obtenues et caractérisées pour différentes valeurs des paramètres rhéologiques
The aim of this study is to understand the influence of the nonlinear rheological behaviour of the shear-thinning fluids on the flow stability and transition to turbulence. First, a linear stability analysis using modal approach was carried out. Results clearly highlight the stabilizing effect of shear-thinning. Then, as a first approach to take into account nonlinear effects of viscosity perturbation on the flow stability, a weakly nonlinear stability analysis is performed in the neighbourhood of the critical conditions. Results indicate that shear-thinning reduces the viscous dissipation and, in contrast to inertial terms, the nonlinear viscous terms tend to accelerate the flow and act in favour of supercritical bifurcation. Finally, a nonlinear stability analysis is done by following solution branches in the parameter space using continuation techniques. To deal with highly nonlinear viscous terms, a pseudo-spectral code is developed. Nonlinear equilibrium solutions was found and characterized for various values of the rheological parameters

Стилі APA, Harvard, Vancouver, ISO та ін.

17

Ansaldi, Tobias. "Compressible single and dual stream jet stability and adjoint-based sensitivity analysis in relationship with aeroacoustics." Phd thesis, Toulouse, INPT, 2016. http://oatao.univ-toulouse.fr/17505/13/Ansaldi_Tobias.pdf.

Повний текст джерела

Анотація:

This thesis leads to a better knowledge of the physic and of the control of acoustic radiation in turbulent single and dual-stream jets.It is known that jet noise is produced by the turbulence present in the jet that can be separated in large coherent structures and fine structures. It is also concluded that these large-scale coherent structures are the instability waves of the jet and can be modelled as the flow field generated by the evolution of instability waves in a given turbulent jet. The growth rate and the streamwise wavenumber of a disturbance with a fixed frequency and azimuthal wavenumber are obtained by solving the non-local approach called Parabolized Stability Equations (PSE). Typically the Kelvin-Helmholtz instability owes its origin into the shear layer of the flow and, moreover, the inflection points of the mean velocity profile has a crucial importance in the instability of such a flow. The problem is more complex in case of imperfectly expanded jet where shock-cells manifest inside the jet and strongly interaction with the instability waves has been observed. Several configurations are tested in this thesis, from a subsonic incompressible case to the dual-stream underexpanded supersonic jet obtained by solving Large Eddy Simulations LES (CERFACS). The acoustic far-field is determined by the Ffowcs-Williams-Hawkings acoustic analogy. Then a sensitivity analysis of the jet with respect to external forcing acting in a localized region of the flow are investigated by solving the adjoint PSE equations. High sensitivity appeared in the shear-layer of the flow showing, also, a high dependency in the streamwise and radial direction. In the case of dual-stream jet the propagation of the instability in the inner and outer shear layer should be taken into account. This configuration leads to two different distinct Klevin-Helmholtz modes that are computed separately. The highest sensitivity is determined in the exit of the nozzle outside of the potential core of the jet. In addition, comparison between sensitivity computed by adjoint equations and Uncertainty Quantification (UQ) methods has been done, in the case of a single-stream jet, showing a link between these two methods for small variations of the input parameters. This result leads to the application of a lower cost tool for mathematical analysis of complex problem of industrial interest. This work and in particular the sensitivity theory investigated in this thesis contribute to a development of a new noise control strategy for aircraft jet.

Стилі APA, Harvard, Vancouver, ISO та ін.

18

Avila, Alonso José Luis. "Leucémie aiguë myéoblastique : modélisation et analyse de stabilité." Thesis, Paris 11, 2014. http://www.theses.fr/2014PA112142.

Повний текст джерела

Анотація:

[Non fourni]
Acute Myeloid Leukemia (AML) is a cancer of white cells characterized by a quick proliferation of immature cells, that invade the circulating blood and become more present than mature blood cells. This thesis is devoted to the study of two mathematical models of AML. In the first model studied, the cell dynamics are represented by PDE’s for the phases G₀, G₁, S, G₂ and M. We also consider a new phase called Ğ₀, between the exit of the M phase and the beginning of the G₁ phase, which models the fast self-renewal effect of cancerous cells. Then, by analyzing the solutions of these PDE’s, the model has been transformed into a form of two coupled nonlinear systems involving distributed delays. An equilibrium analysis is done, the characteristic equation for the linearized system is obtained and a stability analysis is performed. The second model that we propose deals with a coupled model for healthy and cancerous cells dynamics in AML consisting of two stages of maturation for cancerous cells and three stages of maturation for healthy cells. The cell dynamics are modelled by nonlinear partial differential equations. Applying the method of characteristics enable us to reduce the PDE model to a nonlinear distributed delay system. For an equilibrium point of interest, necessary and sufficient conditions of local asymptotic stability are given. Finally, we derive stability conditions for both mathematical models by using a Lyapunov approach for the systems of PDEs that describe the cell dynamics

Стилі APA, Harvard, Vancouver, ISO та ін.

19

Damak, Sérine. "Approximation de systèmes à paramètres répartis : Analyse, simulation et commande." Thesis, Lyon, INSA, 2015. http://www.theses.fr/2015ISAL0029.

Повний текст джерела

Анотація:

Cette thèse, centrée en Automatique, porte sur l’approximation de systèmes linéaires de dimension infinie en une dimension d’espace d’un point de vue entrée-sortie par une classe de systèmes à retards, et sur l’analyse de stabilité de cette classe d’approximation. Afin de conserver des propriétés du système de dimension infinie par interconnexion (stabilité, performance entrée-sortie), l’approximation est définie sur la topologie du graphe. Classiquement, les méthodes proposées par l’approximation conduisent à des modèles de dimension finie. Cependant, sur cette topologie du graphe, une telle approximation régie par des équations à paramètres localisés peut ne pas exister. On propose donc d’étendre cette classe d’approximation en y incluant l’opérateur retard. Nous obtenons alors un modèle d’équations différentielles couplées à des équations aux différences. L’existence et la mise en œuvre numérique de cette classe d’approximation et ses propriétés de réalisation d’état sont étudiées. Le deuxième enjeu de nos recherches s’est focalisé sur l’analyse de stabilité de cette classe d’approximation, par le biais de l’approche de Lyapunov-Krasovskii. Cette approche consiste à exploiter des conditions de stabilité sous forme d’un problème l’optimisation convexe. Cette analyse de stabilité est étendue au cas des systèmes avec paramètres incertains et des retards variants dans le temps pour la sous classe des équations aux différences. Nous développons également une estimation de la décroissance de la solution en vue de l’analyse de performance. L’analyse du conservatisme de la méthodologie proposée a été étudié
This thesis addresses the approximation of infinite-dimensional linear systems for one-dimension in space, with the input-output approach, by a class of delay systems, and the stability analysis of this class of approximation. In order to preserve the properties of the original properties by interconnection, such as stability and/or input-output performance, the approximation is defined within the graph topology framework. In general, the methods proposed in the literature lead, by approximation, to finite-dimensional models. However, in this topology, such an approximation by lumped plants may not exist. It seems natural to generalize this approximation class by including a delay operator. We then obtain an approximation in the graph topology governed by a model of coupled differential-difference equations. The existence of this class of approximation and the properties of state-realization are studied. A constructive numerical method is proposed for this approximation. After the description of this class of approximation, we investigate stability of this class of operators, by the Lyapunov-Krasovskii approach. This approach consists to involve stability conditions of the form of a convex optimization problem. This stability analysis is extended to the case of systems with uncertain parameters and time-varying delays. We also propose estimates of the decay rate of the solution for the performance analysis. The analysis of the conservatism of the proposed methodology has been studied

Стилі APA, Harvard, Vancouver, ISO та ін.

20

Del, Guercio Gerardo. "Optimal streaks amplification in wakes and vortex shedding control." Phd thesis, Toulouse, INPT, 2014. http://oatao.univ-toulouse.fr/12244/1/Del_Guercio.pdf.

Повний текст джерела

Анотація:

We compute optimal energy growths leading to streamwise streaks in parallel, weakly non-parallel and the circular cylinder wakes. We find that very large energy amplifications can be sustained by these wakes. The energy amplifications increase with the spanwise wavelength of the perturbations except in the circular cylinder wake where maximum energy growths are reached for λz ≈ 5 − 7 D. The optimally amplified structures are streamwise streaks. When forced with finite amplitudes these streaks are shown, in parallel wakes, to be able to completely suppress the absolute instability. The global instability of the weakly non-parallel and the circular cylinder wakes can be completely suppressed with moderate streaks amplitudes. The energy required to stabilize the wake is much reduced when optimal perturbations are used, and it is shown to be always smaller than the one that would be required if a 2D control was used. It is also shown that the sensitivity of the global mode growth rate is quadratic and that therefore usual first order sensitivity analyses are unable to predict the high efficiency of the control-by-streaks strategy.

Стилі APA, Harvard, Vancouver, ISO та ін.

21

Al, Khatib Mohammad. "Analyse de stabilité, ordonnancement, et synthèse des systèmes cyber-physiques." Thesis, Université Grenoble Alpes (ComUE), 2017. http://www.theses.fr/2017GREAM041/document.

Повний текст джерела

Анотація:

Il s'agit d'une étude menée sur les systèmes cyber-physiques sur trois aspects principaux: la vérification de la stabilité, l'ordonnancement et la synthèse des paramètres. Les systèmes de contrôle embarqués (ECS) agissant dans le cadre de contrats temporels sont la classe considérée de systèmes cyber-physiques dans la thèse. ECS fait référence à des intégrations d'un dispositif informatique avec le système physique. En ce qui concerne les contrats temporels, ils sont des contraintes de temps sur les instants où se produisent certains événements tels que l'échantillonnage, l'actionnement et le calcul. Ces contrats sont utilisés pour modéliser les problèmes qui se posent dans les systèmes de contrôle modernes: incertitudes sur les retards d'actionnement, les périodes d'échantillonnage incertaines et l'interaction de plusieurs systèmes physiques avec des ressources informatiques partagées (CPUs). Maintenant, compte tenu d'un ECS et d'un contrat temporel, nous reformulons le système de manière impulsionnelle et vérifions la stabilité du système, sous toutes les incertitudes bornées et données par le contrat, en utilisant des techniques d'approximation convexe et de nouveaux résultats généralisés pour le problème sur une classe de systèmes modélisés dans le cadre des inclusions différentielles. Deuxièmement, compte tenu d'un ensemble de contrôleurs implémentés sur une plate-forme de calcul commune (CPUs), dont chacun est soumis à un contrat de synchronisation, et à son meilleur et son plus mauvais cas d'exécution dans chaque CPU, nous synthétisons une politique d’ordonnancement dynamique qui garantit que chaque contrat temporel est satisfait et que chacun des CPU partagés est attribué à au plus un contrôleur à tout moment. L'approche est basée sur une reformulation qui nous permet d'écrire le problème d’ordonnancement comme un jeu temporelle avec spécification de sureté. Ensuite, en utilisant l'outil UPPAAL-TIGA, une solution au jeu fournit une politique d’ordonnancement appropriée. En outre, nous fournissons une nouvelle condition nécessaire et suffisante pour l’ordonnancement des tâches de contrôle en fonction d’un jeu temporisé simplifiés. Enfin, nous résolvons un problème de synthèse de paramètres qui consiste à synthétiser une sous-approximation de l'ensemble des contrats de synchronisation qui garantissent en même temps l’ordonnancement et la stabilité des contrôleurs intégrés. La synthèse est basée sur un nouveau paramétrage du contrat temporel pour les rendre monotones, puis sur un échantillonnage à plusieurs reprises de l'espace des paramètres jusqu'à atteindre une précision d'approximation prédéfinie
This is a study conducted on cyber-physical systems on three main aspects: stability verification, scheduling, and parameter synthesis. Embedded control systems (ECS) acting under timing contracts are the considered class of cyber-physical systems in the thesis. ECS refers to integrations of a computing device with the physical system. As for timing contracts they are time constraints on the instants where some events happen such as sampling, actuation, and computation. These contracts are used to model issues that arise in modern embedded control systems: uncertain sampling to actuation delays, uncertain sampling periods, and interaction of several physical systems with shared computational resources (CPUs). Now given an ECS and a timing contract we reformulate the system into an impulsive one and verifies stability of the system, under all possible bounded uncertainties given by the contract, using safe convex approximation techniques and new generalized results for the problem on a class of systems modeled in the framework of difference inclusions. Second given a set of controllers implemented on a common computational platform (CPUs), each of which is subject to a timing contract, and best and worst case execution times on each CPU, we synthesize a dynamic scheduling policy, which guarantees that each timing contract is satisfied and that each of the shared CPUs are allocated to at most one embedded controller at any time. The approach is based on a timed game formulation that allows us to write the scheduling problem as a timed safety game. Then using the tool UPPAAL-TIGA, a solution to the safety game provides a suitable scheduling policy. In addition, we provide a novel necessary and sufficient condition for schedulability of the control tasks based on a simplified timed game automaton. Last, we solve a parameter synthesis problem which consists of synthesizing an under-approximation of the set of timing contracts that guarantee at the same time the schedulability and stability of the embedded controllers. The synthesis is based on a re-parameterization of the timing contract to make them monotonic, and then on a repeatedly sampling of the parameter space until reaching a predefined precision of approximation

Стилі APA, Harvard, Vancouver, ISO та ін.

22

Daoud, Yessmine. "Analyse de modèles de la digestion anaérobie : applications à la modélisation et au contrôle des bioréacteurs." Thesis, Montpellier, 2017. http://www.theses.fr/2017MONTS050/document.

Повний текст джерела

Анотація:

Cette thèse porte sur l’analyse mathématique de différents modèles de la digestion anaérobie. Dans la première partie, nous étudions un modèle à quatre étapes avec dégradation enzymatique du substrat (matière organique) qui peut être sous forme solide. Nous étudions l’effet de l’hydrolyse sur le comportement du processus de la digestion anaérobie et de la production du biogaz (méthane et hydrogène). Nous considèrons, dans un premier modèle, que l’hydrolyse se fait d’une manière enzymatique, alors que dans un second, nous supposons qu’elle est réalisée par un compartiment microbien. Les modèles considérés incluent l’inhibition de croissance des bactéries acétogènes, méthanogènes hydrogénétrophes et acétoclastes par plu- sieurs substrats. Pour étudier l’effet de ces inhibitions en présence de l’étape de l’hydrolyse, nous étudions dans un premier temps un modèle sans inhibition. Nous déterminons les équilibres et nous donnons des conditions nécessaires et suffisantes pour leur stabilité. L’existence et la stabilité des équilibres sont illustrées avec des diagrammes opératoires. Nous montrons que le modèle avec hydrolyse enzymatique change la production du méthane et d’hydrogène. En outre, l’introduction du com- partiment hydrolytique microbien donne de nouveaux équilibres et affecte les régions de stabilité. Nous prouvons que la production de biogaz est maximale en un seul point d’équilibre selon les paramètres opératoires et nous déterminons le taux maxi- mal de biogaz produit, dans chaque cas. Dans la deuxième partie, nous nous sommes intéressés à un modèle à deux étapes décrivant les phases de l’acétogénèse et de la méthanogénèse hydrogénotrophe. Le modèle représente une relation de syntrophie entre deux espèces microbiennes (les bactéries acétogènes et méthanogènes hydro- génotrophes), avec deux substrats à l’entrée (l’acide gras volatile et l’hydrogène), incluant les termes de mortalité et l’inhibition de croissance des bactéries acéto- gènes par un excès d’hydrogène dans le système. L’analyse de l’existence et de la stabilité des équilibres du modèle donne naissance à un nouvel équilibre qui peut être stable selon les paramètres opératoires du système. En utilisant les diagrammes opératoires, on remarque que, quelle que soit la région de l’espace considérée, il existe un seul équilibre localement exponentiellement stable. Cette étude est géné- ralisée dans le cas où la croissance des bactéries méthanogènes hydrogénotrophes est inhibée. Ce modèle donne naissance à deux équilibres strictement positifs et une bistabilité. Nous illustrons, en utilisant les diagrammes opératoires l’effet de cette inhibition sur la réduction des régions de coexistence et l’émergence de régions de bistabilité
This PhD thesis focuses on the mathematical analysis of different anaerobic digestion (AD) models. In a first part, we study a 4-step model with enzymatic degradation of the substrate (organic matter) that can partly be under a solid form. We investigate the effects of hydrolysis on the behavior of the AD process and the production of biogas (namely, the methane and the hydrogen). We consider, in a first model, that the microbial enzymatic activity is constant, then we take into consideration an explicit hydrolytic microbial compartment for the substrate biodegradation. The considered models include the inhibition of acetogens, hydroge- notrophic methanogens and acetoclastic methanogens growth bacteria. To examine the effects of these inhibitions in presence of a hydrolysis step, we first study an inhibition-free model. We determine the steady states and give sufficient and neces- sary conditions for their stability. The existence and stability of the steady states are illustrated by operating diagrams. We prove that modeling the hydrolysis phase by a constant enzymatic activity affects the production of methane and hydrogen. Furthermore, introducing the hydrolytic microbial compartment yields new steady states and affects the stability regions. We prove that the biogas production occurs at only one of the steady states according to the operating parameters and state variables and we determine the maximal rate of biogas produced, in each case. In the second part, we are interested in a reduced and simplified model of the AD pro- cess. We focus on the acetogenesis and hydrogenetrophic methanogenesis phases. The model describes a syntrophic relationship between two microbial species (the acetogenic bacteria and the hydrogenetrophic methanogenic bacteria) with two in- put substrates (the fatty acids and the hydrogen) including both decay terms and inhibition of the acetogenic bacteria growth by an excess of hydrogen in the sys- tem. The existence and stability analysis of the steady states of the model points out the existence of a new equilibrium point which can be stable according to the operating parameters of the system. By means of operating diagrams, we show that, whatever the region of space considered, there exists only one locally exponentially stable steady state. This study is generalized to the case where the growth of the hydrogenetrophic methanogens bacteria is inhibited. This model exhibits a rich be- havior with the existence of two positive steady states and bistability. We illustrate by means of operating diagrams the effect of this inhibition on the reduction of the coexistence region and the emergence of a bistability region

Стилі APA, Harvard, Vancouver, ISO та ін.

23

Joret, Gwenaël. "Entropy and stability in graphs." Doctoral thesis, Universite Libre de Bruxelles, 2007. http://hdl.handle.net/2013/ULB-DIPOT:oai:dipot.ulb.ac.be:2013/210605.

Повний текст джерела

Анотація:

Un stable (ou ensemble indépendant) est un ensemble de sommets qui sont deux à deux non adjacents. De nombreux résultats classiques en optimisation combinatoire portent sur le nombre de stabilité (défini comme la plus grande taille d'un stable), et les stables se classent certainement parmi les structures les plus simples et fondamentales en théorie des graphes.

La thèse est divisée en deux parties, toutes deux liées à la notion de stables dans un graphe. Dans la première partie, nous étudions un problème de coloration de graphes, c'est à dire de partition en stables, où le but est de minimiser l'entropie de la partition. C'est une variante du problème classique de minimiser le nombre de couleurs utilisées. Nous considérons aussi une généralisation du problème aux couvertures d'ensembles. Ces deux problèmes sont appelés respectivement minimum entropy coloring et minimum entropy set cover, et sont motivés par diverses applications en théorie de l'information et en bioinformatique. Nous obtenons entre autres une caractérisation précise de la complexité de minimum entropy set cover :le problème peut être approximé à une constante lg e (environ 1.44) près, et il est NP-difficile de faire strictement mieux. Des résultats analogues sont prouvés concernant la complexité de minimum entropy coloring.

Dans la deuxième partie de la thèse, nous considérons les graphes dont le nombre de stabilité augmente dès qu'une arête est enlevée. Ces graphes sont dit être "alpha-critiques", et jouent un rôle important dans de nombreux domaines, comme la théorie extrémale des graphes ou la combinatoire polyédrique. Nous revisitons d'une part la théorie des graphes alpha-critiques, donnant à cette occasion de nouvelles démonstrations plus simples pour certains théorèmes centraux. D'autre part, nous étudions certaines facettes du polytope des ordres totaux qui peuvent être vues comme une généralisation de la notion de graphe alpha-critique. Nous étendons de nombreux résultats de la théorie des graphes alpha-critiques à cette famille de facettes.

Doctorat en Sciences
info:eu-repo/semantics/nonPublished

Стилі APA, Harvard, Vancouver, ISO та ін.

24

Xavier, Mathieu. "Étude analytique et numérique du développement de la striction multiple pour des cylindres métalliques en expansion dynamique." Thesis, Université de Lorraine, 2019. http://www.theses.fr/2019LORR0064/document.

Повний текст джерела

Анотація:

La fragmentation d’enveloppes métalliques en expansion dynamique intéresse tant l’industrie civile que celle de la défense. Pour les deux domaines d’application, il s’agit de pouvoir prédire la taille et la vitesse des fragments, résultant de la destruction des enveloppes, afin de mesurer les conséquences que ceux-ci peuvent avoir sur des structures de sécurité. Les modèles de prédiction existants étudient le développement d’un défaut au sein du matériau et arrivent à déterminer une taille caractéristique des fragments. Néanmoins, ces modèles nécessitent une hypothèse dont la validité est remise en cause lorsque la vitesse de déformation est importante. Dans ce travail, nous proposons un nouveau modèle analytique pour des cylindres (sollicitation en traction plane) permettant de s’affranchir de cette hypothèse et d’étudier l’influence du défaut initial en suivant son évolution. Le modèle développé est comparé avec succès à des résultats issus de simulations numériques par éléments finis. Nos travaux permettent notamment de préciser les cadres d’application et de validité des approches classiques. Comme résultats majeurs, la nouvelle approche permet d’analyser les évolutions des perturbations aux faibles déformations mais aussi d’estimer le temps d’apparition des premières décharges élastiques, synonymes de strictions localisées
This work deals with the fragmentation of dynamically expanding metal shells and covers a problem of interest for both civil and military industries. For both fields of application, it is crucial to predict the size and the speed of fragments, resulting from the destruction of shells in order to measure the consequences that it could have on structures. Current models study the growth of a defect within the material and are able to determine a characteristic size of fragments. Nevertheless, these models require a hypothesis whose validity is questionable when the rate of deformation is important. In this work, we propose a new analytical model for cylinders (equivalent to the dynamic extension of a plate) to overcome this hypothesis and study the influence of the initial defect by following its time evolution. The model is compared successfully with results performed with a finite element method. Our work notably expands the framework of classical linear stability analyses. As a major outcome, the proposed approach is able to track the evolution of a perturbation even for small plastic strain, when the flow may be stable. In addition it is shown that the present approach can predict accurately the time where the elastic unloading is observed in finite element simulations

Стилі APA, Harvard, Vancouver, ISO та ін.

25

Battiston, Geoffray. "Amélioration des performances du régulateur des masques à oxygène." Thesis, Université Paris-Saclay (ComUE), 2019. http://www.theses.fr/2019SACLC039.

Повний текст джерела

Анотація:

Il s’agit ici d’étudier un phénomène vibratoire ressenti par les utilisateurs d’un masque à oxygène au niveau de la fosse nasale. Le masque à oxygène intègre un régulateur qui envoie de l’oxygène en réponse à une demande de débit. Les vibrations prennent la forme de variations de pression à l’entrée du masque et leur origine est inconnue. Parmi les objectifs du travail de thèse, on essaiera de comprendre l’origine et de caractériser ce phénomène après une modélisation détaillée du régulateur, prenant en compte assez finement sa géométrie. Dans un deuxième temps, la stabilisation de la trajectoire dynamique de ce système sera étudiée par le biais de l’application du critère de Routh à un modèle linéarisé autour d’un point d’équilibre. Dans un troisième temps, quelques phénomènes dynamiques et physiques additionnels seront investis afin de pousser plus en avant la compréhension du fonctionnement du masque. Dans un quatrième temps et en guise d’ouverture, on prendra le temps d’évoquer des pistes supplémentaires pour l’étude de ce système
The vibratory behavior of a regulated oxygen mask is studied here. The oxygen mask integrates a regulator which sends oxygen in response to a demand flow. The vibrations take the form of pressure variations in the mask volume, at the entry of the nasal ways, and their origin is unknown. Among the goals of this thesis work, we will try first to understand the origin and to characterize this phenomenon after a detailed modeling of the regulator, taking accurately into account its geometry. Second, the stabilization of the system’s dynamical trajectory will be studied by applying the Routh criterion to a linearized model around an equilibrium point. Third, some additional dynamical and physical phenomena will be investigated in order to push forward the understanding of the mask functionning. Fourth, and as an opening, time will be taken to mention supplementary tracks for the study of this system

Стилі APA, Harvard, Vancouver, ISO та ін.

26

Tricot, Francois. "Analyse et réduction des sources d'instabilitè de fréquence dans une horloge CPT compacte." Thesis, Sorbonne université, 2018. http://www.theses.fr/2018SORUS037/document.

Повний текст джерела

Анотація:

Ce travail de thèse effectué dans le cadre d’un contrat CIFRE-Défense porte sur l’étude des sources d’instabilité de fréquence d’une horloge atomique basée sur le piégeage cohérent de population. L’objectif est de démontrer une stabilité de fréquence d’horloge de l’ordre de 10-13 tau-1/2 jusque 10 000 s. Une cellule de vapeur de césium est utilisée avec un schéma d’excitation à fort contraste en utilisant des polarisations linéaires croisées et avec une interrogation impulsionnelle de type Ramsey. Un chapitre d’abord consacré aux sources de bruit à court terme présente les travaux réalisés pour réduire le bruit de phase et le bruit de puissance laser, limitant tous deux les performances de l’horloge à 1 s d’intégration. L’optimisation de la chaine micro-onde avec un nouvel oscillateur local, et la réalisation d’un asservissement de puissance performant ont permis d’améliorer la stabilité de fréquence à 2,3x10-13 à 1 s. L’analyse des fluctuations des paramètres de fonctionnement (puissance laser, champ magnétique, température, etc.) et la mesure de la fréquence d’horloge montrent que les variations de fréquence à moyen terme sont majoritairement limitées par les variations de puissance laser et celles du champ magnétique à 2x10-14 à 2 000 s. Ces analyses démontrent aussi que les fluctuations de puissance laser, malgré l’asservissement, sont liées aux fluctuations de polarisation via les fluctuations de température de l’expérience. Pour finir, les études d’un laser bifréquence et bipolarisation pour une horloge CPT compacte sont présentées, ouvrant la voie vers l’industrialisation en réduisant le banc optique
This thesis work has been granted by a CIFRE-Défense contract to study the frequency stabilities of an atomic clock based on coherent population trapping. The objective is to demonstrate a frequency stability in the range of 10-13 tau-1/2 up to 10 000 s. A caesium vapour cell is used with a high-contrast excitation scheme using cross linear polarisations and a Ramsey interrogation. The short-term frequency stability is presented with the reduction of the phase and the laser power noise, both limiting clock performance at 1 s integration time. The optimisation of the microwave chain with a new local oscillator, and the implementation of a very low noise power lock loop have improved the frequency stability down to 2,3x10-13 at 1 s integration time. The fluctuations analysis of the operating parameters (laser intensity, magnetic field, temperature, etc.) and the measurement of the clock frequency show that the medium-term frequency instability is mostly limited by laser power and magnetic field fluctuations at the level of 2x10-14 at 2 000 s integration time. These analyses also show that laser power fluctuations, despite servo loop control, are related to polarisation fluctuations through temperature fluctuations inside the experiment isolation box. Finally, the studies of a dual-frequency and dual-polarisation laser for a compact CPT clock are presented, paving the way to industrialisation by reducing the optical bench

Стилі APA, Harvard, Vancouver, ISO та ін.

27

Maisonneuve, Vivien. "Analyse statique des systèmes de contrôle-commande : invariants entiers et flottants." Thesis, Paris, ENMP, 2015. http://www.theses.fr/2015ENMP0007/document.

Повний текст джерела

Анотація:

Un logiciel critique est un logiciel dont le mauvais fonctionnement peut avoir un impact important sur la sécurité ou la vie des personnes, des entreprises ou des biens.L'ingénierie logicielle pour les systèmes critiques est particulièrement difficile et combine différentes méthodes pour garantir la qualité des logiciels produits.Parmi celles-ci, les méthodes formelles peuvent être utilisées pour prouver qu'un logiciel respecte ses spécifications.Le travail décrit dans cette thèse s'inscrit dans le contexte de la validation de propriétés de sûreté de programmes critiques, et plus particulièrement des propriétés numériques de logiciels embarqués dans des systèmes de contrôle-commande.La première partie de cette thèse est consacrée aux preuves de stabilité au sens de Lyapunov.Ces preuves s'appuient sur des calculs en nombres réels, et ne sont pas valables pour décrire le comportement d'un programme exécuté sur une plateforme à arithmétique machine.Nous présentons un cadre théorique générique pour adapter les arguments des preuves de stabilité de Lyapunov aux arithmétiques machine.Un outil effectue automatiquement la traduction de la preuve en nombres réels vers une preuve en nombres a virgule flottante.La seconde partie de la thèse porte sur l'analyse des relations affines, en utilisant une interprétation abstraite basée sur l'approximation des valuations associées aux points de contrôle d'un programme par des polyèdres convexes.Nous présentons ALICe, un framework permettant de comparer différentes techniques de génération d'invariants.Il s'accompagne d'une collection de cas de tests tirés de publications sur l'analyse de programmes, et s'interface avec trois outils utilisant différents algorithmes de calcul d'invariants: Aspic, iscc et PIPS.Afin d'affiner les résultats de PIPS, deux techniques de restructuration de code sont introduites, et plusieurs améliorations sont apportées aux algorithmes de génération d'invariants et évaluées à l'aide d'ALICe
A critical software is a software whose malfunction may result in death or serious injury to people, loss or severe damage to equipment or environmental harm.Software engineering for critical systems is particularly difficult, and combines different methods to ensure the quality of produced software.Among them, formal methods can be used to prove that a software obeys its specifications.This thesis falls within the context of the validation of safety properties for critical software, and more specifically, of numerical properties for embedded software in control-command systems.The first part of this thesis deals with Lyapunov stability proofs.These proofs rely on computations with real numbers, and do not accurately describe the behavior of a program run on a platform with machine arithmetic.We introduce a generic, theoretical framework to adapt the arguments of Lyapunov stability proofs to machine arithmetic.A tool automatically translates the proof on real numbers to a proof with floating-point numbers.The second part of the thesis focuses on linear relation analysis, using an abstract interpretation based on the approximation by convex polyhedrons of valuations associated with each control point in a program.We present ALICe, a framework to compare different invariant generation techniques.It comes with a collection of test cases taken from the program analysis literature, and interfaces with three tools, that rely on different algorithms to compute invariants: Aspic, iscc and PIPS.To refine PIPS results, two code restructuring techniques are introduced, and several improvements are made to the invariant generation algorithms and evaluated using ALICe

Стилі APA, Harvard, Vancouver, ISO та ін.

28

Bitar, Mohammad. "L'impact de la réglementation bancaire sur la stabilité et l'efficience des banques islamiques : une analyse comparée avec les banques conventionnelles." Thesis, Grenoble, 2014. http://www.theses.fr/2014GRENG017/document.

Повний текст джерела

Анотація:

Cette thèse de doctorat est une première tentative d'examiner si les réglementations bancaires ont le même impact sur la stabilité et l'efficience des banques islamiques que sur celles des banques conventionnelles. Suite aux nouvelles recommandations de Bâle III, nous étudions l'impact des exigences minimales en matière de fonds propres, de liquidité et de levier financier sur la stabilité et l'efficience des banques islamiques comparativement aux banques conventionnelles. Une première étude exploratoire utilise l'analyse en composantes principales (ACP), les méthodes Logit et Probit et les régressions MCO pour montrer que les banques islamiques disposent d'un capital plus élevé, qu'elles sont plus liquides, plus profitables, mais moins stables que leurs homologues conventionnelles. Une deuxième étude empirique examine la stabilité des banques islamiques et utilise la régression quantile pour montrer que les banques islamiques sont moins stables que les banques classiques. L'étude prouve également que des exigences de fonds propres renforcées améliorent la stabilité des banques islamiques les plus petites et les plus liquides, tandis que le levier financier est négativement associé à la stabilité de ce type de banques. Des contraintes de liquidité plus fortes renforcent la stabilité des grandes banques islamiques alors que l'effet est inverse pour les petites banques. Enfin, nous examinons l'efficience des banques islamiques en utilisant la méthode d'enveloppement des données (DEA). Nous constatons que les banques islamiques sont plus efficientes que les banques conventionnelles. Nous trouvons aussi que des exigences de capital et de liquidité accrues pénalisent l'efficience des petites banques islamiques très liquides, alors que l'inverse est vrai pour le levier financier. Ces résultats montrent notamment qu'en matière de réglementation du capital pour les petites banques islamiques très liquides, un choix est à opérer entre une efficience accrue ou une stabilité renforcée
This PhD dissertation is the first attempt to examine whether banking regulations have the same impact on the stability and the efficiency of Islamic than for conventional banks. We benefit of Basel III recommendations to investigate the impact of bank capital, liquidity and leverage requirements on the stability and the efficiency of Islamic banks compared to conventional banks. A first exploratory study uses Principal Component Analysis, Logit and Probit methods, and OLS regressions and shows that Islamic banks have higher capital, liquidity, and profitability, but that they are less stable than their conventional counterparts. A second empirical study examines the stability of Islamic banks using conditional quantile regressions and proves that Islamic banks are less stable than conventional banks. It also shows that higher capital and lower leverage improve the adjusted profits of small and highly liquid Islamic banks. Liquidity is positively associated with the stability of large Islamic banks while an opposite effect is detected when small Islamic banks are examined. Finally, we study the efficiency of Islamic banks using Data Envelopment Analysis (DEA) and find that Islamic banks are more efficient than conventional banks. We also find that higher capital and liquidity requirements penalize the efficiency of small and highly liquid Islamic banks, while the opposite is true for financial leverage. These results show that concerning capital requirements for small and highly liquid Islamic banks, a possible trade-off could be found between stability and efficiency

Стилі APA, Harvard, Vancouver, ISO та ін.

29

Beneddine, Samir. "Characterization of unsteady flow behavior by linear stability analysis." Thesis, Université Paris-Saclay (ComUE), 2017. http://www.theses.fr/2017SACLX010/document.

Повний текст джерела

Анотація:

Au cours des dernières décennies, la théorie de la stabilité a été intensivement utilisée pour caractériser le comportement instationnaire d'écoulements. Cela a donné naissance à un grand nombre d'approches, mais malheureusement chacune d'entre elles semble présenter ses propres limitations. De plus, leurs conditions de validité sont encore très mal connues, ce qui soulève la question de la fiabilité de ce genre de méthodes dans un cas général.Cette problématique est traitée dans cette thèse en s'intéressant dans un premier temps aux approches classiques de stabilité, qui étudient l'évolution de petites perturbations autour d'une solution stationnaire -- un champ de base -- des équations de Navier-Stokes. Pour cela, le phénomène du screech -- un bruit tonal que peuvent causer les jets sous-détendus -- est étudié d'un point de vue de la stabilité linéaire. Les résultats obtenus montrent que la dynamique non-linéaire du phénomène est correctement prédite par une analyse linéaire de stabilité du champ de base. Une confrontation avec d'autres analyses similaires montre qu'un tel résultat n'est pas toujours observé. Cependant, lorsque les oscillations auto-entretenues d'un écoulement sont provoquées par un bouclage acoustique, comme c'est le cas entre autres pour le screech, l'écoulement de cavité ou encore les jets impactants, alors les non-linéarités ont une faible influence sur le phénomène de sélection de fréquence. Cela explique la capacité d'une analyse linéaire à caractériser ces écoulements, même dans le régime non-linéaire.Une autre approche, consistant à étudier la stabilité linéaire du champ moyen, a montré de bons résultats dans certaines configurations qui ne peuvent être correctement étudiées par une analyse linéaire du champ de base. Cela est justifié dans cette thèse en mettant en évidence le rôle que joue la résolvante autour du champ moyen dans la dynamique d'un écoulement. Il est montré que lorsque cet opérateur présente une forte séparation de valeurs singulières, ce qui correspond à l'existence d'un mécanisme d'instabilité fort, alors les modes de Fourier de l'écoulement sont proportionnels aux modes de résolvante dominants. Ce résultat fournit des conditions mathématiques et physiques pour l'utilisation et le sens de diverses méthodes d'analyse du champ moyen, telles qu'une analyse d'équations de stabilité parabolisées (Parabolised Stability Equations). De plus, cela permet de mettre en place un modèle de prédiction du spectre fréquentiel en tout point d'un écoulement, à partir d'une ou de quelques mesures ponctuelles et du champ moyen. L'ensemble de ces résultats est illustré et validé sur un cas de marche descendante turbulente. Enfin, cela est exploité dans un cadre expérimental, afin de reconstruire le comportement instationnaire d'un jet rond transitionnel, à partir de la seule connaissance du champ moyen et d'une mesure ponctuelle. L'étude montre que, sous certaines précautions expérimentales, la reconstruction est très précise et robuste
Linear stability theory has been intensively used over the past decades for the characterization of unsteady flow behaviors. While the existing approaches are numerous, none has the ability to address any general flow. Moreover, clear validity conditions for these techniques are often missing, and this raises the question of their general reliability.In this thesis, this question is addressed by first considering the classical stability approach, which focuses on the evolution of small disturbances about a steady solution -- a base flow -- of the Navier-Stokes equations.To this end, the screech phenomenon -- a tonal noise that is sometimes generated by underexpanded jets -- is studied from alinear stability point of view. The results reveal that the nonlinear dynamics of this phenomenon is well-predicted by a linear base flow stability analysis. A confrontation with other similar analyses from the literature shows that such a satisfactory result is not always observed. However, when a self-sustained oscillating flow is driven by an acoustic feedback loop, as it is the case for the screech phenomenon, cavity flows and impinging jets for instance, then the nonlinearities have a weak impact on the frequency selection process, explaining the ability of a linear analysis to characterize the flow, even in the nonlinear regime.Another alternative approach, based on a linearization about the mean flow, is known to be successful in some cases where a base flow analysis fails. This observation from the literature is explained in this thesis by outlining the role of the resolvent operator, arising from a linearization about the mean flow, in the dynamics of a flow. The main finding is that if this operator displays a clear separation of singular values, which relates to the existence of one strong convective instability mechanism, then the Fourier modes areproportional to the first resolvent modes. This result provides mathematical and physical conditions for the use and meaning of several mean flow stability techniques, such as a parabolised stability equations analysis of a mean flow.Moreover, it leads to a predictive model for the frequency spectrum of a flow field at any arbitrary location, from the sole knowledge of the mean flow and the frequency spectrum at one or more points. All these findings are illustrated and validated in the case of a turbulent backward facing step flow. Finally, these results are exploited in an experimental context, for the reconstruction of the unsteady behavior of a transitional round jet, from the sole knowledge of the mean flow and one point-wise measurement. The study shows that, after following a few experimental precautions, detailed in the manuscript, the reconstruction is very accurate and robust

Стилі APA, Harvard, Vancouver, ISO та ін.

30

Saramito, Bernard. "Analyse mathematique et numerique de la stabilite d'un plasma." Paris 6, 1987. http://www.theses.fr/1987PA066615.

Повний текст джерела

Анотація:

03etude de la stabilite de l'etat d'equilibre d'un plasma confine par des champs magnetiques a l'interieur d'un tokamak et represente par les equations de la mhd. Pour deux des principaux types d'instabilite, la convection et l'instabilite de dechirement des surfaces magnetiques, on fait une etude non lineaire des solutions, en considerant le probleme mathematique comme un probleme de bifurcation

Стилі APA, Harvard, Vancouver, ISO та ін.

31

Hussien, Elkhorbatly Bashar. "Modélisation, justification et analyse mathématique de modèles en océanographie." Thesis, Tours, 2019. http://www.theses.fr/2019TOUR4009.

Повний текст джерела

Анотація:

Cette thèse est consacrée à l’étude mathématique de la propagation d’ondes bi-dimensionnelles à la surface d’un fluide non visqueux irrotationnel et incompressible dont la surface libre n’agit que par la gravité et la tension superficielle dans un régime fortement non linéaire. La thèse est séparée en deux parties d’égale importance. Dans la première partie, nous justifions des modèles d’approximation plus précis du point de vue mathématique pour le problème des vagues, couramment utilisés en océanographie côtière pour décrire la propagation des ondes de surface de grande amplitude. On obtient un nouveau modèle asymptotique en eaux peu profondes du type Green-Naghdil incorporant les termes dispersifs d’ordre supérieur arbitraire tout en préservant la non-linéarité totale. Un résultat sur le caractère bien posé et une propriété de stabilité sont alors établis pour le cas unidimensionnel lorsque le fond est plat et non plat en tenant compte d’une faible tension de surface. Dans la deuxième partie, un résultat de stabilité orbitale est montré pour le peakon de Degasperis-Procesi dans le cas de perturbations ayant une densité de quantité de mouvement d’abord négative, puis positive. Ceci conduit à la stabilité orbitale du profil antipeakon- peakon vis-à-vis de telles perturbations et plus généralement d’un train de antipeakon-peakon bien ordonnés
This thesis is devoted to the mathematical study of the water-waves problem concerning two- dimensional motion of an irrotational and incompressible inviscid liquid with a free surface acted only by gravity and surface tension in a highly nonlinear regime. The thesis is separated into two parts of equal importance. In the first part, we justify mathematically more accurate approximation models for the water wave problem that are commonly used in coastal oceanography to describe the propagation of large amplitude surface waves. A new two-dimensional asymptotic shallow-water extended Green-Naghdi system is derived which incorporates the arbitrary higher-order dispersive terms while preserving the full nonlinearity. A well-posedness result and a stability property is then ensured for the one-dimensional case when the bottom is flat and not flat taking into consid- eration a small e

Стилі APA, Harvard, Vancouver, ISO та ін.

32

Safi, Khaled. "Human postural stability analysis : application to Parkinsonian subjects." Thesis, Paris Est, 2016. http://www.theses.fr/2016PESC1066/document.

Повний текст джерела

Анотація:

L’analyse de la stabilité posturale chez l’homme a fait l’objet, ces dernières années, d’un intérêt grandissant au sein de la communauté scientifique. Le système postural permet de maintenir la stabilité du corps humain en posture statique ou dynamique. Cette capacité à maintenir cette stabilité devient critique dans le cas des sujets Parkinsoniens. La maladie de Parkinson a en effet une forte incidence sur la stabilité posturale. Un moyen efficace pour évaluer l’équilibre postural consiste à analyser les déplacements dans le plan horizontal du centre de pression du corps humain en posture orthostatique ; les trajectoires mesurées dans la direction medio-latérale (ML) et la direction Antéro-postérieure (AP) sont appelées signaux stabilométriques. Dans cette thèse, nous visons le développement de méthodes efficaces pour l’analyse de l’équilibre en posture orthostatique sous différentes conditions liées à l’entrée visuelle (yeux ouverts/yeux fermés), la position des pieds (pieds joints/pieds écartés) et en considérant d’autres facteurs comme le genre et l’âge. Dans ce cadre, nous proposons, tout d’abord, une méthode exploitant la variante EEMD (Ensemble Empirical Mode Decomposition) de la décomposition en modes empiriques (EMD) et l’analyse de la diffusion du stabilogramme. Dans le contexte du diagnostic de la maladie de Parkinson, la discrimination entre sujets sains et sujets Parkinsoniens est très importante, de même que l’évaluation du stade de la maladie pour les sujets atteints. Dans ce cadre, deux méthodes sont proposées. La première consiste tout d’abord en une extraction et sélection de caractéristiques temporelles et spectrales, à partir des signaux stabilométriques brutes ou des modes de fonctions intrinsèques dérivés de la décomposition EEMD. Des méthodes standards de type KNN, CART, RF et SVM sont ensuite appliquées pour reconnaitre les sujets Parkinsoniens. La deuxième méthode proposée, est une approche de classification qui repose sur l’emploi de HMMs construits en utilisant les signaux stabilométriques brutes dans les directions ML, AP et ML/AP. Enfin, une dernière méthode est proposée pour la segmentation automatique des signaux stabilométriques sous différentes conditions (entrée visuelle, position des pieds). Pour ce faire, un modèle de régression régi par une chaine de Markov cachée (HMMR) est utilisé pour détecter automatiquement les variations des structures des signaux stabilométriques entre ces conditions. Les résultats obtenus montrent clairement la supériorité des performances des méthodes proposées par rapport aux approches standards, aussi bien, en termes d’analyse de l’équilibre postural que de diagnostic de sujets Parkinsoniens
Recently, human balance control analysis has received an increasing interest from the research community. The human postural system maintains the stability of the body both in the static posture (quiet standing) and during locomotion. This ability to maintain stability becomes hard with aging and Parkinson's disease (PD) subjects. PD has a strong effect on postural stability during quiet standing situations, and during locomotion. One effective way to assess human stability is to analyze the center of pressure (CoP) displacements of the human body during quiet standing. The recorded CoP displacements in quiet standing are called stabilometric signals. This thesis aims to develop efficient approaches to analyze the human postural stability in quiet standing under visual and feet position conditions, as well as under age and gender. This is achieved using Empirical Mode Decomposition (EMD) method and stabilogram-diffusion technique. In the other part, the discrimination between healthy and PD subjects is very important for diagnosing Parkinson's disease, as well as for evaluating the disease level of the patient. In this context, two approaches are proposed; the first approach consists of an EMD-based temporal and spectral feature extraction from the stabilometric signals. The second approach is based on a Hidden Markov Model (HMM) using the raw stabilometric signals. The HMM model is an efficient tool to analyze temporal and sequential data. Another approach is proposed in order to segment the stabilometric signals according to the visual and feet position conditions. This is achieved using a Hidden Markov Model Regression (HMMR)-based approach. This study help clinicians to better understand the motor strategies used by the subjects during quiet standing and may guide the rehabilitation process. The obtained results clearly show high performances of the proposed approaches with respect to other standard approaches in both postural stability analysis and discrimination healthy from PD subjects

Стилі APA, Harvard, Vancouver, ISO та ін.

33

Haratifar, Sanaz. "The stability of electro-reduced milk lipids." Thesis, Université Laval, 2009. http://www.theses.ulaval.ca/2009/25960/25960.pdf.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

34

Říhová, Lada. "Zhodnocení finanční situace podniku a návrhy na zlepšení." Master's thesis, Vysoké učení technické v Brně. Fakulta podnikatelská, 2008. http://www.nusl.cz/ntk/nusl-221830.

Повний текст джерела

Анотація:

The Master´s thesis analyses financial situation of the entrepreneurial entity. It includes analysis of financial ratios and selected bankruptcy models, based on whose steps leading to assurance of stability and prosperity of entrepreneurial activities were proposed.

Стилі APA, Harvard, Vancouver, ISO та ін.

35

Desrayaud, Gilles. "Analyse de stabilite lineaire dans un milieu semitransparent : determination experimentale des limites de stabilite dans un milieu transparent." Paris 6, 1987. http://www.theses.fr/1987PA066089.

Повний текст джерела

Анотація:

Etude de la stabilite des regimes d'ecoulement de convection naturelle dans un fluide semi-transparent confine entre deux parois verticales chauffees differentiellement. Resolution des equations de l'ecoulement et du probleme aux valeurs propres par une methode spectrale tau utilisant les polynomes de chebyshev. Etude experimentale des limites de stabilite dans des cavites verticales remplies d'air par interferometrie holographique et injection de fumee

Стилі APA, Harvard, Vancouver, ISO та ін.

36

Guiho, Florian. "Analyse de stabilité linéaire globale d'écoulements compressibles : application aux interactions onde de choc / couche limite." Thesis, Paris, ENSAM, 2015. http://www.theses.fr/2015ENAM0003/document.

Повний текст джерела

Анотація:

Cette thèse a pour objectif d'améliorer la compréhension de la dynamique d'une interaction entre une onde de choc droite ou oblique et une couche limite laminaire ou turbulente. En particulier, nous nous sommes intéressés aux mécanismes responsables de l'apparition d'oscillations auto-entretenues basses fréquences. Ce phénomène survient dans de nombreux cas applicatifs comme dans des entrées d'air d'avions supersoniques, autour d'un profil d'aile en régime transsonique et au sein de tuyère en régime de sur-détente. La première partie de ce mémoire traite des différentes études réalisées pour déterminer la phénoménologie de ce type de dynamique. Dans un deuxième temps, nous expliquons la stratégie retenue pour effectuer notre étude qui consiste à développer un outil d'étude des instabilités, adapté à des écoulements turbulents présentant une interaction entre une onde de choc et une couche limite. Le développement d'un outil CFD linéarisé couplé à une méthode de résolution d'un problème aux valeurs propres par une approche dite sans matrice ou de « time-stepping », a permis la réalisation d'une telle étude. Après une étape de validation de notre outil, nous avons étudié des cas d'écoulements présentant une interaction entre une onde de choc et une couche limite. Trois cas en particulier ont été traités. Le premier cas correspond à une interaction entre une onde de choc oblique impactant une couche limite laminaire se développant sur une plaque plane. Ce cas est généralement qualifié dans la littérature de cas de « réflexion de choc ». Nous montrons qu'un tel écoulement est globalement stable et que sa dynamique peut être caractérisée par des mécanismes de réceptivité et par la réponse de l'écoulement vis-à-vis de perturbations extérieures. Les deux autres cas abordés dans ce travail ont été le cas d'un écoulement transsonique autour d'un profil d'aile de type NACA0012 en régime d'entrée en tremblement aérodynamique et un cas de tuyère transsonique plane de type Sajben en régime de sur-détente. Dans le premier cas, l'analyse de stabilité nous permet de mettre en évidence le phénomène de « buffet » sur le profil NACA0012, ce qui montre que le phénomène est lié à une instabilité globale linéaire . Dans le second cas, l'analyse de stabilité ne permet pas d'expliquer le phénomène auto-entretenues basses fréquences, et montre que l'écoulement est linéairement globalement stable. Dans ce cas, la dynamique est convective, transitoire et pilotée par des mécanismes de réceptivité
The general purpose of this study is to provide a better understanding of the dynamics of an interaction between a shock wave and a laminar or turbulent boundary layer. In particular, we were interested in mechanisms responsible for the emergence of low-frequency self-sustained oscillations. This phenomenon arises in numerous industrial cases as in air inlets of supersonic aircrafts, around a profile of wing in transonic regime and within over-extended nozzle. The first part of this report handles various studies carried out to determine the phenomenology of this kind of dynamics. Secondly, we explain the strategy adopted to make our study which consists in developing a tool of study of the instabilities adapted to turbulent flows including an interaction between a shock wave and a boundary layer. The development of a linearized CFD tool coupled with a method of resolution of a eigenvalue problem by a free-matrix approach ( " time-stepping " approach), allowed the realization of such a study. After a stage of validation of our tool, we studied cases of flows including an interaction between a shock wave and a boundary layer. Three cases in particular were handled. The first case corresponds to an interaction enter an oblique shock wave impacting on a laminar boundary layer developing on a flat plate. This case is generally qualified in the literature of case as " reflected shock wave". We show that such a flow is globally stable and that the dynamics of such a flow behaves as a selective noise amplifier, the dynamic is mainly driven by receptivity mechanisms and by the response of upstream white nose disturbance. Two other cases have been studied on this work, the case of a transonic flow around a profile wing of NACA0012 type around the onset of buffet phenomenon and the case of transonic nozzle of Sajben type on over-extended regime. In the first case, the global stability analysis allows us to highlight the buffet phenomenon of on the profile NACA0012, what shows that the phenomenon is linked to a linear global instability. In the second case, the analysis of stability does not allow to explain the self-sustained low frequencies phenomenon, and shows that the flow is linearly globally stable. In this case, the dynamics is convective, passing and piloted by receptivity mechanisms

Стилі APA, Harvard, Vancouver, ISO та ін.

37

Bassam, Maya. "Étude de la stabilité de quelques systèmes d'équations des ondes couplées sur des domaines bornés et non bornés." Thesis, Valenciennes, 2014. http://www.theses.fr/2014VALE0034/document.

Повний текст джерела

Анотація:

La thèse est portée essentiellement sur la stabilisation indirecte d’un système de deux équations des ondes couplées et sur la stabilisation frontière de poutre de Rayleigh.Dans le cas de la stabilisation d’un système d’équations d’onde couplées, le contrôle est introduit dans le système directement sur le bord du domaine d’une seule équation dans le cas d’un domaine borne ou à l’intérieur d’une seule équation mais dans le cas d’un domaine non borné. La nature du système ainsi couplé dépend du couplage des équations et de la nature arithmétique des vitesses de propagations, et ceci donne divers résultats pour la stabilisation polynomiale ainsi la non stabilité.Dans le cas de la stabilisation de poutre de Rayleigh, l’équation est considérée avec un seul contrôle force agissant sur bord du domaine. D’abord, moyennant le développement asymptotique des valeurs propres et des vecteurs propres du système non contrôlé, un résultat d’observabilité ainsi qu’un résultat de bornétude de la fonction de transfert correspondant sont obtenus. Alors, un taux de décroissance polynomial de l’énergie du système est établi. Ensuite, moyennant une étude spectrale combinée avec une méthode fréquentielle, l’optimalité du taux obtenu est assurée
The thesis is driven mainly on indirect stabilization system of two coupled wave equations and the boundary stabilization of Rayleigh beam equation. In the case of stabilization of a coupled wave equations, the Control is introduced into the system directly on the edge of the field of a single equation in the case of a bounded domain or inside a single equation but in the case of an unbounded domain. The nature of thus coupled system depends on the coupling equations and arithmetic Nature of speeds of propagation, and this gives different results for the polynomial stability and the instability. In the case of stabilization of Rayleigh beam equation, we consider an equation with one control force acting on the edge of the area. First, using the asymptotic expansion of the eigenvalues and vectors of the uncontrolled system an observability result and a result of boundedness of the transfer function are obtained. Then a polynomial decay rate of the energy of the system is established. Then through a spectral study combined with a frequency method, optimality of the rate obtained is assured

Стилі APA, Harvard, Vancouver, ISO та ін.

38

Conteville, Laurie. "Analyse de la stabilité des réseaux d'oscillateurs non linéaires, applications aux populations neuronales." Phd thesis, Université Paris Sud - Paris XI, 2013. http://tel.archives-ouvertes.fr/tel-00904403.

Повний текст джерела

Анотація:

Il est bien connu que la synchronisation de l'activité oscillatoire dans les réseaux de neurones joue un rôle important dans le fonctionnement du cerveau et pour le traitement des informations données pas les neurones. Cette thèse porte sur l'analyse de l'activité de synchronisation en utilisant des outils et des méthodes issues de la théorie du contrôle et de la théorie de la stabilité. En particulier, deux modèles ont été étudiés pour décrire l'activité oscillatoire des réseaux de neurones : le modèle de Kuramoto et le modèle de Hindmarsh-Rose. Une partie de ce manuscript est consacrée à l'étude du modèle de Kuramoto, qui est un des systèmes les plus simples utilisé pour modéliser un réseau de neurones, avec une connexion complète (all-to-all). Il s'agit d'un modèle classique qui est utilisé comme une version simplifiée d'un réseau de neurones. Nous construisons un système linéaire qui conserve les informations sur les fréquences naturelles et sur les gains d'interconnexion du modèle original de Kuramoto. Les propriétés de stabilité de ce modèle sont ensuite analysées et nous montrons que les solutions de ce nouveau système linéaire convergent vers un cycle limite périodique et stable. Finalement, nous montrons que contraint au cycle limite, les dynamiques du système linéaire coïncident avec le modèle de Kuramoto. Dans une seconde partie, nous avons considéré un modèle de réseau de neurones plus proche de la réalité d'un point de vue biologique, mais qui est plus complexe que le modèle de Kuramoto. Plus précisément, nous avons utilisé le modèle de Hindmarsh-Rose pour décrire la dynamique de chaque neurone que nous avons interconnecté par un couplage diffusif (c'est à dire linéaire). A partir des propriétés de semi-passivité du modèle de Hindmarsh- Rose, nous avons analysé les propriétés de stabilité d'un réseau hétérogène de Rindmarsh-Rose. Nous avons également montré que ce réseau est pratiquement synchronisé pour une valeur suffisamment grande du gain d'interconnexion. D'autre part, nous avons caractérisé le comportement limite des neurones synchronisés et avons établi une approximation de ce comportement par une moyenne des dynamiques de tous les neurones.

Стилі APA, Harvard, Vancouver, ISO та ін.

39

Fitton, George. "Analyse multifractale et simulation des fluctuations de l'énergie éolienne." Phd thesis, Université Paris-Est, 2013. http://tel.archives-ouvertes.fr/tel-00962318.

Повний текст джерела

Анотація:

A partir des équations gouvernant le champ de vitesse, on peut non seulement s'attendre à un vent (fortement) non-gaussien, mais aussi à un vent présentant un comportement scalant. Par 'scalant' ou invariant d'échelle, nous faisons référence à un comportement statistique auto-similaire particulier; les cascades de tourbillons. Les multifractales stochastiques (avec des singularités et des co-dimensions multiples) reproduisent facilement le comportement scalant et les distributions de probabilités à queues épaisses omniprésentes dans le vent et dont la quantification est essentielle pour la communauté. Les quelques paramètres qui définissent ces modèles peuvent être déduits soit de considérations théoriques, soit de l'analyse statistique de données. Nous avons constaté que les approximations de flux basées sur le module du cisaillement du vent donnent des moments statistiques non-scalants et donc des estimations faussées des paramètres multifractals. La méthode DSF n'exige pas cette approximation et garantit un comportement scalant sur une certaine gamme d'échelles. Nous n'avons trouvé aucune estimation véritablement stable d'alpha en utilisant des méthodes standards. Ceci n'arrive plus quand nous optimisons localement (par la différenciation fractionnaire) le comportement scalant du DTM. Nous obtenons alors des estimations très stables de l'indice de multifractalité qui sont en outre en accord (alpha ≤ 2) avec des résultats publiés. Au contraire, les deux autres paramètres (C1 et H) deviennent des fonctions non-linéaires de l'ordre q des moments statistiques. Ces résultats suggèrent que le modèle UM isotrope ne peut être utilisé pour reproduire le cisaillement de vent dans la couche de surface atmosphérique. Lesdites hypothèses sont examinées en utilisant un repère tournant pour analyser l'anisotropie de la vitesse horizontale dans la couche de surface atmosphérique. Cela permet de quantifier la dépendance angulaire de l'exposant de Hurst. Les valeurs de cet exposant restent tout de même conformes aux résultats précédemment publiés. Pour des échelles de temps supérieures à quelques secondes, les deux jeux de données présentent une anisotropie scalante forte, qui décroît avec l'altitude. Nous mettons en évidence une expression analytique de la variation angulaire de l'exposant de Hurst, reposant sur les corrélations entre les composantes horizontales. Ceci pilote la formation des extrêmes du cisaillement, y compris dans le sillage d'une éolienne. Les cisaillements turbulents du vent sont si extrêmes que leur loi de probabilité est une loi de puissance. L'exposant correspondant (qD) est similaire pour les deux sites à une hauteur de 50m (4 ≤ qD ≤ 5), malgré des conditions orographiques très différentes. Nous discutons aussi de ses conséquences en analysant la stabilité de la couche limite atmosphérique et proposons une nouvelle méthode pour sa classification. Enfin, nous démontrons analytiquement que l'anisotropie augmente la probabilité des extrêmes. Ce résultat met en lumière un des nombreux mécanismes de turbulence possibles dans la couche de surface qui peut apparemment surproduire les cisaillements extrêmes du vent, s'ils sont étudiés dans le cadre des UM isotropes. Nous en analysons théoriquement les conséquences sur les estimations des paramètres multifractales par la méthode DTM. Les résultats analytiques obtenus sont en parfait accord avec les observations empiriques. Nous discutons alors de la prise en compte de toutes ces considérations pour faire des simulations multifractales des champs du vent dans la couche limite atmosphérique

Стилі APA, Harvard, Vancouver, ISO та ін.

40

Destyl, Edes. "Modélisation et analyse de systèmes d'équations de Schrödinger non linéaires." Thesis, Antilles, 2018. http://www.theses.fr/2018ANTI0283/document.

Повний текст джерела

Анотація:

Les travaux de cette thèse portent sur la modélisation et l’étude numérique dessystèmes couplés de deux équations de Schrödinger non linéaires. Dans un premiertemps, nous considérons un système de deux équations de Schrödinger non linéairesPT −symétrique qui modélise des phénomèmes de fibre optique biréfringent. Lecomportement de la solution est étudié dans certains espaces comme l’espace de SobolevH1. De plus, l’étude numérique du modèle est faite afin de valider les résultatsanalytiques et, montre clairement le comportement qualitatif de la solution dansles espaces choisis. Pour ce même modèle en dimension supérieure, des conditionssuffisantes sont établies pour que la solution explose en temps fini pour certainesnon linéarités et pour le cas général de la non linéarité focalisante, nous faisonsl’étude numérique du modéle et nous présentons certains cas d’explosion de la solutionen temps fini et aussi des solutions du modèle qui existent tout le temps.D’autre part, nous adressons un nouveau modèle d’équations discrètes de Schrödingernon linéaires PT -symétrique. Un tel modèle décrit la dynamique d’une chaînede pendules faiblement couplés près d’une résonance entre une force paramétriqueet la fréquence linéaire des pendules. En vue d’étudier la stabilité des pendules, desconditions suffisantes ont été établies sur les paramètres du modèle pour que la solutiond’équilibre zéro soit linéairement et non linéairement stable. Des expériencesnumériques sont présentées pour valider les résultats analytiques et pour caractériserla déstabilisation de la chaîne de pendules couplés dans la région d’instabilité
The works of this thesis concern the modeling and the numerical study of thesystems of two coupled nonlinear Schrödinger equations. At first, we considered aparity-time-symmetric system of the two coupled nonlinear Schrödinger (NLS) equationsthat modeled phenomenons in birefringent nonlinear optical fiber. We studythe behavior of the solution in some spaces like the Sobolev space H1. And we studythe numerical aspect of the model which clearly shows the behavior of the solutionin the chosen space. For the same model in higher dimension, we establish sufficientconditions for the initial conditions to blow up in finite time for some nonlinearityand for others we do the numerical study of the model and we present some casesof blowing up of the solution in finite time and also of the solutions of the modelthat exist all the time. On the other hand, we address a new model of discrete nonlinearSchrödinger equations PT -symmetric. A such model describes dynamics inthe chain of weakly coupled pendula pairs near the resonance between the parametricallydriven force and the linear frequency of each pendulum. In order to studythe stability of the pendulums, we establish sufficient conditions on the parametersof the model so that the equilibrium solution is stable. Numerical experiments arepresented to validate the analytical results and to characterize the unstabilizationof the coupled pendulum chain in the region of instability

Стилі APA, Harvard, Vancouver, ISO та ін.

41

Muller, Frédéric. "Simulations de jets propulsifs : application à l'identification des mécanismes générateurs de bruit." Paris 6, 2006. http://www.theses.fr/2006PA066390.

Повний текст джерела

Анотація:

La génétique et la dynamique des populations sont étudiées pour deux espèces d’ophiures de l’Atlantique Nord-Est. L’espèce A. Brachiata est constituée de deux lignées écotypiques, avec une histoire de colonisation propre à chaque lignée. Les échanges entre populations sont très faibles (fragmentation de l’habitat et phase dispersive courte). Le fonctionnement démographique d’A. Brachiata suit un rythme de renouvellement pluri-annuel. La structure génétique d’O. Fragilis semble peu dépendante de l’existence des deux variétés écotypiques mais plus le reflet de processus locaux (e. G. Effets Walhund temporels). Le fonctionnement démographique montre d’importantes disparités entre sites, qui peuvent contribuer à la structure globale de l’espèce. L’ensemble de ces résultats, mis en parallèle, souligne l’importance des processus historiques dans la répartition globale de l’espèce et celle des processus locaux dans la structure contemporaine des populations.

Стилі APA, Harvard, Vancouver, ISO та ін.

42

Rondon, Andres. "Recherche d’un critère mécanique de stabilité dans le cadre du planning de l’arthroplastie totale de hanche. Analyse numérique du comportement vibratoire de l’implant et caractérisation de l’interface os-implant." Thesis, Paris 6, 2017. http://www.theses.fr/2017PA066059/document.

Повний текст джерела

Анотація:

Ce travail de thèse avait comme objectif l'amélioration des outils de planning préopératoire tridimensionnels (P3D) pour l'arthroplastie totale de la hanche. Lors de l'utilisation d'implants sans ciment, une bonne stabilité primaire est requise pour obtenir une ostéointégration satisfaisante. Pour cela, une sélection appropriée de la taille et de la position de la prothèse est indispensable. En utilisant des images scanner obtenues par tomographie à rayon X de la hanche des patients, le chirurgien peut se servir du P3D pour faire la sélection de l'implant et anticiper sa position finale. Aujourd'hui, les méthodes de planning disponibles ne fournissent pas de critère mécanique qui pourrait refléter la qualité du contact os-implant. Nous proposons une méthode pour l'amélioration du P3D basé sur une analyse vibratoire par éléments finis pour le calcul de paramètres mécaniques personnalisés et liés á la stabilité primaire. Nos résultats suggèrent que la réponse modale de la tige est très sensible aux changements de l'aire de contact et de la raideur apparente de l'interface os-implant. Une transition marquée du comportement modal associée à un ancrage plus ou moins bon a permis de définir des seuils qui pourraient potentiellement discriminer des implants stables et instables dans le cadre du planning. Nous avons aussi étudié l'effet de la procédure de râpage et son possible impact sur le P3D. L'effet de la râpe sur la microstructure de l'os à l'interface os-implant a été analysé ex-vivo à l'aide d'images de micro-scanographie. Une distribution spatiale de la raideur de l'os en contact avec l’implant a aussi été obtenue par indentation des mêmes pièces anatomiques
This thesis work is concerned with the enhancement of three-dimensional preoperative planning (P3D) tools for total hip reconstruction. When cementless implants are used, primary stability is vital for a good osseointegration. For this, a correct selection of the size and position of the implant is necessary. The surgeon may use P3D based on the computed tomography scanner of the patient’s hip to optimally select the implant’s size and anticipate the final implant’s position. Available planning methods lack a mechanical criterion reflecting the actual quality of the bone-implant contact. In this work we propose a method to improve P3D using a vibrational finite element analysis to calculate patient-specific mechanical parameters representative of primary stability. We found that the modal response of the stem is very sensitive to changes of the area and apparent stiffness of the bone-implant interface. A clear transition between loose and tight contact allowed the definition of thresholds that could potentially discriminate between a stable and an unstable stem. We also studied the effect of the broaching procedure and its relevance for P3D. The effect of broaching on bone microstructure at the bone-implant interface was analyzed using cadaveric samples and micro-computed tomography. A mapping of the stiffness of bone in contact with the implant was obtained with indentation on the same cadaveric samples

Стилі APA, Harvard, Vancouver, ISO та ін.

43

He, Yuan. "Analyse et contrôle de modèles de dynamique de populations." Thesis, Bordeaux 1, 2013. http://www.theses.fr/2013BOR14918/document.

Повний текст джерела

Анотація:

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

Стилі APA, Harvard, Vancouver, ISO та ін.

44

Bridel-Bertomeu, Thibault. "Investigation of unsteady phenomena in rotor/stator cavities using Large Eddy Simulation." Thesis, Toulouse, INPT, 2016. http://oatao.univ-toulouse.fr/17867/1/BRIDEL_BERTOMEU.pdf.

Повний текст джерела

Анотація:

This thesis provides a numerical and theoretical investigation of transitional and turbulent enclosed rotating flows, with a focus on the formation of macroscopic coherent flow structures. The underlying processes are strongly threedimensional due to the presence of boundary layers on the discs and on the walls of the outer (resp. inner) cylindrical shroud (resp. shaft). The complexity of these flows poses a great challenge in fundamental research however the present work is also of importance for industrial rotating machinery, from hard-drives to space engines turbopumps - the design issues of the latter being behind the motivation for this thesis. The present work consists of two major investigations. First, industrial cavities are modeled by smooth rotor/stator cavities and therein the dominant flow dynamics is investigated. For the experimental campaigns on industrial machinery revealed dangerous unsteady phenomena within the cavities, the emphasis is put on the reproduction and monitoring of unsteady pressure fluctuations within the smooth cavities. Then, the LES of three configurations of real industrial turbines are conducted to study in situ the pressure fluctuations and apply the diagnostics already vetted on academic problems.

Стилі APA, Harvard, Vancouver, ISO та ін.

45

Martin, Maverick. "Structures spatiales déployables constituées de mètres rubans : analyse et implémentation de modèles de poutre à section flexible." Thesis, Aix-Marseille, 2017. http://www.theses.fr/2017AIXM0571/document.

Повний текст джерела

Анотація:

Les mètres rubans sont utilisés comme dispositif de déploiement car ils sont légers, compacts, se déploient de manière autonome et ont une capacité d'auto-blocage en position déployée. Ces structures élancées de forme cylindrique présentent un comportement complexe avec formation de plis localisés. Leur modélisation est donc difficile : bien que des modèles de poutre à section flexible (RFleXS) aient été développés. Les travaux réalisés consistent à développer des outils numériques d'aide au dimensionnement de structures déployées par des rubans. Un modèle RFleXS adimensionné dédié aux rubans peu profonds est introduit et analysé, mettant en évidence des liens avec le modèle de barre d'Ericksen régularisé. Ces liens expliquent la formation de plis et caractérisent les trois zones constitutives d'un pli. On détermine de façon analytique le nombre et la position des points de bifurcation des branches de solution obtenues pour un essai de flexion pure d'un ruban. Un enrichissement de la cinématique de section est intégré dans les modèles RFleXS. Les simulations de flexion de ruban montrent alors une bonne corrélation avec les modèles de coque. Une nouvelle formulation des modèles RFleXS est implémentée et conduisant au développement de deux outils numériques : un code de calcul par éléments finis complet et un élément à deux noeuds intégré dans un code commercial. Des essais de flexion réalisés sur des rubans composites viennent compléter ces travaux afin de confronter les simulations numériques à des essais réels. Bien que des écarts soient observés, le comportement global du ruban est bien retranscrit par les modèles de poutre à section flexible
Due to their lightness, compactness, their autonomous deployment and their ability to self-locking while deployed, tape-springs are considered to deploy structures. These slender and cylindrical structures highlight a complex behaviour because of the formation of localised folds. Tape-springs are then difficult to model but a rod model with flexible cross-section (RFleXS) has been developed in order to characterise the tape-spring behaviour.The purpose of this PhD was to develop numerical tools dedicated to design structures deployed by tape-spings. A dimensionless form of the RFleXS model dedicated to shallow tape spring has been developed and links with a regularised Ericksen's bar have been made. These links help to explain folds creation and to determine characteristics of the three constitutive areas of a fold. Analysis of the dimensionless model leads to determine the finite number and the position of bifurcation points for the pure bending of a tape-spring. The cross-section kinematic is enriched; simulations of bending tests then show a good correlation with shell models. A new implementation of RFleXS models is introduced, leading to the creation of two numerical tools: a full finite element software and a one-dimensional element with two nodes incorporated in Abaqus. Some bending experiments have been performed in order to compare simulations with measured data. Even if discrepancies are observed, these comparisons show that the tape-spring overall behaviour is well predicted by rod models with flexible cross-section

Стилі APA, Harvard, Vancouver, ISO та ін.

46

Taousser, Fatima Zohra. "Analyse de stabilité des systèmes à commutations sur un domaine de temps non-uniforme." Thesis, Valenciennes, 2015. http://www.theses.fr/2015VALE0038/document.

Повний текст джерела

Анотація:

Cette thèse s’intéresse à l’étude de la stabilité des systèmes à commutation qui évoluent sur un domaine de temps non uniforme en introduisant la théorie des échelles de temps. On s’intéresse essentiellement aux systèmes dynamiques linéaires à commutation déﬁnis sur une échelle de temps particulière T = P{tσk ,tk+1} = ∪∞k=0[tσk , tk+1]. Le système étudié commute entre un sous-système dynamique continu sur les intervalles ∪∞k=0[tσk , tk+1[ et un sous-système dynamique discret aux instants ∪∞k=0{tk+1} (à temps discret) avec un pas discret qui varie dans le temps. Dans une première partie, des conditions suﬃsantes sont données pour garantir la stabilité exponentielle de cette classe de systèmes à commutation. Ensuite, des conditions nécessaires et suﬃsantes de stabilité sont données en déterminant une région de stabilité exponentielle. Dans une deuxième partie, la stabilité de cette classe des systèmes à commutation avec des perturbations nonlinéaires a été traitée en utilisant des majorations de la solution, puis en introduisant l’approche de la fonction de Lyapunov commune. La troisième partie est consacrée au problème du consensus en présence d’interruptions de transmission d’informations où le système multi-agent en boucle fermée peut être représenté comme un système à commutation par une combinaison de modèles de systèmes linéaires à temps continu et de systèmes linéaires à temps discret
This thesis deals with the stability analysis of switched systems that evolve on non uniform time domain by introducing the time scale theory. We are interested mainly in dynamical linear switched systems deﬁned on particular time scale T = P{tσk ,tk+1} = ∪∞k=0[tσk, tk+1]. The studied system switches between a continuous-time dynamical subsystem on the intervals ∪∞k=0[tσk, tk+1[ and a discrete-time dynamical subsystem on instants ∪∞k=0{tk+1} (a discrete time) with a time-varying discrete step. In a ﬁrst part, suﬃcient conditions are given to guarantee the exponential stability of this class of switched systems. Then necessary and suﬃcient conditions for stability are given by determining a region of exponential stability. In the second part, the stability of this class of switched systems with nonlinear uncertainties, is treated using majoration of the solution, and after that by introducing the approach of a common Lyapunov function. The third part is devoted to the consensus problem under intermittent information transmissions where the closed-loop multi-agent system can be represented as a switched system using a combination of linear continuous-time and linear discrete-time systems

Стилі APA, Harvard, Vancouver, ISO та ін.

47

Tian, Tian. "Analysis and control of nonlinear multiple-input systems with coupled dynamics by the method of Normal Forms." Thesis, Paris, ENSAM, 2017. http://www.theses.fr/2017ENAM0029/document.

Повний текст джерела

Анотація:

Les systèmes composés d’une somme de sous-systèmes interconnectés offrent les avantages majeurs de flexibilité d’organisation et de redondance synonyme de fiabilité accrue. Une des plus belles réalisations basée sur ce concept réside dans les réseaux électriques qui sont reconnus à ce jour comme la plus grande et la plus complexe des structures existantes jamais développées par l’homme.Les phénomènes de plus en plus non linéaires rencontrés dans l’étude des nouveaux réseaux électriques amènent au développement de nouveaux outils permettant l’étude des interactions entre les différents éléments qui les composent. Parmi les outils d’analyse existants, ce mémoire présente le développement et l’application de la théorie des Formes Normales à l’étude des interactions présentes dans un réseau électrique. Les objectifs spécifiques de cette thèse concernent le développement de la méthode des Formes Normales jusqu’à l’ordre 3, l’application de cette méthode à l’étude des oscillations présentes dans des réseaux tests et l’apport de la méthode développée dans l’étude de la stabilité des réseaux
Systems composed with a sum of interconnected sub-systems offer the advantages of a better flexibility and redundancy for an increased reliability. One of the largest and biggest system based on this concept ever devised by man is the interconnected power system.Phenomena encountered in the newest interconnected power systems are more and more nonlinear and the development of new tools for their study is od major concern. Among the existing tools, this PhD work presents the development and the application of the Normal Form theory to the study of the interactions existing on an interconnected power system. The specific objectives of this PhD work are the development of the Normal Form theory up to the third order, the application of this method to study power system interarea oscillations and the gain of the developed method for the study of stability of power systems

Стилі APA, Harvard, Vancouver, ISO та ін.

48

Ikezouhene, Yaghkob. "Analyse numérique discrète de l'aléa fontis et du foisonnement associés aux cavités souterraines." Thesis, Paris Est, 2017. http://www.theses.fr/2017PESC1109/document.

Повний текст джерела

Анотація:

Au cours du temps, les cavités souterraines sont soumises à un vieillissement et plusieurs types de dégradation peuvent apparaitre. Les anciennes exploitations souterraines, parfois constituées d’un ou plusieurs niveaux, n’ont, sans doute, pas été conçues pour être stables à long terme. Elles ont été réalisées à une époque où n'existaient pas d'enjeux en surface, de zones de travaux, ce qui permettait d’éviter de se préoccuper des mouvements de sol induits. Elles ont pu quelquefois être totalement ou partiellement remblayées, mais pas de manière systématique. L’effondrement d'une cavité souterraine engendre la déconsolidation des niveaux supérieurs des terrains de recouvrement. Ces mécanismes peuvent provoquer en surface deux types de désordres : un affaissement ou un fontis. L'affaissement et le fontis peuvent provoquer des graves dommages aux structures et aux infrastructures en surface mais aussi mettre en péril la sécurité des populations. Les travaux de cette thèse s’articulent autour de l’étude du foisonnement, du fontis et de sa propagation dans les terrains de recouvrement.Les objectifs de cette thèse sont doubles : tout d’abord il s’agit d’étudier le foisonnement de la roche lors d’un effondrement de toit de carrières souterraines ; ensuite il s’agit de modéliser la propagation du fontis dans les terrains de recouvrement et ainsi hiérarchiser les paramètres associés à ce phénomène.La première partie de cette thèse repose sur une étude bibliographique qui récapitule les méthodes d’exploitation, méthodes d’analyse de stabilité de carrières souterraines, méthodes de prévision de la hauteur d’effondrement et estimation de foisonnement. A l’issue de cette synthèse bibliographique l’étude s’est focalisée sur les carrières souterraines à faible profondeur exploitées par chambres et piliers. Ainsi, la modélisation numérique par la méthode des éléments discrets (MED) a été choisie pour analyser l’instabilité des toits de carrières souterraines.La seconde partie s’intéresse au développement d’un modèle numérique qui a pour objectifs : d’une part, le développement d’un Programme de Discrétisation des Massifs Rocheux (PDMR) qui constitue le préprocesseur du logiciel STTAR3D et le développement d’un code permettant le calcul du coefficient de foisonnement des débris de l’effondrement. D’autre part, l’implémentation des lois de comportement sur STTAR3D.La troisième partie consiste à déterminer, d’une part les caractéristiques physico-mécaniques d’échantillons prélevés dans la carrière de la Brasserie (Paris-France), qui a été choisie pour une tester le modèle développé et d’autre part, les deux paramètres de la loi de comportement utilisée pour modéliser les contacts à savoir  et µ.Enfin, la dernière partie de ce travail est constituée des simulations numériques pour lesquelles les paramètres de la loi de comportement mesuré expérimentalement ont été introduits dans STTAR3D. Dans la première étude numérique menée, on s’intéresse à l’effet de la hauteur de chute, du rayon de l’ouverture initiale du fontis et du degré de fracturation sur le foisonnement des décombres, ainsi qu’à l’effet de la variation du foisonnement sur la hauteur de l’effondrement et sur l’affaissement. Dans un second temps, on réalise un modèle de la carrière de la Brasserie dont on calcule le comportement par simulation numérique afin d’obtenir l’affaissement en surface et la hauteur de l’effondrement qui sont comparés aux observations in-situ
Over time, the underground cavities are subjected to aging and several types of degradation can occur. The old underground cavities have probably not been designed to be stable over the long term. They have sometimes been totally or partially backfilled, but not in a systematic way. The collapse of a mine causes deconsolidation of the upper levels of the overburden. These mechanisms can cause two types of disorders on the surface: subsidence or sinkhole. Subsidence and sinkhole can cause severe damage to structures and infrastructures in surface, but also jeopardize the safety of the population.The work of this thesis revolves around the study of rock's bulking, sinkhole and its spread in the overburden. The aims of this thesis are twofold: firstly, to study the bulking of rock during the roofs mine collapse; Secondly, modeling the spread of the sinkhole in the overburden and thus to prioritize the parameters associated with this phenomenon.The first part of this thesis is a bibliographical study which summarizes the methods of exploitation, methods of analysis of stability of underground quarries, methods of prediction of the height of collapse and estimation of the bulking factor. At the end of this bibliographic synthesis, the study focused on shallow underground quarries operated by rooms and pillars. Thus, numerical modeling using the discrete element method (MED) was chosen to analyze the instability of roofs of underground quarries.The second part focuses on the development of a numerical model with the following objectives: on the one hand, the development of a Rock Mass Discretization Program (RMDP) which constitutes the preprocessor of the STTAR3D software and the development of a Code allowing calculation of the bulking factor of the rubble of collapse. On the other hand, implementation of the behavior laws on STTAR3D.The third part consists of determining, on the one hand, the physicals and mechanicals characteristics of samples taken from the quarry of the Brasserie (Paris-France), which was chosen to test the model developed. On the other hand, determining of parameters of the behavior law used for modeling the contacts, namely “” and “μ”.Finally, the last part of this work is made of numerical simulations for which the parameters of the behavior law measured experimentally have been introduced in STTAR3D. In the first numerical study, we investigate the effect of fall height, the radius of the initial opening of the sinkhole and the fracturing degree on the bulking of the rubble, as well as the effect of variation of the bulking on the collapse height and on the subsidence. In a second step, a model of the Brasserie’s mine is realized, the behavior of which is studied by numerical simulation in order to obtain the subsidence on the surface and the collapse height, which are compared with the in-situ observations

Стилі APA, Harvard, Vancouver, ISO та ін.

49

Jajoo, Vibhor. "Instabilités de Faraday dans les fluides binaires." Thesis, Bordeaux, 2017. http://www.theses.fr/2017BORD0929/document.

Повний текст джерела

Анотація:

Alors qu'il est bien connu que le phénomène d'instabilité de Faraday est une manifestation d'ondes de gravité capillaire, son comportement lorsque les effets capillaires et gravitationnels disparaissent reste inexploré théoriquement et expérimentalement. Une étude expérimentale et théorique détaillée est réalisée pour comprendre la physique de ce phénomène dans une petite cavité rectangulaire où la proximité des murs entraîne des contraintes considérables sur les parois latérales. Un couple de liquides binaires est utilisé avec une faible tension interfaciale pour une interface presque plate. Le contrôle thermique de ce système de fluide est utilisé pour diminuer la force capillaire et d’étudier ainsi les instabilités de Faraday dans les fluides miscibles où la tension interfaciale s’annule. Afin de prendre en compte les effets gravitationnels, l'expérience a été réalisée dans des campagnes de vols paraboliques. Pour l'approche théorique, une analyse de stabilité linéaire est effectuée à l'aide d'équations de Navier-Stokes dans un système de fluide visqueux incompressible et newtonien. Ceci est réalisé grâce à une méthode de Fourier-Floquet résultant en un problème aux valeurs propres. Les comparaisons montrent des différences non négligeables. Les équations sont ensuite résolues en incluant des effets d'amortissement visqueux pour compenser les contraintes des parois latérales. Les fluides binaires ont fourni une option commode pourchanger le coefficient de tension interfaciale en augmentant la température jusqu’à la température critique, ce qui a permis de passer d’un système de fluides non miscibles à celui des fluides miscibles tout en restant au-dessous de la température d’ébullition. Le taux d'amortissement visqueux linéaire est mesuré expérimentalement. La correction des calculs théoriques en prenant en compte le taux d'amortissement visqueux a permis une amélioration nette des résultats et donc de mieux comprendre la prédiction de l'amplitude critique expérimentale pour les modes sous-harmonique et harmonique
While it is well known that the phenomenon of Faraday instability is a manifestation of vibrational acceleration, its behaviour when both the capillary and gravitational effects vanish, remains unexplored theoretically and experimentally. A detailed experimental and theoretical study is performed to understand the physics of this phenomenon in small rectangular geometry where the proximity of wall results in considerable sidewall stresses. A novel binary liquids system is utilized with low interfacial tension for a near flat interface. Thermal control of fluid system is utilized for achieving reduction in capillary force with study of miscible fluids where interfacial tension reduces to almost zero. In order to discriminate between gravity and capillarity effects, experiments were performed in parabolic flight campaigns. . For the theoretical approach a linear stability analysis is performed through Navier-Stokes equations in a Newtonian incompressible viscous fluid system. This is achieved through a Fourier Floquet method resulting into an eigenvalue problem. Equations are solved by including viscous damping effects for compensating sidewall stresses. Experimentally binary fluids provided a convenient option of changing the coefficient of interfacial tension by temperature control and going through immiscible to miscible system without change of liquid charge. Viscous damping rate is determined experimentally by measuring the linear damping rate. The correction in the theoretical calculations with the viscous damping rate helped in achieving a better understanding of the prediction of the experimental critical amplitude for sub-harmonic and harmonic modes

Стилі APA, Harvard, Vancouver, ISO та ін.

50

Abdelmoula, Mohamed. "Phénomènes non linéaires et chaos dans les systèmes d’énergie renouvelable – Application à une installation photovoltaïque." Thesis, Reims, 2017. http://www.theses.fr/2017REIMS001/document.

Повний текст джерела

Анотація:

Afin de satisfaire les besoins futurs en énergie et de réduire l’impact environnemental, l’application de l’énergie renouvelable propre a été récemment reconsidérée. Dans ce contexte, un intérêt croissant pour le système d’alimentation isolé a été mesuré.Le besoin de topologies de faible puissance alimentées par un générateur photovoltaïque, évitant l’utilisation de transformateur, accentue l’étude de systèmes d’alimentation autonomes de basse tension. D’où la nécessité d’étudier les stratégiesde contrôle associées garantissant la stabilité, la fiabilité et l’efficacité.À mesure que les systèmes d’alimentation autonome deviennent plus complexes, les non-linéarités jouent un rôle de plus en plus important dans le comportement du système. La modélisation doit refléter avec précision la dynamique des composants et du système. En outre, les outils d’analyse des systèmes dynamiques devraient être fiable, même dans différents régimes de fonctionnement, fournissant des prédictions précises du comportement de ces derniers. Ce travail est consacré à l’étude d’un système photovoltaïque autonome. La structure proposée se compose d’un panneau photovoltaïque, d’un hacheur et d’une charge connectée en cascade via un bus continu. Les efforts de recherche se concentrent sur le processus de modélisation et l’analyse de stabilité du système. Une implémentation avec une description complète du modèle est ainsi détaillée est validé epar des résultats de simulation. Après avoir donné l’état de l’art, le manuscrit est divisé en quatre parties. Ces parties sont dédiées à la modélisation d’une installation photovoltaïque, à l’amélioration de la simulation numérique, et à l’étude de dynamique de ce système sous contrôles numériques.La thèse présente un aperçu des modèles de générateurs photovoltaïques. Ensuite,un modèle électrique modifié du panneau photovoltaïque est proposé. Nous avons également détaillé le processus de modélisation de l’installation photovoltaïque.Un solveur amélioré de modèle Differential-Algebraic Equations (DAEs) est ensuite développé. Une dixième approche de modélisation est aussi présentée. Nous avons également décrit le système photovoltaïque par un modèle discret simplifié. Ensuite, l’analyse de stabilité du système étudié est détaillée. En outre, nous avons étudié le comportement chaotique qui apparaît dans l’installation photovoltaïque basée sur le hacheur à deux cellules. Le but de la dernière partie est de montrer comment stabiliser l’orbite chaotique du système. Enfin, pour atteindre cet objectif, la commande par retour d’état retardé Time-Delayed Feedback Control (TDFC) est appliquée
In order to satisfy future energy requirement and reduce environmental impact, application of clean renewable energy, have been reconsidered recently. In this context, a growing interest in isolated power system has been observed. The need of low power topologies fed by photovoltaic array avoiding the use oftransformer open the study of small-scale stand-alone power system. Hence, theneed to study the associated control design strategies ensuring stability, reliability and high efficiency.As systems become more complex, nonlinearities play an increasingly importantrole in stand-alone power system behaviour. Modeling must accurately reflect component and system dynamics. In addition, analysis tools should continue to workreliably, even under various system conditions, providing accurate predictions of systems behaviour.This work is devoted to the study of a stand-alone photovoltaic power system.The proposed structure consists on photovoltaic array, a dc-dc buck converter, anda load connected in cascade through a dc bus. The research efforts focus on themodeling process and stability analysis, which leads to an implementation with acomprehensive description validated through simulation results.After giving the state-of-the-art in second chapter, the manuscript is divided into four chapters. These parts are dedicated to photovoltaic plant modeling, the numeric simulation improvements and dynamic investigation of the photovoltaic system under digital controls.The thesis presents an overview of the photovoltaic generator models. Then, amodified photovoltaic array model is proposed. We also detailed the photovoltaic plant modeling process. An improved Differential-Algebraic Equations (DAEs)solver is then investigated. We also described the photovoltaic system by a simplified discrete model. Then, the dynamic stability analysis is detailled. In addition,we have studied the chaotic behaviour that appears in the photovoltaic plant basedon the two-cell dc-dc buck converter.The aim of the last part is to show, using control theory and numerical simulation,how to apply a method to stabilize the chaotic orbit. Finally, to accomplish this aim, a time-delayed feedback controller is used

Стилі APA, Harvard, Vancouver, ISO та ін.

Дисертації з теми "Stability analyse"

Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями