Cette thèse est consacrée à l'étude des systèmes non linéaires hyperboliques de lois de conservation avec des termes sources autorisées à devenir raides. Les applications viennent pour la plupart de problèmes physiques, par exemple l'equation de Burgers ou de Buckley-Leverett et le système d'Euler muni de lois de pression pour un gaz parfait ou une version simplifiée de mélange à deux phases. La première partie traite des aspects théoriques de ce sujet. Nous nous concentrons sur le cas unidimensionnel et considérons l'équation scalaire et d'un cas particulier d'un système d'écoulement diphasique réactif. La question principale à gérer lorsqu'on établit la convergence forte d'une suite d'approximations au moyen de la théorie de compacité par compensation dans de tels cas est de trouver des régions invariantes dans l'espace des phases. Pour le problème scalaire, il suffit que le terme source conserve une borne uniforme sur la norme L ∞ de la séquence. Mais c'est moins évident pour un système car les zones invariantes sont plutôt compliquées et peuvent être perturbées en raison de la forme de certains termes de forçage. La deuxième partie s'intéresse aux critères de stabilité pour les schémas numériques implicites impliquant des quadratures en temps sophistiquées. Nous présentons d'abord l'analyse d'une semi-discrétisation (méthode des lignes) afin d'en tirer des conditions suffisantes pour le système différentiel d'être bien posé. Cela amène des restrictions assez naturelles pour assurer la stabilité d'une méthode à une seule étape implicite: le pas de temps doit être petit près des points de compression et de répulsion du terme source. Une analyse de variation totale est ensuite réalisée pour dériver les régimes du second ordre sans oscillations autour de chocs pour le plus grand pas de temps possible. Des expériences numériques sont présentés sur des problèmes scalaires non linéaires. La troisième partie est une suite directe afin de corriger certaines des difficultés rencontrées auparavant. L'objectif principal est de construire une nouvelle discrétisation qui peut gérer un terme source arbitrairement raide sans aucune influence (sauf la condition habituelle CFL) sur le pas de temps. Suivant les idées de J. Greenberg et A.-Y. LeRoux, nous calculons d'abord un schéma de Godunov scalaire afin d'obtenir un résultat de convergence vers la solution entropique à l'aide des estimations BV. Comme la caractéristique principale est de gérer les sources au moyen des produits non-conservatifs, nous décidons d'utiliser le formalisme proposé par G. Dalmaso, PG LeFloch et F. Murat pour étendre ces idées à des systèmes non-homogènes. Suivant I. Toumi, nous introduisons des matrices de type Roe le long des chemins régularisants afin d'obtenir des approximations qui montrent des propriétés intéressantes. En fait, c'est ce que l'on appelle les régimes bien équilibrés, à savoir les régimes qui préservent les intégrales premières théoriques du mouvement. Des tests numériques sont basés sur le système d'Euler avec termes sources géométriques. Le quatrième (et dernière) partie concerne la mise en place de cette formulation non-conservative dans un schéma de type flux-splitting. L'objectif est de construire une méthode très robuste, bien équilibrée et facile à mettre en oeuvre. Les relations de saut généralisées provenant des sources sont détaillées et le système est testé dans un très large éventail de problèmes: les flux de tuyères, diphasique avec chimie et amortissement, les systèmes de relaxation ... Un chapitre est également consacré à des cas de résonance: en suivant Majda, nous étudions le problème stationnaire pour valider nos résultats. Ce travail conclut avec un écoulement diphasique en deux dimensions qui évolue de manière assez compliquée, les relations non conservatives étant traitées par un processus itératif convergent.

This thesis examines the degree to which computer science terminology as recommended by the official language planning organizations of France (Délégation générale à la langue française et aux langues de France) and Quebec (Office québécois de la langue française) is integrated in business communication language. While the study of terminology implantation has been determined in peer-reviewed literature as being crucial to language planners in order to verify the successful use of their own recommendations, only a small number of studies have been undertaken in this field over the last few decades. Incorporating and adapting the terminometrics protocol created by Jean Quirion (2000), we investigate the degree of implantation of official terms for computer peripherals in comparison to other French and English synonyms inside a corpus constituted of webpages of international information technology (IT) companies. Our study reveals how the distinct language policy of France and Quebec, due to different historical, sociological and political events, may influence the scope of their action on language use. / Graduate / 0290 / esaint@uvic.ca

Aquesta tesi doctoral es proposa contribuir a la delimitació del nivell d'especialitat d'un text a partir de l'anàlisi quantitativa de la terminologia que conté, amb la voluntat, d'una banda, de contribuir a l'estudi i caracterització del text especialitzat des d'una perspectiva lingüística, i de l'altra, de proposar una via que permeti la determinació d'un paràmetre objectivable, vàlid per discriminar un text en funció del nivell d'especialització que presenta, amb la finalitat d'aportar les bases de futurs sistemes de detecció automàtica del nivell d'especialització d'un text.D'acord amb aquest objectiu, la tesi ofereix una revisió crítica de les diferents aproximacions lingüístiques al concepte de text especialitzat i a la consideració de la variació vertical present en les produccions especialitzades i proposa l'ús d'un mesurador estadístic de la diversitat (l'índex de Shannon-Weaver) per obtenir un paràmetre, relacionat amb la diversitat terminològica, susceptible de discriminar els textos en funció del nivell d'especialització que presenten.

No description available.

Les machines électriques sont modélisées pour prédire leurs performances et optimiser leur rendement. Cette modélisation peut être faite par des simulations avec la méthode des éléments finis. En particulier, les machines asynchrones nécessitent des simulations 3D pour prendre en compte les courants de Foucault et les têtes de bobines. Dans le logiciel Flux®, des formulations 3D basées sur le potentiel scalaire magnétique sont utilisées avec succès depuis de nombreuses années. Néanmoins, des coupures mathématiques artificielles sont nécessaires, lorsque le domaine n'est pas simplement connexe.Afin de se libérer de ces contraintes de connexité, des formulations en potentiel vecteur magnétique ont été étudiées et développées. En 3D, leur mise en œuvre nécessite l'utilisation d'éléments finis d'arêtes afin de respecter la nature des champs. Avec les éléments d'arêtes, les formulations sont généralement résolues avec une condition de jauge pour les solveurs directs comme pour les solveurs itératifs. De nouvelles formulations en potentiel vecteur magnétique auto-jaugées ont été développées permettant la prise en compte des bobines maillées et des bobines non maillées. La prise en compte du mouvement est relativement simple à mettre en œuvre pour les formulations en potentiel scalaire magnétique avec l'interpolation nodale.Avec les éléments d'arête, l'interpolation est plus délicate. C'est pourquoi la méthode des éléments avec joints a été développée pour prendre en compte le mouvement dans un cas général. / Electric machines are modeled in order to predict their performance and to optimize their output. This modeling can be done by simulation with the finite element method. In particular, induction machines require 3D simulation to take into account eddy currents and coils overhangs. In the Flux® software, 3D formulations based on magnetic scalar potential has been used with success for many years. Nevertheless, artificial mathematical cuts are necessary, when the domain is not simply connected.In order to avoid connection constraints, magnetic vector potential formulations have been studied and developed. In 3D, their implementation requires the use of edge elements to respect the nature of fields. With edge elements, formulations are generally solved with a gauge condition for direct solvers as well as for iterative solvers. New auto-gauged magnetic vector potential formulations have been developed to take into account meshed coils and non-meshed coils. Consideration of movement is relatively simple to implement for magnetic scalar potential formulations with nodal interpolation. With edge elements, the interpolation is more delicate. For this reason, the mortar method has been developed to take into account movement in a general case.

Ce travail a pour objet l’étude des procédures linguistiques employées par les enseignants universitaires d’espagnol comme langue étrangère dans la gestion discursive de la relation interpersonnelle avec les élèves. En partant d’une perspective discursive nous postulons que la gestion discursive de la relation interpersonnelle peut être considérée comme la manière dont l´enseignant, en qualité de parlant/producteur (et agent social), gère un ensemble de procédures linguistiques pour établir la relation interpersonnelle avec les élèves dans la salle de classe, en fonction des limites et possibilités qui encadrent son travail dans un espace social et un espace discursif. À partir de cette proposition nous avons déterminé que le sens de la gestion discursive dans le domaine didactique et pédagogique réfère spécifiquement à l'aide que l'enseignant, en sa qualité de compétent et facilitateur de l'apprentissage, fournit aux étudiants. En outre, selon nous, cette aide résulte d’une logique croisée dans laquelle convergent deux principes antinomiques: une hétéronomie et une autonomie discursive. En nous basant sur l’analyse des transcriptions de classes filmées et des entretiens avec les élèves, on montre que les procédures linguistiques employées par les enseignants correspondent au phénomène de la modulation et opèrent à deux niveaux, un micro et un macro fonctionnement. On confirme également que ces procédures se situent dans la logique croisées qui est propre au sens de l’aide. Néanmoins, on constate que la gestion discursive des enseignants qui se situe dans cette logique croisée est problématique dû à la distribution des procédures linguistique et son éventuel contre-sens. / This work is about the the study of linguistic procedures used by university teachers of Spanish as a foreign language in the discursive management of interpersonal relationships with students. Starting from a discursive perspective we argue that the discursive management of interpersonal relationship can be considered as how the teacher as speaker / producer (and social agent) manages a set of linguistic procedures to establish the interpersonal relationship with students in the classroom, based on the limits and possibilities that surround his work in a social and discursive space. From this proposition we determined that the sense of the discoursive management in the didactic and pedagogical domain refers specifically to the help which the teacher, in his capacity as a competent being and as a facilitator of learning, provides to the students. In addition, we believe that this help results from a crossed logic in which converge two contradictory principles: discursive heteronomy and autonomy. Based on our analysis of transcripts of videotaped classes and interviews with students, we show that the procedures used by language teachers correspond to the phenomenon of modulation and operate at two levels, a micro and a macro functioning. We also confirm that these procedures are in a logic which is particular to the sense of help. However, we note that the discursive management of teachers, which is in this logic, is problematic due to the distribution of linguistic procedures and its eventual unproductiveness.

Cette étude porte sur le calcul numérique du champ acoustique rayonné par des écoulements subsoniques turbulents présentant des inhomogénéités de température. Des méthodes hybrides sont développées grâce à un développement de Janzen-Rayleigh des équations de Navier-Stokes. L'écoulement est résolu par un calcul quasi incompressible puis les perturbations acoustiques sont propagées selon deux méthodes : les équations d'Euler linéarisées (EEL) et l'approximation à faible nombre de Mach perturbée(PLMNA). Les méthodes sont validées sur des cas simples puis appliquées à une couche de mélange isotherme et anisotherme en développement spatial. / This study focuses on the numerical calculation of the acoustic field radiated by subsonic turbulent flows with temperature inhomogeneities. Hybrid methods are developed through a Rayleigh-Janzen expansion of the Navier-Stokes equations. The flow is solved in a quasi-incompressible way then the acoustic disturbances are propagated by two methods : the linearized Euler's equations (EEL) and the perturbed low Mach number approximation (PLMNA). The methods are validated on simple cases and then applied to an isothermal and non isothermal spatially evolving mixing layer.

Cette thèse porte sur les propriétés opérationnelles de deux extensions quantitatives du λ-calcul pur : le λ-calcul algébrique et le λ-calcul probabiliste.Dans la première partie, nous étudions la théorie de la β-réduction dans le λ-calcul algébrique. Ce calcul permet la formation de combinaisons linéaires finies de λ-termes. Bien que le système obtenu jouisse de la propriété de Church-Rosser, la relation de réduction devient triviale en présence de coefficients négatifs, ce qui la rend impropre à définir une notion de forme normale. Nous proposons une solution qui permet la définition d'une relation d'équivalence sur les termes, partielle mais cohérente. Nous introduisons une variante de la β-réduction, restreinte aux termes canoniques, dont nous montrons qu'elle caractérise en partie la notion de forme normale précédemment établie, démontrant au passage un théorème de factorisation.Dans la seconde partie, nous étudions la bisimulation et l'équivalence contextuelle dans un λ-calcul muni d'un choix probabliste. Nous donnons une technique pour établir que la bisimilarité applicative probabiliste est une congruence. Bien que notre méthode soit adaptée de celle de Howe, certains points techniques sont assez différents, et s'appuient sur des propriétés non triviales de « désintrication » sur les ensembles de nombres réels. Nous démontrons finalement que, bien que la bisimilarité soit en général strictement plus fine que l'équivalence contextuelle, elles coïncident sur les λ-termes purs. L'égalité correspondante est celle induite par les arbres de Lévy-Longo, généralement considérés comme l'équivalence extensionnelle la plus fine pour les λ-termes en évaluation paresseuse. / In this thesis we deal with the operational behaviours of two quantitative extensions of pure λ-calculus, namely the algebraic λ-calculus and the probabilistic λ-calculus.In the first part, we study the β-reduction theory of the algebraic λ-calculus, a calculus allowing formal finite linear combinations of λ-terms to be expressed. Although the system enjoys the Church-Rosser property, reduction collapses in presence of negative coefficients. We exhibit a solution to the consequent loss of the notion of (unique) normal form, allowing the definition of a partial, but consistent, term equivalence. We then introduce a variant of β-reduction defined on canonical terms only, which we show partially characterises the previously established notion of normal form. In the process, we prove a factorisation theorem.In the second part, we study bisimulation and context equivalence in a λ-calculus endowed with a probabilistic choice. We show a technique for proving congruence of probabilistic applicative bisimilarity. While the technique follows Howe's method, some of the technicalities are quite different, relying on non-trivial "disentangling" properties for sets of real numbers. Finally we show that, while bisimilarity is in general strictly finer than context equivalence, coincidence between the two relations is achieved on pure λ-terms. The resulting equality is that induced by Lévy-Longo trees, generally accepted as the finest extensional equivalence on pure λ-terms under a lazy regime.

L’objectif de cette étude est de repérer des néologismes à partir de corpus de textes français au moyen d’une méthode semi-automatique. Plus précisément, nous extrayons les néologismes de corpus associés à deux domaines différents, mais traitant du même thème, nous examinons leur répartition et nous les classons selon leur type. L’étude s’appuie sur l’analyse de corpus traitant des médias sociaux. Le premier aborde les médias sociaux du point de vue de la communication, l’autre le fait du point de vue de l’informatique. Ces points de vue ont été privilégiés, car la communication considère ce qui a trait l’utilisation des médias sociaux et l’informatique aborde leur cartographie. La méthode fait appel à l’extracteur de termes TermoStat pour recenser la terminologie des médias sociaux pour chaque point de vue. Ensuite, nous soumettons les 150 termes les plus spécifiques de chaque point de vue à une méthode de validation divisée en trois tests destinés à valider leur statut néologique : des dictionnaires spécialisés, des dictionnaires de langue générale et un outil de visualisation de n-grammes. Finalement, nous étiquetons les néologismes selon la typologie de Dubuc (2002). L’analyse des résultats de la communication et de l’informatique est comparative. La comparaison des deux corpus révèle les contributions respectives de la communication et de l'informatique à la terminologie des médias sociaux en plus de montrer les termes communs aux deux disciplines. L’étude a également permis de repérer 60 néologismes, dont 28 sont exclusifs au corpus de la communication, 28 exclusifs à celui de l’informatique et 4 communs aux deux corpus. La recherche révèle également que les composés par subordination sont les types de néologismes les plus présents dans nos résultats. / The objective of this study is to identify the neologisms within corpora of French texts by means of a semi-automatic method. More precisely, we will extract the neologisms from corpora associated to two different areas; however dealing with the same topic, we examine their distribution and we classify them according to their type. This study is based on an analysis of two corpora within social media. The first one approaches social media from the point of view of communication, and the other approaches it from the point of view of computer science. We prioritize these two points of view being that communication is used as the main source of social media’s utilization and that computer science allows us to understand what is involved to allow for social media to be functional. For this method, we use the TermoStat term extractor in order to take census of terminology for each point of view. We then submit 150 of the most specific terms related to each point of view by way of an exclusion corpus from which we divide into three different tests meant to validate their neological status: specialized dictionaries, general language dictionaries, and a visualization tool for n-grams. Lastly, we label the neologisms according to Dubuc’s (2002) typology. The analysis of the results obtained for communication and computer science uses a comparative method. The comparison of the two corpora reveals the respective contributions from communication and computer science with respect to the terminology of social medias, as well it demonstrates common terms found within the two disciplines. This examination also allowed for the identification of 60 neologisms; of which 28 are exclusive to the corpus of communication, another 28 are exclusive to that of computer science, and four were found to be common to both corpora. This research also reveals that subordinate compounds are the most present types of neologisms according to our results.

Cette thèse étudie le rôle joué par les investisseurs financiers sur les marchés des matières premières, connu sous le nom de financiarisation des matières premières. Elle est constituée d’une partie théorique et d’une autre empirique. Les recherches menées visent à étudier la participation des investisseurs, détenant des portefeuilles d’actions, aux marchés à terme de matières premières, pour des raisons de diversification. De plus, cette diversification peut être obtenue en investissant dans un panier de produits de base. Le premier chapitre analyse théoriquement l’interaction entre le marché des matières premières et celui des actions. Le deuxième chapitre étudie empiriquement l’impact du choix des investisseurs financiers sur la prime de risque des contrats à terme sur les matières premières. Il s’intéresse principalement à trois produits de base : pétrole brut (WTI), fioul pour chauffage et gaz naturel. Le troisième chapitre étudie théoriquement l’intégration de deux marchés de matières premières. Nous clarifions certaines considérations concernant l’effet de la financiarisation sur lesquelles la littérature existante reste hésitante. Nous démontrons le pouvoir d’influence qu’exercent les investisseurs sur le marché des matières premières. Toutefois, ceci dépend de la nature de la position de l’investisseur sur le marché à terme. De manière générale, la financiarisation entraîne la hausse des prix spot, des prix des contrats à terme et des niveaux des stocks. Nous montrons aussi que les investisseurs représentent un canal de transmission entre les marchés de matières premières. Leurs effets étendus se limitent à la corrélation croisée des marchés de matières premières. Enfin, nous montrons que les rendements des marchés d’actions sont devenus un déterminant de la prime de risque des contrats à terme après la crise financière de 2008. Cet effet des rendements des actions est indifférent entre les maturités courtes et longues. / This dissertation studies the role of financial investors on commodity markets, which is referred as financialization of commodity. The content of the dissertation splits to theoretical and empirical work. The implemented researches are motivated by the participation of investors, who own stock portfolios, in commodity futures markets for diversification reasons. Furthermore, that diversification is likely achieved by investing in a basket of commodities. The first chapter investigates, theoretically, the interaction between commodity and stock markets. The second chapter studies, empirically, the impact of financial investors on the commodities futures risk premium. It focuses on studying three commodities: crude oil (WTI), heating oil and natural gas. The third chapter examines, theoretically, the integration between two commodity markets. We clarify the hesitating of the previous literature in finding evidences of the impact of financialization. We confirm the influential power of investment in commodity market. However, that depends on the financial investors positions taken in the futures market. Generally, financialization increases the spot prices, the futures prices and inventory levels. We find, also, that investors are a transmission channel between commodity markets. Their effects spread out restricted to the cross commodity markets correlation. Finally, stock market returns became effective determinant of the futures risk premium after 2008 financial crisis. Also, the effect of the stock returns indifferent between short and long maturities.