Tesis sobre el tema "Sommes des carrés"

Cette thèse a pour but de certifier des bornes inférieures de fonctions multivariées à valeurs réelles, définies par des expressions semi-algébriques ou transcendantes et de prouver leur validité en vérifiant les certificats dans l'assistant de preuves Coq. De nombreuses inégalités de cette nature apparaissent par exemple dans la preuve par Thomas Hales de la conjecture de Kepler. Dans le cadre de cette étude, on s'intéresse à des fonctions non-linéaires, faisant intervenir des opérations semi-algébriques ainsi que des fonctions transcendantes univariées (cos, arctan, exp, etc). L'utilisation de différentes méthodes d'approximation permet de relâcher le problème initial en un problème d'optimisation semi-algébrique. On se ramène ainsi à des problèmes d'optimisation polynomiale, qu'on résout par des techniques de sommes de carrés creuses. Dans un premier temps, nous présentons une technique classique d'optimisation globale. Les fonctions transcendantes univariées sont approchées par les meilleurs estimateurs polynomiaux uniformes de degré d. Par la suite, nous présentons une méthode alternative, qui consiste a borner certains des constituants de la fonction non-linéaire par des suprema de formes quadratiques (approximation maxplus, introduite à l'origine en contrôle optimal) de courbures judicieusement choisies. Enfin, cet algorithme d'approximation est amélioré, en combinant l'idée des estimateurs maxplus et de la méthode des gabarits développée par Manna et al. (en analyse statique). Les gabarits non-linéaires permettent un compromis sur la precision des approximations maxplus afin de contrôler la complexité des estimateurs semi-algébriques. Ainsi, on obtient une nouvelle technique d'optimisation globale, basée sur les gabarits, qui exploite à la fois la precision des sommes de carrés et la capacité de passage à l'échelle des méthodes d'abstraction. L'implémentation de ces méthodes d'approximation a abouti à un outil logiciel : NLCertify. Cet outil génère des certificats à partir d'approximations semi-algébriques et de sommes de carrés. Son interface avec Coq permet de bénéficier de l'arithmétique certifiée disponible dans l'assistant de preuves, et ainsi d'obtenir des estimateurs et des bornes valides pour chaque approximation. Nous démontrons les performances de cet outil de certification sur divers problèmes d'optimisation globale ainsi que sur des inégalités serrées qui interviennent dans la preuve de Hales.

Dans l'esprit du théorème de Cassels, Ellison et Pfister qui démontre que le polynôme de Motzkin est une somme de 4 carrés et pas de 3 carrés de fractions dans R(X,Y), on construit des familles de polynômes de ce type de la forme Y^4+A(X)Y^2+B(X). La méthode est une extension de celle de Cassels, Ellison et Pfister : 2-descentes sur des courbes elliptiques.

Dans cette thèse, nous nous appuierons sur la méthode dite du point critique pour calculer une représentation exacte de l'infimum d'un polynôme restreint à un ensemble algébrique. Dans un premier temps, nous démontrons une amélioration de la complexité du calcul des valeurs critiques par une étude approfondie des calculs des bases de Gröbner. À l'aide de ces techniques, nous établissons une méthodologie pour étudier de nombreux problèmes connexes, y compris certains qui se posent dans l'approche populaire des sommes de carrés (SOS) de l'optimisation polynomiale. Ensuite, le cadre permettant de traiter les domaines non compacts repose sur des valeurs critiques généralisées qui donnent une généralisation du théorème de la fibration d'Ehresmann aux situations non appropriées. En suivant les travaux de Kurdyka, Orro et Simon, nous concevons des algorithmes efficaces pour calculer ces valeurs en un temps singulièrement exponentiel dans la dimension de l'espace ambiant. Enfin, nous donnons les premiers pas vers une compréhension de la structure algébrique des décompositions SOS de polynômes
In this thesis, we shall rely on the so-called critical point method to compute an exact representation of the infimum of a polynomial restricted to an algebraic set. Firstly, we demonstrate an improvement in the complexity of computing the critical values by a close study of Gröbner bases computations. Using these techniques, we lay out a methodology to study many related problems, including some that arise in the popular sums of squares (SOS) approach to polynomial optimisation. Then, the framework allowing one to handle non-compact domains relies on generalised critical values which give a generalisation of Ehresmann’s fibration theorem to non-proper situations. Following the works of Kurdyka, Orro and Simon, we design efficient algorithms for computing said values within time singly exponential in the dimension of the ambient space. Finally, we give the first steps towards an understanding of the algebraic structure of SOS decompositions of polynomials

Nous nous intéressons à un aspect quantitatif du dix-septième problème de Hilbert : construire une famille de polynômes en deux variables, à coefficients réels, de degré 8 en l'une des deux variables qui sont positifs mais ne sont pas somme de trois carrés de fractions rationnelles.

Comme expliqué par Huisman et Mahé, un polynôme donné P en deux variables à coefficients réels, totalement positif, unitaire, sans facteur carré et de degré multiple de 4 en l'une des variables est une somme de trois carrés de fractions rationnelles si et seulement si la jacobienne d'une certaine courbe hyperelliptique (associée à P) possède un point ”antineutre”.

Grâce à ce critère, et en suivant une méthode de Cassels, Ellison et Pfister, nous résolvons notre problème : à l'aide d'une 2-descente, nous montrons que la jacobienne associée à un certain polynôme positif est de rang de Mordell-Weil nul, puis nous vérifions que cette jacobienne n'a aucun point de torsion antineutre.

Les travaux de cette thèse portent sur la stabilité et la stabilisation des systèmes non-linaires représentés par des modèles Takagi–Sugeno (T-S). L'objectif de ces travaux est d'explorer des techniques alternatives aux LMI pour l'analyse et la synthèse de lois de commande dans le cadre non quadratique afin de réduire le conservatisme. Tout d'abord, la stabilisation robuste de systèmes T-S à commutations incertains et perturbés a été considérée. Ainsi, des conditions de stabilisation ont été obtenues sous forme LMI sur la base d'une fonction candidate de Lyapunov à commutations. Puis, une nouvelle approche, pour l'analyse de la stabilité des systèmes non linéaires décrits par des modèles T-S polynomiaux a été proposée. L'objectif est ici d'explorer des techniques alternatives aux LMI dans le cadre non-quadratique. Ainsi, sur la base de travaux préliminaires dévolus à l'analyse de la stabilité via les techniques d'optimisation polynomiale « Sum-Of-Squares » (SOS), l'emploi d'une fonction candidate de Lyapunov polynomiale multiple a été proposée. Celle-ci permet de réduire le conservatisme des approches polynomiales existantes dans la littérature. Enfin, les modèles T-S classiques pouvant-être vus comme un cas particulier des modèles polynomiaux, une méthodologie de synthèse de lois de commande dans le cadre non quadratique est proposée. Celle-ci permet de s'affranchir de paramètres difficiles à obtenir en pratique via les approches LMI ainsi que de fournir une solution globale lorsque celle-ci existe. Néanmoins, à ce jour, des hypothèses fortes de modélisation restent toutefois nécessaires et constituent l'inconvénient majeur des approches SOS. Inconvénient qu'il conviendra de traiter dans des travaux futurs et qui suggèrent donc quelques perspectives à ces travaux
This thesis deals with the stability and stabilization of nonlinear systems represented by Takagi-Sugeno (T-S) models. The objective of this work is to explore and find out some alternatives to classical LMI conditions in order to reduce the conservatism. First, we focus on robust stabilisation of uncertain switched T-S models. Based on a switched Lyapunov function, the stabilisation conditions are obtained in terms of LMI. Then, a new approach for the stability analysis of polynomial T-S models is proposed. The goal is here to explore alternatives to LMI in the non-quadratic framework. Therefore, an extension of some preliminary result on the stability analysis of polynomial T-S models is proposed by the use of a multiple polynomial Lyapunov function which lead to less conservatism. The stability conditions are given in terms of Sum-of-Squares (SOS) polynomial optimization problem. Finally, classical T-S models being a particular case of polynomial ones, an attempt is done as an alternative to LMI in the non quadratic framework for the design of non-PDC controllers via SOS techniques. Within this framework, global stability may be guaranteed if there exists a solution to the SOS constraints. Moreover, it didn't require unknown parameters in advance like in LMI based non quadratic approaches. However, these SOS based controller design conditions are obtained through a restrictive modelling assumption, suggesting future prospects to this work

Cette thèse concerne quelques problèmes liés à la répartition des entiers sans facteur carré dansles progressions arithmétiques. Ces problèmes s’expriment en termes de majorations du terme d’erreurassocié à cette répartition.Les premier, deuxième et quatrième chapitres sont concentrés sur l’étude statistique des termesd’erreur quand on fait varier la progression arithmétique modulo q. En particulier on obtient une formuleasymptotique pour la variance et des majorations non triviales pour les moments d’ordre supérieur. Onfait appel à plusieurs techniques de théorie analytique des nombres comme les méthodes de crible et lessommes d’exponentielles, notamment une majoration récente pour les sommes d’exponentielles courtesdue à Bourgain dans le deuxième chapitre.Dans le troisième chapitre on s’intéresse à estimer le terme d’erreur pour une progression fixée. Onaméliore un résultat de Hooley de 1975 dans deux directions différentes. On utilise ici des majorationsrécentes de sommes d’exponentielles courtes de Bourgain-Garaev et de sommes d’exponentielles torduespar la fonction de Möbius dues à Bourgain et Fouvry-Kowalski-Michel
This thesis concerns a few problems linked with the distribution of squarefree integers in arithmeticprogressions. Such problems are usually phrased in terms of upper bounds for the error term relatedto this distribution.The first, second and fourth chapter focus on the satistical study of the error terms as the progres-sions varies modulo q. In particular we obtain an asymptotic formula for the variance and non-trivialupper bounds for the higher moments. We make use of many technics from analytic number theorysuch as sieve methods and exponential sums. In particular, in the second chapter we make use of arecent upper bound for short exponential sums by Bourgain.In the third chapter we give estimates for the error term for a fixed arithmetic progression. Weimprove on a result of Hooley from 1975 in two different directions. Here we use recent upper boundsfor short exponential sums by Bourgain-Garaev and exponential sums twisted by the Möbius functionby Bourgain et Fouvry-Kowalski-Michel

Le premier chapitre de cette these a pour objet de demontrer plusieurs stellensaetze quantitatifs, d'une part geometriques, d'autre part, formels pour une classe assez vaste, t::(d') d'entier naturel, d'algebres sur un corps reel clos k, une k-algebre a appartient a t::(d) si un certain degre de transcendance de a sur k, qu'on definit, est majore par d. Dans le second chapitre, on construit plusieurs algorithmes de calcul effectif, implementes sur multics, a l'aide de macsyma. Si k est un corps, ou 2 est inversible, f et c des elements de k(x,y), ils permettent d'obtenir : 1) un theoreme effectif de la norme : sous certaines hyportheses, si f divise l+m carres dans k(x,y)/c, alors la norme de f divise l+m carres dans k(x). 2) une "formule du produit" dans k(x), puis dans k(x,y)/c, soit en utilisant le l), soit par calcul modulaire

Dans le corps des fractions rationnelles r(x,y), tout element semi-defini positif est une somme de 4 carres. En 1971, cassels, ellison et pfister ont montre par l'etude d'une certaine courbe elliptique que le polynome de motzkin n'est pas une somme de 3 carres de fractions rationnelles. S'il est assez illusoire de penser caracteriser parfaitement les polynomes positifs ou nuls qui ne sont pas sommes de seulement 3 carres de fractions, la these presentee ici est cependant une contribution a leur etude dans la mesure ou elle fournit de nouvelles familles de tels polynomes. On y reprend la demarche generale de la demonstration de cassels, ellison et pfister en l'adaptant aux nouvelles configurations. On notera aussi que la preuve du resultat de christie (1976) fournissant par la meme methode un famille de polynomes positifs ou nuls non sommes de 3 carres de fractions comporte une erreur que l'on corrige en elargissant a l'occasion la famille de polynomes etudiee. Ces resultats fournissent des polynomes de bas degre non sommes de 3 carres, mais on montre qu'a partir d'un de ces polynomes on peut obtenir par substitution des polynomes de degre aussi eleve que souhaite ayant cette propriete. On sait que la forme somme de 3 carres est isotrope sur le corps des fonctions d'une courbe algebrique reelle sans point reel. Un autre volet du travail presente ici est de majorer, en termes de donnees geometriques de la courbe, le degre d'un petit vecteur polynomial isotrope.

L'objectif de cette thèse est de calculer des certificats exacts de non-négativité pour des polynômes. Ces certificats sont basés sur des décompositions de la somme des carrés avec des coefficients rationnels. Nous fournissons des algorithmes symboliques pour calculer les décompositions de la somme des carrés modulo l'idéal gradient des polynômes multivariés réels non négatifs sous une condition de généricité. Ces algorithmes peuvent s'attaquer à un large éventail de problèmes qui sont hors de portée des algorithmes de l'état de l'art. Nous calculons également les sommes des décompositions des carrés hermitiens pour les polynômes trigonométriques complexes univariés qui sont positifs sur le cercle unité avec des coefficients gaussiens. De plus, nous analysons la complexité binaire de ces algorithmes et déduisons les limites de taille binaire de ces certificats. Enfin, nous implémentons ces algorithmes dans le système de calcul formel Maple et l'environnement de programmation Julia et nous évaluons leurs performances sur quelques benchmarks standards
The aim of this thesis is to compute exact certificates of non-negativity for polynomials based on sum of squares decompositions with rational coefficients. We provide symbolic algorithms to compute sum of squares decompositions modulo the gradient ideal of non-negative real multivariate polynomials under a genericity condition. These algorithms can tackle a large range of problems which are out of reach for state-of-the-art algorithms. We also compute sums of Hermitian squares decompositions for complex trigonometric univariate polynomials that are positive on the unit circle with Gaussian coefficients. Moreover, we analyze the bit complexity of these algorithms and deduce bitsize bounds of such certificates. Finally, we implement these algorithms in the computer algebra system Maple and the programming environment Julia and evaluate their performance on some standard benchmarks

Dans ce travail, nous abordons les problèmes de l'analyse de la stabilité et de la synthèse de contrôleur pour une Equation aux Dérivées Partielles (EDP) parabolique linéaire de dimension 1. Ces problèmes sont résolus avec des méthodologies analogues au cadre des inégalités matricielles linéaires (LMI) pour les équations différentielles ordinaires (EDO). Nous développons une méthode pour EDP paraboliques dans laquelle nous testons la faisabilité de certaines LMIs utilisant la programmation semi-définie (SDP) pour construire des fonctions de Lyapunov quadratiques et des contrôleurs. Le cœur de notre démarche est la construction de fonctions de Lyapunov quadratiques paramétrées par les opérateurs définis positifs sur les espaces de Hilbert de dimension infinie. Contrairement aux matrices positives, il n'y a pas de méthode unique paramétrisant l'ensemble des opérateurs positifs sur un espace de Hilbert. Bien sûr, nous pouvons toujours paramétrer un sous-ensemble des opérateurs positifs en utilisant, par exemple, des scalaires positifs. Cependant, nous devons nous assurer que le paramétrage des opérateurs positifs ne doit pas être conservatif. Notre contribution est de construire une paramétrisation qui a seulement une petite quantité de conservatisme comme indiqué par nos résultats numériques. Nous utilisons des polynômes en somme des carrés (SOS) pour paramétrer l'ensemble des opérateurs positifs, linéaire et bornés sur les espaces de Hilbert. Comme son nom l'indique, un polynôme SOS est celui qui peut être représenté comme une somme de polynômes carrés. La propriété la plus importante d'un polynôme SOS est qu'il peut être représenté au moyen d'une matrice (semi-)définie positive. Cela implique que, même si le problème de polynôme (semi-)positif est NP-difficile, le problème de vérifier si polynôme est SOS (et donc (semi-)positif) peut être résolu en utilisant la SDP. Par conséquent, nous nous efforçons de construire des fonctions de Lyapunov quadratiques paramétrées par les opérateurs positifs. Ces opérateurs positifs sont à leur tour paramétrés par des polynômes SOS. Cette paramétrisation SOS nous permet de formuler le problème de faisabilité pour l'existence d'une fonction de Lyapunov quadratique comme un problème de faisabilité LMI. Le problème de la faisabilité LMI peut alors être adressé à l'aide de SDP. Dans la première partie de la thèse nous considérons analyse de stabilité et la synthèse de contrôleur aux frontières pour une large classe d'EDP paraboliques. Les EDP ont des coefficients de transport distribués spatialement. Ces EDP sont utilisés pour modéliser les processus de diffusion, de convection et de réaction de quantités physiques dans les milieux anisotropes. Nous considérons la synthèse de contrôleurs limite à la fois pour le cas de retour d'état et le cas de retour de sortie (à l'aide d'un observateur). Dans la deuxième partie de la thèse, nous concevons un contrôleur distribué pour la régulation du flux magnétique poloïdal dans un tokamak (procédé de fusion thermonucléaire par confinement magnétique). Tout d'abord, nous concevons un contrôleur régulant la pente des lignes de champ magnétique (le facteur de sécurité). La régulation du profil du facteur de sécurité est importante pour supprimer les instabilités MHD dans un tokamak. Ensuite, nous concevons un contrôleur maximisant la densité de courant bootstrap généré en interne. Une proportion accrue du courant bootstrap conduirait à une réduction des besoins énergétiques exogènes pour l'exploitation d'un tokamak
In this work we address the problems of stability analysis and controller synthesis for one dimensional linear parabolic Partial Differential Equations (PDEs). To achieve the tasks of stability analysis and controller synthesis we develop methodologies akin to the Linear Matrix Inequality (LMI) framework for Ordinary Differential Equations (ODEs). We develop a method for parabolic PDEs wherein we test the feasibility of certain LMIs using SDP to construct quadratic Lyapunov functions and controllers. The core of our approach is the construction of quadratic Lyapunov functions parametrized by positive definite operators on infinite dimensional Hilbert spaces. Unlike positive matrices, there is no single method of parametrizing the set of all positive operators on a Hilbert space. Of course, we can always parametrize a subset of positive operators, using, for example, positive scalars. However, we must ensure that the parametrization of positive operators should not be conservative. Our contribution is constructing a parametrization which has only a small amount of conservatism as indicated by our numerical results. We use Sum-of-Squares (SOS) polynomials to parametrize the set of positive, linear and bounded operators on Hilbert spaces. As the name indicates, an SOS polynomial is one which can be represented as a sum of squared polynomials. The most important property of an SOS polynomial is that it can be represented using a positive (semi)-definite matrix. This implies that even though the problem of polynomial (semi)-positivity is NP-hard, the problem of checking if polynomial is SOS (and hence (semi)-positive) can be solved using SDP. Therefore, we aim to construct quadratic Lyapunov functions parametrized by positive operators. These positive operators are in turn parametrized by SOS polynomials. This parametrization using SOS allows us to cast the feasibility problem for the existence of a quadratic Lyapunov function as the feasibility problem of LMIs. The feasibility problem of LMIs can then be addressed using SDP. In the first part of the thesis we consider stability analysis and boundary controller synthesis for a large class of parabolic PDEs. The PDEs have spatially distributed coefficients. Such PDEs are used to model processes of diffusion, convection and reaction of physical quantities in anisotropic media. We consider boundary controller synthesis for both the state feedback case and the output feedback case (using and observer design). IN the second part of thesis we design distributed controllers for the regulation of poloidal magnetic flux in a tokamak (a thermonuclear fusion devise). First, we design the controllers to regulate the magnetic field line pitch (the safety factor). The regulation of the safety factor profile is important to suppress the magnetohydrodynamic instabilities in a tokamak. Then, we design controllers to maximize the internally generated bootstrap current density. An increased proportion of bootstrap current would lead to a reduction in the external energy requirements for the operation of a tokamak

Dissertação (mestrado) - Pontifícia Universidade Católica do Paraná, Curitiba, 2008
Bibliografia: f. 128-137
A porção informal das cidades é entendida como um processo que se contrapõe a elementos tradicionais de planejamento urbano. Por esta razão, entende-se que os estudos sobre ocupações irregulares e as formas de intermediar intervenções urbanísticas neste s
The informal portion of the cities is seen as a process which contrasts the traditional elements of urban planning. For this reason, it is understood that the studies concerning irregular occupations and ways of intermediating urban interventions have str

PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO
CONSELHO NACIONAL DE DESENVOLVIMENTO CIENTÍFICO E TECNOLÓGICO
O presente trabalho procura estabelecer uma análise diacrônica da obra do escritor português Carlos de Oliveira no que diz respeito a evolução de seus mecanismos de escrita tendo como pano de fundo a elaboração de uma estética neo-realista. Da estréia na literatura com a publicação de Casa na duna, em 1943, até a maturação de seu estilo com Uma Abelha na Chuva, em 1953, pode-se perceber a evolução dessa estratégia de escrita, pela qual o autor busca traçar um panorama do período politicamente conturbado que vivia Portugal no início da segunda metade do século XX, bem como oferece ao leitor mais atento uma inúmera quantidade de matizes estilísticas, remetendo, dessa forma, ao quadro estético do Neo-Realismo português. É a partir de um olhar mais atento à superação da análise da referida estética, que este trabalho chegará à conclusão de que o autor transcende os moldes neo-realistas, por construir uma obra cuja opressão física, psicológica e financeira, foi muito bem representada pela operação de uma mimesis mais atenta de Carlos de Oliveira.
The following work aims to establish a diachronic analysis of the process of writing of the Portuguese author Carlos de Oliveira, and it will be held towards the new-realism mechanisms. His first novel published in 1943, Casa na Duna, up to his mature style in the novel Uma Abelha na Chuva, published in 1953, it can be seen the evolution of his strategy of writing in which the author tries to build a perspective from the tough political process that Portugal was going through during the second half of the twentieth century. This analysis objects to present the reader a great amount of stylistic views that has to do with the Portuguese New-Realism. In order to present a wider overview, this thesis will conclude that the author goes beyond the new-realism`s barriers to build a novel whose physical, financial and psychological oppression, was well- represented by Carlos de Oliveira s mimesis operation.

La première partie est consacrée à l'étude du comportement asymptotique des solutions de Navier-Stokes incompressible à l'infini de la variable d'espace. On obtient des résultats optimaux de propagation de la décroissance en terme d'espaces à poids, ainsi qu'un developpement asymptotique de la vitesse et de la pression analogue à la loi de Bernoulli. La théorie s'étend à un modèle de la MHD.
La seconde partie est consacrée à l'étude des espaces de Sobolev associés à une famille de champs de vecteurs, de type sous-elliptique. Les principaux résultats sont la description des régularités fractionnaires avec la distance de Carnot, la démonstration d'inégalités de Hardy et, dans le cas du groupe de Heisenberg, la théorie des traces sur une hypersurface caractéristique générique.

Cette thèse est dédiée à l’analyse de stabilité des systèmes non linéaires sous échantillonnage variant avec le temps. Lors de l’implémentation numérique d’un contrôleur qui est calculé en temps-continu (approche par émulation), il est d'un grand intérêt de fournir des critères de stabilité et d’estimer la borne supérieure de l’intervalle d’échantillonnage qui garantit la stabilité du système en temps discret. Plusieurs travaux récents ont abordé ces questions dans le cas de modèles linéaires, mais la question a rarement été abordée dans une étude quantitative et formelle pour les systèmes non linéaires.Tout d'abord, le mémoire présente un aperçu sur les systèmes échantillonnés. Les défis et les principales méthodes pour l'analyse de stabilité sont présentés pour le cas des systèmes linéaires invariants dans le temps et celui des systèmes non linéaires. Ensuite, l’analyse de la stabilité locale des systèmes bilinéaires échantillonnés contrôlés par un retour d'état linéaire est considérée. Deux approches sont utilisées, la première basée sur la théorie des systèmes hybrides, la seconde basée sur l’analyse des ensembles invariants contractants. Cette dernière approche est inspirée par la théorie de la dissipativité. L’ensemble de ces résultats conduisent à des conditions suffisantes de stabilité exprimées sous forme LMI.Enfin, les conditions de stabilité basées sur la dissipativité sont étendues au cas des systèmes non linéaires affines en l'entrée. Les résultats sont ensuite repris dans le cas spécifique des systèmes non linéaires polynomiaux où les conditions de stabilité sont vérifiées numériquement en utilisant la décomposition en somme des carrés (SOS)
This PhD thesis is dedicated to the stability analyzis of nonlinear systems under sampled-data control, with arbitrarily time-varying sampling intervals. When a controller is designed in continuous-time, and then implemented digitally (emulation approach), it is of great interest to provide stability criteria, and to estimate the bound on the sampling intervals which guarantees the stability of the sampled-data system. Whereas several works deal with linear models, the issue has been rarely addressed in a formal quantitative study in the nonlinear case.First, an overview on sampled-data control is presented. Challenges and main methodologies for stability analysis are presented for both the linear time-invariant and the nonlinear cases.Then, local stability of bilinear sampled-data systems controlled by a linear state feedback is considered by using two approaches: the first one is based on hybrid systems theory; the second one is based on the analyzis of contractive invariant sets and is inspired by the dissipativity theory. Both approaches provide sufficient stability conditions in the form of LMI.Finally, the dissipativity–based stability conditions are extended for the more general case of nonlinear systems which are affine in the input, including the case of polynomial systems which leads to conditions in the form of sum of squares (SOS)

De plus en plus de constructeurs proposent des accélérateurs de calculs à base de circuits reconfigurables FPGA, cette technologie présentant bien plus de souplesse que le microprocesseur. Valoriser cette flexibilité dans le domaine de l'accélération de calcul flottant en utilisant les langages de description de circuits classiques (VHDL ou Verilog) reste toutefois très difficile, voire impossible parfois. Cette thèse a contribué au développement du logiciel FloPoCo, qui offre aux utilisateurs familiers avec VHDL un cadre C++ de description d'opérateurs arithmétiques génériques adapté au calcul reconfigurable. Ce cadre distingue explicitement la fonctionnalité combinatoire d'un opérateur, et la problématique de son pipeline pour une précision, une fréquence et un FPGA cible donnés. Afin de pouvoir utiliser FloPoCo pour concevoir des opérateurs haute performance en virgule flottante, il a fallu d'abord concevoir des blocs de bases optimisés. Nous avons d'abord développé des additionneurs pipelinés autour des lignes de propagation de retenue rapides, puis, à l'aide de techniques de pavages, nous avons conçu de gros multiplieurs, possiblement tronqués, utilisant des petits multiplieurs. L'évaluation de fonctions élémentaires en flottant implique souvent l'évaluation en virgule fixe d'une fonction. Nous présentons un opérateur générique de FloPoCo qui prend en entrée l'expression de la fonction à évaluer, avec ses précisions d'entrée et de sortie, et construit un évaluateur polynomial optimisé de cette fonction. Ce bloc de base a permis de développer des opérateurs en virgule flottante pour la racine carrée et l'exponentielle qui améliorent considérablement l'état de l'art. Nous avons aussi travaillé sur des techniques de compilation avancée pour adapter l'exécution d'un code C aux pipelines flexibles de nos opérateurs. FloPoCo a pu ainsi être utilisé pour implanter sur FPGA des applications complètes.

Dissertação (mestrado) - Pontifícia Universidade Católica do Paraná, Curitiba, 2009
Inclui bibliografias
Este estudo avaliou o efeito de reforços estruturais de fibra de vidro e de metal fundido, bem como diferentes desenhos de posicionamento da fibra de vidro, no padrão de transmissão de cargas aos implantes em um modelo de sobre dentadura implanto-suportad
This study evaluated the effect of glass fibers and cast metal reinforcements, and different designs of the glass fibers reinforcement, in the patterns of force transmission onto the implants in an implant-supported overdenture model. Two titanium implant