Nous etudions dans cette these differentes lois de conservation hyperboliques associees a la modelisation des ecoulements en eaux peu profondes.<br />Nous nous consacrons d'abord a l'analyse numerique du systeme de Saint-Venant avec termes sources. Nous presentons un schema volumes finis bidimensionnel d'ordre 2, conservatif et consistant, qui s'appuie sur une interpretation cinetique du systeme et une methode de reconstruction hydrostatique des variables aux interfaces. Ce schema preserve la positivite de la hauteur d'eau et l'etat stationnaire associe au lac au repos.<br />Nous etendons ensuite l'interpretation cinetique au couplage du systeme avec une equation de transport. Nous construisons un schema volumes finis a deux pas de temps, qui permet de prendre en compte les differentes vitesses de propagation de l'information presentes dans le probleme. Cette approche preserve les proprietes de stabilite du systeme et reduit sensiblement la diffusion numerique et les temps de calcul.<br />Nous proposons egalement un nouveau modele de Saint-Venant multicouche, qui permet de retrouver des profils de vitesse non constants, tout en preservant le caractere invariant et bidimensionnel du domaine de definition. Nous presentons sa derivation a partir des equations de Navier-Stokes et une etude de stabilite - energie, hyperbolicite. Nous etudions egalement ses relations avec d'autres modeles fluides et sa mise en oeuvre numerique, la encore basee sur l'utilisation des schemas cinetiques.<br />Enfin nous etablissons un theoreme d'unicite pour les lois de conservation scalaires avec flux discontinus. La preuve est basee sur l'utilisation d'une nouvelle famille d'entropies, qui constituent une adaptation naturelle des entropies de Kruzkov classiques au cas discontinu. Cette methode permet de lever certaines hypotheses classiques sur le flux - convexite, existence de bornes BV, nombre fini de discontinuites - et ne necessite pas l'introduction d'une condition d'interface.

La première partie de ce travail concerne les équations elliptiques non coercitives. Nous prouvons, tout d'abord dans un cadre linéaire, l'existence et l'unicité d'une solution faible dans l'espace d'énergie habituel $H^1(\Omega)$ pour une classe d'équations de convection-diffusion pour lesquelles le terme de convection provoque la perte de coercitivité. Nous prouvons des résultats de régularité höldérienne sur les solutions de ces équations qui permettent ensuite de résoudre ces mêmes équations avec un second membre mesure. Nous étendons aussi les résultats d'existence et d'unicité d'une solution dans des cas variationnels non-linéaires non-coercitifs et nous étudions, pour une équation elliptique linéaire non-coercitive, la convergence d'un schéma volumes finis. La deuxième partie concerne l'unicité des solutions à des problèmes elliptiques non-linéaires avec seconds membres mesure. La troisième partie aborde la question de la condition d'hyperbolicité des systèmes du premier ordre à coefficients constants. Nous prouvons une CNS pour qu'un tel système ait une solution pour toute condition initiale de type Riemann (condition initiale naturelle dans l'étude des discrétisations numériques de ces systèmes). A l'aide d'un système particulier, nous étudions ensuite la différence entre notre CNS et les diverses conditions d'hyperbolicité de la littérature, puis nous prouvons que la solution d'un système hyperbolique n'est pas toujours stable par rapport au flux. La quatrième partie rassemble quelques autres travaux. Le premier concerne la densité dans $W^{1,p}(\Omega)$ des fonctions régulières satisfaisant une condition de Neumann. Le second est l'étude d'une discrétisation EF mixtes---VF pour un écoulement diphasique à travers un milieu poreux. Le troisième et dernier est l'étude des mesures sur $]0,T[\times \Omega$ ne chargeant pas le boréliens de capacité parabolique nulle et l'application de cette étude à la résolution d'une équation parabolique non-linéaire avec second membre mesure.

Ce manuscrit est dédié à l'approximation numérique de plusieurs modèles du transfert radiatif. Dans un premier temps, l'attention est portée sur le modèle cinétique d'ordonnées discrètes. Dans le but de coupler ce modèle avec d'autres phénomènes plus lents, il est nécessaire d'avoir des méthodes numériques performantes et précises sur des temps longs. À partir d'une double approximation polynomiale de la solution en temps et en espace, on développe un schéma de type GRP d'ordre élevé sans restriction sur le pas de temps pour un système hyperbolique linéaire sur des maillages non structurés. Ce schéma est ensuite étendu pour le modèle d'ordonnées discrètes. Dans un second temps, on s'intéresse à des modèles aux moments issus du transfert radiatif. En effet, dans certaines applications, les modèles aux moments de type M1 conservent de nombreuses propriétés de l'ETR et fournissent une approximation suffisante de la solution. Après avoir résolu le problème de Riemann associé au modèle M1 gris, on considère l'approximation numérique du modèle M1 multigroupe. Une attention particulière est portée sur le calcul des moyennes d'opacités et des lois de fermeture. Un algorithme de précalculs est alors mis en place. La dernière application traitée dans ce mémoire porte sur une extension du transfert radiatif pour estimer des doses de radiothérapie. À la différence du M1 gris usuel, les flux dépendent ici de fonctions peu régulières en espace. Grâce à des changements de variables, un schéma HLL rétrograde est développé. De nombreux exemples numériques illustrent l'intérêt des schémas obtenus dans cette étude.

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.