Cette thèse est consacrée au développement de techniques de commande avancées pour des classes de systèmes non linéaires en général et pour des applications automobiles en particulier.Pour répondre au besoin du contrôle moteur, la première partie propose des nouveaux résultats théoriques sur la technique de commande non linéaire à base de modèles de type Takagi-Sugeno soumis à la saturation de la commande. La saturation de la commande est traitée en utilisant sa représentation polytopique ou une stratégie anti-windup.La deuxième partie porte sur la commande du système d'air d'un moteur turbocompressé à allumage commandé. Deux approches originales sont proposées. Dans la première, l'outil théorique concernant les modèles Takagi-Sugeno à commutation développé dans la première partie est directement appliqué. La seconde approche est basée sur une commande linéarisante robuste. L'originalité de ces approches multivariables consiste dans sa simplicité de mise en œuvre et son efficacité par rapport à celles qui existent dans la littérature.La dernière partie vise à développer des stratégies pour la gestion énergétique des systèmes électriques d'un véhicule obtenues en se basant sur le Principe du Minimum de Pontryagin. À cet effet, deux approches sont considérées : l'approche hors ligne d'optimisation utilisant les informations du futur concernant les conditions de roulage et l'approche en ligne qui est adaptée de la précédente. Ensuite, ces deux approches sont implémentées et évaluées dans un simulateur avancé.

Partant des travaux séminaux de Boole, Frege et Russell, le mémoire cherche à clarifier l‟enjeu du pluralisme logique à l‟ère de la prolifération des logiques non-classiques et des développements en informatique théorique et en théorie des preuves. Deux chapitres plus « historiques » sont à l‟ordre du jour : (1) le premier chapitre articule l‟absolutisme de Frege et Russell en prenant soin de montrer comment il exclut la possibilité d‟envisager des structures et des logiques alternatives; (2) le quatrième chapitre expose le chemin qui mena Carnap à l‟adoption de la méthode syntaxique et du principe de tolérance, pour ensuite dégager l‟instrumentalisme carnapien en philosophie de la Logique et des mathématiques. Passant par l‟analyse d‟une interprétation intuitive de la logique linéaire, le deuxième chapitre se tourne ensuite vers l‟établissement d‟une forme logico-mathématique de pluralisme logique à l‟aide de la théorie des relations d‟ordre et la théorie des catégories. Le troisième chapitre délimite le terrain de jeu des positions entourant le débat entre monisme et pluralisme puis offre un argument contre la thèse qui veut que le conflit entre logiques rivales soit apparent, le tout grâce à l‟utilisation du point de vue des logiques sous-structurelles. Enfin, le cinquième chapitre démontre que chacune des trois grandes approches au concept de conséquence logique (modèle-théorétique, preuve-théorétique et dialogique) forme un cadre suffisamment général pour établir un pluralisme. Bref, le mémoire est une défense du pluralisme logique. / Starting from the seminal work of Boole, Frege and Russell, the dissertation seeks to clarify the issue of logical pluralism in the era of the proliferation of non-classical logics and the developments in theoretical computer science and proof theory. Two “historical” chapters are scheduled: the first chapter articulate the absolutism of Frege and Russell, taking care to show how it condemns the possibility to consider alternative structures and logics; the fourth chapter describes the path that led Carnap from the adoption of the syntactic method to the formulation of the principle of tolerance, then goes on to display Carnap‟s instrumentalism in philosophy of Logic and mathematics. Opening with the analysis of an intuitive interpretation of linear logic, the second chapter then turns to the establishment of a form of logico-mathematical pluralism with the help of order theory and category theory. The third chapter delineates the playground of revisionism (philosophical positions surrounding the debate between monism and pluralism) and then provides an argument against the thesis that denies the reality of the conflict between rival logics, all this being done by adopting the substructural logic point of view. The fifth chapter shows that each of the three main approaches to the concept of logical consequence (model-theoretic, proof-theoretic and dialogical) supplies a framework sufficiently general to establish pluralism. In short, the dissertation is a defence of logical pluralism.

Thèse numérisée par la Division de la gestion de documents et des archives de l'Université de Montréal

Cette thèse porte sur l'étude de modèles non linéaires issus de la mécanique quantique relativiste.Dans la première partie, nous démontrons à l'aide d'une méthode de tir l'existence d'une infinité de solutions d'équations de Dirac non linéaires provenant d'un modèle de hadrons et d'un modèle de la physique des noyaux.Dans la seconde partie, nous prouvons par des méthodes variationnelles l'existence d'un état fondamental et d'états excités pour deux modèles de la physique des hadrons. Par la suite, nous étudions la transition de phase reliant les deux modèles grâce à la Gamma-convergence.La dernière partie est consacrée à l'étude d'un autre modèle de hadrons dans lequel les fonctions d'onde des quarks sont parfaitement localisées. Nous énonçons quelques résultats préliminaires que nous avons obtenus.

Cette thèse se concentre sur l'étude de quelques propriétés arithmétiques de certaines variétés algébriques qui sont ''les plus simples'' en un sens géométrique et qui sont définies sur des corps de type géométrique. Elle se compose de trois chapitres. Dans le premier chapitre, indépendant des deux autres, on s'intéresse à la propriété d'approximation faible pour une variété projective lisse rationnellement connexe X définie sur le corps de fonctions K=k(C) d'une courbe algébrique C sur un corps k. Supposons que X possède un K-point rationnel. En utilisant des méthodes géométriques, on démontre que X(K) est Zariski dense dans X si k est un corps fertile, et que l'approximation faible en un certain ensemble de places de bonne réduction vaut pour X sous des hypothèses supplémentaires convenables. Lorsque k est un corps fini, on obtient l'approximation faible en une place quelconque de bonne réduction pour une surface cubique lisse sur K ainsi qu'un résultat sur l'approximation faible d'ordre zéro pour des hypersurfaces cubiques de dimension supérieure sur K.Les deux autres chapitres forment la seconde partie de la thèse, où on travaille sur le corps des fractions K d'un anneau intègre local R, hensélien, excellent de dimension 2 dont le corps résiduel k est souvent supposé fini et où on emploie des outils plus algébriques. On étudie d'abord la ramification et la cyclicité des algèbres à division sur un tel corps K. On démontre en particulier que toute classe de Brauer d'ordre n premier à la caractéristique résiduelle sur K est d'indice divisant n^2 et que la cyclicité d'une classe de Brauer d'ordre premier peut être testée localement sur les corps complétés par rapport aux valuations discrètes de K. Ces résultats sont appliqués dans le dernier chapitre pour étudier l'arithmétique des formes quadratiques sur K. On montre que toute forme quadratique de rang \ge 9 sur K possède un zéro non trivial. Si K est le corps des fractions d'un anneau de séries formelles A[[t]] sur un anneau de valuation discrète complet A, on a prouvé le principe local-global pour toute forme quadratique de rang \ge 5 sur K. Pour K général on a établi le principe local-global pour les formes de rang 5. Le cas des formes de rang 6,7 ou 8 est ouvert.

Ce travail s'inscrit dans l'étude mathématique d'écoulements de fluides environnementaux. Nous en abordons deux aspects, à travers deux contextes distincts d'application.En lien avec la simulation des écoulements en milieux poreux, on s'intéresse dans une première partie à la discrétisation d'opérateurs de diffusion anisotropes hétérogènes par des méthodes de volumes finis sur des maillages généraux. Dans le but d'obtenir des solutions approchées qui respectent les bornes physiques des modèles, notre attention se porte sur la conservation du principe du maximum pour les opérateurs elliptiques. Nous présentons des mécanismes généraux permettant de corriger tout schéma volumes finis afin de garantir un principe du maximum discret tout en préservant certaines de ses propriétés principales. On étudie en particulier les propriétés de coercivité et de convergence des schémas corrigés.La deuxième partie est consacrée à la construction de modèles approchés pour la propagation des vagues en eaux peu profondes et sur des topographies irrégulières. A cet effet, nous proposons tout d'abord une adaptation de la démarche d'étude classique à des écoulements bidimensionnels sur des topographies polygonales. Dans un cadre plus général, nous développons ensuite une démarche formelle qui débouche sur des alternatives non locales à quelques modèles classiques (équations de Saint-Venant, équations de Serre, système de Boussinesq). Ces nouveaux modèles contiennent des termes régularisants pour les contributions du fond.

S'appuyant sur les théories esthétiques des frères Schlegel, de Novalis et de Schelling, ce travail s'attache à analyser les discours esthétiques et scientifiques dans Les Frères de Saint-Sérapion d'E.T.A. Hoffmann et à étudier dans quelle mesure et jusqu'à quel point l'écrivain se réapproprie les réflexions de ces premiers romantiques et s'en distancie. Confronté au philistinisme, aux malveillances d'autrui et à ses démons intérieurs, l'artiste sérapiontique poursuit un idéal tant social que psychique. Rêveurs, fous, enfants ou encore sous influence magnétique, les personnages hoffmanniens sont tous en quête de reconnaissance et d'identité. Polyformes, polymorphes et hétérogènes, centrés sur l'interaction artistique, le travail de création et la réception, Les Frères de Saint-Sérapion créent une sorte d'" œuvre d'art totale " avant la lettre où se mêlent aussi bien les sciences que les arts.

On présente tout d'abord la théorie des commutateurs positifs et ses développements récents. On discute ensuite les applications à la théorie spectrale des Laplaciens magnétiques sur les variétés, les opérateurs de Dirac singuliers et des opérateurs de Schroedinger à décroissance lente. On étudie ensuite les propriétés spectrales de divers Laplaciens discrets pour les questions de l'auto-adjonction et l'asymptotique des valeurs propres. Puis on présente des résultats liés au spectre absolument continu pour les opérateurs de Dirac discret en dimension 1. Enfin on caractérise les chemins hamiltonien pour les échiquiers de grande dimension.

Selon l’article 5 du code civil, les juges ne peuvent « se prononcer par voie de disposition générale et règlementaire sur les causes qui leur sont soumises ». L’article 1134, alinéa 1er, du même code pose le principe de la force obligatoire du contrat. Or, la jurisprudence de la chambre sociale de la Cour de cassation est normative ; son immixtion dans le contrat de travail est patente. Déséquilibré, soumis à un ordre public spécifique, source d’un conflit de droits et de libertés, le contrat de travail présente certaines spécificités. Ces dernières paraissent guider l’action du juge. L’adaptation du contrat constitue l’une des principales manifestations de son intervention. Elle se caractérise par l’enrichissement de l’accord de volontés ou, à l’inverse, par son amputation. De nombreuses obligations sont ajoutées au contrat. Si le fondement avancé par le juge varie, les articles 1134, alinéa 3 et 1135 du code civil justifient, en réalité, cette addition. La soustraction revêt diverses formes. Elle est parfois la source d’un pouvoir créateur ; celui-ci n’est pas toujours susceptible d’être rattaché à la protection des libertés et droits fondamentaux. Au-delà, la réfection conduit le juge à rebâtir et réécrire le contrat. Ce dernier est rebâti sur le fondement de l’article 1134, alinéa 2, du code civil. La volonté des parties est objectivée ; leur volonté réelle n’est pas nécessairement respectée. La réécriture du contrat découle, notamment, de l’application de l’article 1152 du code civil. Mais elle s’étend au-delà de ce texte. Originale et audacieuse, la relecture judiciaire du contrat de travail est liée au particularisme de cet accord. / According to article 5 of the French civil code, the judges cannot « decide through the mean of general and statutory rules on the causes they are submitted with ». Article 1134 al.1 of the same civil code provides for the principle of the binding effect of the contract. Yet, the jurisprudence of the labor chamber of the French High Court (Cour de cassation) is normative ; its interference in the labor contract is obvious. Unbalanced, subject to a specific public order, source of conflict of rights and freedoms, the labor contract has certain particularities. These appear to guide the judge’s action. The adaptation of the contract is one of the principle manifestations of the judge’s intervention. It is characterized by the improvement of the agreement of the wills or, on the contrary, by its amputation. Many obligations are added to the contract. If the reasons exposed by the judge vary, actually, article 1134 al.3 and article 1135 of the French civil code justify these additions. This subtraction has different forms. It is the source of a creative power ; such creative power is not always linked to the protection of freedoms and fundamental rights. Besides, the rework leads the judge to the rebuilding and redrafting of the contract. Said contract is rebuilt in accordance with article 1134 al.2 of the French civil code. The willingness of the parties becomes objective ; their real willingness is not necessary complied with. The redrafting of the contract is the result of, in particular, article 1152 of the French civil code. However it can be extended beyond this article. Original and audacious, the judicial way to read the labor contract is linked to the sense of the identity of such labor contract.

Cette thèse consiste à montrer que les valeurs dans une société donnée sont fortement protégées par la loi pénale. Il en est ainsi des valeurs bancaires - financières. Ce qui importe, c’est le fait que les valeurs peuvent se protéger elles-mêmes en se transformant en d’autres valeurs ou notions (notion - principe). Également, il est supposé que les valeurs dans un autre système soient protégées différemment. À travers cette thèse, nous avons tenté de démontrer la particularité des divers systèmes bancaires, les systèmes islamique et conventionnel. Cette recherche vise à démontrer tout simplement que les valeurs dans ces deux systèmes ne sont pas perçues de la même manière et qu’ils n’ont pas non plus les mêmes valeurs. En droit pénal bancaire ou en droit bancaire « non pénal », la protection peut être différente de celle du droit pénal classique. La particularité de ce domaine réside dans les tendances variables d’une réglementation à une pénalisation et inversement, d’une déréglementation à une dépénalisation. Ainsi à travers cette étude, nous parlerons d’éventualité d’un mouvement. Ce mouvement est observé au niveau de la protection des valeurs. La protection des valeurs et, à la suite le mouvement de protection, peuvent être réalisés à deux niveaux : une protection structurelle des valeurs et une protection opérationnelle des valeurs. Le recours au pénal dans la phase de protection dépend du système auquel est liée la valeur. Les alternatives de la protection pénale dans les deux étapes opérationnelles et structurelles existent, encore que, dans la finance moderne d’aujourd’hui, nous entendons beaucoup parler des nouvelles notions de la gouvernance d’entreprise, de la finance éthique, etc. En dernier lieu, cette thèse a l’intention de démontrer que, par l’effet de la globalisation, même si les valeurs divergent, leurs protections (y compris la protection pénale) vont dans un sens d’harmonisation ; il nous semble qu’une convergence soit en train de se construire. Mais quel est le rôle du droit pénal dans la vie moderne bancaire ? / This thesis aims to show that the values in a given society are strongly protected by the mechanisms of law (both criminal and civil law). The protected values are those basies in banking - financial system. Given the fact that there are two major banking systems: Islamic and conventional, the significance of this research is to show that, firstly, values can protect themselves by transforming into other values / concepts (notion - principe) or by becoming structure in the banking system. Secondly, it is assumed that the protection of the values in another system would be different. Also, the theory of transformation in both levels of the existence of the values and their protection is demonstrated. In criminal banking law or in "non - criminal" banking law, the protection may be different from that of classical criminal law. The particularity of this field is variable trends of regulation to penalization and vice versa: deregulation to decriminalization. Therefore, through this study, the possibility of a movement will be discussed in respect to the transformation theory framework. The trend of movement is observed in the protection of values. Protection of values and the movement of protection, could be achieved at two levels: structural protection of values and operational protection of values. The use of the criminal in the protection phase depends on the system that value is linked. Alternatives (called extra-penal mechanisms) in criminal protection in both operational and structural steps exist; however, in modern finance, new concepts of corporate governance, ethical finance, etc. are in the center of attention. Largely because, theses concepts could protect values without interference of criminal law. In Overall, this thesis intends to demonstrate that, even if the values are different, by the effect of globalization, their protections (including criminal protection) are in a way of harmonization; it seems that convergence is beginning to build. But what is the role of criminal law in the modern banking life?