Search

La conservation des œuvres peintes sur toile est intimement liée à la connaissance de leurs propriétés physico-mécaniques. Pour développer des outils d’évaluation tels que « le degré de vulnérabilité et les risques de dégradation mécaniques des peintures », l’usage d’essais mécaniques est inévitable. Ce travail regroupe une série d’études qui met en évidence l’importance de cette approche systémique. The conservation of paintings on canvas is closely associated with the understanding of their physico-mechanical properties. Using mechanical testing is essential when developing tools to assess the level of vulnerability and risks of mechanical degradation in paintings. This paper addresses a series of studies highlighting the need of a systemic approach to decision-making for structural treatments.

Computers are ubiquitous. We trust them for a huge and increasing number of tasks, some critical. Consequences of software defects are various, from little annoyances to the loss of multiple lives. Hence, ensuring software reliability is instrumental.Fixing bugs is a very time-consuming activity of the software development cycle. In this thesis, we present interactive runtime verification (i-RV), which combines runtime verification and interactive debugging. Runtime verification is a formal method to study the behavior of a system at runtime. It consists in matching runtime traces of a system at runtime against behavioral properties. These properties are part of the system specification. Interactive debugging consists in studying a system at runtime in order to understand its bugs and fix them, inspecting its internal state interactively. Interactive runtime verification aims to make interactive debugging less tedious and more systematic by leveraging the rigorous and automated aspects of runtime verification. We aim to ease the debugging part of the software development cycle. We define an efficient and convenient way to check behavioral properties automatically on a program using an interactive debugger. We gather bug detection and bug understanding in an integrated workflow, by guiding interactive debugging using runtime verification.We provide a formal model for interactively runtime verified programs. We model the execution of a program under a debugger composed with a monitor (for verdict emission) and a scenario (for steering the debugging session). We provide guarantees on the soundness of the verdicts issued by the monitor by exhibiting a weak simulation (relation) between the initial program and the interactively runtime verified program. Moreover, we provide an algorithmic view of this model suitable for producing implementations. We then introduce a distributed and adaptive framework for interactive runtime verification. It allows checking several requirements simultaneously and debugging a distributed system composed of communicating processes. The monitors, the scenario and the debugged programs themselves run distributed using an orchestrating protocol which we verified using the SPIN model checker. Our distributed framework is designed to adapt to existing components.We present Verde, an implementation of interactive runtime verification. A first version is based on the GNU Debugger (GDB) to interactively runtime verify C and C++ programs. A second version, Dist-Verde, is an implementation of our distributed framework compatible with C and C++ programs through GDB and Java programs through JDB, the Java Debugger.We report on experiments using Verde assessing the usefulness of interactive runtime verification and the performance of our implementation. Our results show that interactive runtime verification is applicable in a variety of cases and helps to study bugs.; Les ordinateurs sont partout. Nous leur faisons confiance pour un grand, et grandissant, nombre de tâches, parmi lesquelles certaines sont critiques. Les conséquences des bogues logiciels sont diverses, de l'agacement léger à la mort de plusieurs personnes. Ainsi, il est important de s'assurer que les logiciels sont fiables.Corriger les bogues est une activité très chronophage du processus de développement logiciel. Dans cette thèse, nous présentons la vérification interactive à l'exécution, qui combine la vérification à l'exécution et le débogage interactif. La vérification à l'exécution est une méthode formelle pour étudier le comportement d'un système à l'exécution. Elle consiste à faire correspondre des traces d'exécutions d'un système avec des propriétés comportementales. Ces propriétés font partie des spécifications du système. Le débogage interactif consiste à étudier un système durant son exécution pour comprendre ses bogues et les corriger en inspectant interactivement son état interne. La vérification interactive à l'exécution a pour objectif de rendre le débogage interactif moins fastidieux et plus systématique en s'appuyant sur les aspects automatiques et rigoureux de la vérification à l'exécution. Nous avons pour but de faciliter la partie débogage du processus de développement logiciel. Nous définissons une manière efficace et pratique de vérifier des propriétés comportementales automatiquement sur un programme en utilisant un débogueur interactif. Nous rassemblons la détection et la compréhension de bogues dans une méthodologie intégrée, en guidant le débogage interactif avec la vérification à l'exécution.Nous fournissons un modèle formel pour les programmes vérifiés interactivement à l'exécution. Nous modélisons l'exécution d'un programme en train d'être débogué, composé avec un moniteur (pour l'émission de verdicts) et un scénario (pour conduire la session de débogage). Nous fournissons des garanties sur la validité des verdicts produits par le moniteur en nous appuyant sur une relation de simulation faible entre le programme initial et le programme vérifié interactivement. De plus, nous fournissons une vue algorithmique du modèle adaptée à l'écriture d'implémentations. Nous introduisons ensuite un cadre et une architecture distribuée pour la vérification interactive à l'exécution. Cela permet de vérifier plusieurs propriétés simultanément et de déboguer un système distribué, composé de multiples processus communicants. Les moniteurs, le scénario et les programmes débogués eux-mêmes s'exécutent de façon distribuée en utilisant un protocole que nous avons vérifié avec le vérificateur de modèles SPIN. Notre architecture distribuée est conçue pour s'adapter à des composants existants.Nous présentons Verde, une implémentation de la vérification interactive à l'exécution. Une première version est basée sur le débogueur GNU (GDB) pour vérifier interactivement des programmes C et C++. Une deuxième version, Dist-Verde, est une implémentation de notre architecture distribuée compatible avec les programmes C et C++ à travers GDB et les programmes Java à travers JDB, le débogueur Java.Nous présentons des expérimentations en utilisant Verde, évaluant l'utilité de l'approche et les performances de notre implémentation. Nos résultats montrent que la vérification interactive à l'exécution est applicable dans une variété de cas et aide à étudier les bogues.

An acoustic foam is utilized increasingly in industrial by replacing the fibrous layer because of particularly a health reason. Its acoustic properties depend heavily on its microstructures (pore size's distribution , membrane presence). The aim of this work is to study the influence of an extended of pore size's distribution on its properties acoustic and elastic. The microstructure of the acoustic foam is created in three steps. Firstly, by using the discrete element method, a random stack of sphere is generated. After that, a tessellation of Laguerre from the center and radius of the spheres is carried out to build a foam skeleton. Finally, the Plateau borders, that have a concave triangular section of a variable thickness, is obtained by a minimizing of surface energy with the help of a Surface Evolver software. A simulation with the help of the finite elements method evaluates the properties acoustic., Les mousses acoustiques sont de plus en plus utilisées dans l'industrie en remplacement des milieux fibreux pour des raisons de santé notamment. Leurs propriétés acoustiques dépendent fortement de leurs microstructures (distribution de taille de pores, présence de membranes). L'objectif de ce travail est d'étudier l'influence d'une distribution étendue de tailles de pores sur les propriétés acoustiques et élastiques. La microstructure des mousses est reconstruite en trois étapes. La première étape consiste en la génération d'un empilement aléatoire de sphères, généré par la méthode des éléments discrets. Ensuite, une tessellation de Laguerre à partir des centres et des rayons des sphères est réalisée pour construire le squelette de la mousse. Finalement, les bords de Plateau ayant une section triangulaire concave d'épaisseur variable, sont obtenus par minimisation d'énergie de surface à l'aide du logiciel Surface Evolver. Les propriétés acoustiques sont calculées à l'aide de simulations par la méthode des éléments finis.

Supercapacitors (Scs) are a class of electrochemical energy storage devices well suited for storage and rapid release of this energy. The study of the species flow at the electrode/electrolyte interface is an essential point to improve the performance of these supercapacitors. This thesis explores in great depth, and with a combination of original tools, the transfer of species in charge storage mechanisms within commonly used supercapacitor electrode materials, such as conductive polymers, carbonaceous materials or transition metal oxides.; Les supercondensateurs (SCs) sont une classe de dispositifs de stockage d'énergie électrochimique bien adaptés au stockage et à la libération rapide de cette énergie. L'étude du flux d'espèces à l'interface d'électrodes/électrolytes est un point essentiel pour améliorer les performances de ces supercondensateurs. Cette thèse explore de manière très approfondie , et avec une combinaison d'outils originaux, le transfert d'espèces dans les mécanismes de stockage de charge au sein de matériaux d'électrodes de supercondensateurs couramment utilisés, comme les polymères conducteurs, les matériaux carbonés ou les oxydes de métaux de transition.

Plastics have become an integral part of our lives, while the petrochemical feedstocks used to make them are not sustainable on the long term. In pursuit of production processes starting from renewable feedstocks, furanics were found to form quite readily from abundant plant-based carbohydrates and to bring new functionality as intermediates. Poly(ethylene 2,5-furandicarboxylate) or PEF is one of the plastics that can be made through 2,5-furandicaboxylic acid (FDCA) as an intermediate. It can be produced analogously to the ubiquitous material Poly(ethylene terephthalate) (PET) but has only recently been gaining more attention including the finding that it has greatly reduced gas permeability and a higher modulus and glass transition temperature, rendering it interesting as a packaging material. In the first part of this work we study the crystallization behavior of PEF, relevant for production and handling of pellets as well as transparency and thermal properties in end-use applications, as a function of molecular weight and the type of catalyst used. Mathematical models were found that describe both isothermal crystallization kinetics and non-isothermal kinetics for PEF, which is generally slower than PET. PEF crystallization from the glass found to be atypical and was modeled using unconventional models and the isoconversional approach. The origin of this behavior was found to be nucleation at low temperatures, which can be influenced to accelerate its crystallization. The second part of this work relates to the thermomechanical behavior of PEF, relevant for its processing and application in particular. The higher glass transition temperature was found to not increase as much by crystallinity as PET, and could be attributed to a reduced chain mobility compensated by increased free volume. The loose entanglement of PEF could be explained by reduced unperturbed chain dimensions following quite directly from the reduced bond length of FDCA. No significant conformational restictions were found, thus any mobility reduction should be intermolecular. A higher temperature and strain rate dependence of the melt viscosity was found for PEF across various molecular weights and catalyst types, which was described mathematically and can also be explained by a more loosely entangled network. The amorphous mechanical properties and higher strain rate dependence at room temperature also point to a low entanglement network although mobility reduction may also play a role. Biaxial orientation of PEF in the rubbery state, relevant for producing films and bottles, showed that higher draw ratios are needed than for PET until molecular orientation is maximized and strain hardening begins. However, it was found that upon using higher stretch ratios, oriented PEF can exhibit increased strength and Tg compared to oriented PET and further reduced gas permeability., Aujourd’hui les matériaux plastiques sont indissociables de notre quotidien, tandis que leur fabrication dépend des ressources pétrolières qui ne sont pas durables sur le long terme. Dans l’idée de produire des nouveaux intermédiaires pour matériaux à partir de matière première renouvelable, les dérivés furaniques sont des candidats de choix puisqu’ils sont facilement synthétisables à partir des sucres constitutifs de la biomasse végétale. Le poly(éthylène-2,5-furandicarboxylate) ou PEF est l’un des plastiques qui peut être fabriqué à partir du diacide 2,5-furandicaboxylique (FDCA). Il peut être produit selon des procédés similaires au poly(éthylène téréphtalate) (PET), son homologue petro-sourcé, mais a récemment fait l’objet d’une attention grandissante, notamment pour sa perméabilité aux gaz plus basse et son module mécanique et sa température de transition vitreuse plus élevées. Ces caractéristiques rendent le PEF particulièrement intéressant pour la fabrication de matériaux d’emballage, en particulier dans l’alimentaire. Dans la première partie de ce travail, nous étudions la cristallisation du PEF, aspect particulièrement important pour la production et la manipulation des granulés de plastique, ainsi que pour la transparence et les propriétés thermiques requises par les applications finales, et ce, en fonction de la masse moléculaire et du type de catalyseur utilisé. L’application de certains modèles mathématiques a permis de décrire à la fois la cinétique de cristallisation du PEF en mode isotherme et non isotherme du PEF. Cette cristallisation est généralement plus lente que celle du PET. La cristallisation du PEF à partir de l’état vitreux a montré des résultats atypiques qui ont été modélisés avec succès à l’aide de modèles non-conventionnels et de la méthode isoconversionnelle. Les différences ont été expliquées par la nucléation qui peut se produire à température relativement basse. Cette nucléation à basse température a notamment été exploitée judicieusement pour accélérer la cristallisation froide. La deuxième partie de ce travail concerne le comportement thermomécanique du PEF, important notamment pour les procédés de mise en forme et les applications finales. La température de transition vitreuse du PEF, pourtant plus élevée que celle du PET, n’a pas montré d’augmentation particulière avec la cristallinité ce qui a été attribuée à une réduction de la mobilité de la chaîne compensée par une augmentation du volume libre. Le faible taux d’enchevêtrement des chaînes de PEF pourrait s'expliquer par la réduction des dimensions de la chaîne non perturbée, ce qui est peut être directement lié à la diminution de la taille du monomère FDCA en comparaison avec celle de l’acide p-téréphtalique. Aucune restriction d’origine conformationnelle n'a été trouvée ce qui implique, que la réduction de la mobilité doit être principalement intermoléculaire. Pour des PEF de masses molaires diverses ou élaborés à partir de différents catalyseurs, une dépendance plus importante de la viscosité avec la température et la vitesse de déformation est constatée. Ce comportement qui peut être décrit mathématiquement peut également être expliqué par une diminution de la densité d’enchevêtrement des chaînes. Les propriétés mécaniques des phases amorphes et leurs dépendances avec la vitesse de déformation indiquent un faible réseau d'enchevêtrement du PEF par rapport au PET, bien que la réduction de la mobilité intrinsèque de la chaine de PEF puisse également jouer un rôle. L'orientation biaxiale du PEF dans l’état caoutchoutique a été étudiée en comparaison avec celle du PET, ce qui s’avère pertinent pour la production de films et de bouteilles. Les résultats ont montré que des taux d’étirage plus élevés sont nécessaires dans le cas du PEF pour atteindre le même durcissement structural.

Plastics have become an integral part of our lives, while the petrochemical feedstocks used to make them are not sustainable on the long term. In pursuit of production processes starting from renewable feedstocks, furanics were found to form quite readily from abundant plant-based carbohydrates and to bring new functionality as intermediates. Poly(ethylene 2,5-furandicarboxylate) or PEF is one of the plastics that can be made through 2,5-furandicaboxylic acid (FDCA) as an intermediate. It can be produced analogously to the ubiquitous material Poly(ethylene terephthalate) (PET) but has only recently been gaining more attention including the finding that it has greatly reduced gas permeability and a higher modulus and glass transition temperature, rendering it interesting as a packaging material. In the first part of this work we study the crystallization behavior of PEF, relevant for production and handling of pellets as well as transparency and thermal properties in end-use applications, as a function of molecular weight and the type of catalyst used. Mathematical models were found that describe both isothermal crystallization kinetics and non-isothermal kinetics for PEF, which is generally slower than PET. PEF crystallization from the glass found to be atypical and was modeled using unconventional models and the isoconversional approach. The origin of this behavior was found to be nucleation at low temperatures, which can be influenced to accelerate its crystallization. The second part of this work relates to the thermomechanical behavior of PEF, relevant for its processing and application in particular. The higher glass transition temperature was found to not increase as much by crystallinity as PET, and could be attributed to a reduced chain mobility compensated by increased free volume. The loose entanglement of PEF could be explained by reduced unperturbed chain dimensions following quite directly from the reduced bond length of FDCA. No significant conformational restictions were found, thus any mobility reduction should be intermolecular. A higher temperature and strain rate dependence of the melt viscosity was found for PEF across various molecular weights and catalyst types, which was described mathematically and can also be explained by a more loosely entangled network. The amorphous mechanical properties and higher strain rate dependence at room temperature also point to a low entanglement network although mobility reduction may also play a role. Biaxial orientation of PEF in the rubbery state, relevant for producing films and bottles, showed that higher draw ratios are needed than for PET until molecular orientation is maximized and strain hardening begins. However, it was found that upon using higher stretch ratios, oriented PEF can exhibit increased strength and Tg compared to oriented PET and further reduced gas permeability.; Aujourd’hui les matériaux plastiques sont indissociables de notre quotidien, tandis que leur fabrication dépend des ressources pétrolières qui ne sont pas durables sur le long terme. Dans l’idée de produire des nouveaux intermédiaires pour matériaux à partir de matière première renouvelable, les dérivés furaniques sont des candidats de choix puisqu’ils sont facilement synthétisables à partir des sucres constitutifs de la biomasse végétale. Le poly(éthylène-2,5-furandicarboxylate) ou PEF est l’un des plastiques qui peut être fabriqué à partir du diacide 2,5-furandicaboxylique (FDCA). Il peut être produit selon des procédés similaires au poly(éthylène téréphtalate) (PET), son homologue petro-sourcé, mais a récemment fait l’objet d’une attention grandissante, notamment pour sa perméabilité aux gaz plus basse et son module mécanique et sa température de transition vitreuse plus élevées. Ces caractéristiques rendent le PEF particulièrement intéressant pour la fabrication de matériaux d’emballage, en particulier dans l’alimentaire. Dans la première partie de ce travail, nous étudions la cristallisation du PEF, aspect particulièrement important pour la production et la manipulation des granulés de plastique, ainsi que pour la transparence et les propriétés thermiques requises par les applications finales, et ce, en fonction de la masse moléculaire et du type de catalyseur utilisé. L’application de certains modèles mathématiques a permis de décrire à la fois la cinétique de cristallisation du PEF en mode isotherme et non isotherme du PEF. Cette cristallisation est généralement plus lente que celle du PET. La cristallisation du PEF à partir de l’état vitreux a montré des résultats atypiques qui ont été modélisés avec succès à l’aide de modèles non-conventionnels et de la méthode isoconversionnelle. Les différences ont été expliquées par la nucléation qui peut se produire à température relativement basse. Cette nucléation à basse température a notamment été exploitée judicieusement pour accélérer la cristallisation froide. La deuxième partie de ce travail concerne le comportement thermomécanique du PEF, important notamment pour les procédés de mise en forme et les applications finales. La température de transition vitreuse du PEF, pourtant plus élevée que celle du PET, n’a pas montré d’augmentation particulière avec la cristallinité ce qui a été attribuée à une réduction de la mobilité de la chaîne compensée par une augmentation du volume libre. Le faible taux d’enchevêtrement des chaînes de PEF pourrait s'expliquer par la réduction des dimensions de la chaîne non perturbée, ce qui est peut être directement lié à la diminution de la taille du monomère FDCA en comparaison avec celle de l’acide p-téréphtalique. Aucune restriction d’origine conformationnelle n'a été trouvée ce qui implique, que la réduction de la mobilité doit être principalement intermoléculaire. Pour des PEF de masses molaires diverses ou élaborés à partir de différents catalyseurs, une dépendance plus importante de la viscosité avec la température et la vitesse de déformation est constatée. Ce comportement qui peut être décrit mathématiquement peut également être expliqué par une diminution de la densité d’enchevêtrement des chaînes. Les propriétés mécaniques des phases amorphes et leurs dépendances avec la vitesse de déformation indiquent un faible réseau d'enchevêtrement du PEF par rapport au PET, bien que la réduction de la mobilité intrinsèque de la chaine de PEF puisse également jouer un rôle. L'orientation biaxiale du PEF dans l’état caoutchoutique a été étudiée en comparaison avec celle du PET, ce qui s’avère pertinent pour la production de films et de bouteilles. Les résultats ont montré que des taux d’étirage plus élevés sont nécessaires dans le cas du PEF pour atteindre le même durcissement structural.

This thesis deals with the preparation and application of itaconate based engineering elastomers and their nanocomposites. The following elastomers or nanocomposites were prepared: (1) nanocomposites based on 3,9-bis[1,1-dim ethyl-2-{b-(3-tertbutyl-4-hydroxy-5-methylphenyl)propionyloxy}ethyl]-2,4,8,10-tetraoxaspiro-[5,5]-undecane (AO-80) and poly(diisoamyl itaconate-co-isoprene) (PDII), (2) a bio-based carboxylic elastomer, poly(dibutyl itaconate-co-isoprene-co-methacrylic acid) (PDIM), and nanocomposites based on it and silica or halloysite nanotubes, (3) a novel bio-based elastomer, poly(dibutyl itaconate-co-butadiene) (PDIB), and nanocomposites based on it and silica. Bio-based green tires were manufactured by using PDIB/silica nanocomposite in a tire tread formulation. In addition to the preparation of the above bio-based elastomers and their nanocomposites, this thesis also gives a review on the progresses on bio-inspired sacrificial bonds in polymeric materials. This review will serve as a guide to engineer sacrificial bonds into itaconate based elastomers with high strength and toughness, Cette thèse traite la préparation et l'application d’élastomères bio-sourcés et leurs nanocomposites qui sont les suivants : (1) des nanocomposites basés sur le 3,9 - bis [ethyl-2-à 1,1 terne {b-(3-tertbutyle-4-hydroxy-5-méthylephényle) propionyloxy} éthyle]-2,4,8,10-tetraoxaspiro-[5,5]-undécane (AO-80) et le poly(itaconate de diisoamyle-co-isoprène) (PDII), (2) le poly(itaconate de dibutyle-co-isoprène-co-acide méthacrylique) (PDIM), un élastomère carboxylique bio-sourcé, et des nanocomposites basés sur cet élastomère et la silice ou les nanotubes de halloysite, (3) le poly(itaconate de dibutyle-co-butadiène) (PDIB), un nouvel élastomère bio-sourcé, et des nanocomposites basés sur cet élastomère et la silice. Des pneus verts bio ont été fabriqués en utilisant les nanocomposites PDIB/silice dans une formulation de bande de roulement de pneu. En plus de la préparation de ces dits élastomères bio et leurs nanocomposites, cette thèse donne aussi une revue sur les travaux sur des liaisons sacrificielles bio-inspirées qui sont introduites dans des matériaux polymères. Cette revue servira d'un guide pour incorporer des liaisons sacrificielles dans des élastomères à base d’itaconate ayant une grande rigidité et résistance

International audience; First book in English which describes the pharmaceutical and therapeutic benefits of clays in terms of their physical and physicochemical properties. Provides a concise history of the use of clay in human health practices. Unlike popular texts, this book describes the customary applications of clays and explains the mode of action causing the palliative effect

International audience; Les polymères fluorés sont des macromolécules de niche de morphologies variables (variant des thermoplastiques aux élastomères, élastomères thermoplastiques et pouvant être semi-cristallins ou totalement amorphes). Leurs propriétés exceptionnelles sont principalement liées à la forte électronégativité de l’atome de fluor, au faible rayon de Van der Waals (1,32 A˚ ) induisant une solide liaison C-F (dont l’énergie de dissociation est de 485 kJ/mol) et une faible polarisabilité. Ainsi, les plastiques fluorés contenant un pourcentage élevé de fluor présentent une combinaison unique de propriétés telles que de très fortes résistances thermique, chimique, au vieillissement et aux intempéries, une inertie chimique élevée (aux solvants, hydrocarbures, acides, aux bases), de faibles énergies de surface (effet « répellant » aux huiles et à l’eau), de faibles constantes diélectriques, indices de réfraction, facteurs de dissipation, d’inflammabilité, et d’absorption d’humidité.

International audience; We focus our attention on the pharmacological work of the great physician, Mohammad Zakariyyâ al-Râzî (Râzî or Rhazes, 865 – 925). He was an expert in philosophy and alchemy. The frame of his theoretical approach in medicine was basically of Greek tradition, but he was able to produce new treatments, to establish new diagnoses and to accept new medicines and refute old ones. Here we examine his comprehension of the qualities of each product of materiel medica and then concentrate our view on the properties of each “simple drug” in the body.As professor, he strongly defended good education both by serious lectures of medical books and by usual practice in hospitals. Our goal is to better understand how beside his belief of book learning, he was able to integrate various new treatments coming from local areas or from territories far away. He was able to refute some old and famous treatments and accept some popular treatments. We analyze his philosophical approach, his theoretical framework and his terminological apparatus for his medicinal therapy. Some specific examples will illustrate our purpose.; Nous examinerons l’œuvre pharmacologique du savant et médecin, Mohammad Zakariyyâ al-Râzî (Râzî ou Rhazès, 865 – 925). Ce savant était un grand philosophe et un grand alchimiste. Tout en conservant le cadre théorique de la tradition médicale grecque, Râzî a renouvelé ce savoir. Il a établi de nouveaux diagnostics différentiels et adopté des traitements innovants. Nous examinerons sa vision des qualités des médicaments simples et son regard sur les propriétés spécifiques des remèdes sur le corps.En tant que maître de l’enseignement de la médecine, Râzî a vivement encouragé les jeunes médecins à une bonne formation théorique livresque et à la pratique quotidienne de la médecine au chevet des malades. Il a pu enrichir la thérapie médicamenteuse en adoptant des traitements spécifiques régionaux et en utilisant des remèdes originaires des zones géographiques éloignées de l’empire. Il a su accepter des traitements efficaces populaires et écarter des remèdes transmis par des médecins savants. Au cours de cette présentation nous nous intéressons à certains aspects de ses considérations philosophiques en rapport avec sa thérapie médicale, sa terminologie et avec les limites théoriques qu’il propose. Des examples précis illustrent nos propos.

Following a presentation of different methods used to collect alveolar macrophages by lung washing performed on killed or anaesthetized animals, several main features of these cells are described: in vitro adherence, enzymatic properties and morphology, phagocytosis. Studies of postnatal development show that swine alveolar macrophages appear during the first week of age. Finally, the alveolar macrophage immunological behaviour (surface receptors, cytotoxicity, co-operation with lymphocytes, activation) and the complex micro-organisms-macrophages interrelationships are discussed.

Embedded systems are increasingly used in various fields like transportation, industrial automation, telecommunication or healthcare to execute critical applications and manipulate sensitive data. These systems often involve financial and industrial interests but also human lives which imposes strong safety constraints.Hence, a key issue lies in the ability of such systems to respond safely when errors occur at runtime and prevent unacceptable behaviors. Errors can be due to natural causes such as particle hits as well as internal noise, integrity problems, but also due to malicious attacks. Embedded system architecture typically includes processor (s), memories, Input / Output interface, bus controller and hardware accelerators that are used to improve both energy efficiency and performance. With the evolution of applications, the design cycle of hardware accelerators becomes more and more complex. This complexity is partly due to the specification of hardware accelerators traditionally based on handwritten Hardware Description Language (HDL) files. However, High-Level Synthesis (HLS) that promotes automatic or semi-automatic generation of hardware accelerators according to software specification, like C code, allows reducing this complexity.The work proposed in this document targets the integration of verification support in HLS tools to generate On-Chip Monitors (OCMs) during the high-level synthesis of hardware accelerators (HWaccs). Three distinct contributions are proposed. The first one consists in checking the Input / Output timing behavior errors (synchronization with the whole system) as well as the control flow errors (illegal jumps or infinite loops). On-Chip Monitors are automatically synthesized and require no modification in their high-level specification. The second contribution targets the synthesis of high-level properties (ANSI-C asserts) that are added into the software specification of HWacc. Synthesis options are proposed to trade-off area overhead, performance impact and protection level. The third contribution improves the detection of data corruptions that can alter the stored values or/and modify the data transfers without causing assertions violations or producing illegal jumps. Those errors are detected by duplicating a subset of program’s data limited to the most critical variables. In addition, the properties over the evolution of loops induction variables are automatically extracted from the algorithmic description of HWacc. It should be noticed that all the proposed approaches, in this document, allow only detecting errors at runtime. The counter reaction i.e. the way how the HWacc reacts if an error is detected is out of scope of this work.; Les systèmes embarqués sont de plus en plus utilisés dans des domaines divers tels que le transport, l’automatisation industrielle, les télécommunications ou la santé pour exécuter des applications critiques et manipuler des données sensibles. Ces systèmes impliquent souvent des intérêts financiers et industriels, mais aussi des vies humaines ce qui impose des contraintes fortes de sûreté. Par conséquent, un élément clé réside dans la capacité de tels systèmes à répondre correctement quand des erreurs se produisent durant l’exécution et ainsi empêcher des comportements induits inacceptables. Les erreurs peuvent être d’origines naturelles telles que des impacts de particules, du bruit interne (problème d’intégrité), etc. ou provenir d’attaques malveillantes. Les architectures de systèmes embarqués comprennent généralement un ou plusieurs processeurs, des mémoires, des contrôleurs d’entrées/sorties ainsi que des accélérateurs matériels utilisés pour améliorer l’efficacité énergétique et les performances. Avec l’évolution des applications, le cycle de conception d’accélérateurs matériels devient de plus en plus complexe. Cette complexité est due en partie aux spécifications des accélérateurs matériels qui reposent traditionnellement sur l’écriture manuelle de fichiers en langage de description matérielle (HDL).Cependant, la synthèse de haut niveau (HLS) qui favorise la génération automatique ou semi-automatique d’accélérateurs matériels à partir de spécifications logicielles, comme du code C, permet de réduire cette complexité.Le travail proposé dans ce manuscrit cible l’intégration d’un support de vérification dans les outils de HLS pour générer des moniteurs sur puce au cours de la synthèse de haut niveau des accélérateurs matériels. Trois contributions distinctes ont été proposées. La première contribution consiste à contrôler les erreurs de comportement temporel des entrées/sorties (impactant la synchronisation avec le reste du système) ainsi que les erreurs du flot de contrôle (sauts illégaux ou problèmes de boucles infinies). La synthèse des moniteurs est automatique sans qu’aucune modification de la spécification utilisée en entrée de la HLS ne soit nécessaire. La deuxième contribution vise la synthèse des propriétés de haut niveau (ANSI-C asserts) qui ont été ajoutées dans la spécification logicielle de l’accélérateur matériel. Des options de synthèse ont été proposées pour arbitrer le compromis entre le surcout matériel, la dégradation de la performance et le niveau de protection. La troisième contribution améliore la détection des corruptions des données qui peuvent modifier les valeurs stockées, et/ou modifier les transferts de données, sans violer les assertions (propriétés) ni provoquer de sauts illégaux. Ces erreurs sont détectées en dupliquant un sous-ensemble des données du programme, limité aux variables les plus critiques. En outre, les propriétés sur l’évolution des variables d’induction des boucles ont été automatiquement extraites de la description algorithmique de l’accélérateur matériel. Il faut noter que l’ensemble des approches proposées dans ce manuscrit, ne s’intéresse qu’à la détection d’erreurs lors de l’exécution. La contreréaction c.à.d. la manière dont le moniteur réagit si une erreur est détectée n’est pas abordée dans ce document.

Embedded systems are increasingly used in various fields like transportation, industrial automation, telecommunication or healthcare to execute critical applications and manipulate sensitive data. These systems often involve financial and industrial interests but also human lives which imposes strong safety constraints.Hence, a key issue lies in the ability of such systems to respond safely when errors occur at runtime and prevent unacceptable behaviors. Errors can be due to natural causes such as particle hits as well as internal noise, integrity problems, but also due to malicious attacks. Embedded system architecture typically includes processor (s), memories, Input / Output interface, bus controller and hardware accelerators that are used to improve both energy efficiency and performance. With the evolution of applications, the design cycle of hardware accelerators becomes more and more complex. This complexity is partly due to the specification of hardware accelerators traditionally based on handwritten Hardware Description Language (HDL) files. However, High-Level Synthesis (HLS) that promotes automatic or semi-automatic generation of hardware accelerators according to software specification, like C code, allows reducing this complexity.The work proposed in this document targets the integration of verification support in HLS tools to generate On-Chip Monitors (OCMs) during the high-level synthesis of hardware accelerators (HWaccs). Three distinct contributions are proposed. The first one consists in checking the Input / Output timing behavior errors (synchronization with the whole system) as well as the control flow errors (illegal jumps or infinite loops). On-Chip Monitors are automatically synthesized and require no modification in their high-level specification. The second contribution targets the synthesis of high-level properties (ANSI-C asserts) that are added into the software specification of HWacc. Synthesis options are proposed to trade-off area overhead, performance impact and protection level. The third contribution improves the detection of data corruptions that can alter the stored values or/and modify the data transfers without causing assertions violations or producing illegal jumps. Those errors are detected by duplicating a subset of program’s data limited to the most critical variables. In addition, the properties over the evolution of loops induction variables are automatically extracted from the algorithmic description of HWacc. It should be noticed that all the proposed approaches, in this document, allow only detecting errors at runtime. The counter reaction i.e. the way how the HWacc reacts if an error is detected is out of scope of this work., Les systèmes embarqués sont de plus en plus utilisés dans des domaines divers tels que le transport, l’automatisation industrielle, les télécommunications ou la santé pour exécuter des applications critiques et manipuler des données sensibles. Ces systèmes impliquent souvent des intérêts financiers et industriels, mais aussi des vies humaines ce qui impose des contraintes fortes de sûreté. Par conséquent, un élément clé réside dans la capacité de tels systèmes à répondre correctement quand des erreurs se produisent durant l’exécution et ainsi empêcher des comportements induits inacceptables. Les erreurs peuvent être d’origines naturelles telles que des impacts de particules, du bruit interne (problème d’intégrité), etc. ou provenir d’attaques malveillantes. Les architectures de systèmes embarqués comprennent généralement un ou plusieurs processeurs, des mémoires, des contrôleurs d’entrées/sorties ainsi que des accélérateurs matériels utilisés pour améliorer l’efficacité énergétique et les performances. Avec l’évolution des applications, le cycle de conception d’accélérateurs matériels devient de plus en plus complexe. Cette complexité est due en partie aux spécifications des accélérateurs matériels qui reposent traditionnellement sur l’écriture manuelle de fichiers en langage de description matérielle (HDL).Cependant, la synthèse de haut niveau (HLS) qui favorise la génération automatique ou semi-automatique d’accélérateurs matériels à partir de spécifications logicielles, comme du code C, permet de réduire cette complexité.Le travail proposé dans ce manuscrit cible l’intégration d’un support de vérification dans les outils de HLS pour générer des moniteurs sur puce au cours de la synthèse de haut niveau des accélérateurs matériels. Trois contributions distinctes ont été proposées. La première contribution consiste à contrôler les erreurs de comportement temporel des entrées/sorties (impactant la synchronisation avec le reste du système) ainsi que les erreurs du flot de contrôle (sauts illégaux ou problèmes de boucles infinies). La synthèse des moniteurs est automatique sans qu’aucune modification de la spécification utilisée en entrée de la HLS ne soit nécessaire. La deuxième contribution vise la synthèse des propriétés de haut niveau (ANSI-C asserts) qui ont été ajoutées dans la spécification logicielle de l’accélérateur matériel. Des options de synthèse ont été proposées pour arbitrer le compromis entre le surcout matériel, la dégradation de la performance et le niveau de protection. La troisième contribution améliore la détection des corruptions des données qui peuvent modifier les valeurs stockées, et/ou modifier les transferts de données, sans violer les assertions (propriétés) ni provoquer de sauts illégaux. Ces erreurs sont détectées en dupliquant un sous-ensemble des données du programme, limité aux variables les plus critiques. En outre, les propriétés sur l’évolution des variables d’induction des boucles ont été automatiquement extraites de la description algorithmique de l’accélérateur matériel. Il faut noter que l’ensemble des approches proposées dans ce manuscrit, ne s’intéresse qu’à la détection d’erreurs lors de l’exécution. La contreréaction c.à.d. la manière dont le moniteur réagit si une erreur est détectée n’est pas abordée dans ce document.

Cet article présente trois types de nominalisations désadjectivales en Serbo-Croate, qui présentent chacun des propriétés sémantiques differentes, confirmant les distinctions faites dans la littérature entre propriétés, tropes et qualités (Moltmann 2004a, Villalba 2009). Après avoir présenté les différences grammaticales et sémantiques entre les trois types de nominalisations, je remets en question la pertinence linguistique des types ontologiques comme les tropes et les qualités. Je montre tout d’abord qu’il est possible de formuler des analyses viables dans lesquelles les interprétations correspondant aux tropes et aux qualités découlent du statut de propriété en combinaison avec des outils théoriques introduits pour des raisons indépendantes. La conclusion à laquelle j’aboutis est qu’une ontologie plus simple est à la fois plus économique d’un point de vue méthodologique, et plus explicite concernant les relations entre les différents types d’interprétations, qui restent mystérieuses dans une approche où les différences sont encodées en termes de classes ontologiques introduites comme des primitifs de la théorie. The paper presents three types of deadjectival nominalizations in Serbo-Croatian, each with different semantic properties, corresponding to what has been referred to in the literature as properties, tropes and qualities (Moltmann 2004a, Villalba 2009). After presenting the grammatical and semantic differences between the three types of nominalizations, I tackle the question of justification of the introduction of the ontological types like tropes and qualities. I show first that viable analyses can be formulated presenting the meanings referred to as tropes and qualities as derived from properties in combination with theoretical handles that are introduced for independent reasons. I conclude that a simpler ontology is not only more methodologically economical, but also is explicit about certain relations between different related types of meanings, which are obscured when the differences are captured in terms of primitive ontological classes.

Diplôme : Dr. d'Université; Plus de 40% des matériaux plastiques sont utilisés pour l‘emballage. Les principaux polymères sur le marché de l‘emballage alimentaire sont les polymères synthétiques d‘origine fossile. Du fait de la raréfaction des ressources fossiles, la valorisation des polymères issus de matières premières renouvelables d‘origine végétale représente une alternative à l‘utilisation des polymères pétro-sourcés. Les hémicelluloses, avec la cellulose et les lignines, sont un composant majeur des ressources lignocellulosiques. Les hémicelluloses constituent des réseaux macromoléculaires denses et peu mobiles qui leur confèrent intrinsèquement d‘excellentes propriétés barrières aux gaz. L‘objectif de cette thèse est d‘isoler les arabinoxylanes (AX) à partir de divers co-produits de céréales (son de blé, paille de blé, rafles de maïs) afin d‘étudier l‘impact de leurs compositions et de leurs structures sur certaines de leurs propriétés physico-chimiques, après mise en oeuvre sous forme des films pour des applications potentielles dans le domaine de l‘emballage alimentaire. Les arabinoxylanes ont été extraits par un procédé alcalin puis séparés en trois fractions en fonction de leur solubilité dans l‘eau et dans l‘éthanol 50% (v/v). Les trois fractions récupérées (i/ insoluble dans l‘eau, ii/ soluble dans l‘eau et insoluble dans l‘éthanol, iii/soluble dans l‘eau et soluble dans l‘éthanol) présentent un rapport Ara/Xyl croissant avec leur solubilité dans l‘eau et dans l‘éthanol. Dans le cas du son de blé, les trois fractions présentent des masses moléculaires similaires mais se distinguent par différents degrés de substitution et divers types de substitutions de la chaîne principale de xylanes. L‘étude des propriétés physico-chimiques de films formés par ces trois fractions ont permis d‘établir une corrélation entre le degré de substitution et leurs propriétés sous forme de films. La morphologie cristalline, la mobilité des chaînes et l‘hydratation des films de xylanes sont corrélés avec les taux de substitution des AX. Lorsque le taux d‘Ara/Xyl diminue, le film est plus cristallin, la mobilité locale augmente alors que la mobilité globale diminue, la teneur en eau diminue à haute humidité relative (de 67% à 60% à 90%HR), la perméabilité et la diffusivité à l‘oxygène diminue. L‘étude des trois fractions insolubles dans l‘eau isolée à partir de son de blé, de paille de blé et de rafles de maïs a révélé que les propriétés des films sont également affectées par la longueur des chaînes de xylanes et par leur conformation moléculaire ainsi que par la teneur des substituants tels que les acides uroniques. Des nanocharges (nanocristaux de cellulose de linters de cotton) sont utilisées (5 ou 10% p/p) pour renforcer les films formés par les fractions d‘AX de son de blé. L‘incorporation des nanocristaux au sein des films n‘a pas provoqué de modification du degré de cristallinité. Par contre, la teneur en eau à haute humidité relative est diminuée. La mobilité locale des chaînes d‘AX est réduite indiquant l‘existence d‘interactions entre les nanocristaux et les AX alors que la mobilité globale des chaînes n‘est pas modifiée. L‘effet du renforcement semble être plus intense pour la fraction AX la plus substituée par les groupements arabinosyl.

Mention d'édition : 3. ed.; International audience

We develop homogenization schemes for the effective mechanical and acoustical properties of linear viscoelastic inclusion reinforced composites. Generic procedures are studied and proposed, starting from the statics and elastic materials, followed by viscoelastic behaviors and the quasi-static approximation, to end up with dynamic viscoelastic models. For elastic composites, our main contributions regard homogenization schemes for coated inclusion reinforced materials. An original two-level recursive procedure is proposed. At each level, a homogenization model suitable for two-phase composites with aligned reinforcements is required. That makes the procedure very generic. The latter is used as stand-alone (i.e. for three-phase composites) or to achieve the first step of a two-step approach for multiphase materials (e.g. composites with misaligned coated fibers). With the quasi-static approximation, i.e. when inertial effects are ignored, we generalize the generic two-step and two-level procedures to predict both time dependent and harmonic effective mechanical properties (storage and loss moduli) of linear viscoelastic multiphase composites. The static and quasi-static models however cannot account for attenuation of acoustic waves due to scattering by the inclusions. Effective acoustic properties (phase velocities, attenuation factors) of viscoelastic inclusion reinforced composites are addressed by dynamic schemes. We propose a generic framework for the development of such homogenization models. It generalizes and unifies within a single formulation several methods of the literature. An independent-scattering model is derived. The link between dynamic schemes in the long-wave region and static models is shown. Finally, these homogenization schemes are integrated in a finite element model based on a discontinuous Galerkin formulation of the Helmholtz equation to simulate acoustic problems involving viscoelastic composite materials. (FSA 3)--UCL, 2007

International audience

International audience

International audience

International audience

New structural materials can potentially change the technics and economics of the building and construction industry in a profound way. It is important to identify applications and develop forms that exploit a material's unique properties. The developer of a material can use the knowledge of how materials such as steel and reinforced concrete were first introduced to advance the development and application of new materials today. This project examines why structural forms have evolved as they have and what influences the process of creating form, or form-finding. The purpose of this analysis is to aid the development of structural forms that make the most efficient use of material and take advantage of a material's processing and constructive attributes. Such forms are called material-adapted. This thesis is based on the general history of structural materials used in construction. This research is summarized in six appended case studies that comprise the data of the thesis. The research has extended well beyond these case studies; some of this data is included in the main text. The research showed that the influences on form-finding are: Function; Material Properties; Processing Technologies; Connection Technology; Construction Process; Economics; Socio- Political Factors; Knowledge; and Technological Thought. A Form-Finding Influence Interaction Model summarizes the inter-relationships of these influences. It was first assumed that material-adapted form is determined by material properties alone. Further research showed this untrue. The hypothesis of this thesis is that material properties do not unilaterally determine material-adapted structural form. This statement is true because the nature of a material is a function of its properties and its processing and constructive attributes. A material's processing and constructive attributes are dependent on technology and organizational systems that are not specific to the material. It was further hypothesized that new materials are first used substitutionally in forms and applications of known materials. This concept was found to be misleading and untrue for a number of materials. The knowledge of this thesis was used to examine the current development of fiber reinforced polymer composite materials. It is shown that a material's development can be analyzed not only by the aforementioned influences, but also by characteristics of other material developments. This information is used to suggest how these materials might develop in the future.

Examen de certaines voies pour soutenir la réalité des dispositions qui permettraient déchapper ET à la réduction (ou élimination) sémantique et épistémologique des dispositions ET au dispositionnalisme intégral sans pour autant revenir au charme discret des pouvoirs et vertus dormitives

L'essence d'une propriété est exclusivement déterminée par ses propriétés nomologiques de second ordre. Nous argumentons pour cette thèse de la manière suivante. Nous savons que les propriétés ont une essence, pour la même raison que nous le savons dans le cas des particuliers : les contrefactuels qui portent sur les propriétés, ont une valeur de vérité objective. Or, ce qui rend vrai un contrefactuel dont l'antécédent attribue à l'entité a une propriété contrefactuelle, est une situation possible ou une entité a* satisfait à la fois cet antécédent et le conséquent du conditionnel contrefactuel. Afin que les faits portant sur a* puissent constituer le fondement de vérité d'un contrefactuel portant sur a, il faut qu'il existe un lien étroit entre a et a* qui appartiennent pourtant à différents mondes possibles. Les faits portant sur a* peuvent constituer le fondement de l'évaluation d'un contrefactuel portant sur a si et seulement si a et a* partagent leur essence. Ce raisonnement s'applique avec la même force au cas où a et a* sont des particuliers et au cas où il s'agit de propriétés. Nous procédons par élimination pour déterminer la nature de l'essence des propriétés. L'essence d'une propriété peut être constituée par des propriétés de second-ordre de type historique, par une essence non-qualitative appelée « quiddité », ou par un ensemble de propriétés qualitatives de second ordre que sont les dépendances nomologiques de la propriété par rapport à d'autres propriétés. Nous présentons des arguments contre les deux premières possibilité. Par conséquent nous retenons la troisième : l'essence d'une propriété est nomologique. Cette essence est constituée par l'ensemble des lois de la nature qui impliquent la propriété. Le fait que la propriété F dépende nomiquement d'une autre propriété G est à l'origine d'une propriété relationnelle de F, à savoir la propriété d'être nomiquement lié à G. L'ensemble de ses propriétés relationnelles de second ordre détermine l'essence de la propriété. Par conséquent, toutes ses propriétés nomiques lui sont essentielles. L'ensemble de ses liens nomiques, causaux ou non-causaux, détermine l'identité de la propriété non seulement dans le monde actuel, mais dans tous les mondes possibles où la propriété existe. Dans tous les mondes où la propriété F existe, elle obéit aux mêmes lois. Cela implique que les lois elles-mêmes sont nécessaires.

International audience; This paper deals with the technological characterisation of Atlas cedar wood from artificial plantation in South Italy. Atlas cedar seems to be one of the most promising species for reforestation in Central-South Italy, due to its ecological adaptability, quality of standing trees, even without thinnings and pruning, and productivity of the stands. From a 30-year-old stand in Sicily 6 trees were selected in order to analyse the natural durability of wood against fungi, according to European Standards, and the main physical and mechanical properties from clear specimens, according to ISO Standards. The heartwood resulted classified from "durable" to "very durable" , while sapwood is "not durable" . The wood is quite dense, taking into account the fast-grown characteristics of the stand, but the volumetric shrinkage is limited and the ratio between tangential and radial shrinkages is less than 1.5. Mechanical characteristics show a wood with a quite high ratio of static quality. From first results the Atlas cedar seems to be a promising tree species from ecological and silvicultural point of view.; Durabilité naturelle et propriétés physiques et mécaniques du bois de cèdre de l'Atlas (Cedrus atlantica Manetti), de l'Italie du sud. Les auteurs ont étudié la caractérisation technologique du bois de cèdre de l'Atlas qui provient de plantations artificielles de l'Italie du sud. Le cèdre de l'Atlas semble être une des espèces qui pourra obtenir de bons résultats dans la reforestation en Italie du centre et du sud, soit pour sa faculté d'adaptation écologique, soit pour la qualité des arbres sur pied, même sans opérations d'éclaircie et d'élagage, et enfin pour la productivité des plantations. Dans une région de Sicile on a prélevé d'une plantation de 30 ans 6 arbres pour analyser leur durabilité naturelle vis-à-vis des champignons lignivores, selon les normes européennes, et les caractéristiques physiques et mécaniques d'échantillons, selon les normes ISO. On peut classifier le duramen de "durable " à "très durable " , l'aubier au contraire est "non durable " . Le bois est assez dense si l'on considère les caractéristiques de croissance rapide de la plantation, mais le retrait volumétrique est limité et le rapport entre le retrait tangentiel et le retrait radial est inférieur a 1,5. Les caractéristiques mécaniques montrent un bois avec une assez haute cote spécifique de qualité. Selon ces premiers résultats le cèdre de l'Atlas semble être, du point de vue écologique et sylvicultural, très satisfaisant.

K.L. Reyerson et J. Drendel; International audience

The correct identification of hazards emanating from certain products and materials, particularty during transport, is of great importance. This has been demonstrated by various accidents which have recently taken place and which took the lives of rescue workers