La surveillance des structures de génie civil, afin d'en estimer l'état de santé, est un enjeu majeur pour les maîtres d'ouvrages. Les systèmes de mesures réparties par fibre optique, composés d'un interrogateur connecté à une fibre optique intégrée dans un câble, permettent de mesurer le profil de déformation avec un pas de mesure centimétrique et une portée kilométrique. Ils sont donc adaptés aux structures présentant de grands linéaires ou de grandes surfaces. Mais, avant tout déploiement industriel, il est nécessaire d'en évaluer leurs performances. Du fait de la déformation par cisaillement du revêtement du câble, le profil de déformation mesuré le long de la fibre optique n'est pas strictement identique à celui du matériau environnant. Une méthode, basée sur la mise en œuvre d'essais et de simulations numériques, a été développée afin de caractériser les mécanismes de transfert d'effort du milieu hôte à la fibre optique à travers le revêtement du câble. Cette méthode a été appliquée pour déterminer la réponse mécanique d'un câble particulier noyé dans le béton. Les performances métrologiques d'un système de mesure donné ont été évaluées sur la base d'une analyse d'essais " du laboratoire au terrain ". Cette étude a permis de quantifier les différentes composantes d'incertitude et d'estimer les performances du système de mesure complet. Enfin, le câble, noyé dans le béton, ne peut être remplacé. La connaissance de l'impact du vieillissement sur la réponse mécanique du câble est donc primordiale. Une étude spécifique est menée dont le but est d'estimer la durabilité du câble face aux sollicitations chimique, thermique et mécanique correspondant à une application donnée

La diffusion des ions et des radionucléides au sein des matériaux cimentaires est l'un des facteurs les plus importants qui déterminent la durabilité et les propriétés de confinement de ces matériaux. Cette étude s'inscrit, en particulier, dans le domaine de confinement des déchets radioactifs de faible et moyenne activité. Elle consiste à mettre en évidence l'influence de la microstructure des mortiers, notamment la présence des granulats, sur la diffusion de l'eau tritiée au sein de ces matériaux. La démarche consiste, dans un premier temps, à sélectionner des formulations de mortiers à base de CEM I afin d'étudier l'influence de la teneur en granulats, de la granulométrie et du rapport eau/ciment sur les paramètres de diffusion. Des différentes techniques expérimentales complémentaires ont été utilisées afin de caractériser la structure poreuse : porosimétrie à l'eau, porosimétrie mercure, perte au feu et imagerie MEB associée à l'analyse d'image. Dans ce contexte, un protocole d'analyse d'images a été mis en place afin de quantifier la porosité à l'interface granulat/pâte. Le lien entre les propriétés de la microstructure et les paramètres de transport a été ensuite examiné. Pour cela, des essais de diffusion à l'eau tritiée (HTO) ont été conduits et des corrélations entre les paramètres de la microstructure et le transport ont été réalisées. Enfin, afin de mettre en avant le rôle des phases mésoscopiques (Matrice/granulats/ITZ) dans le mécanisme de diffusion un modèle 3D a été développé et des calculs de diffusivités équivalentes ont été effectués. La présente étude confirme la présence d'une interface granulat/pâte au voisinage des grains de sable siliceux. Cette auréole de transition (ITZ) se caractérise par une épaisseur qui varie entre 10 et 20 µm et une porosité environ trois fois plus grande que celle de la matrice cimentaire. En dessous de 55% de sable normalisé, l'effet de cette interface sur les propriétés macroscopiques de transport est faible. En effet, l'effet de dilution et de tortuosité liés aux granulats reste dominant. Par conséquent, les données acquises à l'échelle de pâte de ciment restent valables et sont extrapolable à l'échelle des mortiers. Ces résultats ont été confirmés par les calculs analytiques et numériques de la diffusivité homogénéisée. Au-delà de 55% de sable normalisé, d'autres effets liés au grands nombre de grains de sable rentrent en jeu comme les bulles d'air et les taches poreuses dus principalement à la difficulté d'obtenir des matériaux bien compactés. Ceci rend ces formulations extrêmes et ne permettent pas d'approfondir notre compréhension du lien entre la microstructure et les propriétés de transport au-delà de cette teneur en sable

Une modélisation récente, qualifiée de multiphasique, permettant de décrire le comportement des ouvrages en sols renforcés par inclusions a été développée et intégrée dans un code de calcul par éléments finis. Le champ d'application de cette approche a été étendu pour rendre compte du comportement macroscopique de matériaux à fibres tels que le plâtre, le béton de fibres, les ouvrages en sol renforcés par des fibres et les tissus osseux qui présentent une microstructure constituée d'une matrice et d'une distribution de fibres plus ou moins longues orientées dans toutes les directions de l'espace. Cette approche est d'abord mise en œuvre pour déterminer le comportement élastique du composite à fibre, les résultats obtenus sont comparés à ceux fournis par les schémas d'estimation dilué et de Mori Tanaka, basés sur la solution d'Eshelby, la suite de ce travail est consacrée au développement du modèle dans le cadre d'un comportement anélastique des constituants. Des solutions analytiques ont été développées permettant de retrouver le comportement macroscopique des matériaux à fibres sous certaines sollicitations simples dans le cadre d'un comportement élasto-plastique ou élastique-fragile des différents constituants. Le modèle est par la suite mis en œuvre numériquement dans le cadre de la méthode des éléments finis permettant d'accéder à la réponse de structures en matériaux à fibres

L'identification du comportement des polymères et notamment des élastomères reste un problème délicat. Dans ce travail, nous proposons une méthode d'identification qui associe la mesure de champ de déformation par analyse d'images avec l'optimisation d'un champ de contraintes adapté à l'essai. L'essai retenu est un étirage biaxial réalisé sur une éprouvette en forme de croix. L'approche proposée transforme l'inconvénient de l'hétérogénéité en avantage puisqu'il permet de réaliser l'identification simultanée sur plusieurs états de déformation : typiquement traction uniaxiale, plane et biaxiale. Le champ de contrainte est approché par la somme d'un champ homogène et d'un champ complémentaire vérifiant les conditions de bords libres et qui décroît lorsqu'on pénètre dans l'échantillon. La longueur caractéristique de la décroissance est optimisée de telle sorte que le champ approché vérifie au mieux les équations d'équilibre. En combinant l'analyse d'images avec le champ de contrainte optimisé, on identifie le potentiel hyperélastique en calculant explicitement les deux dérivées f=∂W/∂I1 et g=∂W/∂I2 où et sont les deux 1er invariants du tenseur de Cauchy droit. Enfin, un algorithme spécifique est mis en oeuvre par éléments finis pour une simulation 2D des matériaux hyperélastiques incompressibles. Cet algorithme est utilisé pour valider l'identification en comparant les résultats de la simulation et ceux de l'expérience

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.

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.

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.

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.