Добірка наукової літератури з теми "Schémas préservant la structure"

L’une des particularités du processus d’acquisition, sociolinguistique en langue étrangère porte sur la difficulté des apprenants, à intégrer les normes sociolinguistiques de la langue cible. Si dans leur, culture native, les apprenants construisent un réseau d’associations entre, connaissances linguistiques et connaissances sociales, en langue étrangère, ils doivent transposer cette capacité. La question importante est de savoir, comment un apprenant développe cette compétence en langue étrangère, s’il n’a pas les mêmes repères sociaux que les natifs. Les études en langues,étrangères montrent que les apprenants utilisent davantage les variantes, sociolinguistiques formelles si comparés aux natifs. Quelques travaux se, basent sur la théorie des schémas pour expliquer cette différence. Ces,études indiquent que les apprenants possèdent des schémas incomplets en, langue cible. Dans cet article, nous avons mené une étude auprès de 66,étudiants de FLE, 24 anglophones et 42 sinophones à partir du Test de, Répétion Sociolinguistique. Les résultats montrent que, tel que les natifs, les étudiants modifient les variantes sociolinguistiques non compatibles, avec l’énoncé en le rendant homogène. Nous mettons ainsi en évidence, l’existence des schémas sociolinguistiques complets chez les apprenants de, langues étrangères. En outre, notre étude montre une différence dans la, construction des schémas en fonction du pays d’origine des apprenants.

Les employés d’un organisme utilisent souvent un schéma de classification personnel pour organiser les documents électroniques qui sont sous leur contrôle direct, ce qui suggère la difficulté pour d’autres employés de repérer ces documents et la perte possible de documentation pour l’organisme. Le premier objectif de notre recherche doctorale était de décrire les caractéristiques de 21 schémas de classification utilisés par des employés de l’Université de Montréal pour organiser et classer des documents administratifs électroniques. La caractérisation de schémas de classification personnels nous a permis d’approfondir notre connaissance des schémas de classification personnels sur les plans structurel, logique et sémantique. Les résultats révèlent plusieurs caractéristiques communes à une majorité de schémas de classification personnels dont leur macrostructure étendue, leur structure peu profonde, complexe et déséquilibrée, le regroupement par thème, l’ordre alphabétique des classes. L’identification de traits communs suggère un certain décalage entre les caractéristiques des schémas de classification personnels et les caractéristiques des schémas de classifications institutionnels, conçus par des professionnels de la gestion des documents et des archives. Ce décalage permet de mieux comprendre la réticence de certains employés à utiliser les schémas de classification institutionnels pour l’organisation des documents administratifs électroniques qui sont sous leur contrôle direct.

Les entreprises qui désirent bénéficier des avantages d’une structure par projet tout en préservant la structure fonctionnelle en place, font face à la très grande difficulté et complexité de gérer la cohabitation de ces deux organisations et de leurs activités respectives. Cette étude a pour objectif l’identification des meilleures pratiques de gestion nécessaires à l’intégration des activités d’un projet de développement de produit, à celles associées aux départements de l’entreprise qui sont concernés par le projet. Plusieurs pratiques de gestion ont émergé des données, pratiques que nous avons regroupées sous cinq dimensions distinctes, mais susceptibles d’être complémentaires. Ces dimensions sont : le partage des responsabilités relatives au projet, la légitimité de la participation des membres au projet, la présence des membres de la haute direction tout au long du projet, l’application de la notion de client à l’interne, la flexibilité du contexte organisationnel. La principale contribution scientifique de cette étude est la mise en lumière des meilleures pratiques de gestion à mettre en place pour faciliter la cohabitation de deux structures organisationnelles, diamétralement opposées dans leur culture et la logique de leur fonctionnement. Les implications de ces résultats pour la recherche future sont discutées.

Enseigner les expressions idiomatiques anglaises à des apprenants russes : une approche cognitive. Cet article présente une analyse des processus d’acquisition d’expressions idiomatiques anglaises par des apprenants russes, basée sur la combinaison d’une étude des structures linguistiques et de deux dimensions essentielles pour le traitement de ces expressions, à savoir les schémas sur les connaissances du monde et ceux qui contiennent de l’information sur les états mentaux des interlocuteurs. Il est affirmé que les expressions idiomatiques ne peuvent pas être étudiées seulement d’un point de vue sémantique, mais qu’il faut les examiner d’un point de vue encyclopédique, comme des “textes condensés”, très laconiques, mais encore très expressifs et riches de contenu. La capacité informative des expressions idiomatiques est le fruit de schémas cognitifs, qui n’existent pas dans les textes, mais qui sont stockés dans la mémoire humaine et retrouvés dès qu’ils deviennent pertinents dans un acte communicatif. L’approche cognitive se révèle fructueuse dans l’étude de la structure sémantique des expressions idiomatiques, car elle met en avant leur nature encyclopédique, qui leur permet de façonner l’expérience humaine en termes de faits et d’attitudes, et de déclencher des présupposés en discours.

Un schéma de sélection est une opération complexe qui fait intervenir, par cycles successifs, l’évaluation des valeurs génétiques des reproducteurs ou des candidats à la reproduction, le tri des meilleurs d’entre eux et leurs accouplements. Des modèles mathématiques ont été mis au point pour en décrire le fonctionnement. Ces modèles sont des outils d’aide à la décision pour les sélectionneurs et pour l’Etat qui les subventionne. A partir d’un exemple concret, nous décrivons ici la structure et l’utilisation de ces modèles. Quelques indications sont également données sur les méthodes d’estimation a posteriori du gain génétique réalisé grâce à ces schémas de sélection.

Deux institutions se font face autour de la socialisation de l’enfant : les familles et l’école. Elles entretiennent des relations ambiguës, imprégnées d’histoires et de contes reconstruits. Si la migration ne fait pas l’étranger, l’histoire des peuples structure leurs représentations réciproques, alimente les humiliations, renforce les stéréotypes. L’enjeu de l’école de 2010 est de parvenir à dépasser les particularismes sans les refouler, de ne pas se laisser enfermer dans des schémas caricaturaux pour mieux accompagner les enfants dans un processus d’intégration moins violent que l’assimilation. Dans cet objectif, l’investissement important des parents nouveaux arrivants dans la trajectoire scolaire est un atout essentiel qu’il conviendrait de ne pas décevoir.

Triplochiton scleroxylon (samba ou ayous ou abachi ou obeche ou wawa) est une espèce culturelle clé du culte Orisha Oro au Bénin, dont les populations naturelles sont en déclin. Les informations sur les schémas spatiaux des arbres de cette espèce sont quasiment non documentées, ce qui limite la mise en œuvre d’une restauration écologique de ses populations. Cette étude vise à évaluer les modèles démographiques et spatiaux actuels de T. scleroxylon en fonction des tabous relatifs à l’espèce et de la fréquence des cérémonies rituelles du culte au Bénin. Des inventaires et une cartographie des pieds de l’espèce dans 12 placeaux de 100 m × 100 m ont été réalisés. L’étude a comparé la densité et la hauteur totale des arbres, leur distribution selon les classes de diamètre et les schémas spatiaux suivant les formations soumises à différentes proportions de tabous et fréquences de cérémonies rituelles. Les résultats ont montré, d’une part, que le nombre des tabous a un effet positif et, d’autre part, que la fréquence des cérémonies rituelles du culte a un effet négatif sur les peuplements à T. scleroxylon. Les densités de tiges juvéniles et adultes étaient respectivement trois et deux fois supérieures dans les forêts soumises à un plus grand nombre de tabous et un faible nombre de cérémonies rituelles. La distribution des arbres en classes de diamètre présente des tendances similaires. Cependant, l’analyse de la structure spatiale des arbres indique globalement une distribution aléatoire et une indépendance des juvéniles par rapport aux adultes. Compte tenu des rituels liés à T. scleroxylon en raison de sa position d’espèce centrale lors des cérémonies du culte Orisha Oro, sa sacralisation ne peut pas garantir sa conservation. L’utilisation durable et la conservation de T. scleroxylon nécessitent une sensibilisation des dignitaires des forêts sacrées à la réduction des fréquences des cérémonies rituelles, à la préservation stricte des grands semenciers, et à l’enrichissement des forêts sacrées et la promotion des plantations de l’espèce.

Les grands syntacticiens de l’école marriste (I. Meščaninov, S. Kacnel’son, plus que N. Marr lui-même) ont, à la suite de A. Potebnja, élaboré une théorie de l’évolution typologique stadiale des schémas de la proposition, où la structure ergative (qui caractérise de nombreuses langues parlées en URSS) joue un rôle clé, comme passage vers l’étape finale que serait la structure nominative des langues indo-européennes. Les linguistes typologues soviétiques des années 1940 proposaient une alternative explicite au schéma platonicien du ὀϱθóς λόγος : Sujet - Prédicat, en proposant une triple nouveauté : a) la structure de la proposition est une catégorie changeante au cours de l'histoire ; b) elle est en covariance stadiale avec l'histoire de la pensée; c) elle repose sur la relation sémantique Sujet (Agens) / Objet (Patiens). On étudie ici l’histoire des présupposés philosophiques et idéologiques nécessaires à l’élaboration de la typologie syntaxique stadiale en URSS, à partir du cas concret de l'opposition entre structure ergative et nominative, et du rejet d'une partie de cette conception par J. Staline en 1950.

RÉSUMÉLes résultats d'un sondage mené auprès de 1449 adultes, répartis selon les groupes d'âge suivants: jeune, âge moyen et vieux, ont démontré que l'humeur compte deux composantes invariantes liées à l'âge, soit la vigueur et l'affect. La structure factorielle variait selon l'âge dans le cas de l'affect, mais non de la vigueur. Chez les adultes plus âgés, l'étude a établi deux facteurs unipolaires de l'affect, tandis que dans les deux autres groupes, un facteur bipolaire de l'affect a été obtenu. De ces analyses factorielles, une échelle de l'humeur (Memorial Mood Scale, ou MUMS) a été élaborée ainsi qu'une valeur prévisionnelle et fiable pour tous les groupes d'âge. Grâce à cette échelle, des différences moyennes de niveau par âge ont été observées en ce qui touche la vigueur et l'affect, et l'humeur générale a pu être mesurée. Les résultats étaient plus élevés chez le groupe des plus âgés sur ces trois plans. La vigueur et l'affect ont révélé des schémas invariants selon l'âge et le moment de la journée. La vigueur suivait un schéma diurnal inversé en forme de U, tandis que l'affect présentait un schéma principalement linéaire, ce qui suggère des évaluations de l'état somatique et des conditions environnantes, respectivement.

Le travail présenté dans cette thèse relève du domaine de l'analyse numérique et s'appuie sur des outils issus de l'étude des équations aux dérivées partielles (EDP). Nous nous concentrons sur les discrétisations temporelles des équations dispersives non linéaires. L'objectif est de réduire les hypothèses de régularité nécessaires lors de la conception et de l'analyse des méthodes numériques, afin de traiter les dynamiques à faible régularité.La partie I de la thèse introduit de nouveaux schémas à faible régularité, adaptés à des domaines bornés génériques. Le chapitre 2 présente des résultats de convergence au premier et au second ordre pour l'approximation de l'équation de Gross-Pitaevskii, lorsque la donnée initiale et le potentiel sont peu réguliers. Le chapitre 3 généralise la construction de ces schémas aux ordres supérieurs, et pour une classe générale d'équations d'évolution non linéaires.La partie II est constituée du chapitre 4, qui génère des constructions d'ordre élevé dans le cadre de conditions initiales aléatoires.Finalement, la partie III se consacre à l'étude en temps long d'équations dispersives, et de leurs invariants, en considérant des schémas préservant leur structure. Elle débute avec le chapitre 5, qui introduit un nouvel intégrateur symétrique pour l'équation de Schrödinger non linéaire, et démontre des résultats de convergence à des taux fractionnaires, en fonction de la régularité de Sobolev de la donnée initiale. Par la suite, le chapitre 6 étend cette construction symétrique aux ordres supérieurs et pour la résolution numérique d'une classe générale d'équations dispersives. Des simulations numériques montrent que ces nouveaux schémas symétriques présentent d'excellentes propriétés de préservation de la structure.Les extensions aux ordres supérieurs développées aux chapitres 3, 4, et 6 se fondent sur de nouvelles techniques d'arbres décorés, inspirées par le champ des EDP stochastiques singulières, via la théorie des structures de régularité
The work presented in this thesis belongs to the field of numerical analysis, and builds on tools stemming from the study of partial differential equations (PDEs). We focus on time discretizations to nonlinear dispersive equations. The aim is to reduce the smoothness assumptions on the design and analysis of numerical methods, in order to treat low-regularity dynamics.Part I of the thesis develops novel low-regularity schemes, suited for general bounded domains. Chapter 2 presents first and second order convergence results for the Gross-Pitaevskii equation, when both the initial data and the potential are non-smooth. Chapter 3 generalizes the construction of these schemes to higher order and to a general class of nonlinear evolution equations with potentials.Part II of the thesis consists of Chapter 4, which considers higher-order constructions for randomized initial conditions. Part III of the thesis considers the long-time properties and invariants of the equation, and deals with structure-preserving schemes. We first introduce in Chapter 5 a novel symmetric time integrator for the nonlinear Schr ̈odinger equation. We give fractional convergence rates as a function of the Sobolev regularity of the initial data. Chapter 6 extends the latter work by constructing higher order symmetric integrators for a general class of dispersive equations. All these new symmetric schemes exhibit excellent structure preservation and convergence properties, which are witnessed in numerical experiments.The higher order extensions of Chapters 3, 4, 6 follow new techniques based on decorated tree series, inspired by singular stochastic PDEs via the theory of Regularity Structures

La réduction de la diffusion numérique des structures tourbillonnaires est un point clé de la simulation de nombreux problèmes de Mécanique des fluides. S'appuyant d'une part sur la notion définie par Morton et Roe de schéma numérique préservant exactement la vorticité pour les équations de l'acoustique et d'autre part sur une forme de schémas basés sur le résidu introduits par Lerat et Corre, cette thèse présente un schéma RBV (Residual Based Vorticity preserving), d'ordre 2 implicite basé sur le résidu qui préserve la vorticité pour les équations de l'acoustique, de l'acoustique avec advection et les équations d'Euler. Le schéma RBV permet d'advecter un tourbillon sur de longues distances avec très peu de diffusion numérique. Il a été formulé en maillage curviligne dans l'approche des volumes finis et, par construction, conserve son ordre de précision et ses propriétés de préservation de la vorticité en maillage irrégulier sans nécessiter de termes correctifs. Le schéma RBV a été appliqué à des calculs d'écoulements stationnaires et instationnaires autour de profil pour les équations d'Euler, puis au cas de l'interaction frontale, subsonique instationnaire, entre un tourbillon de Scully et un profil NACA0012 à incidence nulle pour lequel existent des données expérimentales. Ce problème modèle est représentatif de l'interaction parallèle entre une pale de rotor d'hélicoptère et le tourbillon émis en extrémité d'une pale précédente, qui est à l'origine du bruit BVI ("Blade Vortex Interaction noise") dominant dans le cas du vol de descente basse vitesse de l'hélicoptère. Les résultats obtenus avec le schéma RBV sur ce cas d'interaction pale tourbillon 2D démontrent la capacité de la méthode à simuler des écoulements aérodynamiques réalistes. Des comparaisons avec les solutions de schémas classiques d'ordre 2 montrent l'apport de la méthode proposée.

Le but de ce travail est de construire un schéma volumes finis explicite d’ordre élevé pour des systèmes de lois de conservation avec terme source qui peuvent dégénérer vers des équations de diffusion sous des conditions de compatibilités. Cette dégénérescence est observée en temps long et/ou lorsque le terme source devient prépondérant. Par exemple, ce comportement peut être observé sur le modèle d’Euler isentropique avec friction, ou sur le modèle M1 pour le transfert radiatif ou encore avec l’hydrodynamique radiative. On propose une théorie générale afin de développer un schéma d’ordre un préservant l’asymptotique (au sens de JIN) pour suivre la dégénérescence. On montre qu’il est stable et consistant sous une condition CFL hyperbolique classique dans le régime de transport comme proche de la diffusion pour tout maillage 2D non structuré. De plus, on justifie qu’il préserve aussi l’ensemble des états admissibles, ce qui est nécessaire pour conserver des solutions physiquement et mathématiquement valides. Cette construction se fait en utilisant le schéma non-linéaire de DRONIOU et LE POTIER pour discrétiser l’équation de diffusion limite. Ensuite, l’extension à l’ordre élevé s’effectue avec des reconstructions polynomiales et la méthode MOOD comme principe de limitation. Les difficultés principales sont la préservation de l’ensemble des états admissibles dans tous les régimes sur maillage 2D non structuré et la préservation de l’asymptotique à tout ordre lors de l’utilisation de reconstructions polynomiales. Des résultats numériques sont présentés pour valider le schéma d’ordre un et d’ordre élevé dans tous les régimes
The aim of this work is to design a high-order and explicit finite volume scheme for specific systems of conservation laws with source terms. Those systems may degenerate into diffusion equations under some compatibility conditions. The degeneracy is observed with large source term and/or with late-time. For instance, this behaviour can be seen with the isentropic Euler model with friction or with the M1 model for radiative transfer, or with the radiation hydrodynamics model. We propose a general theory to design a first-order asymptotic preserving scheme (in the sense of Jin) to follow this degeneracy. The scheme is proved to be stable and consistent under a classical hyperbolic CFL condition in both hyperbolic and diffusive regimes, for any 2D unstructured mesh. Moreover, we justify that the developed scheme also preserves the set of admissible states in all regimes, which is mandatory to conserve physical solutions. This construction is achieved by using the non-linear scheme of Droniou and Le Potier as a target scheme for the diffusive equation, which gives the form of the global scheme for the complete system of conservation laws. Then, the high-order scheme is constructed with polynomial reconstructions and the MOOD paradigm as a limiter. The main difficulties are the preservation of the set of admissible states in both regimes on unstructured meshes and to deal with the high-order polynomial reconstruction in the diffusive limit without losing the asymptotic preserving property. Numerical results are provided to validate the scheme in all regimes, with the first and high-order versions

Nous proposons une méthode pour aider les administrateurs des applications XML dans la tâche de faire évoluer des schémas en préservant la cohérence de la base de données sans la modifier.
L'utilisateur donne au système ce qu'il souhaite comme nouveau document devant être accepté par le schéma.
À partir de ce document, le système construit des schémas candidats, qui d'une part préservent la validité de la base de documents et, d'autre part augmentent la classe de documents acceptée par le schéma.
L'approche est implantée par un algorithme appelé GREC.
Cet algorithme utilise l'automate d'arbre A qui accepte le langage défini par le schéma pour trouver les informations nécessaires à la modification.
Plus précisément, il utilise les expressions régulières des règles de transitions de A pour proposer les candidats.
Ainsi, les modifications sont faites sur les graphes qui représentent les automates d'états finis construits à partir des expressions régulières concernées.
Les expressions régulières engendrées par GREC représentent des schémas présentés à l'utilisateur afin qu'il choisisse le plus adapté à la sémantique de son application.

Les symétries sont des transformations continues qui agissent sur les variables du système physique. Propriétés des équations différentielles qui gouvernent le système, elles conservent l'ensemble des solutions des équations, puisque sous l'action de telles transformations les équations s'écrivent à l'identique. Les symétries sont décrites par la théorie des groupes de Lie, qui fournit des outils incontournables dans l'analyse des équations différentielles. Elles permettent le calcul des solutions auto-similaires et de modèles invariants. Par ailleurs, lorsque le système différentiel dérive d'un Lagrangien, le théorème de Noether établit que toute symétrie de l'action d'un système physique est liée à une loi de conservation. Dans la première partie, nous introduisons la notion de symétrie, puis nous présentons quelques exemples d'application des techniques de symétrie de Lie. Ils montrent l'importance de ces propriétés dans la prédiction et la compréhension des phénomènes physiques. Dans la seconde partie, nous discutons de l'extension des techniques de symétries de Lie aux schémas numériques. Puis nous appliquons ces techniques à des schémas standard pour la résolution de l'équation de Burgers. La construction de méthodes numériques qui héritent des symétries d'équations différentielles est un thème récent, et fait partie du domaine de l'analyse numérique appelé intégration géométrique. Dans la troisième partie, nous mettons en oeuvre deux méthodes invariantes (une basée sur les équations équivalentes associées et une autre sur une extension discrète des symétries, avec maillage invariant adapté) pour la résolution d'équations unidimensionnelles de la mécanique des fluides

Le but de cette thèse est de construire et analyser des schémas numériques capables de discrétiser les solutions de systèmes de lois de conservation hyperboliques avec terme source. La propriété principale recherchée dans ces travaux est la préservation de l’asymptotique, c’est-à-dire que les schémas développés doivent rester précis en régime de diffusion, à savoir en temps long et terme source raide. Ce manuscrit est divisé en deux parties. La première est consacrée à la présentation d’un résultat de convergence numérique rigoureux pour un schéma discrétisant les solutions du p-système. Le taux de convergence ainsi obtenu est exprimé explicitement et est en accord avec les résultats déjà connus dans les cadres continu et semi-discret. La seconde partie de ce manuscrit est dédiée au développement de schémas préservant l’asymptotique, pour lequel deux méthodes sont proposées. La première constitue une généralisation du schéma HLL perturbé proposé par Berthon et Turpault afin de traiter les termes sources de forme quadratique tandis que la deuxième méthode de construction exposée permet de préserver à la fois tous les états stationnaires et la limite de diffusion
The aim of this work is to build and analyse schemes able to discretize the solutions of hyperbolic systems of conservation laws endowed with a source term. The main property required here is the preservation of the asymptotic behaviour, in other words the schemes must stay accurate in the diffusive regime, namely the long time and stiff source term regime. This manuscript is divided in two parts. The first one is dedicated to the presentation of a rigourous numerical convergence result for a scheme discretizing the solutions of the p-system. The convergence rate obtained is explicitly exhibited and coincides with the results obtained in the continuous and semi-discrete frameworks. The second part is devoted to the development of asymptotic preserving schemes and two methods are proposed. The first one is a generalization of the perturbed HLL method introduced by Berthon and Turpault in order to treat source terms of quadratic form and the second one is able to preserve both all the steady states and the diffusive limit

Cette thèse est une contribution au développement de schémas numériques préservants l'asymptotique pour des équations cinétiques. Elle est constituée de deux parties. La première partie concerne le développement de schémas numériques pour des équations cinétiques de type Boltzmann, qui soient capables de préserver lors du passage au régime hydrodynamique la limite Euler ainsi que l'asymptotique Navier-Stokes compressible (qui n'est pas une limite). Notre stratégie consiste à réécrire l'équation cinétique de départ comme un système équivalent couplant une partie cinétique et une autre macroscopique, en utilisant une décomposition micro-macro de la fonction de distribution comme la somme de sa (maxwellienne) partie d'équilibre et une perturbation. Les simulations numériques sont réalisées sur le modèle BGK unidimensionnel, et ensuite généralisées pour ce même modèle à une dimension supérieure en vitesse. La deuxième partie porte sur la construction de schémas numériques préservant la limite de diffusion pour l'équation de Kac. Ce modèle unidimensionnel est plus simple que l'équation de Boltzmann. Néanmoins, il a la même structure quadratique tandis que les modèles utilisés précédemment sont seulement des opérateurs de relaxation. Par contre, contrairement à l'équation de Boltzmann la limite macroscopique non triviale correspondante au modèle de Kac est une équation de diffusion non linéaire. Cette partie contient aussi la construction d'une discrétisation déterministe de l'opérateur de Kac. Cette discrétisation est effectuée sur une nouvelle formulation plus simple et moins coûteuse de cet opérateur. Plusieurs simulations sont réalisées afin de valider cette discrétisation ainsi que le schéma préservant la limite de diffusion
This thesis is a contribution in the development of asymptotic preserving numerical schemes for kinetic equations. This work contains two parts. The first one is concerned with the development of numerical schemes for like Boltzmann kinetic equations, which are able to preserve the Euler limit as well as the compressible Navier-Stokes asymptotics (which is not a limit) near the hydrodynamical regime. Our strategy consists in rewriting the kinetic equation as a coupled system of kinetic part and macroscopic one, by using the micro-macro decomposition of the distribution function as a sum of its corresponding (Maxwellian) equilibrium distribution plus the deviation. The simulations are performed for the one-dimensional BGK model, and then extended for this model in higher velocity dimension. The second part is concerned with the construction of asymptotic preserving scheme in the diffusion limit for the Kac's equation. This model is much simpler that the Boltzmann equation (it is one dimensional), but it has the same quadratic structure, while the models used in the previous part were only relaxation operators. However, contrary to the Boltzmann equation, the natural fluid limit of the Kac model is a non linear diffusion equation. We also construct in this part a deterministic velocity discretization for the collisional operator. Such discretization is based on a simple new formulation of the Kac operator. Several simulations are presented in order to illustrate the efficiency of our approach

Dans le cadre des approches constructionistes, cette thèse étudie les verbes labiles de l’anglais, qui peuvent manifester des configurations syntaxiques variées sans changer de forme. L’étude de la complémentation de ces verbes montre que leur catégorisation en familles sémantiques est pertinente mais pas suffisante pour expliquer leur comportement. La thèse défend une approche syncrétique de la complémentation du verbe qui rend compte de son importante productivité et de ses limites parfois arbitraires. Une analyse montre que les verbes ont tous une configuration syntaxique par défaut, qui n’est pas signifiante et qui permet simplement au verbe d’exprimer ses arguments de façon non marquée, en accord avec certains principes de cohérence conceptuelle. À l’inverse, lorsque la complémentation du verbe a un apport sémantique identifiable, l’existence de schémas de complémentation pleinement signifiants est postulée. Il s’agit d’ensembles de compléments dont le sens est distinct de celui du verbe auquel ils sont associés et se retrouve de façon régulière avec des verbes de catégories diverses. Il est démontré que les schémas de complémentation doivent être considérés comme des unités linguistiques de plein droit de l’anglais. Cela implique qu’en synchronie, ces schémas sont emmagasinés par les locuteurs plutôt que le résultat d’un processus d’analogie avec des constructions existantes. Leur statut d’unité linguistique permet d’étudier leur sémantisme de la même façon que des unités lexicales plus classiques. S’ils sont en majorité polysémiques, certains schémas ont des emplois difficiles à relier sémantiquement et doivent donc être considérés comme des homonymes
Within a constructionist framework, this thesis studies English labile verbs, which can enter into various syntactic configurations without changing form. A study of their complementation shows that categorizing them into semantic families is relevant but not sufficient to explain their behavior. The thesis defends a syncretic approach to verb complementation to that accounts for its important productivity and its sometimes arbitrary limits. It is shown that all verbs have a default syntactic configuration, which is not meaningful and which simply allows the verb to express its arguments in an unmarked way, in accordance with certain principles of conceptual coherence. Conversely, when the complementation of the verb has an identifiable semantic contribution, the existence of fully meaningful patterns of complementation is posited. These are defined as sets of complements, whose meaning is distinct from that of the verb with which they are associated and is found regularly with verbs of diverse categories. It is shown that patterns of complementation should be considered fully-fledged English linguistic units. This implies that synchronically, these patterns are mentally stored by speakers rather than the result of a process of analogy with existing constructions. Their status as linguistic units makes it possible to study their meaning in the same way as more classical lexical units. Although most of them are polysemic, some patterns of complementation exhibit uses that are difficult to link semantically and must therefore be viewed as homonyms

Les méthodes d'algèbres linéaire classiques, pour le calcul de valeurs et vecteurs propres d'une matrice, ou des approximations de rangs inférieurs (low-rank approximations) d'une solution, etc..., ne tiennent pas compte des structures de matrices. Ces dernières sont généralement détruites durant le procédé du calcul. Des méthodes alternatives préservant ces structures font l'objet d'un intérêt important par la communauté. Cette thèse constitue une contribution dans ce domaine. La décomposition SR peut être calculé via l'algorithme de Gram-Schmidt symplectique. Comme dans le cas classique, une perte d'orthogonalité peut se produire. Pour y remédier, nous avons proposé deux algorithmes RSGSi et RMSGSi qui consistent à ré-orthogonaliser deux fois les vecteurs à calculer. La perte de la J-orthogonalité s'est améliorée de manière très significative. L'étude directe de la propagation des erreurs d'arrondis dans les algorithmes de Gram-Schmidt symplectique est très difficile à effectuer. Nous avons réussi à contourner cette difficulté et donner des majorations pour la perte de la J-orthogonalité et de l'erreur de factorisation. Une autre façon de calculer la décomposition SR est basée sur les transformations de Householder symplectique. Un choix optimal a abouti à l'algorithme SROSH. Cependant, ce dernier peut être sujet à une instabilité numérique. Nous avons proposé une version modifiée nouvelle SRMSH, qui a l'avantage d'être aussi stable que possible. Une étude approfondie a été faite, présentant les différentes versions : SRMSH et SRMSH2. Dans le but de construire un algorithme SR, d'une complexité d'ordre O(n³) où 2n est la taille de la matrice, une réduction (appropriée) de la matrice à une forme condensée (J(Hessenberg forme) via des similarités adéquates, est cruciale. Cette réduction peut être effectuée via l'algorithme JHESS. Nous avons montré qu'il est possible de réduire une matrice sous la forme J-Hessenberg, en se basant exclusivement sur les transformations de Householder symplectiques. Le nouvel algorithme, appelé JHSJ, est basé sur une adaptation de l'algorithme SRSH. Nous avons réussi à proposer deux nouvelles variantes, aussi stables que possible : JHMSH et JHMSH2. Nous avons constaté que ces algorithmes se comportent d'une manière similaire à l'algorithme JHESS. Une caractéristique importante de tous ces algorithmes est qu'ils peuvent rencontrer un breakdown fatal ou un "near breakdown" rendant impossible la suite des calculs, ou débouchant sur une instabilité numérique, privant le résultat final de toute signification. Ce phénomène n'a pas d'équivalent dans le cas Euclidien. Nous avons réussi à élaborer une stratégie très efficace pour "guérir" le breakdown fatal et traîter le near breakdown. Les nouveaux algorithmes intégrant cette stratégie sont désignés par MJHESS, MJHSH, JHM²SH et JHM²SH2. Ces stratégies ont été ensuite intégrées dans la version implicite de l'algorithme SR lui permettant de surmonter les difficultés rencontrées lors du fatal breakdown ou du near breakdown. Rappelons que, sans ces stratégies, l'algorithme SR s'arrête. Finalement, et dans un autre cadre de matrices structurées, nous avons présenté un algorithme robuste via FFT et la matrice de Hankel, basé sur le calcul approché de plus grand diviseur commun (PGCD) de deux polynômes, pour résoudre le problème de la déconvolution d'images. Plus précisément, nous avons conçu un algorithme pour le calcul du PGCD de deux polynômes bivariés. La nouvelle approche est basée sur un algorithme rapide, de complexité quadratique O(n²), pour le calcul du PGCD des polynômes unidimensionnels. La complexité de notre algorithme est O(n²log(n)) où la taille des images floues est n x n. Les résultats expérimentaux avec des images synthétiquement floues illustrent l'efficacité de notre approche
The classical linear algebra methods, for calculating eigenvalues and eigenvectors of a matrix, or lower-rank approximations of a solution, etc....do not consider the structures of matrices. Such structures are usually destroyed in the numerical process. Alternative structure-preserving methods are the subject of an important interest mattering to the community. This thesis establishes a contribution in this field. The SR decomposition is usually implemented via the symplectic Gram-Schmidt algorithm. As in the classical case, a loss of orthogonality can occur. To remedy this, we have proposed two algorithms RSGSi and RMSGSi, where the reorthogonalization of a current set of vectors against the previously computed set is performed twice. The loss of J-orthogonality has significantly improved. A direct rounding error analysis of symplectic Gram-Schmidt algorithm is very hard to accomplish. We managed to get around this difficulty and give the error bounds on the loss of the J-orthogonality and on the factorization. Another way to implement the SR decomposition is based on symplectic Householder transformations. An optimal choice of free parameters provided an optimal version of the algorithm SROSH. However, the latter may be subject to numerical instability. We have proposed a new modified version SRMSH, which has the advantage of being numerically more stable. By a detailes study, we are led to two new variants numerically more stables : SRMSH and SRMSH2. In order to build a SR algorithm of complexity O(n³), where 2n is the size of the matrix, a reduction to the condensed matrix form (upper J-Hessenberg form) via adequate similarities is crucial. This reduction may be handled via the algorithm JHESS. We have shown that it is possible to perform a reduction of a general matrix, to an upper J-Hessenberg form, based only on the use of symplectic Householder transformations. The new algorithm, which will be called JHSH algorithm, is based on an adaptation of SRSH algorithm. We are led to two news variants algorithms JHMSH and JHMSH2 which are significantly more stable numerically. We found that these algortihms behave quite similarly to JHESS algorithm. The main drawback of all these algorithms (JHESS, JHMSH, JHMSH2) is that they may encounter fatal breakdowns or may suffer from a severe form of near-breakdowns, causing a brutal stop of the computations, the algorithm breaks down, or leading to a serious numerical instability. This phenomenon has no equivalent in the Euclidean case. We sketch out a very efficient strategy for curing fatal breakdowns and treating near breakdowns. Thus, the new algorithms incorporating this modification will be referred to as MJHESS, MJHSH, JHM²SH and JHM²SH2. These strategies were then incorporated into the implicit version of the SR algorithm to overcome the difficulties encountered by the fatal breakdown or near-breakdown. We recall that without these strategies, the SR algorithms breaks. Finally ans in another framework of structured matrices, we presented a robust algorithm via FFT and a Hankel matrix, based on computing approximate greatest common divisors (GCD) of polynomials, for solving the problem pf blind image deconvolution. Specifically, we designe a specialized algorithm for computing the GCD of bivariate polynomials. The new algorithm is based on the fast GCD algorithm for univariate polynomials , of quadratic complexity O(n²) flops. The complexitiy of our algorithm is O(n²log(n)) where the size of blurred images is n x n. The experimental results with synthetically burred images are included to illustrate the effectiveness of our approach

Soit a un anneau de valuation discrete complet, d'inegale caracteristique, et de corps residuel parfait k. Soit x un a-schema propre, plat, et semi-stable sur a. Le present travail est une contribution a l'etude de la structure recemment mise en evidence par hyodo-kato, fontaine, et al. Sur la cohomologie de de rham de la fibre generique de x. Nous nous interessons plus precisement a la structure rationnelle sur le corps des fractions de l'anneau des vecteurs de witt de k fournie par la cohomologie cristalline logarithmique de la fibre speciale y, munie de ses operateurs de frobenius et de monodromie. Nous montrons que celle-ci est l'aboutissement d'une suite spectrale, que nous appelons suite spectrale des poids, dont le terme initial est somme de cohomologies cristallines d'intersections de composantes de y, avec une differentielle donnee par des morphismes de restriction et de gysin. Cette suite spectrale est analogue a celles construites par steenbrink dans le cas complexe et rapoport-zink en cohomologie l-adique. Quand k est fini, elle degenere en e#2 et fournit une structure mixte sur son aboutissement. Elle permet de formuler une conjecture de monodromie-poids analogue a la conjecture classique en cohomologie l-adique. Nous la prouvons quand x est une courbe relative