La modification de la structure des matériaux par Détente Instantanée Contrôlée (DIC), implique nécessairement un processus d'autovaporisation instantanée en conditions thermodynamiques extrêmes de surchauffe du liquide. Les divers processus DIC de modification de la structure par expansion contrôlée, d'extraction et de refroidissement instantané sont d'un intérêt particulier. Les conditions opératoires et les caractéristiques spécifiques du produit interagissent mutuellement pour aboutir au meilleur résultat, principalement en termes de texture. Les modifications des caractéristiques structurelles généralement traduites par des taux d'expansion du produit, dépendent donc des conditions opératoires et des propriétés thermiques et rhéologiques de la matière. De nombreuses études initiales ont montré l'intérêt de déterminer l'évolution des divers processus à travers un suivi et un enregistrement instantané des images, des températures et de la pression à l'échelle de 1000 unités par seconde ; il a ainsi été indispensable de mettre en opération une caméra ultra rapide à 1000 images / s, des capteurs de température et de pression à temps de réponse de l'ordre du ms, placés dans le réacteur et au sein du produit. Une analyse fondamentale a prouvé l'importance de la thermodynamique, du transfert et de la problématique d'expansion pendant le traitement. L'analyse des expériences est réalisée par la détermination des taux d'expansion, surfacique et volumique, de la durée du processus d'expansion proprement dite, de l'analyse des caractéristiques micro-structurelles par MEB, mais principalement par la détermination de la température de transition vitreuse, de la différence de température minimale et d'ébullition, et du taux d'échange de chaleur. Plusieurs produits ont été étudiés (fromage, tofu, pomme, pomme de terre, carotte et banane). Des essais préliminaires adéquats ont permis d'identifier les domaines de variation des paramètres opératoires et d'adopter la méthode des plans d'expériences rota tables à cinq niveaux pour quantifier les diverses réponses nécessaires.

Security is a critical concern for any information system. Security properties such as confidentiality, integrity and availability need to be enforced in order to make systems safe. In complex environments, where information systems are composed by a number of heterogeneous subsystems, each subsystem plays a key role in the global system security. For the specific case of access-control, access-control policies may be found in several components (databases, networksand applications) all, supposedly, working together. Nevertheless since most times these policies have been manually implemented and/or evolved separately they easily become inconsistent. In this context, discovering and understanding which security policies are actually being enforced by the information system comes out as a critical necessity. The main challenge to solve is bridging the gap between the vendor-dependent security features and a higher-level representation that express these policies in a way that abstracts from the specificities of concrete system components, and thus, it's easier to understand and reason with. This high-level representation would also allow us to implement all evolution/refactoring/manipulation operations on the security policies in a reusable way. In this work we propose such a reverse engineering and integration mechanism for access-control policies. We rely on model-driven technologies to achieve this goal.

Dans cette thèse, nous nous sommes intéressés à l'étude mathématique de la sensibilité paramétrique de la méthode de réduction de modèles par projection connue sous le nom de POD pour Proper Orthogonal Decomposition. Dans beaucoup d'applications de la mécanique des fluides,la base de projection (base POD) calculée à un paramètre caractéristique fixe du problème de Navier-Stokes, est utilisée à la suite pour construire des modèles d'ordre réduit ROM-POD pour d'autres valeurs du paramètre caractéristique. Alors, la prédiction du comportement de ce ROM-POD vis-à-vis du problème initial est devenue cruciale. Pour cela, nous avons discuté cette problématique d'un point de vue mathématique. Nous avons établi des résultats mathématiques de sensibilité paramétrique des erreurs induites par application de la méthode ROM-POD. Plus précisément, notre approche est basée sur l'établissement d'estimations a priori de ces erreurs paramétriques, en utilisant les méthodes énergétiques classiques. Nos résultats sont démontrés pour les deux problèmes de type Burgers et Navier-Stokes. Des validations numériques de ces résultats mathématiques ont été faites uniquement pour le problème de type Burgers.

La complexité arithmétique est l'étude des ressources nécessaires pour calcu- ler des polynômes en n'utilisant que des opérations arithmétiques. À la fin des années 70, Valiant a défini (de manière semblable à la complexité booléenne) des classes de polynômes. Les polynômes, ayant des circuits de taille polyno- miale, considérés faciles forment la classe VP. Les sommes exponentielles de ces derniers correpondent alors à la classe VNP. L'hypothèse de Valiant est la conjecture que VP ̸= VNP.Bien que cette conjecture soit encore grandement ouverture, cette dernière semble toutefois plus accessible que son homologue booléen. La structure algé- brique sous-jacente limite les possibilités de calculs. En particulier, un résultat important du domaine assure que les polynômes faciles peuvent aussi être cal- culés efficacement en paralèlle. De plus, quitte à autoriser une augmentation raisonnable de la taille, il est possible de les calculer avec une profondeur de calcul bornée par une constante. Comme ce dernier modèle est très restreint, de nombreuses bornes inférieures sont connues. Nous nous intéresserons en premier temps à ces résultats sur les circuits de profondeur constante.Bürgisser a montré qu'une conjecture (la τ-conjecture) qui borne supérieu- rement le nombre de racines de certains polynômes univariés, impliquait des bornes inférieures en complexité arithmétique. Mais, que se passe-t-il alors, si on essaye de réduire, comme précédemment, la profondeur du polynôme consi- déré? Borner le nombre de racines réelles de certaines familles de polynômes permetterait de séparer VP et VNP. Nous étudierons finalement ces bornes su- périeures sur le nombre de racines réelles.

Le principal objectif de ce travail de recherche est de contribuer à la définition et optimisation de procédés traditionnels de séchage et congélation des piments, afin de valoriser ces produits tout en gardant leur qualité. Dans le cas du procédé de séchage, l'étude fondamentale des principaux phénomènes de transferts qui se produisent pendant cette opération, ainsi que l'identification des processus limitant, ont montré que malgré la simultanéité temporelle des processus de transfert de matière et de chaleur, leur action couplée sur l'élément moteur de l'opération est de type de causalité en série. C'est ainsi que, lors du séchage par entraînement du produit, le transfert de matière interne correspond au phénomène limitant. De cette manière, afin d'intensifier l'opération de séchage, le procédé " swell drying ", couplage du séchage par air chaud à la technologie de Détente Instantanée Contrôlée (DIC), a été étudié. L'application du procédé " swell drying " sur les piments, a permis d'améliorer les cinétiques de séchage à travers l'augmentation de la diffusivité effective de l'eau et l'accessibilité initiale de la surface des produits. De même, grâce à la nouvelle structure expansée, ce procédé a permis d'augmenter la durée de vie des produits secs à travers la réduction de l'activité de l'eau et l'augmentation de la surface spécifique. Par ailleurs, les propriétés fonctionnelles (habilité de réhydratation et capacité de rétention d'eau) et les propriétés nutritionnelles (contenu d'antioxydants et capacité antioxydant) ont été aussi améliorées. Dans le respect du procédé de congélation traditionnel, et pour l'intensifier, une étape de séchage partiel, suivi du traitement DIC avant la congélation a été proposée. Ce couplage a permis d'augmenter l'extraction des antioxydants ainsi que leur capacité antioxydante, en état plus remarquable dans le cas de flavonoïdes. Finalement, avec ces résultats, il peut être conclu que le procédé DIC couplé au séchage par convection et à la congélation peut jouer un rôle important pour la valorisation et transformation des piments.

Les noyaux de systèmes d'exploitation manipulent des données fournies par les programmes utilisateur via les appels système. Si elles sont manipulées sans prendre une attention particulière, une faille de sécurité connue sous le nom de Confused Deputy Problem peut amener à des fuites de données confidentielles ou l'élévation de privilèges d'un attaquant. Le but de cette thèse est d'utiliser des techniques de typage statique afin de détecter les manipulations dangereuses de pointeurs contrôlés par l'espace utilisateur. La plupart des systèmes d'exploitation sont écrits dans le langage C. On commence par en isoler un sous-langage sûr nommé Safespeak. Sa sémantique opérationnelle et un premier système de types sont décrits, et les propriétés classiques de sûreté du typage sont établies. La manipulation des états mémoire est formalisée sous la forme de lentilles bidirectionnelles, qui permettent d'encoder les mises à jour partielles des états et variables. Un première analyse sur ce langage est décrite, permettant de distinguer les entiers utilisés comme bitmasks, qui sont une source de bugs dans les programmes C.

Aspect-oriented programming (AOP) aims to enhance modularity and reusability in software systems by offering an abstraction mechanism to deal with crosscutting concerns. But, in most general-purpose aspect languages aspects have almost unrestricted power, eventually conflicting with these goals. This work presents Effective Aspects: a novel approach to embed the pointcut/advice model of AOP in a statically-typed functional programming language like Haskell; along two main contributions. First, we define a monadic embedding of the full pointcut/advicemodel of AOP. Type soundness is guaranteed by exploiting the underlying type system, in particular phantom types and a new anti-unification type class. In this model aspects are first-class, can be deployed dynamically, and the pointcut language is extensible, therefore combining the flexibility of dynamically-typed aspect languages with the guarantees of a static type system. Monads enable us to directly reason about computational effects both in aspects and base programs using traditional monadic techniques. Using this we extend the notion of Open Modules with effects, and also with protected pointcut interfaces to external advising. These restrictions are enforced statically using the type system. Also, we adapt the techniques of EffectiveAdvice to reason about and enforce control flow properties as well as to control effect interference. We show that the parametricity-based approach to effect interference falls short in the presence of multiple aspects and propose a different approach using monad views, a novel technique for handling the monad stack, developed by Schrijvers and Oliveira. Then, we exploit the properties of our model to enable the modular construction of new semantics for aspect scoping and weaving. Our second contribution builds upon a powerful model to reason about mixin-based composition of effectful components and their interference, based on equational reasoning, parametricity, and algebraic laws about monadic effects. Our contribution is to show how to reason about interference in the presence of unrestricted quantification through pointcuts. We show that global reasoning can be compositional, which is key for the scalability of the approach in the face of large and evolving systems. We prove a general equivalence theorem that is based on a few conditions that can be established, reused, and adapted separately as the system evolves. The theorem is defined for an abstract monadic AOP model; we illustrate its use with a simple version of the model just described. This work brings type-based reasoning about effects for the first time in the pointcut/advice model, in a framework that is expressive, extensible and well-suited for development of robust aspect-oriented systems as well as a research tool for new aspect semantics.

L'optique adaptative classique est limitée par l'anisoplanétisme. Pour remédier à cette limitation, de nouveaux concepts, appelés optiques adaptatives grand champ, ont été développés. Ces systèmes analysent la turbulence atmosphérique dans le volume, ce qui accroît le champ de correction. Ces techniques requièrent une connaissance précise du profil de Cn2. Mon étude consiste à valider sur le ciel une nouvelle technique de mesure du profil de Cn2, appelée CO-SLIDAR, à partir des corrélations des mesures de pentes et de scintillation réalisées avec un analyseur Shack-Hartmann sur étoile binaire. Elle s'organise autour de deux grands axes. On réalise d'abord une simulation bout-en-bout de la reconstruction du profil de Cn2 dans un cas concret d'observation astronomique. On peut ainsi étudier l'impact des différentes sources d'erreur sur la reconstruction du profil de Cn2. Ceci nous permet d'améliorer la procédure d'estimation du profil de Cn2, en prenant en compte les bruits de détection. La deuxième partie de mon étude se consacre à la validation expérimentale. On dimensionne et caractérise en laboratoire un banc d'acquisition, le banc ProMeO. Ceci conduit à une bonne connaissance du fonctionnement du banc et nous permet de corriger certains effets instrumentaux. Le banc ProMeO est finalement couplé au télescope MeO de 1,5 m de diamètre. Les données acquises permettent une reconstruction du profil de Cn2, du sol jusqu'à 17 km, avec une résolution de 600 m. Les profils obtenus par la méthode CO-SLIDAR sont comparés avec succès à des profils issus de données météorologiques. L'ensemble de ces travaux constitue la première validation sur le ciel de la méthode CO-SLIDAR.

The domain wall dynamics is used in many spintronic devices based on the uniaxial ferromagnetic wires to transport and store information. Therefore, the domain wall velocity is one of the main parameters that determine the operation speed of these devices. Recently, a big attention is being paid to amorphous glass-coated microwires due to the very high domain wall velocities that reach up to 20 km/s. In this work, the fast domain wall propagation in amorphous glass-coated microwires was found in the presence of two main factors: (i) relatively low magnetic anisotropy, (ii) complex geometry of magnetic anisotropies given by internal distribution of mechanical stresses. The domain wall dynamics was examined in amorphous glass-coated microwires of reduced diameter down to 1 μm. It was shown, that the domain wall dynamics in these wires is the same as in wires of bigger diameter. It proves that the high domain wall velocities in microwires are not the effect of microwire diameter value. The direct observation of the surface domain wall structure by use of MOKE microscope confirmed that the domain wall is inclined relatively to the main axis. A new method for magneto-optical observation of the samples with cylindrical geometry was proposed. The inclined structure of the domain wall was found to be partially responsible for the high apparent domain wall velocity measured by the Sixtus-Tonks method in microwires.

Les actionneurs électromécaniques sont de plus en plus utilisés dans le domaine de la motorisation. Particulièrement, ils sont employés pour contrôler la boucle d'air du moteur Diesel. De tels actionneurs ont généralement une structure interne très complexe dont les caractéristiques sont protégées par des conventions de confidentialité. Notre travail dans cette thèse vise, en premier, à élaborer des procédures de modélisation et d'identification en prenant en compte une seule source de non linéarité, à savoir les frottements. Deux classes d'actionneurs sont ainsi étudiées et quatre procédures d'identification sont introduites permettant l'estimation des paramètres des systèmes et les coefficients des forces de frottement. Les résultats obtenus sont ensuite utilisés pour développer des simulateurs sous Simulink-MATLAB et AMESim dont la dynamique est expérimentalement validée via LabVIEW. Afin d'évaluer la dégradation des performances due au processus de vieillissement, la seconde partie du travail consiste en la réalisation des études de sensibilité quantifiant l'impact des variations paramétriques sur la réponse des actionneurs. Les techniques d'ANOVA (analyse des variances) et des plans d'expériences sont appliquées, en boucle ouverte et en boucle fermée, aux actionneurs étudiés. Les résultats issus des deux techniques sont cohérents permettant ainsi de valider les études réalisées.La dernière partie du travail a pour objectif l'élaboration de lois de commande robuste vis-à-vis des perturbations et des incertitudes de modélisation. Ainsi, trois stratégies de contrôle sont utilisées : PI-Flou (PI-Fuzzy controller), l'IDA-PBC (Interconnection and Damping Assignment - Passivity Based Control) et le backstepping. Les trois contrôleurs sont testés en présence et en absence d'incertitudes. Leur performance est démontrée en simulation en utilisant Simulink-MATLAB, et expérimentalement via LabVIEW.