La récupération du courant d'écoulement en tant que source d'énergie est une technologie ayant vu un regain d'intérêt depuis le début des années 2000. Le courant d'écoulement est récupéré en faisant passer un liquide dans des canaux microfluidiques ayant une taille de l'ordre de la dizaine de microns. Des travaux récents ont montré des réalisations générant des densités de puissance comparables à celles de méthodes de récupération d'énergie plus connues (piézoélectricité etc...), montrant que le courant d'écoulement peut être employé pour l'alimentation d'électronique de faible puissance. Cependant l'efficacité de transduction reste faible, de l'ordre de quelques pourcents. Une des pistes très prometteuses pour l'amélioration du rendement du phénomène est l'utilisation de surfaces superhydrophobes dans les micro- ou nanocanaux, avec un gain d'efficacité théorisé d'un ordre de grandeur, allant jusqu'à 37%. Cependant, à ce jour très peu de réalisations expérimentales existent sur ce sujet. Mon travail de thèse s'est inscrit directement dans cette problématique, avec l'étude expérimentale de l'influence d'une surface superhydrophobe constituée d'un tapis de nanofils de silicium dans la récupération du courant d'écoulement. J'ai ainsi réalisé plusieurs récupérateurs d'énergie avec des canaux hydrophiles, hydrophobes et superhydrophobes et j’ai effectué leur caractérisation électrique. En dépit de problèmes de répétabilité et de dégradation des surfaces, une amélioration de la puissance récupérée a été mesurée pour la surface superhydrophobe par rapport à une surface hydrophobe. / Since the beginning of the last decade streaming current has seen renewed interest as a type of renewable energy harvesting. The streaming current is a phenomenon arising when a fluid moves through a porous medium or microchannels, and can be harvested as an electric current and potential. Recent works have shown power densities comparable to other energy harvesting techniques such as piezoelectricity, which opens the way to streaming current as a mean of powering low-power electronics such as wireless sensor networks. However, harvesting efficiencies have yet to reach higher than a few percents. A promising possibility is the use of superhydrophobic surfaces inside the microchannels, with theory predicting efficiencies nearing 40%. However, as of today very little experimental data is available to confirm or infirm this theory. My PhD work aimed at increasing the experimental data on whether energy harvesting streaming current through superhydrophobic microchannels increases the power generated. I have designed and fabricated several microfluidic energy harvesters with microchannel hydrophilic, hydrophobic or superhydrophobic surfaces, and characterized their electrical properties. Despite reproducibility issues and surface degradation, a net gain in power output has been recorded for superhydrophobic surfaces.

Les compagnies font face à d'énormes coûts pour maintenir leurs applications informatiques. Au fil des ans, le code de ces applications a accumulé des connaissances corporatives importantes (règles d'affaires et décisions de conception). Mais, après plusieurs années d'opération et d'évolution de ce code, ces connaissances deviennent difficiles à récupérer. Les développeurs doivent donc consacrer beaucoup de leur temps à l'analyser: une activité connue sous le nom de « compréhension du logiciel ». Comme il a été estimé que cette activité accapare entre 50 % et 90 % du travail d'un développeur, simplifier le processus de compréhension du logiciel peut avoir un impact significatif dans la réduction des coûts de développement et de maintenance. L'une des solutions au problème de compréhension du logiciel est la rétro-ingénierie. Celle-ci est le processus d'analyse du code source d'une application pour (1) identifier les composantes de l'application et les relations entre ces composantes et (2) créer une représentation de haut niveau de l'application. Plusieurs approches ont été proposées pour la rétro-ingénierie ; cependant, la représentation abstraite du code source extraite par la plupart de ces approches combine la logique d'affaires de l'application et son architecture (ou son infrastructure). Dans ce mémoire, nous présentons une nouvelle approche qui permet d'analyser le code source d'une application orientée objet afin d'en extraire un modèle abstrait ne décrivant que les règles d'affaires de cette application. Ce modèle prend la forme d'un diagramme de classes UML, présentant les classes d'affaires de cette application ainsi que les relations entre ces classes. Cette approche a été validée sur plusieurs systèmes (écrits en Java) de différentes tailles. L'approche donne de bons résultats pour les systèmes possédant une bonne architecture et un bon style de programmation. Dans le cas contraire, les résultats sont moins convaincants.

Ce mémoire traite de stratégies d'assemblage et de désassemblage dans un contexte de maintenance et de valorisation de produits en fin de cycle de vie. L'objectif visé est de proposer une stratégie de désassemblage permettant d'effectuer rapidement et économiquement les actions de maintenance ou de récupérer efficacement des composants d'un produit. Le mémoire analyse les principales stratégies de désassemblage proposées dans la littérature. Les méthodes de résolution du désassemblage sont étudiées en considérant, les besoins, les types de produits et le niveau de désassemblage. Parmi les méthodes examinées, on retrouve les réseaux de pétri, les algorithmes génétiques et des algorithmes basés sur la géométrie des composants. Ces démarches se traduisent en outils d'aide à décision pour le développement et la mise en œuvre de stratégies de désassemblage. Finalement, ces différentes stratégies étudiées sont classées et comparées en fonction de leurs capacités, de leurs limites, et des différents objectifs.

Cette thèse aborde le problème de la reconstruction des composants d'un système de transmission à partir de l'interception d'une communication bruitée. Les deux grandes parties de ce travail s'intéressent successivement aux deux maillons principaux de la chaîne~: le brasseur et le code correcteur d'erreur, dans l'ordre où ils doivent être traités par l'attaquant, c'est-à-dire dans l'ordre inverse de leur apparition dans la chaîne de transmission.<br /><br />La première partie traite donc du problème de la reconstruction d'un code linéaire binaire à partir de la connaissance de mots de code bruités. Dans un premier temps, nous présentons et analysons une méthode suggérée par A. Valembois dans sa thèse. Cette analyse nous amène à présenter un nouveau test statistique permettant de trouver des mots susceptibles d'appartenir au dual du code utilisé lors de la transmission. Puis nous présentons un nouvel algorithme de décodage fondé sur les techniques classiques de décodage<br />itératif. Cet algorithme nous permet de corriger des erreurs même si certaines des équations de parité trouvées par le test statistique ne sont pas valides. Nous décrivons alors un nouvel algorithme de reconstruction utilisant cet algorithme de décodage.<br /><br />La seconde partie traite du problème de la reconstruction d'un brasseur linéaire. Dans un premier temps, nous supposons que l'attaquant dispose de la sortie exacte du brasseur. Nous présentons alors différentes techniques permettant de reconstruire un brasseur synchrone ou auto-synchronisant en fonction des hypothèses envisagées sur l'entrée du brasseur. Ensuite, nous nous intéressons au cas général et nous présentons alors une technique algébrique permettant de reconstruire un brasseur synchrone quand<br />l'attaquant connaît simplement l'image de sa sortie par une transformation linéaire par bloc et une partie de la suite en entrée.

E calcul autonome vise à concevoir des logiciels qui prennent en compte les variations dans leur environnement d'exécution. Les boucles de rétro-action (FCL) fournissent un mécanisme d'auto-adaptation générique, mais leur intégration dans des systèmes logiciels soulève de nombreux défis. Cette thèse s'attaque au défi d'intégration, c.à.d. la composition de l'architecture de connexion reliant le système logiciel adaptable au moteur d'adaptation. Nous proposons pour cela le langage de modélisation spécifique au domaine FCDL. Il élève le niveau d'abstraction des FCLs, permettant l'analyse automatique et la synthèse du code. Ce langage est capable de composition, de distribution et de réflexivité, permettant la coordination de plusieurs boucles de rétro-action distribuées et utilisant des mécanismes de contrôle variés. Son utilisation est facilitée par l'environnement de modélisation ACTRESS qui permet la modélisation, la vérification et la génération du code. La pertinence de notre approche est illustrée à travers trois scénarios d'adaptation réels construits de bout en bout. Nous considérons ensuite la manipulation de modèles comme moyen d'implanter ACTRESS. Nous proposons un Langage Spécifique au Domaine interne qui utilise Scala pour implanter une famille de DSLs. Il permet la vérification de cohérence et les transformations de modèles. Les DSLs résultant ont des propriétés similaires aux approches existantes, mais bénéficient en plus de la souplesse, de la performance et de l'outillage associés à Scala. Nous concluons avec des pistes de recherche découlant de l'application de l'IDM au domaine du calcul autonome.

Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal.

Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal.

La rétro-ingénierie consiste à reconstruire un modèle paramétrique à partir d'un nuage de points ou d'un maillage 3D représentant un objet, afin d'en déterminer le processus de conception ou de fabrication. Ce modèle correspond à une combinaison de primitives géométriques (cylindres, plans, sphères...) dont on cherche à estimer les paramètres à partir des données 3D. La rétro-ingénierie est très utilisée dans l'industrie de pièces manufacturées pour l'analyse métrologique, le contrôle non destructif ou la compréhension d'un procédé de fabrication.Cette thèse, menée en collaboration avec la société C4W, s'intéresse à l'extraction de primitives géométriques à partir d'un maillage 3D issu de la numérisation d'un objet manufacturé. La particularité de ces maillages est qu'ils contiennent de nombreuses imprécisions par rapport au plan CAO initial, engendrées à la fois par la fabrication de l'objet et par sa numérisation.Nous nous sommes d'abord intéressés à l'amélioration des techniques existantes afin d'extraire des primitives robustes aux imprécisions des données. Nous avons en particulier exploré plusieurs approches telles que la segmentation préalable du maillage, la caractérisation de la forme à l'aide des courbures et l'approximation d'une primitive par régression ou optimisation sur les points du maillage.Le second axe de cette thèse consiste à embellir le modèle paramétrique reconstruit, c'est-à-dire à régulariser les paramètres des primitives afin qu'elles respectent des relations géométriques telles que le parallélisme ou la concentricité. Nous nous sommes donc intéressés à différents aspects de la conception CAO induisant ces relations. Ainsi, nous cherchons à détecter automatiquement des éléments de références (repère, plans ou droites d'appuis) ayant permis de modéliser la pièce originale. Ces derniers servent alors de références absolues pour un embellissement global des primitives.Le troisième axe de recherche concerne la reconnaissance de motifs particuliers à partir de l'ensemble des primitives. Nous nous sommes ainsi intéressés aux entités d'usinage et aux répétitions de géométrie, fréquemment construites lors de la conception d'une pièce manufacturée. Cette seconde analyse de l'objet, plus fonctionnelle, permet de déduire de nouvelles informations liées à la fabrication d'une pièce. / A reverse engineering process allows to reconstruct a parametric model from a 3D point cloud or a 3D mesh of an object. The main objective is to retrieve information about the original modeling or fabrication process. The reconstructed model corresponds to a combination of geometric primitives (cylinders, planes, spheres...). These primitives are defined by parameters which are estimated from the 3D input data. Reverse engineering is mainly used in industry, for example in metrology analysis, non-destructive inspection or functional analysis.This thesis, in collaboration with the C4W company, concerns the extraction of geometric primitives from a digitized 3D mesh which represents a manufactured part. This type of mesh often contains many inaccuracies unlike the original CAD model. These inaccuracies can come from both fabrication and digitization processes.First, we try to improve existing techniques to extract robust primitives. Thus, we explore some approaches such as mesh segmentation, shape caracterization based on discrete curvatures and primitive fitting using regression and optimization techniques.The second research axis of this thesis concerns a process called "beautification", which tries to regularize the primitive parameters with respect to geometric relations such as parallelism or concentricity. To do that, we propose an analysis of the primitives, related to standard CAD modeling rules. So, we automatically detect reference elements (coordinate system, planes or lines). In order to guide the model reconstruction, we use these references to regularize the primitives globally.The third research axis concerns the pattern recognition from a set of primitives. So, we search for mechanical features (counterbore, pocket...) and repetitions (linear, circular...), which are often used in CAD modeling of manufactured part. This second analysis, more functionnal, allows to deduce more information related to the modeling and fabrication processes.

Les stations atmosphériques de l'observatoire permanent de la radioactivité dans l'environnement mesurent depuis 1959 les niveaux d'activité de radionucléides naturels et artificiels dans les aérosols. Aujourd'hui, le Cs-137 (30.07 ans), radionucléide artificiel issu des essais nucléaires atmosphériques et de divers accidents, est encore mesuré, à l'état de traces dans les basses couches de l'atmosphère, bien qu'il n'existe plus de rejet significatif. Cette étude s'est intéressée à identifier et caractériser les processus qui expliquent sa rémanence. Les territoires fortement impactés par les retombées de l'accident de Tchernobyl sont apparus les principaux contributeurs à la rémanence atmosphérique du Cs-137 dans les aérosols prélevés en France. Dans ces régions, les incendies de forêt constituent le processus de remise en suspension du Cs-137 le plus significatif durant la saison sèche et à l'origine d'épisodes de transport longue distance. Il est estimé qu'annuellement de l'ordre de 1013 Bq de Cs-137 sont réintroduits dans l'atmosphère par ce processus. En relation avec de fortes augmentations de la masse totale de particules en suspension, le Sahara est la seconde région contribuant à la rémanence du Cs-137 dans le compartiment atmosphérique au travers d'épisodes de transport de poussières sahariennes. Il est estimé que l'ensemble de ces évènements contribue en moyenne pour 1/3 du bruit de fond ambiant en Cs-137 à l'échelle de la France. Le dernier processus identifié est l'utilisation de bois comme moyen de chauffage durant l'hiver. Bien que le facteur d'émission de ce processus soit faible, l'étendue spatiale des régions sources et les quantités utilisées durant l'hiver font de ce processus un terme source significatif au regard des niveaux moyens à l'état de traces. A l'échelle de la France, de l'ordre de 1011 Bq de Cs- 137 sont réintroduits dans l'atmosphère par ce processus. Durant cette saison, la diminution des conditions de ventilation dans les basses couches de l'atmosphère entraîne une élévation du niveau moyen tandis que les augmentations significatives de l'activité volumique sont dues à un transport longue distance en provenance de l'est de l'Europe.

Nous proposons une approche “algorithme génétique” pour la reconstruction génomique. Notre approche introduit le concept d'algorithmie génétique multi-échelle : l'optimisation est conduite simultanément à une échelle locale et à une échelle globale. La fonction d'efficacité est donc hybride. Notre approche prend également en compte plusieurs types de données, dynamiques, statiques, ou imposées. Il en résulte un nouveau logiciel de reconstruction génomique, COGARE. Il est étalonné sur données simulées et comparé aux algorithmes existants. Il est utilisé sur deux cas réels, sur lesquels il révèle des capacités à renvoyer des informations pertinentes au biologiste.