Dans le contexte de l'avion plus électrique, de nouveaux défis technologiques apparaissent dans le développement des systèmes embarqués afin d'augmenter leur puissance électrique. Une optimisation visant la sécurité, l'efficacité énergétique et une diminution du volume et de la masse est ainsi nécessaire. A cet effet, les dispositifs doivent être considérés dans leur ensemble et non par éléments séparés. Pour faciliter l'intégration des systèmes de puissance et assurer la qualité du réseau de bord avion, cette thèse propose de tenir compte de la mission de vol et d'étudier la CIO « Conception Intégrée Optimale » du système complet comprenant le filtre d'entrée et l’onduleur de tension alimentant l'actionneur synchrone à aimants permanents haute vitesse « HSPMSM ». L'application est dédiée au système de conditionnement d'air cabine « ECS – Environmental Conditioning Systems » comprenant le compresseur d'air étudié, d'une puissance nominale de 70 kW. La thèse est structurée en trois parties principales: le dimensionnement des composants de la chaîne de conversion électromécanique ; la conception locale et séquentielle de chacun des composants du système (boucle d'optimisation actionneur puis boucle d'optimisation « onduleur de tension + filtre d'entrée » ; la conception simultanée de tous les composants du système (boucle d'optimisation globale). Les fronts « Pareto-optimaux » des solutions obtenues à partir des méthodes de conception séquentielles et simultanées sont présentés, analysés et comparés. Les résultats mettent clairement en évidence l'avantage d'utiliser une boucle d'optimisation unique pour l'amélioration de la masse et de l'efficacité énergétique du système. / The concept of More Electric Aircraft (MEA) implies new challenges especially due to the increase of the electrical embedded power. By this way, necessary improvements in terms of safety, energy efficiency and weight reduction are required. For this reason, the design of devices should be more approached with a view to the whole system than as separated elements. In order to facilitate power system integration and to ensure power quality aboard, this dissertation proposes an Integrated Optimal Design (IOD) of the input filter and the inverter feeding the High Speed Permanent Magnet Synchronous Motor (HSPMSM) by taking the flight mission into account. The Environmental Conditioning System (ECS) is equipped of the studied cabin air compressor with a rated power of 70 kW: a Multiobjective Genetic Algorithm (MOGA) is applied to achieve the CIO process. Considering the ECS as a whole, this thesis can be divided into three main parts: components sizing of the electromechanical conversion chain; local and sequential design of each system components (HSPMSM optimization loop followed by “voltage source inverter + input filter” optimization loop); simultaneous design of all system components (global optimization loop). Pareto-optimal solutions obtained from sequential and simultaneous design approaches are presented, analyzed and compared. Results clearly highlight the advantage of using a single optimization loop for the whole system in order to improve mass and efficiency.

Lors de la phase de dimensionnement d’un générateur électrique, des choix préliminaires imposent généralement la topologie. Cette thèse a pour objectif d’apporter une aide décisionnelle au choix des structures de générateurs de fortes puissances. L’intérêt des machines à haute efficacité énergétique est porté par des objectifs environnementaux forts. En conséquence, maîtriser et comprendre l’origine des pertes dans les machines de production d’électricité est un enjeu capital. Ainsi, une méthodologie de calculs de pertes fer est développée pour des générateurs de fortes puissances.Dans les secteurs de la production et conversion d’énergie, les Machines Synchrones à Double Excitation présentent un fort potentiel pour répondre aux défis de la transition énergétique. Dès lors, il est important de quantifier l’impact de ces nouvelles structures par rapport aux solutions existantes. Cette thèse propose une modélisation par méthodes analytiques et semi-analytiques dans l’objectif de concevoir un ensemble de structures de générateurs. La modélisation est également comparée à deux prototypes de fortes puissances, dont un pour une application éolienne à attaque directe.Ensuite, cette modélisation est employée dans un processus de conception par optimisation. Les structures Pareto optimales sont comparées suivant différents cahiers des charges. Ces optimisations permettent de mettre en avant des gains significatifs par rapport aux solutions existantes notamment sur des données statistiques de fonctionnement éolien. / During the design phase of an electrical generator, the topology is generally imposed by preliminary criteria. This thesis aims at providing a decision support for the choice of high power generator structures. The interest for high efficiency machines is driven by strong environmental objectives. Consequently, understanding the origin of losses in power generation machines is a major issue. Thus, a methodology for iron loss calculation is developed for high power generators.In the energy production and conversion sectors, Hybrid Excitation Synchronous Machines have a great potential to respond to the challenges of energy transition. It is important to quantify the impact of these new structures compared with existing solutions. This thesis proposes analytical and lumped models to design a set of generator structures. The modeling approach is also compared with two high power generators, including one for a direct drive wind turbine. Then, this modeling is used in an optimization design process. The optimal Pareto structures are compared according to different specifications. These optimized designs show significant gains compared to the existing solutions, especially on wind profile from a Weibull probability density function.

La conception de systèmes embarqués modernes est de plus en plus complexe, car plus de fonctionnalités sont intégrées dans ces systèmes. En même temps, afin de répondre aux exigences de calcul tout en conservant une consommation d'énergie de faible niveau, MPSoCs sont apparus comme les principales solutions pour tels systèmes embarqués. En outre, les systèmes embarqués sont de plus en plus adaptatifs, comme l’adaptabilité peut apporter un certain nombre d'avantages, tels que la flexibilité du logiciel et l'efficacité énergétique. Cette thèse vise la conception sécuritaire de ces MPSoCs adaptatifs. Tout d'abord, chaque configuration de système doit être analysée en ce qui concerne ses propriétés fonctionnelles et non fonctionnelles. Nous présentons un cadre abstraite de conception et d’analyse qui permet des décisions d’implémentation plus rapide et plus rentable. Ce cadre est conçu comme un support de raisonnement intermédiaire pour les environnements de co-conception de logiciel / matériel au niveau de système. Il peut élaguer l'espace de conception à sa plus grande portée, et identifier les candidats de solutions de conception de manière rapide et efficace. Dans ce cadre, nous utilisons un codage basé sur l’horloge abstrait pour modéliser les comportements du système. Différents scénarios d'applications de mapping et de planification sur MPSoCs sont analysés via les traces d'horloge qui représentent les simulations du système. Les propriétés d'intérêt sont l’exactitude du comportement fonctionnel, la performance temporelle et la consommation d'énergie. Deuxièmement, la gestion de la reconfiguration de MPSoCs adaptatifs doit être abordée. Nous sommes particulièrement intéressés par les MPSoCs implémentés sur des architectures reconfigurables de hardware (ex. FPGA tissus) qui offrent une bonne flexibilité et une efficacité de calcul pour les MPSoCs adaptatifs. Nous proposons un cadre général de conception basésur la technique de la synthèse de contrôleurs discrets (SCD) pour résoudre ce problème. L’avantage principal de cette technique est qu'elle permet une synthèse d'un contrôleur automatique vis-à-vis d’une spécification donnée des objectifs de contrôle. Dans ce cadre, le comportement de reconfiguration du système est modélisé en termes d'automates synchrones en parallèle. Le problème de calcul de la gestion reconfiguration vis-à-vis de multiples objectifs concernant, par exemple, les usages des ressources, la performance et la consommation d’énergie est codé comme un problème de SCD . Le langage de programmation BZR existant et l’outil Sigali sont employés pour effectuer SCD et générer un contrôleur qui satisfait aux exigences du système. Finalement, nous étudions deux façons différentes de combiner les deux cadres de conception proposées pour MPSoCs adaptatifs. Tout d'abord, ils sont combinés pour construire un flot de conception complet pour MPSoCs adaptatifs. Deuxièmement, ils sont combinés pour présenter la façon dont le gestionnaire d'exécution conçu dans le second cadre peut être intégré dans le premier cadre de sorte que les simulations de haut niveau peuvent être effectuées pour évaluer le gestionnaire d'exécution. / The design of modern embedded systems is getting more and more complex, as more func- tionality is integrated into these systems. At the same time, in order to meet the compu- tational requirements while keeping a low level power consumption, MPSoCs have emerged as the main solutions for such embedded systems. Furthermore, embedded systems are be- coming more and more adaptive, as the adaptivity can bring a number of benefits, such as software flexibility and energy efficiency. This thesis targets the safe design of such adaptive MPSoCs. First, each system configuration must be analyzed concerning its functional and non- functional properties. We present an abstract design and analysis framework, which allows for faster and cost-effective implementation decisions. This framework is intended as an intermediate reasoning support for system level software/hardware co-design environments. It can prune the design space at its largest, and identify candidate design solutions in a fast and efficient way. In the framework, we use an abstract clock-based encoding to model system behaviors. Different mapping and scheduling scenarios of applications on MPSoCs are analyzed via clock traces representing system simulations. Among properties of interest are functional behavioral correctness, temporal performance and energy consumption. Second, the reconfiguration management of adaptive MPSoCs must be addressed. We are specially interested in MPSoCs implemented on reconfigurable hardware architectures (i.e., FPGA fabrics), which provide a good flexibility and computational efficiency for adap- tive MPSoCs. We propose a general design framework based on the discrete controller syn- thesis (DCS) technique to address this issue. The main advantage of this technique is that it allows the automatic controller synthesis w.r.t. a given specification of control objectives. In the framework, the system reconfiguration behavior is modeled in terms of synchronous parallel automata. The reconfiguration management computation problem w.r.t. multiple objectives regarding e.g., resource usages, performance and power consumption is encoded as a DCS problem. The existing BZR programming language and Sigali tool are employed to perform DCS and generate a controller that satisfies the system requirements. Finally, we investigate two different ways of combining the two proposed design frame- works for adaptive MPSoCs. Firstly, they are combined to construct a complete design flow for adaptive MPSoCs. Secondly, they are combined to present how the designed run-time manager by the second framework can be integrated into the first framework so that high level simulations can be performed to assess the run-time manager.

Les systèmes informatiques sont devenus de plus en plus distribués et hétérogènes, ce qui rend leur administration manuelle difficile et source d'erreurs. L'administration autonome a été proposée comme solution à ce problème. Elle consiste à automatiser l'administration des systèmes informatiques à l'aide de boucles de contrôle appelées gestionnaires autonomes. De nombreux travaux de recherche se sont intéressés à l'automatisation des fonctions d'administration de systèmes informatiques et aujourd'hui, beaucoup de gestionnaires autonomes sont disponibles. Toutefois, les gestionnaires autonomes existants sont, la plupart, spécialisés dans la gestion de quelques aspects d'administration. Cela rend nécessaire la coexistence de plusieurs gestionnaires autonomes pour atteindre une gestion globale des systèmes. La coexistence de plusieurs gestionnaires permet la gestion de plusieurs aspects, mais nécessite des mécanismes de coordination afin d'éviter des décisions incohérentes. Nous étudions l'utilisation de techniques de contrôle pour la conception de contrôleurs de coordination, nous utilisons la programmation synchrone qui fournit des méthodes formelles, et la synthèse de contrôleur discret pour automatiser la construction de contrôleur. Nous suivons une approche à base de composants, et utilisons le contrôle discret modulaire qui permet de décomposer la complexité combinatoire inhérente à la technique d'exploration d'espace d'états. Cela améliore le passage à l'échelle de notre approche et permet la construction d'un contrôle hiérarchique. Notre approche permet la réutilisation de gestionnaires complexes dans des contextes différents, sans modifier leurs spécifications de contrôle. Nous construisons une coordination de gestionnaires basée sur le modèle à composants offrant introspection, adaptabilité et reconfiguration. Cette thèse présente notre méthodologie et des études de cas. Nous évaluons et démontrons les avantages de notre approche par la coordination de gestionnaires autonomes dédiés à la gestion de la disponibilité, et à la gestion de la performance et l'optimisation de ressources. / Computing systems have become more and more distributed and heterogeneous, making their manual administration difficult and error-prone. The Autonomic Computing approach has been proposed to overcome this issue, by automating the administration of computing systems with the help of control loops called autonomic managers. Many research works have investigated the automation of the administration functions of computing systems and today many autonomic managers are available. However the existing autonomic managers are mostly specialized in the management of few administration concerns. This makes necessary the coexistence of multiple autonomic managers for achieving a global system management. The coexistence of several managers make possible to address multiple concerns, yet requires coordination mechanisms to avoid incoherent management decisions. We investigate the use of control techniques for the design of coordination controllers, for which we exercise synchronous programming that provide formal semantics, and discrete controller synthesis to automate the construction of the controller. We follow a component-based approach, and explore modular discrete control allowing to break down the combinatorial complexity inherent to the state-space exploration technique. This improves scalability of the approach and allows constructing a hierarchical control. It also allows re-using complex managers in different contexts without modifying their control specifications. We build a component-based coordination of managers, with introspection, adaptivity and reconfiguration. This thesis details our methodology and presents case-studies. We evaluate and demonstrate the benefits of our approach by coordinating autonomic managers which addresse the management of availability, and the management of performance and resources optimization.

Les machines électriques synchrones à aimants permanents sont susceptibles de rencontrer un disfonctionnement suite à un échauffement non maîtrisé. L’objectif de cette étude est de développer un modèle thermique générique et prédictif pouvant simuler diverses situations d’intérêts: régime permanent, régime transitoire, mode dégradé, entrefer immergé, haute vitesse. Pour cela, la méthode nodale est utilisée pour développer le modèle thermique générique. En parallèle, un banc d’essai et un prototype sont conçus pour valider le modèle. L’étude de sensibilité des résultats du modèle à certains paramètres montrent que certains coefficients de convection, certaines conductances de contact et la conductivité thermique radiale du bobinage ont une influence considérable sur les résultats du modèle. Cependant ces paramètres sont mal connus, car ils sont issus des formules empiriques ou des abaques. Grâce au prototype et au modèle développé, ces paramètres sont identifiés. Trois méthodes d’identification sont testées pour aboutir à une stratégie d’identification: les algorithmes génétiques, la méthode de Gauss-Newton et la méthode de Levenberg-Marquardt. Plusieurs essais sont effectués sur le prototype instrumenté. La mesure des températures à des lieux précis du prototype permet d’identifier les paramètres mal connus et de valider le modèle. / Permanent magnet synchronous machines are likely to break down due to poorly controlled heating. The goal of this study was to develop a generic and predictive thermal model to calculate the temperature of machines during the design phase simulating temperatures at various states. These states include: steady state, transient state, fault mode, axial circulating of a cooling fluid in the air-gap and high speed. The lumped parameter method was used to develop this generic thermal model. Meanwhile, a test bench and a prototype instrumented with thermocouples were manufactured to validate the model at the same time. Sensitivity studies of the results of the model to some parameters demonstrated that some convective coefficients, contact conductances and the thermal conductivity of the winding in the radial direction influenced the model. However, these parameters are poorly known, because empirical formulas or abacus are used to calculate them. Using, the prototype and the developed model, these parameters were identified. Three methods of identification were tested in order to find a strategy for the identification: the genetic algorithms method, the Gauss-Newton method and the Levenberg-Marquardt method. Many tests were done on the prototype. The measure of the temperatures on the specific place allows to identify these parameters and to validate the model.

Cette recherche relève du domaine de la didactique du FLE et de l'usage de la communication médiée par ordinateur [CMO], plus particulièrement du clavardage, outil de communication synchrone à base textuelle. Notre recherche se place dans une perspective interactionnelle et acquisitionnelle en L2 en mettant l'accent sur la construction des discussions entre participants lors de séances de clavardage. Le public étudié est composé d'étudiants de nationalités variées en master ou doctorat dans des universités en France, et qui souhaitent améliorer la langue qu'ils doivent utiliser en milieu académique. Notre analyse du « discours-en-interaction par clavardage » a pour but d'étudier les interactions en tenant compte des spécificités de l'outil et du contexte de la discussion. En premier lieu, nous examinons la structure des énoncés en L2 au niveau de l'utilisation du lexique, des structures complexes et des marques transcodiques. En deuxième lieu, nous analysons l'utilisation des topogrammes dans un contexte académique et leurs diverses fonctions. Cette analyse montre la manière dont les apprenants se focalisent à la fois sur l'objet thématique de la discussion et sur la résolution des obstacles linguistiques ou discursifs auxquels ils sont confrontés lors des échanges. En dernier lieu, nous étudions la manière dont les apprenants construisent et co-construisent les discussions par clavardage. Les énoncés que l'apprenant construit à partir des discours de ses différents interlocuteurs lui permettent, tout en alimentant ses compétences pragmatiques, d'approfondir le sujet en discussion. Nous examinons également comment les savoirs sur les pratiques académiques naissent et se transforment au fil des interactions. Nous cherchons à montrer à la fois le bénéfice de l'utilisation du clavardage pour la recherche sur la langue d'apprenants avancés et son intérêt comme outil po! ur favoriser l'appropriation d'une L2. / This is a research in the teaching and learning of French as a foreign language and the use of CMC [computer mediated communication] using synchronous text-based CMC [computer mediated communication], viz chat. We analyze the construction of discussions between foreign students with an interactional and acquisitional perspective in order to discover its specificities. The target audience is enrolled in a French university at advanced levels [Master, Ph D…] and needs to improve their French as used in an academic context. In a « discourse analysis in chat interactions », we focus on specificities of this communication tool and of the discussion context. We first show the structure of learners' utterances, their use of lexical items and complex structures, and the influence of their other languages on their productions in French. Then, we analyze the use of « topogrammes » in an academic context and their different functions. We thus sho! w how learners focus on the thematic object of the discussion and the solving of linguistic or discourse obstacles they were faced with during the exchanges. We also study the way in which the learners construct and co-construct the discussions. The messages that they construct from their interlocutors' discourses allow them to develop the theme into a discussion and to improve his pragmatic competences. Finally, we examine how knowledge about academic practices appears and evolves during the interactions. Our work shows the benefits of the use of the chat for linguistic research about advanced learners and its interest as a communication tool in L2 acquisition.

Le sujet de cette thèse concerne l’étude de dynamiques induites par des impulsions lasers femtosecondes intenses. La première dynamique étudiée porte sur l’alignement de la molécule de CO2, pure ou en mélange avec l’argon ou l’hélium, en phase gazeuse dense (jusqu’à 20 bar), ce régime n’ayant jamais été étudié expérimentalement auparavant. L’alignement moléculaire, quand il est induit par une impulsion laser femtoseconde et intense, présente deux contributions qui apparaissent après passage de l’impulsion : un alignement permanent et un alignement transitoire. L’influence des collisions se manifeste alors par des transferts de population entre états rotationnels qui ont pour conséquence de faire décroître ces deux contributions. Le temps de décroissance de l’alignement permanent est seulement lié aux collisions inélastiques tandis que le temps de décroissance de l’alignement transitoire est lié à la fois aux collisions inélastiques et élastiques. Nous montrons alors que la détermination expérimentale de la contribution des collisions élastiques, expérimentalement difficile d’accès, est possible à partir de l’analyse des traces d’alignement moléculaire. Cette analyse se base sur la modélisation des taux de transfert entre états liés aux collisions inélastiques par des lois semi-empiriques du type ECS-(E)P. La contribution élastique des collisions déterminée est en bon accord avec des valeurs calculées selon un modèle classique. La deuxième dynamique étudiée est la dépendance en éclairement de l’effet Kerr électronique. Nous poursuivons alors les travaux menés par Loriot et al. en 2009 qui ont montré que l’indice Kerr électronique saturait avant de s’annuler puis de présenter une contribution négative lorsqu’on augmente l’éclairement (inversion du signe pour quelques dizaines de térawatts par centimètre carré). Nous avons alors étendu cette étude en observant à une longueur d’onde de 400 nm (800 nm dans l’étude originale) cette inversion du signe de l’indice Kerr dans l’air. / This thesis is devoted to the study of dynamics induced by intense femtoseconds lasers pulses. The first studied dynamics deals with molecular alignment of CO2-X mixtures (X=CO2, Ar, N2), in dense gases (up to 20 bar). Up to now, this regime has never been studied experimentally. In the field-free regime (after laser/matter interaction), molecular alignment exhibits two components : a permanent alignment and a transient one. The influence of collisions appears through population transfers between rotational states, which leads to a decrease of these two contributions. Permanent alignment relaxation time is only tied to inelastics collisions whereas transient alignment relaxation time is tied to both inelastics and elastics ones. We show that the determination of the elastic collisions contribution (for which the experimental determination is uneasy), is then possible thanks to the analysis of molecular alignment measurements. This analysis is based on the modelling of inelastics rotational state-to-state transfer rates by ECS-(E)P semi-empirical laws. The elastic contribution of collisions is experimentally determined and happened to be in a good agreement with classically calculated ones. The second studied dynamics is the intensity dependence of the electronic Kerr effect. We pursue the works led by Loriot and al. in 2009 which showed that electronic Kerr index saturated, before nullifying and then presenting a negative contribution when the intensity increases (inversion of the sign for some tens of terawatts by square centimeter). We complete the previous study by performing similar measurements in air at 400 nm (800 nm in the original study).

Les ventes des fromages AOP subissent un affaiblissement. L’utilisation de ces fromages sous forme d’ingrédient représente une alternative intéressante à la dégustation et permettrait de maintenir une activité durable aux producteurs de ces fromages. L’objectif de ce travail est d’explorer les potentialités de 4 catégories de fromages à pâte persillée AOP du Massif-Central à être utilisés comme ingrédient à chaud pour répondre à des propriétés telles que « fondant, nappant, filant, gratinant». Les fonctionnalités recherchées pour ce type d’usage ont été prospectées à l’aide de méthodes physico-chimiques et instrumentales classiques mais également à l’aide de méthodes spectrales et sensorielles afin d’enrichir les observations de la macro et microstructure fromagère et de la perception du consommateur. Dans un premier temps, les caractéristiques physicochimiques, rhéologiques et sensorielles à froid et certaines propriétés à chaud ont été décrites pour les 4 catégories de fromages. Ces premiers résultats ont permis de cataloguer les fromages selon des caractéristiques essentiellement liées à l’organisation matricielle des composants tels que les protéines, les matières grasses, les minéraux. L’analyse sensorielle a permis de décrire précisément certaines propriétés à froid qui ne sont pas mises en évidence par d’autres analyses. Les pâtes persillées ont une grande hétérogénéité de pâte due à la présence de« veines » de moisissures. La seconde partie est une étude sur la capacité de la SFS en tant que méthode d’étude de la micro structure, à prédire la diversité de composition de ces fromages. Malgré la forte hétérogénéité des fromages, la SFS permet une « empreinte » identifiable des fromages et prédit certains mais pas la totalité des paramètres physicochimiques. L’évolution de la macro et microstructure de ces fromages au cours du chauffage et du refroidissement a ensuite été étudiée par SFS et par test de compression dynamique. Ces méthodes décrivent bien la fonte de la matière grasse et de la matrice fromagère. Elles sont corrélées entre elles et démontrent une relation entre la structure moléculaire et les propriétés rhéologiques de ces fromages. Une étude comparative des propriétés sensorielles des fromages a été menée à froid et après chauffage. Les attributs décrivent des caractéristiques de texture différentes entre les 2 conditions. Cette démarche a permis de bien différencier les 4 catégories de fromages et de mettre en évidence certains attributs de qualité ou de défaut pour une utilisation à chaud. En conclusion, ces 4 catégories de fromages à pâte persillée ont des potentialités à être utilisées comme ingrédient pour usage à chaud. L’analyse sensorielle a caractérisé les perceptions des consommateurs vis à vis de ces fromages chauffés et ainsi aider à préciser leurs fonctionnalités. Les analyses rhéologiques et spectrales ont apporté des explications liées à ce traitement au niveau de la macro et microstructure de la matrice fromagère. / Sales of PDO cheeses undergo a decline. The use of these cheeses in the form of ingredient represents an interesting alternative to the tasting and would allow to maintain a sustainable business activity to the producers of these cheeses. The objective of this work is to investigate the potentialities of four categories of Blue cheese PDO of the Massif Central as an ingredient to meet their properties during heating such as "melting, stretchability, browning". The functional properties desired for this type of cheese have been investigated by physico-chemical methods and instrumental classics and also by spectral method and sensory evaluations to enrich the observations of the macro and microstructure of the cheese and the consumer perception. First, the physicochemical, rheological, sensory characteristics and certain properties during heating have been reported for four categories of Blue cheese. These initial results allowed us to characterize the cheese studied according to their characteristics essentially which were related to the organization matrix constitutes such as proteins, fats, minerals. The sensory analysis allowed to describe exactly certain properties which are not revealed by theother analyses. Blue-veined cheeses have a great heterogeneity due to the presence of "veins" of mold. The second part is a study on the ability of the SFS method to study the micro structure and to predict the diversity of composition of these cheeses. Despite the high heterogeneity of cheeses, SFS allows an identifiable 'fingerprint' of cheese and predicts some but not the totality of the physicochemical parameters. The evolution of the macro-and microstructure of these cheeses during heating and cooling was then studied by SFS and dynamic shear test. These methods describe well the melting temperature of the fat and the cheese matrix. They are correlated between them and demonstrate a relationship between the molecular structure and the rheological properties of these cheeses. A comparative study of the sensory textural properties of cheeses was carried out in the non- and heated forms. The attributes describe different characteristics of texture between the two conditions. This approach allowed to differentiate well the four categories of cheeses and to highlight on certain attributes of quality or defects to be used in cooking application. In conclusion, these four categories of Blue-veined cheeses have the potential to be used as an ingredient in cooking application. The sensory analysis characterized the perceptions of the consumers in both non- and heated forms and thus helps to specify their features. The rheological and spectral analyses have provided explanations related to this treatment at the level of the macro and microstructure of the cheese matrix.

Cette thèse traite de systèmes embarqués contrôlés par un ensemble de processus périodiques non synchronisés. Chaque processus est activé quasi-périodiquement, c'est-à-dire périodiquement avec une gigue bornée. Les délais de communication sont également bornés. De tels systèmes réactifs, appelés 'quasi-périodiques', apparaissent dès que l'on branche ensemble deux processus périodiques. Dans la littérature, ils sont parfois qualifiés de systèmes distribués temps-réels synchrones. Nous nous intéressons aux techniques de conception et d'analyse de ces systèmes qui n'imposent pas de synchronisation globale. Les langages synchrones ont été introduits pour faciliter la conception des systèmes réactifs. Ils offrent un cadre privilégié pour programmer, analyser, et vérifier des systèmes quasi-périodiques. En s'appuyant sur une approche synchrone, les contributions de cette thèse s'organisent selon trois thématiques: vérification,implémentation, et simulation des systèmes quasi périodiques.Vérification: 'L'abstraction quasi-synchrone' est une abstraction discrète proposée par Paul Caspi pour vérifier des propriétés de sûreté des systèmes quasi-périodiques. Nous démontrons que cette abstraction est en général incorrecte et nous donnons des conditions nécessaires et suffisantes sur le graphe de communication et les caractéristiques temps-réel de l'architecture pour assurer sa correction. Ces résultats sont ensuite généralisés aux systèmes multi-périodiques.Implémentation: Les 'LTTAs' sont des protocoles conçus pour assurer l'exécution correcte d'une application sur un système quasi-périodique. Nous proposons d'étudier les LTTA dans un cadre synchrone unifié qui englobe l'application et les contrôleurs introduits par les protocoles. Cette approche nous permet de simplifier les protocoles existants, de proposer des versions optimisées, et de donner de nouvelles preuves de correction. Nous présentons également dans le même cadre un protocole fondé sur une synchronisation d'horloge pour comparer les performances des deux approches.Simulation: Un système quasi-périodique est un exemple de modèle faisant intervenir des caractéristiques temps-réels et des tolérances. Pour ce type de modèle non déterministe, nous proposons une 'simulation symbolique', inspirée des techniques de vérification des automates temporisés. Nous montrons comment compiler un modèle mêlant des composantes temps-réel non déterministes et des contrôleurs discrets en un programme discret qui manipule des ensembles de valeurs. Chaque trace du programme résultant capture un ensemble d'exécutions possibles du programme source. / In this thesis we study embedded controllers implemented as sets of unsynchronized periodic processes. Each process activates quasi-periodically, that is, periodically with bounded jitter, and communicates with bounded transmission delays. Such reactive systems,termed 'quasi-periodic', exist as soon as two periodic processes areconnected together. In the distributed systems literature they arealso known as synchronous real-time models. We focus on techniquesfor the design and analysis of such systems without imposing a globa lclock synchronization. Synchronous languages were introduced as domain specific languages for the design of reactive systems. They offer an ideal framework to program, analyze, and verify quasi-periodic systems. Based on a synchronous approach, this thesis makes contributions to the treatment of quasi-periodic systems along three themes: verification,implementation, and simulation.Verification: The 'quasi-synchronous abstraction' is a discrete abstraction proposed by Paul Caspi for model checking safety properties of quasi-periodic systems. We show that this abstractionis not sound in general and give necessary and sufficient conditionson both the static communication graph of the application and the real-time characteristics of the architecture to recover soundness. We then generalize these results to multirate systems.Implementation: 'Loosely time-triggered architectures' are protocols designed to ensure the correct execution of an application running on a quasi-periodic system. We propose a unified framework that encompasses both the application and the protocol controllers. This framework allows us to simplify existing protocols, propose optimized versions, and give new correctness proofs. We instantiate our framework with a protocol based on clock synchronization to compare the performance of the two approaches.Simulation: Quasi-periodic systems are but one example of timed systems involving real-time characteristics and tolerances. For such nondeterministic models, we propose a 'symbolic simulation' scheme inspired by model checking techniques for timed automata. We show how to compile a model mixing nondeterministic continuous-time and discrete-time dynamics into a discrete program manipulating sets of possible values. Each trace of the resulting program captures a set of possible executions of the source program.

The field of statistical machine translation has made tremendous progress due to the rise of statistical methods, making it possible to obtain a translation system automatically from a bilingual collection of text. Some approaches do not even need any kind of linguistic annotation, and can infer translation rules from raw, unannotated data. However, most state-of-the art systems do linguistic structure little justice, and moreover many approaches that have been put forward use ad-hoc formalisms and algorithms. This inevitably leads to duplication of effort, and a separation between theoretical researchers and practitioners. In order to remedy the lack of motivation and rigor, the contributions of this dissertation are threefold: 1. After laying out the historical background and context, as well as the mathematical and linguistic foundations, a rigorous algebraic model of machine translation is put forward. We use regular tree grammars and bimorphisms as the backbone, introducing a modular architecture that allows different input and output formalisms. 2. The challenges of implementing this bimorphism-based model in a machine translation toolkit are then described, explaining in detail the algorithms used for the core components. 3. Finally, experiments where the toolkit is applied on real-world data and used for diagnostic purposes are described. We discuss how we use exact decoding to reason about search errors and model errors in a popular machine translation toolkit, and we compare output formalisms of different generative capacity.