Cette thèse étudie le schéma de complémentation capacitif, présent dans les occurrence suivantes : The tent sleeps four ; The bench seats two. Il attribue au référent du sujet une capacité d’accueil quantifiée. Dans cette structure, l’alignement entre fonction syntaxique et rôle sémantique n’est pas canonique. Le sujet a un rôle de localisation et le complément post-verbal de mesure a un rôle agentif, habituellement rempli par le sujet. La modification de cet alignement prototypique permet de signifier la capacité sans avoir recours à un marqueur dédié. La thèse propose de décrire et d’analyser ce schéma de complémentation peu mentionné dans la littérature existante. La description des constituants de la structure est fondée sur l’étude d’une base de données. Un profil formel de ce type d’énoncés est proposé. Le sujet est toujours envisagé comme un contenant. Le verbe dénote un besoin naturel en lien avec le référent du sujet. Le complément de mesure code une quantité dont l’unité de mesure est un animé humain. Il n’y a pas de marqueur dédié à l’expression du capacitif dans le schéma. Cette modalité de type possible émerge via le lien, matérialisé par le verbe, entre les entités nominales sujet et complément de mesure. La capacité est rendue possible par le sujet thématisé, duquel le possible émane (aptitude interne).. Cette absence de marqueur spécifique pour coder le permissif rappelle la notion de construction linguistique. L’attribution d’un tel statut pour schéma est interrogée, en vertu des principes de la Grammaire de construction (non-compositionnalité du sens, stockage linguistique, productivité du schéma). / This thesis studies the capacitive syntactic pattern, which can be found in sentences such as The tent sleeps four or The bench seats two. It expresses the quantified capacity of the referent of the subject. In this complementation pattern, the alignement between the syntactic functions and the semantic roles is not prototypical. The subject is locative and the post-verbal measure complement has an agentive role, which is canonically associated with the subject. This unusual alignment allows the speaker to express capacity. The thesis describes and analyzes this complementation pattern, which has not been studied in the literature. The description of the constituents is based on the study of a database. Several formal syntactic features of the pattern are highlighted. The subject is always perceived as a container and the verb denotes a primary need that is closely related to the container. The measure complement denotes a numerical quantity whose unit of measurement is human animates. The capacitive meaning is not expressed by a single lexeme but through the whole pattern, which is meaningful. It is shown that the capacitive interpretation emerges through the congruent link between the container (subject) and the quantified volume (measure complement). The subject has properties that make it possible for the human animates to perform the event denoted by the verb. As the pattern itself has meaning, its status of construction (an unpredictable form–meaning pairing) is investigated by studying the main features of such grammatical sequences within the framework of construction grammar.

De nos jours, en raison de l'épuisement des combustibles fossiles et des préoccupations environnementales, la transformation de la biomasse lignocellulosique devient un gros challenge pour fournir des biocarburants et des bioproduits dans un futur proche. La lignine, qui représente près de 30 %pds de la biomasse lignocellulosique, est la bioressource la plus pertinente et la plus abondante pour produire des composés aromatiques grâce à sa structure polymérique composée d’unités phénylpropane avec des liaisons éthers. Dans ce contexte, l’utilisation de la lignine en tant que précurseur de composés aromatiques suscite beaucoup d’attention de par son faible coût et sa haute disponibilité puisque co-produit dans l’industrie papetière ou les bio-raffineries. Dans la littérature, il apparaît que l'hydroconversion catalytique de la lignine constitue une méthode thermochimique intéressante pour obtenir des rendements élevés en produits liquides. Le but de ce travail était d'étudier les processus réactionnels lors de ce procédé et de développer un modèle cinétique pour l'hydroconversion catalytique de la lignine sur un catalyseur sulfure (CoMoS/Al2O3). Dans la première partie de ce travail, des mesures cinétiques ont été effectuées dans un solvant donneur d’hydrogène (tétraline) à 350 °C et 80 bar en utilisant un réacteur semi-continu, ouvert en phase gazeuse avec l’alimentation continue en H2 et équipé d’un condenseur à reflux et de pièges refroidis. Les produits récupérés ont été isolés en quatre fractions : gaz (méthane, dioxyde de carbone, hydrocarbures légers, etc.), liquide organique (phénols, aromatiques, naphtènes, etc.), résidus solubles dans le THF et insolubles dans le THF. Grâce à plusieurs outils analytiques appropriés (GPC, RMN, GCXGC, etc.), l'évolution et la composition de ces différentes fractions en fonction du temps de réaction ont été étudiés afin de comprendre les transformations lors de la conversion. Un schéma réactionnel (approche regroupée) a été établi sur la base de ces observations. La deuxième partie de ce travail a été consacrée au développement d'un modèle cinétique paramétré permettant de décrire mathématiquement chaque étape de réaction au cours de l'hydroconversion de la lignine. Premièrement, les phénomènes physiques impliqués (comportement hydrodynamique des gaz dans notre installation, équilibre vapeur-liquide des mélanges et transfert de masse liquide gaz) ont été caractérisés. Par la suite, un modèle complet de réacteur a été construit en couplant la cinétique chimique appropriée et les caractérisations physiques. En prenant les données expérimentales recueillies comme base, des paramètres cinétiques fiables (constantes de vitesse et coefficients stoechiométriques) pour chaque étape de réaction ont été obtenus au moyen d'une technique de régression non linéaire. Le modèle résultant nous permet d'avoir une compréhension approfondie du processus de conversion de la lignine / Nowadays, due to the fossil fuels depletion and environmental concerns, transformation of lignocellulosic biomass is becoming a great challenge in order to provide biofuels and biochemicals in a near future. Lignin, which accounts for nearly 30 wt% of lignocellulosic biomass, is the most relevant and abundant bio-resource to produce aromatic compounds because of its original polymeric structure composed by phenylpropane units with ether linkages. In this context, the use of lignin as a precursor of aromatic compounds attracts lots of attention thanks to its low cost and high availability in pulp industry or bio-refinery. In the literature, it appears that an interesting thermochemical method for obtaining high yields of liquid products was the catalytic hydroconversion of lignin. The aim of this work was to investigate the reaction scheme of the catalytic process and develop a kinetic model for catalytic lignin hydroconversion over a sulfided CoMoS/Al2O3. In the first part of this work, kinetic measurements were carried out in a H-donor solvent (tetralin) at 350 °C and 80 bar using a semi-continuous batch reactor, which is opened for gas phase with continuous supply of H2 and equipped with a condensing reflux followed by cooled traps. The recovered products were isolated in four fractions: gases (methane, carbon dioxide, light hydrocarbons, etc.), organic liquid (phenols, aromatics, naphthenes, etc.), THF-soluble and THF-insoluble residues. Thanks to several appropriate analytical tools (GPC, NMR, GCXGC, etc.), the evolution of these different fractions as a function of reaction time was followed in order to understand the transformations occurring during the conversion. Accordingly, a lumped reaction network was established based on the observed reaction schemes. The second part of this work was dedicated to the development of a parameterized kinetic model allowing to have a mathematical description for each reaction step involved in the lignin hydroconversion. Firstly, physical phenomena involved (the gas hydrodynamic behavior of our set-up, the vapor-liquid equilibrium of mixtures and the liquid-gas mass transfer) were characterized. Subsequently, a complete reactor model was constructed by coupling the suitable chemical kinetics and these physical characterizations. Taking the gathered experimental data as a basis, reliable kinetic parameters (rate constants and stoichiometric coefficients) for each reaction step were obtained by means of non-linear regression technique. The resulting model allows us to have an in-depth understanding of the lignin conversion process

Les analyses par canaux auxiliaires exploitent les fuites physiques des systèmes embarqués. Ces attaques représentent une réelle menace; c’est pourquoi différentes contre-mesures ont été développées. Cette thèse s’intéresse à la sécurité fournie par ces contre-mesures. Nous étudions leur sécurité dans le contexte où de multiples fuites sont présentes. Il arrive que plusieurs fuites de plusieurs variables puissent être exploitées lors d’analyses par canaux auxiliaires. Dans cette thèse nous présentons la méthode optimale pour exploiter les fuites d’une unique variable. Nous étudions ensuite comment de telles méthodes de réduction de dimensionnalité peuvent être appliquées dans le cas d’implémentations protégées. Nous montrons que ces méthodes voient leur efficacité augmentée avec le niveau de sécurité de l’implémentation. Nous montrons dans cette thèse comment exploiter les fuites de multiples variables pour améliorer les résultats d’analyses par canaux auxiliaires. Nous améliorons en particulier les attaques contre les schémas de masquage avec recalcul de table. Dans ce contexte nous présentons l’attaque optimale. Dans le cas où les schémas avec recalcul de table sont protégés nous montrons que le principal paramètre pour évaluer la sécurité des schémas de masquage, c’est-à-dire l’ordre n’est pas suffisant. Pour finir nous étudions de façon théorique la meilleure attaque possible en présence de masquage et de « shuffling » ce qui généralise le précédent cas d’étude. Dans ce cas nous montrons que l’attaque optimale n’est pas calculable. Pour y remédier, nous présentons une version tronquée de l’attaque optimale avec une meilleure efficacité calculatoire. / Side Channel Attacks are a classical threat against cryptographic algorithms in embedded systems. They aim at exploiting the physical leakages unintentionally emitted by the devices during the execution of their embedded programs to recover sensitive data. As such attacks represent a real threat against embedded systems different countermeasures have been developed. In thesis we investigate their security in presence of multiple leakages. Indeed there often are in the leakage measurements several variables which can be exploited to mount Side Channel Attacks. In particular we show in this thesis the optimal way to exploit multiple leakages of a unique variable. This dimensionality reduction comes with no loss on the overall exploitable information. Based on this result we investigate further how such dimensionality reduction methodscan be applied in the case of protected implementations. We show that the impact of such methods increases with the security “level” of the implementation. We also investigate how to exploit the leakages of multiplevariables in order to improve the results of Side Channel Analysis. We start by improving the attacks against masking schemes, with a precomputed table recomputation step. Some protections have been developed to protect such schemes. As a consequence we investigate the security provided by these protections. In this context we present results which show that the main parameter to evaluate the security of the masking schemes is not sufficient to estimate the global security of the implementation. Finally we show that in the context of masking scheme with shuffling the optimal attack is not computable. As a consequence we present a truncated version of this attack with a better effectiveness.

La thèse s'inscrit dans le contexte des accidents graves dans les réacteurs nucléaires qui sont étudiés au laboratoire de physique et modélisation des accidents graves (LPMA) du CEA de Cadarache. Un accident grave survient lors de la perte du caloporteur au niveau du circuit primaire ce qui provoque une dégradation du combustible et la création d'un bain de corium. Celui-ci va ensuite se propager en cuve et fortement endommager les structures du réacteur. Pour la sûreté nucléaire, il est donc nécessaire de pouvoir prévoir la propagation de ce corium, d'où la création en 2013 de la plateforme PROCOR (Java) permettant aux travers d'applications industrielles de simuler cette propagation. Ces applications sont un ensemble de modèles physiques, couplés sur une macro boucle en temps, ayant chacun un ensemble d'équations algébriques et différentielles qui sont résolues en interne des modèles. Les modèles de la plateforme sont généralement des modèles OD dont la discrétisation spatiale est remplacée par des corrélations généralement issues de l'expérience. Chaque modèle a aussi un ensemble d'états et de règles de transition, et un changement d'état peut alors survenir à l'intérieur de la macro boucle en temps. Au début de la thèse, le couplage était simplement un chaînage des modèles sur la macro boucle en temps : chaque modèle est résolu l'un après l'autre, l'ordre étant défini par le créateur de l'application, et les modèles sont synchronisés à la fin de cette boucle. Les résultats des applications industrielles de la plateforme en modifiant simplement le pas de temps de la macro boucle en temps montrent une forte dépendance du schéma avec ce pas de temps. On a par exemple 10 % d'écart sur les flux imposés sur la cuve du réacteur en passant d'un pas de temps de 100 s à 50 s, ce qui a un fort impact sur les résultats de sûreté nucléaire. / This thesis focuses on solving coupled problems of models of interest for the simulation of severe accidents in nuclear reactors~: these coarse-grained models allow for fast calculations for statistical analysis used for risk assessment and solutions of large problems when considering the whole severe accident scenario. However, this modeling approach has several numerical flaws. Besides, in this industrial context, computational efficiency is of great importance leading to various numerical constraints. The objective of this research is to analyze the applicability of explicit coupling strategies to solve such coupled problems and to design implicit coupling schemes allowing stable and accurate computations. The proposed schemes are theoretically analyzed and tested within CEA's procor{} platform on a problem of heat conduction solved with coupled lumped parameter models and coupled 1D models. Numerical results are discussed and allow us to emphasize the benefits of using the designed coupling schemes instead of the usual explicit coupling schemes.

This document describes methods of user authentication and authorisation via a trusted server. There is analysis of the system Kerberos, which is used as an inspiration for desing of a new authentication scheme. There are analysed programming layers and interfaces for specific applications ensuring user authentication and authorisation. The document contains a design and detailed description of a new authentication scheme. This scheme is implemented into the communication between email client and imap server.

The aim of this thesis is to probe the link between female sexual dysfunctions in the Czech Republic and physical activity and self-awareness (mindfulness) of women using specialised questionnaires. The goal was to engage women across the Czech Republic to gather large and diverse dataset. The questionnaires used were International Physical Activity Questionnaire (IPAQ) measuring physical activity, Female Sexual Function Index (FSFI) measuring sexual dysfunctions and Five Facet Mindfulness Questionnaire measuring mindfulness. Analysis of the data is used to provide a basis for therapy of female sexual dysfunctions.

The diploma thesis deals with the complex construction of the Vartovna lookout tower near the village of Seninka. Within this work was prepared item budget, drawings of construction site equipment for the main construction stages, concreting scheme and landfill supply, time schedule of the whole construction, construction financing plan, number of workers, necessary machines and mechanisms with their deployment over time, technological regulation for monolithic foundations. hydraulic concrete structures, technological regulation for the assembly of the steel structure of the lookout tower, control and test plans for monolithic and prefabricated structures, the formwork scheme of all foundation structures, and safety and health protection at work.

Dans cette thèse, nous développons des méthodes analytiques et numériques pour capturer les dynamiques asymptotiques de problèmes issus de la physique des plasmas et de la modélisation des mouvements collectifs dans les populations animales. Dans une première partie, nous présentons une méthode numérique Particle-In-Cell (PIC) pour le système Vlasov-Poisson préservant l'asymptotique quasi-neutre. Dans une seconde partie, nous étudions la limite macroscopique d'un modèle de Vicsek décrivant des interactions d'alignement entre deux populations, une population à l'arrêt et une population en mouvement. Nous sélectionnons ensuite un schéma numérique pour capturer les solutions du modèle macroscopique de Vicsek correspondant à la dynamique particulaire sous-jacente. La troisième partie est dédiée à l'étude des transitions compressible-incompressible apparaissant sous l'effet d'une contrainte de congestion dans un modèle macroscopique de déplacement collectif. Des schémas numériques préservant l'asymptotique de congestion sont ensuite mis au point pour le système d'Euler avec une contrainte de densité maximale.

Si les nouvelles technologies en matière de SGBD envisagent le problème de l'évolution du schéma d'une base de données, les systèmes d'information actuels posent des problèmes particulièrement ardus lors des phases d'évolution. Ce travail étudie ces problèmes dans un contexte pratique tel qu'il est vécu actuellement par les développeurs. Il propose une typologie complète des modifications possibles ainsi qu’une analyse du phénomène de l'évolution et de son impact sur les structures de données, les données et les programmes d'application au travers de stratégies typiques. Le document décrit ensuite l'environnement de génie logiciel DB-Main avec lequel a été construit un prototype d'outil d'aide à l'évolution. Cet outil permet notamment de générer automatiquement les programmes de conversion de la base de données à partir de la trace des opérations de modification des schémas conceptuel ou logique de la base de données. Il aide aussi le programmeur à modifier les programmes d'application en conséquence.| If the recent DBMS technologies consider the problem of databases schema evolution, standard Information Systems in use raise hard problems when evolution is concerned. This work studies these problems in the current developer context. It gives a complete typology of modifications and analyses the evolution of systems and its impact on the data structures, data and programs through typical strategies. The document introduces the DB-Main CASE environment, with which an evolution tool prototype has been developed. This tool can automatically generate the conversion programs for the database from the operational trace of the conceptual and logical schema modifications. It can also help the programmer to modify the application programs.

Cette thèse a été réalisée en collaboration avec l'établissement bancaire LCL-Le Crédit Lyonnais. Elle s'inscrit dans le domaine des entrepôts de données. Ces derniers constituent un élément fondamental de l'architecture décisionnelle, sur lesquels reposent des outils permettant de répondre à des besoins d'analyse. Or, l'émergence de nouveaux besoins d'analyse individuels fait apparaître la nécessité d'une personnalisation des analyses. Pour permettre cette personnalisation, nous proposons une solution basée sur une évolution du schéma de l'entrepôt guidée par les utilisateurs. Il s'agit en effet de recueillir les connaissances de l'utilisateur et de les intégrer dans l'entrepôt de données afin de créer de nouveaux axes d'analyse. Cette solution s'appuie sur la définition d'un modèle formel d'entrepôt de données évolutif, basé sur des règles "si-alors", que nous appelons règles d'agrégation, qui permettent de représenter les connaissances utilisateurs. Notre modèle d'entrepôt évolutif est soutenu par une architecture qui place l'utilisateur au cœur du processus d'évolution du schéma de l'entrepôt. Nous nous sommes par ailleurs intéressés à l'évaluation de la performance de notre modèle d'entrepôt de données évolutif. L'évaluation de performances se base généralement sur une charge (ensemble de requêtes). Dans le contexte évolutif dans lequel nous nous plaçons, nous proposons alors une méthode de mise à jour incrémentale d'une charge donnée en répercutant l'évolution de schéma subie par l'entrepôt. Pour valider nos différentes contributions, nous avons développé la plateforme WEDriK (data Warehouse Evolution Driven by Knowledge).