No description available.

Un moteur Ericsson est un moteur alternatif à apport de chaleur externe fonctionnant selon un cyclethermodynamique de Joule. Ce type de moteur est particulièrement intéressant pour la valorisationde certaines "sources chaudes" (l'énergie solaire, la biomasse, les effluents gazeux chauds...).Dans cette thèse, une configuration innovante de moteur est proposée. Celle-ci permet d'une part,de s’affranchir du problème d’étanchéité autour des pistons des moteurs Ericsson, par l'usage despistons liquides en lieu et place des pistons mécaniques et d'autre part, de simplifier le système dedistribution mécanique des moteurs conventionnels par l'usage de soupapes commandéesparticulières, dont l'ouverture est déclenchée par contact avec le piston. Ce type de moteur estadapté pour la production d'électricité de petite puissance (jusqu'à... 10 kW).Trois lois différentes de commande des soupapes du cylindre de détente du moteur à air chaudproposé sont étudiées et leurs influences sur la conception et les performances énergétiques dusystème sont présentées. En raison de la masse importante d'eau dans le système, un modèle quiprend en compte la dynamique des colonnes de liquide est développé. Ce modèle permet de prédireles performances d'un premier prototype expérimental.Un prototype de machine de détente a ensuite été conçu et réalisé dans notre laboratoire. Uneprésentation du prototype et du banc d'essai est faite, et les résultats d'un essai préliminaire sontprésentés. Malgré le caractère préliminaire de ces résultats, ils sont très encourageants car d'unepart, ils n'ont pas révélés de problèmes techniquement délicats à résoudre, et d'autre part ils ontpermis de tirer de nombreux enseignements pour la suite des travaux à mener sur le prototype. / An Ericsson engine is a reciprocating external heat input engine operating on a Joule thermodynamiccycle. This type of engine is particularly interesting for the valorization of certain "hot sources" (solarenergy, biomass, hot gaseous effluents ...).In this thesis, an innovative engine configuration is proposed. This allows, on the one hand, toovercome the problem of tightness around the pistons of Ericsson engines, by the use of liquidpistons instead of mechanical pistons and on the other hand, to simplify the mechanical distributionsystem of conventional engines by the use of particular actuated valves, whose opening is triggered by contact with the piston. This type of motor is suitable for the production of electricity of smallpower (up to... 10 kW).Three different valve command laws for the proposed hot air motor expansion cylinder are studiedand their influences on the design and energy performance of the system are presented. Due to thelarge amount of water in the system, a model that takes into account the dynamics of the liquidcolumns is developed. This model makes it possible to predict the performances of a firstexperimental prototype.A prototype of the expansion machine was then designed and built in our laboratory. The prototypeand the test bench are presented together with the preliminary test results. Despite the preliminarynature of these results, they are very encouraging because, on the one hand, they have not revealedany technically difficult problems to be solved, and on the other hand they have made it possible todraw many lessons for the further work to be done lead on the prototype.

Un service du nuage peut employer des techniques de sécurités pour assurer la sécurité de l’information. Ces techniques protègent une donnée personnelle en la rendant inintelligible pour toutes personnes autres que l’utilisateur du service. En contrepartie, certaines fonctionnalités ne peuvent plus être implémentées. Par exemple, la technique du chiffrement symétrique rend les données inintelligibles, mais empêche le calcul sur ces données.Cette thèse avance qu’un service du nuage doit composer les techniques pour assurer la sécurité de l’information sans perdre de fonctionnalités. Elle se base sur l’étude de la composition de trois techniques qui sont le chiffrement, la fragmentation verticale et les calculs côté client. Cette étude montre que la composition sécurise sans perdre de fonctionnalités, mais complexifie l’écriture du service. La thèse propose alors un nouveau langage pour l’écriture de services du nuage qui assurent la sécurité des données personnelles par compositions des techniques de sécurité.Ce langage est muni de lois algébriques pour dériver,systématiquement, un service local sans protection vers son équivalent sécurisé du nuage. Le langage est implémenté en Idris et profite de son système de type expressif pour vérifier la composition correcte des techniques de cryptographie. Dans le même temps, un encodage traduit le langage en ProVerif, un vérificateur de modèle pour l’analyse automatique des propriétés de sécurité sur les protocoles cryptographiques. Cette traduction vérifie alors la sécurité des données personnelles dans le service. / A cloud service can use security techniques to ensure information privacy. These techniques protect privacy by converting the client’s personal data into unintelligible text. But they can also cause the loss of some functionalities of the service. For instance, a symmetric-key cipher protects privacy by converting readable personal data into unreadable one. However, this causes the loss of computational functionalities on this data.This thesis claims that a cloud service has to compose security techniques to ensure information privacy without the loss of functionalities. This claim is based on the study of the composition of three techniques: symmetric cipher, vertical data fragmentation and client-side computation. This study shows that the composition makes the service privacy preserving, but makes its formulation overwhelming. In response, the thesis offers a new language for the writing of cloud services that enforces information privacy using the composition of security techniques. This language comes with a set of algebraic laws to systematically transform a local service without protection into its cloud equivalent protected by composition. An Idris implementation harnesses the Idris expressive type system to ensure the correct composition of security techniques. Furthermore, an encoding translates the language intoProVerif, a model checker for automated reasoning about the security properties found in cryptographic protocols. This translation checks that the service preserves the privacy of its client.

La prochaine génération d’avions civil sera probablement une révolution en termede configuration d’avion, différant largement de l’architecture désormais classique “fuselage- ailes- moteurs sous voilure”. Du point de vue des qualités de vol, la tendance actuelle est d’évoluer versdes avions de moins en moins stables, à la fois en longitudinal et latéral. Il est dès lors probableque les futurs avions ne seront pas directement contrôlables par un humain sans l’apport de lois decommande stabilisantes. Il devient alors nécessaire de considérer l’apport des systèmes de commandesde vol très tôt dans la conception de l’avion, notamment pour le dimensionnement desempennages, gouvernes et actionneurs, contrairement au processus actuel qui ne prend principalementen compte que des critères “boucle ouverte” d’équilibre en phase de conception préliminaire.Plutôt qu’un processus itératif de dimensionnement puis synthèse de lois de commande, nousproposons d’optimiser simultanément les tailles de gouvernes, actionneurs et commandes de volen tenant compte des instabilités longitudinales et latérales, ainsi que des contraintes industriellessur la structure de correcteurs, sur un cas d’application de type aile volante. Ce processus de“co-design” permet de dimensionner des paramètres physiques de l’avion en tenant compte desapports d’une boucle de retour pour contrer des perturbations externes telles que de la turbulenceatmosphérique, permettant un avion plus sûr et optimal. / Next generation of civil transport aircraft is likely to be a radical change in overallconfiguration compared to traditional tube-and-wing design. From a handling qualities perspective,current trend in modern airliners is to evolve towards more and more unstable aircraft, bothfrom longitudinal and lateral-directional point of view. As a consequence future aircraft may notbe controllable by human operator without stabilizing control laws. It then becomes necessaryto consider flight control systems contribution early in the design phase for control surfaces,empennages and actuators sizing, as opposed to traditional way of working dealing only withopen-loop criteria for preliminary sizing. Instead of an iterative process of sizing and controllaws synthesis, we propose to concurrently optimize control surfaces, actuators and flight controllaws taking into account longitudinal and lateral instability as well as industrial structure forcontrollers, for unstable configurations such as Blended Wing-Body (BWB). This “co-design”procedure enables sizing of physical aircraft parameters taking into account benefits from feedbackstabilization for counteracting external disturbance such as atmospheric turbulence, thus leadingto safer and more optimal aircraft configurations.

Le droit transitoire est une discipline dont la vocation est universelle. Cet ensemble de règles a pour finalité de permettre la découverte de la loi applicable à un fait ou un acte donné. Tout comportement a une traduction juridique, même neutre, selon une norme unique. À ce titre, peu importe le domaine du Droit concerné. De nombreuses règles, forgées par la doctrine et la jurisprudence à partir de l’article 2 du Code civil, permettent à l’interprète de la loi nouvelle de décliner le principe de non rétroactivité selon les spécificités d’une espèce. Par exception, le législateur peut proposer lui-même des dispositions transitoires, qui s’avèrent pour la plupart, en droit de la propriété intellectuelle, conformes au principe de sécurité juridique. D’une manière générale, l’opération de qualification nécessaire porte sur l’acte ou le fait étudié ou bien sur la norme nouvelle elle-même. L’étude menée a pour objet la transposition de cette opération de qualification au sein du domaine précis de la propriété intellectuelle. Dans cette optique, les notions de « droit acquis » et de « situation juridique » sont confrontées aux spécificités de la discipline, dont la filiation apparente avec le droit des biens est parfois source d’erreurs. En plus de ces qualifications qui se rapportent aux éléments saillants d’une espèce donnée, sont également recherchées en droit de la propriété intellectuelle les illustrations des qualifications classiques de « loi interprétative », de « loi pénale plus douce », de « loi d’ordre public » et de « loi de procédure ». Leur signification transitoire est appréciée au regard de l’exigence de sécurité juridique, fil conducteur de toute discussion relative à la résolution d’un conflit de lois dans le temps. Au cours de cette étude, les systèmes de protection très disparates qu’offre le droit de la propriété intellectuelle à tout créateur ou « découvreur », apparaissent comme autant de facteurs d’une diversité jurisprudentielle gênante. À l’inverse, le mécanisme de réservation d’une chose intellectuelle semble constituer un dénominateur commun intéressant. Celui-ci trouve une traduction efficace avec la notion de « situation juridique » écrite de cette manière : « titularité d’un droit de propriété intellectuelle ». Par suite, l’indépendance de la matière se confirme et ses disparités internes sont gommées. Seulement, si l’exigence de sécurité juridique commande de retenir la notion de « situation juridique », il convient, au contraire, de se méfier de la notion de « droit acquis ». De plus, il est constaté que l’utilisation de la notion de «loi d’ordre public » n’est pas conforme à l’exigence de sécurité juridique, quand le maniement de la qualification de « loi de procédure » se révèle souvent délicate. Enfin, la notion de « loi interprétative » semble implicitement justifier de nombreux choix jurisprudentiels, orientés par l’absence de nouveauté manifeste de la norme nouvelle. Il convient alors de proposer la qualification de « loi de codification ». / A lawyer can settle conflicts of legal provisions through the application of several rules. They can be used like universal tools, in every juridical domain. The aim of the operation consist in determining the law which has to be applied. Each behavior can be translated in juridical terms. In this way, only one set of laws has to be taken into account. The lawyer can use the principles created by doctrine and precedents in order to solve conflicts of legal provisions. The article 2 of the Civil Code is the foundation of them. In the intellectual property domain, the legislator can intervene and suggest transitory provisions. The judge is not allowed to enforce the law retroactively, no matter the facts or the acts under consideration. The purpose of this investigation lies in the adaption of these rules for intellectual property issues. Therefore, “vested interests” and “legal status” concepts are confronted with specificities of intellectual property as such a corpus o findependent rules. In a certain extent, there is a link between this discipline and the law of property. When the lawyer has to choose the law to apply, there are disturbing parallels to be made. He may easily make a mistake. Furthermore, the concepts of “declaratory act”, “softer penal act”, “public order law”, and “proceedings act” can be used to resolve special problems in the intellectual property domain. When a conflict of legal provisions is under discussion, the judge has to ensure a certain security of the procedure. The judge must always be able to justify precisely his choice. It’s a significant guarantee for any persons subject to trial. It has been widely recognized that intellectual property offers a large selection of rights. As a result, the judge is tempted to follow several different lines of thought and case law on the subject is not always uniform. On the contrary, legal precedents could be unified if the judge has used the “legal status” concept. It should be written in an efficient way : “to be entitled to exercise an intellectual property right”. The independence of the discipline is confirmed and its internal disparities disappear. The “vested interests” concept does not seem to be appropriate to the characteristics of intellectual property. Moreover, the concept of “public order law” doesn’t square properly with intellectual property issues. The concept of “proceedings act” is delicate to use. Lastly, it appears that the concept of “declarative law” is implicitly used by judges to prove the retroactivity of the law. Finally, the concept of “codification act” should be applied to this situation.

Le présent travail concerne l’étude de l’usinage de l’alliage de titane Ti-6Al-4V, matériau très apprécié par les industries aéronautique, biomédicale et de l’énergie. Les qualités des alliages de titane sont nombreuses : haute résistance aux températures élevées et à la corrosion, haute résistance mécanique, biocompatibilité, etc. Cependant, certaines propriétés physiques de ces matériaux, comme leur faible conductivité thermique, conduisent à des difficultés lors de leur mise en forme par usinage. Des études ont été et sont toujours conduites afin de comprendre le comportement de ces matériaux lors de leur mise en forme. Peu de travaux portent sur la prise en compte de la microstructure dans le comportement des alliages de titane lors du procédé d’usinage. Cette dimension constitue l’une des originalités de ce travail de thèse. Les phénomènes microstructuraux sont caractérisés à travers une étude expérimentale en coupe orthogonale de l’alliage Ti-6Al-4V. Les efforts, la température, la morphologie des copeaux et la microstructure sont analysés et interprétés. Une étude numérique du processus de coupe par simulation éléments finis est employée pour comprendre le rôle de l’endommagement et de la recristallisation. A partir des conclusions de ces différentes études, la construction d’un nouveau modèle de comportement est proposée. Ce modèle est appliqué à une modélisation élément fini pour différentes conditions de coupe afin d’étudier l’influence des paramètres d’usinage. Le modèle est validé par comparaison aux résultats expérimentaux. Il est ensuite exploité afin de proposer une analyse du processus de la coupe et notamment de la formation du copeau. / The present work concerns the study of the machining of titanium alloy Ti-6Al-4V. This material is much appreciated by the aerospace, biomedical and energy industries for its advantageous properties: high resistance to high temperatures and corrosion, high mechanical strength, biocompatibility, etc. However, certain physical properties of these materials, such as their low thermal conductivity, lead to difficulties during the machining process. Studies have been and are still conducted to understand the behavior of these materials during their shaping. Few studies consider the influence of microstructure on the behavior of titanium alloys during the machining process. This is one of the originalities of the present work. The microstructural phenomena are characterized through an experimental study of orthogonal cutting of the Ti-6Al-4V alloy. Machining forces, temperature, chip morphology and microstructure are analyzed and discussed. A numerical study of the finite element simulation process is used to understand the role of damage and recrystallization. From the conclusions of these different studies, the construction of a new model of behavior is proposed. This model is applied to finite element modeling for different cutting conditions to study the influence of machining parameters. The model is validated by comparison with the experimental results. It is then used to propose an analysis of the microstructural phenomena during the cutting process and the formation of the chip.

Cette thèse se compose de plusieurs travaux portant sur deux branches de la théorie des probabilités: processus de particules et cartes planaires aléatoires. Un premier travail concerne les aspects algébriques des mesures invariantes des processus de particules. Nous obtenons des conditions nécessaires et suffisantes sous lesquelles un processus de particules en temps continu avec espace d’états local discret possède une mesure invariante simple. Dans un deuxième travail nous étudions un modèle "biologique" de coexistence de 2 espèces en compétition sur un espace partagé, et soumis à des épidémies modélisées par un modèle probabiliste appelé "feux de forêts". Notre résultat principal montre que pour deux espèces, il existe des régions explicites de paramètres pour lesquelles une espèce domine ou les deux espèces coexistent. Il s’agit d’un des premiers modèles pour lesquels la coexistence d’espèces sur le long terme est prouvée. Les troisièmes et quatrièmes travaux. portent sur les cartes planaires décorées par des arbres. Dans le troisième nous présentons une bijection entre l’ensemble des cartes décorées par des arbres et le produit Cartésien entre l’ensemble des arbres planaires et l’ensemble de cartes à bord simple. Nous obtenons quelques formules de comptage et quelques outils pour l’étude de cartes aléatoires décorées par un arbre. Le quatrième travail montre que les triangulations et quadrangulations aléatoires uniformes avec f faces, bord simple de taille p et décorées par un arbre avec a arêtes, convergent en loi pour la topologie locale vers différentes limites, dépendant du comportement fini ou infini de la limite de f, p et a. / This thesis consists in several works exploring some models belonging to two branches of probability theory: interacting particle systems and random planar maps. A first work concerns algebraic aspects of interacting particle systems invariant measures. We obtain some necessary and sufficient conditions for some continuous time particle systems with discrete local state space, to have a simple invariant measure. In a second work we investigate the effect on survival and coexistence of introducing forest fire epidemics to a certain two-species spatial competition model. Our main results show that, for the two-type model, there are explicit parameter regions where either one species dominates or there is coexistence; contrary to the same model without forest fires, for which the fittest species alwaysdominates. The third and fourth works are related to tree-decorated planar maps. In the third work we present a bijection between the set of tree-decorated maps and the Cartesian product between the set of trees and the set of maps with a simple boundary. We obtain some counting results and some tools to study random decorated map models. In the fourth work we prove that uniform tree-decorated triangulations and quadrangulations with f faces, boundary of length p and decorated by a tree of size a converge weakly for the local topology to different limits, depending on the finite or infinite behavior of f, p and a.

Ce travail de thèse se situe dans le domaine de la géométrie différentielle et a pour objectif l'étude du problème du plongement isométrique généralisé de fibrés vectoriels, dont la résolution permet, entre autres, de montrer l'existence d'analogues des lois de conservation en l'absence de symétries pour des équations aux dérivées partielles. Pour résoudre ce problème, nous le traduisons en termes d'un système différentiel extérieur, et l'existence ou non de variétés intégrales permet non seulement d'affirmer l'existence du plongement isométrique généralisé mais aussi de préciser la dimension de l'espace d'arrivé. En utilisant donc la théorie de Cartan-Kähler, nous résolvons le problème du plongement isométrique généralisé dans le cas des lois de conservations, i.e., lorsque la forme différentielle fermée covariante à valeurs dans le fibré est de degré un de moins que la dimension de la variété. Un corollaire de ce résultat est l'existence de lois de conservations pour le tenseur énergie-impulsion. Nous donnons aussi une réponse positive pour le plongement de 1-formes différentielles et pour le cas d'une 2-forme différentielle anti-auto-duale sur une variété de dimension 4 à valeurs dans un fibré de rang 3 muni d'une métrique et d'une connexion.

On s'interesse dans ce travail a la stabilite des ondes de <br />choc pour des systemes hyperboliques de lois de conservation <br />multidimensionnels. Ce probleme a ete traite par Andrew <br />Majda sous une hypothese, dite de stabilite uniforme, qui <br />intervient de facon cruciale dans son analyse. Cette hypothese <br />est cependant mise en defaut dans certains exemples, par exemple <br />dans l'etude des transitions de phase liquide-vapeur. Nous <br />examinons ici la stabilite des interfaces qui ne verifient <br />pas l'hypothese de stabilite uniforme, et montrons comment les <br />resultats de Majda s'etendent a de telles discontinuites. <br /><br /><br />On commence par montrer la stabilite lineaire des chocs plans <br />faiblement stables, a l'aide d'un symetriseur de Kreiss <br />degenere qui tient compte des modes neutralement instables. <br />Cette premiere etape etablit un compte precis des pertes de <br />derivees intervenant dans les estimations d'energie. Dans un <br />second temps, nous montrons que ces estimations d'energie demeurent <br />valables lorsque l'on etudie la stabilite des interfaces (non <br />planes) proches d'un choc plan. L'utilisation du calcul <br />paradifferentiel nous permet de traiter des perturbations <br />peu regulieres du choc plan initial. Sous une hypothese de <br />petitesse sur le comportement global des courbes bicaracteristiques, nous montrons une estimation d'energie semblable a celle etablie pour le probleme linearise a coefficients constants. Ce resultat devrait permettre de montrer la stabilite non lineaire des ondes de choc faiblement stables.

Cette thèse traite de la modélisation des infrastructures autoroutières et de leur gestion par des méthodes de régulation telles que le contrôle d'accès. L'approche retenue est macroscopique et conduit à des modèles distribués sous forme d'équations aux dérivées partielles non linéaires. Nous apportons plusieurs éclairages sur l'analyse et la résolution de ces modèles (condition d'entropie pour les rampes d'accès, discrétisation simpliée) et proposons une interprétation hybride des inhomogénéités (conditions aux limites, rampes d'accès et de sorties, variations brutales des paramètres) adaptée aux problèmes de contrôle. Deux nouvelles méthodologies calculatoires sont ensuite introduites pour concevoir des contrôleurs dynamiques s'appliquant à la gestion du trafic. La première est formulée comme un problème de commande optimale en boucle ouverte et nécessite l'adaptation de la méthode adjointe traditionnelle en raison de l'irrégularité des solutions. La seconde repose sur une discrétisation sous la forme d'un système affine commuté et une synthèse boucle fermée utilisant la dissipativité et les inégalités matricielles linéaires.