La synthèse de haut niveau (High Level Synthesis (HLS)) est un domaine de recherche qui vise à automatiser le passage de la description d’un algorithme à une représentation au niveau registre de celui-ci en vue de son implantation sur un circuit numérique. Si le problème reste à ce jour largement ouvert pour des algorithmes quelconques, des solutions ont commencé à voir le jour au sein de domaines spécifiques. C’est notamment le cas dans le domaine du traitement d’images où l’utilisation du modèle flot de données offre un bon compromis entre expressivité et efficacité. C’est ce que nous cherchons à démontrer dans cette thèse, qui traite de l’applicabilité du modèle flot de données au problème de la synthèse haut niveau à travers deux exemples d’implantation d’applications de vision complexes sur FPGA. Les applications, issues du domaine de l’apprentissage supervisé sont un système de classification à bases de machines à vecteurs supports (SVM) et un système de reconnaissance exploitant un réseau de neurones convolutionnels (CNN). Dans les deux cas, on étudie les problématiques posées par la reformulation, au sein du modèle flot de données, des structures de données et algorithmes associés ainsi que l’impact de cette reformulation sur l’efficacité des implémentations résultantes. Les expérimentations sont menées avec CAPH, un outil de HLS exploitant le modèle flot de données. / High-level synthesis is a field of research that aims to automate the transformation from an high-level algorithmic description to a register level representation for its implementation on a digital circuit. Most of existing tools based on imperative languages try to provide a general solution to any type of existing algorithm. This approach can be inefficient in some applications where the algorithm description relies on a different paradigm from the hardware execution model. This major drawback can be figured out by the use of specific langages, named Domain Specific Language (DSL). Applied to the image processing field, the dataflow model appears as a good compromise between the expressiveness of the algorithm description and the final implementation efficiency. This thesis address the use of the dataflow programming model as response to high-level synthesis problematics for image processing algorithms on FPGA. To demonstrate the effectiveness of the proposed method but also to put forth the algorithmic reformulation effort to be made by the developer, an ambitious class of applications was chosen : supervised machine learning systems. It will be addressed in particular two algorithms, a classification system based on Support Vector Machine and a convolutional neural network. Experiments will be made with the CAPH langage, a specific HLS tool based on the dataflow programming model.

Dans les travaux en sciences humaines, le football est abordé selon deux axes : le football amateur et celui, plus médiatisé, des professionnels.Imaginés comme des monde imperméables, il est rarement fait mention du passage de l'un à l'autre que réalisent une poignée de jeunes passionnés. Présentés le plus souvent de manière hagiographique, les récits de vie des vedettes du ballon rond ne font pas mention des fondements de l'engagement sportif et des années passées en apprentissage dans les pôles d'excellence. La recherche présentée ici vise à mieux saisir, sociologiquement, les étapes d'entrée dans le haut niveau, des premières balles échangées en famille à la signature du contrat. Au centre de ce processus d'inclusion, le séjour dans un club formateur doit être examinée de manière approfondie. Ce travail, conçu dans une perspective interactionniste, étudie de façon compréhensive les relations interindividuelles au fondement de l'accès à la carrière de haut niveau. Dans cette optique, l'étude de l'école des Lionceaux, à Sochaux, constitue un bon exemple de la prise en charge des aspirants de par sa politique tournée vers la jeunesse et de ses bons résultats. Les données utilisées repose sur une triangulation des sources : des questionnaires, envoyés dans les centres de l'Hexagone, des observations des matchs et des temps de vie en pensionnat, des entretiens -enfin- auprès des apprentis et des entraîneurs. Les éléments collectés permettent de déconstruire le parcours de ceux qui s'engagent dans l'aventure de l'excellence sportive, qu'ils accèdent au Graal ou non. En effet, sur chaque promotion d'une quarantaine d'aspirants, seuls un ou deux signeront un contrat, les candidats éconduits devant renouer avec un quotidien loin des stades. Au-delà des trajectoires individuelles, c'est toute la dynamique de recrutement et de maintien des clubs au haut niveau que l'on entrevoit. / In human sciences field, there are two ways to study football : amateur football and professionnal, which got a widely media coverage. Seen like two worlds split, the coming up to professional from amateur football achieved by a handful of young players is rarely studied. Accounts of football star life's, often written in an hagiographic style, does not mention fondations of the sport entry or the years past in specialized centres of formation. This work aim, by sociological approaches, to the signature of a contract. Inside of this process, the time spent in instructive football clubs has to be studied in details. This work, conceived in an interactionist way, focuses on interindividual relationship which contributes on the access to high-level career. With this point of view, the Lionceaux school, in Sochaux, bring a good exampleof the way to train candidate, because of its youth politics and its good results. Our data comes from three kind of sources : the questionnaires sent to French football clubs, the watching of matches and lifetime in centers, and the interviews of players and coaches. It permits us to detailed candidates' careers, who succeed or not in the purchase of becoming a high-level footballer. Indeed, each year, from about forty players, only one or two will sign a contact, whereas the other will have to return to their lives, away from stadiums. Beyond individual career, we would see here the whole dynamics and maintenance of high-level football clubs.

Cette thèse comporte trois chapitres indépendants, consacrés à l’étude mathématique de trois problèmes physiques distincts, ayant pour modèles trois équations aux dérivées partielles différentes. Ces équations relèvent plus précisément de la méthode des surfaces de niveau, de la théorie de l’écoulement incompressible des matériaux non newtoniens et de la théorie cinétique des gaz raréfiés. Le premier chapitre de la thèse porte sur la dynamique des frontières en mouvement et contient une justification mathématique de la procédure numérique dite de ré-initialisation, dont les applications sont nombreuses dans le contexte de la célèbre méthode des surfaces de niveau. Nous appliquons ces résultats pour une classe d’équations issues de la méthode des surfaces de niveau de premier ordre. Nous écrivons la procédure de ré-initialisation comme un algorithme de décomposition et nous étudions la convergence de l’algorithme en utilisant des techniques d’homogénéisation dans la variable temporelle. Grâce à cette analyse rigoureuse nous introduisons également une nouvelle méthode pour l’approximation de la fonction de distance dans le contexte de la méthode des surfaces de niveau. Dans le cas où l’on cherche seulement une fonction de l’ensemble de niveau avec un gradient minoré proche du niveau zéro, nous proposons une approximation plus simple. Dans le cas général, où le niveau zéro pourrait présenter des changements de topologie, nous introduisons une nouvelle notion de limites relâchées. Dans le deuxième chapitre de la thèse, nous étudions un problème de frontière libre résultant de l’étude de l’écoulement incompressible d’un matériau non-newtonien, avec limite d’élasticité de type Drucker-Prager, sur un plan incliné et sous l’effet de la pesanteur. Nous obtenons une équation sous-différentielle, que nous formulons comme un problème variationnel avec un terme à croissance linéaire de type gradient, et nous étudions le problème dans un domaine non borné. Nous montrons que les équations sont bien posées et satisfont certaines propriétés de régularité. Nous sommes alors capables de relier les paramètres physiques avec le problème abstrait et de prouver des propriétés quantitatives de la solution. En particulier, nous montrons que la solution a un support compact, la limite de ce que nous appelons la frontière libre. Nous construisons également des solutions explicites d’une équation différentielle ordinaire qui peut estimer la frontière libre. Enfin, le troisième et dernier chapitre de la thèse est dédié aux solutions de l’équation de Boltzmann homogène avec molécules maxwelliennes et énergie infinie. Nous obtenons de nouveaux résultats d’existence de solutions éternelles pour cette équation dans un espace de mesures de probabilité d’énergie infinie (i.e. de moment d’ordre deux infini). Elles permettent de décrire le comportement asymptotique en temps d’autres solutions d’énergie infinie, mais elles apparaissent aussi comme des états asymptotiques intermédiaires dans l’étude des solutions d’énergie finie, mais arbitrairement grande. Les méthodes issues de l’analyse harmonique sont utilisées pour étudier l’équation de Boltzmann, où la variable de vitesse est exprimée en Fourier. Enfin, un changement d’échelle logarithmique en la variable temporelle permet de déterminer le bon comportement asymptotique à l’infini des solutions / This thesis consists of three different and independent chapters, concerning the mathematical study of three distinctive physical problems, which are modelled by three non- linear partial differential equations. These equations concern the level set method, the theory of incompressible flow of non-Newtonian materials and the kinetic theory of rare- fied gases. The first chapter of the thesis concerns the dynamics of moving interfaces and contains a rigorous justification of a numerical procedure called re-initialization, for which there are several applications in the context of the level set method. We apply these results for first order level set equations. We write the re-initialization procedure as a splitting algorithm and study the convergence of the algorithm using homogenization techniques in the time variable. As a result of the rigorous analysis, we are also able to introduce a new method for the approximation of the distance function in the context of the level set method. In the case where one only looks for a level set function with gradient bounded from below near the zero level, we propose a simpler approximation. In the general case where the zero level might present changes of topology we introduce a new notion of relaxed limits. In the second chapter of the thesis, we study a free boundary problem arising in the study of the flow of an incompressible non-Newtonian material with Drucker-Prager plasticity on an inclined plane. We derive a subdifferential equation, which we reformulate as a variational problem containing a term with linear growth in the gradient variable, and we study the problem in an unbounded domain. We show that the equations are well posed and satisfy some regularity properties. We are then able to connect the physical parameters with the abstract problem and prove some quantitative properties of the solution. In particular, we show that the solution has compact support and the support is the free boundary. We also construct explicit solutions of an ordinary differential equation, which we use to estimate the free boundary. The last chapter of the thesis is dedicated to the study of infinite energy solutions of the homogeneous Boltzmann equation with Maxwellian molecules. We obtain new results concerning the existence of eternal solutions in the space of probability measure with infinite energy (i.e. the second order moment is infinite). These solutions describe the asymptotic behaviour of other infinite energy solutions but could also be useful in the study of intermediate asymptotic states of solutions with finite but arbitrarily large energy. We use harmonic analysis tools to study the equation, where the velocity variable is expressed in the Fourier space. Finally, a logarithmic scaling of the time variable allows to determine the correct asymptotic scaling of the solutions

Fondés sur la technologie IP, les réseaux de nouvelle génération (NGN) doivent surmonter les principaux défauts inhérents à cette technologie, à savoir l’absence de la qualité de service (QoS), la sécurité et la gestion de mobilité. Afin de garantir une offre de service dans un réseau NGN, un protocole de négociation de niveau de service peut être utilisé. Cependant, la majorité des protocoles de négociation existants permettent l’établissement d’un niveau de service qui ne couvre que la QoS. Quant à la sécurité et la mobilité, elles ont été souvent exclues de ces négociations, et donc gérées d’une manière indépendante. Cependant, la sécurisation d’un service peut causer la dégradation de la QoS, et la mobilité de l’utilisateur peut modifier ses besoins. D’où, l’intérêt de gérer simultanément la QoS et la sécurité tout en prenant en considération la mobilité des utilisateurs. Dans ce contexte, nous proposons de développer un protocole de signalisation qui permet à des clients fixes ou mobiles de négocier, d’une manière dynamique, automatique et sécurisée, un niveau de service couvrant à la fois la QoS et la sécurité. Notre contribution est composée de trois parties. Dans un premier temps, nous nous basons sur un protocole de négociation de QoS, utilisant les services web, afin de permettre la négociation conjointe de la sécurité et de la QoS tout en tenant compte de l’impact de la sécurité sur la QoS. Par la suite, cette négociation est rendue automatique en la basant sur un profil utilisateur qui permet d’adapter le niveau de service au contexte de l’utilisateur. Ainsi, l’offre de service est plus dynamique et peut s’adapter aux changements de réseau d’accès suite à la mobilité de l’utilisateur. Nous proposons, finalement, de sécuriser le flux de négociation afin de pallier aux différents types d’attaques qui peuvent viser les messages de négociation échangés. / Based on the IP technology, the next generation network (NGN) must overcome the main drawbacks of this technology consisting in the lack of quality of service (QoS), security and mobility management. To ensure a service offer in an NGN, a protocol for negotiating service level can be used. However, most of the existing negotiation protocols allow the establishment of a service level which includes only QoS. As for security and mobility, they were often not covered by these negotiations, and therefore managed independently. However, securing a service can cause degradation of the QoS, and the mobility of a user can change the service needs in terms of QoS and security. Thus, we need to simultaneously manage QoS and security while taking into account user’s mobility. In this context, we propose to develop a signaling protocol that allows fixed and mobile users to negotiate a service level covering both QoS and security, in a dynamic, automatic and secure manner. Our contribution is achieved in three steps. Initially, we rely on a signaling protocol, which performs QoS negotiation using web services, to enable the negotiation of both security and QoS while taking into account the impact of security on QoS. Then, this negotiation is automated by basing it on a user profile. This allows adjusting the service level according to changes which can occur on the user context. Thus, the service offer is more dynamic and can be adapted to changes of access network resulting from the mobility of the user. Finally, we propose to secure the negotiation flows in order to prevent the different attacks that can target the exchanged messages during a negotiation process.

La caractérisation et le monitoring des ressources en eau souterraine et des processus d'écoulement et de transport associés reposent principalement sur la mise en place de forages (piézomètres). Mais la variété des échelles auxquelles se déroulent ces processus et leur variabilité dans l'espace et dans le temps limitent l'interprétation des observations hydrogéologiques. Dans un tel contexte, l'hydrogéophysique fait appel aux méthodes de prospection géophysique afin, notamment, d'améliorer la très faible résolution spatiale des données de forage et de limiter leur caractère destructif. Parmi les outils géophysiques appliqués à l'hydrogéologie, les méthodes sismiques sont régulièrement utilisées à différentes échelles. Mais la réponse sismique dans le contexte de la caractérisation des aquifères reste complexe. L'interprétation des vitesses estimées est souvent délicate à cause de leur variabilité en fonction de la lithologie de l'aquifère (paramètres mécaniques intrinsèques et géométrie des milieux poreux le constituant, influence du degré de saturation, etc). La perméabilité du milieu a également un effet sur la géométrie d'un réservoir hydrologique dont les contours peuvent varier en espace comme en temps, compliquant ainsi l'interprétation des données sismiques.Les géophysiciens cherchent à pallier ces limites, notamment à travers l'étude conjointe des vitesses (Vp et Vs) des ondes compression (P) et de cisaillement (S), dont l'évolution est par définition fortement découplée en présence de fluides. D'un point de vue théorique, cette approche se révèle appropriée à la caractérisation de certains aquifères, en particulier grâce à l'estimation des rapports Vp/Vs ou du coefficient de Poisson. L'évaluation de ces rapports peut être pratiquée de manière systématique grâce à la tomographie sismique en réfraction en utilisant parallèlement ondes P et S. Mais d'un point de vue pratique, la mesure de Vs reste délicate à mettre en oeuvre car les ondes S sont souvent difficiles à générer et à identifier sur les enregistrements sismiques. Une alternative est proposée par l’estimation indirecte de Vs à partir de l’inversion de la dispersion des ondes de surface, réalisée à partir de mesures de la vitesse des ondes de surface contenues dans les enregistrements sismiques classiques. Bien que généralement proposée pour la caractérisation de milieux 1D, la prospection par ondes de surface peut être déployée le long de sections linéaires dans le but de reconstruire un modèle 2D de distribution des Vs du sous-sol.Une méthodologie a été mise au point afin d'exploiter simultanément et de façon optimale les ondes P et les ondes de surface à partir des mêmes enregistrements sismiques. Lors de sa mise en oeuvre sur le terrain, cette acquisition « en ondes P » a été systématiquement suivie d'une acquisition « en ondes SH » afin de comparer les vitesses Vs obtenues par analyse de la dispersion des ondes de surface et par tomographie en ondes SH. L'utilisation de cette méthodologie dans différents contextes géologiques et hydrogéologiques a permis d'estimer les variations latérales et temporelles du rapport Vp/Vs, en bon accord avec les informations géologiques a priori et les données géophysiques et piézométriques existantes. L'utilisation de l'interférométrie laser a également permis de mettre ces techniques de traitement en application sur des modèles physiques parfaitement contrôlés afin d'étudier la propagation des ondes élastiques dans des « analogues » réalistes de milieux poreux partiellement saturés. / Characterisation and monitoring of groundwater resources and associated flow and transport processes mainly rely on the implementation of wells (piezometers). The interpretation of hydrogeological observations is however limited by the variety of scales at which these processes occur and by their variability in space and in time. In such a context, using geophysical methods often improves the very low spatial resolution of borehole data and limits their destructive nature. Among the geophysical tools applied to hydrogeology, seismic methods are commonly used at different scales. However, the seismic response in the context of aquifer characterisation remains complex. The interpretation of the estimated velocities is often difficult because of their variability depending on the aquifer lithology (intrinsic mechanical parameters and geometry of the constituting porous media, influence of the degree of saturation, etc). The permeability of the medium also affects the geometry of a hydrological reservoir whose contours may vary in space and in time, thus complicating the interpretation of seismic data. Geophysicists seek to overcome these limitations, especially through the joint study of compression (P-) and shear (S-) wave velocities (Vp and Vs), whose evolution is by definition highly decoupled in the presence of fluids. From a theoretical point of view, this approach proves suitable for the characterisation of aquifers, especially by estimating Vp/Vs or Poisson's ratio. The evaluation of these ratios can be systematically carried out with seismic refraction tomography using both P- and S-waves. However, retrieving Vs remains practically delicate because S-waves are usually difficult to generate and identify on seismic records. As an alternative, indirect estimation of Vs is commonly achieved thanks to surface-wave dispersion inversion, carried out from measurements of surface waves phase velocities contained in typical seismic records. Although it is usually proposed for the characterisation of 1D media, surface-wave prospecting can be deployed along linear sections in order to build 2D models of Vs distribution in the ground. A specific methodology has been developed for the combined and optimised exploitation of P- and surface waves present on single seismic records. When deployed on the field, this "P-wave" acquisition has been systematically followed by a "SH-wave" acquisition in order to compare Vs models obtained from surface-wave dispersion analysis and SH-wave refraction tomography. The use of this methodology in several geological and hydrogeological contexts allowed for estimating Vp/Vs ratio lateral and temporal variations in good agreement with a priori geological information and existing geophysical and piezometric data. Laser-based ultrasonic techniques were also proposed to put these processing techniques in practice on perfectly controlled physical models and study elastic wave propagation in partially saturated porous media.

Exprimer le parallélisme dans la programmation de manière simple et performante est un défi auquel l'informatique fait face, en raison de l'évolution actuelle des architectures matérielles. BSML est un langage permettant une programmation parallèle de haut niveau, structurée, qui participe à cette recherche. En s'appuyant sur le coeur du langage existant, cette thèse propose d'une part des extensions qui en font un langage plus général et plus simple (traits impératifs tels que références et exceptions, syntaxe spécifique...) tout en conservant et étendant sa sûreté (sémantiques formelles, système de types...) et d'autre part une méthodologie de développement d'applications parallèles certifiées / Finding a good paradigm to represent parallel programming in a simple and efficient way is a challenge currently faced by computer science research, mainly due to the evolution of machine architectures towards multi-core processors. BSML is a high level, structured parallel programming language that takes part in the research in an original way. By building upon existing work, this thesis extends the language and makes it more general, simple and usable with added imperative features such as references and exceptions, a specific syntax, etc. The existing formal and safety characteristics of the language (semantics, type system...) are preserved and extended. A major application is given in the form of a methodology for the development of fully proved parallel programs

Ce manuscrit présente une méthode de conception au niveau système reposant sur la programmation fonctionnelle typée et visant à atténuer certains des problèmes complexifiant le développement des systèmes numériques modernes, tels que leurs tailles importantes ou la grande variété des blocs les constituant. Nous proposons un ensemble de mécanismes permettant de mélanger au sein d'un même design plusieurs formalismes de description distincts («modèles de calcul») se situant potentiellement à des niveaux d'abstraction différents. De plus, nous offrons au concepteur la possibilité d'expliciter directement les paramètres explorables de chaque sous-partie du design, puis d'en déterminer des valeurs acceptables via une étape d'exploration partiellement ou totalement automatisée réalisée à l'échelle du système. Les gains qu'apportent ces stratégies nouvelles sont illustrés sur plusieurs exemples. / This work presents a novel system-level design method based on typed functional programming and aiming at mitigating some of the issues making the development of modern digital systems complex, such as their increasing sizes and the variety of their subcomponents. We propose a range of mechanisms allowing to mix within a single design several description formalisms (``models of computation''), possibly at different abstraction levels. Moreover, the designer is provided with means to directly express the explorable parameters of each part of their design, and to find acceptable values for them through a partially or totally automatic system-wide architectural exploration step. The advantages brought by those new strategies are illustrated on several examples.

La première préoccupation de cette thèse est le problème de deux fluides ou un fluide à deux phases, c’est-à-dire que nous nous sommes intéressés à la simulation d’écoulements impliquant deux ou plusieurs fluides visqueux incompressibles immiscibles de propriétés mécaniques et rhéologiques différentes. Dans ce contexte, nous avons considéré que l’interface mobile entre les deux fluides est représentée par la ligne de niveau zéro d’une fonction ligne de niveau et régie par l’équation d’advection, où le champ advectant est la solution des équations de Navier-Stokes. La plupart des méthodes de capture d’interface utilisent une grille cartésienne fixe au cours de la simulation. Contrairement à ces approches, la nôtre est fortement basée sur l’adaptation de maillage, notamment au voisinage de l’interface. Cette adaptation de maillage permet une représentation précise de l’interface, à l’aide de ses propriétés géométriques, avec un nombre de degrés de liberté minimal.La résolution d'un problème à deux fluides est résumée par les étapes suivantes:- Résoudre les équations de Navier-Stokes par la méthode de Lagrange-Galerkin d’ordre 1;- Traitement géométrique la tension de surface se basant sur la discrétisation explicite de l'interface dans le domaine de calcul;- Résoudre l'équation d’advection par la méthode des caractéristiques;- Les techniques de l'adaptation de maillage.On propose ici un schéma entre l’advection de l’interface, la résolution des équations de Navier-Stokes et l’adaptation de maillage. Certains résultats des exemples classiques pour les deux problèmes de monofluide et bifluide comme la cavité entrainée, la rémontée d’une bulle, la coalescence de deux bulles et les instabilités Rayleigh-Taylor sont étudiés en deux et trois dimensions.La deuxième partie de cette thèse est liée à l'optimisation des formes en mécanique des fluides. Nous construisons un schéma numérique en utilisant la méthode des lignes de niveau et l’adaptation de maillage dans le contexte des systèmes de Stokes. Le calcul de la sensibilité de la fonction objective est liée à la méthode de variation des limites d’Hadamard et les dérivées des formes sont calculées par la méthode de Céa. Un exemple numérique avec la fonction objective de la dissipation d'énergie est présenté pour évaluer l'efficacité et la fiabilité du schéma proposé. / The first concern of this thesis is the problem of two fluids flow or two-phase flow, i.e weare interested in the simulation of the evolution of an interface (or a free surface) between twoimmiscible viscous fluids or two phases of a fluid. We propose a general scheme for solving two fluids flow or two-phase flow which takes advantage of the flexibility of the level set method for capturing evolution of the interfaces, including topological changes. Unlike similar approaches that solve the flow problem and the transport equation related to the evolution of the interface on Cartesian grids, our approach relies on an adaptive unstructured mesh to carry out these computations and enjoys an exact and accurate description of the interface. The explicit representation of the manifold separating the two fluids will be extracted to compute approximately the surface tension as well as some algebraic quantities like the normal vector and the curvature at the interface.In a nutshell, the resolution of a two-fluid problem is summarized by the steps involves thefollowing ingredients:– solving incompressible Navier-Stokes equations by the first order Lagrange-Galerkin method;– geometrical treatment to evaluate the surface tension basing on the explicit discretisation of the interface;– solving the level set advection by method of characteristics; – the techniques of mesh adaptation.It is obvious that no numerical method is completely exact in solving the PDE problemat hand, hence, we need a discretized computational domain. However, the accuracy of numericalsolutions or the mass loss/gain can generally be improved with mesh refinement. The question thatarises is related to where and how to refine the mesh. At each time, our mesh adaptation producesthe adapted mesh based on the geometric properties of the interface and the physical properties ofthe fluid, simply speaking, only one adapted mesh at each time step to assume both the resolutionof Navier-Stokes and the advection equations. It answers to the need for an accurate representationof the interface and an accurate approximation of the velocity of fluids with a minimal number ofelements, then decreasing the amount of computational time. Some results of the classical examples for both problems of monofluid and bifluid flows as : lid-driven cavity, rising bubble, coalescence of two bubbles, and Rayleigh-Taylor instability are investigated in two and three dimensions.The second part of this thesis is related to shape optimization in fluid mechanics. We construct a numerical scheme using level set method and mesh adaptation in the context of Stokes systems. The computation of the sensitivity of objective function is related to the Hadamard’s boundary variation method and the shape derivatives is computed by Céa’s formal method. A numerical example with theobjective function of energy dissipation is presented to assess the efficiency and the reliability of theproposed scheme.

Cette thèse porte sur l'analyse visuelle de scènes intérieures capturées par des caméras de profondeur dans le but de convertir leurs données en information de haut niveau sur la scène. Elle explore l'application d'outils d'analyse géométrique 3D à des données visuelles de profondeur en termes d'amélioration de qualité, de recalage et de consolidation. En particulier, elle vise à montrer comment l'abstraction de formes permet de générer des représentations légères pour une analyse rapide avec des besoins matériels faibles. Cette propriété est liée à notre objectif de concevoir des algorithmes adaptés à un fonctionnement embarqué en temps réel dans le cadre d'appareils portables, téléphones ou robots mobiles. Le contexte de cette thèse est l'exécution d'un procédé d’interaction 3D temps réel sur un appareil mobile. Cette exécution soulève plusieurs problématiques, dont le placement de zones d'interaction 3D par rapport à des objets environnants réels, le suivi de ces zones dans l'espace lorsque le capteur est déplacé ainsi qu'une utilisation claire et compréhensible du système par des utilisateurs non experts. Nous apportons des contributions vers la résolution de ces problèmes pour montrer comment l'abstraction géométrique de la scène permet une localisation rapide et robuste du capteur et une représentation efficace des données fournies ainsi que l'amélioration de leur qualité et leur consolidation. Bien que les formes géométriques simples ne contiennent pas autant d'information que les nuages de points denses ou les ensembles volumiques pour représenter les scènes observées, nous montrons qu’elles constituent une approximation acceptable et que leur légèreté leur donne un bon équilibre entre précision et performance. / This PhD thesis focuses on the problem of visual scene analysis captured by commodity depth sensors to convert their data into high level understanding of the scene. It explores the use of 3D geometry analysis tools on visual depth data in terms of enhancement, registration and consolidation. In particular, we aim to show how shape abstraction can generate lightweight representations of the data for fast analysis with low hardware requirements. This last property is important as one of our goals is to design algorithms suitable for live embedded operation in e.g., wearable devices, smartphones or mobile robots. The context of this thesis is the live operation of 3D interaction on a mobile device, which raises numerous issues including placing 3D interaction zones with relation to real surrounding objects, tracking the interaction zones in space when the sensor moves and providing a meaningful and understandable experience to non-expert users. Towards solving these problems, we make contributions where scene abstraction leads to fast and robust sensor localization as well as efficient frame data representation, enhancement and consolidation. While simple geometric surface shapes are not as faithful as heavy point sets or volumes to represent observed scenes, we show that they are an acceptable approximation and their light weight makes them well balanced between accuracy and performance.

Ce manuscrit de doctorat propose une méthode expérimentale pour la caractérisation du cycle limite acoustique atteint par les auto-oscillations générées dans un moteur thermoacoustique.Pour cela, un capteur d'impédance fort niveau est développé dans le but de mesurer l'impédance d'entrée d'un noyau thermoacoustique en fonction de la puissance de chauffage fournie, de la fréquence et de l'amplitude du forçage acoustique.L'utilisation de ces mesures permet de prédire avec succès la génération spontanée d'auto-oscillations ainsi que leur saturation jusqu'à un régime établi, pour différentes charges attachées au noyau.Les mesures ainsi obtenues sont comparées à un modèle établi sur la base de la théorie linéaire de la thermoacoustique, couplé un modèle thermique simplifié, menant à une meilleure compréhension des processus physiques responsables de la saturation des oscillations acoustiques.La procédure expérimentale décrite dans ce manuscrit permet aussi de proposer une méthode d'optimisation du couplage entre la charge et le noyau de manière à maximiser l'efficacité potentielle de la conversion d'énergie thermoacoustique.Finalement, une méthode expérimentale est décrite et permet l'étude de la stabilité des cycles limites, ou plus généralement de l'évolution lente de l'amplitude des auto-oscillations acoustiques, dans le cas où le moteur thermoacoustique est configuré de manière à donner lieu à un régime de déclenchements et arrêts périodiques. / This manuscript deals with the experimental characterization of the acoustic limit cycle reached by self-sustained oscillations generated in thermoacoustic engines.A specially designed, high amplitude, acoustic impedance sensor was developed to perform measurements of the input impedance of a thermoacoustic core, as a function of the heating power supplied to the device, of the frequency, and of the amplitude of acoustic forcing.Those measurements can then be used to predict the spontaneous generation of acoustic oscillations and their saturation up to a certain steady-state.Those predictions were successful for various acoustic loads connected to the thermoacoustic core.Moreover, the measurements of acoustic impedance as a function of the amplitude of acoustic oscillations are compared to a model based on the linear thermoacoustic theory, and this comparaison provides insights into the processes controlling the saturation of acoustic oscillations.The experimental procedure described in this manuscript also leads to a pratical way of optimizing the coupling between the thermoacoustic core and the load, in the way that the potential efficiency of thermoacoustic energy conversion is maximized.Finally, an experimental method is described and allows to study the stability of limit cycles, i.e. the temporal evolution of the self-oscillation amplitude, in the case of a system that is able to give rise to a spontaneous periodic \textit{trigg and stop} behavior.