Le système respiratoire est très complexe de par sa structure fractale qui induit des physiques très différentes. Les bouchons liquides caractéristiques de certaines maladies comme la mucoviscidose, les bronchites chroniques ou l’asthme résultent de l’accumulation de mucus dans les voies pulmonaires. Comprendre les mécanismes à l’œuvre lors de l’écoulement de ces bouchons lors d’un cycle respiratoire est donc primordial pour améliorer notre compréhension et le traitement de ces pathologies. Nous présentons dans cette thèse une première étude théorique et expérimentale de la dynamique de ces bouchons liquides dans des tubes capillaires rigides soumis à des forçages unidirectionnels et cycliques. Nous avons développé au cours de ce travail un modèle simplifié permettant de reproduire quantitativement les dynamiques observées, de comprendre la physique sous-jacente et d’identifier les sources d’instabilités qui entraînent la rupture d’un pont liquide. Ce modèle nous a permis de déterminer les pressions critiques nécessaires à la réouverture des voies pulmonaires. Ensuite, nous nous sommes intéressés à la dynamique des ponts liquides dans des tubes rectangulaires. Nous avons identifié de nouveaux régimes qui n’apparaissent pas dans les géométries cylindriques, et en particulier un régime d’oscillation stable sous forçage en pression périodique. Enfin nous nous sommes intéressés à la dynamique cyclique de ponts liquides dans des réseaux synthétiques en arbres. Nos premiers résultats montrent que les ponts qui ne sont pas détruits lors du premier demi-cycle persistent très longtemps dans les voies et oscillent de manière cyclique dans une génération jusqu’à leur rupture. / Owing to the complexity of the respiratory system, the mechanism of breathing is not well understood, especially in pathological conditions when airways are obstructed by mucus. The presence of liquid plugs resulting from the accumulation of mucus in the bronchial tree is a characteristic of genetic diseases like cystic fibrosis or chronic diseases like asthma or chronic bronchitis. Thus, understanding the dynamics of these plugs during the breathing cycle is essential to improve our understanding of those diseases. In this thesis, we study experimentally and theoretically, the dynamics and rupture of liquidplugs under unidirectional and cyclic forcing in a rigid capillary tube. We develop a reduced dimension model, which quantitatively reproduces the observed dynamics, unveil the underlying physics and in particular the sources of the plug instability leading to its rupture. From this model, we are able to derive the critical pressure magnitude required to reopen obstructed pathways. Then we investigated the cyclic dynamics of liquid plugs in rectangular channels, a geometry of the utmost interest for microfluidic systems. In this case, we show that under cyclic pressure forcing, two regimes can be observed depending on the values of the capillary number: one leading to the rupture of the plug and one to stable cyclic oscillations.Finally, in the last part of this work, we study experimentally the cyclic forcing of liquid plugs in tree structures mimicking the geometry of intermediate generation of the lung. These preliminary results show that plugs not ruptured during the first half cycle persist in the airways for a long time and oscillate until their rupture.

Notre travail de recherche concerne l'étude de la commande à base de modèles pour une sous-classe de systèmes dynamiques hybrides (SDH). L'outil de modélisation choisi est l'automate hybride rectangulaire (AHR) pour sa puissance d'analyse. Nous proposons ainsi une méthode pour la synthèse de la commande des SDH modélisés par des AHR. Cette méthode repose sur l'application d'une procédure amont/aval de commande hors-ligne qui détermine d'une façon maximale permissive les nouvelles gardes de transition de l'automate respectant des spécifications de commande imposées par l'utilisateur. Tous les calculs réalisés reposent sur la détermination de la durée de séjour, valeur contrainte par l'espace atteignable du sommet correspondant. La garde portant à la fois sur l'état continu et sur l'événement discret, la commande se fait par ce dernier car il s'agit du seul élément contrôlable. Nous nous intéressons alors à la construction du contrôleur temporisé autorisant l'occurrence des événements contrôlables du système dans un intervalle d'horloge défini au sens de la maximale permissivité.

Notre travail de recherche concerne l’étude de la commande à base de modèles pour une sous-classe de systèmes dynamiques hybrides (SDH). L’outil de modélisation choisi est l’automate hybride rectangulaire (AHR) pour sa puissance d’analyse. Nous proposons ainsi une méthode pour la synthèse de la commande des SDH modélisés par des AHR. Cette méthode repose sur l’application d’une procédure amont/aval de commande hors-ligne qui détermine d’une façon maximale permissive les nouvelles gardes de transition de l’automate respectant des spécifications de commande imposées par l’utilisateur. Tous les calculs réalisés reposent sur la détermination de la durée de séjour, valeur contrainte par l’espace atteignable du sommet correspondant. La garde portant à la fois sur l’état continu et sur l’événement discret, la commande se fait par ce dernier car il s’agit du seul élément contrôlable. Nous nous intéressons alors à la construction du contrôleur temporisé autorisant l’occurrence des événements contrôlables du système dans un intervalle d’horloge défini au sens de la maximale permissivité. / In this thesis, we study the control of a class of hybrid dynamic systems (HDS). The chosen modeling tool is the rectangular hybrid automaton (RHA) for his analysis power. We propose a method for the control synthesis of HDS modeled with RHA. This method consists on the application of a downstream/upstream offline control procedure that determines in a maximal permissive way the new automaton transition guards respecting the desired control specifications. All computations are based on the determination of the duration of stay, a value constrained by the reachable space of the corresponding location. Since the guard refers to both continuous state and discrete event, the control is made by the latter because it is the controllable element. Then we are interested in the construction of the timed controller authorizing the system controllable event occurrence in a clock interval defined in a maximal permissive way.

L’étude du comportement trajectoriel des champs/processus stochastiques est un sujet de recherche classique en théorie des probabilités et dans des domaines connexes comme la géométrie fractale. Dans cet objectif, plusieurs méthodes ont été développées depuis longtemps afin d’étudier le comportement des trajectoires de champs/processus gaussiens. Ces méthodes reposent souvent sur une structure hilbertienne « sympathique », et peuvent aussi nécessiter la finitude de moments d’ordre élevé. Ainsi, elles sont difficilement transposables dans des cadres de lois à queue lourde. Ces dernières sont importantes en probabilités et en statistique parce qu’elles constituent une contrepartie naturelle des lois gaussiennes. Dans le cas de certains champs/processus stables linéaires de type moyenne mobile non anticipative, tels que le drap fractionnaire stable linéaire et le mouvement multifractionnaire stable linéaire, des méthodes d’ondelettes, assez nouvelles, se sont déjà avérées fructueuses dans l’étude du comportement trajectoriel. Peut-on adapter cette méthodologie à certains champs/processus stables harmonisables ? Donner une réponse à cette question est un problème assez délicat car, de façon générale, de grandes différences séparent le cadre stable harmonisable de celui de type moyenne mobile. Le principal objectif de la thèse est d’étudier cette question dans le cadre d’un champ stable harmonisable symétrique à accroissement stationnaire de forme générale. / Studying sample path behaviour of stochastic fields/processes is a classical research topic in probability theory and related areas such as fractal geometry. To this end, many methods have been developed for a long time in order to study sample path behaviour of Gaussian fields/processes. They often rely on some underlying "nice" Hilbertian structure, and can also require finiteness of moments of high order. Therefore, they can hardly be transposed to frames of heavy-tailed stable probability distributions. Such distributions are very important in probability and statistics because they are a natural counterpart to the Gaussian ones. In the case of some linear non-anticipative moving average stable fields/processes, such as the linear fractional stable sheet and the linear multifractional stable motion, rather new wavelet methods have already proved to be successful in studying sample path behaviour. Can this methodology be adapted to some harmonizable stable fields/processes? Providing an answer to this question is a non trivial problem, since, generally speaking, there are large differences between an harmonizable stable setting and a moving average one. The main goal of the thesis is to study this issue in the case of a stationary increments symmetric stable harmonizable field of a general form.

Notre travail de recherche concerne l'étude du diagnostic à base de modèles pour les systèmes temporisés et pour une sous-classe de systèmes dynamiques hybrides. Nous avons d'abord développé une méthode de diagnostic basée sur la compilation hors-ligne d'un diagnostiqueur à partir du modèle automate temporisé du système à diagnostiquer. Une méthode systématique permettant la vérification de la diagnosticabilité du modèle utilisé est ensuite donnée. Nous avons ensuite proposé une méthode de diagnostic pour une sous-classe de systèmes dynamiques hybrides modélisés par des automates hybrides rectangulaires. Cette méthode repose sur l'utilisation d'une procédure de diagnostic en-ligne qui estime l'état courant du système ainsi que les occurrences des défauts non-observables. Enfin, nous avons proposé une méthode de vérification de la diagnosticabilité du langage temporisé accepté par un automate hybride rectangulaire vérifiant les hypothèses considérées dans notre travail.

Modélisation 3D réaliste des bâtiments et d'autres objets de planification urbaine est un domaine de recherche actif dans le domaine de la modélisation 3D de la ville, la documentation du patrimoine, tourisme virtuel, la planification urbaine, la conception architecturale et les jeux d'ordinateur. La création de ces modèles, très souvent, nécessite la fusion des données provenant de diverses sources telles que les images optiques et de numérisation de nuages ​​de points laser. Pour imiter de façon aussi réaliste que possible les mises en page, les activités et les fonctionnalités d'un environnement du monde réel, ces modèles doivent atteindre de haute qualité et la précision de photo-réaliste en termes de la texture de surface (par exemple pierre ou de brique des murs) et de la morphologie (par exemple, les fenêtres et les portes) des objets réels. Rendu à base d'images est une alternative pour répondre à ces exigences. Il utilise des photos, prises soit au niveau du sol ou de l'air, à ajouter de la texture au modèle 3D ajoutant ainsi photo-réalisme.Pour revêtement de texture pleine de grandes façades des modèles de blocs 3D, des images qui dépeignent la même façade doivent être correctement combinée et correctement aligné avec le côté du bloc. Les photos doivent être fusionnés de manière appropriée afin que le résultat ne présente pas de discontinuités, de brusques variations de l'éclairage ou des lacunes. Parce que ces images ont été prises, en général, dans différentes conditions de visualisation (angles de vision, des facteurs de zoom, etc.) ils sont sous différentes distorsions de perspective, mise à l'échelle, de luminosité, de contraste et de couleur nuances, ils doivent être corrigés ou ajustés. Ce processus nécessite l'extraction de caractéristiques clés de leur contenu visuel d'images.Le but du travail proposé est de développer des méthodes basées sur la vision par ordinateur et les techniques de reconnaissance des formes, afin d'aider ce processus. En particulier, nous proposons une méthode pour extraire les lignes implicites à partir d'images de mauvaise qualité des bâtiments, y compris les vues de nuit où seules quelques fenêtres éclairées sont visibles, afin de préciser des faisceaux de lignes parallèles 3D et leurs points de fuite correspondants. Puis, sur la base de ces informations, on peut parvenir à une meilleure fusion des images et un meilleur alignement des images aux façades de blocs. / Realistic 3D modeling of buildings and other urban planning objects is an active research area in the field of 3D city modeling, heritage documentation, virtual touring, urban planning, architectural design and computer gaming. The creation of such models, very often, requires merging of data from diverse sources such as optical images and laser scan point clouds. To imitate as realistically as possible the layouts, activities and functionalities of a real-world environment, these models need to attain high photo-realistic quality and accuracy in terms of the surface texture (e.g. stone or brick walls) and morphology (e.g. windows and doors) of the actual objects. Image-based rendering is an alternative for meeting these requirements. It uses photos, taken either from ground level or from the air, to add texture to the 3D model thus adding photo-realism. For full texture covering of large facades of 3D block models, images picturing the same façade need to be properly combined and correctly aligned with the side of the block. The pictures need to be merged appropriately so that the result does not present discontinuities, abrupt variations in lighting or gaps. Because these images were taken, in general, under various viewing conditions (viewing angles, zoom factors etc) they are under different perspective distortions, scaling, brightness, contrast and color shadings, they need to be corrected or adjusted. This process requires the extraction of key features from their visual content of images. The aim of the proposed work is to develop methods based on computer vision and pattern recognition techniques in order to assist this process. In particular, we propose a method for extracting implicit lines from poor quality images of buildings, including night views where only some lit windows are visible, in order to specify bundles of 3D parallel lines and their corresponding vanishing points. Then, based on this information, one can achieve better merging of the images and better alignment of the images to the block façades. Another important application dealt in this thesis is that of 3D modeling. We propose an edge preserving interpolation, based on the mean shift algorithm, that operates jointly on the optical and the elevation data. It succeeds in increasing the resolution of the elevation data (LiDAR) while improving the quality (i.e. straightness) of their edges. At the same time, the color homogeneity of the corresponding imagery is also improved. The reduction of color artifacts in the optical data and the improvement in the spatial resolution of elevation data results in more accurate 3D building models. Finally, in the problem of building detection, the application of the proposed mean shift-based edge preserving smoothing for increasing the quality of aerial/color images improves the performance of binary building vs non-building pixel classification.

L'hybridation des méthodes numériques est l'une des nombreuses pistes dans la recherche de la rapidité et de l'efficacité et de la précision d'une modélisation électromagnétique des structures complexes associant des parties de formes régulières de grandes dimensions électriques et des parties de formes complexes de dimensions plus modestes. Au lieu d'une seule formulation globale, on cherche à appliquer l'hybridation de plusieurs méthodes numériques notamment la méthode variationnelle multimodale (MVM), la méthode des éléments finis (FEM) et les réseaux de neurones artificiels. Un nouveau schéma hybride original qui combine la MVM et la FEM a été proposé pour caractériser une discontinuité complexe dans un guide d'onde rectangulaire. Les résultats obtenus tout en étant conformes aux résultats fournis par les simulateurs commerciaux et les résultats expérimentaux, apportent une amélioration sensible quant au temps de calcul. Le schéma hybride a été étendu pour la caractérisation des discontinuités complexes en cascade et appliqué à la conception de filtres micro-onde présentant des discontinuités complexes permettant ainsi un gain de temps très important. L'hybridation des réseaux de neurones artificiels et les méthodes modales a amélioré le temps de calcul pour l'analyse des discontinuités simples dans les guides d'onde rectangulaires ce qui a permis d'améliorer l'optimisation des filtres à guides d'ondes nervurés. / Hybridization of numerical methods is one inventive way in the research of the rapidity, the efficiency and the precision of the electromagnetic modeling of complex structures joining straight and large elements with complex and small ones. Instead of a global and unique formulation, we hybridize many numerical methods which are the modal methods, the finite element methods and the artificial neural networks. A novel computer- ided design (CAD) tool of complex passive microwave devices in rectangular waveguide technology is suggested. The multimodal variational method is applied to the full-wave description in the rectangular waveguides while the finite element analysis characterizes waves in the arbitrarily shaped discontinuities. The suggested hybrid approach is successfully applied to the full-wave analysis of complex discontinuities with great practical interest, thus improving CPU time and memory storage against several full-wave finite element method (FEM) based CAD tools. The proposed hybrid CAD tool is successfully extended to the design of filters with cascaded complex discontinuities. The hybridization of modal methods and the artificial neural networks improved the CPU time in the analysis of simple waveguide discontinuities which enhanced the optimization of rectangular ridged waveguide filters.