To see the other types of publications on this topic, follow the link: Fonctions polynomiales.
Dissertations / Theses on the topic 'Fonctions polynomiales'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 dissertations / theses for your research on the topic 'Fonctions polynomiales.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.
1
Dinh, Si Tiep. "Gradient horizontal de fonctions polynomiales." Chambéry, 2007. http://www.theses.fr/2007CHAMS016.
Full textAbstract:
Dans ce travail, nous étudions un type de champs de vecteurs plus large que les champs de gradient polynomiaux, dans Ie cas d'une distribution polynomiale de codimension un satisfaisant la condition de Hormander, ces champs de vecteurs sont appelés "gradient horizontal". Notre objectif est de mieux comprendre I'ensemble des points critiques horizontaux, qui est I'ensemble des zéros du gradient horizontal, et leurs trajectoires du gradient horizontal dans Ie cas des polynômes. Concernant I'ensemble des points critiques horizontaux, nous montrons qu'avec une certaine généricité, cet ensemble est lisse de dimension un ou vide et n’intersecte chaque surface de niveau de la fonction qu’en un nombre fini de points. Par ailleurs, via un changement de métrique convenable, nous montrons que génériquement, nous pouvons borner uniformément la longueur des trajectoires du gradient horizontal. En conséquence, génériquement, chaque trajectoire du gradient horizontal a une limite. Ces résultats font suite aux études de S. Lojasiewicz dans Ie cas riemannien. Pour terminer, nous donnons des analyses locales dans Ie cas d'une 2-distribution régulière dans R3<br>In this work, we study a type of polynomial vector fields larger than the gradient ones, in the case of a polynomial distribution of codimension one satisfying the Hörmander's condition, we call "horizontal gradient" these vector fields. Our objective is to understand better the set of horizontal critical points, which is the set of zeros of the horizontal gradient, and the horizontal gradient trajectories in the polynomial case. Concerning the set of horizontal critical points, we show that with a certain genericity, this set is smooth of dimension one or empty and intersect each level surface of the function only at a finite number of points. Moreover, by a suitable change of metric, we show that generically, one can uniformly bound the length of all horizontal gradient trajectories. Consequently, each horizontal gradient trajectory has a limit. These results follow upon the studies of S. Lojasiewicz in the riemannian case. Finally, we give some local analysis in the case of a regular 2-distribution in R3
2
Madani-Yssaad, Abderrahmane. "Propriétés polynomiales et croissance des fonctions entières." Grenoble 2 : ANRT, 1987. http://catalogue.bnf.fr/ark:/12148/cb376075682.
Full text
3
MADANI, YSSAAD ABDERRAHMANE. "Proprietes polynomiales et croissance des fonctions entieres." Toulouse 3, 1987. http://www.theses.fr/1987TOU30225.
Full textAbstract:
Apres avoir rappele dans le premier chapitre, la condition (l*), on montre dans le second chapitre que si le couple (e,mu ) verifie (l*), alors il verifie une inegalite polynomiale du type bernstein-markov; on etablit un theoreme d'approximation polynomiale en norme l**(p). Dans le troisieme chapitre, on montre que si le couple (e,mu ) verifie une chaine d'inegalites polynomiales du type martineau, alors il verifie la condition (l*) en tout point ou e est l-regulier. Enfin dans le dernier chapitre, des raisonnements bases sur la condition (l*) permettent d'ameliorer tout en simplifiant les demonstrations des resultats, obtenus par martineau sur le calcul du type d'une fonction entiere
4
Brabant, Quentin. "Fonctions latticielles polynomiales pour l’interpolation et la classification monotone." Thesis, Université de Lorraine, 2019. http://www.theses.fr/2019LORR0006/document.
Full textAbstract:
Une Fonction Latticielle Polynômiale (FLP) sur un treillis L est une fonction p : Ln → L, qui peut être exprimée à partir de variables, de constantes et des opérateurs de treillis ∧ et ∨ . Dans les cas où L est distributif et borné, les FLP incluent les intégrales de Sugeno. Celles-ci sont des fonctions d'agrégation qui permettent de fusionner des valeurs sur des échelles ordinales non numériques, et qui sont utilisées notamment dans l'approche qualitative de l'Aide à la Décision Multi Critères en tant qu'alternatives ordinales aux intégrales de Choquet. Dans une première partie, nous traitons la tâche d'interpolation par des FLP, c'est à dire : pour un treillis L, un sous-ensemble fini D de Ln et une fonction f : D → L, retourner une FLP p : Ln → L telle que p(x) = f(x) pour tout x ∊ D (si une telle FLP existe). Nous traitons successivement le cas où L est un treillis fini et le cas où L est une treillis distributif borné. Dans les deux cas, nous donnons des algorithmes qui résolvent ce problème en temps polynomial. Dans une seconde partie, nous abordons les généralisations des intégrales de Sugeno appelées Fonctions d'Utilité de Sugeno (FUS), qui permettent la fusion de valeurs appartenant à des échelles ordinales différentes, ainsi que leur application à la tâche de classification monotone. Nous introduisons un modèle composé de plusieurs FUS, ainsi qu'un algorithme d'apprentissage d'un tel modèle. Nous comparons ce modèle aux ensembles de règles de décision appris par VC-DomLEM, et étudions le nombre de FUS nécessaires afin de modéliser des données empiriques<br>A Lattice Polynomial Function (LPF) over a lattice L is a map p : Ln → L that can be defined by an expression involving variables, constants and the lattice operators ∧ and ∨. If L is a distributive lattice, these maps include the so-called Sugeno integrals that are aggregation functions capable of merging ordinal values, not necessarily numerical. They are widely used in the qualitative approach to Multiple Criteria Decision Aiding (MCDA), and they can be thought of as the ordinal counterparts of Choquet integrals. In the first part of this thesis, we tackle the task of interpolating a partial function by an LPF, stated as follows: for a lattice L, a finite subset D of Ln, and a function f : D → L, return an LPF p : Ln → L such that p(x) = f(x) for all x ∊ D (if such an LPF exists). We treat the cases where L is a finite lattice, and then the cases where L is a bounded distributive lattice. In both cases, we provide algorithms that solve this problem in polynomial time. In the second part, we consider generalizations of Sugeno integrals in the multi-attribute setting, in particular, the Sugeno Utility Functions (SUFs), that are able to merge values coming from different ordinal scales. We consider the their use in monotonic classification tasks. We present a model based on a set of SUFs and an algorithm for learning such model from data. We compare this model to the sets of monotonic decision rules learned by VC-DomLEM, and study the number of SUFs that are required in order to model empirical data
5
Du, crest de villeneuve Ann. "Fonctions tau polynomiales et topologique des hiérarchies de Drinfeld–Sokolov." Thesis, Angers, 2018. http://www.theses.fr/2018ANGE0019.
Full textAbstract:
Cette thèse traite du calcul et des applications des fonctions tau des hiérarchies de Drinfeld–Sokolov introduites en 1984. Les hiérarchies de Drinfeld–Sokolov sont des suites d’équations aux dérivées partielles intégrables que l’on associe à n’importe quelle algèbre de Lie semi simple. La fonction tau est une fonction associée à toute solution d’une hiérarchie donnée et qui contient toute l’information de la solution. Les fonctions tau sont au cœur des liens qui unissent les hiérarchies de Drinfeld–Sokolov et la géométrie algébrique. Au chapitre 3, nous établissons une transformation explicite entre les fonctions tau polynomiales de la hiérarchie de Korteweg–de Vries (associée à l’algèbre sl(2,C)) et les polynômes d’Adler–Moser (1978). Ces derniers forment une suite de polynômes satisfaisant une certaine relation de récurrence différentielle. Le chapitre 4 traite du calcul des fonctions tau polynomiales par les déterminants de Toeplitz ; une méthode introduite par Cafasso et Wu (2015). En collaboration avec Cafasso et Yang, nous avons obtenu une expansion de la fonction tau en une somme sur les partitions d’entiers. Nous en déduisons un critère de polynomialité de la fonction tau et donnons quelques exemples non triviaux. Au chapitre 5, en collaboration avec Paolo Rossi, nous confirmons la conjecture dite « DR/DZ forte » dans le cas de l’algèbre de Lie simple o(8,C) (D4). Elle prévoit l’équivalence, en particulier, entre les hiérarchies de Drinfeld–Sokolov et d’autres hiérarchies dites de « double ramification, » introduite par Buryak (2015) et construites à partir de la cohomologie de l’espace de modules des courbes complexes stables Mg,n<br>This thesis deals with the computation and applications of tau functions of the Drinfeld– Sokolov hierarchies introduced in 1984. The Drinfeld– Sokolov hierarchies are sequences of integrable partial differential equations which one associates to any semisimple Lie algebra. The tau function is a function associated to any solution of a given hierarchy and which contains all the information of the solution. Tau functions are at the heart of the bonds between Drinfeld–Sokolov hierarchies and algebraic geometry. In Chapter 3, we establish an explicit transformation between the polynomial tau functions of the Korteweg–de Vries hierarchy (associated to the algebra sl(2,C)) and the Adler–Moser polynomials (1978). The latter form a sequence of polynomials satisfying a certain differential recursion relation. Chapter 4 is dedicated to the computation of tau functions via Toeplitz determinants; a method introduced by Cafasso and Wu (2015). In collaboration with Cafasso and Yang, we obtained an expansion of the tau function as a sum over all integer partitions. It follows a simple criterion for the polynomiality of the tau function; we give some nontrivial examples. In Chapter 5, in collaboration with Paolo Rossi, we confirm the so-called ‘strong DR/DZ conjecture’ for the algebra o(8,C) (D4). The latter states an equivalence between, in particular, Drinfeld–Sokolov hierarchies and another kind of hierarchies called ‘the double ramification hierarchies’ introduced by Buryak (2015) and constructed from the cohomology of the moduli spaces of stables complex curves Mg,n
6
Joldes, Mioara Maria. "Approximations polynomiales rigoureuses et applications." Phd thesis, Ecole normale supérieure de lyon - ENS LYON, 2011. http://tel.archives-ouvertes.fr/tel-00657843.
Full textAbstract:
Quand on veut évaluer ou manipuler une fonction mathématique f, il est fréquent de la remplacer par une approximation polynomiale p. On le fait, par exemple, pour implanter des fonctions élémentaires en machine, pour la quadrature ou la résolution d'équations différentielles ordinaires (ODE). De nombreuses méthodes numériques existent pour l'ensemble de ces questions et nous nous proposons de les aborder dans le cadre du calcul rigoureux, au sein duquel on exige des garanties sur la précision des résultats, tant pour l'erreur de méthode que l'erreur d'arrondi.Une approximation polynomiale rigoureuse (RPA) pour une fonction f définie sur un intervalle [a,b], est un couple (P, Delta) formé par un polynôme P et un intervalle Delta, tel que f(x)-P(x) appartienne à Delta pour tout x dans [a,b].Dans ce travail, nous analysons et introduisons plusieurs procédés de calcul de RPAs dans le cas de fonctions univariées. Nous analysons et raffinons une approche existante à base de développements de Taylor.Puis nous les remplaçons par des approximants plus fins, tels que les polynômes minimax, les séries tronquées de Chebyshev ou les interpolants de Chebyshev.Nous présentons aussi plusieurs applications: une relative à l'implantation de fonctions standard dans une bibliothèque mathématique (libm), une portant sur le calcul de développements tronqués en séries de Chebyshev de solutions d'ODE linéaires à coefficients polynômiaux et, enfin, un processus automatique d'évaluation de fonction à précision garantie sur une puce reconfigurable.
7
Gajny, Laurent. "Approximation de fonctions et de données discrètes au sens de la norme L1 par splines polynomiales." Thesis, Paris, ENSAM, 2015. http://www.theses.fr/2015ENAM0006/document.
Full textAbstract:
L'approximation de fonctions et de données discrètes est fondamentale dans des domaines tels que la planification de trajectoire ou le traitement du signal (données issues de capteurs). Dans ces domaines, il est important d'obtenir des courbes conservant la forme initiale des données. L'utilisation des splines L1 semble être une bonne solution au regard des résultats obtenus pour le problème d'interpolation de données discrètes par de telles splines. Ces splines permettent notamment de conserver les alignements dans les données et de ne pas introduire d'oscillations résiduelles comme c'est le cas pour les splines d'interpolation L2. Nous proposons dans cette thèse une étude du problème de meilleure approximation au sens de la norme L1. Cette étude comprend des développements théoriques sur la meilleure approximation L1 de fonctions présentant une discontinuité de type saut dans des espaces fonctionnels généraux appelés espace de Chebyshev et faiblement Chebyshev. Les splines polynomiales entrent dans ce cadre. Des algorithmes d'approximation de données discrètes au sens de la norme L1 par procédé de fenêtre glissante sont développés en se basant sur les travaux existants sur les splines de lissage et d'ajustement. Les méthodes présentées dans la littérature pour ces types de splines peuvent être relativement couteuse en temps de calcul. Les algorithmes par fenêtre glissante permettent d'obtenir une complexité linéaire en le nombre de données. De plus, une parallélisation est possible. Enfin, une approche originale d'approximation, appelée interpolation à delta près, est développée. Nous proposons un algorithme algébrique avec une complexité linéaire et qui peut être utilisé pour des applications temps réel<br>Data and function approximation is fundamental in application domains like path planning or signal processing (sensor data). In such domains, it is important to obtain curves that preserve the shape of the data. Considering the results obtained for the problem of data interpolation, L1 splines appear to be a good solution. Contrary to classical L2 splines, these splines enable to preserve linearities in the data and to not introduce extraneous oscillations when applied on data sets with abrupt changes. We propose in this dissertation a study of the problem of best L1 approximation. This study includes developments on best L1 approximation of functions with a jump discontinuity in general spaces called Chebyshev and weak-Chebyshev spaces. Polynomial splines fit in this framework. Approximation algorithms by smoothing splines and spline fits based on a sliding window process are introduced. The methods previously proposed in the littérature can be relatively time consuming when applied on large datasets. Sliding window algorithm enables to obtain algorithms with linear complexity. Moreover, these algorithms can be parallelized. Finally, a new approximation approach with prescribed error is introduced. A pure algebraic algorithm with linear complexity is introduced. This algorithm is then applicable to real-time application
8
Gormaz, Arancibia Raul. "Floraisons polynomiales : applications à l'étude des B-splines à plusieurs variables." Phd thesis, Grenoble 1, 1993. http://tel.archives-ouvertes.fr/tel-00342512.
Full textAbstract:
Les courbes de Bezier et les courbes splines ont trouve un cadre de présentation simple et naturel avec la notion de floraison d'une fonction polynomiale, telle qu'elle a été présentée dans les travaux de Lyle Ramshaw (1987). Notre but a consiste a étendre cette présentation au cas des surfaces et aussi des variétés de dimension supérieure. Les splines simpliciales sont une généralisation naturelle des b-splines au cas de plusieurs variables. Nous présentons leurs principales propriétés ainsi qu'une définition de différences divisées pour fonctions de plusieurs variables. Un algorithme d'évaluation d'une spline simpliciale est propose et teste. Floraisons et splines simpliciales sont les éléments essentiels d'un nouveau schéma de b-splines introduit par Dahmen, Micchelli et Seidel (1992). Ce schéma est étudié et ses principales propriétés sont présentées. Une grande similarité avec l'étude des courbes est retrouvée
9
Javan, Peykar Ariyan. "Bornes polynomiales et explicites pour les invariants arakeloviens d'une courbe de Belyi." Phd thesis, Université Paris Sud - Paris XI, 2013. http://tel.archives-ouvertes.fr/tel-00840828.
Full textAbstract:
On borne explicitement la hauteur de Faltings d'une courbe sur le corps de nombres algèbriques en son degré de Belyi. Des résultats similaires sont démontré pour trois autres invariants arakeloviennes : le discriminant, l'invariant delta et l'auto-intersection de omega. Nos résultats nous permettent de borner explicitement les invariantes arakeloviennes des courbes modulaires, des courbes de Fermat et des courbes de Hurwitz. En plus, comme application, on montre que l'algorithme de Couveignes-Edixhoven-Bruin est polynomial sous l'hypothèse de Riemann pour les fonctions zeta des corps de nombres. Ceci était connu uniquement pour certains sous-groupes de congruence. Finalement, on utilise nos résultats pour démontrer une conjecture de Edixhoven, de Jong et Schepers sur la hauteur de Faltings d'un revêtement ramifié de la droite projective sur l'anneau des entiers.
10
Pouly, Amaury. "Continuous models of computation: from computability to complexity." Palaiseau, Ecole polytechnique, 2015. https://theses.hal.science/tel-01223284/document.
Full textAbstract:
In 1941, Claude Shannon introduced a continuous-time analog model of computation, namely the General Purpose Analog Computer (GPAC). The GPAC is a physically feasible model in the sense that it can be implemented in practice through the use of analog electronics or mechanical devices. It can be proved that the functions computed by a GPAC are precisely the solutions of a special class of differential equations where the right-hand side is a polynomial. Analog computers have since been replaced by digital counterpart. Nevertheless, one can wonder how the GPAC could be compared to Turing machines. A few years ago, it was shown that Turing-based paradigms and the GPAC have the same computational power. However, this result did not shed any light on what happens at a computational complexity level. In other words, analog computers do not make a difference about what can be computed; but maybe they could compute faster than a digital computer. A fundamental difficulty of continuous-time model is to define a proper notion of complexity. Indeed, a troubling problem is that many models exhibit the so-called Zeno's phenomenon, also known as space-time contraction. In this thesis, we give several fundamental contributions to these questions. We show that the GPAC has the same computational power as the Turing machine, at the complexity level. We also provide as a side effect a purely analog, machine-independent characterization of P and Computable Analysis.
11
Kulkarni, Rekha Panditrao. "Fonctions spline cardinales tronquées." Grenoble 1, 1985. http://tel.archives-ouvertes.fr/tel-00318472.
Full textAbstract:
On propose des conditions de bout pour les fonctions spines polynomiales d'interpolation de degré p (p≥2) associées aux abscisses équidistantes qui économisent le calcul et entraînent un ordre de convergence optimal. Cette fonction spline peut être interprétée comme une fonction spline cardinale tronquée avec une correction convenable. La technique utilisée pour les fonctions splines polynomiales est applicable dans le cas des fonctions splines sous tension. On donne aussi quelques résultats pour les fonctions splines cubiques de lissage<br>On propose des conditions de bout pour les fonctions spines polynomiales d'interpolation de degre p (p >ou= 2) associees aux abscisses equidistantes qui economisent le calcul et entrainent un ordre de convergence optimal. Cette fonction spline peut etre interpretee comme une fonction spline cardinale tronquee avec une correction convenable. La technique utilisee pour les fonctions splines polynomiales est applicable dans le cas des fonctions splines sous tension. On donne aussi quelques resultats pour les fonctions splines cubiques de lissage
12
Djebbar, Bachir. "Approximation polynomiale et croissance des fonctions N-harmoniques." Grenoble 2 : ANRT, 1987. http://catalogue.bnf.fr/ark:/12148/cb37604575m.
Full text
13
Zeriahi, Ahmed. "Fonctions plurisousharmoniques extremales, approximation et croissance des fonctions holomorphes sur des ensembles algebriques." Toulouse 3, 1986. http://www.theses.fr/1986TOU30105.
Full textAbstract:
On etudie les proprietes extremales de la "mesure capacitaire d'equilibre" associee a un "condensateur" d'un espace de stein x de dimension pure. On introduit sur un espace de stein parabolique x la notion de fonction extremale associee a un compact kcx. On generalise la theorie des fonctions extremales de siciak-zaharyuta donnant une nouvelle approche de celle-ci basee sur la theorie du potentiel complexe pour l'operateur de monge ampere complexe. On en deduit des resultats sur la theorie des fonctions a croissance controlee a l'infini. On etudie le cas d'un ensemble algebrique de c**(n). Dans ce cas, on demontre des inegalites polynomiales, une version precise d'un theoreme d'approximation de type bernstein-walsh et on en deduit le comportement asymptotique de certaines suites de polynomes orthogonaux pour la mesure d'equilibre. Pour une variete de c**(n) intersection complete, on construit des operateurs lineaires integraux pour la meilleure approximation polynomiale sur un compact avec un controle precis de l'erreur et on en deduit des resultats sur la croissance des fonctions entieres sur de telles varietes
14
Bréhard, Florent. "Certified numerics in function spaces : polynomial approximations meet computer algebra and formal proof." Thesis, Lyon, 2019. http://www.theses.fr/2019LYSEN032/document.
Full textAbstract:
Le calcul rigoureux vise à produire des représentations certifiées pour les solutions de nombreux problèmes, notamment en analyse fonctionnelle, comme des équations différentielles ou des problèmes de contrôle optimal. En effet, certains domaines particuliers comme l’ingénierie des systèmes critiques ou les preuves mathématiques assistées par ordinateur ont des exigences de fiabilité supérieures à ce qui peut résulter de l’utilisation d’algorithmes relevant de l’analyse numérique classique.Notre objectif consiste à développer des algorithmes à la fois efficaces et validés / certifiés, dans le sens où toutes les erreurs numériques (d’arrondi ou de méthode) sont prises en compte. En particulier, nous recourons aux approximations polynomiales rigoureuses combinées avec des méthodes de validation a posteriori à base de points fixes. Ces techniques sont implémentées au sein d’une bibliothèque écrite en C, ainsi que dans un développement de preuve formelle en Coq, offrant ainsi le plus haut niveau de confiance, c’est-à-dire une implémentation certifiée.Après avoir présenté les opérations élémentaires sur les approximations polynomiales rigoureuses, nous détaillons un nouvel algorithme de validation pour des approximations sous forme de séries de Tchebychev tronquées de fonctions D-finies, qui sont les solutions d’équations différentielles ordinaires linéaires à coefficients polynomiaux. Nous fournissons une analyse fine de sa complexité, ainsi qu’une extension aux équations différentielles ordinaires linéaires générales et aux systèmes couplés de telles équations. Ces méthodes dites symboliques-numériques sont ensuite utilisées dans plusieurs problèmes reliés : une nouvelle borne sur le nombre de Hilbert pour les systèmes quartiques, la validation de trajectoires de satellites lors du problème du rendez-vous linéarisé, le calcul de polynômes d’approximation optimisés pour l’erreur d’évaluation, et enfin la reconstruction du support et de la densité pour certaines mesures, grâce à des techniques algébriques<br>Rigorous numerics aims at providing certified representations for solutions of various problems, notably in functional analysis, e.g., differential equations or optimal control. Indeed, specific domains like safety-critical engineering or computer-assisted proofs in mathematics have stronger reliability requirements than what can be achieved by resorting to standard numerical analysis algorithms. Our goal consists in developing efficient algorithms, which are also validated / certified in the sense that all numerical errors (method or rounding) are taken into account. Specifically, a central contribution is to combine polynomial approximations with a posteriori fixed-point validation techniques. A C code library for rigorous polynomial approximations (RPAs) is provided, together with a Coq formal proof development, offering the highest confidence at the implementation level.After providing basic operations on RPAs, we focus on a new validation algorithm for Chebyshev basis solutions of D-finite functions, i.e., solutions of linear ordinary differential equations (LODEs) with polynomial coefficients. We give an in-depth complexity analysis, as well as an extension to general LODEs, and even coupled systems of them. These symbolic-numeric methods are finally used in several related problems: a new lower bound on the Hilbert number for quartic systems; a validation of trajectories arising in the linearized spacecraft rendezvous problem; the design of evaluation error efficient polynomial approximations; and the support and density reconstruction of particular measures using algebraic techniques
15
Blachère, Sébastien. "Agrégation limitée par diffusion interne et temps de coupure sur les groupes discrets à croissance polynomiale." Toulouse 3, 2000. http://www.theses.fr/2000TOU30142.
Full textAbstract:
Cette these traite de certains aspects des marches aleatoires sur les groupes a croissance polynomiale. Tout d'abord, nous etudions un modele de croissance, appele agregation limitee par diffusion interne, defini sur un graphe connexe associe a une marche aleatoire. Nous degageons des resultats d'existence d'une forme limite et de fluctuations autour de cette forme, lorsque le modele est associe a une marche aleatoire sur un groupe finiment engendre. Sur z d, nous etendons des resultats connus pour la marche aleatoire simple, tandis que sur les groupes quelconques a croissance polynomiale, nous considerons des marches aleatoires symetriques. Enfin, nous etudions ce modele sur les groupes libres, pour la marche aleatoire simple. Puis, nous demontrons une propriete topologique des spheres des groupes a croissance polynomiale, appelee connexite relative. De ce resultat, nous deduisons un controle du comportement asymptotique des fonctions harmoniques hors d'un ensemble fini. De plus, nous etendons aux anneaux des inegalites fonctionnelles existant sur les boules (harnack, poincare). Enfin, nous etudions l'occurrence des temps de coupure d'une marche aleatoire, instants pour lesquels le passe et le futur de la marche aleatoire forment deux chemins disjoints. Ce phenomene a ete etudie de facon exhaustive sur z d, et nous completons les resultats existant sur les groupes a croissance polynomiale en etudiant le cas ou la croissance est de degre 4.
16
Valmorbida, Giorgio. "Analyse en stabilité et synthèse de lois de commande pour des systèmes polynomiaux saturants." Phd thesis, INSA de Toulouse, 2010. http://tel.archives-ouvertes.fr/tel-00512335.
Full textAbstract:
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.
17
Chaffy-Camus, Claudine Della Dora Jean. "Interpolation polynomiale et rationnelle d'une fonction de plusieurs variables complexes." S.l. : Université Grenoble 1, 2008. http://tel.archives-ouvertes.fr/tel-00311635.
Full text
18
Bondarenko, Andriy. "Approximation q-convexe." Toulon, 2006. http://www.theses.fr/2006TOUL0001.
Full textAbstract:
Ce travail contient des résultats originauX sur l'approximation q-convexe des fonctions continues par des polynômes algébriques et par des fonctions rationnelles :1-établissement d'une inégalité de type Jackson pour la meilleure approximation q-convexe par des polynômes algébriques en fonction du module de continuité d'ordre 3 de Ditzian-Totik (chapitre 3) ; ce résultat renforce les estimations obtenues auparavant par Beatson et Qhvedov et complète la théorie de l'approximation à conservation de forme par des polynômes algébriques. 2-Construction de plusieurs contre-exemples montrant que certaines majorations dans l'approximation q-convexe (q≥3)par des polynômes algébriques ne peuvent être réalisée (chapitre 4). 3-Solution d'un problème posé par DeVore sur l'ordre exact de l'approximation rationnelle monotone des fonctions de classe W1p de Sobolev(chapitre 5). 4-Etablissement d'une inégalité de type Berstein pour la dérivée d'une fonction rationnelle R(chapitre 6)<br>This work contains some new results concerning the shape-preserving apprimation of continuous functions by algebraic polynomials and rational functions. In Chapter 3, we obtain Jackson type inequality for 3-convex polynomial approximation involving Ditzian-Totik modulus of continuity of order 3. This reesult improves the previous result of Beatson and Shevedov. In chapter 4, we construct various conter-examples for high order a-convex polynomial approximation. In chapter 5, we solved DeVore problem concerning exact order of monotone rational approximation for Sobolev classes of functions W1p. In chapter 6, we establish Bernstein type inequality for derivative of monotone rational function using the uniform norm of function on the right hand side
19
Lassus, Saint-Genies Hugues de. "Elementary functions : towards automatically generated, efficient, and vectorizable implementations." Thesis, Perpignan, 2018. http://www.theses.fr/2018PERP0010/document.
Full textAbstract:
Les fonctions élémentaires sont utilisées dans de nombreux codes de calcul haute performance. Bien que les bibliothèques mathématiques (libm) auxquelles font appel ces codes proposent en général plusieurs variétés d'une même fonction, celles-ci sont figées lors de leur implémentation. Cette caractéristique représente un frein à la performance des programmes qui les utilisent car elles sont conçues pour être polyvalentes au détriment d'optimisations spécifiques. De plus, la duplication de modèles partagés rend la maintenance de ces libms plus difficile et sujette à l'introduction de bugs. Un défi actuel est de proposer des "méta-outils" visant la génération automatique de code performant pour l'évaluation des fonctions élémentaires. Ces outils doivent permettre la réutilisation d'algorithmes efficaces et génériques pour différentes variétés de fonctions ou architectures matérielles. Il devient alors possible de générer des libms optimisées pour des besoins très spécifiques avec du code générateur factorisé, qui facilite sa maintenance. Dans un premier temps, nous proposons un algorithme original permettant de générer des tables sans erreur pour les fonctions trigonométriques et hyperboliques. Puis nous étudions les performances de schémas d'évaluation polynomiale vectorisés, premier pas vers la génération de fonctions vectorisées efficaces. Enfin, nous proposons une méta-implémentation d'un logarithme vectorisé, factorisant la génération de code pour différents formats et architectures. Ces contributions sont compétitives comparées à d'autres solutions, justifiant le développement de tels méta-codes<br>Elementary mathematical functions are pervasive in many high performance computing programs. However, although the mathematical libraries (libms), on which these programs rely, generally provide several flavors of the same function, these are fixed at implementation time. Hence this monolithic characteristic of libms is an obstacle for the performance of programs relying on them, because they are designed to be versatile at the expense of specific optimizations. Moreover, the duplication of shared patterns in the source code makes maintaining such code bases more error prone and difficult. A current challenge is to propose "meta-tools" targeting automated high performance code generation for the evaluation of elementary functions. These tools must allow reuse of generic and efficient algorithms for different flavours of functions or hardware architectures. Then, it becomes possible to generate optimized tailored libms with factorized generative code, which eases its maintenance. First, we propose an novel algorithm that allows to generate lookup tables that remove rounding errors for trigonometric and hyperbolic functions. The, we study the performance of vectorized polynomial evaluation schemes, a first step towards the generation of efficient vectorized elementary functions. Finally, we develop a meta-implementation of a vectorized logarithm, which factors code generation for different formats and architectures. Our contributions are shown competitive compared to free or commercial solutions, which is a strong incentive to push for developing this new paradigm
20
Chevillard, Sylvain. "Évaluation efficace de fonctions numériques - Outils et exemples." Phd thesis, Ecole normale supérieure de lyon - ENS LYON, 2009. http://tel.archives-ouvertes.fr/tel-00460776.
Full textAbstract:
Les systèmes informatiques permettent d'évaluer des fonctions numériques telles que f = exp, sin, arccos, etc. Cette thèse s'intéresse au processus d'implémentation de ces fonctions. Suivant la cible visée (logiciel ou matériel, faible ou grande précision), les problèmes qui se posent sont différents, mais l'objectif est toujours d'obtenir l'implémentation la plus efficace possible. Nous étudions d'abord, à travers un exemple, les problèmes qui se posent dans le cas où la précision est arbitraire. Lorsque, à l'inverse, la précision est connue d'avance, la fonction f est souvent remplacée par un polynôme d'approximation p. Un tel polynôme peut ensuite être évalué très efficacement en machine. En pratique, les coefficients de p doivent être représentables sur un nombre fini donné de bits. Nous proposons un ensemble d'algorithmes (certains sont heuristiques, d'autres rigoureux) pour trouver de très bons polynômes d'approximation répondant à cette contrainte. Ces résultats s'étendent au cas où la fonction d'approximation est une fraction rationnelle. Une fois p trouvé, il faut prouver que l'erreur |p-f| n'excède pas un certain seuil. La nature particulière de la fonction p-f (soustraction de deux fonctions très proches) rend cette propriété difficile à prouver rigoureusement. Nous proposons un algorithme capable de contourner cette difficulté. Tous ces algorithmes ont été intégrés au logiciel Sollya, développé pendant la thèse. À l'origine conçu pour faciliter l'implémentation de fonctions, ce logiciel s'adresse à présent à toute personne souhaitant faire des calculs numériques dans un cadre complètement fiable.
21
Courtieu, Michel. "Familles d'operateurs sur les formes modulaires de Siegel et fonctions Lp-adiques." Université Joseph Fourier (Grenoble), 2000. http://www.theses.fr/2000GRE10063.
Full textAbstract:
On etudie une famille d'operateurs differentiels bilineaires holomorphes sur les formes modulaires de siegel. Cette famille generalise un operateur definit par h. Cohen dans le cas elliptique. Ces operateurs sont construits par application de l'operateur de projection holomorphe a un produit particulier de deux formes modulaires. Ces formes ne sont pas holomorphes en general et elles sont obtenues en utilisant une puissance de l'operateur de maass-shimura sur des formes modulaires holomorphes. On s'emploie surtout a decrire l'action de ces operateurs sur les developpements de fourier. Plus precisement, le developpement des formes produites par ces operateurs s'obtient en fonction de polynomes a variables matricielles. Le premier objectif de ce travail vise a decrire ces polynomes en terme de polynomes invariants par conjugaison. On donne une ecriture explicite de ces polynomes, en vue de verifier des relations de congruences pour les valeurs speciales de fonctions l associees a des formes paraboliques de siegel. Le deuxieme objectif de cette these est d'appliquer ces resultats explicites, pour montrer que les fonctions zeta standards s-adiques construites par a. A. Panchishkin s'obtiennent comme des transformees de mellin de mesures h-admissibles. Ces fonctions zeta non-archimediennes sont construites par interpolation s-adique a partir des valeurs speciales des fonctions zeta standards associees aux formes de siegel propres des operateurs de hecke. Dans ce second resultat, on se sert des formules explicites pour les valeurs speciales, obtenues a l'aide des operateurs etudies dans la premiere partie.
22
Shu, Cheng. "E-Polynomial of GLn⋊<σ>-character varieties". Thesis, Université de Paris (2019-....), 2020. http://www.theses.fr/2020UNIP7038.
Full textAbstract:
Soit σ l'automorphisme par transpose-inverse de GLn, qui définit un produit semi-direct GLn⋊<σ>. Soit Y→X un revê-tement double de surfaces de Riemann, qui est exactement la partie non ramifiée d'un revêtement ramifié de surfaces de Riemann compactes. L'élément non trivial de Gal(Y/X) sera noté τ. A chaque point ramifié enlevé, on associe une GLn(C)-classe de conjugaison contenue dans la composante connexe GLn(C).σ, et on exige que la famille C des classes de conjugaison soient générique. La variété de GLn(C)⋊<σ>-caractère que l'on a étudié est l'espace de module des pairs (L,Φ) formés d'un système local L sur Y et d'un isomorphisme Φ:L → τ*L*, dont les monodromies autour des points ramifiés sont déterminées par C. On calcule le E-polynôme de cette variété de caractère. A ce fin, on utilise un théorème de Katz, ce qui nous ramème au comptage des points sur corps finis. La formule de comptage fait intervenir les caractères irréductibles de GL_n(q)⋊<σ>, et donc la table des l-adic caractères de ce groupe est déterminée au fur et à mesure. Le polynôme qui en résulte s'exprime comme un produit scalaire de certaines fonctions symétriques associées au produit de couronne (Z/2Z)^N⋊(S_N), avec N=[n/2]<br>Let σ be the transpose-inverse automorphism of GLn so that we have a semi-direct product GLn⋊<σ>. Let Y→X be a double covering of Riemann surfaces, which is exactly the unramified part of a ramified covering of compact Riemann surfaces. The non trivial covering transformation is denoted by τ. To each puncture (removed ramification point), we prescribe a GLn(C)-conjugacy class contained in the connected component GLn(C).σ . And we require the collection C of these conjugacy classes to be generic. Our GLn(C)⋊<σ>-character variety is the moduli of the pairs (L,Φ), where L is a local system on Y and Φ:L → τ*L* is an isomorphism, whose monodromy at the punctures are determined by C. We compute the E-polynomial of this character variety. To this end, we use a theorem of Katz and translate the problem to point-counting over finite fields. The counting formula involves the irreducible characters of GL_n(q)⋊<σ>, and so the l-adic character table of GL_n(q)⋊<σ> is determined along the way. The resulting polynomial is expressed as the in-ner product of certain symmetric functions associated to the wreath product (Z/2Z)^N⋊(S_N), with N=[n/2]
23
Atoui, Ibrahim Abdelhalim. "Data reduction techniques for wireless sensor networks using mathematical models." Thesis, Bourgogne Franche-Comté, 2018. http://www.theses.fr/2018UBFCD009.
Full textAbstract:
Dans ce travail, nous présentons des techniques de réduction de données et de sécurité conçues pour économiser de l’énergie dans les réseaux de capteurs sans fil. Premièrement, nous proposons un modèle d’agrégation de données basé sur la fonction de similarité servant à éliminer les données redondantes. En plus, nous avons travaillé sur l’envoi, le moins possible, de caractéristiques de données en se basant sur des fonctions d’ajustement qui expriment ces caractéristiques. Deuxièmement, nous nous sommes intéressés à l’hétérogénéité des données tout en étudiant la corrélation entre ces caractéristiques multi variantes après avoir éliminé les mesures identiques durant la phase d’agrégation. Finalement, nous donnons un cadre de sécurité rigoureux, conçu à partir de la cryptographie, qui satisfait le niveau d’exigence atteint normalement dans les réseaux de capteurs sans fil arborescents. Il empêche les pirates d’obtenir des informations à propos des données détectées en assurant une certaine confidentialité de bout-en-bout entre les nœuds du capteur et le puits. Afin de valider nos techniques proposées, nous avons implémenté les simulations de la première technique sur des données collectées en temps réel à partir du réseau Sensor Scope déployé à Grand-St-Bernard. Les simulations de la deuxième et de la troisième technique sont réalisées sur des données collectées en temps réel à partir de 54 capteurs déployés au laboratoire de recherche Intel Berkeley. L’efficacité de nos techniques est évaluée selon le taux de réduction de données, la consommation de l’énergie, la précision des données et la complexité de temps<br>In this thesis, we present energy-efficient data reduction and security techniques dedicated for wireless sensor networks. First, we propose a data aggregation model based on the similarity function that helps in removing the redundant data. In addition, based on the fitting functions we worked on sending less data features, accompanied with the fitting function that expresses all features. Second, we focus on heterogeneity of the data while studying the correlation among these multivariate features in order to enhance the data prediction technique that is based on the polynomial function, all after removing the similar measures in the aggregation phase using the Euclidean distance. Finally, we provide a rigorous security framework inherited from cryptography satisfies the level of exigence usually attained in tree-based WSNs. It prevents attackers from gaining any information about sensed data, by ensuring an end-to-end privacy between sensor nodes and the sink. In order to validate our proposed techniques, we implemented the simulations of the first technique on real readings collected from a small Sensor Scope network which is deployed at the Grand-St-Bernard, while the simulations of the second and the third techniques are conducted on real data collected from 54 sensors deployed in the Intel Berkeley Research Lab. The performance of our techniques is evaluated according to data reduction rate, energy consumption, data accuracy and time complexity
24
Sorea, Miruna-Ştefana. "The shapes of level curves of real polynomials near strict local minima." Thesis, Lille 1, 2018. http://www.theses.fr/2018LIL1I055/document.
Full textAbstract:
Nous considérons une fonction polynomiale de deux variables réelles qui s’annule à l’origine et qui a un minimum local strict en ce point. Nous nous plaçons dans un voisinage de l’origine dans lequel les lignes de niveau non nulles de cette fonction sont des courbes de Jordan lisses. Chaque fois que l’origine est un point critique de Morse, les niveaux suffisamment petits deviennent des bords de disques convexes. Si l’origine n’est pas de Morse, ces courbes de niveau peuvent ne pas être convexes, comme l’a montré Coste.Le but de cette thèse est double. Tout d'abord, nous nous intéressons à la construction d’exemples de minimums locaux stricts et non-Morse dont les lignes de niveau suffisamment petites sont loin d’être convexes. Et deuxièmement, nous étudions un objet combinatoire mesurant cette non-convexité : l’arbre de Poincaré-Reeb de la restriction de la première coordonnée à la région délimitée par une ligne de niveau donnée. Ces arbres planaires sont enracinés et leurs sommets correspondent en gros aux points de la courbe où les tangentes sont verticales.L’objectif principal de notre étude est de caractériser tous les types topologiques possibles d’arbres de Poincaré-Reeb. À cette fin, nous construisons une famille d’exemples réalisant une grande classe de tels arbres. Dans un premier temps, nous concentrons notre attention sur le cas des polynômes d’une variable, en utilisant un outil inspiré du travail de Ghys. L’un de nos résultats principaux donne une preuve nouvelle et constructive de l’existence de polynômes de Morse dont la permutation associée (appelée «le serpent d’Arnold») est séparable<br>We consider a real bivariate polynomial function vanishing at the origin and exhibiting a strict local minimum at this point. We work in a neighbourhood of the origin in which the non-zero level curves of this function are smooth Jordan curves. Whenever the origin is a Morse critical point, the sufficiently small levels become boundaries of convex disks. Otherwise, these level curves may fail to be convex, as was shown by Coste.The aim of the present thesis is twofold. Firstly, to construct examples of non-Morse strict local minima whose sufficiently small level curves are far from being convex. And secondly, to study a combinatorial object measuring this non-convexity, namely the Poincaré-Reeb tree of the restriction of the first coordinate to the region bounded by a given level curve. These planar trees are rooted and their vertices roughly speaking correspond to points on the curve with vertical tangent lines.The main objective of our study is to characterise all possible topological types of Poincaré-Reeb trees. To this end, we construct a family of examples realising a large class of such trees. As a preliminary step, we restrict our attention to the univariate case, using a tool inspired by Ghys’ work. One of our main results gives a new and constructive proof of the existence of Morse polynomials whose associated permutation (the so-called “Arnold’s snake”) is separable
25
Javan, Peykar Ariyan. "Explicit polynomial bounds for Arakelov invariants of Belyi curves." Thesis, Paris 11, 2013. http://www.theses.fr/2013PA112075/document.
Full textAbstract:
On borne explicitement la hauteur de Faltings d'une courbe sur le corps de nombres algèbriques en son degré de Belyi. Des résultats similaires sont démontré pour trois autres invariants arakeloviennes : le discriminant, l'invariant delta et l'auto-intersection de omega. Nos résultats nous permettent de borner explicitement les invariantes arakeloviennes des courbes modulaires, des courbes de Fermat et des courbes de Hurwitz. En plus, comme application, on montre que l'algorithme de Couveignes-Edixhoven-Bruin est polynomial sous l’hypothèse de Riemann pour les fonctions zeta des corps de nombres. Ceci était connu uniquement pour certains sous-groupes de congruence. Finalement, on utilise nos résultats pour démontrer une conjecture de Edixhoven, de Jong et Schepers sur la hauteur de Faltings d'un revêtement ramifié de la droite projective sur l'anneau des entiers<br>We explicitly bound the Faltings height of a curve over the field of algebraic numbers in terms of the Belyi degree. Similar bounds are proven for three other Arakelov invariants: the discriminant, Faltings' delta invariant and the self-intersection of the dualizing sheaf. Our results allow us to explicitly bound these Arakelov invariants for modular curves, Hurwitz curves and Fermat curves. Moreover, as an application, we show that the Couveignes-Edixhoven-Bruin algorithmtime under the Riemann hypothesis for zeta-functions of number fields. This was known before only for certain congruence subgroups. Finally, we utilize our results to prove a conjecture of Edixhoven, de Jong and Schepers on the Faltings height of a branched cover of the projective line over the ring of integers
26
El-Khoury, Mario. "Influence des zéros d'une fonction de transfert sur le comportement dynamique d'un système linéaire et application au réglage polynomial /." [S.l.] : [s.n.], 1991. http://library.epfl.ch/theses/?nr=981.
Full text
27
Haloui, Safia-Christine. "Sur le nombre de points rationels des variétés abéliennes sur les corps finis." Thesis, Aix-Marseille 2, 2011. http://www.theses.fr/2011AIX22038/document.
Full textAbstract:
Le polynôme caractéristique d'une variété abélienne sur un corps fini est défini comme étant celui de son endomorphisme de Frobenius. La première partie de cette thèse est consacrée à l'étude des polynômes caractéristiques de variétés abéliennes de petite dimension. Nous décrivons l'ensemble des polynômes intervenant en dimension 3 et 4, le problème analogue pour les courbes elliptiques et surfaces abéliennes ayant été résolu par Deuring, Waterhouse et Rück.Dans la deuxième partie, nous établissons des bornes supérieures et inférieures sur le nombre de points rationnels des variétés abéliennes sur les corps finis. Nous donnons ensuite des bornes inférieures spécifiques aux variétés jacobiennes. Nous déterminons aussi des formules exactes pour les nombres maximum et minimum de points rationnels sur les surfaces jacobiennes<br>The characteristic polynomial of an abelian variety over a finite field is defined to be the characteristic polynomial of its Frobenius endomorphism. The first part of this thesis is devoted to the study of the characteristic polynomials of abelian varieties of small dimension. We describe the set of polynomials which occur in dimension 3 and 4; the analogous problem for elliptic curves and abelian surfaces has been solved by Deuring, Waterhouse and Rück.In the second part, we give upper and lower bounds on the number of points on abelian varieties over finite fields. Next, we give lower bounds specific to Jacobian varieties. We also determine exact formulas for the maximum and minimum number of points on Jacobian surfaces
28
Nguyen, Viet anh. "Contributions to tensor models, Hurwitz numbers and Macdonald-Koornwinder polynomials." Thesis, Angers, 2017. http://www.theses.fr/2017ANGE0052/document.
Full textAbstract:
Dans cette thèse, j’étudie trois sujets reliés : les modèles de tenseurs, les nombres de Hurwitz et les polynômes de Macdonald-Koornwinder. Les modèles de tenseurs généralisent les modèles de matrices en tant qu’une approche à la gravité quantique en dimension arbitraire (les modèles de matrices donnent une version bidimensionnelle). J’étudie un modèle particulier qui s’appelle le modèle quartique mélonique. Sa spécialité est qu’il s’écrit en termes d’un modèle de matrices qui est lui-même aussi intéressant. En utilisant les outils bien établis, je calcule les deux premiers ordres de leur 1=N expansion. Parmi plusieurs interprétations, les nombres de Hurwitz comptent le nombre de revêtements ramifiés de surfaces de Riemann. Ils sont connectés avec de nombreux sujets en mathématiques contemporaines telles que les modèles de matrices, les équations intégrables et les espaces de modules. Ma contribution principale est une formule explicite pour les nombres doubles avec 3-cycles complétées d’une part. Cette formule me permet de prouver plusieurs propriétés intéressantes de ces nombres. Le dernier sujet de mon étude est les polynôme de Macdonald et Koornwinder, plus précisément les identités de Littlewood. Ces polynômes forment les bases importantes de l’algèbre des polynômes symétriques. Un des problèmes intrinsèques dans la théorie des fonctions symétriques est la décomposition d’un polynôme symétrique dans la base de Macdonald. La décomposition obtenue (notamment si les coefficients sont raisonnablement explicites et compacts) est nommée une identité de Littlewood. Dans cette thèse, j’étudie les identités démontrées récemment par Rains et Warnaar. Mes contributions incluent une preuve d’une extension d’une telle identité et quelques progrès partiels vers la généralisation d’une autre<br>In this thesis, I study three related subjects: tensor models, Hurwitz numbers and Macdonald-Koornwinder polynomials. Tensor models are generalizations of matrix models as an approach to quantum gravity in arbitrary dimensions (matrix models give a 2D version). I study a specific model called the quartic melonic tensor model. Its specialty is that it can be transformed into a multi-matrix model which is very interesting by itself. With the help of well-established tools, I am able to compute the first two leading orders of their 1=N expansion. Among many interpretations, Hurwitz numbers count the number of weighted ramified coverings of Riemann surfaces. They are connected to many subjects of contemporary mathematics such as matrix models, integrable equations and moduli spaces of complex curves. My main contribution is an explicit formula for one-part double Hurwitz numbers with completed 3-cycles. This explicit formula also allows me to prove many interesting properties of these numbers. The final subject of my study is Macdonald-Koornwinder polynomials, in particular their Littlewood identities. These polynomials form important bases of the algebra of symmetric polynomials. One of the most important problems in symmetric function theory is to decompose a symmetric polynomial into the Macdonald basis. The obtained decomposition (in particular, if the coefficients are explicit and reasonably compact) is called a Littlewood identity. In this thesis, I study many recent Littlewood identities of Rains and Warnaar. My own contributions include a proof of an extension of one of their identities and partial progress towards generalization of one another
29
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.
Full textAbstract:
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<br>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
30
El, Fassi Kaouthar. "Sur l'estimation non-paramétrique de la fonction d' "Egalisation Equipercentile" : applications à la qualité de vie." Paris 6, 2009. https://tel.archives-ouvertes.fr/tel-00425330.
Full text
31
Marquer, Yoann. "Caractérisation impérative des algorithmes séquentiels en temps quelconque, primitif récursif ou polynomial." Thesis, Paris Est, 2015. http://www.theses.fr/2015PESC1121/document.
Full textAbstract:
Les résultats de Colson ou de Moschovakis remettent en question que le modèle récursif primitif puisse calculer une valeur par tous les moyens possibles : il y a toutes les fonctions voulues mais il manque des algorithmes. La thèse de Church exprime donc plutôt ce qui peut être calculé que comment le calcul est fait. Nous utilisons la thèse de Gurevich formalisant l'idée intuitive d'algorithme séquentiel par les Abstract States Machines (ASMs).Nous représentons les programmes impératifs par le langage While de Jones, et une variante LoopC du langage de Meyer et Ritchie permettant de sortir d'une boucle lorsqu'une condition est remplie. Nous dirons qu'un langage caractérise une classe algorithmique si les modèles de calcul associés peuvent se simuler mutuellement, en utilisant une dilatation temporelle et un nombre borné de variables temporaires. Nous prouvons que les ASMs peuvent simuler While et LoopC, que si l'espace est primitif récursif alors LoopC est en temps récursif primitif, et que sa restriction LoopC_stat où les bornes des boucles ne peuvent être mises à jour est en temps polynomial. Réciproquement, une étape d'ASM peut être traduite par un programme sans boucle, qu'on peut répéter suffisamment en l'insérant dans un programme qui est dans While si la complexité est quelconque, dans LoopC si elle est récursif primitif, et dans LoopC_stat si elle est polynomiale.Ainsi While caractérise les algorithmes séquentiels en temps quelconque, LoopC ceux en temps et espace récursifs primitifs, et LoopC_stat ceux en temps polynomial<br>Colson and Moschovakis results cast doubt on the ability of the primitive recursive model to compute a value by any means possible : the model may be complete for functions but there is a lack of algorithms. So the Church thesis express more what can be computed than how the computation is done. We use Gurevich thesis to formalize the intuitive idea of sequential algorithm by the Abstract States Machines (ASMs).We formalize the imperative programs by Jones' While language, and a variation LoopC of Meyer and Ritchie's language allowing to exit a loop if some condition is fulfilled. We say that a language characterizes an algorithmic class if the associated models of computations can simulate each other using a temporal dilatation and a bounded number of temporary variables. We prove that the ASMs can simulate While and LoopC, that if the space is primitive recursive then LoopC is primitive recursive in time, and that its restriction LoopC_stat where the bounds of the loops cannot be updated is in polynomial time. Reciprocally, one step of an ASM can be translated into a program without loop, which can be repeated enough times if we insert it onto a program in While for a general complexity, in LoopC for a primitive recursive complexity, and in LoopC_stat for a polynomial complexity.So While characterizes the sequential algorithms, LoopC the algorithms in primitive recursive space and time, and LoopC_stat the polynomial time algorithms
32
Gaimard, Patricia. "Fonctions de distribution de vitesses non-maxwelliennes dans le plasma ionosphérique et application à la mesure par diffusion incohérente." Phd thesis, Université Joseph Fourier (Grenoble), 1996. http://tel.archives-ouvertes.fr/tel-00724945.
Full textAbstract:
En période magnétiquement perturbée il est nécessaire de considérer une fonction de distribution des vitesses ioniques non-Maxwellienne, si l'on veut pouvoir estimer correctement les paramètres ionosphériques de l'ionosphère aurorale, mesurés par diffusion incohérente. Nous avons comparé deux modèles de fonction de distribution non-Maxwellienne : l'approximation polynomiale généralisée qui est une solution analytique de l'équation de Boltzmann et une distribution numérique basée sur une méthode Monte Carlo. Ces deux approches conduisent, pour les deux espèces ioniques 0+ et NO+, à des résultats semblables lors de champs électriques inférieurs à 100 m V lm. La fonction analytique a été introduite dans l'analyse des spectres EISCAT afin d'étudier l'ionosphère sous des champs électriques pouvant atteindre 100 m V /m. Cette nouvelle analyse a, dans un premier temps, été testée sur plusieurs jeux de simulations avec notamment des études de sensibilité aux modèles utilisés. Dans une seconde étape, nous avons étudié des spectres présentant des caractéristiques non-Maxwelliennes et avons ainsi déterminé la composition de l'ionosphère sous forts champs électriques. Enfin avec une dernière série de données réelles nous avons estimé quantitativement l'erreur commise lors d'une interprétation "Maxwellienne" de spectres non-Maxwelliens dans le cas d'une ionosphère composée d'ions moléculaires.
33
Madani, Soffana. "Contributions à l’estimation à noyau de fonctionnelles de la fonction de répartition avec applications en sciences économiques et de gestion." Thesis, Lyon, 2017. http://www.theses.fr/2017LYSE1183/document.
Full textAbstract:
La répartition des revenus d'une population, la distribution des instants de défaillance d'un matériel et l'évolution des bénéfices des contrats d'assurance vie - étudiées en sciences économiques et de gestion – sont liées a des fonctions continues appartenant à la classe des fonctionnelles de la fonction de répartition. Notre thèse porte sur l'estimation à noyau de fonctionnelles de la fonction de répartition avec applications en sciences économiques et de gestion. Dans le premier chapitre, nous proposons des estimateurs polynomiaux locaux dans le cadre i.i.d. de deux fonctionnelles de la fonction de répartition, notées LF et TF , utiles pour produire des estimateurs lisses de la courbe de Lorenz et du temps total de test normalisé (scaled total time on test transform). La méthode d'estimation est décrite dans Abdous, Berlinet et Hengartner (2003) et nous prouvons le bon comportement asymptotique des estimateurs polynomiaux locaux. Jusqu'alors, Gastwirth (1972) et Barlow et Campo (1975) avaient défini des estimateurs continus par morceaux de la courbe de Lorenz et du temps total de test normalisé, ce qui ne respectait pas la propriété de continuité des courbes initiales. Des illustrations sur données simulées et réelles sont proposées. Le second chapitre a pour but de fournir des estimateurs polynomiaux locaux dans le cadre i.i.d. des dérivées successives des fonctionnelles de la fonction de répartition explorées dans le chapitre précédent. A part l'estimation de la dérivée première de la fonction TF qui se traite à l'aide de l'estimation lisse de la fonction de répartition, la méthode d'estimation employée est l'approximation polynomiale locale des fonctionnelles de la fonction de répartition détaillée dans Berlinet et Thomas-Agnan (2004). Divers types de convergence ainsi que la normalité asymptotique sont obtenus, y compris pour la densité et ses dérivées successives. Des simulations apparaissent et sont commentées. Le point de départ du troisième chapitre est l'estimateur de Parzen-Rosenblatt (Rosenblatt (1956), Parzen (1964)) de la densité. Nous améliorons dans un premier temps le biais de l'estimateur de Parzen-Rosenblatt et de ses dérivées successives à l'aide de noyaux d'ordre supérieur (Berlinet (1993)). Nous démontrons ensuite les nouvelles conditions de normalité asymptotique de ces estimateurs. Enfin, nous construisons une méthode de correction des effets de bord pour les estimateurs des dérivées de la densité, grâce aux dérivées d'ordre supérieur. Le dernier chapitre s'intéresse au taux de hasard, qui contrairement aux deux fonctionnelles de la fonction de répartition traitées dans le premier chapitre, n'est pas un rapport de deux fonctionnelles linéaires de la fonction de répartition. Dans le cadre i.i.d., les estimateurs à noyau du taux de hasard et de ses dérivées successives sont construits à partir des estimateurs à noyau de la densité et ses dérivées successives. La normalité asymptotique des premiers estimateurs est logiquement obtenue à partir de celle des seconds. Nous nous plaçons ensuite dans le modèle à intensité multiplicative, un cadre plus général englobant des données censurées et dépendantes. Nous menons la procédure à terme de Ramlau-Hansen (1983) afin d'obtenir les bonnes propriétés asymptotiques des estimateurs du taux de hasard et de ses dérivées successives puis nous tentons d'appliquer l'approximation polynomiale locale dans ce contexte. Le taux d'accumulation du surplus dans le domaine de la participation aux bénéfices pourra alors être estimé non parametriquement puisqu'il dépend des taux de transition (taux de hasard d'un état vers un autre) d'une chaine de Markov (Ramlau-Hansen (1991), Norberg (1999))<br>The income distribution of a population, the distribution of failure times of a system and the evolution of the surplus in with-profit policies - studied in economics and management - are related to continuous functions belonging to the class of functionals of the distribution function. Our thesis covers the kernel estimation of some functionals of the distribution function with applications in economics and management. In the first chapter, we offer local polynomial estimators in the i.i.d. case of two functionals of the distribution function, written LF and TF , which are useful to produce the smooth estimators of the Lorenz curve and the scaled total time on test transform. The estimation method is described in Abdous, Berlinet and Hengartner (2003) and we prove the good asymptotic behavior of the local polynomial estimators. Until now, Gastwirth (1972) and Barlow and Campo (1975) have defined continuous piecewise estimators of the Lorenz curve and the scaled total time on test transform, which do not respect the continuity of the original curves. Illustrations on simulated and real data are given. The second chapter is intended to provide smooth estimators in the i.i.d. case of the derivatives of the two functionals of the distribution function presented in the last chapter. Apart from the estimation of the first derivative of the function TF with a smooth estimation of the distribution function, the estimation method is the local polynomial approximation of functionals of the distribution function detailed in Berlinet and Thomas-Agnan (2004). Various types of convergence and asymptotic normality are obtained, including the probability density function and its derivatives. Simulations appear and are discussed. The starting point of the third chapter is the Parzen-Rosenblatt estimator (Rosenblatt (1956), Parzen (1964)) of the probability density function. We first improve the bias of this estimator and its derivatives by using higher order kernels (Berlinet (1993)). Then we find the modified conditions for the asymptotic normality of these estimators. Finally, we build a method to remove boundary effects of the estimators of the probability density function and its derivatives, thanks to higher order derivatives. We are interested, in this final chapter, in the hazard rate function which, unlike the two functionals of the distribution function explored in the first chapter, is not a fraction of two linear functionals of the distribution function. In the i.i.d. case, kernel estimators of the hazard rate and its derivatives are produced from the kernel estimators of the probability density function and its derivatives. The asymptotic normality of the first estimators is logically obtained from the second ones. Then, we are placed in the multiplicative intensity model, a more general framework including censored and dependent data. We complete the described method in Ramlau-Hansen (1983) to obtain good asymptotic properties of the estimators of the hazard rate and its derivatives and we try to adopt the local polynomial approximation in this context. The surplus rate in with-profit policies will be nonparametrically estimated as its mathematical expression depends on transition rates (hazard rates from one state to another) in a Markov chain (Ramlau-Hansen (1991), Norberg (1999))
34
Mefenza, Nountu Thierry. "Pseudo-random generators and pseudo-random functions : cryptanalysis and complexity measures." Thesis, Paris Sciences et Lettres (ComUE), 2017. http://www.theses.fr/2017PSLEE064/document.
Full textAbstract:
L’aléatoire est un ingrédient clé en cryptographie. Par exemple, les nombres aléatoires sont utilisés pour générer des clés, pour le chiffrement et pour produire des nonces. Ces nombres sont générés par des générateurs pseudo-aléatoires et des fonctions pseudo-aléatoires dont les constructions sont basées sur des problèmes qui sont supposés difficiles. Dans cette thèse, nous étudions certaines mesures de complexité des fonctions pseudo-aléatoires de Naor-Reingold et Dodis-Yampolskiy et étudions la sécurité de certains générateurs pseudo-aléatoires (le générateur linéaire congruentiel et le générateur puissance basés sur les courbes elliptiques) et de certaines signatures à base de couplage basées sur le paradigme d’inversion. Nous montrons que la fonction pseudo-aléatoire de Dodis-Yampolskiy est uniformément distribué et qu’un polynôme multivarié de petit dégré ou de petit poids ne peut pas interpoler les fonctions pseudo-aléatoires de Naor-Reingold et de Dodis-Yampolskiy définies sur un corps fini ou une courbe elliptique. Le contraire serait désastreux car un tel polynôme casserait la sécurité de ces fonctions et des problèmes sur lesquels elles sont basées. Nous montrons aussi que le générateur linéaire congruentiel et le générateur puissance basés sur les courbes elliptiques sont prédictibles si trop de bits sont sortis à chaque itération. Les implémentations pratiques de cryptosystèmes souffrent souvent de fuites critiques d’informations à travers des attaques par canaux cachés. Ceci peut être le cas lors du calcul de l’exponentiation afin de calculer la sortie de la fonction pseudo-aléatoire de Dodis-Yampolskiy et plus généralement le calcul des signatures dans certains schémas de signatures bien connus à base de couplage (signatures de Sakai-Kasahara, Boneh-Boyen et Gentry) basées sur le paradigme d’inversion. Nous présentons des algorithmes (heuristiques) en temps polynomial à base des réseaux qui retrouvent le secret de celui qui signe le message dans ces trois schémas de signatures lorsque plusieurs messages sont signés sous l’hypothèse que des blocs consécutifs de bits des exposants sont connus de l’adversaire<br>Randomness is a key ingredient in cryptography. For instance, random numbers are used to generate keys, for encryption and to produce nonces. They are generated by pseudo-random generators and pseudorandom functions whose constructions are based on problems which are assumed to be difficult. In this thesis, we study some complexity measures of the Naor-Reingold and Dodis-Yampolskiy pseudorandom functions and study the security of some pseudo-random generators (the linear congruential generator and the power generator on elliptic curves) and some pairing-based signatures based on exponentinversion framework. We show that the Dodis-Yampolskiy pseudo-random functions is uniformly distributed and that a lowdegree or low-weight multivariate polynomial cannot interpolate the Naor-Reingold and Dodis-Yampolskiy pseudo-random functions over finite fields and over elliptic curves. The contrary would be disastrous since it would break the security of these functions and of problems on which they are based. We also show that the linear congruential generator and the power generator on elliptic curves are insecure if too many bits are output at each iteration. Practical implementations of cryptosystems often suffer from critical information leakage through sidechannels. This can be the case when computing the exponentiation in order to compute the output of the Dodis-Yampolskiy pseudo-random function and more generally in well-known pairing-based signatures (Sakai-Kasahara signatures, Boneh-Boyen signatures and Gentry signatures) based on the exponent-inversion framework. We present lattice based polynomial-time (heuristic) algorithms that recover the signer’s secret in the pairing-based signatures when used to sign several messages under the assumption that blocks of consecutive bits of the exponents are known by the attacker
35
El, Fassi Kaouthar. "Sur l'estimation non paramétrique de la fonction d'égalisation équipercentile. Application à la qualité de vie." Phd thesis, Université Pierre et Marie Curie - Paris VI, 2009. http://tel.archives-ouvertes.fr/tel-00425330.
Full textAbstract:
Soient $X$ et $Y$ deux variables aléatoires de fonctions de répartition $F$ et $G$ respectivement. Deux réalisations données $x$ et $y$ sont dites équivalentes si et seulement si $F(x)=G(y)$. Cette équation est connue sous le nom ``équation équipercentile''. Sa résolution, pour un $x$ fixé, permet d'exprimer l'équivalent équipercentile de $x$ comme suit: $y(x)=G^{-1}(F(x))$, où $G^{-1}$ désigne la fonction inverse de $G$. Dans ce travail, nous proposons cinq scénarios d'estimation de la fonction d'égalisation équipercentile $G^{-1}(F(x))$. Les estimateurs proposés reposent sur l'approche de l'ajustement polynômial local. Les résultats obtenus sont les suivants. D'abord, nous montrons la convergence uniforme presque sûre des estimateurs. Ensuite, nous établissons l'approximation par un pont brownien approprié et évaluons la performance des estimateurs en utilisant l'erreur en moyenne quadratique comme mesure de perte. Finalement, nous proposons quelques simulations sous R pour illustrer nos résultats et comparons les estimateurs en les appliquant sur un jeu de données réelles provenant d'une étude longitudinale multi-centrique de la cohorte ANRS C08.
36
Magron, Victor. "Formal Proofs for Global Optimization -- Templates and Sums of Squares." Palaiseau, Ecole polytechnique, 2013. http://pastel.archives-ouvertes.fr/docs/00/91/77/79/PDF/thesis.pdf.
Full textAbstract:
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<br>The aim of this work is to certify lower bounds for real-valued multivariate functions, defined by semialgebraic or transcendental expressions and to prove their correctness by checking the certificates in the Coq proof system. The application range for such a tool is widespread; for instance Hales' proof of Kepler's conjecture involves thousands of nonlinear inequalities. The functions we are dealing with are nonlinear and involve semialgebraic operations as well as some transcendental functions like cos, arctan, exp, etc. Our general framework is to use different approximation methods to relax the original problem into a semialgebraic optimization problem. It leads to polynomial optimization problems which we solve by sparse sums of squares relaxations. First, we implement a classical scheme in global optimization. Namely, we approximate univariate transcendental functions with best uniform degree-d polynomial estimators. Then, we present an alternative method, which consists in bounding some of the constituents of the nonlinear function by suprema or infima of quadratic polynomials (max-plus approximation method, initially introduced in optimal control) with a carefully chosen curvature. Finally, we improve this approximation algorithm, by combining the ideas of the maxplus estimators and of the linear template method developed by Manna et al. (in static analysis). The nonlinear templates control the complexity of the semialgebraic estimators at the price of coarsening the maxplus approximations. In that way, we arrive at a new - template based - global optimization method, which exploits both the precision of sums of squares/SDP relaxations and the scalability of abstraction methods. We successfully implemented these approximation methods in a software package named NLCertify. This tool interleaves semialgebraic approximations with sums of squares witnesses to form certificates. It is interfaced with Coq and thus benefits from the trusted arithmetic available inside the proof assistant. This feature is used to produce, from the certificates, both valid underestimators and lower bounds for each approximated constituent. We illustrate the efficiency of NLCertify with various examples from the global optimization literature, as well as tight inequalities issued from the Flyspeck project
37
Smaïli, Nasser-Eddine. "Les polynômes e-semi-classiques de classe zéro." Paris 6, 1987. http://www.theses.fr/1987PA066081.
Full text
38
Caullery, Florian. "Polynomes sur les corps finis pour la cryptographie." Thesis, Aix-Marseille, 2014. http://www.theses.fr/2014AIXM4013/document.
Full textAbstract:
Les fonctions de F_q dans lui-même sont des objets étudiés dans de divers domaines tels que la cryptographie, la théorie des codes correcteurs d'erreurs, la géométrie finie ainsi que la géométrie algébrique. Il est bien connu que ces fonctions sont en correspondance exacte avec les polynômes en une variable à coefficients dans F_q. Nous étudierons trois classes de polynômes particulières: les polynômes Presque Parfaitement Non linéaires (Almost Perfect Nonlinear (APN)), les polynômes planaires ou parfaitement non linéaire (PN) et les o-polynômes.Les fonctions APN sont principalement étudiées pour leurs applications en cryptographie. En effet, ces fonctions sont celles qui offre la meilleure résistance contre la cryptanalyse différentielle.Les polynômes PN et les o-polynômes sont eux liés à des problèmes célèbres de géométrie finie. Les premiers décrivent des plans projectifs et les seconds sont en correspondance directe avec les ovales et hyperovales de P^2(F_q). Néanmoins, leurs champ d'application a été récemment étendu à la cryptographie symétrique et à la théorie des codes correcteurs d'erreurs.L'un des moyens utilisé pour compléter la classification est de considérer les polynômes présentant l'une des propriétés recherchées sur une infinité d'extension de F_q. Ces fonctions sont appelées fonction APN (respectivement PN ou o-polynômes) exceptionnelles.Nous étendrons la classification des polynômes APN et PN exceptionnels et nous donneront une description complète des o-polynômes exceptionnels. Les techniques employées sont basées principalement sur la borne de Lang-Weil et sur des méthodes élémentaires<br>Functions from F_q to itself are interesting objects arising in various domains such as cryptography, coding theory, finite geometry or algebraic geometry. It is well known that these functions admit a univariate polynomial representation. There exists many interesting classes of such polynomials with plenty of applications in pure or applied maths. We are interested in three of them: Almost Perfect Nonlinear (APN) polynomials, Planar (PN) polynomials and o-polynomials. APN polynomials are mostly used in cryptography to provide S-boxes with the best resistance to differential cryptanalysis and in coding theory to construct double error-correcting codes. PN polynomials and o-polynomials first appeared in finite geometry. They give rise respectively to projective planes and ovals in P^2(F_q). Also, their field of applications was recently extended to symmetric cryptography and error-correcting codes.A complete classification of APN, PN and o-polynomials is an interesting open problem that has been widely studied by many authors. A first approach toward the classification was to consider only power functions and the studies were recently extended to polynomial functions.One way to face the problem of the classification is to consider the polynomials that are APN, PN or o-polynomials over infinitely many extensions of F_q, namely, the exceptional APN, PN or o-polynomials.We improve the partial classification of exceptional APN and PN polynomials and give a full classification of exceptional o-polynomials. The proof technique is based on the Lang-Weil bound for the number of rational points in algebraic varieties together with elementary methods
39
Moypemna, sembona Cyrille clovis. "Caractérisations des modèles multivariés de stables-Tweedie multiples." Thesis, Besançon, 2016. http://www.theses.fr/2016BESA2071/document.
Full textAbstract:
Ce travail de thèse porte sur différentes caractérisations des modèles multivariés de stables-Tweedie multiples dans le cadre des familles exponentielles naturelles sous la propriété de "steepness". Ces modèles parus en 2014 dans la littérature ont été d’abord introduits et décrits sous une forme restreinte des stables-Tweedie normaux avant les extensions aux cas multiples. Ils sont composés d’un mélange d’une loi unidimensionnelle stable-Tweedie de variable réelle positive fixée, et des lois stables-Tweedie de variables réelles indépendantes conditionnées par la première fixée, de même variance égale à la valeur de la variable fixée. Les modèles stables-Tweedie normaux correspondants sont ceux du mélange d’une loi unidimensionnelle stable-Tweedie positive fixé et les autres toutes gaussiennes indépendantes. A travers des cas particuliers tels que normal, Poisson, gamma, inverse gaussienne, les modèles stables-Tweedie multiples sont très fréquents dans les études de statistique et probabilités appliquées. D’abord, nous avons caractérisé les modèles stables-Tweedie normaux à travers leurs fonctions variances ou matrices de covariance exprimées en fonction de leurs vecteurs moyens. La nature des polynômes associés à ces modèles est déduite selon les valeurs de la puissance variance à l’aide des propriétés de quasi orthogonalité, des systèmes de Lévy-Sheffer, et des relations de récurrence polynomiale. Ensuite, ces premiers résultats nous ont permis de caractériser à l’aide de la fonction variance la plus grande classe des stables-Tweedie multiples. Ce qui a conduit à une nouvelle classification laquelle rend la famille beaucoup plus compréhensible. Enfin, une extension de caractérisation des stables-Tweedie normaux par fonction variance généralisée ou déterminant de la fonction variance a été établie via leur propriété d’indéfinie divisibilité et en passant par les équations de Monge-Ampère correspondantes. Exprimées sous la forme de produit des composantes du vecteur moyen aux puissances multiples, la caractérisationde tous les modèles multivariés stables-Tweedie multiples par fonction variance généralisée reste un problème ouvert<br>In the framework of natural exponential families, this thesis proposes differents characterizations of multivariate multiple stables-Tweedie under "steepness" property. These models appeared in 2014 in the literature were first introduced and described in a restricted form of the normal stables-Tweedie models before extensions to multiple cases. They are composed by a fixed univariate stable-Tweedie variable having a positive domain, and the remaining random variables given the fixed one are reals independent stables-Tweedie variables, possibly different, with the same dispersion parameter equal to the fixed component. The corresponding normal stables-Tweedie models have a fixed univariate stable-Tweedie and all the others are reals Gaussian variables. Through special cases such that normal, Poisson, gamma, inverse Gaussian, multiple stables-Tweedie models are very common in applied probability and statistical studies. We first characterized the normal stable-Tweedie through their variances function or covariance matrices expressed in terms of their means vector. According to the power variance parameter values, the nature of polynomials associated with these models is deduced with the properties of the quasi orthogonal, Levy-Sheffer systems, and polynomial recurrence relations. Then, these results allowed us to characterize by function variance the largest class of multiple stables-Tweedie. Which led to a new classification, which makes more understandable the family. Finally, a extension characterization of normal stable-Tweedie by generalized variance function or determinant of variance function have been established via their infinite divisibility property and through the corresponding Monge-Ampere equations. Expressed as product of the components of the mean vector with multiple powers parameters reals, the characterization of all multivariate multiple stable- Tweedie models by generalized variance function remains an open problem
40
Chemli, Zakaria. "Développements combinatoires autour des tableaux et des nombres eulériens." Thesis, Paris Est, 2017. http://www.theses.fr/2017PESC1055/document.
Full textAbstract:
Cette thèse se situe au carrefour de la combinatoire énumérative, algébrique et bijective. Elle se consacre d’une part à traduire des problèmes algébriques en des problèmes combinatoires, et inversement, utilise le formalisme algébrique pour traiter des questions combinatoires.Après un rappel des notions classiques de combinatoire et de structures algébriques, nous abordons l’étude des tableaux de dominos décalés, qui sont des objets combinatoires définis dans le but de mieux comprendre la combinatoire des fonctions symétriques P et Q de Schur. Nous donnons la définition de ces tableaux et nous démontrons qu'ils sont en bijection avec les paires de tableaux de Young décalés. Cette bijection nous permet de voir ces objets comme des éléments du super monoïde plaxique décalé, qui est l'analogue décalé du super monoïde plaxique de Carré et Leclerc. Nous montrons aussi que ces tableaux décrivent un produit de deux fonctions P de Schur et en prenant un autre type de tableaux de dominos décalés, nous décrivons un produit de deux fonctions Q de Schur. Nous proposons aussi deux algorithmes d'insertion pour les tableaux de dominos décalés, analogues aux algorithmes d'insertion mixte et d'insertion gauche-droit de Haiman. Toujours dans le domaine de la combinatoire bijective, nous nous intéressons dans la deuxième partie de notre travail à des bijections en lien avec des statistiques sur les permutations et les nombres eulériens.Dans cette deuxième partie de thèse, nous introduisons l'unimodalité des suites finies associées aux différentes directions dans le triangle eulérien. Nous donnons dans un premier temps une interprétation combinatoire ainsi que la relation de récurrence des suites associées à la direction (1,t) dans le triangle eulérien, où t≥1. Ces suites sont les coefficients de polynômes appelés les polynômes eulériens avec succession d'ordre t, qui généralisent les polynômes eulériens. Nous démontrons par une bijection entre les permutations et des chemins nord-est étiquetés que ces suites sont log-concaves et donc unimodales. Puis nous prouvons que les suites associées aux directions (r,q), où r est un entier positif et q est un entier, tel que r+q≥0, sont aussi log-concaves et donc unimodales<br>This thesis is at the crossroads of enumerative, algebraic and bijective combinatorics. It studies some algebraic problems from a combinatorial point of view, and conversely, uses algebraic formalism to deal with combinatorial questions.After a reminder about classical notions of combinatoics and algebraic structures, We introduce new combinatorial objects called the shifted domino tableaux, these objects can be seen as a shifted analog of domino tableaux or as an extension of shifted Young tableaux. We prove that these objects are in bijection with pairs of shifted Young tableaux. This bijection shows that shifted domino tableaux can be seen as elements of the super shifted plactic monoid, which is the shifted analog of the super plactic monoid. We also show that the sum over all shifted domino tableaux of a fixed shape describe a product of two P-Schur functions, and by taking a different kind of shifted domino tableaux we describe a product of two Q-Schur functions. We also propose two insertion algorithms for shifted domino tablaux, analogous to Haiman's left-right and mixed insertion algorithms. Still in the field of bijective combinatorics, we are interested in the second part of our work with bijections related to statistics on permutations and Eulerian numbers.In this second part of this thesis, we introduce the unimodality of finite sequences associated to different directions in the Eulerian triangle. We first give a combinatorial interpretations as well as recurrence relations of sequences associated with the direction (1, t) in the Eulerian triangle, where t≥1. These sequences are the coefficients of polynomials called the t-successive eulerian polynomials, which generalize the eulerian polynomials. We prove using a bijection between premutations and north-east lattice paths that those sequences are unomodal. Then we prove that the sequences associated with the directions (r, q), where r is a positive integer and q is an integer such that r + q ≥ 0, are also log-concave and therefore unimodal
41
Veyrat-Charvillon, Nicolas. "Opérateurs arithmétiques matériels pour des applications spécifiques." Phd thesis, Ecole normale supérieure de lyon - ENS LYON, 2007. http://tel.archives-ouvertes.fr/tel-00438603.
Full textAbstract:
L'arithmétique des ordinateurs est une branche de l'informatique qui traite des systèmes de représentation des nombres, des algorithmes arithmétiques et de leurs implantations matérielles ou logicielles. Cette thèse porte sur l'étude et l'implantation matérielle d'opérateurs pour l'évaluation de fonctions pour des applications spécifiques en traitement du signal et des images et en cryptographie. La première partie présente des opérateurs d'évaluation de fonctions basés sur des approximations polynomiales qui demandent peu de matériel. La seconde partie étudie la génération automatique d'opérateurs à base d'additions et décalages (type SRT) pour l'évaluation de certaines fonctions algébriques. Enfin, la dernière partie présente une implantation efficace et compacte des fonctions de hachage cryptographique de la famille SHA-2. Les différents opérateurs proposés dans cette thèse ont tous été validés sur des circuits FPGA.
42
Battaglino, Daniela. "Énumération de polyominos définis en terme d'évitement de motif ou de contraintes de convexité." Phd thesis, Université Nice Sophia Antipolis, 2014. http://tel.archives-ouvertes.fr/tel-01064960.
Full textAbstract:
Dans cette thèse nous étudions la caractérisation et l'énumération de polyominos définis par des contraintes de convexité et ou d'évitement de motifs. Nous nous intéressons à l'énumération des polyominos k-convexes selon le semi périmètre, qui n'était connue que pour k=1,2. Nous énumérons une sous classe, les polyominos k-parallélogrammes, grâce à une décomposition récursive dont nous déduisons la fonction génératrice qui est rationnelle. Cette fonction génératrice s'exprime à l'aide des polynômes de Fibonacci, ce qui nous permet d'en déduire une bijection avec les arbres planaires ayant une hauteur inférieure ou égale à k+2. Dans la deuxième partie, nous examinons la notion d'évitement de motif, qui a été essentiellement étudiée pour les permutations. Nous introduisons ce concept dans le contexte de matrices de permutations et de polyominos. Nous donnons des définitions analogues à celles données pour les permutations et nous explorons ses propriétés ainsi que celles du poste associé. Ces deux approches peuvent être utilisées pour traiter des problèmes ouverts sur les polyominos ou sur d'autres objets combinatoires.
43
Hachadi, Hicham. "Opérateurs de Hankel et théorie spectrale locale." Thesis, Aix-Marseille, 2013. http://www.theses.fr/2013AIXM4723.
Full textAbstract:
Cette thèse est constituée de deux volets principaux, le premier volet est consacré à l'étude des opérateurs de Hankel de symboles antiméromorphes, plus précisément, on s'intéresse à la possibilité d'obtenir des opérateurs de Hankel bornés (resp. compacts, dans les classes de Schatten) dont les symboles ne sont pas nécessairement des polynômes.Nous allons donner dans un premier temps, des conditions nécessaires et suffisantes pour que l'opérateur H_{f} définit sur une couronne dans le plan complexe, soit borné (resp. compact, dans la p-ième classe de Schatten) et nous allons traiter des exemples sur les quels nous montrons que les opérateurs de Hankel H_{f} et H_{Uf} sont bornés simultanément (resp. compacts, dans les classes de Schatten) si et seulement si f est un polynôme de Laurent et les conditions établies portent sur son L-degré.Le deuxième volet traite les propriétés spectrales en commun des opérateurs A et B vérifiant l'équation A²=ABA et B²=BAB. Nous allons généraliser les résultats de Christopher Schmoeger sur l'égalité des différents spectres de ces opérateurs, ensuite nous allons élargir le champ d'étude de ces opérateurs dans la direction de la théorie spectrale locale (Propriété de l'extension unique, décomposabilité...)<br>This thesis consists of two main parts, the first part is devoted to the study of Hankel operators of antiméromorphes symbols, more precisely, we are interested in the possibility of obtaining Hankel operators bounded (resp. compact, in Schatten classes) which the symbols are not necessarily polynomials.We will give in first step, the necessary and sufficient conditions for the operator H_ {f} defined on a ring in the complex plane is bounded (resp. compact in the p-th Schatten class) and we treat examples on which we show that the Hankel operators H_ {f} and H_ {Uf} are simultaneously bounded (resp. compact, in the Schatten classes) if and only if f is a Laurent polynomial and conditions set relate to its L-degree.The second part deals with common spectral properties of operators A and B satisfying the equation A ² = ABA and B ² = BAB. We will generalize the results of Christopher Schmoeger on equality different spectra of these operators, then we will expand the field of study of these operators in the direction of the local spectral theory (SVEP, Decomposability)
44
Gaona, Jorge. "Elaboración de un sistema de evaluación en línea como proceso de formación de profesores de matemáticas." Thesis, Sorbonne Paris Cité, 2018. http://www.theses.fr/2018USPCC089/document.
Full textAbstract:
Cette recherche s’inscrit dans la problématique de l’intégration de technologie dans le processus d’apprentissage et enseignement des mathématique. Particulièrement, ce travail a pour objet étudier quel est l’impact de la participation des professeurs dans la conception des tâches qui confortement un système d’évaluation en ligne en mathématique, dans ce thèse on étudie notamment las tâches sur les fonctions polynômes. Quand on parle d’impact, on l’écrit à double sens : l’impact sur l’utilisation des ressources et sur la valeur épistémique des ressources conçues pour les professeurs.Du point de vue méthodologique, cette thèse s’inscrit dans un travail de type qualitatif qui est complété avec des analyses quantitatives. Pour étudier l’impact dans l’utilisation des ressources de la plateforme on faite une comparaison selon les rôles des professeurs (concepteurs et utilisateurs) a partir des données générés pour la plateforme et complétées avec des analyses des enregistrements de classes et des entretiens aux professeurs concepteurs. On peut conclure que il n’y a pas de différence dans l’utilisation des ressources quand dans un campus s’il y a des concepteurs et utilisateurs, par contre, quand dans un campus il y a que des utilisateurs, la participation des étudiantes dans la plateforme est beaucoup plus faible. Pour caractériser la valeur épistémique des tâches de la plateforme on a utilisé comme principal cadre théorique les Espaces de Travail Mathématique (ETM). Après de observer certains phénomènes dans l’ensemble de tâches de la plateforme, en utilisant le même cadre théorique, on a caractérisé les tâches habituelles des professeurs pour finalement faire une comparaison entre l’ETM potentiel de la plateforme et l’ETM idoine des professeurs. On a utilisé comme sources des données les tâches de la plateforme sur fonctions polynômes, les enregistrements des classes des professeurs concepteurs pour caractériser les tâches habituelles et des entretiens d’explicitation pour comprendre les raisons des certains choix des professeurs. On a constaté qu’il y a certaines phénomènes observés dans les tâches de la plateforme qui son dû à la dimension instrumental et las limitations des logiciels, surtout les relatives à l’utilisation des graphiques. Néanmoins il y a autres phénomènes qui son influencés principalement pour l’ETM idoine. De ce travail se dégagent également des pistes d’amélioration pour l’enrichissement des ressources de la plateforme et faire évoluer l’ETM idoine des professeurs à partir d’un accompagnement didactique<br>This research is part of the problem of integrating technology into the process of teaching and learning mathematics. Particularly, this work aims to study the impact of the participation of teachers in the design of tasks that make up an online assessment system in mathematics, specifically in this thesis are studied tasks on polynomial functions. When we speak of impact, this refers in two senses: impact on the use of resources and on the epistemic value of the resources created by teachers. From the methodological point of view, this thesis is part of a qualitative work complemented by some quantitative analyses. In order to study the impact on the use of the platform's resources, a comparison was made according to the roles of the teachers (designers and users), based on the data generated by the platform and complemented by analysis of the class register and interviews with the designer teachers. It can be concluded that there are no differences in the use of resources on a campus if there are designers and users, whereas when on a campus there are only users the participation of students on the platform is much lower. The Mathematical Workspaces (MTS) were used as a theoretical framework to characterize the epistemic value of platform tasks. After observing certain phenomena in the set of tasks of the platform, using the same theoretical framework, the usual tasks of the professors designers were characterized to finally make a comparison between the potential ETM of the platform and the suitable ETM of the professors. The platform tasks on polynomial functions, the class records of the design teachers were used as data sources to characterize the usual tasks and explanatory interviews to understand the reasons for certain teacher choices. It was concluded that certain phenomena observed in the tasks of the platforms are due to the instrumental dimension and the limitations of the software, especially those linked to graphics. However, there are other phenomena that are mainly influenced by the suitable ETM. This work also gives rise to suggestions for improvement to enrich the resources of the platform and to make the suitable ETM of the teachers evolve on the basis of a didactic accompaniment. It was concluded that certain phenomena observed in the tasks of the platforms are due to the instrumental dimension and limitations of software, especially those linked to graphics. However, there are other phenomena that are mainly influenced by the suitable ETM.This work also gives rise to suggestions for improvement to enrich the resources of the platform and to make the suitable MTE of the teachers evolve from a didactic accompaniment<br>Esta investigación se inscribe en la problemática de la integración de tecnología en los proceso de enseñanza y aprendizaje de las matemáticas. Particularmente, este trabajo tiene por objetivo estudiar el impacto de la participación de profesores en el diseño de las tareas que conforman un sistema de evaluación en línea en matemáticas, específicamente en esta tesis se estudian las tareas sobre funciones polinómicas. Cuando se habla de impacto, esto se refiere en dos sentidos: impacto en la utilización de los recursos y sobre el valor epistémico de los recursos creados por los profesores.Desde el punto de vista metodológico, esta tesis se inscribe en un trabajo de tipo cualitativo complementados con algunos análisis cuantitativos.Para estudiar el impacto en la utilización de los recursos de la plataforma se hizo una comparación según los roles de los profesores (diseñadores y utilizadores) a partir de los datos generados por la plataforma et complementados con análisis del registro de clases y de entrevistas a los profesores diseñadores. Se puede concluir que no hay diferencias en la utilización de los recursos en un campus si hay diseñadores y utilizadores, en cambio, cuando en un campus hay sólo utilizadores la participación de los estudiantes en la plataforma es mucho más baja.Para caracterizar el valor epistémico de las tareas de la plataformas se utilizó como marco teórico los Espacios de Trabajo Matemático (ETM). Después de observar ciertos fenómenos en el conjunto de tareas de la plataforma, utilizando el mismo marco teórico, se caracterizaron las tareas habituales de los profesores diseñadores para finalmente hacer una comparación entre el ETM potencial de la plataforma y el ETM idóneo de los profesores. Se utilizaron como fuentes de datos las tareas de la plataforma sobre funciones polinómicas, los registros de clases de los profesores diseñadores para caracterizar alas tareas habituales y entrevistas de explicitación para comprender las razones de ciertas elecciones de los profesores.Se concluyó que ciertos fenómenos observados en las tareas de la plataformas son debido a la dimensión instrumental y las limitaciones de los programas informáticos, sobretodo los ligados a los gráficos. Sin embargo, hay otros fenómenos que son influenciados principalmente por el ETM idóneo.De este trabajo se desprenden también pistas de mejora para enriquecer los recursos de la plataforma et para hacer evolucionar el ETM idóneo de los profesores a partir de un acompañamiento didáctico
45
Novel, Aymeric. "Développement d’une méthode de méta modélisation des consommations énergétiques des bâtiments en fonction des facteurs d’usages et d’exploitation pour la garantie de résultat énergétique." Thesis, La Rochelle, 2019. http://www.theses.fr/2019LAROS001/document.
Full textAbstract:
À mesure que les performances intrinsèques des bâtiments s’améliorent, les usages énergétiques non réglementés, que nous associons à une notion d’intensité énergétique des usages, prennent de plus en plus d’importance dans le bilan des consommations des bâtiments. De plus, les bâtiments performants font apparaître des problématiques au niveau de l’exploitation des installations. Ces constats nous permettent d’affirmer qu’il est aujourd’hui important de proposer un cadre pour le suivi et l’optimisation de la sobriété énergétique des usages et l’exploitation performante pour la maîtrise des consommations énergétiques réelles des bâtiments. Cette thèse propose tout d’abord de développer des modèles polynomiaux de prédiction de la consommation énergétique tous usages en fonction des facteurs caractérisant l’intensité d’usage, la qualité d’usage et la qualité d’exploitation. Pour cela, nous utilisons le logiciel EnergyPlus afin de réaliser des simulations énergétiques dynamiques (SED) sur des valeurs de paramètres définis par la méthode des plans d’expérience D-optimaux. Le modèle polynomial créé permet alors d’effectuer, avec un faible temps de calcul, une propagation des incertitudes sur les consommations d’énergie calculées. Pour ce faire, nous utilisons les données mesurées en exploitation dans le cadre de la mesure et de la vérification de la performance énergétique, associées à une incertitude concernant leur valeur. Nous pouvons alors déterminer l’incertitude globale sur les consommations énergétiques et identifier les pistes pour la réduire, permettant ainsi un meilleur suivi et encadrement de la consommation énergétique réelle<br>Since building envelope and MEP systems characteristics regularly improve, the weight of non-regulatory energy end-uses increases. These energy end-uses are typically associated with tenants or owners’ activities. In addition, high performance buildings show new issues related to HVAC systems operations. Therefore, it is important to evaluate and improve non-regulatory energy end-uses energy as well as HVAC systems operations efficiencies. We have developed polynomial energy models that can predict energy consumption as a function of building’s activities characteristics and HVAC systems operations factors. We used EnergyPlus software in order to build reliable energy models along with the D-optimum design of experiments method (DOE). Then, we used measurement and verification (M&V) data, associated with probability functions, to determine the associated uncertainty of the calculated energy consumption. Finally, we combine the latter with the polynomial modeling error to calculate the energy consumption global uncertainty, with the goal to identify strategies to reduce it
46
Benouahmane, Brahim. "Approximants de Padé et polynômes orthogonaux à deux variables." Rouen, 1992. http://www.theses.fr/1992ROUES051.
Full textAbstract:
On construit les approximants de type Padé d'une série double en choisissant un polynôme arbitraire comme polynôme générateur de l'approximant. Comme dans le cas d'une variable on montre l'existence d'une liaison naturelle entre la théorie des polynômes orthogonaux et celle des approximants de Padé à deux variables en imposant des conditions supplémentaires sur les polynômes générateurs. Les polynômes orthogonaux par rapport à une fonctionnelle linéaire sont caractérisés par le fait qu'ils vérifient des relations de récurrences. D'autres algorithmes que ces relations pour calculer les approximants de Padé sont présentés dans cette thèse. Des exemples numériques pour confirmer des résultats obtenus sont traités. On donne également une idée simple de généralisation de la théorie des polynômes orthogonaux et des approximants de Padé à n variables (n>2), à partir de deux variables
47
Sammoury, Mohamad Ali. "Étude théorique et numérique de la stabilité de certains systèmes distribués avec contrôle frontière de type dynamique." Thesis, Valenciennes, 2016. http://www.theses.fr/2016VALE0032/document.
Full textAbstract:
Cette thèse est consacrée à l’étude de la stabilisation de certains systèmes distribués avec contrôle frontière de type dynamique. Nous considérons, d’abord, la stabilisation de l’équation de la poutre de Rayleigh avec un seul contrôle frontière dynamique moment ou force. Nous montrons que le système n’est pas uniformément (autrement dit exponentiellement) stable; mais par une méthode spectrale, nous établissons le taux polynomial optimal de décroissance de l’énergie du système. Ensuite, nous étudions la stabilisation indirecte de l’équation des ondes avec un amortissement frontière de type dynamique fractionnel. Nous montrons que le taux de décroissance de l’énergie dépend de la nature géométrique du domaine. En utilisant la méthode fréquentielle et une méthode spectrale, nous montrons la non stabilité exponentielle et nous établissons, plusieurs résultats de stabilité polynomiale. Enfin, nous considérons l’approximation de l’équation des ondes mono-dimensionnelle avec un seul amortissement frontière de type dynamique par un schéma de différence finie. Par une méthode spectrale, nous montrons que l’énergie discrétisée ne décroit pas uniformément (par rapport au pas du maillage) polynomialement vers zéro comme l’énergie du système continu. Nous introduisons, alors, un terme de viscosité numérique et nous montrons la décroissance polynomiale uniforme de l’énergie de notre schéma discret avec ce terme de viscosité<br>This thesis is devoted to the study of the stabilization of some distributed systems with dynamic boundary control. First, we consider the stabilization of the Rayleigh beam equation with only one dynamic boundary control moment or force. We show that the system is not uniformly (exponentially) stable. However, using a spectral method, we establish the optimal polynomial decay rate of the energy of the system. Next, we study the indirect stability of the wave equation with a fractional dynamic boundary control. We show that the decay rate of the energy depends on the nature of the geometry of the domain. Using a frequency approach and a spectral method, we show the non exponential stability of the system and we establish, different polynomial stability results. Finally, we consider the finite difference space discretization of the 1-d wave equation with dynamic boundary control. First, using a spectral approach, we show that the polynomial decay of the discretized energy is not uniform with respect to the mesh size, as the energy of the continuous system. Next, we introduce a viscosity term and we establish the uniform (with respect to the mesh size) polynomial energy decay of our discrete scheme
48
Lin, Zhicong. "Eulerian calculus arising from permutation statistics." Phd thesis, Université Claude Bernard - Lyon I, 2014. http://tel.archives-ouvertes.fr/tel-00996105.
Full textAbstract:
In 2010 Chung-Graham-Knuth proved an interesting symmetric identity for the Eulerian numbers and asked for a q-analog version. Using the q-Eulerian polynomials introduced by Shareshian-Wachs we find such a q-identity. Moreover, we provide a bijective proof that we further generalize to prove other symmetric qidentities using a combinatorial model due to Foata-Han. Meanwhile, Hyatt has introduced the colored Eulerian quasisymmetric functions to study the joint distribution of the excedance number and major index on colored permutations. Using the Decrease Value Theorem of Foata-Han we give a new proof of his main generating function formula for the colored Eulerian quasisymmetric functions. Furthermore, certain symmetric q-Eulerian identities are generalized and expressed as identities involving the colored Eulerian quasisymmetric functions. Next, generalizing the recent works of Savage-Visontai and Beck-Braun we investigate some q-descent polynomials of general signed multipermutations. The factorial and multivariate generating functions for these q-descent polynomials are obtained and the real rootedness results of some of these polynomials are given. Finally, we study the diagonal generating function of the Jacobi-Stirling numbers of the second kind by generalizing the analogous results for the Stirling and Legendre-Stirling numbers of the second kind. It turns out that the generating function is a rational function, whose numerator is a polynomial with nonnegative integral coefficients. By applying Stanley's theory of P-partitions we find combinatorial interpretations of those coefficients
49
Ould, Mohamed Abdel Haye Mohamedou. "Théorèmes limites pour des processus à longue mémoire saisonnière." Phd thesis, Université des Sciences et Technologie de Lille - Lille I, 2001. http://tel.archives-ouvertes.fr/tel-00001326.
Full textAbstract:
Nous étudions le comportement asymptotique de statistiques ou fonctionnelles liées à des processus à longue mémoire saisonnière. Nous nous concentrons sur les lignes de Donsker et sur le processus empirique. Les suites considérées sont de la forme $G(X_n)$ où $(X_n)$ est un processus gaussien ou linéaire. Nous montrons que les résultats que Taqqu et Dobrushin ont obtenus pour des processus à longue mémoire dont la covariance est à variation régulière à l'infini peuvent être en défaut en présence d'effets saisonniers. Les différences portent aussi bien sur le coefficient de normalisation que sur la nature du processus limite. Notamment nous montrons que la limite du processus empirique bi-indexé, bien que restant dégénérée, n'est plus déterminée par le degré de Hermite de la fonction de répartition des données. En particulier, lorsque ce degré est égal à 1, la limite n'est plus nécessairement gaussienne. Par exemple on peut obtenir une combinaison de processus de Rosenblatt indépendants. Ces résultats sont appliqués à quelques problèmes statistiques comme le comportement asymptotique des U-statistiques, l'estimation de la densité et la détection de rupture.
50
Djalal, Boris. "Formalisations en Coq pour la décision de problèmes en géométrie algébrique réelle." Thesis, Université Côte d'Azur (ComUE), 2018. http://www.theses.fr/2018AZUR4206.
Full textAbstract:
Un problème de géométrie algébrique réelle s'exprime sous forme d’un système d’équations et d’inéquations polynomiales, dont l’ensemble des solutions est un ensemble semi-algébrique. L'objectif de cette thèse est de montrer comment les algorithmes de ce domaine peuvent être décrits formellement dans le langage du système de preuve Coq.Un premier résultat est la définition formelle et la certification de l’algorithme de transformation de Newton présentée dans la thèse d'A. Bostan. Ce travail fait intervenir non seulement des polynômes, mais également des séries formelles tronquées. Un deuxième résultat est la description d'un type de donnée représentant les ensembles semi-algébriques. Un ensemble semialgébrique est représenté par une formule logique du premier ordre basée sur des comparaisons entre expressions polynomiales multivariées. Pour ce type de données, nous montrons comment obtenir les différentes opérations ensemblistes et allons jusqu'à décrire les fonctions semi-algébriques. Pour toutes ces étapes, nous fournissons des preuves formelles vérifiées à l'aide de Coq. Enfin, nous montrons également comment la continuité des fonctions semi-algébrique peut être décrite, mais sans en fournir une preuve formelle complète<br>A real algebraic geometry problem is expressed as a system of polynomial equations and inequalities, and the set of solutions are semi-algebraic sets. The objective of this thesis is to show how the algorithms of this domain can be formally described in the language of the Coq proof system. A first result is the formal definition and certification of the Newton transformation algorithm presented in A. Bostan's thesis. This work involves not only polynomials, but also truncated formal series. A second result is the description of a data type representing semi-algebraic sets. A semi-algebraic set is represented by a first-order logical formula based on comparisons between multivariate polynomial expressions. For this type of data, we show how to obtain the different set operations all the way to describing semialgebraic functions. For all these steps, we provide formal proofs verified with Coq. Finally, we also show how the continuity of semi-algebraic functions can be described, but without providing a fully formalized proof