En informatique, les logiques formelles ont une place centrale dans la représentation et le traitement des connaissances. Elles sont utilisées pour la modélisation et la vérification de systèmes informatiques et de leurs propriétés ainsi que pour la formalisation de différents types de raisonnement. Dans ce contexte il existe un large spectre de logiques non-classiques parmi lesquelles les logiques modales jouent un rôle important. Alors que les logiques modales classiques ont été largement étudiées, nous nous focalisons dans cette thèse sur les logiques modales intuitionnistes et aussi hybrides floues en abordant un certain nombre de questions principalement du point de vue de la théorie de la démonstration. Nous proposons pour ces logiques de nouveaux systèmes de preuve, notamment suivant les formalismes de déduction naturelle et de calcul des séquents, qui sont fondés sur de nouvelles structures multi-contextuelles généralisant la structure standard de séquent / In computer science, formal logics are central for studying the representation and the treatment of knowledge. Indeed, they are widely used for modeling and verifying computer systems and their properties and also for formalizing different kinds of reasoning. In this context there exist many non-classical logics and among them modal logics play a key role. As classical modal logics have been deeply studied, we focus in this thesis on the intuitionistic modal logics and also on fuzzy hybrid logics by studying some important questions mainly from the viewpoint of proof theory . We define for these logics new proof systems, following natural deduction and sequent calculus formalisms, that are based on new multi-contextual structures generalizing the standard sequent structure

Cette thèse propose et étudie de nouveaux systèmes déductifs mêlant calculs et déductions. La déduction modulo est un premier formalisme qui traduit un pouvoir calculatoire grâce à un système de réécriture. Nous présentons un paradigme dual appelé superdéduction qui traduit un pouvoir déductif par de nouvelles inférences. Ces pouvoirs calculatoires et déductifs modifient la représentation des preuves et leur interaction par les processus d'élimination des coupures. La normalisation forte ou l'admissibilité des coupures ne sont plus garanties et apparaissent alors comme des propriétés intrinsèques des théories représentées sous forme de systèmes de réécriture. Nous démontrons que certains critères permettent d'assurer ces propriétés, notamment en définissant un langage de termes de preuve pour la superdéduction et en étudiant la permutabilité des inférences en calcul des séquents classique. Notre attention est focalisée sur les calculs des séquents classiques et la représentation des preuves dans de tels systèmes. D'autres formalismes connexes sont envisagés, notamment les réseaux de preuve et le focusing. Nous comparons cette dernière approche à la superdéduction, ce qui nous amène à proposer une refonte du paradigme de superdéduction basée sur un système de multifocusing pour la logique classique. Nous en montrons les effets bénéfiques en démontrant la complétude des systèmes déductifs obtenus. / In this thesis we propose and study several deduction systems that mix deduction and computation. Deduction modulo proposes to translate a computational power through a rewriting system. We present the dual concept called superdeduction. It translates a deductive power into custom inference rules that enrich the deduction system. These computational and deductive powers modify the representation of proofs as well as their interaction through cut-elimination processes. Strong normalisation or cut-admissibility may be lost and therefore appear as intrinsic properties of theories represented as rewriting systems. We prove that certain criteria imply these properties by defining a proof-term language for superdeduction and by studying the permutability of inferences in classical sequent calculus. Our attention is focused on classical sequent calculi and on the representation of proofs in such systems. Other related paradigms are considered, namely proof-nets and focusing. We compare this latter approach with superdeduction. We consequently reforge the superdeduction paradigm on top of a multifocusing system for classical logic. We demonstrate the benefits of this approach by proving the completeness of the obtained deduction systems.

L'État de droit se présente comme un ensemble de règles juridiques qui limite la puissance souveraine et préserve les droits individuels. Avant que la Déclaration des droits de l'homme et du citoyen de 1789 n'acquière en France une véritable autorité constitutionnelle, la loi naturelle légitimait le politique. Si Rousseau a donné à la loi un fondement philosophique avec la volonté générale, Montesquieu a accordé à la concurrence une fonction primordiale dans la reconnaissance conjuguée de la liberté et de la propriété des hommes. A cette époque, l'économie donnait à l'intérêt particulier une importance toute nouvelle et la concurrence entre les hommes devenait même un modèle pour l'organisation politique. Alors que Montesquieu et les économistes associent l'autorité du souverain et l'expression libre de l'intérêt particulier, la société doit reposer d'après Rousseau sur le droit politique. Si les philosophies de Montesquieu et de Rousseau se rejoignent sur les questions du respect de la liberté et de la sûreté des personnes, l'une détaille les principaux modes d'organisation politique et prescrit de limiter la puissance de l'exécutif, l'autre pose la toute-puissance du souverain. Cependant, l'histoire des différents apports philosophiques, anthropologiques, économiques et juridiques du XVIIIe siècle permet de nuancer, sans les diminuer, leur influence politique sur les thèmes de l'intérêt particulier et de l'intérêt général, tels qu'ils sont aujourd'hui discutés, en France, par des juristes. / The Rule of Law is a group of legal rules which limit the sovereign power and preserve the individual rights. Before the Declaration of the Rights of Man and of the Citizen of 1789 established a genuine constitutional authority in France, the natural law legitimized politics. At that time, the economy gave to the interest more importance to individual interest and competition between men became a model for the political organization. While Montesquieu and the political economists combine sovereign authority and the self-expression of the vested interest, Rousseau founded society on political right and identified the general will as the guiding principle of political acts. If political philosophers Montesquieu and Rousseau agreed on the respect of freedom and the safety of people, the former detailed the main methods of political organization and called for a restriction of the executive power while the latter confirmed the all- mighty sovereign. The history of the different philosophical, anthropological, economical and legal inputs allows us to moderate the political influences of Montesquieu and Rousseau on the main themes of vested interest, general interest - discussed nowadays in France by legal experts - without reducing them.

Nous avons cherché à comprendre le comportement sous écoulement de suspensions colloïdales d'argiles naturelles. Les particules constitutives de ces argiles ont comme particularité d'être extrêmement anisotropes puisqu'elles se présentent (en moyenne) sous la forme de disques de 200 nm de diamètre pour une épaisseur de 1 nm. Ces matériaux présentent des propriétés mécaniques remarquables parmi lesquelles une forte rhéofluidification ainsi que l'apparition de seuils d'écoulement et ce, pour de très faibles fractions volumiques en particules (environ 1%). Afin de comprendre l'origine de ces propriétés mécaniques, nous avons mis en place un dispositif expérimental permettant d'effectuer simultanément des mesures de viscosité (en cellule de Couette cylindrique) et des mesures de diffusion de rayons-X aux petits angles. Le champ orientationnel de particules 2D très anisotropes en écoulement cisaillé a ainsi été mesuré. En l'absence de cisaillement, et dans la phase de liquide isotrope, les particules s'orientent librement et occupent statistiquement un volume équivalent à celui de la sphère de volume exclu englobant la particule. En appliquant un cisaillement croissant on confine les particules discoïdales, faisant passer progressivement le volume de fluide piégé dans le mouvement moyen des particules de la sphère de volume exclu à un ellipsoïde à double anisotropie. Connaissant le champ orientationnel des particules on peut alors, par le biais d'une relation viscosité - fraction volumique de type Quemada, reconstruire la rhéofluidification de ces suspensions en prenant en compte, non pas la fraction volumique en disques mais celle en ellipsoïdes de confinement / We focussed our interest on the flow behaviour of colloidal suspensions of natural swelling clays. Such systems are strongly anisotropic since the disk-shaped particles in suspensions display an average diameter around 200 nm with a thickness close to 1 nm. Under flow, and for very low volume fractions (around 1%), these materials display remarkable mechanical properties going from quasi-Newtonian liquid to yield stress gel. In order to understand the mechanisms leading to such macroscopic behaviour, we have set up an experimental device that enables us to perform simultaneously viscosity (in a cylindrical Couette cell) and small angles x-ray scattering measurements. Thanks to this Rheo-SAXS device, we measured the orientational field of strongly anisotropic bi-dimensional particles in shear flow. When no shear is applied (and in the isotropic liquid phase), the particles are randomly oriented and occupy statistically a volume equivalent to that of the sphere of excluded volume encompassing the particle. The stronger is the applied shear stress, the more confined are the disk-like particles and consequently the small amount of fluid trapped in the statistical motion of the particles decreases from that of the sphere of excluded volume to that of an oblate ellipsoid with double anisotropy. Thus, knowing the orientational field of the particles (measured by SAXS) and applying an effective approach as the one suggested by Quemada for hard spheres, we tried to rebuild the shear-thinning behaviour of these suspensions by taking the volume fraction in statistical ellipsoid instead of that of disk-shaped particles

Cette thèse, à la fois numérique et expérimentale, porte sur l’étude du transfert de chaleur par convection naturelle qui apparait au sein d’une cavité hémisphérique en régime stationnaire. L’enceinte est remplie d’eau ou de nanofluide de type eau / ZnO. La fraction volumique varie entre 0 (eau pure) et 10%. La coupole de la cavité est maintenue à température froide. Ce travail s’applique au domaine de l’ingénierie électronique et plus particulièrement au refroidissement des composants actifs de différentes formes. Trois géométries de sources de chaleur sont étudiées : la première est plane et circulaire (disque) et les suivantes, centrées sur le disque, de même surface d’échange, sont cubique et hémisphérique. L’angle d’inclinaison du disque varie entre 0 (coupole orientée vers le haut) et 180° (coupole orientée vers le bas) par rapport au plan horizontal. Les sources de chaleur génèrent des puissances qui conduisent à des Rayleigh importants. L’approche numérique est effectuée à l’aide de la méthode des volumes finis basée sur l’algorithme SIMPLE et un modèle monophasique. Pour chaque source active, le transfert de chaleur convectif est analysé et quantifié par l’intermédiaire d’une corrélation du type Nusselt-Rayleigh-Prandtl-angle d’inclinaison. D’un point de vue expérimental, la fabrication des sources de chaleur est minutieusement décrite étape par étape et le calcul du coefficient de transfert convectif moyen expérimental est détaillé. La comparaison mesures-corrélations remet en question l’efficacité du nanofluide en termes de refroidissement. / This numerical and experimental thesis deals with natural convective heat transfer that occurs in a hemispherical cavity in steady state. The enclosure is filled with water or ZnO / water nanofluid. The volume fraction varies between 0% (pure water) and 10%. The coupola of the cavity is kept at a cold temperature. This work corresponds to the field of electronics and the cooling of different actives composants. Three active heating sources are studied: the first one is plane and circular (the disc) and the followings, centered on the disc with the same surface, are cubical and hemispherical. The tilted angle varies between 0 (dome facing upwards) and 180° (dome facing downwards) with respect to the horizontal plane. Heat sources generate important heat fluxes leading to high Rayleigh numbers values. Numerical approach is done by means of the volume control method based on the SIMPLE algorithm and using monophasic model. For each active source, the convective heat transfer is analyzed and quantified by means of a correlation of the Nusselt-Rayleig-Prandtl-tilt angle type. Experimentally, the heat sources are built step by step and the average convective heat transfer coefficient is calculated. The comparison measures-correlations questions on the cooling nanofluid’s efficiency.

Les microorganismes extrêmophiles jouent un rôle déterminant dans le cycle du fer (oxydation et précipitation) dans les drainages miniers acides. Les phases minérales formées peuvent piéger efficacement des éléments toxiques tels que l'arsenic. L'objectif de ce travail est de mieux comprendre le rôle de l'activité bactérienne dans les processus d'atténuation naturelle des concentrations en Fe et As dans les DMA. Pour cela, différents marqueurs potentiels de l'activité bactérienne ont été étudiés (changement de spéciation, formation de biominéraux, fractionnement isotopique). L'approche de terrain a été combinée à des expériences de laboratoire. Des variations journalières et annuelles des concentrations en fer et arsenic ont été mises en évidence dans le DMA du Reigous, attribuées respectivement à des facteurs physico-chimiques et hydrologiques. La tooéléite, un oxyhydroxysulfate de Fe(III) et As(III), est présente dans les concrétions bactériennes tout au long de l'année. L'influence des facteurs biotiques (identité des souches bactériennes d'Acidithiobacillus ferrooxidans et concentration cellulaire) sur la formation de ce minéral a été étudiée en laboratoire. L'évolution de la composition isotopique du fer dans l'eau et les solides, mesurée au cours de ces expériences d'incubation et in situ (Reigous et Rio Tinto) montre un enrichissement systématique en isotopes lourds dans les solides par rapport à l'eau de départ quelle que soit la spéciation du fer initiale. Bien que l'activité bactérienne intervienne dans l'oxydation et la précipitation du fer dans ces systèmes, les fractionnements observés sont des fractionnements d'équilibre dominés par des processus abiotiques.

La thèse présentée concerne l'étude de deux problématiques liées à l'extraction supercritique. Le premier objective a été de tester la capacité du procédé de la Détente Instantanée Contrôlée (DIC), appliquée en tant que technique de prétraitement, à l'efficacité de l'extraction par le CO2 supercritique grâce à la modification de la structure du matériel extrait. Le deuxième objective a été d'élaborer une méthode de mesure de la distribution des temps de séjour afin d'observer l'effet de la direction du flux moyen sur la distribution des temps de séjour dans un extracteur supercritique. L'extraction supercritique attire attention grâce aux avantages qu'elle possède en comparaison avec les méthodes d'extraction conventionnelles. Néanmoins, les applications de la technique à l'industrie sont souvent inhibées par les coûts d'investissement de l'installation de haute pression. Optimisation des paramètres de procédé peut baisser les coûts totaux. Le prétraitement du produit avant l'extraction est un des paramètres les plus importants qui influence la cinétique et le rendement de l'extraction. Dans cette étude, le procédé DIC a été testé en tant que technique de prétraitement. Les grains d'amarante, de soja et de café ont été traités par DIC et extraits par le CO2 supercritique. La structure du matériel a été étudiée par la microscopie électronique à balayage, la porosimétrie à mercure et la pycnométrie à hélium. Les données expérimentales ont été décrites par deux modèles: le modèle BIC basé sur l'extraction des cellules cassées et intactes, et le modèle « hot ball » basé sur la diffusion dans une sphère. L'effet le plus remarquable a été observé pour les grains de soja. Leur porosité a augmenté considérablement après le traitement par DIC et la vitesse de transfert interne de masse a augmenté six fois. La structure des grains d'amarante et de café n'a pas été modifiée par le traitement par DIC, et les résultats de l'extraction ne montrent aucune amélioration. La problématique de l'extraction de la caféine par rapport à la présence de l'eau a été discutée. Grâce à la viscosité cinématique basse, les fluides supercritiques inclinent plus à la convection naturelle, ce qui influence la cinétique et le rendement d'extraction. Plusieurs études sont accessibles concernant la dispersion axiale dans l'extracteur supercritique, évaluée à l'aide des mesures de la réponse à l'injection du traceur dans l'extracteur. Ces travaux étudient le système CO2 pure-traceur, mais ils observent pas la réponse pendant l'extraction proprement dite, ce qui est justement le cas où la convection naturelle peut se développer à cause des différences de densité. Le but de cette étude a été d'élaborer une méthode de mesure de la réponse à l'injection du traceur. L'acide benzoïque a été utilisé comme traceur. Plusieurs solutés ont été testés; le tetracosane a été choisi pour les expériences sous conditions subcritiques (12 MPa, 25ºC), la trilaurine pour les expériences supercritiques (12 MPa, 40ºC). L'extraction a été réalisée avec le solvant passant dans le sens de la pesanteur et aussi dans la direction opposite. Les résultats préliminaires montrent un effet significatif de la direction de flux de solvant sous conditions supercritiques. Par contre, cet effet n'a pas été observé sous conditions subcritiques. Les résultats obtenus doivent être encore vérifiés par une étude suivante.

L'objectif de cette thèse est de contribuer à la simulation numérique des transferts de chaleur par conduction dans les parois, par rayonnement et par convection thermosolutale dans des cavités fermées ou dans des conduites. Dans la plupart des cas pratiques, les trois modes de transfert de chaleur sont fortement couplés lorsque le fluide en mouvement est un mélange de gaz. Le transfert de chaleur par convection naturelle associé à la condensation surfacique dans une cavité à deux dimensions, remplie d'air humide a été étudié numériquement. Les parois verticales, d'épaisseur finie, sont en contact avec une ambiance extérieure froide. La modélisation faiblement compressible permet à la fois de tenir compte de la diminution de la masse du mélange et de la pression thermodynamique. Egalement, une étude de la convection mixte associée à l'évaporation d'un film liquide ruisselant sur les deux parois d'un canal vertical a été menée. Les effets des forces d'Archimède thermique et solutale sur le développement de l'écoulement ont été montrés. Les résultats ont été obtenus en considérant que les propriétés du mélange sont constantes ou basées sur la règle d'un tiers. Deux mélanges binaires de gaz parfaits air-vapeur et air-hexane ont été considérés en vertu de diverses conditions aux limites

Les systèmes de dialogues oraux Homme-Machine sont des interfaces entre un utilisateur et des services. Ces services sont présents sous plusieurs formes : services bancaires, systèmes de réservations (de billets de train, d'avion), etc. Les systèmes de dialogues intègrent de nombreux modules notamment ceux de reconnaissance de la parole, de compréhension, de gestion du dialogue et de synthèse de la parole. Le module qui concerne la problématique de cette thèse est celui de compréhension de la parole. Le processus de compréhension de la parole est généralement séparé du processus de transcription. Il s'agit, d'abord, de trouver la meilleure hypothèse de reconnaissance puis d'appliquer un processus de compréhension. L'approche proposée dans cette thèse est de conserver l'espace de recherche probabiliste tout au long du processus de compréhension en l'enrichissant à chaque étape. Cette approche a été appliquée lors de la campagne d'évaluation MEDIA. Nous montrons l'intérêt de notre approche par rapport à l'approche classique. En utilisant différentes sorties du module de RAP sous forme de graphe de mots, nous montrons que les performances du décodage conceptuel se dégradent linéairement en fonction du taux d'erreurs sur les mots (WER). Cependant nous montrons qu'une approche intégrée, cherchant conjointement la meilleure séquence de mots et de concepts, donne de meilleurs résultats qu'une approche séquentielle. Dans le souci de valider notre approche, nous menons des expériences sur le corpus MEDIA dans les mêmes conditions d'évaluation que lors de la campagne MEDIA. Il s'agit de produire des interprétations sémantiques à partir des transcriptions sans erreur. Les résultats montrent que les performances atteintes par notre modèle sont au niveau des performances des systèmes ayant participé à la campagne d'évaluation. L'étude détaillée des résultats obtenus lors de la campagne MEDIA nous permet de montrer la corrélation entre, d'une part, le taux d'erreur d'interprétation et, d'autre part, le taux d'erreur mots de la reconnaissance de la parole, la taille du corpus d'apprentissage, ainsi que l'ajout de connaissance a priori aux modèles de compréhension. Une analyse d'erreurs montre l'intérêt de modifier les probabilités des treillis de mots avec des triggers, un modèle cache ou d'utiliser des règles arbitraires obligeant le passage dans une partie du graphe et s'appliquant sur la présence d'éléments déclencheurs (mots ou concepts) en fonction de l'historique. On présente les méthodes à base de d'apprentissage automatique comme nécessairement plus gourmandes en terme de corpus d'apprentissage. En modifiant la taille du corpus d'apprentissage, on peut mesurer le nombre minimal ainsi que le nombre optimal de dialogues nécessaires à l'apprentissage des modèles de langages conceptuels du système de compréhension. Des travaux de recherche menés dans cette thèse visent à déterminer quel est la quantité de corpus nécessaire à l'apprentissage des modèles de langages conceptuels à partir de laquelle les scores d'évaluation sémantiques stagnent. Une corrélation est établie entre la taille de corpus nécessaire pour l'apprentissage et la taille de corpus afin de valider le guide d'annotations. En effet, il semble, dans notre cas de l'évaluation MEDIA, qu'il ait fallu sensiblement le même nombre d'exemple pour, d'une part, valider l'annotation sémantique et, d'autre part, obtenir un modèle stochastique " de qualité " appris sur corpus. De plus, en ajoutant des données a priori à nos modèles stochastiques, nous réduisons de manière significative la taille du corpus d'apprentissage nécessaire pour atteindre les même scores du système entièrement stochastique (près de deux fois moins de corpus à score égal). Cela nous permet de confirmer que l'ajout de règles élémentaires et intuitives (chiffres, nombres, codes postaux, dates) donne des résultats très encourageants. Ce constat a mené à la réalisation d'un système hybride mêlant des modèles à base de corpus et des modèles à base de connaissance. Dans un second temps, nous nous appliquons à adapter notre système de compréhension à une application de dialogue simple : un système de routage d'appel. La problématique de cette tâche est le manque de données d'apprentissage spécifiques au domaine. Nous la résolvons en partie en utilisant divers corpus déjà à notre disposition. Lors de ce processus, nous conservons les données génériques acquises lors de la campagne MEDIA et nous y intégrons les données spécifiques au domaine. Nous montrons l'intérêt d'intégrer une tâche de classification d'appel dans un processus de compréhension de la parole spontanée. Malheureusement, nous disposons de très peu de données d'apprentissage relatives au domaine de la tâche. En utilisant notre approche intégrée de décodage conceptuel, conjointement à un processus de filtrage, nous proposons une approche sous forme de sac de mots et de concepts. Cette approche exploitée par un classifieur permet d'obtenir des taux de classification d'appels encourageants sur le corpus de test, alors que le WER est assez élevé. L'application des méthodes développées lors de la campagne MEDIA nous permet d'améliorer la robustesse du processus de routage d'appels.

L'affinage technique et l'adoption récente des technologies tactiles multi-points par les industriels et les utilisateurs ont fixé l'attention des designers d'interaction sur ces technologies. Tandis que de nombreuses études en interaction homme-machine se sont intéressées à comparer la performance de ces interfaces à celle des interfaces WIMP traditionnelles, peu se sont attachées à intégrer dans leur approche les spécificités du canal gestuel et les modalités d'interactions multi-tactiles. Dans cette étude, je défends l'idée que le design de telles interactions ne peut être approché qu'en suivant un modèle d'interaction spécifique intégrant l'ensemble des composantes physiques, cognitives, sensorielles et motrices du geste dans le couplage homme-machine. J'articule ma recherche autour d'un espace de conception, courte analyse sociotechnique de mon objet d'étude, dans lequel je définis un modèle d'interaction descriptif et génératif. Je détermine un ensemble de principes conceptuels et techniques permettant l'évaluation et la conception du design d'interfaces multi-tactiles de manière systémique et extensible. Au cours de cette étude, je précise les limites du paradigme d' " interface naturelle " en nuançant les effets du réalisme des interactions dans l'efficacité de tels systèmes. Enfin, je présente les travaux de conception et de développement d'un environnement de développement réalisé dans le cadre d'un dispositif CIFRE qui a accompagné cette étude et permis d'enrichir le modèle théorique.