To see the other types of publications on this topic, follow the link: Stationnarité du second ordre.
Dissertations / Theses on the topic 'Stationnarité du second ordre'
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 'Stationnarité du second ordre.'
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
Jacob, Emmanuel. "Processus de Langevin réfléchis au second ordre." Phd thesis, Université Pierre et Marie Curie - Paris VI, 2010. http://tel.archives-ouvertes.fr/tel-00550719.
Full textAbstract:
Cette thèse propose une rencontre entre un objet stochastique, le processus de Langevin, c'est-à-dire l'intégrale du mouvement brownien, et une équation différentielle, celle du rebond ''au second ordre'', laquelle, à ma connaissance, a été étudiée jusqu'ici presque exclusivement dans un cadre déterministe. Historiquement, le processus de Langevin était un modèle concurrent du mouvement brownien pour décrire les trajectoires erratiques de particules comme celles observées par Brown. Au même titre, les processus de Langevin réfléchis au second ordre sont un modèle concurrent des mouvements browniens réfléchis, lesquels sont toujours réfléchis au premier ordre, selon notre terminologie. Si le processus de Langevin - respectivement le processus de Langevin réfléchi au second ordre - ne prétend pas rivaliser avec le mouvement brownien -- respectivement le mouvement brownien réfléchi -- pour ce qui est de son rayonnement et de son champ d'applications dans des domaines variés, il se prétend néanmoins être un modèle physique plus pertinent. Par ailleurs, pour la réflexion au second ordre déterministe, lorsque la force a un caractère fortement oscillant, l'équation différentielle admet, de manière assez générique, plusieurs solutions. Lorsque c'est un processus de Langevin qui est réfléchi, nous devons considérer l'équation différentielle, stochastique maintenant, lorsque la force est un bruit blanc... Nos prouverons néanmoins toujours l'existence d'une unique solution, au sens faible. Ces résultats contrastent fortement avec les résultats de non-unicité pour l'équation déterministe. Cette thèse s'articule autour de quatre chapitres. Le premier est une large partie introductrice, rédigée en français, dans un style discursif. Les trois suivants sont, tels quels, les articles que j'ai écrits (en anglais) au cours de cette thèse, publiés ou en voie de publication. Dans le premier chapitre, je commence par décrire le contexte historique, ancien comme récent, motivant cette étude. J'introduis d'une part la réflexion au second ordre, d'autre part le processus de Langevin et en particulier ses excursions, rappelant des résultats connus auxquels nous ferons appel. Je donne alors un aperçu de plusieurs notions et outils techniques que nous utiliserons. Il s'agit d'abord, en plus de la célèbre mesure d'excursion d'Itô d'un processus markovien, de la mesure d'excursion de Pitman d'un processus stationnaire. Il s'agit ensuite du principe des h-transformées, au sens de Doob, utilisées pour définir des processus de Markov conditionnés. Enfin, je résume en détail (et en français) les trois chapitres suivants. Le deuxième chapitre comporte d'abord une introduction au processus de Langevin stationnaire, puis une étude de sa mesure d'excursion de Pitman. Ce travail est alors appliqué à l'étude du processus de Langevin réfléchi sur une barrière totalement inélastique. Le troisième chapitre commence l'étude du processus de Langevin réfléchi sur une barrière partiellement élastique. Nous mettons en évidence l'existence de deux régimes bien distincts, selon la valeur du coefficient d'élasticité de la réflexion, comparée à la valeur critique c~0,163. En régime surcritique et critique, la principale difficulté est liée au cas où le processus réfléchi part de zéro avec vitesse nulle. Nous montrons que le processus reste alors bien défini de manière unique. Le quatrième chapitre s'attaque au régime sous-critique, plus difficile. En particulier, quelle que soit la condition initiale, en un temps fini le processus se retrouvera en 0 avec vitesse nulle. Nous montrons encore l'existence d'un unique processus réfléchi, décrit cette fois-ci via sa mesure d'excursion d'Itô.
2
Robet, Caroline. "Statistique des processus stables et des processus à longue mémoire." Thesis, Nantes, 2019. http://www.theses.fr/2019NANT4017/document.
Full textAbstract:
Ce manuscrit, séparé en deux parties, débute par l’étude des lois et processus -stables et des processus multistables. Après avoir construit et étudié un estimateur basé sur les log-moments de lois stables, on améliore ses performances en le combinant avec l’estimateur de Koutrouvelis. Puis, nous donnons une méthode approchée afin de simuler rapidement un processus multistable et nous construisons un estimateur de la fonction d’intensité de ce processus à l’aide du rapport de moments empiriques. La deuxième partie est consacrée à l’étude des processus stationnaires du second ordre à longue mémoire en temps continu. Ce processus est échantillonné à des instants d’observations aléatoires tels que les inter-arrivées soient i.i.d. Le comportement du processus échantillonné est alors étudié dans les domaines temporel et fréquentiel. Une étude plus précise dans le cas d’une fonction d’autocovariance à variation régulière permet de montrer l’évolution de la mémoire après échantillonnage. De plus, pour un processus initialement gaussien, on étudie le périodogramme, les sommes partielles et la convergence de l’estimateur local Whittle pour le paramètre de mémoire<br>This manuscript is divided into two parts. The first one is devoted to the study of - stable distributions and processes and multistable processes. After having built and studied an estimator based on log-moments of the stable distribution, an improvement is obtained by combining it with the Koutrouvelis estimator. Then, we give a nonexact method to simulate efficiently a multistable process, and we construct an estimator of its intensity function using an empirical moments ratio. The second part is devoted to the study of continuous time second order stationary processes with long memory. This process is sampled at random observation times such that inter-arrivals are i.i.d. The behaviour of the sampled process is then studied in time and frequency domains. For autocovariance functions with regular variation, we study the evolution of the memory after sampling. In addition, for an initially Gaussian process, the periodogram, partial sums and convergence of the local Whittle estimator for the memory parameter are studied
3
Chevreuil, Antoine. "Cyclo-stationnarite induite et egalisation aveugle au second-ordre." Paris, ENST, 1997. http://www.theses.fr/1997ENST0042.
Full textAbstract:
La majeure partie de la thèse traite de la transmission de symboles au travers d'un canal induisant des distorsions linéaires dues, par exemple, a l'existence de trajets multiples. On sait que dans les systèmes standards, le problème de l'identification du canal inconnu est pratiquement impossible lorsque des techniques aveugles (aucune séquence d'apprentissage n'est disponible) du second-ordre (seuls les moments d'ordre deux du processus d'observation sont pris en compte) sont considérées. Aussi nous sommes-nous intéresses à des schémas de modification de la suite des symboles de départ en une suite dite de pseudo-symboles qui, elle, admet des propriétés de cyclo-stationnarité ; on parle de schémas de cyclo-stationnarité induite. Par rapport à un système classique, le type de transmission que nous préconisons laisse inchangée l'efficacité spectrale. Nous montrons que l'enrichissement des statistiques dans le domaine cyclique, que nous pouvons légitimement appeler renforcement de la diversité cyclique, donne naissance à des algorithmes (aveugles au second-ordre) d'identification du canal inconnu laissant apparaitre une robustesse de plusieurs natures : robustesse au canal (tous les canaux sont identifiables), au bruit, a la surdétermination du modele deux schémas sont proposés et analyses : la modulation des symboles par une fonction périodique, et la répétition/modulation. Les covariances asymptotiques des estimateurs sont calculées, et leurs expressions utilisées pour l'optimisation des paramètres des deux schémas. Une autre propriété de la cyclo-stationnarité induite est mise à profit dans le cadre plus général de la transmission de plusieurs utilisateurs dans une même bande de fréquences. Nous montrons que le problème complexe d'identification d'un canal a plusieurs entrées peut être scinde en plusieurs problèmes simples de type mono-entrée des lors qu'un jeu de fréquences cycliques propre est alloué à chaque utilisateur. Des taux d'erreurs sont donnes. Enfin, une annexe est consacrée à la résolution d'un problème théorique d'estimation spectrale en milieu périodiquement corrèle.
4
Chevreuil, Antoine. "Cyclo-stationnarité induite et égalisation aveugle au second-ordre /." Paris : École nationale supérieure des télécommunications, 1997. http://catalogue.bnf.fr/ark:/12148/cb36705513b.
Full textAbstract:
Th. doct.--Électronique et communications--Paris--ENST, 1997.<br>Textes en français ou en anglais. En appendice, choix de documents en français ou en anglais. Bibliogr. p. 151-154. Résumé en français.
5
Fouedjio, Kameni Migraine Francky. "Contributions à la modélisation et à l'inférence des fonctions aléatoires non-stationnaires de second ordre." Thesis, Paris, ENMP, 2014. http://www.theses.fr/2014ENMP0040/document.
Full textAbstract:
Les fonctions aléatoires stationnaires ont été utilisées avec succès dans les applications géostatistiques depuis plusieurs décennies. La structure de dépendance spatiale sous-jacente de la fonction aléatoire est alors représentée par un variogramme ou une covariance stationnaire. Cependant, dans certaines situations, il y a très peu de raisons de s'attendre à une structure de dépendance spatiale stationnaire sur l'ensemble du domaine d'intérêt. Dans cette thèse, deux approches de modélisation non-stationnaire de fonctions aléatoires sont considérées: déformation d'espace et convolution stochastique. Pour chacune d'elle, nous développons une méthodologie statistique d'estimation de la structure de dépendance spatiale non-stationnaire, dans le contexte d'une réalisation unique. Par ailleurs, nous montrons également comment dans ce cadre non-stationnaire, les prédictions spatiales et les simulations conditionnelles peuvent être menées. Les méthodes d'inférence développées permettent de capturer des structures de dépendance variables tout en garantissant la cohérence globale du modèle final. L'évaluation de leur performance selon plusieurs critères, sur des données synthétiques et réelles montre qu'elles donnent de meilleurs résultats de prédiction qu'une méthode stationnaire. Au delà de la prédiction, elles peuvent également servir comme outil pour une analyse exploratoire de la non-stationnarité<br>Stationary Random Functions have been sucessfully applied in geostatistical applications for decades. The underlying spatial dependence structure of the Random Function is represented by a stationary variogram or covariance. However, in some instances, there is little reason to expect the spatial dependence structure to be stationary over the whole region of interest. In this manuscript, two non-stationary modelling approaches for Random Functions are considered: space deformation and stochastic convolution. For each of them, we develop a statistical methodology for estimating the non-stationary spatial dependence structure, in the context of a single realization. Moreover, we also show how spatial predictions and conditional simulations can be carried out in this non-stationary framework. The developed inference methods allow to capture varying spatial structures while guaranteeing the global consistency of the final model. The assessment of their performance on both synthetic and real datasets show that they outperform stationary method, according to several criteria. Beyond the prediction, they can also serve as a tool for exploratory analysis of the non-stationarity
6
Gazzah, Houcem. "Identification aveugle au second ordre, ordre et diversité des canaux /." Paris : École nationale supérieure des télécommunications, 2000. http://catalogue.bnf.fr/ark:/12148/cb37215949x.
Full text
7
Gazzah, Houcem. "Identification aveugle au second ordre, ordre et diversité des canaux." Paris, ENST, 2000. http://www.theses.fr/2000ENST0022.
Full textAbstract:
Les algorithmes d'identification aveugle développent à ce jour, présentent les inconvénients communs suivants qui pénalisent leur exploitation en pratique. Ils nécessitent la connaissance de l'ordre exact du canal alors que les algorithmes de détection de l'ordre sont peu fiables. D'un autre cote, ils sont incapables d'estimer la réponse du canal lorsqu'elle contient des termes faibles au début et/ou à la fin, ce qui est fréquent en pratique. Par rapport au premier problème, on a développé un nouvel algorithme d'identification aveugle qui est robuste à la surestimation de l'ordre du canal, et ce au vrai sens de la robustesse i. E. , une bonne estimation du canal est toujours possible lorsqu'on connait une valeur arbitrairement surestimée de l'ordre exact et lorsqu'on dispose d'un nombre fini d'observations. Ceci dispense surtout de l'utilisation des algorithmes de détection de l'ordre. Par rapport au deuxième problème, on a exprimé les performances des algorithmes d'identification en termes de conditionnement des matrices de covariance des canaux simo. On a généralise, aux matrices blocs de toeplitz, le théorème de szego qui établit que le conditionnement de ces matrices est lie à la fonction de transfert du canal en question. Ceci permet de donner une interprétation spectrale de la diversité des canaux et interpréter les mauvaises performances des algorithmes d'identification, notamment dans le cas des canaux à bande limitée. Une alternative à la détection de l'ordre total du canal est la détection de l'ordre de sa partie significative, celle qui contient les termes prépondérants. Ceci permet dans certaines situations d'achever une bonne estimation du canal qui ne serait pas possible si l'ordre total (et donc des termes faibles) ont été pris en considération. Une étude de performance des algorithmes d'identification dans ces conditions a été réalisée.
8
AMIOT, GILLES. "Unification et logique du second ordre." Paris 7, 1994. http://www.theses.fr/1994PA077003.
Full textAbstract:
Cette these est une etude de l'unification et de ses rapports et liens avec la theorie de la demonstration. Premierement, nous regardons en details les problemes de decision pour l'unification des termes du second ordre en situant avec precision la frontiere qui separe la decidabilite de l'indecidabilite. Nous appliquons alors ces resultats au cas des predicats du second ordre et obtenons un resultat d'indecidabilite. Deuxiemement, nous montrons les liens existants entre la e-unification rigide et la logique lineaire du second ordre par un codage direct et simple. Finalement, nous appliquons ces resultats au cas de la logique lineaire multiplicative (et multiplicative-additive) du second ordre avec quantification du premier ordre pour en obtenir l'indecidabilite des que le langage contient une constante de fonction d'arite au moins egale a deux
9
Bac-Bruasse, Alexandra. "Logique lineaire indéxée du second ordre." Aix-Marseille 2, 2001. http://www.theses.fr/2001AIX22058.
Full text
10
Bakri, Laurent. "Ordre d'annulation et ensembles nodaux de solutions d'équations elliptiques du second ordre." Brest, 2010. http://www.theses.fr/2010BRES2061.
Full textAbstract:
Sur une variété Riemannienne compacte, on s’intéresse à l’ordre d’annulation d’une solution de l’équation de Schrödinger stationnaire en fonction du potentiel scalaire. Dans un premier temps, nous établissons une inégalité de Carleman quantitative pour l’opérateur de Schrödinger associé à cette équation. Grâce à elle nous obtenons une majoration de l’ordre d’annulation en fonction du potentiel scalaire, qu’il soit Lipschitz ou borné. Ces majorations étant réalisées grâce aux inégalités de doubling, nous en dérivons ensuite plusieurs estimations sur la mesure des ensembles nodaux et critiques des solutions. Finalement, nous montrons l’optimalité de nos résultats grâce à la construction d’exemples explicites<br>On a closed manifold, we study the vanishing order of a solution to the Schrödinger equation, depending on the scalar potential. First we establish a quantitative version of Carleman estimate for the Schrödinger operator. Then we derive from this an upper bound on the vanishing order, depending on the scalar potential which can be Lipschitz or bounded. Since these estimates are realised through doubling inequalities, we can then deduce some estimates on the measure of the nodal sets and critical sets of solutions. Finally, we shown our results are sharp by constructing explicit examples
11
DURAND, ARNAUD. "Hierarchies de definissabilite logique au second ordre." Caen, 1996. http://www.theses.fr/1996CAEN2024.
Full textAbstract:
La definissabilite logique sur les structures finies s'est beaucoup developpee ces dernieres annees principalement en raisons des nombreuses connexions qui existent entre ce domaine et la theorie de la complexite algorithmique. Dans cette optique, cette these s'interesse a l'etude du pouvoir d'expression de fragments particulierement significatifs de la logique existentielle du second ordre. On montre tout d'abord que, dans cette logique, toute formule dont la quantification au second ordre porte sur un nombre quelconque de fonctions unaires est logiquement equivalente, sur les structures finies, a une formule ou une seule relation binaire est quantifiee. On raffine ensuite ce resultat de plusieurs manieres. Celui-ci reste vrai si la relation binaire est restreinte a une relation symetrique, un ordre partiel ou meme une relation bipartie. De plus, on montre que l'on peut conserver le nombre de quantificateurs universels dans le prefixe du premier ordre. Ce dernier resultat nous permet de donner une nouvelle caracterisation logique de nlin (temps lineaire non deterministe). En utilisant un theoreme d'ajtai, on donne ensuite un resultat de separation en montrant que la parite du nombre d'aretes d'un graphe n'est pas definissable avec des fonctions unaires au second ordre mais qu'elle l'est avec une seule relation binaire. Enfin, on presente un nouveau theoreme de hierarchie sur les spectres prenant en compte a la fois l'arite des predicats et le nombre de quantificateurs universels
12
Seeger, Alberto. "Analyse du second ordre de problèmes non différentiables." Grenoble 2 : ANRT, 1986. http://catalogue.bnf.fr/ark:/12148/cb376011288.
Full text
13
Raffalli, Christophe. "L'arithmetique fonctionnelle du second ordre avec points fixes." Paris 7, 1994. http://www.theses.fr/1994PA077080.
Full textAbstract:
Le paradigme preuve comme programme permet de considerer les preuves en deduction naturelle du second ordre comme des programmes en lambda-calcul. Toutefois, sa pratique dans le cadre de l'arithmetique fonctionnelle du second ordre, due a leivant et krivine, produit des programmes peu realistes. Afin de combler en partie ce defaut, parigot introduit un connecteur de plus petit point fixe, utilise pour construire des types inductifs. Cette these etudie l'extension simultanee du systeme par des connecteurs de plus petit et de plus grand points fixes. Ce dernier autorise l'utilisation de donnees infinies tels les streams. L'approche que nous presentons est originale, car les donnees infinies sont representees par des termes non-normalisables. En contre-partie, la normalisation est remplacee par la notion de solvabilite hereditaire, qui est verifiee par une tres large partie du systeme. Nous montrons aussi qu'avec cette approche, chaque element d'un type de donnees (infinies ou non) trouve une unique representation en lambda-calcul, ce qui permet d'en deduire la correction des programmes extraits. Le reste de la these est consacree a quelques exemples ainsi qu'a l'etude des problemes poses par la definition de l'egalite sur les types de donnees infinies
14
Farkh, Samir. "Types de données en logique du second ordre." Chambéry, 1998. http://www.theses.fr/1998CHAMS031.
Full textAbstract:
Ce travail de thèse étudie le systeme af2 de j. L. Krivine, qui est une extension du système f de j. Y. Girard. Dans af2, on peut obtenir un programme calculant une fonction, en exprimant les types de données algébriques (booléens, entiers, liste d'entiers)et en écrivant une démonstration de la totalité de la fonction. La classe a des types de données algébriques à la particularité suivante : un terme normal est typable d'un type d. A ssi il est dans l'interprétation de d, pour la sémantique de réalisabilité. Le but était de construire des classes (selon la sémantique adaptée des parties saturées) plus larges de types ayant cette particularité. Ces types nous les avons appelés types complets, puisque la sémantique considérée est complète pour ces types. Nous avons montré que les types a quantificateurs positifs (les quantifications du second ordre n'apparaissent pas en position negative) dans af2 sont des types complets pour la sémantique des parties saturées par -équivalence. Comme on avait besoin dans la démonstration de la conservation de type par -réduction (en effet, le système af2 n'a pas cette propriété) et comme la clôture par expansion faible de tête est une notion plus faible que celle de clôture par -équivalence, on était intéressé à étendre ce résultat a un modèle sature par expansion faible de tête. Ceci nous a amené à construire une classe plus restreinte de types (les bons types positifs), pour lesquels la -réduction est préservée et qui sont complets pour la sémantique des parties saturées par expansion faible de tête. Une deuxième façon pour avoir la préservation de types par -réduction était d'étendre af2 a un système de typage af2s qui a seulement trois règles de typage et parametre par une relation de sous typage. Nous avons montré que af2s n'est autre que af2 auquel on ajoute la préservation de type par -réduction comme règle de typage. Ensuite nous avons montré dans af2s, que les types a quantificateurs positifs sont complets pour la sémantique des parties stables par expansion faible de tête. Dans le dernier chapitre on a donné une définition d'un type de données du système f par des types entree-sortie qui servent à caractériser les domaines et codomaines des fonctions que l'on cherche à programmer. Nous avons montre que les types à quantificateurs positifs sont des types entrée et sortie, que tout type entrée est un type sortie. La réciproque est démontrée dans des cas particuliers, ou on impose des restrictions sur la règle d'élimination des quantificateurs du second ordre. La thèse conclut avec d'autres résultats, en particulier sur les opérateurs de mise en mémoire de j. L. Krivine.
15
Seeger, Alberto. "Analyse du second ordre de problèmes non différentiables." Toulouse 3, 1986. http://www.theses.fr/1986TOU30118.
Full textAbstract:
Le but de ce travail est de faire une analyse du second ordre des fonctions non différentiables. Dans une première partie, on donne des conditions suffisantes qui permettent d'assurer l'existence et de donner des estimations de la dérivée directionnelle du second ordre, au sens de ben-tal et zowe, d'une fonction marginale générale. Cela nous amène à introduire et à étudier une notion analogue de dérivation du second ordre pour une multiplication. Dans une deuxième partie, on considère l'importance classe des fonctions convexes non nécessairement différentiables définies sur un espace vectoriel topologique localement convexe quelconque. On introduit deux nouveaux ensembles convexes qui jouent le rôle d'un sous-différentiel du second ordre d'une telle fonction, le premier d'entre eux dépendant du choix particulier d'un sous-gradient. On étudie d'une façon exhaustive les propriétés générales de tels ensembles et, ensuite, on énonce des règles de calcul qui en donnent des estimations lorsque la fonction convexe est construite à partir d'autres plus simples. La plupart des opérations qui préservent la convexité ont été considérées. Finalement, on montre comment les notions de sous-differentiabilité du second ordre nous permettent de généraliser, du moins sous forme conceptuelle, les algorithmes de minimisation du type newton au cadre de l'optimisation convexe non différentiable
16
RAMIREZ-LEON, HERMILO. "Modelisation au second ordre d'ecoulements turbulents fortement chauffes." Nantes, 1991. http://www.theses.fr/1991NANT2073.
Full textAbstract:
L'objectif de cette recherche est l'analyse theorique, la modelisation et la resolution numerique d'ecoulements a masse volumique variable. On etablit une formulation mathematique qui prend en compte la variation de la masse volumique a partir d'un developpement limite au premier ordre sur les fluctuations de pression. Les equations statistiques de la turbulence sont obtenues en utilisant la decomposition statistique de reynolds. Les mecanismes physiques de bilan sont decrits en utilisant un decouplage formel du processus isovolume auxquels s'ajoutent des termes de deviation associes aux changements de volume. Les equations de la turbulence qui en resultent sont modelisees a l'aide d'une fermeture au second ordre. Le modele introduit un traitement particulier des mecanismes de dissipation. Dans le code de calcul qui a ete developpe l'equation de continuite est resolue a l'aide d'une extention de la methode de compressibilite adaptee au cas d'un ecoulement compressible. Les resultats obtenus pour des jets plans turbulents faiblement chauffes et fortement chauffes sont compares a des donnees experimentales et a d'autres simulations numeriques. L'influence de la variation de la masse volumique est mise en evidence
17
Berciano, Mathias. "Nonlinéarités optiques du second ordre dans le silicium." Thesis, Université Paris-Saclay (ComUE), 2018. http://www.theses.fr/2018SACLS565/document.
Full textAbstract:
L’explosion de la demande en données a imposé de nouvelles exigences en terme de débit de transmission qui sont de plus en difficiles à satisfaire sans accroître considérablement les consommations énergétiques dans les centres de données, points névralgiques des réseaux de télécommunications. Dans ce contexte, la photonique silicium est considérée comme la solution la plus adaptée pour répondre de ces problématiques en remplaçant les interconnexions métalliques par des liaisons optiques à base de silicium. Le modulateur électro-optique constitue l’un des composants clés de ces liaisons optiques. Cependant, la centrosymétrie du silicium empêche l’exploitation de l’effet Pockels, un phénomène d’optique non linéaire très efficace dans la conception de modulateurs à très grande bande passante et à faible consommation énergétique. Cette limitation peut être néanmoins contournée lorsque des contraintes mécaniques sont appliquées au silicium de façon à briser sa symétrie d’inversion. Plusieurs travaux théoriques et expérimentaux ont alors été entrepris récemment pour mettre en évidence et quantifier l’effet Pockels induit par contraintes dans le silicium. Mais la nature semi-conductrice du silicium rend l’analyse de l’effet Pockels profondément complexe et cela a soulevé une controverse quant à sa réelle existence dans le silicium contraint. En effet, l’influence des porteurs libres dans le silicium et aux interfaces engendrent un fort signal de modulation, noyant la signature de l’effet Pockels. Pour enrayer les effets de porteurs, la solution apportée par le travail de thèse a été d’étudier le signal de modulation à hautes fréquences (> 5 GHz). Plusieurs études hyperfréquences de l’effet Pockels ont donc été menées dans des structures photoniques en silicium contraint et seront présentées dans ce manuscrit de thèse. Les premières études ont été réalisées sur une plate-forme SOI et les résultats expérimentaux ont permis de mettre en évidence la présence d’un signal de modulation électro-optique à hautes fréquences et dont l’intensité dépend clairement de l’orientation cristallographique du silicium et de l’amplitude de la contrainte appliquée sur celui-ci. Sur la base d’un modèle théorique décrivant le tenseur de susceptibilité électrique du second ordre χ(²), un modèle multiphysique a été développé et a permis de décrire de manière très précise à la fois les résultats expérimentaux et la distribution spatiale du χ(²) dans des guides d’onde silicium contraints. Ces travaux ont également permis de montrer que les faibles intensités des champs électriques appliqués dans les guides d’onde silicium, dues à la distribution des porteurs, sont en grande partie responsable de la faible efficacité de modulation par effet Pockels. Une seconde étude a donc été menée sur une plate-forme SOI modifiée et permettant la conception de circuits électriques plus performants avec des champs électriques générés plus intenses. Les résultats expérimentaux obtenus montrent une amélioration d’un facteur 20 de l’efficacité de modulation par effet Pockels en comparaison des premières études. De plus, le modèle multiphysique a de nouveau permis de décrire ces résultats, renforçant donc davantage sa validité. L’ensemble de ces travaux ouvrent notamment comme perspectives la possibilité d’obtenir un diagramme de l’œil électro-optique dans la mesure où une contrainte plus importante est appliquée aux guides d’onde silicium. De plus, le modèle décrivant le tenseur de susceptibilité électrique du second ordre χ(²) peut également être exploité pour décrire le phénomène de génération de seconde harmonique en optique guidée dont l’existence reste encore ambiguë à l’heure actuelle<br>The explosion of data demand imposed new requirements in terms of data transmission rate that are more and more difficult to meet without greatly increasing the power consumption in data centres, hot spots of telecommunications networks. In this context, silicon photonics is considered the most adapted solution to address these complex issues by replacing metallic interconnects by silicon-based photonic links. The electro-optic modulator is one major building block in such photonic links and ensure the conversion of data carried by an electric signal to an optical one. However, silicon being a centrosymmetric material, it cannot exhibit the Pockels effect, a very valuable optical nonlinear phenomenon used in most high-speed and low power consumption modulators. This limitation is nonetheless relaxed by applying deformations to the silicon lattice by means of stress in order to break its inversion symmetry. Numerous theoretical and experimental studies were reported to demonstrate and quantify the Pockels effect. But, the semiconductor nature of silicon tremendously complicate the analysis of the Pockels effect, which existence was questioned in strained silicon and source of controversy. Indeed, free carriers in silicon waveguides and at the interfaces induce a strong modulation signal, thereby screening Pockels effect. To stem the influence of free carriers, the work done in the thesis consisted in studying high frequency-based modulation signal (> 5 GHz). Various microwave studies were then performed in strained silicon photonic structures and will be presented in the following thesis manuscript. First studies were achieved on a SOI platform and the obtained experimental results demonstrated the presence of a weak high-frequency electro-optic modulation signal which intensity clearly depends on the silicon cristallographic direction and the level of stress applied to silicon. Based on a theoretical model describing the second-order nonlinear electric susceptibility χ(²), a multiphysic model has been developed and successfully described both experimental results and the spatial distribution of χ(²) within strained silicon waveguides. These studies also showed that the weak intensity of the applied electric fields, due to the free carriers distribution, are responsible for the weak measured Pockels-based modulation efficiencies. A second study has then been carried out on a modified SOI platform allowing the design of more efficient electric circuits inducing stronger electric fields. An improvement by a factor of 20 was observed on the obtained experimental results compared to the previous ones. Moreover, the multiphysic model could again describe those results, proving its reliability. As outlooks, electro-optic eye diagram of complex electric signals could be obtained at the condition of stronger stress applied to silicon waveguides. Furthermore, the model describing the second-order nonlinear susceptibility χ(²) can also be exploited to depict the second harmonic generation in strained silicon waveguides, which existence is still not clear for the moment
18
Etcheverlepo, Adrien. "Développement de méthodes de domaines fictifs au second ordre." Phd thesis, Université Sciences et Technologies - Bordeaux I, 2013. http://tel.archives-ouvertes.fr/tel-00821897.
Full textAbstract:
La simulation d'écoulements dans des géométries complexes nécessite la création de maillages parfois difficile à réaliser. La méthode de pénalisation proposée dans ce travail permet de simplifier cette étape. En effet, la résolution des équations qui gouvernent l'écoulement se fait sur un maillage plus simple mais non-adapté à la géométrie du problème. Les conditions aux limites sur les parties du domaine physique immergées dans le maillage sont prises en compte à travers l'ajout d'un terme de pénalisation dans les équations. Nous nous sommes intéressés à l'approximation du terme de pénalisation pour une discrétisation par volumes finis sur maillages décalés et colocatifs. Les cas tests de vérification réalisés attestent d'un ordre de convergence spatial égal à 2 pour la méthode de pénalisation appliquée à la résolution d'une équation de type Poisson ou des équations de Navier-Stokes. Enfin, on présente les résultats obtenus pour la simulation d'écoulements turbulents autour d'un cylindre à Re=3900 et à l'intérieur d'une partie d'un assemblage combustible à Re=9500.
19
Abed, Meraim Karim. "Identification, égalisation autodidacte au second ordre : algorithmes et performances /." Paris : Ecole nationale supérieure des télécommunications, 1995. http://catalogue.bnf.fr/ark:/12148/cb35837048r.
Full text
20
Gorokhov, Alexei. "Séparation autodidacte de mélanges convolutifs : méthodes du second ordre /." Paris : École nationale supérieure des télécommunications, 1997. http://catalogue.bnf.fr/ark:/12148/cb36703806d.
Full text
21
Gorokhov, Alexei. "Séparation autodidacte de mélanges convolutifs : methodes du second ordre." Paris, ENST, 1997. http://www.theses.fr/1997ENST0007.
Full textAbstract:
Ce travail de thèse se situe dans le cadre du problème général de l'identification autodidacte d'un mélange convoluta plusieurs entrées/plusieurs sorties qui est aussi un problème de l'identification de la matrice de transfert d'un système linéaire à partir des sorties observées et des propriétés statistiques des entrées. Parmi nombreuses applications de cette recherche il faut accentuer égalisation non-supervisée de canaux des communications numériques ainsi que séparation de plusieurs utilisateurs situes dans le même canal hertzien des systèmes a accès multiple sdma/cdma. Notre étude est particulièrement focalisée sur le développement des estimateurs du second ordre qui permettent une mise en œuvre explicite et jouissent de bonnes performances dans les environnements peu bruites quand le nombre d'observations est limite. La plupart de résultats sont obtenus pour les systèmes linéaires à réponse impulsionnelle finie caractérises par une matrice de transfert polynomiale.
22
Cominetti, Roberto. "Analyse du second ordre de problèmes d'optimisation non-différentiable." Clermont-Ferrand 2, 1989. http://www.theses.fr/1989CLF21164.
Full textAbstract:
L'analyse du second ordre des problèmes d'optimisation non lisse suppose le développement d'un calcul différentiel généralisé approprié. Au niveau des applications de ce développement on traite des questions d'optimalité du second ordre, de la sensibilité et la stabilité des programmes perturbés en l'absence de différentiabilité des solutions et de la différentiabilité première et seconde des différentes multiapplications intervenant en optimisation.
23
Yakobowski, Boris. "Types et contraintes graphiques - polymorphisme de second ordre et inférence." Phd thesis, Université Paris-Diderot - Paris VII, 2008. http://tel.archives-ouvertes.fr/tel-00357708.
Full textAbstract:
MLF est un système de types combinant le polymorphisme implicite de seconde classe de ML avec le polymorphisme de première classe mais explicite du Système F. Nous proposons une représentation des types de MLF qui superpose un graphe acyclique orienté du premier ordre (encodant la structure du type avec partage) et un arbre inversé (encodant la structure de lieurs du type). Cela permet une définition simple et directe de l'instance sur les types, qui se décompose en une instance sur la structure du type, des opérations simples sur l'arbre de lieurs, et un contrôle acceptant ou rejetant ces opérations. En utilisant cette représentation, nous présentons un algorithme d'unification sur les types de MLF ayant une complexité linéaire.<br /><br />Nous étendons ensuite les types graphiques en un système de contraintes graphiques permettant l'inférence de types à la fois pour ML et MLF. Nous proposons quelques transformations préservant la sémantique de ces contraintes, et donnons une stratégie pour utiliser ces transformations afin de résoudre les contraintes de typage. Nous montrons que l'algorithme résultant a une complexité optimale pour l'inférence de types dans MLF, et que, comme pour ML, cette complexité est linéaire sous des hypothèses raisonnables.<br /><br />Enfin, nous présentons une version à la Church de MLF, appelée xMLF, dans laquelle tous les paramètres de fonctions, toutes les abstractions de type et toutes les instantiations de types sont explicites. Nous donnons des règles de réduction pour réduire les instantiations de types. Le système obtenu est confluent lorsque la réduction forte est autorisée, et vérifie la propriété de réduction du sujet. Nous montrons aussi le lemme de progression pour des stratégies faibles de réduction, dont l'appel par nom et l'appel par valeur en restreignant ou non le polymorphisme aux valeurs. Nous proposons un encodage de MLF dans xMLF qui préserve les types, ce qui assure la sureté de MLF.
24
Cadiou, Anne. "Contribution a l'etude de modeles de turbulence au second ordre." Phd thesis, Ecole centrale de nantes - ECN, 1996. http://tel.archives-ouvertes.fr/tel-00086507.
Full textAbstract:
La modelisation statistique en un point d'ecoulements turbulents incompressibles constitue le cadre de ce travail.<br /><br />Dans un premier temps, l'etude du comportement de modeles homogenes classiques de type Rij-epsilon a ete effectuee pour des ecoulements soumis a des effets de rotation. Cette etude a permis de s'interesser plus particulierement a la modelisation du tenseur des correlations pression-deformation et de discuter des contraintes d'objectivite, de realisabilite, et de verification des etats limites de distorsions rapides. Les modeles choisis ont ete testes sur des ecoulements homogenes classiques et compares a des resultats de simulation directe. Les difficultes de prediction des<br />ecoulements fortement rotationnels par ces formulations classiques ont conduit au developpement d'un modele homogene base sur l'equation de transport du tenseur des correlations pression-deformation, dont l'expression est deduite d'une description spectrale de la turbulence. Ce modele necessite la fermeture de trois termes, correspondant au tenseur des taux de dissipation et aux termes lent et rapide de l'equation d'evolution du tenseur de Reynolds. Ses performances ont ete comparees aux modeles classiques dans les cas homogenes precedents et pour des ecoulements de distorsions rapides. Les comparaisons ont montre notamment un meilleur comportement du terme rapide de ce modele par rapport aux formulations classiques.<br /><br /><br /><br /> La prise en compte des effets de paroi constitue la deuxieme partie du travail de these. Trois modeles du second ordre bas-Reynolds ont ete appliques au cas du canal plan etabli. Les comportements asymptotiques des modeles ont ete compares a l'aide de developpements de Taylor au voisinage des parois et de resultats de simulation directe. L'extension du modele developpe precedemment pour<br />des ecoulements homogenes a egalement ete effectuee dans le cas du canal plan.<br /><br /> Le niveau inhabituel de la fermeture proposee rend difficile son application a des configurations tridimensionnelles. La derniere partie de ce travail est par consequent consacree a la validation de fermetures bas-Reynolds classiques, dans le cas d'ecoulements en geometrie complexe. Le comportement de l'un des modeles du second ordre etudie precedemment dans le cas du canal plan est valide sur un cas test tridimensionnel caracterise par un tourbillon longitudinal intense.
25
Lefort, Virginie Favrel Joel Beslon Guillaume. "Evolution de second ordre et algorithmes évolutionnaires l'algorithme RBF-Gene /." Villeurbanne : Doc'INSA, 2008. http://docinsa.insa-lyon.fr/these/pont.php?id=mathivet_lefort.
Full text
26
Mathivet, Virginie. "Evolution de second ordre et algorithmes évolutionnaires : l'algorithme RBF-Gened." Lyon, INSA, 2007. http://theses.insa-lyon.fr/publication/2007ISAL0042/these.pdf.
Full textAbstract:
On parle d’évolution de second ordre (ou de sélection indirecte) lorsque les individus sont sélectionnés non pour leur seule adaptation à l’environnement mais aussi pour leur capacité à évoluer « mieux ». Bien qu’un tel mécanisme soit a priori très intéressant en évolution artificielle, la structure des algorithmes évolutionnaires interdit généralement celui-ci car les processus évolutifs sont figés. Nous avons ainsi proposé un nouvel algorithme évolutionnaire, RBF-Gene. Il possède un niveau intermédiaire, le protéome (composé de « protéines »), entre le phénotype d’un individu et son génotype lui permettant de faire varier la structure du génome sans modifier son phénotype sachant que ces variations auront une influence sur les reproductions futures. Nous montrons qu’une sélection de second ordre est bien à l’œuvre dans l’algorithme et qu’elle permet de façonner les génomes, en modifiant la taille des zones non codantes et l’ordre des gènes<br>Second order evolution (or indirect selection) corresponds to a situation where the individuals are not only selected on their fitness to an environment, but also on their ability to evolve « better ». Even if such a mechanism seems a priori very interesting in artificial evolution, it is not permitted by the structure of evolutionary algorithms because the evolutionary processes are fixed. Therefore, we propose a new evolutionary algorithm, RBFGene. It includes an intermediate level, the proteom (made of « proteins »), between the phenotype of an individual and its genotype, that allows for changes in the structure of the genome without changing the phenotype. These modifications can thereafter have an influence on later reproductions. We show the existence of an indirect selection in our algorithm, acting on genomes by changing the size of the non coding sequences or the order of the genes
27
CADIOU, ANNE. "Contribution a l'etude de modeles de turbulence au second ordre." Nantes, 1996. http://www.theses.fr/1996NANT2091.
Full textAbstract:
La modelisation statistique en un point d'ecoulements turbulents incompressibles constitue le cadre de ce travail. Dans un premier temps, l'etude du comportement de modeles homogenes classiques de type r#i#j - a ete effectuee pour des ecoulements soumis a des effets de rotation. Cette etude a permis de s'interesser plus particulierement a la modelisation du tenseur des correlations pression-deformation et de discuter des contraintes d'objectivite, de realisabilite, et de verification des etats limites de distorsions rapides. Les modeles choisis ont ete testes sur des ecoulements homogenes classiques et compares a des resultats de simulation directe. Les difficultes de prediction des ecoulements fortement rotationnels par ces formulations classiques ont conduit au developpement d'un modele homogene base sur l'equation de transport du tenseur des correlations pression-deformation, dont l'expression est deduite d'une description spectrale de la turbulence. Ce modele necessite la fermeture de trois termes, correspondant au tenseur des taux de dissipation et aux termes lent et rapide de l'equation d'evolution du tenseur de reynolds. Ses performances ont ete comparees aux modeles classiques dans les cas homogenes precedents et pour des ecoulements de distorsions rapides. Les comparaisons ont montre notamment un meilleur comportement du terme rapide de ce modele par rapport aux formulations classiques. La prise en compte des effets de paroi constitue la deuxieme partie du travail de these. Trois modeles du second ordre bas-reynolds ont ete appliques au cas du canal plan etabli. Les comportements asymptotiques des modeles ont ete compares a l'aide de developpements de taylor au voisinage des parois et de resultats de simulation directe. L'extension du modele developpe precedemment pour des ecoulements homogenes a egalement ete effectuee dans le cas du canal plan. Le niveau inhabituel de la fermeture proposee rend difficile son application a des configurations tridimensionnelles. La derniere partie de ce travail est par consequent consacree a la validation de fermetures bas-reynolds classiques, dans le cas d'ecoulements en geometrie complexe. Le comportement de l'un des modeles du second ordre etudie precedemment dans le cas du canal plan est valide sur un cas test tridimensionnel caracterise par un tourbillon longitudinal intense
28
Jervase, Lual. "Contribution à la modélisation au second ordre des écoulements pariétaux." Toulouse, INPT, 1998. http://www.theses.fr/1998INPT003H.
Full textAbstract:
Cette étude constitue une contribution à la modélisation des écoulements de parois par voie de simulation numérique. L'approche générale adoptée relève avant tout de l'analyse phénoménologique et débouche sur une démarche de modélisation, dans le cadre d'une fermeture au second ordre, en deux étapes. La première étape consiste à dégager les spécificités de la turbulence pariétale en distinguant plusieurs effets dans l'influence exercée par une paroi solide sur la turbulence. Ces effets sont au nombre de trois : le blocage, l'action de la viscosité et celle du cisaillement moyen. Il ressort principalement de l'analyse que l'existence d'un effet d'impact sur la paroi entraîne un transfert d'énergie intercomposante qui est modéré par la viscosité et qui s'effectue au détriment de la contrainte normale à la paroi. Ensuite, le processus de retour a l'isotropie est inhibé à l'approche de la paroi. Enfin, l'existence du cisaillement moyen inhomogene, qui a un effet isotropisant sur les contraintes turbulentes, rend l'hypothèse " de l'approximation locale " inapplicable en turbulence de paroi. La seconde étape du travail est relative à la construction d'un modèle de fermeture qui prend en compte l'ensemble de ces spécificités a partir d'une forme linéaire " à grand nombre de Reynolds de turbulence ". Les résultats de calculs d'écoulements cisaillés simples (dont la couche limite) montrent que la qualité de prédiction d'une schématisation linéaire peut égaler celle de schématisations d'ordre plus élevé.
29
Godbout, Nicolas. "Effets non-linéaires de second ordre dans les verres de silice." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 2000. http://www.collectionscanada.ca/obj/s4/f2/dsk2/ftp03/NQ53533.pdf.
Full text
30
Labbas, Rabah. "Problèmes aux limites pour une équation différentielle opérationnelle du second ordre." Grenoble 2 : ANRT, 1987. http://catalogue.bnf.fr/ark:/12148/cb37606765b.
Full text
31
Gesbert, David. "Égalisation et identification multi-voies : méthodes auto-adaptatives au second-ordre /." Paris : École nationale supérieure des télécommunications, 1997. http://catalogue.bnf.fr/ark:/12148/cb36168724g.
Full text
32
Gesbert, David. "Egalisation et identification multi-voies : méthodes auto-adaptatives au second-ordre." Paris, ENST, 1997. http://www.theses.fr/1997ENST0003.
Full textAbstract:
Nous abordons le problème de l'égalisation autodidacte, dans le cadre récent des traitements n'exploitant que les moments du second-ordre (corrélations). Nous supposons pour cela que la source discrète transmise est vue au travers de plusieurs voies, issues du sur échantillonnage temporel ou spatial d'un seul canal. Dans le cas bloc, nous montrons que l'approche prédiction linéaire, simple et robuste en multivoies, peut être encore améliorée en généralisant le formalisme de prédiction. L'algorithme de prédiction multi-pas est proposé, pour l'identification de canal par blocs. La part la plus importante du travail est cependant consacrée au problèmes importants de l'égalisation et identification adaptatives au second-ordre. Nous insistons sur la question de la robustesse vis-à-vis des problèmes de : bruit additif, estimation de l'ordre des canaux, diversité de canal et choix du retard en égalisation. Quatre nouveaux algorithmes sont proposés : -le premier ressoude le problème de de bruitage pose par la mise en œuvre adaptative de la prédiction, l'algorithme propose fonctionne aussi dans d'autres contextes que celui de l'égalisation. -le deuxième algorithme, appelé emr, constitue une technique nouvelle pour l'égalisation linéaire, qui présente des avantages sur les techniques concurrentes : le critère est quadratique et l'implantation est très flexible. L'implantation rls de emr permet la convergence en une centaine d'itérations seulement !, contre quelques milliers pour une technique d'égalisation traditionnelle. -enfin, nous explorons une troisième voie basée sur la recherche conjointe canal/données, qui s'apparente aux techniques a maximum de vraisemblance, mais qui s'en différencie par l'utilisation de traitements linéaires, moins couteux. Des propriétés d'optimalité et de robustesse, complètement spécifiques au cadre multivoies, sont mises à jour.
33
Labbas, Rabah. "Problèmes aux limites pour une équation différentielle abstraite du second ordre." Nice, 1987. http://www.theses.fr/1987NICE4100.
Full textAbstract:
On présente ici des résultats nouveaux d'existence, d'unicité et de régularité maximale pour une équation différentielle abstraite du second ordre de type elliptique avec des conditions aux limites non homogènes. Les opérateurs considérés sont linéaires fermes de domaines non nécessairement denses dans un espace de Banach. Ces domaines peuvent effectivement dépendre de t. On considère deux ensembles d'hypothèses de natures différentes qui précisent cette dépendance. Le premier ensemble d'hypothèses est facilement vérifiable dans les cas concrets d'opérateurs différentiels de type elliptique à coefficients variables et uniformément holderiens par rapport à la variable t. Le second ensemble d'hypothèses suppose la differentiabilité de la résolvante des opérateurs par rapport à t. Ceci se traduit dans les cas concrets par la differentiabilité en t des coefficients des opérateurs considérés. Dans les deux cas on obtient aussi les conditions nécessaires et suffisantes sur les données pour avoir des solutions strictes et la régularité maximale. Dans ce travail, la méthode utilisée se base essentiellement sur la théorie des sommes d'opérateurs linéaires développée par G. Da Prato et P. Grisvard. On construit ainsi explicitement la solution sous forme de perturbation d'une intégrale de Dunford. On étudie ensuite toutes les propriétés de cette solution en utilisant les espaces d'interpolation réelle et leur caractérisation par la croissance de la résolvante et les techniques inhérentes à la théorie des semi-groupes analytiques développée dans l'étude des équations paraboliques
34
Pelletier, Karine. "Simulation au second ordre des interactions houle-structure en régime instationnaire." Nantes, 2002. http://www.theses.fr/2002NANT2090.
Full textAbstract:
Une modélisation numérique tridimensionnelle destinée à décrire les champs de vagues résultant de l'interaction de la houle avec des structures de géométrie quelconque, en régime instationnaire, est développée dans ce mémoire. Dans le cadre de la théorie potentielle développée au second ordre d'approximation, une formulation intégrale du système hydrodynamique reposant sur des distributions de singularités de Rankine est établie, puis résolue par une méthode d'éléments frontières isoparamétriques combinée à une procédure d'intégration temporelle des équations des conditions aux limites de surface libre. L'évaluation numérique des gradients surfaciques de la solution du premier ordre, par différents schémas d'interpolation locale par panneaux spline, fait l'objet d'une étude comparative sur le calcul des dérivées d'un potentiel analytique. Ces méthodes, présentant une bonne précision, sont adaptables à un voisinage quelconque et permettent d'envisager des corps de géométrie complexe, un des objectifs de ce modèle.
35
Souplet, Philippe. "Propriétés globales de quelques équations d’évolution non linéaires du second ordre." Paris 6, 1994. http://www.theses.fr/1994PA066261.
Full textAbstract:
Cette thèse comporte trois parties indépendantes. La première est consacrée à l’étude des solutions globales d’équations non linéaires dissipatives de type hyperbolique. On s’intéresse tout d’abord au cas autonome, pour lequel on montre, par une méthode topologique originale, l’existence de solutions exceptionnelles, qui sont globales sur toute la droite réelle tout en étant non bornées. Nous donnons ensuite des résultats de stabilité pour l'équation d’évolution générale. Ceux-ci sont valables par exemple dans le cas de l’équation des ondes dans un domaine borné, où la dissipation est une puissance de la vélocité. On sait déjà que la différence de deux solutions décroît comme une constante que multiplie une puissance négative du temps. Nous établissons des estimations précises sur la constante, qui dépend des énergies initiales comme une puissance supérieure à 1. Dans le cas de l’équation différentielle ordinaire périodique, nous montrons que la stabilité est en fait exponentielle en temps et nous précisons également le comportement des constantes. Nous prouvons enfin l’optimalité des constantes obtenues, en utilisant l’existence de solutions globales sur toute la droite réelle. Dans la deuxième partie, nous étudions l’unicité des solutions antipériodiques pour des équations d’évolutions abstraites du second plan. Dans un premier temps, nous montrons qu’il y a unicité des solutions antipériodiques, lorsque la non-linéarité est assez petite. On donne différentes applications de ce résultat pour des systèmes différentiels et pour des équations d’ondes dans des domaines bornés, où nous explicitons des conditions suffisantes précises d’unicité. Nous montrons que ce résultat est spécifique au cadre antipériodique et qu’il ne peut pas s’étendre au cas général des solutions périodiques. Dans un deuxième temps, nous montrons que l’unicité des solutions antipériodiques n’est pas vraie en général sans hypothèse sur la taille de la non-linéarité. Nous construisons à cet effet des contre exemples très réguliers pour une équation des ondes et pour une équation différentielle ordinaire avec non-linéarité cubique, résolvant ainsi un problème ouvert depuis 1989. Dans la troisième partie, nous montrons d’abord le caractère non global des solutions pour une classe d'inégalités différentielles. En appliquant ensuite ce résultat et la méthode de convexité, nous obtenons l’explosion en temps fini des solutions de données initiales positives, pour des équations d’ondes où le terme de source est en compétition avec un terme de dissipation. Une autre application concerne une équation de la chaleur avec un terme de mémoire de type intégral. Les résultats sur l’équation des ondes sont complémentaires de ceux obtenus récemment par Georgiev et Todorova (1992), en utilisant la méthode d’énergie.
36
Sauret, Emilie. "Analyse et Développement de Modèles de Turbulence au Second-Ordre Proche Paroi." Paris 6, 2004. http://www.theses.fr/2004PA066494.
Full text
37
Vallet, Isabelle. "Aerodynamique numerique 3-d instationnaire avec fermeture bas-reynolds au second ordre." Paris 6, 1995. http://www.theses.fr/1995PA066225.
Full textAbstract:
Cette these traite du developpement de methodes numeriques adequates pour les equations de navier-stokes 3-d compressibles avec fermeture au 2#n#d ordre bas-reynolds. Apres une breve revue des methodes d'aerodynamique numeriques et des modeles de turbulence associes, nous developpons une methode numerique resolvant les equations de navier-stokes ainsi que les equations de transport des quantites turbulentes. La discretisation spatiale est effectuee dans un maillage structure par une methode muscl decentree amont, utilisant une decomposition des flux de van leer, precise au 3#e#m#e ordre en espace. L'integration temporelle est implicite precise au 1#e#r ordre en temps et utilise une methode de factorisation approchee selon les directions du maillage. Pour des ecoulements stationnaires la convergence est acceleree en utilisant des pas de temps locaux avec cfl = 50. La methode est initialement appliquee a des ecoulements transsoniques stationnaires et instationnaires, avec fermeture k - #*. Des comparaisons systematiques avec les mesures sont effectuees. Des resultats tres satisfaisants sont obtenus en ecoulement instationnaire dans une tuyere de laval transsonique, ou la contre-pression aval fluctue. Ensuite un modele aux tensions de reynolds avec effets bas-reynolds et de proximite de paroi est developpe et implemente. Le modele est valide par comparaison avec l'experience de klebanoff sur plaque plane. Une comparaison de la methode avec des mesures detaillees dans une tuyere transsonique 3-d est effectuee. Les resultats sont satisfaisants, et les ameliorations possibles du modele de turbulence sont mises en evidence. La methode numerique developpee est particulierement robuste, pouvant converger a partir d'une initialisation automatique de l'ecoulement, developpee dans le cadre de cette these, grace a l'utilisation de limiteurs adequats de positivite et de noninfinite des quantites turbulentes
38
Halard, Matthieu. "Méthodes du second ordre pour la conception optimale en élasticité non-linéaire." Paris 9, 1999. https://portail.bu.dauphine.fr/fileviewer/index.php?doc=1999PA090029.
Full textAbstract:
La conception optimale de structures élastiques non-linéaires se heurte d'abord au cout de résolution de l'équation d'équilibre soit une vingtaine d'itérations de Newton comprenant une factorisation de la matrice de raideur tangente et une descente-remontée ; puis au mauvais conditionnement du critère à optimiser vis-à-vis des variables de conception ; enfin au traitement des contraintes de conception parfois impératives même au cours de l'optimisation. Les deux premiers points sont résolus en appliquant une méthode de type Newton au système d'optimalité, dans lequel les variables de conception et d'état sont les inconnues. L'algorithme hybride adjoint-direct est techniquement réalisable avec des calculs analytiques de gradients et des dérivées secondes du lagrangien approchées par différences finies. La recherche linéaire dans la direction de Newton est remplacée par une recherche sur un arc linéaire ou parabolique collant à la courbe d'équilibre de l'espace conception-état, afin de se rapprocher d'une méthode de Newton réduite à l'espace de conception. La convergence rapide se voit sur les résultats. Le dernier point est abordé par l'étude d'une méthode de points intérieurs dans laquelle la direction de recherche est déviée vers l'intérieur du domaine de conception pour accroitre la robustesse de l'algorithme. Nous élaborons un autre calcul de déflexion, itératif, fournissant une direction restant dans le domaine linéarisé avec un taux de descente par rapport à la direction de Newton supérieur à un critère de trajectoire centrale. Des exemples bidimensionnels parlants montrent que la combinaison des deux idées allie robustesse et performance. La première partie se clôt sur l'algorithme de conception optimale avec contraintes d'inégalité. La deuxième est consacrée à son application à l'élasticité et à sa programmation avec des couts détaillés car sa performance en dépend. Des cas semi-industriels prouvent l'intérêt des techniques retenues.
39
Pistone, Paolo. "Sur les épreuves et les types dans la logique du second ordre." Thesis, Aix-Marseille, 2015. http://www.theses.fr/2015AIXM4046.
Full textAbstract:
Dans cette thèse on s'intéresse aux formes de "circularité" qui apparaissent dans la théorie de la preuve de la logique du second ordre et de son contrepartie constructive, le Système F.Ces "circularités", ou "cercles vicieux" (Poincaré 1900), sont analysées sur la base d'une distinction entre deux points de vue distincts et irréductible (à cause des théorèmes d'incomplétude): le premier ("le pourquoi", Girard 1989) concerne la cohérence et l'Hauptsatz et demande des méthodes infinitaires (i.e. non élémentaires) de preuve. Le deuxième ("le comment", Girard 1989) concerne le contenu computationnel et combinatoire des preuves, donné par la correspondance entre preuves et programmes, et ne demande que de méthodes élémentaires de preuve.Dans la première partie de la thèse, dévouée au "pourquoi", les arguments philosophiques traditionnels sur les "cercles vicieux" sont confrontés avec la perspective qui émerge de la démonstration de l' Hauptsatz pour la logique de second ordre (obtenue par Girard avec la technique des candidats de réductibilité).Dans la deuxième partie de la thèse, dévouée au "comment", deux approches combinatoires aux cercles vicieux sont proposés: la première se basant sur la théorie du polymorphisme paramétrique, la deuxième sur l'analyse géométrique du typage qui vient de la théorie de l'unification<br>In this dissertation several issues concerning the proof-theory of second order logic and its constructive counterpart (System F, Girard 1971) are addressed. The leitmotiv of the investigations here presented is the apparent "circularity'' or "impredicativity'' of second order proofs. This circularity is reflected in System F by the possibility to type functions applied to themselves, in contrast with Russell's idea that typing should rather forbid such ``vicious circles'' (Poincare 1906). A fundamental methodological distinction between two irreducible (because of incompleteness) approaches in proof theory constitutes the background of this work: on the one hand, "why-proof theory'' ("le pourquoi'', Girard 1989) addresses coherence and the Hauptsatz and requires non-elementary ("infinitary'') techniques; on the other hand, "how-proof theory'' ("le comment'', Girard 1989) addresses the combinatorial and computational content of proofs, given by the correspondence between proofs and programs, and is developed on the basis of elementary ("finitary'') techniques. }In the first part of the thesis, dedicated to "why-proof theory'', the traditional philosophical arguments on "vicious circles'' are confronted with the perspective arising from the proof of the Hauptsatz for second order logic (first obtained in Girard 1971 with the technique of reducibility candidates).In the second part of the thesis, dedicated to "how-proof theory'', two combinatorial approaches to "vicious circles'' are presented, with some technical results: the first one based on the theory of parametric polymorphism, the second one on the geometrical analysis of typing coming from unification theory
40
Signoret, Philippe. "Etude des Lasers à Semiconducteur au Second Ordre : Bruit d'Amplitude - Bruit de Fréquence." Habilitation à diriger des recherches, Université Montpellier II - Sciences et Techniques du Languedoc, 2004. http://tel.archives-ouvertes.fr/tel-00067959.
Full textAbstract:
Les fluctuations d'intensité ou de fréquence observées en sortie de cavité émettrice représentent une caractéristique essentielle des lasers à semi-conducteur. Le bruit est d'une part une conséquence directe de la nature corpusculaire de la lumière et permet ainsi d'approcher les processus physiques mis en jeu dans la cavité laser. D'autre part, le bruit définit les limites fondamentales pour l'utilisation des composants concernés dans les expérimentations où la sensibilité est un facteur clé, ainsi que dans les systèmes de communication à haut débit. Ainsi, l'étude du bruit et la compréhension des mécanismes associés sont d'une importance primordiale, sur le plan de la physique fondamentale et également d'un point de vue technologique.
41
Le, Botlan Didier. "MLF : Une extension de ML avec polymorphisme de second ordre et instanciation implicite." Phd thesis, Ecole Polytechnique X, 2004. http://tel.archives-ouvertes.fr/tel-00007132.
Full textAbstract:
Nous nous intéressons à une extension de ML avec polymorphisme<br />de première classe, à la manière du Système F.<br />Cette extension, nommée MLF, utilise les annotations de types<br />d'ordre supérieur données explicitement dans le programme pour inférer<br />de manière principale le type le plus général. Toute expression admet<br />ainsi un type principal, qui dépend des annotations présentes<br />initialement dans le programme.<br /><br />Toute expression de ML est typable dans MLF sans annotation<br />supplémentaire. Les expressions du Système F sont encodées de<br />manière systématique dans MLF en supprimant les abstractions<br />et les applications de types, et en traduisant les annotations<br />de types dans le langage de types de MLF.<br />De plus, les paramètres de lambda-abstractions qui ne sont pas<br />utilisés de manière polymorphe n'ont pas besoin d'être annotés.
42
Hachem, Walid. "Déconvolution autodidacte au second ordre de signaux vectoriels en présence de bruit additif." Marne-la-Vallée, 2000. http://www.theses.fr/2000MARN0088.
Full textAbstract:
Cette these traite d'identification dite autodidacte de canaux de transmission lineaires a temps discret. On s'interesse plus particulierement aux techniques d'identification basees sur les statistiques du second ordre du signal recu representees par sa fonction de covariance. La premiere partie de cette these concerne l'identification d'une fonction de transfert rationnelle multi-entree multi-sortie a partir de la fonction de covariance associee a cette fonction privee du coefficient de covariance central. Ce probleme se rencontre dans les situations concretes ou le bruit additif est spatialement colore. Deux approches independantes qui reclament des conditions peu restrictives sur la fonction de transfert a estimer sont proposees. Ces deux methodes exploitent une fonction matricielle qui ne depend explicitement que des coefficients de covariance connus. - la premiere approche estime le coefficient central a l'aide d'une technique de type sous-espace appliquee a cette fonction matricielle. Une fois ce coefficient estime, l'estimation de la fonction de transfert elle-meme est un probleme du second ordre classique. - la deuxieme approche est basee sur la factorisation de wiener-hopf de cette fonction matricielle par rapport au cercle-unite. Elle debouche sur l'estimation directe de la fonction de transfert. La deuxieme partie de la these concerne l'estimation de canaux cdma en liaison montante. Les conditions d'identifiabilite requises par les algorithmes sous-espace connus ne sont pas claires. Un algorithme qui requiert une condition d'identifiabilite claire et non restrictive est propose. Une analyse des performances theoriques de cet algorithme dans les conditions asymptotiques est egalement proposee
43
Lataillade, Joachim Guilhem de. "Quantification du second ordre en sémentique des jeux : application aux isomorphismes de types." Paris 7, 2007. http://www.theses.fr/2007PA077228.
Full textAbstract:
La sémantique des jeux offre un cadre souple et précis pour l'interprétation des langages de programmation. Cette thèse l'illustre à travers d'une part l'étude de la notion de polymorphisme et son pendant logique : la quantification du second ordre, et d'autre part la caractérisation de | certaines propriétés syntaxiques via les modèles de jeux. Le polymorphisme est d'abord envisagé sous sa forme la plus usuelle, le système F à la Church. On en propose un nouveau modèle de jeux, complet, inspiré de travaux antérieurs mais dans lequel il sera cette fois possible d'effectuer des calculs. La question syntaxique de la caractérisation des isomorphismes de typas peut alors être résolue à l'intérieur même de ce modèle, en prouvant l'invariance par isomorphisme d'une structure appelée hyperforêt. Cette approche sémantique permet de retrouver un résultat dû à Roberto Di Cosmo. Une autre variante de la logique du second ordre, le système F à la Curry, est étudiée et modélisée de manière partielle mais suffisamment précise pour permettre là encore la caractérisation des isomorphismes de types par un invariant géométrique. Le système équationnel correspondant enrichit celui des isomorphismes du système F à la. Church d'une nouvelle équation, non triviale. Une extension à la logique classique des résultats obtenus pour te système F à Sa Church est proposée à travers la construction dans les jeux d'une hyperdoctrine de contrôle, structure catégorique adaptée à la logique du second ordre<br>Game semantics is a flexible and precise framework for interpreting programming languages. The present dissertation illustrates this fact in two ways : first by studying polymorphism and its logical counterpart : second-order quantification, and second by caracterising sorne syntactic properties via game models. Polymorphism is first considered in its most usual form, Church- style System F, We propose a new, complete, game model, inspired by previous works but in which we will be able to do effective calculations. The syntactic question of characterising type isomorphisms can then be solved inside this model, by proving the invariance through isomorphism of some structure called hyperforest. This semantic approach allows to retrieve a result by Roberto Di Cosmo, Another variant of second- order logic, namely Curry- style System F, is studied and modellsed, partially but with enough precision to give once again a characterisation of type isomorphisms through a geometric invariant. The corresponding equationnal system is an enrichment of that of Church-style isomorphisms by a news non-trivial, equation. An extension to classical logic of the results for Church-style System F is proposed, through theconstruction of a game model which results in a control hyperdoctrine, ie a categorical structuresuitable for second- order classical logic
44
GALY, JEROME. "Antenne adaptative : du second ordre aux ordres superieurs. applications aux signaux de telecommunications." Toulouse 3, 1998. http://www.theses.fr/1998TOU30081.
Full textAbstract:
En traitement d'antenne, on utilise les signaux recus sur un reseau de capteurs pour caracteriser un ou plusieurs emetteurs ou bruiteurs (les sources) plus ou moins connus. Pour identifier ces sources, on combine les differentes sorties des capteurs ou un certain nombre d'entre elles, les differentes methodes de traitement d'antenne permettent d'extraire le signal qui nous interesse a partir du melange de tous les signaux presents. Ce travail de recherche a pour objet d'etudier des methodes de traitement d'antenne qui permettent de resoudre les problemes de separation et de localisation de signaux utiles dans un contexte bruite. La premiere partie se preoccupe de la definition du filtre spatio-temporel ou spatio-frequentiel au sens du maximum de vraisemblance. Le filtre obtenu est compare au filtre qui maximise le rapport signal a bruit ou qui minimise la puissances des nuisances en sortie sous la contrainte de non-deformation du signal. Cependant lorsqu'aucune information n'est disponible a priori, on utilise les statistiques d'ordre superieur pour la separation de sources. L'algorithme jade utilisee pour la separation de sources bande etroite est etendu au cas de signaux large bande. Dans le contexte des telecommunications, on utilise la propriete de non-circularite des signaux bpsk pour la separation et la localisation des sources. Deux nouveaux algorithmes sont presentes : l'algorithme music et l'analyse en correlation canonique sont etendus au cas de signaux non-circulaires. Enfin, la derniere partie est consacree a la validation des differentes methodes. Des algorithmes par blocs et iteratifs adaptables au contexte des telecommunications sont testes sur des signaux synthetiques ainsi que sur des donnees reelles.
45
LE, BARS JEAN-MARIE. "Probabilites asymptotiques et pouvoir d'expression des fragments de la logique du second ordre." Caen, 1998. http://www.theses.fr/1998CAEN2006.
Full textAbstract:
De l'etude conjointe, en theorie des modeles finis, du probleme de decision, du pouvoir d'expression et de l'existence d'une loi a-1 pour une meme logique, est apparu des connexions significatives. Ainsi, les resultats de kolaitis et vardi, d'une part, et de pacholski et szwast, d'autre part, ont revele une remarquable equivalence : une classe prefixe avec l'egalite est decidable si et seulement si le fragment existentiel de la logique du second ordre correspondant admet une loi 0-1. Les deux resultats principaux de cette these, qui repondent a des problemes ouverts, consiste a montrer que cette equivalence n'est pas preservee pour la logique du premier ordre a deux variables et pour la classe prefixe sans l'egalite de godel. En effet, ces deux logiques sont decidables et pourtant leur fragment existentiel de la logique du second ordre respectif n'admet pas de loi. Les contre-exemples s'obtiennent a partir de variantes de la propriete de noyau dans les graphes. On montre que celles-ci n'admettent pas de probabilite asymptotique. Ces resultats requiert une bonne maitrise des techniques probabilistes utilisees dans l'etude des graphes aleatoires.
46
Chen, Xiaobo. "Etude des reponses du second ordre d'une structure soumise a une houle aleatoire." Nantes, 1988. http://www.theses.fr/1988NANT2040.
Full textAbstract:
En utilisant la methode de perturbation, le probleme non-lineaire de diffraction-radiation est decompose en premier et second ordre. Les efforts complets du second ordre sont evalues pour une houle bichromatique. La fonction de transfert des efforts du second ordre est calculee et representee graphiquement
47
AURIER, THIERRY. "Modelisation au second ordre et simulation numerique des ecoulements turbulents a volume variable." Nantes, 1995. http://www.theses.fr/1995NANT2033.
Full textAbstract:
Contribution originale a l'analyse et a la simulation numerique des ecoulements turbulents a volume variable. Approche theorique. L'analyse et la simulation numerique des ecoulements turbulents a volume massique variable necessitent une description mathematique de l'evolution des grandeurs physiques en grandeur moyenne. La resolution soutend de mettre en place un systeme ferme d'equations statistiquement moyennees decrivant correctement l'evolution de l'ecoulement de tels fluides. La presence du volume massique accroit considerablement la complexite structurelle d'un tel systeme, introduisant notamment un fort couplage entre toutes les equations. L'ecriture des equations de bilan par unite de masse en moyenne statistique de reynolds conduit a la proposition d'un systeme mathematiquement approprie a l'analyse des ecoulements a masse volumique variable. L'utilisation d'un operateur centre nous permet de identifier les differents phenomenes physiques presents dans les ecoulements turbulents, enrichissant l'analyse et la modelisation. On degage une structure mathematique remarquable des equations de bilan, en mettant particulierement en relief le role de la fluctuation de volume. Nous proposons alors un systeme d'equation entierement ferme au second ordre complete par une demarche originale de construction de modeles equivalents de turbulence utilisant la complementarite de deux processus statistiques d'analyse des ecoulements compressibles. Simulation numerique. La simulation numerique d'un jet plan chauffe hors hypothese de boussinesq permet de valider la demarche de fermeture turbulente. Ces resultats sont obtenus a partir de l'ecriture et la stabilisation d'un nouveau code de calcul quetzal. Les premiers resultats mettent en evidence l'action determinante de la variation et de la fluctuation de volume sur les echelles caracteristiques de l'ecoulement ainsi que sur sa structure turbulente
48
Rabehasaina, Landy. "Files et réseaux de files d'attente fluides du second ordre en environnement aléatoire." Rennes 1, 2003. http://www.theses.fr/2003REN10044.
Full textAbstract:
Nous nous intéressons dans cette thèse à une file d'attente fluide unique ou à un réseau de files d'attente fluides pilotés par un processus stationnaire. Les niveaux des files à chaque instant sont alors modélisés comme solution d'une équation différentielle réfléchie. Le modèle peut être du second ordre, i. E. Une composante brownienne et un coefficient de diffusion peuvent intervenir dans la modélisation: l'équation différentielle devient alors une équation différentielle stochastique. Nous étudions d'abord la stabilité des files. Nous donnons différents critères permettant à la file unique ou au réseau de files de converger en distribution vers un état stationnaire. Nous regardons ensuite la distribution de la loi stationnaire. Dans différents cas nous donnons la transformée de Laplace de la loi stationnaire ou au moins ses moments d'ordre deux.
49
Aloui, Faouzia. "Comportement en temps long des solutions de certaines équations d'évolution du second ordre." Paris 6, 2013. http://www.theses.fr/2013PA066002.
Full textAbstract:
On s'intéresse dans le premier chapitre à estimer une borne ultime des solutions d'une équation d'évolution linéaire du second ordre avec des opérateurs généraux et un terme de force borné. Pour estimer une borne ultime des solutions, on construit une fonctionnelle d'énergie adaptée à l'équation. À l'aide des inégalités différentielles, on obtient une borne ultime uniforme pour toute solution bornée. Le chapitre 2 s'est consacré à étudier le bornage et la précompacité des solutions d'une équation d'évolution du second ordre avec un terme de dissipation non linéaire. Afin de montrer les propriétés de bornage et de précompacité, on choisit une fonctionnelle d'énergie adéquate à notre équation. La construction de la fonction de Lyapunov est en fait une modification de l'énergie des solutions. Le résultat de précompacité est outil basique pour montrer l'existence des solutions presque périodiques et de généraliser des résultats concernant la convergence vers l'équilibre quand on ajoute un terme non linéaire à l'équation et le terme de force tend assez vite vers zéro pour un temps assez grand. Dans le chapitre 3, on étudie un cas particulier de l'équation du chapitre 2, aprés établir le bornage des solutions, on cherche à estimer une borne ultime de la solution. La méthode utilisée ici est basée sur la distinction entre deux cas de l'énergie. Le dernier résultat est destiné à étudier le comportement des solutions d'une équation différentielle ordinaire du second ordre non linéaire prés du temps de l'explosion. La preuve est basée sur un simple calcul en introduisant les coordonnées polaires<br>We establish in the first chapter an ultimate bound of solutions to a second order linear evolution equation with unbounded damping and bounded forcing term. For estimate the ultimate bound, we use a method of adapted energy functional obtained by perturbing the energy. By using differential inequalities, we obtain an ultimate bound for any solution. The second chapter is devoted to studying the boundedness and compactness of solutions to second order evolution equation with nonlinear damping term and locally integrable forcing term. We construct two energy functionals to prove the properties of boundedness and compactness. The result of compactness is a basic tool to prove the existence of almost periodic solutions and to generalize some results concerning convergence to equilibrium when a nonlinear term is added and the forcing term dies off sufficiently fast for a large time. Chapter 3 is devoted to studying a special case of equation to chapter 2, after establishing the boundedness properties, we give an estimate for an ultimate bound of solutions. The method used is based on distinction of two cases concerning the energy. In the last chapter, we study the asymptotic behavior of solutions of second order nonlinear EDOs near the blow-up. By introducing the polar coordinates and simple calculations, we prove the result
50
Wizman, Victor. "Nouvelles approches dans la modélisation au second ordre de la turbulence en rotation." Ecully, Ecole centrale de Lyon, 1996. http://www.theses.fr/1996ECDL0059.
Full textAbstract:
Les modélisations classiques au second ordre, pour lesquelles le déviateur du tenseur de Reynolds constitue l'unique variable tensorielle dans le développement des fermetures sont mise en défaut pour le problème simple d'une turbulence homogène sans production turbulente en rotation en bloc. La description classique de l'anisotropie est insuffisante, et l'information clé nécessaire pour capter les effets linéaires de la rotation est contenue dans deux tenseurs internes supplémentaires. Un modèle de turbulence susceptible de reproduire ces effets, et plus généralement le comportement dit de distorsion rapide se doit de transporter l'ensemble de ces quantités. La complexité d'une telle approche pour l'industriel a conduit à étudier des variantes simplifiées qui font l'objet principal de ce travail de thèse. En particulier, un modèle de structure (w. C. Reynolds, stanford) s'est appuyé sur un modèle amont capable de reproduire le comportement de distorsion rapide, ou le champ turbulent global est reconstitué à partir de tourbillons élémentaires compose de particules véhiculant un ensemble de propriétés. Cette approche a été appliquée à la construction d'un modèle original pour la partie linéaire des corrélations pression-déformation. Ce modèle fait intervenir des nouvelle variables, appelées variables de structure, pour lesquelles des équations de transport ont été formulées. L'application du modèle a de multiples cas sévères dans le cadre de la distorsion rapide laisse des résultats très prometteurs. L'extension du modèle aux déformations lentes, via l'introduction de termes stochastiques aléatoires dans les équations régissant le mouvement des particules, montre cependant quelques lacunes dans la prise en compte des interactions entre les différentes échelles du mouvement. Le cadre plus général de la turbulence inhomogène requiert d'autre part une attention particulière dans le traitement numérique réservé aux variables de structure, surtout dans le couplage avec l'opérateur elliptique de relaxation pour l'extension du modèle jusqu'aux zones de l'écoulement de proche paroi.