Une évolution continue des paramètres, des contraintes et des besoins du procédé métier, non complètement prévisible initialement, exige des systèmes de gestion de procédés une conception continue et un modèle de procédé fiable. Dans cette thèse, nous nous intéressons à assurer une conception réactive par l'analyse des traces d'exécutions assurant une re-ingénierie du procédé métier et une fiabilisation des exécutions.<br /><br />Pour ce faire, nous introduisons d'abord un modèle de workflow transactionnel qui étend les systèmes de workflows en les fusionnant avec les modèles transactionnels avancés. Nous proposons, par la suite, des techniques d'analyse de traces d'exécutions pour la découverte de workflow et l'amélioration de leurs comportements transactionnels. Notre approche commence par la collecte des traces d'exécution. Nous construisons, ensuite, par des techniques d'analyse statistique, une représentation intermédiaire spécifiant des dépendances élémentaires entre les activités. Ces dépendances sont raffinées pour découvrir le modèle de workflow transactionnel. L'analyse des disparités entre le modèle découvert et le modèle initialement conçu nous permet de détecter des lacunes (anomalies) de conception, concernant particulièrement les mécanismes de recouvrement. En fonction de ces observations, nous appliquons finalement un ensemble de règles d'amélioration et/ou de correction du schéma initial.<br /><br />La contribution majeure de notre proposition est qu'elle permet de tenir compte des besoins d'évolution du procédé observés dans la phase d'exécution. Ceci nous permet d'assurer une conception continue garantissant, parmi d'autres, des exécutions correctes et fiables.

Cette thèse envisage les différents problèmes inhérents à l'association de fibres de bois et de gypse dans le but d'élaborer un matériau composite résolvant une partie des défauts de produits préfabriqués en gypse, aujourd'hui largement employés dans l'édification de cloisons. Dans un premier temps, l'étude a donc été consacrée à l'obtention de données de référence concernant les deux essences de bois choisies (peuplier et pin) : analyse chimique des extraits aqueux du bois, propriétés hygroscopiques, mesure des fibres obtenues par trois méthodes de fragmentation et mesure de la contrainte de cisaillement interfaciale, en étudiant également l'influence d'un traitement thermique de stabilisation du bois, la rétification.<br /><br />Nous avons pu montrer que les extraits aqueux du bois n'ont qu'une faible influence sur l'hydratation du plâtre, au travers de légers retards, sans modification des propriétés mécaniques du gypse. Aucun lien n'a pu être établi avec la nature des molécules extraites du bois.<br /><br />La forme des fibres s'est montrée cruciale pour les propriétés mécaniques du composite ; nous avons pu sélectionner une essence, le peuplier, et une méthode de fragmentation, le défibrage papetier, qui permettent d'obtenir des performances nettement supérieures à celles du gypse. La rétification a montré un effet négatif, puisqu'elle induit une perte de performances par rapport aux fibres naturelles.<br /><br />L'introduction de fibres de bois stabilisées par rétification a pour résultat la stabilisation dimensionnelle du composite, puisqu'on obtient un matériau plus stable que le gypse lui-même.<br /><br />Des essais physiques sur des échantillons plus représentatifs du produit fini ont montré de notables améliorations de ses propriétés.

Le catalyseur quatre voies est destiné à diminuer simultanément les émissions d'hydrocarbures, de monoxyde de carbone, d'oxydes d'azote et de suies par l'intermédiaire d'un seul monolithe catalytique. Plusieurs études sur ce type de catalyseur ont montré que la présence d'oxydes d'azote entraîne une diminution de la température d'oxydation des suies. Cependant, l'effet de la présence d'eau sur l'adsorption des oxydes d'azote n'est pas encore clair, surtout en présence de suies. Les travaux présentés dans ce manuscrit ont pour but de mettre en évidence l'influence de la présence d'eau et/ou de suies sur le fonctionnement de catalyseur "piège à NOx". Les résultats obtenus montrent que la présence d'eau entraîne une inhibition de la fonction oxydante du catalyseur, une diminution de la quantité de stockage des oxydes d'azote, et une inhibition de la formation des espèces adsorbées de surface. Ces phénomènes ont été attribués à la voix réactionnelle spécifique en présence d'eau associée à l'adsorption des oxydes d'azote. Les résultats obtenus sur le mélange noir de carbone et catalyseur montrent que la présence de noir de carbone induit une diminution de stockage des oxydes d'azote. De plus, cet effet se trouve plus important en contact fort. Les expériences réalisées sur l'adsorption des oxydes d'azote en présence simultanée de noir de carbone et d'eau ont montré un effet non cumulé de l'eau et du noir de carbone. Ce phénomène a été attribué à une compétition entre l'action de l'eau qui favorise la formation de nitrate de cœur à partir des nitrates faiblement liés et l'action du noir de carbone qui tend à déstabiliser les nitrates faiblement liés pour former les carbonates.

Les travaux de recherche de cette thèse portent sur la modélisation sémantique des informations industrielles, dans une approche og cycle de vie fg , de gestion des informations. Dans ce type d'approche, lever le verrou lié à l'interopérabilité des modèles d'information est une condition sine qua non à un échange d'information sans perte de flux sémantique. Jusqu'alors, des méthodes d'unification étaient envisagées, reposant sur l'utilisation mutuelle de modèles standards, tels que la norme STEP par exemple. Cependant, l'unification fait face à des limites en termes d'expressivité des modèles, de rigidité, et de perte de sémantique. Afin de lever ces limites, les paradigmes de modélisation évoluent et se tournent vers les ontologies d'inférence, outils du web sémantique.Dans cette thèse, nous proposons un cadre de modélisation sémantique général et une méthodologie de mise en place de ce cadre, qui reposent sur l'utilisation d'ontologies d'inférence. L'application du cadre de modélisation à un cas d'étude industriel, issu de l'ingénierie nucléaire (plus particulièrement l'expression et l'exécution des règles métier), permet alors d'évaluer les apports et limites des ontologies en tant que paradigme de modélisation. Les limites les plus importantes que nous identifions sur l'Open World Assumption, le manque de langage de règles performant et le manque d'outils d'implémentation robustes pour des applications à large échelle. Le développement d'un démonstrateur pour le cas d'étude industriel permet finalement de tendre vers une solution mixte, où les ontologies sont utilisées localement, afin d'en exploiter les divers avantages de manière optimale.

Cette étude couvre la conception d'un nouvel appareil qui permet la mesure fiable de pressions de vapeur d'équilibres à plusieurs phases à partir de petits volumes (un maximum de 18 cm3). Les mesures d'équilibres de phase concernant la présente étude incluent : des équilibres "liquide-vapeur" (ELV), "liquide-liquide" (ELL) et " liquide-liquide-vapeur" (ELLV). La température de fonctionnement de l'appareil s'étend de 253 à 473 K pour une pression de fonctionnement qui s'étend du vide absolu à 1600 kPa. Le prélèvement des phases est réalisé grâce au Rapid On line Sampling Injector (ROLSI™). Une technique originale est ajoutée en complément du ROLSI™ pour éviter des chutes de pressions lors du prélèvement. Cette technique utilise une tige métallique afin de compenser les changements de volume lors des prélèvements. Des mesures de tensions de vapeur et d'équilibres de phase ont été entreprises pour caractériser le fonctionnement de l'appareil conçu et développé. Ensuite de nouvelles mesures de tensions de vapeur et d'ELV ont été mesurées sur des systèmes intéressant les compagnies pétrochimiques. Les données expérimentales de pression de vapeur obtenues ont été régressées en utilisant les équations étendues d'Antoine et de Wagner. Les données expérimentales d'ELV mesurées ont été régressées avec des modèles thermodynamiques au moyen des méthodes directes et combinées. Pour la méthode directe les équations d'état de Soave-Redlich-Kwong et de Peng-Robinson ont été employées avec la fonction (α) de Mathias et Copeman (1983) dépendante de la température. Pour la méthode combinée, l'équation du viriel (deuxième coefficient du viriel de la corrélation de Tsonopoulos (1974)) a été employée associée à un modèle de solution (coefficient d'activité) pour la phase liquide: TK-Wilson, NRTL et UNIQUAC modifié. Des tests de cohérence thermodynamique ont été exécutés pour toutes les données expérimentales de VLE mesurées. Presque tous les systèmes mesurés ont déclarés thermodynamiquement cohérents (test de point de Van Ness et autres (1973) et test direct de Van Ness (1995).

Les travaux résumés dans ce mémoire ont pour cadre la sûreté de fonctionnement des systèmes informatiques. Ils portent sur l'élimination des fautes, en s'intéressant plus particulièrement au test du logiciel. Les contributions sont regroupées en quatre chapitres. Le premier chapitre rassemble des travaux pour adapter la conception du test aux technologies de développement logicielles. Deux technologies sont considérées : la technologie orientée-­‐objet et la méthode formelle B. Le deuxième chapitre porte sur des associations test et vérification formelle. Il s'agit selon les cas de consolider la vérification d'algorithmes partiellement prouvés, ou de faciliter l'analyse de contrexemples retournés par un model checker. Le troisième chapitre traite de la génération de test par des procédés métaheuristiques, en prenant l'exemple du recuit simulé. L'accent est mis sur l'utilisation de mesures pour guider le paramétrage de la métaheuristique. Enfin, le quatrième chapitre aborde le test de systèmes mobiles. Lestraces d'exécutions sont vérifiées par rapport à un ensemble de propriétés décrites par des scénarios graphiques, en combinant des algorithmes d'appariement de graphes et de calcul d'ordres partiels d'événements.

La conversion photovoltaïque présente de nombreux avantages. Actuellement, les technologiesbasées sur l'élaboration de wafers de silicium cristallins dominent le marché, mais sont responsablesde pertes de matières importantes, très néfastes au coût de production des cellules. Le défi à releverest donc la réalisation de matériaux bas coûts en silicium par un procédé de métallurgie des poudres.Cependant, le frittage du silicium est dominé par des mécanismes de grossissement de grains quirendent la densification difficile par frittage naturel. Dans la littérature, l'identification de cesmécanismes est sujette à controverse. En particulier, le rôle de la couche d'oxyde natif (SiO2) à lasurface des particules de silicium reste inexploré. Dans ce manuscrit, l'influence de l'atmosphère surla réduction de cette couche de silice au cours du frittage est étudiée par analysethermogravimétrique. Les cinétiques de réduction sont en accord avec un modèle thermochimiqueprenant en compte, les quantités d'oxygène initialement présentes dans poudre, la pression partielleen espèces oxydantes autour de l'échantillon et l'évolution de la porosité du fritté. Pour la premièrefois, des données expérimentales permettent de montrer que la couche de silice inhibe legrossissement de grain. Des nouveaux procédés, basés sur un contrôle de l'atmosphère enmonoxyde de silicium (SiO(g)) autour de l'échantillon, sont alors proposés afin de maitriser la stabilitéde cette couche. Bien que la couche d'oxyde retarde les cinétiques de diffusion en volume, sonmaintien à des températures de 1300 - 1400 °C permet d'améliorer significativement la densification.Dans ces conditions, le comportement au frittage du silicium peut être séparé en deux étapes,clairement mises en évidences par la présence de deux pics de retrait sur les courbes de dilatométrie.Ce résultat est inhabituel compte tenu de l'aspect monophasé du matériau étudié. Cependant, il peutêtre expliqué à l'aide d'un modèle cinétique de frittage, basé sur des simplifications géométriques enaccord avec l'évolution microstructurale du matériau.

L'objectif de ce travail est d'analyser théoriquement et expérimentalement la condensation des espèces inorganiques dans une installation de gazéification de la biomasse. Lors de la gazéification de la biomasse, des espèces inorganiques sont volatilisées et se condensent lors du refroidissement du gaz de synthèse. Ces espèces sont problématiques pour le procédé et doivent être éliminées avant la synthèse des biocarburants. Une étude thermodynamique a tout d'abord précisé la nature et la répartition des espèces inorganiques qui sont volatilisées lors de la gazéification ainsi que des espèces qui se condensent lors du refroidissement. Un modèle de condensation des aérosols issus de la gazéification de la biomasse a ensuite été construit à partir de d'une description mathématique des différents phénomènes mis en jeu (nucléation, croissance, agglomération et dépôts). Parallèlement un dispositif expérimental (ANACONDA) a été mis au point, construit et qualifié. Ce dispositif permet d'analyser la condensation d'une vapeur de KCl dans un écoulement pouvant comporter des particules de carbone se refroidissant à une vitesse de 1000 K/s. Les résultats expérimentaux obtenus ont mis en évidence une nucléation du KCl lors d'un refroidissement à 1000 K/s, la condensation de KCl sur les particules de carbone ainsi que le dépôt de KCl et des particules sur les parois. La condensation de KCl provoque une augmentation du diamètre aérodynamique des particules de carbone. La présence de particules dans l'écoulement permet de diminuer les dépôts de KCl aux parois de 25% à 40%. La comparaison de calculs simulant les expériences avec les données expérimentales a permis de quantifier les différents phénomènes et de valider le modèle. Enfin, le modèle a été utilisé afin de proposer des solutions pour limiter les dépôts de KCl aux parois des échangeurs dans une installation industrielle de gazéification de la biomasse.

Le cycle de vie du logiciel regroupe plusieurs activités comme l'analyse, la conception, la production, le test et le déploiement. Cette dernière activité est un procédé complexe composé de sous activités comme la configuration, l'installation ou la mise à jour. La complexité et l'importance du déploiement a augmenté récemment avec l'évolution des réseaux et la construction d'applications à base de composants. Il est maintenant envisageable d'imaginer des solutions permettant le déploiement automatisé de logiciels en assurant que chaque utilisateur recevra la version du logiciel la plus cohérente et la mieux adaptée à ses besoins et à son environnement tout en respectant les stratégies de déploiement de l'entreprise. Il existe de nombreuses approches et outils de déploiement, mais très peu permettent de couvrir entièrement le cycle de vie du déploiement ou alors en imposant des contraintes fortes. <br /><br />Cette thèse propose un environnement de déploiement nommé ORYA, c'est à dire une plate-forme offrant un support automatisé aux activités du cycle de vie du déploiement. ORYA est basé sur la réutilisation et l'intégration des outils de déploiement existants. Pour cela, nous proposons une abstraction des différents acteurs et entités du déploiement, ainsi qu'une infrastructure permettant de faire interopérer des outils hétérogènes et ne se connaissant pas. Ce travail traite plus particulièrement de l'activité de sélection avec l'utilisation d'un modèle de composant générique et la mise en place d'un framework basé sur un système d'annotations et de règles. La deuxième activité étudiée en détail est celle de l'installation qui est basée sur un langage de procédés permettant la description et la réalisation des procédés dans le monde réel.<br /><br />Une implémentation d'ORYA a été réalisée afin de valider notre approche dans le cadre d'une expérimentation industrielle en vraie grandeur..

Dans l'industrie pharmaceutique, la cristallisation est une opération de purification et de mise en forme du solide très importante. Une bonne connaissance du processus de nucléation conduit à améliorer le produit final. Le principal objectif de cette thèse était de déterminer l'origine des difficultés rencontrées pour nucléer certains principes actifs pharmaceutiques. L'étude du diagramme de phases de l'un d'eux a mis en évidence les phénomènes de polymorphisme et de séparation liquide-liquide (démixtion L-L). Dans un premier temps, la microscopie optique et le contrôle de la température par effet Peltier ont été utilisés pour caractériser et isoler le polymorphe le plus stable. Cet appareillage a ensuite permis de révéler en milieu stagnant que la difficulté pour cristalliser la molécule, provient de l'apparition d'une séparation L-L dans les zones métastables des polymorphes. Par ailleurs, les techniques de diffusion de la lumière et de dosages (HPLC et Karl Fisher) ont été utilisées pour caractériser la zone de démixtion L-L et montrer son influence considérable sur le milieu de cristallisation. Enfin dans la dernière partie nous mettons en évidence le comportement de la démixtion L-L en milieu agité, en la caractérisant par turbidité, comptages de particules (FBRM) et analyses d'images afin d'étudier ensuite son influence sur la cristallisation par ensemencement.