Spelling suggestions: "subject:"unitaire"" "subject:"sanitaire""
1 |
The Confédération générale du travail unitaire a study in revolutionary unionism /Stovall, Tyler Edward. January 1978 (has links)
Thesis (M.A.)--Wisconsin. / Includes bibliographical references (leaves 190-193).
|
2 |
Métrique sur le fibré unitaire tangent au plan hyperboliqueNsanzamahoro, Pierre Claver January 2016 (has links)
RÉSUMÉ: Toute variété différentiable $M$ admet une métrique dite métrique riemannienne.\\
En définissant $\mathbb{H}=\lbrace z\in\mathbb{C}: Im(z)>0\rbrace$, on peut munir de $\mathbb{H}$ d'une métrique riemannienne $ds^{2}=\frac{dzd\bar{z}}{(Im(z))^{2}}=\frac{dx^{2}+dy^{2}}{y^{2}}$.\\
Muni de cette métrique, $\mathbb{H}$ est une variété riemannienne à la quelle on associe le fibré tangent, $T\mathbb{H}$ ainsi que le fibré unitaire tangent, $T^{1}\mathbb{H}$. Les éléments de $T^{1}\mathbb{H}$ peuvent être exprimés, de façon bijective, en termes des éléments du groupe PSL(2,$\mathbb{R}$) dont l'action sur $T^{1}\mathbb{H}$ est transitive et libre.\\
La métrique définie sur $M$ (en particulier sur $M=\mathbb{H}$) permet de définir sur $TM$ (en particulier sur $T^{1}\mathbb{H}$) une métrique connue sous le nom de métrique de Sasaki.
|
3 |
Représentations unitaires de U(5) p-adique / Unitary representations of p-adic U(5)Schoemann, Claudia 13 October 2014 (has links)
Nous étudions les représentations complexes, induites par l'induction parabolique, du groupe U(5), défini sur un corps local non-archimedean de caractéristique 0. C'est Qp ou une extension finie de Qp .On parle des 'corps p-adiques'. Soit F un corps p-adique. Soit E : F une extension de corps de degré 2. Soit Gal(E : F ) = {id, σ}le groupe de Galois. On écrit σ(x) = overline{x} forall x ∈ E. Soit | |p la norme p-adique de E. Soient E* = E {0} et E 1 = {x ∈ E | xoverline{x}= 1} .U (5) a trois sous-groupes paraboliques propres. Soit P0 le sous-groupe parabolique minimal et soientP1 et P2 les deux sous-groupes paraboliques maximaux. Soient M0 , M1 et M2 les sous-groupes de Levi standards et soient N0 , N1 et N2 des sous-groupes unipotents de U (5). On a la décomposition de Levi Pi = Mi Ni , i ∈{0, 1, 2} .M0 = E* × E* × E 1 est le sous-groupe de Levi minimal, M1 = GL(2, E) × E 1 et M2 = E* × U(3) sont les sous-groupes de Levi maximaux.On considère les représentations des sous-groupes de Levi, et on les étend trivialement au sous-groupes unipotents pour obtenir des représentations des sous-groupes paraboliques. On exécute une procédure appelée 'l'induction parabolique' pour obtenir les représentations de U (5). Nous considérons les représentations de M0 , puis les représentations non-cuspidales, induites à partir de M1 et M2 . Cela veut dire que la représentation du facteur GL(2, E) de M1 est un sous-quotient propre d'une représentation induite de E* × E* à GL(2, E). La représentation du facteur U (3) de M2 est un sous-quotient propre d'une représentation induite de E* × E 1 à U(3). Un exemple pour M1 est | det |α χ(det) StGL2 * λ' , où α ∈ R, χ est un caractère unitaire de E* , StGL2 est la représentation Steinberg de GL(2, E) et λ' est un caractère de E 1 . Un exemple pour M2 est| |α χ λ (det) StU (3) , où α ∈ R, χ est un caractère unitaire de E* , λ' est un caractère unitaire de E 1et StU (3) est la représentation Steinberg de U(3). On remarque que λ' est unitaire.Ensuite on considère les représentations cuspidales de M1 .On détermine les droites et les points de réductibilité des représentations de U(5) et on détermine les sous-quotients irréductibles. Ensuite, sauf quelque cas particuliers, on détermine le dual unitaire de U(5)par rapport au quotients de Langlands. Les représentations complexes, paraboliquement induites, de U(3) sur un corps p-adique sont classifiées par Charles David Keys dans [Key84], les représentations complexes, paraboliquement induites, de U(4)sur un corps p-adique sont classifiées par Kazuko Konno dans [Kon01]. / We study the parabolically induced complex representations of the unitary group in 5 variables - U(5)- defined over a non-archimedean local field of characteristic 0. This is Qp or a finite extension of Qp ,where p is a prime number. We speak of a 'p-adic field'.Let F be a p-adic field. Let E : F be a field extension of degree two. Let Gal(E : F ) = {id, σ}. We write σ(x) = overline{x} forall x ∈ E. Let | |p denote the p-adic norm on E. Let E* := E {0} and let E 1 := {x ∈ E | x overline{x} = 1} .U(5) has three proper parabolic subgroups. Let P0 denote the minimal parabolic subgroup and P1 andP2 the two maximal parabolic subgroups. Let M0 , M1 and M2 denote the standard Levi subgroups and let N0 , N1and N2 denote unipotent subgroups of U(5). One has the Levi decomposition Pi = Mi Ni , i ∈ {0, 1, 2} .M0 = E* × E* × E 1 is the minimal Levi subgroup, M1 = GL(2, E) × E 1 and M2 = E* × U (3) are the two maximal parabolic subgroups.We consider representations of the Levi subgroups and extend them trivially to the unipotent subgroups toobtain representations of the parabolic groups. One now performs a procedure called 'parabolic induction'to obtain representations of U (5).We consider representations of M0 , further we consider non-cuspidal, not fully-induced representationsof M1 and M2 . For M1 this means that the representation of the GL(2, E)− part is a proper subquotientof a representation induced from E* × E* to GL(2, E). For M2 this means that the representation of theU (3)− part of M2 is a proper subquotient of a representation induced from E* × E 1 to U (3).As an example for M1 , take | det |α χ(det) StGL2 * λ' , where α ∈ R, χ is a unitary character of E* , StGL2 is the Steinberg representation of GL(2, E) and λ' is a character of E 1 . As an example forM2 , take | |α χ λ' (det) StU (3) , where α ∈ R, χ is a unitary character of E* , λ' is a character of E 1 andStU (3) is the Steinberg representation of U (3). Note that λ' is unitary.Further we consider the cuspidal representations of M1 .We determine the points and lines of reducibility of the representations of U(5), and we determinethe irreducible subquotients. Further, except several particular cases, we determine the unitary dual ofU(5) in terms of Langlands-quotients.The parabolically induced complex representations of U(3) over a p-adic field have been classied byCharles David Keys in [Key84], the parabolically induced complex representations of U(4) over a p-adicfield have been classied by Kazuko Konno in [Kon01].An aim of further study is the classication of the induced complex representations of unitary groupsof higher rank, like U (6) or U (7). The structure of the Levi subgroups of U (6) resembles the structureof the Levi subgroups of U (4), the structure of the Levi groups of U (7) resembles those of U (3) and ofU (5).Another aim is the classication of the parabolically induced complex representatioins of U (n) over ap-adic field for arbitrary n. Especially one would like to determine the irreducible unitary representations.
|
4 |
Génération automatique de bouchons pour le test structurel basée sur basée sur l'analyse du flot de contôleGriche, Karim-Cyril 11 July 2005 (has links) (PDF)
Lors du développement d'un logiciel, plusieurs phases de test sont mises en oeuvre. Dans cette thèse, nous nous intéressons particulièrement à deux d'entre elles : les test unitaire et le test d'intégration. Dans le test unitaire, les entités du logiciel sont testées individuellement. Elles sont ensuite intégrée au sein d'un agrégat qui est soumis à un test d'intégration. Lors de cette phase, on cherche traditionnellement à tester les interactions entre ces entités. Nous nous intéressons plus particulièrement dans cette thèse au test structurel unitaire. Lors de cette phase de test, si l'entité contient des app rers d'autres entités, elles sont remplacées par des bouchons simples qui facilitent le test. Ces bouchons ne sont pas exempts de défauts. En particulier, ils sont généralement pas représentatifs des entités qu'ils remplacent. Les taux de couverture obtenus pendant le test ne représentent donc pas l'utilisatin éelle de la fonction testée. Dans cette thèse, nous proposons d'étendre la phase de test unitaire aux agrégats de fonctions. Tous les bouchons nécessaires sont produits automatiquement à partir du code des fonctions appelées. Pour cela, on se base sur une analyse et un découpage du flot de ontrôle de la fonction appelée en approximations, ainsi que sur la détermination de l'environnement particulier de chaque appel. Cet environnement ontient les informations sur les conditions d'appel à la fonction et sur l'impact de cet appel sur le flot de contrôle de la fonction appelante. On crée inalement le bouchon spécifique à un appel par filtrage des approximations par le contexte d'appel. On sélectionne ensuite une approximation pour chaque objectif de génération. L'ensemble de cette technique a été implanté au sein d'un prototype basé sur l'outil de test Inka.
|
5 |
Amplification automatique de tests unitaires pour DevOps / Automatic unit test amplification for DevOpsDanglot, Benjamin 14 November 2019 (has links)
Au cours des dernières années, les tests unitaires sont devenus un élément essentiel de tout projetlogiciel sérieux afin de vérifier son bon fonctionnement.Cependant, les tests sont fastidieux et coûteux pour l'industrie: il est difficile d'évaluer le retour surinvestissement.Pour surmonter ce problème, la recherche étudie l'automatisation de la création de tests.Même si ces suites de tests générées automatiquement ont une très bonne qualité, il existe toujours desobstacles à l'adoption de telles techniques par l'industrie.Cela s'explique par les difficultés à comprendre, intégrer et gérer la suite de tests générée.L'objectif de cette thèse est de remédier à ces difficultés en proposant une nouvelle technique quiproduit des nouveaux tests basés sur les tests existants. Cette technique s'appelle "amplification detests". Par construction, ces nouveaux tests sont donc proches des tests écrits par des humains, et doncsont faciles à comprendre, à intégrer et à gérer. Cette approche est implémentée sous forme d'un outilappelé DSpot. / In recent years, unit testing has become an essential part of any serious software project to verify itsproper functioning.However, the tests are tedious and expensive for the industry: it is difficult to evaluate the return oninvestment.To overcome this problem, the research is investigating the automation of test creation.Although these automatically generated test suites are of high quality, there are still barriers to theindustry adoption of such techniques.This is because of the difficulty in understanding, integrating, and managing the generated test suite.The objective of this thesis is to overcome these difficulties by proposing a new technique thatproduces new tests based on existing tests. This technique is called "test amplification". Byconstruction, these new tests are close to the tests written by humans, and therefore are easy tounderstand, integrate and manage. This approach is implemented as a tool called DSpot.
|
6 |
Génération de squelettes des contrats de classes et des tests unitaires en JavaMaïga, Cheick Ismaël January 2016 (has links)
Le logiciel est devenu omniprésent dans nos vies de sorte qu'on le retrouve dans plusieurs domaines de la vie courante. Cependant cette omniprésence, n'est pas sans conséquences. Les bogues de logiciel peuvent causer de vrais désastres, économiques, écologiques voire sanitaires. Vu la forte omniprésente du logiciel dans nos vies, le fonctionnement de nos sociétés dépend fortement de sa qualité.
La programmation par contrat a pour but de produire des logiciels fiables, c'est-à-dire corrects et robustes. En effet, ce paradigme de programmation vise à introduire des assertions qui sont des spécifications de services. Ces spécifications représentent une forme de contrat. Les contrats définissent les responsabilités entre le client et le fournisseur. Le respect des contrats permet de garantir que le logiciel ne fait ni plus ni moins que ce que l'on attend de lui qu'il fasse.
Le test unitaire est un test qui permet de s'assurer du bon fonctionnement d'une partie précise d'un logiciel. C'est un test dont la vérification se fait en exécutant une petite unité de code. En somme, un test unitaire est un code qui exécute de manière indirecte le code d'une classe pour vérifier que le code fonctionne bien.
L'outil Génération de Squelettes des Contrats de classes et des tests unitaires (GACTUS) permet la génération automatique de squelettes de contrats de classes et celles des classes des tests unitaires d'un projet Java. La génération automatique du code source permet d'obtenir un code uniforme. GACTUS est un plug-in pour l'environnement de développement Eclipse écrit en Java. L'objectif principal de GACTUS est de faciliter la réalisation de logiciel de qualité grâce à la génération automatique des squelettes de contrats de classe et celui des tests unitaires et aussi d'accroître la productivité des développeurs. Pour faciliter son utilisation, GACTUS dispose d'une interface graphique permettant de guider l'utilisateur.
|
7 |
Test du modèle unitaire de dépense des ménages sur les données canadiennes de 2009Lebouvier, Marine January 2016 (has links)
Dans ce mémoire de maîtrise, nous utilisons les microdonnées de l’Enquête sur les dépenses des ménages de Statistique Canada en 2009 pour tester la validité empirique du modèle unitaire de dépense des ménages. En s’inspirant de l’étude conduite par Phipps et Burton en 1998, nous tentons une actualisation de leurs résultats ainsi qu’une analyse de l’évolution du comportement des ménages canadiens entre 1992 et 2009. La nouveauté présentée dans ce mémoire de maîtrise tient justement dans ces résultats. Dans la majorité des catégories de dépenses, nous ne rejetons plus le modèle unitaire et nous en mesurons les implications. Entre ces deux études, les différences entre l’homme et la femme dans les couples canadiens se sont atténuées, ils ont de plus en plus les mêmes préférences en terme de consommation. Enfin, nous poursuivons en apportant un test du modèle coopératif développé par Browning, Bourguignon, Chiappori et Lechene (1994) sur la demande en biens exclusifs. Nous en déduisons un aperçu de la répartition du pouvoir de dépense au sein des ménages canadiens.
|
8 |
Caractérisation moléculaire de la région responsable de l'affinité et de la perméabilité du canal calcique ECaC1 (TRPV5)Jean, Karine January 2003 (has links)
Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.
|
9 |
Optimisation et performance des bétons incorporant de la poudre de verre comme un remplacement partiel du ciment PortlandAbdalla, Aly Hussein January 2012 (has links)
L'utilisation des ajouts cimentaires tel que, la fumée de silice, les cendres volantes et les laitiers est une activité courante au Canada en raison des conditions climatiques sévères. Au Québec, ces matériaux ne sont pas disponibles, ce qui implique leur transport sur des distances considérables. La poudre de verre est un matériau pouzzolanique fabriqué au Québec et présente ainsi l'avantage de remplacer partiellement ces matériaux cimentaires. Il est rapporté qu'un taux de remplacement partiel de 20% du ciment portland par la poudre de verre a des effets bénéfiques sur le développement des propriétés mécaniques et sur la durabilité du béton. Le taux d'incorporation optimal de la poudre de verre peut varier en fonction du rapport E/L, le dosage en liant et leur interaction. Il est difficile de déterminer l'effet de l'interaction entre lés paramètres de formulation sur les propriétés du béton par les méthodes conventionnelles. Alors, un plan factoriel composite à deux niveaux a été conçu pour déterminer l'effet des trois facteurs, ainsi que de leurs interactions sur les résistances en compression et la perméabilité aux ions chlore aux différents âges. Les facteurs modélisés dans ce plan factoriel sont; le rapport E/L, le taux d'incorporation de verre et le dosage en liant (kg/m [indice supérieur 3] ). Tous les modèles statistiques sont valides pour des rapports E/L entre 0,35 et 0,60, des pourcentages de la poudre de verre entre 10% et 40% et des dosages en liant entre 335 kg/m [indice supérieur 3] et 415 kg/m [indice supérieur 3]. Des mélanges de validation sont utilisés pour évaluer la fiabilité des modèles proposés. Le rapport entre les valeurs prédites et les valeurs mesurées se situe entre 0,83 et 1,15 ce qui indique une bonne fiabilité des modèles proposés. Le rapport E/L est le paramètre qui a le plus d'influence sur la résistance en compression à tous les âges et sur la perméabilité aux ions chlores à 28 jours. Par contre, le taux d'incorporation de la Poudre de verre a le plus d'influence sur la perméabilité aux ions chlore à 56, 91 et 180 jours grâce à la réactivité pouzzolanique de la poudre de verre. Des courbes iso-réponses sont établis pour comprendre l'évolution des propriétés du béton en fonction des différents paramètres de formulation. Elles montrent que l'incorporation de 20% de la poudre de verre aux bétons formulés avec un rapport E/L de 0,45 procure une perméabilité aux ions chlores inférieure à 1500 Coulombs à 56 jours. Cette valeur de perméabilité peut être obtenue à 56 jours en remplaçant 30% du ciment par la poudre de verre quelque soit le rapport E/L considéré. Une valeur de la résistance en compression à 28 jours de 35 MPa peut être obtenue en utilisant des bétons formulés avec un rapport E/L de 0,45 et incorporant 20% de poudre de verre. Cette valeur de la résistance à 28 jours peut être obtenue aussi avec des bétons formulés avec un rapport E/L de 0,42 et contenant 30% de poudre de verre. Des mélanges binaires et ternaires proportionnés avec un rapport E/L de 0,45 et incorporant de la poudre de verre affichent des bonnes propriétés mécaniques, ainsi que des bonnes caractéristiques de durabilité dans les milieux agressifs. Ces bétons développent des gains significatifs des propriétés mécaniques entre 28 et 91 jours. L'utilisation de la poudre de verre comme un ajout cimentaire alternatif présente une avenue très intéressante pour avoir des bétons durables et économiques.
|
10 |
La compétitivité coûts et hors-coûts de la Chine et ses enjeux pour le commerce international / China's cost and non cost competitiveness and its impacts on world exportSu, Anna 17 November 2015 (has links)
La thèse étudie la compétitivité-coûts et hors-coûts de la chine et ses impacts sur le reste du monde entre 1970 et 2012. Au début, la performance commerciale de la Chine s’appuyait sur la compétitivité-coûts. Depuis les années 1990, son avantage-coûts a diminué, surtout comparée à la Thaïlande et à l’Inde. Par ailleurs, son avantage hors-coûts, mesuré par le changement structurel, a été accompagné par une augmentation de la contribution des inputs importés à l’exportation.. Ceci indique premièrement que la dépendance chinoise vis-à-vis du reste du monde a augmenté et, deuxièmement, que l’exportation chinoise a entrainé plus d’exportation du reste du monde qu’auparavant. Parmi ces exportateurs, les pays asiatiques sont toujours les plus grand bénéficiaires de cette expansion des exportations chinoises. / This thesis studies the cost- and non-cost competitiveness of China and its impacts on the rest of the world between 1970 and 2012. At outset, Chinese commercial performance was gradually enhanced by its cost-competitiveness. Since 1990s, China has lost the cost advantage, especially compared with Thailand and India. Furthermore, Chinese non-cost advantage, based on structural change of export, has relied on the rise of imported inputs. It implies that firstly the dependence of Chinese exports on other countries has increased and, secondly, Chinese exports have progressively induced more exports of the rest of the world than before. Asian countries have been the largest beneficiaries of Chinese export expansion.
|
Page generated in 0.0553 seconds