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. / 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.

Cette thèse porte sur la modélisation, pour le contrôle, des profils de compositions dans les colonnes de distillation cryogénique. Nous obtenons un modèle non-linéaire de convection-diffusion par réduction d'un modèle d'équations-bilans singulièrement perturbé. Du point de vue de l'automatique, nous nous intéressons à la stabilité des profils de compositions résultants, ainsi qu'à leur observabilité. Du point de vue du procédé, la nouvauté de notre modèle réside dans la prise en compte d'une efficacité de garnissage dépendant des conditions d'opération de la colonne. Le modèle est validé par des comparaisons avec des données de fonctionnement dynamique issues d'une unité de séparation réelle, pour la séparation d'un mélange binaire. Sur le cas plus complexe d'une cascade de colonnes séparant un mélange ternaire, le modèle montre une grande sensibilité aux erreurs d'estimation des taux de reflux. Des résultats adaptés du champ de la chromatographie nous permettent de relier cette sensibilité à des erreurs d'estimation des vitesses d'ondes de compositions cohérentes. En parallèle, nous proposons et testons également un modèle de fonctions de transfert simple (fondé sur des gains statiques et des retards purs uniquement) pour les petites dynamiques de compositions, qui dépend explicitement de valeurs mesurables ou observables sur le procédé / This thesis addresses the problem of modeling the composition profiles dynamics inside cryogenic distillation columns, for control applications. We obtain a non-linear convection-diffusion model from the reduction of a singularly perturbed mass-balances model. In the control theory framework, we consider the stability of the resulting composition profiles and their observability. From the process viewpoint, we express the novelty of our model in terms of operating-conditions dependent packing efficiency. The model is validated against real dynamic plant data for a binary separation case. On a more complex, ternary separation columns cascade, the model shows highly sensitive to reflux rate estimation errors. Result adapted from the field of chromatography allows us to interpret this sensitivity in terms of erroneous coherent composition waves speeds. In parallel, we also propose and test a simple transfer functions model (based on static gains and pure delays only) for small composition dynamics, which explicitly depends on measurable or observable process data.

Bien que ma dissertation de thèse consiste essentiellement en trois pièces de nature assez distincte (il s'agitde la traduction en tchèque de l'Analyse des infiniment petits, son commentaire et l'étude d'introduction),cependant, je subsume le tout sous une idée unificatrice de la loi de continuité leibnizienne qui régit le systèmede symboles au fondement du calcul différentiel. Quant à la première partie, elle décrit premièrement l'histoire dela vie du marquis de l'Hospital dite « officielle» ou bien « académique » due à l'Éloge de Bernard de Fontenellequi sert de l'arrière-plan de la seconde partie, de l'étude introductrice, du portrait « caché», consistant en l'analysedes succès géométriques du marquis, des solutions de problèmes physico-géométrique célèbres en comparaisonde celles de Jean Bernoulli, son jeune précepteur – fondée bien évidemment sur la correspondance mutuelle. Enraison de la nature du calcul leibnizienne tant physique que géométrique je démontre que c'était précisément lapureté géométrique de son esprit qui faisait obstacle à l’invention géométrique du marquis. En deuxième lieu jeprésente la description des controverses qui ont éclaté entre Leibniz et Nieuwentiijt sur la questions de fondementdu calcul, tout en précisant sur les écrits leibniziennes la nature symbolique ambiguë de différentielles. L'autrecontroverse, entre Rolle et Varignon, sert à décrire les contrainte institutionnelles du développement du calculaussi que les explication fondatrices de la part de Varignon qui indique la futur transformation newtonienne ducalcul infinitésimal. Enfin le commentaire, d'après ladite idée unificatrice, marque sur des exemplesmathématiques la transformation algébrique de la géométrie grecque pendant le XVIIe siècle tout en illustrant lesarticles de l'Analyse et comparant ses sources bernoulliennes. / The basis of my dissertation consists in three rather distinct parts, that is Czech translation, a commentaryand introduction to the famous Analyse des infiniment petitis by marquis the l'Hospital. Nevertheless I unify thewhole in virtue of the leibnizien metaphysical idea of the law of continuity governing the symbolic systemfundamental to the differential calculus of Leibniz. Concerning the first part of the introduction I represent the socalled academical or official picture of marquis de l'Hospital based on the Éloge by Bernard de Fontenelle. I usethis picture as a background to the so called hidden picture of the marquis, which consists in the analysis of thephysico-geometrical problems solved by the marquis de l'Hospital in comparison to those of Johann Bernoulli,based naturally on the correspondence of the two of them. I demonstrate, regarding the nature of the calculusboth physical and geometrical, that it was precisely the geometrical purity of his mind had forbidden him to makeinventions in geometry, unlike Johann Bernoulli. In the third part I describe the controversies that made part ofthe development of the calculus; firstly the controversy between Nieuwentijt and Leibniz concerning thefundamental questions of calculus. I precise on this occasion my views on the nature of leibnizian calculus asstated above, that is ambiguous symbolism of differentials. The second controversy, between Rolle and Varignonputs forward institutional obstacles of the development of the calculus as well as the foundational attempts madeby Varignon that indicated the future transformation of the calculus according to the spirit of Newton. Finally thecommentary, by the symbolic idea above, indicates the algebraical shift of the 17th century geometry; illustratesarticles of the Analyse des infiniment petits and shows the dependence on Bernoulli's inventions. / Práce je věnována přelomové, epochální práci prvního období infinitesimálního počtu, Analyse desinfiniment petits Guillauma, markýze de l'Hospitala. Dělí se na tři podstatné části: překlad, komentář a úvodnístudii. Účelem je představit toto dílo v jeho jedinečných okolnostech jeho vzniku a zároveň určit jeho obecnémísto v dějinách matematických idejí. Úvodní studie je věnována především osobnosti markýze de l'Hospitala.Na pozadí rozvoje infinitesimálního počtu se vykresluje jeho po dlouhou dobu oficiální obraz v dějináchmatematiky. V druhé části se rozebírá blízký lidský i matematický vztah markýze de l'Hospitala s JohannemBernoullim; a na základě rozboru markýzových geometrických úspěchů se ve srovnání s řešeními JohannaBernoulliho, bratra Jakoba a Leibnize se podává obecná charakteristika prvního infinitesimálního počtu cobygeometrické i fyzikální teorie a možností jeho objevitelských cest prostřednictvím analogií založených nanejzazším požadavku harmonie přírody. Třetí část úvodní studie v historických souvislostech sporů a výměnstran základů diferenciálního počtu objasňuje z hlavní ideje Leibnizovy symbolické přírody, totiž zákonakontinuity, povahu diferenciálního znaku dx, jeho radikální novost a argumenty ospravedlnění přesnostiinfinitesimálního počtu. Druhá kontroverze, která je v práci představena, probíhá mezi Rollem a Varignonem;podstatnými rysy jsou institucionální podmínky rozvoje počtu a Varignonovy pokusy o důkazy nekonečněmalých v Newtonově duchu. Komentář Analýzy nekonečně malých slouží k historickému, filologickému afilosofickému objasnění nových metod a dokládá utváření Analýzy nekonečně malých z jejích zdrojů, tj.přednášek Johanna Bernoulliho markýzi de l'Hospitalovi a jejich dopisové výměny

Ce rapport de thèse est consacré à l'étude de modèles de champ de phase de type Caginalp. Nous considérons ici, deux modèles : le premier étant une généralisation du modèle de champ de phase de Caginalp basée sur une généralisation de la loi de Maxwell-Cattaneo et le second une généralisation provenant de la théorie de la conduction de chaleur introduite par Chen et Gurtin. L'étude du premier modèle est faite aussi bien dans un domaine borné (avec un potentiel régulier puis dans le cas d'un potentiel non régulier), que dans un domaine non borné, en l'occurrence R3. Le second modèle est un problème de champ de phase avec un couplage (linéaire et non linéaire). Tout d'abord, l'existence, l'unicité et la régularité des solutions sont analysées aux moyens d'arguments classiques. Ensuite, l'existence d'ensembles bornés absorbants et compacts attractifs est établie, assurant ainsi l'existence de l'attracteur global. Enfin, dans certains cas, l'existence d'attracteurs exponentiels, ainsi que le comportement spatial des solutions lorsque le domaine spatial est un cylindre semi-infini tri-dimensionnel, sont analysés. / This thesis report is dedicated to the study of Caginalp type phase-field Models. Here, we consider two models: the first one being a generalization of the field phase Caginalp based on a generalization of the Maxwell-Cattaneo law and the second one coming from the theory of heat conduction involving two temperatures. We study the first model in bounded (with regular and irregular potentials) and unbounded (i.e. R3) domains. The second model is a phase-field one with coupling term (linear and nonlinear). Firstly, the existence, uniqueness and regularity of solutions are analyzed by means of classical arguments. Secondly, the existence of bounded absorbing sets and attractive compact is established. Such results ensures the existence of the global attractor. Finally, in some cases, the existence of exponential attractors, as well as the spatial behavior of solutions when the spatial domain is a three-dimensional semi-infinite cylinder, are analyzed.

This work presents new analytical and computational methods for operation security assessment of electric power systems by considering Angle and Voltage Stability Limits. In the context of Angle Stability, it was developed a method for estimating transient security margins based on equivalent network reduction techniques and coherent generators. The angle speed deviation was the criterion used to identify generators that swing together. The reduced order was accomplished by replacing two clusters of coherent generators by an One-Machine Infinite Bus equivalent system. With this equivalent, critical fault clearing times and security margins are calculated with the aid of the Equal Area Criterion. The results were in a good agreement when compared with others methods, especially those based on Transient Energy Function used as a Lyapunov function. The method was also applied for estimating security margins and critical fault clearing times of power systems in the presence of wind power generation. It was demonstrated that the proposed method can be used to select critical contingencies, where detailed power system models are needed such that it can reproduce the actual behavior of the system. With respect to Voltage Stability, it was developed an analytical and computational method for steady state voltage stability analysis on a P-Q plane. First of all, it was applied on a simple two-bus power system, and the analytical and computational results were compared. Then, a Voltage Stability Index was derived, in order to obtain the security margins of each bus for any operational state of an n-bus power system. It was carried out by using a power system reduction technique. With the Voltage Stability Index, it is possible to identify critical buses and the regions that are prone to voltage collapse. The voltage stability limits of a distribution power system was also analyzed by means of the P-Q curves, by considering different operation scenarios of wind power generation. It was demonstrated that the wind power can contribute to improve the voltage security margins. Finally, the method was applied to a real power system of Companhia Estadual de Distribuição de Energia Elétrica, in the presence of wind power generation. The methods are computationally efficient and suitable for planning, operation and real-time operation of electric power systems. / Este trabalho apresenta novos métodos analíticos e computacionais para a avaliação da segurança da operação de sistemas elétricos de potência considerando os Limites de Estabilidade Angular e de Tensão. No tema Estabilidade Angular, desenvolveu-se um método para a estimativa de margens de segurança transitória baseado em técnicas de redução de redes e geradores coerentes. O desvio de velocidade angular foi o critério usado para identificar geradores que oscilam juntos. A redução foi realizada substituindo-se dois grupos de geradores coerentes por um sistema Equivalente Máquina-Barra Infinita. Com este equivalente, os tempos críticos de abertura de falta e as margens de segurança são calculados com auxílio do Critério das Áreas Iguais. Os resultados encontrados foram muito satisfatórios quando comparados com aqueles obtidos por outros métodos, especialmente os que utilizam a função energia como função de Lyapunov. O método também foi aplicado para a estimativa de margens de segurança e tempos críticos de abertura de falta, em sistemas de potência na presença de geração eólica. Foi demonstrado que o método proposto é capaz de selecionar contingências críticas que precisam ser estudadas com modelos completos de modo a reproduzir o comportamento real do sistema elétrico. Com relação à Estabilidade Tensão, foi desenvolvido um método analítico e computacional para análise de estabilidade estática de tensão no plano P-Q. Primeiramente, o método foi aplicado em um sistema de potência simples com duas barras, e os resultados analíticos e computacionais foram comparados. Então, um Índice de Estabilidade de Tensão foi deduzido, para determinar a margem de segurança de cada barra para qualquer estado de operação de um sistema de potência com n-barras. Com o Índice de Estabilidade de Tensão, é possível identificar barras críticas e regiões com tendência ao colapso de tensão. Os limites de estabilidade de tensão de um sistema de distribuição foram analisados através das curvas P-Q , no qual foram considerados diferentes cenários de operação da geração eólica. Deste modo, foi demonstrado que a geração eólica pode contribuir para melhorar as margens de segurança de tensão. Finalmente, o método foi aplicado em um sistema de potência real pertencente à Companhia Estadual de Distribuição de Energia Elétrica. Os métodos desenvolvidos são computacionalmente eficientes e adequados para o planejamento da expansão e operação, bem como na operação em tempo real dos sistemas elétricos de potência.

Les progrès continus dans les techniques du stockage et de la collection des données permettent d'observer et d'enregistrer des processus d’une façon presque continue. Des exemples incluent des données climatiques, des valeurs de transactions financières, des modèles des niveaux de pollution, etc. Pour analyser ces processus, nous avons besoin des outils statistiques appropriés. Une technique très connue est l'analyse de données fonctionnelles (ADF).<p><p>L'objectif principal de ce projet de doctorat est d'analyser la dépendance temporelle de l’ADF. Cette dépendance se produit, par exemple, si les données sont constituées à partir d'un processus en temps continu qui a été découpé en segments, les jours par exemple. Nous sommes alors dans le cadre des séries temporelles fonctionnelles.<p><p>La première partie de la thèse concerne la régression linéaire fonctionnelle, une extension de la régression multivariée. Nous avons découvert une méthode, basé sur les données, pour choisir la dimension de l’estimateur. Contrairement aux résultats existants, cette méthode n’exige pas d'assomptions invérifiables. <p><p>Dans la deuxième partie, on analyse les modèles linéaires fonctionnels dynamiques (MLFD), afin d'étendre les modèles linéaires, déjà reconnu, dans un cadre de la dépendance temporelle. Nous obtenons des estimateurs et des tests statistiques par des méthodes d’analyse harmonique. Nous nous inspirons par des idées de Brillinger qui a étudié ces models dans un contexte d’espaces vectoriels. / Doctorat en Sciences / info:eu-repo/semantics/nonPublished

De nos jours, remplacer les solvants organiques utilisés traditionnellement dans l'industrie chimique par une nouvelle génération de solvants moins toxique, moins inflammable et moins polluante est un défi considérable. Les liquides ioniques, sels liquides qui satisfont ces critères, sont envisagés comme alternatives. Le but de ce travail est d'étudier le comportement des liquides ioniques en présence de composés organiques ou de gaz afin d'établir leur domaine d'applications dans le génie des procédés.Dans un premier temps, une étude chromatographique présente les interactions entre composés organiques et les liquides ioniques. Les données de rétention ont permis d'estimer la sélectivité à dilution infinie de plusieurs liquides ioniques pour différents problèmes de séparation. Un modèle de solvatation <<GC-LSER>> a été développé afin de prédire les coefficients de partage de solutés dans des liquides ioniques classiques et fonctionnalisés. Ensuite, l'étude des équilibres liquide-liquide de systèmes ternaires ont permis d'évaluer l'efficacité de trois liquides ioniques pour trois problèmes de séparation fréquemment rencontrés dans l'industrie chimique (extraction des composés aromatiques, du thiophène ou des alcools linéaires). Les valeurs des sélectivités et des coefficients de distribution élevées indiquent que les liquides ioniques étudiés peuvent remplacer les solvants traditionnels. Enfin, les performances des liquides ioniques pour la capture des gaz à effet de serre sont évaluées grâce à des mesures de solubilités du dioxyde de carbone et du protoxyde d'azote dans les liquides ioniques sous hautes pressions. Les données expérimentales ont été utilisées afin d'étendre le modèle PPR78 (Predictive 1978, Peng-Robinson equation of state) aux systèmes {CO2+ liquide ionique} / Nowadays, replacement of conventional organic solvents by a new generation of solvents less toxic, less flammable and less polluting is a major challenge for the chemical industry. Ionic liquids have been widely promoted as interesting substitutes for traditional solvents. The aim of this work is to study the behavior of ionic liquids with organic compounds or gases in order to determine their range of applications in process engineering.First, interactions between organic compounds and ionic liquids are studied using inverse gas chromatography. The activity coefficients at infinite dilution are used to calculate capacity and selectivity of different ionic liquids for different separation problems. A solvation model <<GC-LSER>> is proposed in order to estimate the gas-to-ionic liquid partition coefficients in alkyl or functionalized ionic liquids. Then, liquid-liquid equilibria measurements of ternary systems were carried out in order to evaluate the efficiency of three ionic liquids for three separation problems frequently encountered in chemical industry (extraction of aromatic compounds, thiophene or linear alcohols). The high values of distribution coefficients and selectivities indicate that the investigated ionic liquids could replace the traditional solvents. Finally, the performance of ionic liquids for greenhouse gases capture was examinated through solubility measurements of carbon dioxide and nitrous oxide in ionic liquids at high pressure. The experimental data is used in order to extend the model PPR78 (Predictive 1978, Peng-Robinson equation of state) to systems containing {CO2+ ionic liquid}

Information flow properties are away of specifying security properties of systems ,dating back to the work of Goguen and Meseguer in the eighties. In this framework ,a system is modeled as having high-level (or confidential)events as well as low-level (or public) events, and a typical property requires that the high-level events should not “influence ”the occurrence of low-level events. In other words, the sequence of low-level events observed from a system execution should not reveal “too much” information about the high-level events that may have taken place. For example, the trace-based “non-inference” property states that for every trace produced by the system, its projection to low-level events must also be a possible trace of the system. For a system satisfying non-inference, a low-level adversary (who knows the language generated by the system) viewing only the low-level events in any execution cannot infer any in-formation about the occurrence of high-level events in that execution. Other well-known properties include separability, generalized non-interference, non-deducibility of outputs etc. These properties are trace-based. Similarly there is another class of properties based on the structure of the transition system called bisimulation-based information flow properties, defined by Focardiand Gorrieriin1995. In our thesis we study the problem of model-checking the well-known trace-based and bisimulation-based properties for some popular classes of infinite-state system models. We first consider trace-based properties. We define some language-theoretic operations that help to characterize language-inclusion in terms of satisfaction of these properties. This gives us a reduction of the language inclusion problem for a class of system models, say F, to the model-checking problem for F, whenever F, is effectively closed under these language-theoretic operations. We apply this result to show that the model-checking problem for Petri nets, push down systems and for some properties on deterministic push down systems is undecidable. We also consider the class of visibly pushdown systems and show that their model-checking problem is undecidable in general(for some properties).Then we show that for the restricted class of visibly pushdown systems in which all the high (confidential) event are internal, the model-checking problem becomes decidable. Similarly we show that the problem of model-checking bisimulation-based properties is undecidable for Petrinets, pushdown systems and process algebras. Next we consider the problem of detecting information leakage in programs. Here the programs are modeled to have low and high inputs and low outputs. The well known definition of“ non-interference” on programs says that in no execution should the low outputs depend on the high inputs. However this definition was shown to be too strong to be used in practice, with a simple(and considered to be safe)“password-checking” program failing it.“Abstract non-interference(ANI)”and its variants were proposed in the literature to generalize or weaken non-interference. We call these definitions qualitative refinements of non-interference. We study the problem of model-checking many classes of finite-data programs(variables taking values from a bounded domain)for these refinements. We give algorithms and show that this problem is in PSPACE for while, EXPTIME for recursive and EXPSPACE for asynchronous finite-data programs. We finally study different quantitative refinements of non-interference pro-posed in the literature. We first characterize these measures in terms of pre images. These characterizations potentially help designing analysis computing over and under approximations for these measures. Then we investigate the applicability of these measures on standard cryptographic functions.

In this thesis, the main objects of study are probability measures on the isomorphism classes of countable, connected rooted graphs. An important class of such measures is formed by unimodular measures, which satisfy a certain equation, sometimes referred to as the intrinsic mass transport principle. The so-called law of a finite graph is an example of a unimodular measure. We say that a measure is sustained by a countable graph if the set of rooted connected components of the graph has full measure. We demonstrate several new results involving sustained unimodular measures, and provide thorough arguments for known ones. In particular, we give a criterion for unimodularity on connected graphs, deduce that connected graphs sustain at most one unimodular measure, and prove that unimodular measures sustained by disconnected graphs are convex combinations. Furthermore, we discuss weak limits of laws of finite graphs, and construct counterexamples to seemingly reasonable conjectures.

Nous proposons une approche spectrale permettant d'aborder des problèmes d'interpolation à noyaux dont la résolution numérique n'est pas directement envisageable. Un tel cas de figure se produit en particulier lorsque le nombre de données est infini. Nous considérons dans un premier temps le cadre de l'interpolation optimale dans les sous-espaces hilbertiens. Pour un problème donné, un opérateur intégral est défini à partir du noyau sous-jacent et d'une paramétrisation de l'ensemble des données basée sur un espace mesuré. La décomposition spectrale de l'opérateur est utilisée afin d'obtenir une formule de représentation pour l'interpolateur optimal et son approximation est alors rendu possible par troncature du spectre. Le choix de la mesure induit une fonction d'importance sur l'ensemble des données qui se traduit, en cas d'approximation, par une plus ou moins grande précision dans le rendu des données. Nous montrons à titre d'exemple comment cette approche peut être utilisée afin de rendre compte de contraintes de type "conditions aux limites" dans les modèles d'interpolation à noyaux. Le problème du conditionnement des processus gaussiens est également étudié dans ce contexte. Nous abordons enfin dans la dernière partie de notre manuscrit la notion de noyaux conditionnellement positifs. Nous proposons la définition générale de noyaux symétriques conditionnellement positifs relatifs à une espace de référence donné et développons la théorie des sous-espaces semi-hilbertiens leur étant associés. Nous étudions finalement la théorie de l'interpolation optimale dans cette classe d'espaces. / We propose a spectral approach for the resolution of kernel-based interpolation problems of which numerical solution can not be directly computed. Such a situation occurs in particular when the number of data is infinite. We first consider optimal interpolation in Hilbert subspaces. For a given problem, an integral operator is defined from the underlying kernel and a parameterization of the data set based on a measurable space. The spectral decomposition of the operator is used in order to obtain a representation formula for the optimal interpolator and spectral truncation allows its approximation. The choice of the measure on the parameters space introduces a hierarchy onto the data set which allows a tunable precision of the approximation. As an example, we show how this methodology can be used in order to enforce boundary conditions in kernel-based interpolation models. The Gaussian processes conditioning problem is also studied in this context. The last part of this thesis is devoted to the notion of conditionally positive kernels. We propose a general definition of symmetric conditionally positive kernels relative to a given space and exposed the associated theory of semi-Hilbert subspaces. We finally study the optimal interpolation problem in such spaces.