Spelling suggestions: "subject:"[MATH] mathématiques"" "subject:"[MATH] athématiques""
101 |
Modèles stochastiques et méthodes numériques pour la fiabilitéMercier, Sophie 21 November 2008 (has links) (PDF)
En premier lieu, nous proposons, étudions et optimisons différentes politiques de maintenance pour des systèmes réparables à dégradation markovienne ou semi-markovienne, dont les durées de réparation suivent des lois générales. <br /> Nous nous intéressons ensuite au remplacement préventif de composants devenus obsolescents, du fait de l'apparition de nouveaux composants plus performants. Le problème est ici de déterminer la stratégie optimale de remplacement des anciens composants par les nouveaux. Les résultats obtenus conduisent à des stratégies très différentes selon que les composants ont des taux de panne constants ou non.<br /> Les travaux suivants sont consacrés à l'évaluation numérique de différentes quantités fiabilistes, les unes liées à des sommes de variables aléatoires indépendantes, du type fonction de renouvellement par exemple, les autres liées à des systèmes markoviens ou semi-markoviens. Pour chacune de ces quantités, nous proposons des bornes simples et aisément calculables, dont la précision peut être ajustée en fonction d'un pas de temps. La convergence des bornes est par ailleurs démontrée, et des algorithmes de calcul proposés.<br /> Nous nous intéressons ensuite à des systèmes hybrides, issus de la fiabilité dynamique, dont l'évolution est modélisée à l'aide d'un processus de Markov déterministe par morceaux (PDMP). Pour de tels systèmes, les quantités fiabilistes usuelles ne sont généralement pas atteignables analytiquement et doivent être calculées numériquement. Ces quantités s'exprimant à l'aide des lois marginales du PDMP (les lois à t fixé), nous nous attachons plus spécifiquement à leur évaluation. Pour ce faire, nous commençons par les caractériser comme unique solution d'un système d'équations intégro-différentielles. Puis, partant de ces équations, nous proposons deux schémas de type volumes finis pour les évaluer, l'un explicite, l'autre implicite, dont nous démontrons la convergence. Nous étudions ensuite un cas-test issu de l'industrie gazière, que nous modélisons à l'aide d'un PDMP, et pour lequel nous calculons différentes quantités fiabilistes, d'une part par méthodes de volumes finis, d'autre part par simulations de Monte-Carlo. Nous nous intéressons aussi à des études de sensibilité : les caractéristiques d'un PDMP sont supposées dépendre d'une famille de paramètres et le problème est de comparer l'influence qu'ont ces différents paramètres sur un critère donné, à horizon fini ou infini. Cette étude est faite au travers des dérivées du critère d'étude par rapport aux paramètres, dont nous démontrons l'existence et que nous calculons.<br /> Enfin, nous présentons rapidement les travaux effectués par Margot Desgrouas lors de sa thèse consacrée au comportement asymptotique des PDMP, et nous donnons un aperçu de quelques travaux en cours et autres projets.
|
102 |
Contrôle optimal et applications au transfert d'orbite et à la géométrie presque-riemannienneJanin, Gabriel 29 November 2010 (has links) (PDF)
Cette thèse porte sur l'application de techniques de contrôle optimal et de contrôle géométriques au problème de transfert d'orbite de satellite et à la géométrie presque-riemannienne. Dans ces cas, le principe du maximum de Pontryagin permet d'étudier le flot extrémal pour des systèmes de contrôle affines.Dans le cas d'un satellite à faible poussée, la technique de moyennation permet d'approcher les trajectoires du système réel. La moyennation est explicite dans le cas de la minimisation de l'énergie et fait apparaître dans certains cas des problèmes presque-riemanniens. L'étude géométrique de tels problèmes est généralisée par l'étude de métriques sur la deux-sphère de révolution. On peut ainsi classifier les situations selon la transcendance des solutions et discuter l'optimalité selon la nature des lieux de coupure et de conjugaison.L'étude du problème moyenné du transfert orbital et de situations génériques sur la sphère de révolution est motivée par l'approche homotopique de résolution numérique du problème de transfert pour d'autres fonctions de coût. La méthode de continuation couplée à celle de tir simple est utilisée pour résoudre un problème de transfert à forte poussée à consommation minimale de carburant.Les outils géométriques sont aussi utilisés afin d'étudier la situation locale dans un voisinage des points de tangence en géométrie presque-riemannienne en dimension deux. On calcule pour les approximations nilpotente et d'ordre zéro le front d'onde, les sphères de petits rayons et les lieux de coupure et de conjugaison.
|
103 |
Dynamic power control in backbone wireless mesh networks : a decentralized approachOlwal, Thomas 15 December 2010 (has links) (PDF)
The remarkable evolution of wireless networks into the next generation to provide ubiquitous and seamless broadband applications has recently triggered the emergence of Wireless Mesh Networks (WMNs). The WMNs comprise stationary Wireless Mesh Routers (WMRs) forming Wireless Backbone Mesh Networks (WBMNs) and mobile Wireless Mesh Clients (WMCs) forming the WMN access. While WMCs are limited in function and radio resources, the WMRs are expected to support heavy duty applications : that is, WMRs have gateway and bridge functions to integrate WMNs with other networks such as the Internet, cellular, IEEE 802.11, IEEE 802.15, IEEE 802.16, sensor networks, et cetera. Consequently, WMRs are constructed from fast switching radios or multiple radio devices operating on multiple frequency channels. WMRs are expected to be self-organized, self-configured and constitute a reliable and robust WBMN which needs to sustain high traffic volumes and long "online" time. However, meeting such stringent service expectations requires the development of decentralized dynamic transmission power control (DTPC) approaches. This thesis addresses the DTPC problem for both single and multiple channel WBMNs. For single channel networks, the problem is formulated as the minimization of both the link-centric and network-centric convex cost function. In order to solve this issue, multiple access transmission aware (MATA) models and algorithms are proposed. For multi-radio multi-channel (MRMC) WBMNs, the network is modelled as sets of unified channel graphs (UCGs), each consisting of interconnected active network users communicating on the same frequency channel. For each UCG set, the minimization of stochastic quadratic cost functions are developed subject to the dynamic Link State Information (LSI) equations from all UCGs. An energy-efficient multi-radio unification protocol (PMMUP) is then suggested at the Link-Layer (LL). Predictive estimation algorithms based on this protocol are proposed to solve such objective functions. To address transmission energy and packet instabilities, and interference across multiple channels, singularly-perturbed weakly-coupled (SPWC) control problems are formulated. In order to solve the SPWC transmission power control problem, a generalized higher-order recursive algorithm (HORA) that obtains the Riccati Stabilizing Solutions to the control problem is developed. The performance behaviours of the proposed models and algorithms are evaluated both analytically and through computer simulations. Several simulations are performed on a large number of randomly generated topologies. Simulation and analytical results confirm the efficacy of the proposed algorithms compared to the most recently studied techniques
|
104 |
Principe local-global pour les zéro-cyclesLiang, Yongqi 04 October 2011 (has links) (PDF)
Dans cette thèse, nous nous intéressons à l'étude de l'arithmétique (le principe de Hasse, l'approximation faible, et l'obstruction de Brauer-Manin) des zéro-cycles sur les variétés algébriques définies sur des corps de nombres. Nous introduisons la notion de sous-ensemble hilbertien généralisé. En utilisant la méthode de fibration, nous démontrons que l'obstruction de Brauer-Manin est la seule au principe de Hasse et à l'approximation faible pour les zéro-cycles de degré 1; et établissons l'exactitude d'une suite de type global-local concernant les groupes de Chow des zéro-cycles, pour certaines variétés qui admettent une structure de fibration au-dessus d'une courbe lisse ou au-dessus de l'espace projectif, où les hypothèses arithmétiques sont posées seulement sur les fibres au-dessus d'un sous-ensemble hilbertien généralisé.De plus, nous relions l'arithmétique des points rationnels et l'arithmétique des zérocycles de degré 1 sur les variétés géométriquement rationnellement connexes. Comme application, nous trouvons que l'obstruction de Brauer-Manin est la seule au principe de Hasse et à l'approximation faible pour les zéro-cycles de degré 1 sur- les espaces homogènes d'un groupe algébrique linéaire à stabilisateur connexe,- certains fibrés en surfaces de Châtelet au-dessus d'une courbe lisse ou au-dessus de l'espace projectif (en particulier, les solides de Poonen).
|
105 |
Limite d'échelle de cartes aléatoires en genre quelconqueBettinelli, Jérémie 26 October 2011 (has links) (PDF)
Au cours de ce travail, nous nous intéressons aux limites d'échelle de deux classes de cartes. Dans un premier temps, nous regardons les quadrangulations biparties de genre strictement positif g fixé et, dans un second temps, les quadrangulations planaires à bord dont la longueur du bord est de l'ordre de la racine carrée du nombre de faces. Nous voyons ces objets comme des espaces métriques, en munissant leurs ensembles de sommets de la distance de graphe, convenablement renormalisée. Nous montrons qu'une carte prise uniformément parmi les cartes ayant n faces dans l'une de ces deux classes tend en loi, au moins à extraction près, vers un espace métrique limite aléatoire lorsque n tend vers l'infini. Cette convergence s'entend au sens de la topologie de Gromov--Hausdorff. On dispose de plus des informations suivantes sur l'espace limite que l'on obtient. Dans le premier cas, c'est presque sûrement un espace de dimension de Hausdorff 4 homéomorphe à la surface de genre g. Dans le second cas, c'est presque sûrement un espace de dimension 4 avec une frontière de dimension 2, homéomorphe au disque unité de R^2. Nous montrons en outre que, dans le second cas, si la longueur du bord est un petit~o de la racine carrée du nombre de faces, on obtient la même limite que pour les quadrangulations sans bord, c'est-à-dire la carte brownienne, et l'extraction n'est plus requise.
|
106 |
Analyse de méthodes de résolution parallèles d'EDO/EDA raidesGuibert, David 10 September 2009 (has links) (PDF)
La simulation numérique de systèmes d'équations différentielles raides ordinaires ou algébriques est devenue partie intégrante dans le processus de conception des systèmes mécaniques à dynamiques complexes. L'objet de ce travail est de développer des méthodes numériques pour réduire les temps de calcul par le parallélisme en suivant deux axes : interne à l'intégrateur numérique, et au niveau de la décomposition de l'intervalle de temps. Nous montrons l'efficacité limitée au nombre d'étapes de la parallélisation à travers les méthodes de Runge-Kutta et DIMSIM. Nous développons alors une méthodologie pour appliquer le complément de Schur sur le système linéarisé intervenant dans les intégrateurs par l'introduction d'un masque de dépendance construit automatiquement lors de la mise en équations du modèle. Finalement, nous étendons le complément de Schur aux méthodes de type "Krylov Matrix Free". La décomposition en temps est d'abord vue par la résolution globale des pas de temps dont nous traitons la parallélisation du solveur non-linéaire (point fixe, Newton-Krylov et accélération de Steffensen). Nous introduisons les méthodes de tirs à deux niveaux, comme Parareal et Pita dont nous redéfinissons les finesses de grilles pour résoudre les problèmes raides pour lesquels leur efficacité parallèle est limitée. Les estimateurs de l'erreur globale, nous permettent de construire une extension parallèle de l'extrapolation de Richardson pour remplacer le premier niveau de calcul. Et nous proposons une parallélisation de la méthode de correction du résidu.
|
107 |
Analyse en stabilité et synthèse de lois de commande pour des systèmes polynomiaux saturantsValmorbida, Giorgio 08 July 2010 (has links) (PDF)
La classe des systèmes non-linéaires dont la dynamique est définie par un champ de vecteurs polynomial est étudié. Des modèles polynomiaux peuvent représenter différents systèmes réels ou bien definir des approximations plus riches que des modèles linéaires pour des systèmes non-linéaires différentiables. Des techniques de programmation semi-définie développées récemment ont rendu possible l'étude de cette classe de systèmes avec des outils numériques. Le problème d'analyse en stabilité locale est résolu via des conditions basées sur la positivité de polynomes. Dans le cadre de la synthèse de lois de commande nous proposons un changement de variables linéaire pour traiter la synthèse de lois de commande non-linéaire qui garantissent la stabilité locale. Les ensembles définissant des estimations de la région d'attraction, définis par des courbes de niveau de la fonction de Lyapunov pour le système, sont également donnés par des fonctions polynomiales.
|
108 |
Applications de la théorie de Galois différentielle aux équations différentielles linéaires d'ordre 4Gaillard, Philippe 25 October 2004 (has links) (PDF)
Pour les équations différentielles ordinaires linéaires d'ordre 2 et 3, des algorithmes de résolution exacte avec des temps de calcul réalistes existent, se fondant sur une étude préalable précise des groupes de Galois différentiels potentiels de ces équations. Plusieurs études de l'ordre 4 ont déjà eu lieu mais ne concernaient qu'un aspect particulier de la classification des groupes. Dans cette thèse, on donne les bornes optimales pour le degré du polynôme minimal des dérivées logarithmiques des solutions liouvilliennes de telles équations (travail commun avec D. Boucher et F. Ulmer) puis on présente une stratégie algorithmique de recherche du groupe de Galois différentiel d'une équation en connaissant ses semiinvariants de degré 2 et 4, obtenue après avoir en particulier complété les travaux précédents par les cas imprimitif-monomial de la classification des groupes. On trouve alors plus efficacement des semi-invariants produits de formes linéeaires. Dans le chapitre 4 de cette thèse, on s'intérresse aux chutes d'ordre de la puissance symétrique quatrième d'une équation. Plus précisément, on montre qu'une chute d'ordre de un implique l'existence d'au moins un semi-invariant de degré 4, ce qui permet d'obtenir des informations sur le groupe de l'équation. En cas de chute d'ordre de deux et plus, des conditions de finitude du groupe sont données par un théorème de M.F. Singer. Dans le chapitre 5, on traite deux exemples. Dans le premier, on applique la stratégie algorithmique décrite dans le chapitre 3 en vue de trouver le groupe de Galois diff érentiel d'une équation dont on calcule ensuite les solutions (à l'aide d'une méthode décrite par F. Ulmer). Le second est un exemple de résolution du problème inverse pour le groupe SO(4, C) à l'aide de la méthode décrite par C. Mitschi et M.F. Singer (équation qui n'admet donc pas de solutions liouvilliennes). On trouvera en annexe la liste explicite des semiinvariants de degré 2 et 4 des sous-groupes monomiaux de SL(4, C).
|
109 |
Coloration de graphes : structures et algorithmesLévêque, Benjamin 15 October 2007 (has links) (PDF)
De nombreux problèmes appliqués peuvent être modélisés par le problème de la coloration des sommets d'un graphe, qui est NP-complet en général mais polynomial sur la classe des graphes parfaits introduite par Berge. L'algorithme de coloration des graphes parfaits, de Grötschel, Lovasz et Schrijver, n'est pas réellement efficace d'un point de vue pratique et il est toujours intéressant de trouver un algorithme ''purement'' combinatoire permettant de colorier les graphes parfaits en temps polynomial. Dans cette thèse, nous donnons plusieurs algorithmes simples et rapides permettant de colorier des sous-classes de graphes parfaits. Ces algorithmes utilisent en particulier la notion de contraction de paire d'amis, introduite par Fonlupt et Uhry, à propos de laquelle plusieurs conjectures sont encore ouvertes. Nous utilisons aussi des algorithmes de parcours comme LexBFS, de Rose, Tarjan et Lueker, pour prouver des résultats structuraux sur les graphes considérés.
|
110 |
Commande de systèmes dynamiques: stabilité absolue, saturation et bilinéaritéTognetti, Calliero 06 November 2009 (has links) (PDF)
Cette thèse présente des contributions aux problèmes d'analyse de stabilité et de synthèse de contrôleurs par retour d'état pour des systèmes dynamiques qui ont des éléments non-linéaires, à partir de conditions sous la forme d'inégalités matricielles linéaires et de fonctions de Lyapunov. Pour les systèmes à commutations soumis à saturation sur les actionneurs, sont fournies des conditions convexes pour le calcul des gains commutés et robustes. La saturation est modélisée comme une non-linéarité de secteur et une estimation du domaine de la stabilité est déterminée. Pour les systèmes linéaires avec des incertitudes polytopiques et des non-linéarités de secteurs, sont fournies des conditions convexes de dimension finie pour construire des fonctions de Lur'e avec dépendance polynomiale homogène en les paramètres. Si elles sont satisfaites, les conditions garantissent la stabilité pour tout le domaine d'incertitudes et pour toutes les non-linéarités dans le secteur, et permettent le calcul de contrôleurs stabilisants robustes par retour linéaire et non-linéaire. Pour les systèmes bilinéaires instables, continus et en temps discret, est fournie une procédure pour calculer un gain stabilisant de commande par retour d'état. La méthode est basée sur la solution alternée de deux problèmes d'optimisation convexe décrits par des inégalités matricielles linéaires, et caractérise une estimation du domaine de la stabilité. Des extensions pour traiter les contrôleurs robustes et linéaires variants avec des paramètres sont aussi présentées.
|
Page generated in 0.0417 seconds