L’eau est le principal vecteur responsable de la dégradation du patrimoine bâti. L’un des moyens utilisé, pour réduire la pénétration de l’eau dans la pierre est la bioremédiation. Il se base sur la capacité des bactéries à former des biocristaux. Ce concept a été utilisé par la société Calcite Bioconcept avec la souche Bacillus cereus. Par le passé, l’action bactérienne et, en particulier, la possibilité de créer des cristaux a été étudiée et mise en évidence en milieu aqueux, très favorable à la croissance bactérienne. L’originalité de cette thèse est de reprendre ces études en suivant le même protocole qui celui utilisé in situ et d’étudier le résultat de la bioremédiation sous différents aspects physique, chimique et biologique. Différents supports ont été adoptés, des tuffeaux (pierre calcaire pour lequel le biotraitement a été mis au point) et du plâtre. Les images MEB, sur des échantillons fracturés, montrent la formation d’un biofilm à la seule surface du matériau. Aussi des méthodes d’investigation de surface ont été menées (cathodoluminescence, DRX en incidence rasante). Cette dernière technique confirme la formation de calcite à la surface des échantillons de plâtre. Les cycles d’imbibition et des mesures de perméabilité montrent la réduction des coefficients de transport (ce qui est un effet attendu et souhaité du traitement). Cependant, l’augmentation de la vitesse d’imbibition au fur et à mesure des cyclages laisse penser que le biofilm se dégrade rapidement. Enfin, une alternative au protocole industriel, utilisé précédemment, est proposée, non plus basée sur les capacités de la membrane des bactéries à synthétiser des cristaux de calcite, mais par leurs EPS. / Degradation of historical buildings is mainly due to water intrusion that is the main vector ofpollutants. Differents types of surface treatment were proposed to avoid or limit this effect. As analternative of chemical treatment, the use of the carbonatogenesis property of some bacteria wasproposed. In the past, The bacterial production was pointed out on concrete and on limestonesamples in an aqueous environment. Moreover, the carbonate production was indirectly measuredand the experimental protocol was far from real use conditions.In this thesis, we follow the same protocol as an industrial one used in situ and study with chemical,physical as well as biological approaches the bioremediation effects on different porous samples:limestone (for which the treatment has been optimized) and plastrum.We confirm that, indeed, the bioremediation results in a thin biocoating (around 10 micrometer depth)formed on the surface of the treated samples. So, different surface analyses have been performed,on micro scale (GIXD, electronic microprobe), on macro scale (cathodoluminescence).The formershows the structural and morphological evolution of the produced carbonate coating and that indeedcalcite is produced by the treatment on model plaster samples. This substrate was chosen in order tounambiguously point out the bacterial carbonate production.The latter confirms the presence ofcalcite and the homogeneity of the coating at this scale. The reduction and durability of the biofilmhas been evaluated by imbibition cycles as well as permeability measurements.The biotreatment presents some drawbacks that could be avoided using the EPS only. Differentscrystals have been synthetized using organic mater. The influence of this organic matter on thecrystals shape and size has been studied.

Nous étudions le problème de la synthèse automatique de programmes dans des architectures multi-composants tels qu'elles respectent les spécifications par construction. Le principal objectif de cette thèse est de développer des procédures pour résoudre le problème de synthèse qui peut conduire à des implémentations efficaces. Chaque composant a une observation partielle sur l'état global du système multi-composants. Le problème est alors de fournir des protocoles basés sur les observations tel que les composants synthétisés assurent les spécifications pour tout le comportement de leur environnement. L'environnement peut être antagoniste, ou peut avoir ses propres objectifs et se comporter de façon rationnelle. Nous étudions d'abord le problème de synthèse lorsque l'environnement est présumé antagoniste. Pour ce contexte, nous proposons une procédure "Safraless" pour la synthèse d'un composant partiellement informé et un environnement omniscient à partir de spécications KLTL+. Elle est implémentée dans l'outil Acacia-K. Ensuite, nous étudions le problème de synthèse lorsque les composants de l'environnement ont leurs propres objectifs et sont rationnels. Pour le cadre plus simple de l'information parfaite, nous fournissons des complexités serrées pour des objectifs omega-réguliers particuliers. Pour le cas de l'information imparfaite, nous prouvons que le problème de la synthèse rationnelle est indécidable en général, mais nous regagnons la décidabilité si on demande à synthétiser un composant avec observation partielle contre un environnement multi-composante, omniscient et rationnel / We study the problem of automatic synthesis of programs in multi-component architectures such that they satisfy the specifications by construction. The main goal of the thesis is to develop procedures to solve the synthesis problem that may lead to efficient implementations.Each component may have partial observation on the global state of the multi-component system.Therefore, the synthesis problem asks to provide observation-based protocols for the components that have to be synthesized that ensure that specifications hold on all interactions with their environment.The environment may be antagonist, or may have its own objectives and behave rationally.We first study the synthesis problem when the environment is presumed to be completely antagonist. For this setting, we propose a "Safraless" procedure for the synthesis of one partially informed component and an omniscient environment from KLTL+ specifications. It is implemented in the tool Acacia-K. Secondly, we study the synthesis problem when the components in the environment have their own objectives and are rational. For the more relaxed setting of perfect information, we provide tight complexities for particular omega-regular objectives. Then, for the case of imperfect information, we prove that the rational synthesis problem is undecidable in general, but we gain decidability if is asked to synthesize only one component against a rational omniscient environment

Cette these presente une contribution a la compilation de silicium. Elle traite de l'integration d'un outil de synthese architecturale dans<br />les environnements de CAO existants. Il s'agit de la personnalisation de l'architecture abstraite, resultat de la synthese de haut niveau, pour la<br />generation d'une description compatible avec les outils de simulation et de synthese au niveau transfert de registres. Le but etant d'offrir<br />plusieurs modeles architecturaux utilisant differents modeles de synchronisation afin de couvrir les besoins de differentes applications. Apres<br />une introduction de l'outil de synthese architecturale AMICAL et de plusieurs modeles architecturaux au niveau transfert de registres, cette these<br />presente une methode et un outil pour la personnalisation de l'architecture abstraite generee par AMICAL et la traduction des fichiers de sortie<br />donnes en SOLAR en leurs equivalents VHDL. Finalement, une etude comparative des differents modeles architecturaux sur plusieurs<br />exemples est detaillee. Cette etude montre qu'il faut plusieurs modeles architecturaux pour differentes applications. Ces modeles architecturaux<br />se differencient entre eux par leur structure, leur bibliotheque de macro-composants et leur modele de synchronisation utilise.

Cette étude a pour objectif principal de développer un réacteur structuré de type monolithe pour atteindre des performances élevées en oxydation partielle du méthane en gaz de synthèse. Les catalyseurs étudiés sont à base de Pt et Ni comme métaux noble et non noble, respectivement, supportés sur un oxyde mixte CeO2-ZrO2 et déposés sur les parois d'un monolithe en corundum. Le rôle de différents dopants introduits dans le support oxyde mixte du catalyseur vis à vis du stockage-déstockage d'oxygène a été élucidé et l'influence des conditions opératoires et des paramètres du procédé sur les performances d'un élément mono canal du monolithe a été précisée. Une étude mécanistique a révélé d'importants facteurs comme la nature et la dynamique des espèces de surface et de coeur et montré que l'interaction entre le Pt et l'oxyde mixte CeO2-ZrO2 déterminait l'activité du catalyseur. Des expériences cinétiques ont démontré que le Pt est requis pour les réactions de reformage mais que le support CeO2-ZrO2 dopé pouvait présenter une activité non négligeable pour l'activation oxydante du méthane. Une modélisation mathématique des données expérimentales a été réalisée avec un modèle prenant en compte essentiellement l'activité du Pt. Cette dernière a été trouvée très supérieure à celle du support. Cependant des expériences en réacteur TAP ont montré qu'une oxydation du catalyseur permettait une vitesse d'oxydation du méthane supérieure

Étude de la représentation, la structuration et l'utilisation de connaissances dans le cadre d'un projet de recherche en synthèse déductive de programmes. Les connaissances sont considérées comme des sous ensembles finis d'une théorie du premier ordre. Une attention particulière est prêtée au problème du guidage de l'utilisation des connaissances en synthèse de programmes

Présentation d'une approche déductive basée sur l'instantiation progressive de schémas de programmes fonctionnels. Un système formel de preuve est décrit dans lequel le lien entre schémas de programmes et schémas de propriétés est exhibe. La complétude relative et la correction de ce système sont prouvées notamment pour les fonctions partiellement définies. Des stratégies, guidées par l'utilisateur, sont ensuite proposées qui permettent de caractériser les propriétés nécessaires, propres à chaque schema, en termes de recherche de préconditions

L'objet de ces travaux de thèse est d'étudier la spécification et la synthèse de systèmes de contrôle, qui peuvent être composés à la fois de logiciel et de matériel, sur des architectures multiprocesseurs (ASIC, FPGA, et logiciel). Ce sujet de recherche fait partie à la fois de la synthèse de systèmes VLSI et de la conception mixte logicielle/matérielle. Afin d'atteindre ces objectifs, une méthodologie qui permet de concevoir conjointement le logiciel et le matériel a été développée. L'originalité de ce travail vient du fait que les spécifications à traiter sont décrites à un très haut niveau d'abstraction, appelé “niveau système”, avec le langage SDL. Ceci permet de concevoir des applications de plus en plus complexes. Ces travaux traitent principalement le problème du découpage de systèmes de contrôle en sous-systèmes de granularité plus fine et donc plus facilement synthétisables. L'approche de découpage qui a été développée se base sur une boîte à outils qui offre au concepteur le moyen de transformer, raffiner, découper un système puis d'affecter chaque sous-système à une technologie particulière en logiciel (C) ou en matériel (VHDL). La méthode de découpage suivie est interactive et utilise une forme intermédiaire basée sur un modèle de machines à états finis étendues communicantes via des canaux abstraits. Une autre tâche tout aussi importante dans cette méthodologie de raffinement est de synthétiser la communication entre les différentes partitions résultat d'un découpage. Cela se traduit par une étape d'allocation de protocoles de communication et une étape de synthèse d'interfaces entre les sous-systèmes communicants. La première étape consiste à sélectionner dans une bibliothèque les modèles de communication nécessaires entre les sous-systèmes. La deuxième étape consiste à adapter ou générer les interfaces des différents sous-systèmes.

L'analyse des flots de conception classiques montre que les causes d'un tel coût de développement peuvent être ramenées, en grande partie, à l'intégration tardive des parties logicielles et matérielles d'un système multiprocesseurs mono puces (MPSoC). Les travaux de cette thèse s'intéressent à ce problème d'intégration tardive en proposant un modèle unifié permettant la représentation conjointe à différent nivaux d'abstraction des architectures logicielles/matérielles. Ce modèle doit faciliter la conception graduelle de ces architectures tout en permettant la validation et l'évaluation, à chaque niveau d'abstraction, des performances qui en découlent. Les contributions apportées par cette thèse sont (1) la définition d'un modèle de représentation unifié et à différents niveaux d'abstraction des architectures logicielles/matérielles des systèmes MPSoC basé sur le concept d'interface abstraite logiciel/matériel, (2) la spécification d'une sémantique d'exécution de ce modèle dans le cadre d'un environnement de cosimulation globale basé sur SystemC et (3) la proposition d'une méthodologie de raffinement automatique de ces interfaces abstraites exploitant une technologie de composition à base de graphe de dépendance de services.

Today's systems-on-chip are multiprocessor. They are characterized by an increasing complexity and a reduced time to market. To tackle this complexity, the use of high level programming models seems to be a promising approach. In this work, we propose an MPSoC design flow, based on the use of high level parallel programming models API to design embedded software. An automated refinement of these API on target architecture is used. For that purpose, (1) MPSoC hardware/software interfaces were studied; then (2) parallel programming models and their classification in terms of provided abstraction were presented. The proposed flow has been used in two design experiments: (1) an MPEG video encoder, namely OpenDivX, using the MPI parallel programming model and targeting the ARM Integrator prototyping platform, (2) a software defined radio using the CORBA parallel programming model and targeting specific hardware architecture.

L'intégration dans une seule puce de un ou plusieurs processeurs et de composants matériels spécifiques permet le développement de systèmes complexes appelés systèmes monopuce. L'accroissement de la complexité de ces systèmes fait de la maîtrise de leurs conceptions un défi à relever par les concepteurs.<br />La réutilisation des composants dans ces systèmes est rendue difficile par leur hétérogénéité, notamment en terme de protocole et d'interface physique. Une solution est offerte par l'abstraction des communications entre les composants dans un modèle du système. Un flot de conception doit alors permettre de passer de cette représentation abstraite au circuit final dans lequel les composants du système sont connectés par des interfaces de communication à un réseau de communication.<br />Les contributions apportées par cette thèse à cette méthodologie sont la définition d'un modèle de spécification des interfaces de communication basé sur un graphe de dépendances de services, ainsi qu'une méthodologie pour la génération automatique d'interfaces de communication pour les systèmes monopuces. Cette méthodologie a amené au développement d'un outil de génération automatique de ces interfaces. L'approche proposée a été validée à travers deux expérimentations : une interface en charge de la détection d'erreurs de transmissions et une interface avec un bus AMBA pour la réalisation de primitives MPI.