Les entités physiques prises en compte par les applications dites M2M dans les télécoms sont aujourd'hui de plus en plus hétérogènes. Le défi adressé par ce travail est donc l'intégration, et la configuration automatiques de toutes ces différentes variétés d'entités physiques d'une façon homogène dans les systèmes M2M, en généralisant les approches de configuration automatique déjà connues et utilisées pour les objets communicants numériques. Cette thèse présente un cadre théorique général et des mécanismes de base pour l'identification de modèles de telles entités physiques dans les systèmes d'information embarqués répartis, en englobant dans une même approche les équipements et les sous-ensembles de l'espace, faisant se rejoindre les points de vue "internet des objets" et "environnement interactif" dans une nouvelle vision unifiée de l'intelligence ambiante. Ce travail, motivé initialement par les applications à la gestion d'énergie domestique, cherche à intégrer au réseau local de la maison des entités physiques qui ont un impact énergétique mais ne sont dotés d'aucune connexion réseau, ce qui correspond à une extension qualitative du périmètre de l'Internet des Objets. Cette intégration se fait de manière tout à fait similaire à ce qui est fait classiquement pour des équipements numériques état de l'art, c'est-à-dire par des mécanismes de découverte et configuration spontanés. Ces mécanismes comportent les étapes suivantes : détection de la présence d'une entité physique par analyse de la coïncidence d'évènements significatifs reçus de capteurs ; sélection d'un premier modèle générique représentatif de l'entité physique détectée depuis une ontologie de référence en analysant des données reçues les capteurs ; création d'un composant logiciel représentant l'entité physique détectée, à partir du modèle sélectionné, et associant les capteurs et actionneurs utiles ; supervision et contrôle de l'entité cible par l'intermédiaire de ce composant logiciel ; mise à jour incrémentale du modèle de l'entité identifiée par analyse des données issues des capteurs associés. Ce travail est parti d'applications dans l'environnement de la maison, pour lesquelles il a été validé et mis en œuvre. Mais notre approche a vocation à être généralisée et étendue à des environnements comme les bâtiments ou la ville, en offrant suivant le même principe une infrastructure partagée pour toutes les applications M2M dans ces environnements

L'apprentissage de langages réguliers est un sous-ensemble de l'apprentissage automatique qui s'est révélé utile dans de nombreux domaines tels que l'intelli-gence artificielle, les réseaux de neurones, l'exploration de données, la vérification, etc. De plus, l'intérêt dans les langages définis sur des alphabets infinis ou de grande taille est croissant au fil des années. Même si plusierurs propriétés et théories se généralisent à partir du cas fini, l'apprentissage de tels langages est une tâche difficile.En effet, dans ce contexte, l'application naïve des algorithmes d'apprentissage traditionnel n'est pas possible.Dans cette thèse, nous présentons un schéma algorithmique général pour l'ap-prentissage de langages définis sur des alphabets infinis ou de grande taille, comme par exemple des sous-ensembles bornés de N or R ou des vecteurs booléens de grandes dimensions. Nous nous restreignons aux classes de langages qui sont acceptés par des automates déterministes symboliques utilisant des prédicats pour définir les transitions, construisant ainsi une partition finie de l'alphabet pour chaque état.Notre algorithme d'apprentissage, qui est une adaptation du L* d'Angluin, combine l'apprentissage classique d'un automate par la caractérisation de ses états, avec l'apprentissage de prédicats statiques définissant les partitions de l'alphabet. Nous utilisons l'apprentissage incrémental avec la propriété que deux types de requêtes fournissent une information suffisante sur le langage cible. Les requêtes du premier type sont les requêtes d'adhésions, qui permettent de savoir si un mot proposé appartient ou non au langage cible. Les requêtes du second type sont les requêtes d'équivalence, qui vérifient si un automate proposé accepte le langage cible; dans le cas contraire, un contre-exemple est renvoyé.Nous étudions l'apprentissage de langages définis sur des alphabets infinis ou de grande tailles dans un cadre théorique et général, mais notre objectif est de proposer des solutions concrètes pour un certain nombre de cas particuliers. Ensuite, nous nous intéressons aux deux principaux aspects du problème. Dans un premier temps, nous supposerons que les requêtes d'équivalence renvoient toujours un contre-exemple minimal pour un ordre de longueur-lexicographique quand l'automate proposé est incorrect. Puis dans un second temps, nous relâchons cette hypothèse forte d'un oracle d'équivalence, et nous la remplaçons avec une hypothèse plus réaliste où l'équivalence est approchée par un test sur les requêtes qui utilisent un échantillonnage sur l'ensemble des mots. Dans ce dernier cas, ce type de requêtes ne garantit pas l'obtention de contre-exemples, et par conséquent de contre-exemples minimaux. Nous obtenons alors une notion plus faible d'apprent-issage PAC (Probably Approximately Correct), permettant l'apprentissage d'une approximation du langage cible.Tout les algorithmes ont été implémentés, et leurs performances, en terme de construction d'automate et de taille d'alphabet, ont été évaluées empiriquement. / Learning regular languages is a branch of machine learning, which has been proved useful in many areas, including artificial intelligence, neural networks, data mining, verification, etc. On the other hand, interest in languages defined over large and infinite alphabets has increased in recent years. Although many theories and properties generalize well from the finite case, learning such languages is not an easy task. As the existing methods for learning regular languages depends on the size of the alphabet, a straightforward generalization in this context is not possible.In this thesis, we present a generic algorithmic scheme that can be used for learning languages defined over large or infinite alphabets, such as bounded subsets of N or R or Boolean vectors of high dimensions. We restrict ourselves to the class of languages accepted by deterministic symbolic automata that use predicates to label transitions, forming a finite partition of the alphabet for every state.Our learning algorithm, an adaptation of Angluin's L*, combines standard automaton learning by state characterization, with the learning of the static predicates that define the alphabet partitions. We use the online learning scheme, where two types of queries provide the necessary information about the target language. The first type, membership queries, answer whether a given word belongs or not to the target. The second, equivalence queries, check whether a conjectured automaton accepts the target language, a counter-example is provided otherwise.We study language learning over large or infinite alphabets within a general framework but our aim is to provide solutions for particular concrete instances. For this, we focus on the two main aspects of the problem. Initially, we assume that equivalence queries always provide a counter-example which is minimal in the length-lexicographic order when the conjecture automaton is incorrect. Then, we drop this ``strong'' equivalence oracle and replace it by a more realistic assumption, where equivalence is approximated by testing queries, which use sampling on the set of words. Such queries are not guaranteed to find counter-examples and certainly not minimal ones. In this case, we obtain the weaker notion of PAC (probably approximately correct) learnability and learn an approximation of the target language. All proposed algorithms have been implemented and their performance, as a function of automaton and alphabet size, has been empirically evaluated.

Nous montrons qu’un modèle pour une théorie des champs à base d’automate cellulaire quantique est compatible avec une relativité restreinte déformée. En asso- ciant les lois de la physique à la règle d’évolution de l’automate, nous obtenons une version du principe de relativité où les états évoluant sur la grille de l’automate sont sujets à des transformations de Lorentz modifiées. Nous montrons ensuite que les déformations non-linéaires à l’espace des impulsions et des énergies mèneraient à une relativité de la localité et, dans des condition appropriées, produiraient un renversement de l’effet relativiste de contraction des longueurs. Nous considérons également les simulations de la physique sur calcul quantique d’un point de vue philosophique, demandant si notre monde pourrait faire partie d’une telle simulation et voyant comment des observations provenant de l’extérieur pourraient agir sur la simulation. / We show that a quantum field model based on a quantum cellular automaton requires a deformed special relativity. By associating the laws of physics with the automaton evolution rule, we obtain a version of the relativity principle where states evolving on the automaton must transform according to modified Lorentz transforma- tions. We then show that a non-linear momentum and energy space gives rise to the phenomenon of relative locality and that, under appropriate conditions, the relativistic length contraction effect must be reversed. We also consider simulations of physics on a philosphical level, asking if we might live inside such a simulation and seeing how observers from outside might interact if they attempt to observe us in such a context.

L’intégration du monde physique et des systèmes d’information est l’un des faits majeurs de la récente décennie. Cette intégration est rendue possible par les systèmes de communication, en particulier les systèmes sans fil, et par les recherches à l’interface physique dans le domaine des capteurs.L’usage de cette interface peut se concevoir de manière locale, par exemple le contrôle d’un objet, ou une aide dirigée vers une personne. Cette interface peut aussi exister au niveau distribué, en permettant la synthèse d’informations éparses et des prises de décisions concernant par exemple des économies de ressources : éteindre l’éclairage d’une rue, guider vers une place de parking libre.Les réseaux de capteurs sans fil contribuent à cette seconde catégorie et cette thèse s’est consacrée à la simulation de la propagation d’informations sonores en milieu urbain, avec une caractérisation distribuée.Le support décisif pour cette simulation est la représentation cellulaire de la ville et de ses zones : rues, jardins, rocades, bâtiments, rivières. Cette représentation cellulaire est produite par l’analyse d’imagesgéo-localisées et peut être complétée par la consultation de bases de données, pour l’élévation, par exemple. La représentation cellulaire est ensuite transformée en systèmes de processus interconnectés, à même de reproduire quantité de comportements collectifs, physiques ou numériques. / Physical world and information systems unification is a major achievement during this last decade. Communication systems, especially wireless technology, and research in physical sensors field have taken a major part in this integration.The interface between the physical word and a computer can be used in two ways. First, from a local perspective, where such a system can control for instance a single object or provide a personal assistance.Moreover, in a distributed system, this interface collects and analyses sparse data to make decisions, for instance about resource savings: to turn off streetlights, to guide to a parking spot.Wireless sensor networks are part of this second category. Thus, this thesis is focused on sound propagation simulation in urban environment, in a distributed manner.The key point of this work is a cellular representation of the city in order to model streets, gardens, ring roads, buildings, and rivers. Georeferenced image analysis, complemented by database consultation, for example to retrieve elevation data, generates this cellular model. Then, this model is converted into a system made of interconnected processes, that can reproduce many collective behaviors, whether physical or digital.We have developed a cellular automata that models sound propagation, including reflection and refraction, working on a graphics accelerator. Finally, we have produced a coupling method between observation systems by sensor networks and physical systems.

Le procédé de soudage laser est largement utilisé dans les travaux d'assemblage, en particulier, dans ledomaine de l'industrie automobile. L'acier dual phase DP600 est un acier à haute résistance qui permet deréduire le poids de l'automobile dans le cadre de l'allègement des structures. Notre travail s' estessentiellement basé sur l'évaluation des contraintes résiduelles générées dans l'acier DP600 lors du soudagepar laser. Deux approches ont été réalisées. L'approche expérimentale a été réalisée à l'aide de méthodes derayon X et par neutrons pour calculer les contraintes résiduelles. L'approche de simulation a été réalisée parcouplage de différentes formulations numériques.Numériquement, le formalisme de la mécanique continue a été utilisé par des simulations par éléments finis(FEM) pour analyser et évaluer les contraintes résiduelles. Sur la base de tests de traction expérimentaux, lemodèle constitutif élasto-thermo-plastique de l'acier DP600 a été identifié. L'écrouissage du matériau a étéétudié par la loi de Ludwik et de Voce. A partir de résultats experimentaux, un modèle a été proposé et lesrésultats analysés en utilisant une loi de mélange martensite (écrouissage Ludwik) et ferrite (adoucissementde Voce). De même, nous avons étudié la sensibilité à la température en utilisant plusieurs modèles :Johnson-Cook, Khan, Chen. A partir de cette étude, nous avons proposé un modèle de sensibilité à tatempérature. Enfin, un modèle de sensibilité à la déformation plastique, à la vitesse de déformation issu destravaux d'A.Gavrus et un modèle d'anisotropie planaire définit par la théorie de Hill ont été ajoutés.Une méthode d'automate cellulaire (CA) 2D a été programmée pour simuler l'évolution de la microstructurelors de la solification liée au processus de soudage laser. Dans ce modèle, les phénomènes de nucléationavec prise en compte de l'orientation de la croissance, de la concentration et de la vitesse de croissance àl'interface solide/liquide, l'anisotropie de la tension de surface, de la diffusion, ainsi que la fraction desphases en présence ont été pris en compte. De plus, les équations de conservation ont été étudiées en détail etanalysés. Les résultats ainsi que le champ de température issu du modèle FEM ont été importés dans lemodèle CA. En comparant la simulation et les résultats expérimentaux, de bonnes concordances ont ététrouvées.Par la suite, nous avons réalisés un couplage des deux modèles CA et FEM. Concernant le procédé laser, lesrésultats du modèle par éléments finis ont été analysés. La géométrie de l'échantillon, la source de chaleur,les conditions aux limites, le comportement thermo-mécanique de l'acier dual phase DP600 telles que laconductivité, la densité, la chaleur spécifique, l'expansion, l'élasticité et la plasticité sont introduites. Lesmodèles d'analyse du terme d'écrouissage, de la sensibilité à la vitesse de déformation, de la sensibilité à latempérature, de l'anisotropie plastique et de l'anisotropie élastique ont été simulés. Les fractions volumiquesconcernant ta nature des deux phases en présence ont été également étudiées.Les résultats numériques finaux tes contraintes résiduelles ont été étudiées. Les comparaisons avec desmesures experimentales ont montré à la fois quels phénomènes étudiés sont prépondérants et tes effets moinsinfluents sur l'évaluation des contraintes résiduelles. Les résultats tes plus probants ont montré des bonnesconvergences entre l'approche numérique et expérimentale. Ces résultats confortent la robustesse du modèlenumérique developpé. / Laser welding process is widely used in assembly work of automobi le industry. DP600 dual phase steeis a high strength steel to reduce automobile weight. Residual stresses are produced during laser weldingDP600. Continuum mechanics is used for analyzing res idual stresses by finite element simulation.Based on experimental tensile tests, the DP600 steel constitutive model are identified. The hardening termaccording to Ludwik law, Voce law and a proposed synthesis model are studied. The temperature sensitivityof Johnson-Cook, Khan, Chen and a proposed temperature sensitivity model are investigated. The strain ratesensitivity model proposed by A. Gavrus and planar anisotropy defined by Hi ll theory are also used.Cellul ar Automaton (CA) 20 method are programed for the simulation of solidification microstructureevolution during laser welding process. The temperature field of CA are imported from finite element analysimodel. The analysis function of nucleation, solid fraction, interface concentration, surface tension an isotropy,diffusion, interface growth ve locity and conservation equations are presented in detail. By comparing thesimulation and experimental results, good accordances are found.Modelling by a finite element method of laser welding process are presented. Geometry of specimen, heatsource, boundary conditions, DP600 dual phase steel material properties such as conductivity, density, specifiheat, expansion, elasticity and plasticity are introduced. Models analyzing hardening term, strain ratesensitivity, temperature sensitivity, plastic an isotropy and elastic an isotropy are simulated.The numerical results of laser welding DP600 steel process are presented. The influence of hardening term,strain rate sensitivity, temperature sensitivity and anisotropy on residual stresses are analyzed. Comparisonwith experimental data show good numerical accuracy.Keywords: Laser Welding, DP600, Residual Stress, Cellular Automaton, Hardening, Temperature sensitivity,Strain Rate Sensitivity, Anisotropy, Mixture dual phase law.

Les travaux présentés dans ce mémoire de thèse s'intéressent à la génération et à la mise en œuvre de séquences de test pour le test de conformité de contrôleurs logiques. Dans le cadre de ces travaux, le Grafcet (IEC 60848 (2002)), langage de spécification graphique utilisé dans un contexte industriel, a été retenu comme modèle de spécification. Les contrôleurs logiques principalement considérés dans ces travaux sont les automates programmables industriels (API). Afin de valider la mise en œuvre du test de conformité pour des systèmes de contrôle/commande critiques, les travaux présentés proposent: - Une formalisation du langage de spécification Grafcet. En effet, l'application des méthodes usuelles de vérification et de validation nécessitent la connaissance du comportement à partir de modèles formels. Cependant, dans un contexte industriel, les modèles utilisés pour la description des spécifications fonctionnelles sont choisis en fonction de leur pouvoir d'expression et de leur facilité d'utilisation, mais ne disposent que rarement d'une sémantique formelle. - Une étude de la mise en œuvre de séquences de test et l'analyse des verdicts obtenus lors du changement simultané de plusieurs entrées logiques. Une campagne d'expérimentation a permis de quantifier, pour différentes configurations de l'implantation, le taux de verdicts erronés dus à ces changements simultanés. - Une définition du critère de SIC-testabilité d'une implantation. Ce critère, déterminé à partir de la spécification Grafcet, définit l'aptitude d'une implantation à être testée sans erreur de verdict. La génération automatique de séquences de test minimisant le risque de verdict erroné est ensuite étudiée. / The works presented in this PhD thesis deal with the generation and implementation of test sequences for conformance test of logic controllers. Within these works, Grafcet (IEC 60848 (2002)), graphical specification language used in industry, has been selected as the specification model. Logic controllers mainly considered in these works are Programmable Logic Controllers (PLC). In order to validate the carrying out of conformance test of critical control systems, this thesis presents: - A formalization of the Grafcet specification language. Indeed, to apply usual verification and validation methods, the behavior is required to be expressed through formal models. However, in industry, the models used to describe functional specifications are chosen for their expression power and usability, but these models rarely have a formal semantics. - A study of test sequences execution and analysis of obtained verdicts when several logical inputs are changed simultaneously. Series of experimentation have permitted to quantify, for different configurations of the implantation under test, the rate of erroneous verdicts due to these simultaneous changes. - A definition of the SIC-testability criterion for an implantation. This criterion, determined on the Grafect specification defines the ability of an implementation to be tested without any erroneous verdict. Automatic generation of test sequences that minimize the risk of erroneous verdict is then studied.

Dans ce travail nous étudions les propriétés arithmétiques et statistiques d'une nouvelle classe de fonctions de comptage des chiffres appelées fonctions digitales restreintes. Nous présentons tout d'abord les principales propriétés des suites engendrées par une substitution ou un $q$-automate ainsi que la suite célèbre de Thue-Morse et ses généralisations, puis nous comparons ces notions avec celle de fonction digitale restreinte.Nous étudions ensuite les sommes d'exponentielles associées à ces fonctions digitales restreintes ainsi que leur application d'une part à l'étude de la répartition modulo 1 des fonctions digitales restreintes et d'autre part à l'étude des propriétés statistiques des suites arithmétiques définies par des fonctions digitales restreintes.Dans la dernière partie de ce travail on étudie la représentation géométrique de ces sommes d'exponentielle à la lumière des travaux antérieurs de Dekking et Mendès-France ce qui nous conduit à énoncer plusieurs problèmes ouverts. / In this work we study the arithmetic and statistic properties of a new class of digital counting functions called restricted digital functions. We first present the main properties of sequences generated by a substitution or a $q$-automate followed by presenting the famous Thue-Morse sequence and its generalizations, then we compare these notions with the one of the restricted digital function.We then study the exponential sums associated with these restricted digital function and their implementation on the one hand to the study of uniform distribution modulo 1 of these restricted digital functions and on the other, to the study of the statistical properties of the arithmetic sequences defined by restricted digital functions.In the last part of this work we study the geometric representation of these exponential sums in the light of previous works of Dekking and Mendès-France which leads us to announce several open problems.

La modélisation multi-échelle des procédés de solidification présente un grand intérêt pour les industries. Toutefois, il est difficile de coupler les phénomènes prenant place à de multiples échelles pour obtenir des simulations quantitatives à grande échelle. Ceci est réalisé en combinant trois méthodes : les éléments finis (FE), un automate cellulaire (CA) et la méthode Parabolic Thick Needle(PTN). La méthode FE permet une résolution des équations de conservation écrites pour des quantités moyennées, ce qui est adapté aux calculs de grands domaines. Elle permet la description macroscopique des transferts de chaleur et de masse. De plus, la méthode CA permet de suivre le développement de l’enveloppe de chaque grain dendritique à une échelle mésoscopique. Le couplage de ces deux méthodes est le modèle CAFE et il a démontré son efficacité pour simuler quantitativement la solidification et notamment la transition colonnaire - équiaxe. Le Dendritic Needle Network (DNN) est une méthode mésoscopique introduite récemment. Celle-ci s’appuie sur la conservation de la masse de soluté à proximité des pointes dendritiques pour calculer avec précision leur cinétique de croissance. Comme cette méthode repose sur l’estimation directe du gradient de composition à l’interface solide/liquide, le régime de croissance n’est plus supposé stationnaire. Nous introduisons la méthode Parabolic Thick Needle PTN reprenant la méthode de croissance du DNN pour une pointe. Elle est implémentée avec une méthode des éléments finis pour résoudre le flux de soluté est largement validé par rapport aux résultats analytiques provenant de la solution d’Ivantsov. Le couplage du CAFE avec la cinétique de croissance provenant du PTN permet d’obtenir un modèle unique de solidification s’appuyant sur 3 échelles. La grille CA gère à la fois la forme des enveloppes des grains et les mécanismes de ramification. Le maillage FE est utilisé pour résoudre les problèmes de flux et de conservation de masse et d’énergie à la fois à l’échelle de la couche de soluté de la pointe et à l’échelle du domaine simulé. Ceci est rendu possible grâce à une stratégie de remaillage anisotrope multi-critères. Diverses simulations démontrent les capacités du modèle. Les pistes d’amélioration sont développées pour espérer, à terme, une simulation 3D d’expériences de laboratoire. / Multiscale modelling of solidification processes is of great interest for industries. However coupling the multiple scale phenomena to reach quantitative large simulations is challenging. This is achieved using a combination of three methods : the Finite Element (FE), the Cellular Automaton (CA) and the Parabolic Thick Needle (PTN). The FE method provides a solution of the conservation equations, written for volume average quantities, that is suitable for large domain size computations. It serves for macroscopic description of heat and mass transfers. Additionally, the CA method tracks the development of the envelope of each individual dendritic grain at a mesoscopic scale. The coupling of these two methods is the CAFE model and was demonstrated to provide efficient and quantitative simulations of the columnar-to-equiaxed transition for instance. The Dendritic Needle Network (DNN) is another mesoscopic method recently introduced. It uses solute mass balance considerations in the vicinity of the tip of the dendrites to compute accurately the growth kinetics. Because it relies on adirect estimation of the composition gradient at the solid-liquid interface, steady state growth regime is no longer assumed. We introduce the Parabolic Thick Needle (PTN) method inspired from the DNN’s computed growth idea for one dendritetip. Its implementation with a FE method to solve the solute flow is extensively validated against analytical results given by the Ivantsov solution. Coupling CAFE with PTN computed growth kinetics provides a unique solidification model. The CA grid handles both the shape of the grain envelopes and branching mechanisms. The FE mesh is used to solve flux and conservation of mass and energy at both the scale of the dendrite tip solute layer and the domain dimensions. It is possible thanks to adaptive remeshing strategies. Various simulations demonstrate the capabilities of the model. The improvement areas are being developed in order to hope, in the long term, for 3D simulation laboratory experiments.

Ce manuscrit présente une étude des mécanismes de condensation et d'évaporation dans des membranes d'alumine poreuse. Ce matériau poreux possède des pores quasi-cylindriques de taille nanométrique faiblement distribués en diamètres qui, contrairement à beaucoup d'autres milieux poreux, ne sont pas interconnectés. L'alumine poreuse est donc un milieu idéal pour sonder l'influence du confinement sur la condensation et l'évaporation à l'échelle du pore unique.La première partie discute mes résultats dans des membranes disposant de pores droits ouverts aux deux extrémités ou fermés d'un côté. Des mesures d'isothermes de sorption à l'hexane couplées à une étude originale du comportement optique des membranes pour sonder la répartition du liquide dans les pores, indiquent ces derniers ne sont pas parfaitement cylindriques, mais ont une forme conique et possèdent des corrugations marquées. En tenant compte de ces imperfections grâce à des simulations par automate cellulaire, j'ai pu reproduire numériquement les isothermes mesurées. Cet accord montre que la théorie de Saam & Cole décrit bien la condensation et l'évaporation dans un pore unique.La seconde partie met en évidence l'évaporation par cavitation dans les membranes d'alumine poreuse. Un protocole de synthèse spécifique m'a permis d'obtenir des membranes avec des pores en forme d'encrier. Dans ces dernières, j'ai systématiquement observé, optiquement et volumétriquement, une vidange brutale des pores à 0.33 Psat.Celle-ci correspond à la cavitation homogène de l'hexane dans les cavités des encriers, c'est-à-dire à la nucléation thermiquement activée d'une bulle de gaz sphérique dans le liquide sous tension. Il s'agit de la première observation directe d'un tel mécanisme d'évaporation dans des membranes poreuses. / This manuscript presents a study of condensation and evaporation mechanisms in porous alumina membranes. This porous material has almost cylindrical pores of nanometric diameter with a narrow pore size distribution. Unlike many other porous media, their pores are not interconnected. Porous alumina is therefore an ideal material to probe the effects of confinement on condensation and evaporation in a single pore.The first part discusses my results obtained on membranes with straight pores open at both extremities or closed at one side. Sorption isotherms using hexane coupled to an original study of the membranes optical behaviour allow us to probe the liquid distribution within the pores. The results show that our pores are not perfectly cylindrical but funnel shaped and present corrugations. I numerically reproduced the measured isotherms with a cellular automaton, which takes into account the pores defects. This agreement implies that condensation and evaporation in a single pore are properly described by Saam & Cole theory.The second part evidences evaporation by cavitation in porous alumina membranes. A specific synthesis protocol is used to produce membranes with ink-bottle shaped pores. These membranes undergo a systematic and sudden emptying at 0.33 Psat, as measured by the optic and volumetric signals. This is the signature of the homogeneous cavitation of the liquid contained inside the ink-bottles, i.e. the nucleation of a spherical gas bubble in a liquid under tension. This is the first direct observation of such an evaporation process in porous membranes.

This thesis covers the theme of cloud integration platforms as a service with Ida Infronts information and task management system iipax one. The premise of this thesis is to research the most optimal cloud integration platform and find what cloud-based functions that are useful for iipax one. Using a cloud integration platform with iipax one could be beneficial for the users as it allows them to automate simple repetitive tasks. But choosing an integration platform is not a simple undertaking as there are many available platforms, all with their own unique features. To find a suitable platform first we investigated potential platforms which revealed Power Automate, Zapier and IFTTT as candidates. Our comparison based on a literature study showed that Power Automate is most suitable for iipax one. Finally, we created a prototype implementation to integrate iipax one with Power Automate. The conclusion is that Power Automate is the best suited platform for iipax one. Although Zapier is a close second. For the useful functions we concluded that it is more important with templates that users can adopt rather than a multitude of triggers and actions.