Dans le cadre de cette thèse, nous nous intéresseons à l'amélioration des techniques de programmation génétique (PG), en particulier nous avons essayer d'améliorer la performance de la PG en cas d'utilisation de grammaire riche, où l'ensemble de terminaux contient plus que nécessaire pour représenter des solutions optimales. Pour cela, nous avons présenté le problème de la sélection d'attributs en rappelant les principales approches, et nous avons utilisé la technique de mesure de poids des terminaux pour affiner la sélection d'attributs. En second lieu, nous présentons des travaux sur un autre algorithme qui s'inspire de la boucle évolutionnaire : l'évolution différentielle (ED), et nous étudions la performance de cette technique sur la branche de la programmation génétique linéaire. Nous présentons et comparons les performances de cette dernière technique sur un ensemble de "benchmarks" classique de la PG.

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

Le mémoire " Modélisation différentielle du texte, de la linguistique aux algorithmes " porte sur mon positionnement épistémologique et spécialement sur l'interface entre modélisation en linguistique théorique et modélisation en informatique. Dès le départ j'ai pris l'étude des corpus et le multilinguisme comme base de travail. Les méthodes utilisées se placent dans la filiation de l'école de Prague (Jakobson, mais aussi les informaticiens) et elles ont une parenté avec d'autres recherches au Japon et dans les pays nordiques. Alors que la plupart des travaux du TAL concernent la syntaxe ou le lexique, j'ai pris le point de vue de l'analyse du discours écrit dans son intégralité et d'un point de vue relationnel, endogène, pour trouver les moyens de traiter automatiquement des textes entiers et des corpus de textes. La première dimension originale est le multilinguisme conçu comme hypothèse normale de travail, et non comme nécessité de cumul de pratiques monolingues. La seconde dimension est l'angle de vision multi échelle, qui permet d'analyser les collections et les documents avec leur mise en forme matérielle, en repérant les marques qui structurent les textes indépendamment de la langue, en posant des observations sur les grains d'analyse pertinents. Le mémoire contient de nombreux exemples d'applications, décrits en profondeur, avec les enjeux, les techniques utilisées et des illustrations des résultats obtenus.

Le sujet de cette thèse est la question du nombre minimal d'orbites de Reeb distinctes sur une variété de contact qui est le bord d'une variété symplectique compacte. L'homologie symplectique $S^1$-équivariante positive est un des outils principaux de cette thèse; elle est construite à partir d'orbites périodiques de champs de vecteurs hamiltoniens sur une variété symplectique dont le bord est la variété de contact considérée. Nous analysons la relation entre les différentes variantes d'homologie symplectique d'une variété symplectique exacte compacte (domaine de Liouville) et les orbites de Reeb de son bord. Nous démontrons certaines propriétés de ces homologies. Pour un domaine de Liouville plongé dans un autre, nous construisons un morphisme entre leurs homologies. Nous étudions ensuite l'invariance de ces homologies par rapport au choix de la forme de contact sur le bord. Nous utilisons l'homologie symplectique $S^1$-équivariante positive pour donner une nouvelle preuve d'un théorème de Ekeland et Lasry sur le nombre minimal d'orbites de Reeb distinctes sur certaines hypersurfaces dans $\R^{2n}$. Nous indiquons comment étendre au cas de certaines hypersurfaces dans certains fibrés en droites complexes négatifs. Nous donnons une caractérisation et une nouvelle façon de calculer l'indice de Conley-Zehnder généralisé, défini par Robbin et Salamon pour tout chemin de matrices symplectiques. Ceci nous a mené à développer de nouvelles formes normales de matrices symplectiques.

La découverte du manuscrit De l’essence double du langage (paru dans les Écrits de linguistique générale en 2002) suscite un regain d’intérêt pour Ferdinand de Saussure et, surtout, permet une réévaluation de son programme scientifique. Dans cette mouvance, une interprétation nouvelle de ce programme a été développée par Simon Bouquet : celui-ci entend, dans un cadre épistémologique de type galiléen radicalisant le principe de différentialité, unifier les champs de la linguistique de la langue et de la linguistique de la parole. C’est à une présentation critique du modèle de Bouquet – dit linguistique néosaussurienne de l’interprétation – qu’est consacrée la première partie de cette thèse. Dans la seconde partie, on a voulu mettre en évidence le caractère largement impensé du principe de différentialité en science du langage. On examine pour cela, comme un cas d’école, le traitement réservé par les grammaires à la théorie du présent de l’indicatif en français. On constate que les grammaires anciennes (du XVIe siècle à la fin du XIXe siècle), antérieures à la divulgation du principe de différentialité par le Cours de linguistique générale, tout autant que les grammaires modernes, postérieures au Cours, sont enferrées dans le paradoxe d’une continuité théorique conjuguée à l’absence d’une théorie satisfaisante et partagée ; et l’on argumente que ce paradoxe tient précisément à ce que ces grammaires rejettent de facto le principe saussurien de différentialité. Une conclusion, en forme d’ouverture, esquisse ce que pourrait être une grammaire décrivant, du point de vue de la langue, le système sémantique du présent en français, ainsi que des lois de corrélation postulées par une linguistique néosaussurienne pour rendre compte de l’essence double du langage qui est d’être simultanément langue et parole. / The discovery of the manuscript De l’essence double du langage [The double essence of language] (which appeared in the Écrits de linguistique générale [Writings in General Linguistics] in 2002) gave rise to a renewed interest in Ferdinand de Saussure and, above all, allowed for a revaluation of his scientific project. As part of this movement, a new interpretation of his project has been developed by Simon Bouquet: this involves bringing together the fields of linguistics of both langue and parole within a Galilean epistemology that radicalises the principle of differentiality. The first section of this thesis is dedicated to a critical presentation of Bouquet’s model – known as the linguistique néosaussurienne de l’interprétation. The second section explores the largely understudied nature of the principle of differentiality in the science of language. The way in which grammar books treat the theory of the present indicative in French is examined as a case in point. It is posited that the old grammar books (dating from the 16th to the 19th century), which preceded the diffusion of the principle of differentiality with the ‘Cours de linguistique générale’; and modern grammar books, coming after the Cours; are enmeshed within the paradox of a theoretical continuity conjugated with the absence of a satisfying and shared theory; and it is argued that this paradox conforms exactly with that which these grammar books reject de facto as the Saussurean principle of differentiality. The conclusion, in the form of an opening, outlines the possibility of a grammar which describes, from the perspective of language, the semantic system of the French present tense; as well as the laws of correlation postulated by a neosaussurean linguistics; to give an explanation of the double nature of language which is at once both langue and parole.

Une crème solaire, ayant pour objectif de filtrer les UV, est un système complexe, à plusieurs phases, contenant deux types de filtres : des filtres dits chimiques - c'est-à-dire des molécules absorbantes - et des réflecteurs (comme le TiO2), protégeant par diffusion de la lumière. Afin d'évaluer l'efficacité des produits, des mesures d'indice de protection (IP ou SPF) existent ; la crème est placée in vivo sur différents phénotypes de peau ou in vitro sur un support plastique en PMMA.Afin de modéliser la protection solaire, nous avons cherché à connaitre la répartition de la crème sur son support. Nous avons pour cela utilisé l'OCT (Tomographie à Cohérence Optique) avec un support plastique métallisé, permettant d'améliorer le contraste des images.Ceci nous a alors permis, en connaissant les paramètres des différents filtres chimiques ou particulaires, de modéliser la transmission de la crème sur son support la peau ou le PMMA. Nous avons pour cela utilisé la méthode différentielle, une méthode de calcul de diffusion de la lumière permettant de traiter une structure bidimensionnelle.Nous avons alors pu comparer nos résultats de calcul avec des mesures de protection, étudier l'influence de quelques caractéristiques des particules comme la taille ou le matériau utilisé, ou bien encore évaluer l'effet de l'hydratation de la couche la plus externe de la peau sur la protection solaire. Nous avons par ailleurs cherché à améliorer la vitesse et le champ d'application des calculs en comparant les résultats obtenus par la méthode différentielle avec d'autres modèles (diffusion de la lumière par des tiges ou théorie de Mie). / Sunscreens, an emulsion of several phases, are used as UV filters in order to protect people from sun damages. Filters can be divided in two types: the chemical ones which are organic molecules that absorb selectively ultraviolet light and the physical ones (such as TiO2) which are inorganic particles that scatter and may absorb some of the UV radiation. The sunscreen quality is given by the sun protection factor (SPF), measured in vivo. In order to avoid long and complicated tests, a quick and simple in vitro method, using a plastic substrate, has been established, which gives an approximation of the SPF. In order to model the sunscreen protection, we had to evaluate the sunscreen distribution. We used an OCT (for Optical Coherence Tomography) device, after having spread a metallic thin on the substrate before applying the sunscreen. Theses images helped us to model the cream transmission on the skin or the plastic substrate, using the differential method which can calculate the scattering of light through a 2D structure.We then compared our results to measurements, but also studied the impact of several particles specifications, such as the size or the material of the particle, or study the effect of the skin hydration on the UV protection.Furthermore, we have compared our results to other calculation methods (Mie scattering or scattering by a set of parallel cylinders) in order to improve the calculation time and try a 3D-method.

Les systèmes critiques de vol tels que les actionneurs électromécaniques ainsi que les calculateurs de commande moteur (ECU) et de vol (FCU),sont conçus en tenant compte des contraintes aéronautiques sévères de sureté defonctionnement. Dans le cadre de cette étude, une architecture calculateur pourla commande et la surveillance d’actionneurs moteur et de surfaces de vol est proposée et à fait l’objet d’un brevet [13]. Pour garantir ces mesure de sureté, les ECU et FCU présentent des redondances matérielles multiples, mais engendrent une augmentation de l’encombrement, du poids et de l’énergie consommée. Pour ces raisons, les redondances à base de modèles dynamiques, présentent un atout majeur pour les calculateurs car elles permettent dans certains cas de maintenir les exigences d’intégrité et de disponibilité tout en réduisant le nombre de capteurs ou d’actionneurs. Un rappel sur les méthodes de diagnostic par générateurs de résidus et estimateurs d’états [58, 26, 47] est effectué dans cette étude. Les propriétés de platitude différentielle et la linéarisation par difféomorphisme et bouclage endogène [80, 41, 73] permettent d’utiliser des modèles linéaires équivalents avec les générateurs de résidus. Un banc d’essai a été conçu afin de valider les performances des algorithmes de diagnostic. / Flight-Critical Systems such as Electromechanical Actuators driven by Engine Control Units (ECU) or Flight Control Units (FCU) are designed and developed regarding drastic safety requirements. In this study, an actuator control and monitoring ECU architecture based on analytic redundancy is proposed. In case of fault occurrences, material redundancies in avionic equipment allow certaincritical systems to reconfigure or to switch into a safe mode. However, material redundancies increase aircraft equipment size, weight and power (SWaP). Monitoring based on dynamical models is an interesting way to further enhance safetyand availability without increasing the number of redundant items. Model-base dfault detection and isolation (FDI) methods [58, 26, 47] such as observers and parity space are recalled in this study. The properties of differential flatness for nonlinear systems [80, 41, 73] and endogenous feedback linearisation are used with nonlinear diagnosis models. Linear and nonlinear observers are then compared with an application on hybrid stepper motor (HSM). A testing bench was specially designed to observe in real-time the behaviour of the diagnosis models when faults occur on the stator windings of a HSM.

Nous utilisons la méthode d'équivalence de Cartan pour réaliser une étude géométrique des équations différentielles ordinaires du second ordre et du premier ordre, sous l'action des transformations ponctuelles préservant les aires dans le cas du second ordre et de certaines autres transformations dans le cas du premier. Cela nous permet de caractériser de manière invariante toutes les équations différentielles du second ordre se ramenant à y"=0. De plus nous associons à toute telle équation, une connexion de Cartan affine normale dont la courbure contient tous ses invariants. Dans le cas du premier ordre nous apportons un regard nouveau sur une étude de R. Liouville concernant l'équation différentielle d'Abel. Enfin dans un autre ordre d'idées nous réalisons une étude de certaines solutions algébriques de l'équation de Riccati. / Abstract

Dans un premier temps, la thèse propose une analyse critique des discours de la psychologie, du XXe siècle à nos jours, concernant le psychisme des malades du cancer. Dans un second temps, s'y trouve exposée la construction d'une clinique de l'accompagnement des patients atteints de cancer au sein de l'institution de soin, orientée par les repères de la psychanalyse. A travers la construction de seize cas cliniques, l'auteur propose une approche différentielle des logiques subjectives (hystérique, obsessionnelle, schizophrénique, paranoïaque, mélancolique), et met en exergue le caractère central du transfert, comme celui du repérage d'autres éléments cliniques témoignant de la logique subjective de chaque sujet, pour orienter les accompagnements cliniques et leur élaboration théorique. / Doctorat en Sciences psychologiques et de l'éducation / info:eu-repo/semantics/nonPublished

Cette thèse s'articule autour de problématiques liées au domaine récent de l'anatomie numérique dont l'objet est de fournir des cadres à la fois mathématiques et numériques pour estimer la variabilité statistique au sein de populations de formes géométriques. Dans ce travail, on s'intéresse dans un premier temps au cas d'ensemble de courbes, de surfaces ou sous-variétés avec pour premier objectif de définir une représentation et des termes d'attache aux données adéquats pour les problèmes de recalage par grande déformation (LDDMM). Les précédentes approches reposant sur le cadre des courants qui traite le cas d'objets orientés, nous proposons une extension pour des formes géométriques non-orientées via la représentation des varifolds issue de la théorie géométrique de la mesure. Dans un second temps, ce travail se penche sur l'étude d'objets géométrico-fonctionnels aussi baptisés 'formes fonctionnelles', c'est à dire de fonctions ou de signaux définis sur des supports géométriques variables entre les individus. On définit notamment la notion de métamorphoses géométrico-fonctionnelles pour généraliser celle de déformation à ce contexte ainsi que la notion de courant fonctionnel pour mesurer la dissimilarité entre deux formes fonctionnelles. Ceci débouche assez naturellement sur un tout nouveau cadre mathématique et algorithmique permettant d'étendre les outils usuels de recalage difféomorphique. Enfin, on s'intéresse à la situation plus générale de l'estimation et l'analyse d'atlas pour des ensembles de telles structures en proposant en particulier une formulation mathématique bien posée pour de tels problèmes ainsi qu'un algorithme d'estimation simultanée géométrie/fonction puis des outils pour l'analyse statistique et la classification. Ces méthodes sont illustrées sur quelques jeux de données synthétiques et d'autres issues de l'imagerie biomédicale. / This thesis addresses several questions related to the recent field of computational anatomy. Broadly speaking, computational anatomy intends to analyse shape variability among populations of anatomical structures. In this work, we are focused, in the first place, on the case of datasets of curves, surfaces and more generally submanifolds. Our goal is to provide a mathematical and numerical setting to build relevant data attachment terms between those objects in the purpose of embedding it into the large diffeomorphic metric mapping (LDDMM) model for shape registration. Previous approaches have been relying on the concept of currents that represents oriented submanifolds. We first propose an extension of these methods to the situation of non-oriented shapes by adapting the concept of varifolds from geometric measure theory. In the second place, we focus on the study of geometrico-functional structures we call 'functional shapes' (or fshapes), which combine varying geometries across individuals with signal functions defined on these shapes. We introduce the new notion of fshape metamorphosis to generalize the idea of deformation groups in the pure geometrical case. In addition, we define the extended setting of 'functional currents' to quantify dissimilarity between fshapes and thus perform geometrico-functional registration between such objects. Finally, in the last part of the thesis, we move on to the issue of analyzing entire groups of individuals (shapes or fshapes) together. In that perspective, we introduce an atlas estimation variational formulation that we prove to be mathematically well-posed and build algorithms to estimate templates and atlases from populations, as well as tools to perform statistical analysis and classification. All these methods are evaluated on several applications to synthetic datasets on the one hand and real datasets from biomedical imaging on the other.