• 125 ressources ont été trouvées. Voici les résultats 1 à 10
Titre Description Date Format
L’objectif de cette thèse était d’explorer le potentiel des biocapteurs à base de transistors à 1 électron. Depuis l’invention de l’électrode de verre il y a plus de 100 ans, la réponse monotone du potentiel de surface avec le pH est devenue universelle. Aussi, il est bien connu que les mesures de la concentration en ions dans des solutions complexes, de grande importance pour le domaine biomédical, requière des membranes sélectives aux ions. En utilisant ces transistors nanométriques, nous montrons une rupture dans ces concepts avec l’observation d’une réponse en U au pH et la mesure sélective des cations Na+, K+, Ca2+ et Mg2+ dans le sérum sanguin, sans avoir recours aux membranes sélectives. Par ailleurs, les ions divalents ont été mesurés avec une sensibilité deux fois supérieure à la limite de Nernst. Les équations proposées, à l’origine d’une nouvelle méthode pour les mesures sélectives d’ions, peuvent-être étendues à la mobilité électrophorétique. Nous suggérons que ces nanotransistors 0D devraient également permettre des études biomimétiques de la compensation de charge des protéines. Nous montrons enfin que ces composants peuvent être intégrés sur un laboratoire sur puce en PDMS de 1.5 mm x 1.5 mm, qui promet un système de diagnostic sanguin peu couteux et très intégré.
The aim of this thesis was to explore the potential of 0D nanotransistor biosensors. Since the invention of glass electrode a century ago, the monotonic decrease of oxides surface potential with pH has become universal. Also, it is well known that the measurement of ions concentration in complex solutions, of great importance for biomedical field, requires ion-selective membranes. Using these nanometric transistor biosensors, we report a rupture in these concepts with the observation of a U-shape pH response and the selective measurement of Na+, K+, Ca2+ and Mg2+ cations in blood serum, without falling back on selective membranes. In addition, divalent ions were measured with a sensitivity twice of that of Nernst limit. Proposed equations, at the origin of the new method for ion selective measurements, can be extended to the electrophoretic mobility. We also suggest that 0D nanotransistor biosensors are a relevant test bed for biomimetic studies of proteins charge compensation. We finally show that these devices can be ultimately integrated on a mm² PDMS-based lab-on chip, which promises for a cheap and small blood diagnosis system.
L’objectif de cette thèse était d’explorer le potentiel des biocapteurs à base de transistors à 1 électron. Depuis l’invention de l’électrode de verre il y a plus de 100 ans, la réponse monotone du potentiel de surface avec le pH est devenue universelle. Aussi, il est bien connu que les mesures de la concentration en ions dans des solutions complexes, de grande importance pour le domaine biomédical, requière des membranes sélectives aux ions. En utilisant ces transistors nanométriques, nous montrons une rupture dans ces concepts avec l’observation d’une réponse en U au pH et la mesure sélective des cations Na+, K+, Ca2+ et Mg2+ dans le sérum sanguin, sans avoir recours aux membranes sélectives. Par ailleurs, les ions divalents ont été mesurés avec une sensibilité deux fois supérieure à la limite de Nernst. Les équations proposées, à l’origine d’une nouvelle méthode pour les mesures sélectives d’ions, peuvent-être étendues à la mobilité électrophorétique. Nous suggérons que ces nanotransistors 0D devraient également permettre des études biomimétiques de la compensation de charge des protéines. Nous montrons enfin que ces composants peuvent être intégrés sur un laboratoire sur puce en PDMS de 1.5 mm x 1.5 mm, qui promet un système de diagnostic sanguin peu couteux et très intégré.
The aim of this thesis was to explore the potential of 0D nanotransistor biosensors. Since the invention of glass electrode a century ago, the monotonic decrease of oxides surface potential with pH has become universal. Also, it is well known that the measurement of ions concentration in complex solutions, of great importance for biomedical field, requires ion-selective membranes. Using these nanometric transistor biosensors, we report a rupture in these concepts with the observation of a U-shape pH response and the selective measurement of Na+, K+, Ca2+ and Mg2+ cations in blood serum, without falling back on selective membranes. In addition, divalent ions were measured with a sensitivity twice of that of Nernst limit. Proposed equations, at the origin of the new method for ion selective measurements, can be extended to the electrophoretic mobility. We also suggest that 0D nanotransistor biosensors are a relevant test bed for biomimetic studies of proteins charge compensation. We finally show that these devices can be ultimately integrated on a mm² PDMS-based lab-on chip, which promises for a cheap and small blood diagnosis system.
03-11-2017
03-11-2017
Thèse
Thèse

3D dynamic facial sequences analysis for face recognition and emotion detection
3D dynamic facial sequences analysis for face recognition and emotion detection


Accéder à la ressource
L’étude menée dans le cadre de cette thèse vise l’étude du rôle de la dynamique de formes faciales 3D à révéler l’identité des personnes et leurs états émotionnels. Pour se faire, nous avons proposé un cadre géométrique pour l’étude des formes faciales 3D et leurs dynamiques dans le temps. Une séquence 3D est d’abord divisée en courtes sous-séquences, puis chacune des sous-séquences obtenues est représentée dans une variété de Grassmann (ensemble des sous-espaces linéaires de dimension fixe). Nous avons exploité la géométrie de ces variétés pour comparer des sous-séquences 3D, calculer des statistiques (telles que des moyennes) et quantifier la divergence entre des éléments d’une même variété Grassmannienne. Nous avons aussi proposé deux représentations possibles pour les deux applications cibles – (1) la première est basée sur les dictionnaires (de sous-espaces) associée à des techniques de Dictionary Learning Sparse Coding pour la reconnaissance d’identité et (2) le représentation par des trajectoires paramétrées par le temps sur les Grassmanniennes couplée avec une variante de l’algorithme de classification SVM, permettant un apprentissage avec des données partielles, pour la détection précoce des émotions spontanée. Les expérimentations réalisées sur les bases publiques BU-4DFE, Cam3D et BP4D-Spontaneous montrent à la fois l’intérêt du cadre géométrique proposé (en terme de temps de calcul et de robustesse au bruit et aux données manquantes) et les représentations adoptées (dictionnaires pour la reconnaissance d’identité et trajectoires pour la détection précoce des émotions spontanées).
In this thesis, we have investigated the problems of identity recognition and emotion detection from facial 3D shapes animations (called 4D faces). In particular, we have studied the role of facial (shapes) dynamics in revealing the human identity and their exhibited spontaneous emotion. To this end, we have adopted a comprehensive geometric framework for the purpose of analyzing 3D faces and their dynamics across time. That is, a sequence of 3D faces is first split to an indexed collection of short-term sub-sequences that are represented as matrix (subspace) which define a special matrix manifold called, Grassmann manifold (set of k-dimensional linear subspaces). The geometry of the underlying space is used to effectively compare the 3D sub-sequences, compute statistical summaries (e.g. sample mean, etc.) and quantify densely the divergence between subspaces. Two different representations have been proposed to address the problems of face recognition and emotion detection. They are respectively (1) a dictionary (of subspaces) representation associated to Dictionary Learning and Sparse Coding techniques and (2) a time-parameterized curve (trajectory) representation on the underlying space associated with the Structured-Output SVM classifier for early emotion detection. Experimental evaluations conducted on publicly available BU-4DFE, BU4D-Spontaneous and Cam3D Kinect datasets illustrate the effectiveness of these representations and the algorithmic solutions for identity recognition and emotion detection proposed in this thesis.
L’étude menée dans le cadre de cette thèse vise l’étude du rôle de la dynamique de formes faciales 3D à révéler l’identité des personnes et leurs états émotionnels. Pour se faire, nous avons proposé un cadre géométrique pour l’étude des formes faciales 3D et leurs dynamiques dans le temps. Une séquence 3D est d’abord divisée en courtes sous-séquences, puis chacune des sous-séquences obtenues est représentée dans une variété de Grassmann (ensemble des sous-espaces linéaires de dimension fixe). Nous avons exploité la géométrie de ces variétés pour comparer des sous-séquences 3D, calculer des statistiques (telles que des moyennes) et quantifier la divergence entre des éléments d’une même variété Grassmannienne. Nous avons aussi proposé deux représentations possibles pour les deux applications cibles – (1) la première est basée sur les dictionnaires (de sous-espaces) associée à des techniques de Dictionary Learning Sparse Coding pour la reconnaissance d’identité et (2) le représentation par des trajectoires paramétrées par le temps sur les Grassmanniennes couplée avec une variante de l’algorithme de classification SVM, permettant un apprentissage avec des données partielles, pour la détection précoce des émotions spontanée. Les expérimentations réalisées sur les bases publiques BU-4DFE, Cam3D et BP4D-Spontaneous montrent à la fois l’intérêt du cadre géométrique proposé (en terme de temps de calcul et de robustesse au bruit et aux données manquantes) et les représentations adoptées (dictionnaires pour la reconnaissance d’identité et trajectoires pour la détection précoce des émotions spontanées).
In this thesis, we have investigated the problems of identity recognition and emotion detection from facial 3D shapes animations (called 4D faces). In particular, we have studied the role of facial (shapes) dynamics in revealing the human identity and their exhibited spontaneous emotion. To this end, we have adopted a comprehensive geometric framework for the purpose of analyzing 3D faces and their dynamics across time. That is, a sequence of 3D faces is first split to an indexed collection of short-term sub-sequences that are represented as matrix (subspace) which define a special matrix manifold called, Grassmann manifold (set of k-dimensional linear subspaces). The geometry of the underlying space is used to effectively compare the 3D sub-sequences, compute statistical summaries (e.g. sample mean, etc.) and quantify densely the divergence between subspaces. Two different representations have been proposed to address the problems of face recognition and emotion detection. They are respectively (1) a dictionary (of subspaces) representation associated to Dictionary Learning and Sparse Coding techniques and (2) a time-parameterized curve (trajectory) representation on the underlying space associated with the Structured-Output SVM classifier for early emotion detection. Experimental evaluations conducted on publicly available BU-4DFE, BU4D-Spontaneous and Cam3D Kinect datasets illustrate the effectiveness of these representations and the algorithmic solutions for identity recognition and emotion detection proposed in this thesis.
03-11-2017
03-11-2017
Thèse
Thèse

A fuzzy framework for multi-objective optimization under uncertainty
A fuzzy framework for multi-objective optimization under uncertainty


Accéder à la ressource
Cette thèse est consacrée à l'étude de l’optimisation combinatoire multi-objective sous incertitudes. Plus particulièrement, nous abordons les problèmes multi-objectifs contenant des données floues qui sont exprimées par des nombres triangulaires floues. Pour faire face à ce type de problèmes, notre idée principale est d’étendre les concepts multi-objectifs classiques au contexte flou. Nous proposons, dans un premier temps, une nouvelle approche Pareto entre des objectifs flous (i.e. vecteurs des nombres triangulaires flous). Ensuite, nous étendons des méta-heuristiques basées sur Pareto afin de converger vers des solutions optimales floues. L’approche proposée est illustrée sur un problème bi-objectif de routage de véhicules avec des demandes floues. Dans le deuxième volet de ce travail, nous abordons l’aspect de robustesse dans le contexte multi-objectif flou en proposant une nouvelle méthodologie d’évaluation de robustesse des solutions. Finalement, les résultats expérimentaux sur des benchmarks flous du problème de routage de véhicules prouvent l’efficacité et la fiabilité de notre approche.
This thesis is devoted to the study of multi-objective combinatorial optimization under uncertainty. In particular, we address multi-objective problems with fuzzy data, in which fuzziness is expressed by fuzzy triangular numbers. To handle such problems, our main idea is to extend the classical multi-objective concepts to fuzzy context. To handle such problems, we proposed a new Pareto approach between fuzzy-valued objectives (i.e. vectors of triangular fuzzy numbers). Then, an extension of Pareto-based metaheuristics is suggested as resolution methods. The proposed approach is thereafter illustrated on a bi-objective vehicle routing problem with fuzzy demands. At the second stage, we address robustness aspect in the multi-objective fuzzy context by proposing a new methodology of robustness evaluation of solutions. Finally, the experimental results on fuzzy benchmarks of vehicle routing problem prove the effectiveness and reliability of our approach.
Cette thèse est consacrée à l'étude de l’optimisation combinatoire multi-objective sous incertitudes. Plus particulièrement, nous abordons les problèmes multi-objectifs contenant des données floues qui sont exprimées par des nombres triangulaires floues. Pour faire face à ce type de problèmes, notre idée principale est d’étendre les concepts multi-objectifs classiques au contexte flou. Nous proposons, dans un premier temps, une nouvelle approche Pareto entre des objectifs flous (i.e. vecteurs des nombres triangulaires flous). Ensuite, nous étendons des méta-heuristiques basées sur Pareto afin de converger vers des solutions optimales floues. L’approche proposée est illustrée sur un problème bi-objectif de routage de véhicules avec des demandes floues. Dans le deuxième volet de ce travail, nous abordons l’aspect de robustesse dans le contexte multi-objectif flou en proposant une nouvelle méthodologie d’évaluation de robustesse des solutions. Finalement, les résultats expérimentaux sur des benchmarks flous du problème de routage de véhicules prouvent l’efficacité et la fiabilité de notre approche.
This thesis is devoted to the study of multi-objective combinatorial optimization under uncertainty. In particular, we address multi-objective problems with fuzzy data, in which fuzziness is expressed by fuzzy triangular numbers. To handle such problems, our main idea is to extend the classical multi-objective concepts to fuzzy context. To handle such problems, we proposed a new Pareto approach between fuzzy-valued objectives (i.e. vectors of triangular fuzzy numbers). Then, an extension of Pareto-based metaheuristics is suggested as resolution methods. The proposed approach is thereafter illustrated on a bi-objective vehicle routing problem with fuzzy demands. At the second stage, we address robustness aspect in the multi-objective fuzzy context by proposing a new methodology of robustness evaluation of solutions. Finally, the experimental results on fuzzy benchmarks of vehicle routing problem prove the effectiveness and reliability of our approach.
13-09-2017
13-09-2017
Thèse
Thèse

Advanced numerical modeling of vibrations induced by railway traffic
Advanced numerical modeling of vibrations induced by railway traffic


Accéder à la ressource
Les lignes à grande vitesse sont considérées comme une source importante de perturbations environnementales qui sont de moins en moins tolérées par les habitants. Afin de comprendre la dynamique de ces systèmes, il est important de développer des modèles numériques pour simuler les problèmes de vibration véhicule/voie ferrée et comprendre les interactions de la voie ferrée et des composants du véhicule. Une nouvelle approche basée sur la mise à jour périodique de la configuration « Méthode PCU » est d’abord proposée pour l’évaluation de la réponse dynamique des poutres infinies continuellement supportées sous charges mobiles à grande vitesse. La méthode PCU est utilisée pour évaluer la réponse dynamique d’un système simplifié voie ferrée/sol dans lequel la fondation du rail est remplacée par une couche viscoélastique continue. D’autre part, une modélisation numérique 3D considérant le couplage dynamique mutuel complexe entre les composantes de la voie ferrée et la couche du sol est développée. Un schéma de maillage adaptatif est appliqué pour simuler l’effet des charges mobiles ; il est représenté par la création des nœuds mobiles attachés aux charges. Cette modélisation est appliquée avec succès dans la gamme de vitesses sub-Rayleigh et super-Rayleigh. Dans la dernière partie, la modélisation numérique 3D est utilisée pour calibrer les impédances dynamiques du modèle simplifié proposé dans le premier chapitre. Une procédure itérative d’ajustement de courbe est réalisée à l’aide de l’algorithme génétique. Des lois constitutives qui régissent le comportement dynamique des éléments discrets sont proposées aux différentes fréquences de chargement et gamme de vitesses.
The high speed lines are considered as an important source of environmental disturbance that are less and less tolerated by inhabitants. In order to understand the dynamics of these systems, it is important to develop numerical models to simulate the vibration problems vehicle/track and understand the interactions of the track and vehicle components. A new approach based on periodic configuration update “PCU method” is firstly proposed for the assessment of the dynamic response of continuously supported infinite beams under high speed moving loads. The PCU method is used to assess the dynamic response of a simplified track/ground system in which the rail foundation is replaced by a continuous viscoelastic layer. On the other hand, a 3D numerical modeling that considers the complex mutual dynamic coupling between the track components and the subgrade layer is developed. An adaptive meshing scheme is applied to simulate the moving loads effect; it is represented by the creation of load-attached moving nodes on the rail-beam. This modeling is successfully applied in the sub-Rayleigh and super-Rayleigh velocity range. In the last part, the 3D numerical modeling is used to calibrate the dynamic impedances of the simplified beam model proposed in the first chapter. An iterative curve fitting procedure is carried out using the genetic algorithm. Constitutive laws that govern the dynamic behavior of the discrete elements are proposed at different load frequency and velocity range.
Les lignes à grande vitesse sont considérées comme une source importante de perturbations environnementales qui sont de moins en moins tolérées par les habitants. Afin de comprendre la dynamique de ces systèmes, il est important de développer des modèles numériques pour simuler les problèmes de vibration véhicule/voie ferrée et comprendre les interactions de la voie ferrée et des composants du véhicule. Une nouvelle approche basée sur la mise à jour périodique de la configuration « Méthode PCU » est d’abord proposée pour l’évaluation de la réponse dynamique des poutres infinies continuellement supportées sous charges mobiles à grande vitesse. La méthode PCU est utilisée pour évaluer la réponse dynamique d’un système simplifié voie ferrée/sol dans lequel la fondation du rail est remplacée par une couche viscoélastique continue. D’autre part, une modélisation numérique 3D considérant le couplage dynamique mutuel complexe entre les composantes de la voie ferrée et la couche du sol est développée. Un schéma de maillage adaptatif est appliqué pour simuler l’effet des charges mobiles ; il est représenté par la création des nœuds mobiles attachés aux charges. Cette modélisation est appliquée avec succès dans la gamme de vitesses sub-Rayleigh et super-Rayleigh. Dans la dernière partie, la modélisation numérique 3D est utilisée pour calibrer les impédances dynamiques du modèle simplifié proposé dans le premier chapitre. Une procédure itérative d’ajustement de courbe est réalisée à l’aide de l’algorithme génétique. Des lois constitutives qui régissent le comportement dynamique des éléments discrets sont proposées aux différentes fréquences de chargement et gamme de vitesses.
The high speed lines are considered as an important source of environmental disturbance that are less and less tolerated by inhabitants. In order to understand the dynamics of these systems, it is important to develop numerical models to simulate the vibration problems vehicle/track and understand the interactions of the track and vehicle components. A new approach based on periodic configuration update “PCU method” is firstly proposed for the assessment of the dynamic response of continuously supported infinite beams under high speed moving loads. The PCU method is used to assess the dynamic response of a simplified track/ground system in which the rail foundation is replaced by a continuous viscoelastic layer. On the other hand, a 3D numerical modeling that considers the complex mutual dynamic coupling between the track components and the subgrade layer is developed. An adaptive meshing scheme is applied to simulate the moving loads effect; it is represented by the creation of load-attached moving nodes on the rail-beam. This modeling is successfully applied in the sub-Rayleigh and super-Rayleigh velocity range. In the last part, the 3D numerical modeling is used to calibrate the dynamic impedances of the simplified beam model proposed in the first chapter. An iterative curve fitting procedure is carried out using the genetic algorithm. Constitutive laws that govern the dynamic behavior of the discrete elements are proposed at different load frequency and velocity range.
26-10-2017
26-10-2017
Thèse
Thèse

Aimé-Henri Paulian (1722-1802) et sa physique «Newto-Cartésienne» : l’optique newtonienne revisitée
Aimé-Henri Paulian (1722-1802) et sa physique «Newto-Cartésienne» : l’optique newtonienne revisitée


Accéder à la ressource
A partir des années 1730 les succès des prévisions de la gravitation universelle assurent en France la pénétration de l’approche newtonienne de la physique, alors que les concepts cartésiens sont encore bien ancrés dans les esprits. Dans la seconde moitié du Siècle des Lumières, Aimé-Henri Paulian, professeur au collège des jésuites d’Avignon, décide de publier des ouvrages de physique pour un public d’amateurs et d’étudiants. Dans l’esprit du temps, il met en avant la physique de Newton dans un Dictionnaire de physique portatif (1758) puis dans un Dictionnaire de physique (1761) dont les nombreuses éditions durant près de trente ans indiquent le grand succès. Mais, dans un ouvrage plus personnel, il présente une physique impertinente dont on ne peut nier l’originalité : une physique «Newto-Cartésienne» - le Traité de paix entre Descartes et Newton (1763) - issu de son interprétation des physiques de Descartes et de Newton. La comparaison entre le Traité d’optique de Newton et la lecture qu’en fait Paulian révèle son infidélité. L’étude d’articles du Dictionnaire de physique sur la lumière et ses différents effets précise les conceptions souvent masquées de notre auteur. En fait, avec Paulian, l’optique newtonienne est remaniée pour le plus grand profit de sa physique "Newto-Cartésienne".
From the 1730s, successes of universal gravity expectations ensured the spreading of the Newtonian approach of physics in France, while Cartesian concepts were still well established. In the second half of the Age of Enlightenment, Aimé-Henri Paulian, a teacher of the Jesuit College in Avignon, decided to publish works of physics intended for amateurs and students. In line with his time, he highlighted Newton’s physics in the book Dictionnaire de physique portatif (1758) and then in Dictionnaire de physique (1761), whose numerous editions that followed during nearly thirty years point out the great success. However, in a more personal work, he presented an irrelevant physics, the originality of which cannot be denied: a «Newto-Cartesian» physics – Traité de paix entre Descartes et Newton (1763) – which arose from his interpretation of Descartes’ and Newton’s physics. The comparison between Newton’s Traité d’optique and Paulian’s interpretation reveals his lack of accuracy. The study of articles from the Dictionnaire de physique about light and its different effects clarifies Paulian’s ideas, which are often concealed. Indeed, with Paulian, Newtonian optics is revised for the benefit of his own «Newto-Cartesian» physics.
A partir des années 1730 les succès des prévisions de la gravitation universelle assurent en France la pénétration de l’approche newtonienne de la physique, alors que les concepts cartésiens sont encore bien ancrés dans les esprits. Dans la seconde moitié du Siècle des Lumières, Aimé-Henri Paulian, professeur au collège des jésuites d’Avignon, décide de publier des ouvrages de physique pour un public d’amateurs et d’étudiants. Dans l’esprit du temps, il met en avant la physique de Newton dans un Dictionnaire de physique portatif (1758) puis dans un Dictionnaire de physique (1761) dont les nombreuses éditions durant près de trente ans indiquent le grand succès. Mais, dans un ouvrage plus personnel, il présente une physique impertinente dont on ne peut nier l’originalité : une physique «Newto-Cartésienne» - le Traité de paix entre Descartes et Newton (1763) - issu de son interprétation des physiques de Descartes et de Newton. La comparaison entre le Traité d’optique de Newton et la lecture qu’en fait Paulian révèle son infidélité. L’étude d’articles du Dictionnaire de physique sur la lumière et ses différents effets précise les conceptions souvent masquées de notre auteur. En fait, avec Paulian, l’optique newtonienne est remaniée pour le plus grand profit de sa physique "Newto-Cartésienne".
From the 1730s, successes of universal gravity expectations ensured the spreading of the Newtonian approach of physics in France, while Cartesian concepts were still well established. In the second half of the Age of Enlightenment, Aimé-Henri Paulian, a teacher of the Jesuit College in Avignon, decided to publish works of physics intended for amateurs and students. In line with his time, he highlighted Newton’s physics in the book Dictionnaire de physique portatif (1758) and then in Dictionnaire de physique (1761), whose numerous editions that followed during nearly thirty years point out the great success. However, in a more personal work, he presented an irrelevant physics, the originality of which cannot be denied: a «Newto-Cartesian» physics – Traité de paix entre Descartes et Newton (1763) – which arose from his interpretation of Descartes’ and Newton’s physics. The comparison between Newton’s Traité d’optique and Paulian’s interpretation reveals his lack of accuracy. The study of articles from the Dictionnaire de physique about light and its different effects clarifies Paulian’s ideas, which are often concealed. Indeed, with Paulian, Newtonian optics is revised for the benefit of his own «Newto-Cartesian» physics.
03-11-2017
03-11-2017
Thèse
Thèse

Amélioration des propriétés mécaniques du béton à partir de l'insertion des nanotubes de carbone: une étude par la dynamique moléculaire
Amélioration des propriétés mécaniques du béton à partir de l'insertion des nanotubes de carbone: une étude par la dynamique moléculaire


Accéder à la ressource
La production de nouvelles générations de béton avec des propriétés physiques, structurales et techniques améliorées est très importante, mais elle n'est pas possible sans utiliser divers types d'additifs. Les nanotubes de carbone sont des matériaux prometteurs qui possèdent des propriétés spécifiques permettant leurs utilisations pour une grande variété de matériaux composites, y compris le béton. Certaines études expérimentales ont révélé que les nanotubes de carbone peuvent améliorer les propriétés mécaniques du béton avec une petite quantité d'additifs, en fournissant une structure moins défectueuse de la matrice de ciment. Cependant, les résultats sont encore insuffisants et nécessitent d'être élucidés sur les processus se produisant à l'échelle nanométrique dans la structure en béton modifiée par les nanotubes de carbone. Ainsi, cette thèse, a pour objectif principal l'étude de l'amélioration des propriétés mécaniques du béton modifié par les nanotubes de carbone. Afin de modéliser la structure atomique du gel de la Silicate de Calcium Hydratée, nous avons choisi la tobermorite 11Å avec deux rapports différents de Ca/Si correspondants à 0,83 et 1. Divers types de nanotubes incorporés sont testés pour étudier les propriétés mécaniques du nouveau composite résultant. En outre, l'effet de la concentration de nanotubes de carbone dans le ciment est également détaillé. Enfin, nous étudions l'effet de la pression uniaxial sur la structure du béton incluant des nanotubes de carbone. Nos travaux montrent qu'il possible d'améliorer les caractéristiques mécaniques du béton en insérant des nanomatériaux en général, et des nanotubes de carbone en particulier.
The production of new generations of concrete with improved physical, structural and technical properties is very important, but it is not possible without the use of various types of additives. Carbon nanotubes are promising materials that possess specific properties allowing their uses for a wide variety of composite materials, including concrete. Some experimental studies have revealed that carbon nanotubes can improve the mechanical properties of concrete with a small amount of additives, providing a less defective structure of the cement matrix. However, the results are still insufficient and need to be elucidated on the processes occurring at the nano-scale in the concrete structure modified by carbon nanotubes. Thus, this thesis has as main objective the study of the improvement of the mechanical properties of the concrete modified by the carbon nanotubes. In order to model the atomic structure of the Calcium Silicate Hydrates gel, tobermorite 11Å was selected with two different Ca/Si ratios corresponding to 0.83 and 1. Various types of nanotubes incorporated into the tobermorite 11Å structure were tested to study mechanical properties of the resulting new composite. In addition, the effect of the concentration of carbon nanotubes in the cement was also detailed. Finally, we studied the effect of uniaxial pressure on the concrete structure including carbon nanotubes. The work concludes that it is possible to improve the mechanical characteristics of concrete by inserting nano-materials in general, and carbon nanotubes in particular.
La production de nouvelles générations de béton avec des propriétés physiques, structurales et techniques améliorées est très importante, mais elle n'est pas possible sans utiliser divers types d'additifs. Les nanotubes de carbone sont des matériaux prometteurs qui possèdent des propriétés spécifiques permettant leurs utilisations pour une grande variété de matériaux composites, y compris le béton. Certaines études expérimentales ont révélé que les nanotubes de carbone peuvent améliorer les propriétés mécaniques du béton avec une petite quantité d'additifs, en fournissant une structure moins défectueuse de la matrice de ciment. Cependant, les résultats sont encore insuffisants et nécessitent d'être élucidés sur les processus se produisant à l'échelle nanométrique dans la structure en béton modifiée par les nanotubes de carbone. Ainsi, cette thèse, a pour objectif principal l'étude de l'amélioration des propriétés mécaniques du béton modifié par les nanotubes de carbone. Afin de modéliser la structure atomique du gel de la Silicate de Calcium Hydratée, nous avons choisi la tobermorite 11Å avec deux rapports différents de Ca/Si correspondants à 0,83 et 1. Divers types de nanotubes incorporés sont testés pour étudier les propriétés mécaniques du nouveau composite résultant. En outre, l'effet de la concentration de nanotubes de carbone dans le ciment est également détaillé. Enfin, nous étudions l'effet de la pression uniaxial sur la structure du béton incluant des nanotubes de carbone. Nos travaux montrent qu'il possible d'améliorer les caractéristiques mécaniques du béton en insérant des nanomatériaux en général, et des nanotubes de carbone en particulier.
The production of new generations of concrete with improved physical, structural and technical properties is very important, but it is not possible without the use of various types of additives. Carbon nanotubes are promising materials that possess specific properties allowing their uses for a wide variety of composite materials, including concrete. Some experimental studies have revealed that carbon nanotubes can improve the mechanical properties of concrete with a small amount of additives, providing a less defective structure of the cement matrix. However, the results are still insufficient and need to be elucidated on the processes occurring at the nano-scale in the concrete structure modified by carbon nanotubes. Thus, this thesis has as main objective the study of the improvement of the mechanical properties of the concrete modified by the carbon nanotubes. In order to model the atomic structure of the Calcium Silicate Hydrates gel, tobermorite 11Å was selected with two different Ca/Si ratios corresponding to 0.83 and 1. Various types of nanotubes incorporated into the tobermorite 11Å structure were tested to study mechanical properties of the resulting new composite. In addition, the effect of the concentration of carbon nanotubes in the cement was also detailed. Finally, we studied the effect of uniaxial pressure on the concrete structure including carbon nanotubes. The work concludes that it is possible to improve the mechanical characteristics of concrete by inserting nano-materials in general, and carbon nanotubes in particular.
11-09-2017
11-09-2017
Thèse
Thèse

Analyse et modélisation de l’effet des impédances de charge sur les performances d’une liaison CPL sur le réseau électrique domestique
Analyse et modélisation de l’effet des impédances de charge sur les performances d’une liaison CPL sur le réseau électrique domestique


Accéder à la ressource
Les communications à courant porteur en ligne (CPL) permettent de transmettre des données haut débit en utilisant le réseau électrique comme support de transmission. Cependant la complexité et la diversité des topologies, la diversité des appareils électriques domestiques connectés sur le réseau et les perturbations électromagnétiques peuvent limiter les performances de cette technologie. Ce mémoire a pour objectif d’analyser les caractéristiques du réseau et les performances d’une liaison CPL large bande et de souligner les topologies et charges du réseau qui dégradent les performances de la liaison CPL. La démarche scientifique consiste tout d’abord à caractériser le canal de transmission principalement en termes de gain d’insertion, puis à caractériser les performances de la liaison en termes de capacité, afin de dégager les caractéristiques de topologie ayant une influence prépondérante sur la liaison. Cette caractérisation se décompose en deux parties. Une première partie expérimentale étudie l’impact de la charge du réseau et du réseau de distribution avec un réseau test. Une seconde partie théorique souligne l’influence de la topologie et des impédances de charges domestiques à l’aide d’un outil de simulation basé sur la théorie des lignes multifilaires liée à la topologie électromagnétique. Deux modes de transmission sont étudiés ; une liaison SISO (Single Input Single Output), où le modem d’émission/réception est relié au réseau via un couplage capacitif entre la phase et le neutre et une transmission MIMO (Multiple Input Multiple Output) pour laquelle les signaux sont émis/reçus simultanément sur deux paires, entre phase et neutre et entre terre et neutre.
Powerline communication (PLC) is used to transmit high-speed data using power network as a transmission medium. However the complexity and diversity of electrical network topologies, the diversity of domestic electrical appliances connected to the network and the electromagnetic disturbances can limit the performance of this technology. The purpose of this thesis is to analyze the network characteristics and the performance of a broadband PLC link and also to highlight network topologies and loads that affect the performance of a PLC communication. The scientific approach consists firstly in characterizing the transmission channel in terms of insertion gain and then in characterizing the performance of the PLC link in terms of Shannon's capacity, in order to identify the topology characteristics that mainly influence the communication. This characterization is divided into two parts. A first experimental part studies the impact of the load and of the architecture of the electrical distribution network. A second theoretical part emphasizes on the influence of the topology and the impedances of domestic loads using a simulation tool based on the multiwire transmission line theory and the electromagnetic topology. Two transmissions are studied; a SISO (Single Input Single Output) link with the PLC transmitter and receiver connected to the network via capacitive coupling between phase and neutral, and a MIMO (Multiple Input Multiple Output) link where signals are transmitted / received between two pairs of wires : phase-neutral and earth-neutral.
Les communications à courant porteur en ligne (CPL) permettent de transmettre des données haut débit en utilisant le réseau électrique comme support de transmission. Cependant la complexité et la diversité des topologies, la diversité des appareils électriques domestiques connectés sur le réseau et les perturbations électromagnétiques peuvent limiter les performances de cette technologie. Ce mémoire a pour objectif d’analyser les caractéristiques du réseau et les performances d’une liaison CPL large bande et de souligner les topologies et charges du réseau qui dégradent les performances de la liaison CPL. La démarche scientifique consiste tout d’abord à caractériser le canal de transmission principalement en termes de gain d’insertion, puis à caractériser les performances de la liaison en termes de capacité, afin de dégager les caractéristiques de topologie ayant une influence prépondérante sur la liaison. Cette caractérisation se décompose en deux parties. Une première partie expérimentale étudie l’impact de la charge du réseau et du réseau de distribution avec un réseau test. Une seconde partie théorique souligne l’influence de la topologie et des impédances de charges domestiques à l’aide d’un outil de simulation basé sur la théorie des lignes multifilaires liée à la topologie électromagnétique. Deux modes de transmission sont étudiés ; une liaison SISO (Single Input Single Output), où le modem d’émission/réception est relié au réseau via un couplage capacitif entre la phase et le neutre et une transmission MIMO (Multiple Input Multiple Output) pour laquelle les signaux sont émis/reçus simultanément sur deux paires, entre phase et neutre et entre terre et neutre.
Powerline communication (PLC) is used to transmit high-speed data using power network as a transmission medium. However the complexity and diversity of electrical network topologies, the diversity of domestic electrical appliances connected to the network and the electromagnetic disturbances can limit the performance of this technology. The purpose of this thesis is to analyze the network characteristics and the performance of a broadband PLC link and also to highlight network topologies and loads that affect the performance of a PLC communication. The scientific approach consists firstly in characterizing the transmission channel in terms of insertion gain and then in characterizing the performance of the PLC link in terms of Shannon's capacity, in order to identify the topology characteristics that mainly influence the communication. This characterization is divided into two parts. A first experimental part studies the impact of the load and of the architecture of the electrical distribution network. A second theoretical part emphasizes on the influence of the topology and the impedances of domestic loads using a simulation tool based on the multiwire transmission line theory and the electromagnetic topology. Two transmissions are studied; a SISO (Single Input Single Output) link with the PLC transmitter and receiver connected to the network via capacitive coupling between phase and neutral, and a MIMO (Multiple Input Multiple Output) link where signals are transmitted / received between two pairs of wires : phase-neutral and earth-neutral.
27-09-2017
27-09-2017
Thèse
Thèse

Analyse par ondelettes de champs aléatoires stables harmonisables à accroissements stationnaires
Analyse par ondelettes de champs aléatoires stables harmonisables à accroissements stationnaires


Accéder à la ressource
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.
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.
05-09-2017
05-09-2017
Thèse
Thèse

Apport de nouvelles propriétés antibactériennes et analgésiques sur un implant de réfection pariétale
Apport de nouvelles propriétés antibactériennes et analgésiques sur un implant de réfection pariétale


Accéder à la ressource
Longtemps sous-estimées, les complications (douleurs, infections) en chirurgie viscérale par pose d’implants pariétaux s’avère critique par leur implication sur le retour à une activité normale du patient. Les techniques actuelles (ex. infiltration cicatricielle) ne parviennent à assurer qu’une analgésie de courte durée, voir des effets indésirables. La solution proposée a consisté à modifier deux implants pariétaux, l’un biostable (PET) et l’autre résorbable (PLA), par un polymère de cyclodextrine (polyCD), molécule cage connue pour sa capacité à former des complexes d'inclusions réversibles avec des médicaments. L'étude a d'abord porté sur la fonctionnalisation des supports en faisant varier les paramètres afin de maîtriser le degré de polyCD présent sur le textile, ensuite caractérisé par diverses techniques. Une étude de cytocompatibilité in vitro a été réalisée afin de détecter l'impact du polyCD sur la vitalité cellulaire. Les supports ont été imprégnés de ciprofloxacine. Après avoir mesuré leur capacité de chargement, des études de libération in vitro ont été menées, suivies de tests microbiologiques sur E. coli et S. aureus. Ces derniers ont montré la contribution du polyCD à augmenter la durée de l'activité antibactérienne. Puis deux molécules anesthésiques (lidocaïne et ropivacaine) ont été étudiées. D'abord, leur inclusion dans la cavité de la CD a été observée en solution par RMN et électrophorèse capillaire. Leurs isothermes d'adsorption ont été réalisées pour évaluer leur taux de chargement respectif sur le textile modifié. Ce taux s’est avéré correspondre aux doses thérapeutiques couramment appliquées localement dans les thérapies existantes.
For a long time underestimated, complications (pain, infection) in visceral surgery with implants, are critical in their impact on the return to normal activity of the patient. Current techniques (scar infiltration, ...) fail to ensure a short analgesia with sometimes side effects. The proposed solution is to confer bioactivity to the prosthesis. To this end, two textiles, a biostable (PET) and an absorbable (PLA), were modified by coating fibers with a cyclodextrin polymer (polyCD). Cyclodextrins are cage molecules known for their ability to form reversible inclusion complexes with bioactive molecules. The study initially focused on the functionalization of materials by varying the parameters to control the degree of polyCD, then characterized by various techniques. Cytocompatibility study was performed to detect the polyCDs impact on the vitality of cells. Concerning the biological activation of the materials, a series of tests was performed with ciprofloxacin. After measuring their loading capacity, release studies were conducted in vitro, followed by microbiological tests on E. coli and S. aureus. The latter showed the contribution of polyCD on the duration of the antibacterial activity. Then two local anesthetics (lidocaine and ropivacaine) were studied. First, their inclusion in the cyclodextrin was observed in solution by NMR and capillary electrophoresis. Their sorption isotherms were conducted to evaluate their respective loading rate, which corresponded to therapeutic doses commonly used in usual therapeutics.
Longtemps sous-estimées, les complications (douleurs, infections) en chirurgie viscérale par pose d’implants pariétaux s’avère critique par leur implication sur le retour à une activité normale du patient. Les techniques actuelles (ex. infiltration cicatricielle) ne parviennent à assurer qu’une analgésie de courte durée, voir des effets indésirables. La solution proposée a consisté à modifier deux implants pariétaux, l’un biostable (PET) et l’autre résorbable (PLA), par un polymère de cyclodextrine (polyCD), molécule cage connue pour sa capacité à former des complexes d'inclusions réversibles avec des médicaments. L'étude a d'abord porté sur la fonctionnalisation des supports en faisant varier les paramètres afin de maîtriser le degré de polyCD présent sur le textile, ensuite caractérisé par diverses techniques. Une étude de cytocompatibilité in vitro a été réalisée afin de détecter l'impact du polyCD sur la vitalité cellulaire. Les supports ont été imprégnés de ciprofloxacine. Après avoir mesuré leur capacité de chargement, des études de libération in vitro ont été menées, suivies de tests microbiologiques sur E. coli et S. aureus. Ces derniers ont montré la contribution du polyCD à augmenter la durée de l'activité antibactérienne. Puis deux molécules anesthésiques (lidocaïne et ropivacaine) ont été étudiées. D'abord, leur inclusion dans la cavité de la CD a été observée en solution par RMN et électrophorèse capillaire. Leurs isothermes d'adsorption ont été réalisées pour évaluer leur taux de chargement respectif sur le textile modifié. Ce taux s’est avéré correspondre aux doses thérapeutiques couramment appliquées localement dans les thérapies existantes.
For a long time underestimated, complications (pain, infection) in visceral surgery with implants, are critical in their impact on the return to normal activity of the patient. Current techniques (scar infiltration, ...) fail to ensure a short analgesia with sometimes side effects. The proposed solution is to confer bioactivity to the prosthesis. To this end, two textiles, a biostable (PET) and an absorbable (PLA), were modified by coating fibers with a cyclodextrin polymer (polyCD). Cyclodextrins are cage molecules known for their ability to form reversible inclusion complexes with bioactive molecules. The study initially focused on the functionalization of materials by varying the parameters to control the degree of polyCD, then characterized by various techniques. Cytocompatibility study was performed to detect the polyCDs impact on the vitality of cells. Concerning the biological activation of the materials, a series of tests was performed with ciprofloxacin. After measuring their loading capacity, release studies were conducted in vitro, followed by microbiological tests on E. coli and S. aureus. The latter showed the contribution of polyCD on the duration of the antibacterial activity. Then two local anesthetics (lidocaine and ropivacaine) were studied. First, their inclusion in the cyclodextrin was observed in solution by NMR and capillary electrophoresis. Their sorption isotherms were conducted to evaluate their respective loading rate, which corresponded to therapeutic doses commonly used in usual therapeutics.
04-09-2017
04-09-2017
Thèse
Thèse

Assessing and improving code transformations to support software evolution
Assessing and improving code transformations to support software evolution


Accéder à la ressource
Dans le domaine du développement logiciel, le changement est la seule constante. Les logiciels évoluent parfois de façon substantielle et, pendant ce processus, des séquences de transformation de code (par exemple, créer une classe, puis surcharger une méthode) sont systématiquement appliquées dans le système (e.g. à certaines classes dans une même hiérarchie). De par la nature répétitive de ces transformations, il est nécessaire d’automatiser leur support afin d’assurer que ces séquences de transformations sont appliquées de façon consistante sur la globalité du système. Dans cette thèse, nous proposons d’améliorer les transformations de code pour mieux aider les développeurs dans l’application de transformation de code systématiques et complexes. Nous couvrons deux aspects: • Le support automatisé pour composer et appliquer des séquences de transformations de code. Nous réalisons une recherche de l’existence de telles séquences dans de vrais logiciels. Nous proposons un outil pour appliquer automatiquement ces séquences dans les systèmes que nous avons analysés. • La détection de violations de bons principes dans la conception lors d’efforts de transformation. Nous proposons un outil qui recommande des transformations additionnelles pour résoudre les violations de conception qui ont pu être détectées après avoir effectué les transformations de refactoring. Nous évaluons les approches proposées quantitativement et qualitativement sur des cas d’étude issus du monde réel, parfois avec l’aide des experts du système analysé. Les résultats obtenus montrent la pertinence de nos approches.
In software development, change is the only constant. Software systems sometimes evolve in a substantial way and, during this process, sequences of code transformations (e.g., create a class, then override a method) are systematically performed in the system (e.g., to some classes in the same hierarchy). Due to the repetitive nature of these transformations, some automated support is needed to ensure that these sequences of transformations are consistently applied to the entire system. In this thesis we propose to improve source code transformations to better sup- port developers performing more complex and systematic code transformations. We cover two aspects: • The automated support to compose and apply sequences of code transformations. We undergo an investigation on the existence of these sequences in real-world software systems. We propose a tool to automatically apply these sequences in the systems we analyzed. • The detection of design violations during a transformation effort. We undergo an investigation on cases of systematic application of refactoring transformations. We proposed a tool that recommends additional transformations to fix design violations that are detected after performing refactoring transformations. We evaluated the proposed approaches quantitatively and qualitatively in real-world case studies and, in some cases, with the help of experts on the systems under analysis. The results we obtained demonstrate the usefulness of our approaches.
Dans le domaine du développement logiciel, le changement est la seule constante. Les logiciels évoluent parfois de façon substantielle et, pendant ce processus, des séquences de transformation de code (par exemple, créer une classe, puis surcharger une méthode) sont systématiquement appliquées dans le système (e.g. à certaines classes dans une même hiérarchie). De par la nature répétitive de ces transformations, il est nécessaire d’automatiser leur support afin d’assurer que ces séquences de transformations sont appliquées de façon consistante sur la globalité du système. Dans cette thèse, nous proposons d’améliorer les transformations de code pour mieux aider les développeurs dans l’application de transformation de code systématiques et complexes. Nous couvrons deux aspects: • Le support automatisé pour composer et appliquer des séquences de transformations de code. Nous réalisons une recherche de l’existence de telles séquences dans de vrais logiciels. Nous proposons un outil pour appliquer automatiquement ces séquences dans les systèmes que nous avons analysés. • La détection de violations de bons principes dans la conception lors d’efforts de transformation. Nous proposons un outil qui recommande des transformations additionnelles pour résoudre les violations de conception qui ont pu être détectées après avoir effectué les transformations de refactoring. Nous évaluons les approches proposées quantitativement et qualitativement sur des cas d’étude issus du monde réel, parfois avec l’aide des experts du système analysé. Les résultats obtenus montrent la pertinence de nos approches.
In software development, change is the only constant. Software systems sometimes evolve in a substantial way and, during this process, sequences of code transformations (e.g., create a class, then override a method) are systematically performed in the system (e.g., to some classes in the same hierarchy). Due to the repetitive nature of these transformations, some automated support is needed to ensure that these sequences of transformations are consistently applied to the entire system. In this thesis we propose to improve source code transformations to better sup- port developers performing more complex and systematic code transformations. We cover two aspects: • The automated support to compose and apply sequences of code transformations. We undergo an investigation on the existence of these sequences in real-world software systems. We propose a tool to automatically apply these sequences in the systems we analyzed. • The detection of design violations during a transformation effort. We undergo an investigation on cases of systematic application of refactoring transformations. We proposed a tool that recommends additional transformations to fix design violations that are detected after performing refactoring transformations. We evaluated the proposed approaches quantitatively and qualitatively in real-world case studies and, in some cases, with the help of experts on the systems under analysis. The results we obtained demonstrate the usefulness of our approaches.
02-11-2017
02-11-2017
Thèse
Thèse
Cité Scientifique BP 30155 59653 VILLENEUVE D'ASCQ CEDEX Tél.:+33 (0)3 20 43 44 10