Ce travail est relatif à la contribution d'un modèle théorique pour représenter un PSTM. L'approche est globale et veut pouvoir prendre en considération des objets de tailles inférieures à la longueur d'onde mis en présence de sondes de tailles réalistes. Le modèle développé est bi-dimensionnel et dans cette thèse son application est limité à la polarisation S (TE) en diffraction normale et à hauteur constante. Nous exposons d'abord les bases du modèle mis en oeuvre qui repose sur la méthode différentielle à laquelle sont combinés des algorithmes matriciels. Pour éviter tout problème numérique lorsque le système sonde-objet a des dimensions réalistes (beaucoup supérieure à la longueur d'onde) nous avons utilisé l'algorithme matriciel S. Après avoir défini les critères à satisfaire strictement pour obtenir des performances sûres nous avons appliqué ce modèle aux différents cas suivant : - Sonde monomodes - Sondes multimodes - Sondes structurées (gaine, coeur et éventuellement revêtement métallique externe sont pris en compte). - Spectroscopie d'un objet absorbant inséré dans un couche diélectrique uniforme en proche IR. Tous nos résultats sont cohérents et ouvrent des voies sûres pour l'interprétation des images puisque nous avons montrés que nos calculs étaient en accord qualitatif correct avec des résultats expérimentaux obtenus antérieurement sur des systèmes tests. Dans tous les cas étudiés nous avons montré que la présence de la sonde, quelle que soit sa nature et sa structure, perturbait la distribution du champ électromagnétique rayonné par l'objet. Ceci nous conduit à définir une nouvelles approche de la fonction de transfert en microscopie de champ proche. L'étude encore limitée aux sondes monomodes, montre que la fonction de transfert n'est pas définie dans le cas général. Ce premier travail ouvre des perspectives intéressantes puisque pour la première fois des sondes de formes réelles (incluant apex et taper) et de grandes tailles (jusqu'à 70µm pour la partie guidante) éventuellement métallisées, ont été prises en compte dans un modèle numérique. Il permet aussi d'aborder de façon nouvelle le problème de la fonction de transfert et des images spectroscopiques, y compris en IR. Il est aussi adaptable à la polarisation P (TM)

Dans leur recherche d'une théorie unifiée des interactions fondamentales, contenant en particulier un modèle quantique de la gravitation, les physiciens ont imaginé des théories de supercordes, dans lesquelles, en plus des cordes, on trouve des objets étendus de diverses dimensions, reliés par le groupe de U-dualité. De plus, on conjecture l'existence d'une théorie mère, la théorie M, dont la limite de basse énergie serait la supergravité à onze dimensions. Dans ce travail, nous montrons qu'en partant des surfaces de del Pezzo, on peut construire des superalgèbres de Kac-Moody généralisées qui contiennent les groupes de U-dualité et donnent le contenu en champs bosoniques (doublé) de la théorie M et de ses réductions dimensionnelles. On retrouve alors les équations du mouvement comme une condition d'auto-dualité, associée à une symétrie du réseau de Picard de la surface de del Pezzo correspondante. Cela permet d'expliquer la symétrie du «triangle magique» de Cremmer, Julia, Lü etPope.

Cette thèse présente une étude exhaustive des différentes topologies d'événements à grande énergie transverse observés sur le collisionneur électron-proton HERA. L'ensemble des données accumulées par l'expérience Hl entre 1994 et 2000 ont été utilisées, ce qui représente une luminosité intégrée de 118.3 pb-1.<br> Nous avons tout d'abord participé au développement d'un nouvel environnement d'analyse orientée objet, en nous concentrant particulièrement sur la reconstruction des hadrons et des jets hadroniques. Cet environnement, qui est devenu l'outil d'analyse standard de Hl de la phase II de HERA, est mis à l'épreuve dans le cadre de notre sujet.<br> Les événements étudiés regroupent 24 topologies différentes pour lesquelles les spectres d'énergie transverse sont systématiquement étudiés. Un bon accord général au Modèle Standard est observé, mis à part dans quelques canaux à leptons isolés où plusieurs événements atypiques ont déjà été rapportés. La comparaison au Modèle Standard est quantifiée avec l'aide d'une méthode statistique spécifique développée pour l'occasion.

Il s'agit d'une thèse visant à définir un artefact singulier issu de la création plastique : l'objet pictural réel. A près avoir circonscrit, dans une première partie, sa recherche théorique autour d'un objet de culture relevant des problématiques de l'art pictural figuratif moderne, et après avoir défini les concepts et enjeux qui s'y rapportent, l'auteur développe deux autres parties distinctes. La première renvoie à l'artefact artistique et vise à décrire les pratiques de création des artistes de la référence : Giorgio Morandi, Pierre Bonnard et George Segal. La seconde concerne la dimension esthétique de l'artefact et s'appuie sur l'analyse critique d'œuvres. Tout le propos de l'auteur tend à rendre appréhendables les caractéristiques poïétiques et esthétiques de l'objet pictural réel dont la particularité est d'invariablement mettre du jeu dans le regard du spectateur, l'obligeant à reconsidérer ses habitudes de perception, sa façon d'appréhender l'œuvre picturale.

Le problème traité dans cette thèse concerne l'individualisation de l'apprentissage dans un Système Tutoriel Intelligent dédié à l'apprentissage de la lecture pour les enfants en CP. On considère que l'individualisation de l'apprentissage est à la charge des agents rationnels qui se basent sur le modèle de l'apprenant pour intervenir sur les trois niveaux de l'individualisation : -individualisation de l'objectif de la prochaine session d'apprentissage, -individualisation de la séquence de situations didactiques types (plan d'enseignement) pour cet objectif, et enfin, -individualisation de l'activité didactique elle-même, pour arriver à la présentation de situations didactiques instanciées à l'élève. L'approche objet pédagogique a été adoptée pour représenter l'activité didactique et bénéficier de tous les avantages du paradigme orienté objet (réutilisation, adaptation souplesse). L'objet pédagogique ouvre sur des problèmes techniques (exigences technologiques) et d'autres pédagogiques (exigences théoriques ou rationnelles). La prise en compte des exigences théoriques nous a conduit à travailler sur la relation théorie-méthode, c'est-à-dire, proposer une méthode de conception prenant pour base théorique la théorie instrumentale pour concevoir l'objet pédagogique. Le travail de thèse montre comment utiliser le concept d'instrument pédagogique et le représenter dans le système informatique. Ce concept constitue aussi la clé de conception de l'agent d'individualisation intégré dans l'objet pédagogique. La conception d'un objet pédagogique intelligent intégrant l'agent d'individualisation de l'activité didactique introduit une nouvelle approche de conception appelée Agent-Objet pédagogique. Cette approche se base sur le principe du design pédagogique pour assurer une meilleure gestion de la tâche d'individualisation de l'activité didactique. Le rôle de l'agent d'individualisation de l'activité didactique est celui de l'instanciation des paramètres des modèles spécifiant les instruments pédagogiques (modèle de contenu, modèle cognitif, modèle d'interface et modèle didactique).On présente dans cette thèse des éléments théoriques et pratiques contribuant effectivement à la conception de l'agent d'individualisation de l'activité didactique. L'idée de base est que chaque agent utilise des connaissances complexes à partir du modèle de l'apprenant (connaissances à faire acquérir, cognition, attitudes, motivation, émotion et style d'apprentissage) pour scénariser l'activité didactique en suivant 3 phases : instanciation des paramètres de contenu pour la construction de la matière primaire pédagogique, préparation du matériel pédagogique représenté par l'ensemble d'instruments pédagogiques constituant l'activité didactique et finalement, adaptation du scénario d'utilisation des artefacts associés aux instruments pédagogiques.

Dans les années 90, la commission européenne a sollicité la mise au point d'un système de contrôle commande et de signalisation ferroviaire commun à tous les réseaux des états membres : le système ERTMS " European Railway Traffic Management System ". Il s'agit d'un système réparti complexe dont le déploiement complet est long et coûteux. L'objectif global consiste à diminuer les coûts de validation et de certification liés à la mise en œuvre de ce nouveau système en Europe. La problématique scientifique réside dans la modélisation formelle de la spécification afin de permettre la génération automatique des scénarios de test. Les verrous scientifiques, traités dans cette thèse, sont liés d'une part à la transformation de modèle semi-formel en modèle formel en préservant les propriétés structurelles et fonctionnelles des constituants réactifs du système réparti, et d'autre part à la couverture des tests générés automatiquement. Les constituants sont sous la forme de boîte noire. L'objectif consiste à tester ces derniers à travers la spécification ERTMS. Nous avons développé une approche de modélisation basée sur le couplage de modèles semi-formels (UML) et de modèles formels (Réseaux de Petri). Ce couplage se fait à travers une technique de transformation de modèles. Nous avons développé ensuite une méthode de génération automatique de scénarios de test de conformité à partir des modèles en réseaux de Petri. Les scénarios de test ont été considérés comme une séquence de franchissement filtrée puis réduite du réseau de Petri interprété représentant la spécification. Ces scénarios ont été exécutés sur notre plateforme de simulation ERTMS

Dans ce travail, nous proposons des solutions à la problématique constituée par les difficultés rencontrées dans l'optimisation de dispositifs électromagnétiques analysés par des méthodes de simulation numérique, notamment la Méthode des Eléments Finis. Parmi les difficultés, nous avons la grande diversité des problèmes, la recherche d'une solution globale, l'échange des données entre l'outil de simulation et l'outil d'optimisation et le temps de calcul onéreux pour atteindre une solution. Nous commençons par une description des méthodes les plus utilisées dans la résolution de problèmes d'optimisation, dans laquelle nous mettons en évidence leurs particularités et les principales caractéristiques qu'elles ont en commun. Après cette récapitulation, nous présentons l'architecture logiciel d'un outil d'optimisation idéalisée en s'appuyant sur les concepts de la Programmation Orientée Objet. Dans l'implémentation de cette architecture, nous considérons les difficultés issues des problèmes liés à la simulation numérique et nous proposons une nouvelle approche d'optimisation basée sur la Méthode des Plans d'Expérience. Pour valider cette nouvelle approche, nous présentons trois différentes applications en électrotechnique : l'optimisation d'un moteur à reluctance variable, l'optimisation d'un contacteur électromagnétique et la résolution du problème 25 du TEAM Worshop.

Cette thèse porte sur la dynamique sociotechnique à l'œuvre dans le développement d'un dispositif de chat via Internet : l'Internet Relay Chat (IRC). Elle montre qu'il est constamment co-construit par un ensemble d'actants humains et non humains organisés en réseaux sociotechniques appelés « réseaux IRC », parmi lesquels on ne peut distinguer de façon nette les usagers et les concepteurs du dispositif. La thèse s'attache à comprendre les modalités et les mobiles de cette co-construction. Située à l'intersection de deux champs d'étude : la sociologie de l'innovation – dans la perspective des Science & Technology Studies (STS) – et les études sur la communication médiatisée par ordinateur (CMO), notre problématique s'inscrit dans le sillage d'apports théoriques récents qui font valoir que le rôle des usagers dans la construction des dispositifs avait été sous-estimé, en particulier dans le cas des artefacts numériques, qui semblent offrir une plus grande « plasticité » à l'usage. Alors que l'idée d'un usager non seulement acteur, mais aussi contributeur des dispositifs techniques est de plus en plus fréquemment mise de l'avant aujourd'hui, nous constatons que la nature de cette contribution est souvent limitée au contenu. Le cas de l'IRC est intéressant en ce qu'il donne à voir la contribution des usagers à la structure même du dispositif. La recherche s'appuie sur un cadre conceptuel issu de trois approches théoriques en STS : la construction sociale des technologies, la théorie de l'acteur-réseau et le modèle « écologique » des mondes sociaux. Ces trois approches sont mises à contribution pour fournir les éléments d'une théorie de la co-construction qui, par rapport aux modèles classiques de l'innovation, redistribue la capacité d'agir entre les acteurs du développement d'un dispositif sociotechnique. Ainsi, les rôles de concepteur et d'usager s'avèrent être eux-mêmes co-construits dans le processus. Les concepts de communauté de pratique et d'arène d'habileté technique sont mobilisés pour expliquer les ressorts sociaux de l'engagement des acteurs dans cette co-construction. Au plan méthodologique, la recherche est une étude de cas portant plus spécifiquement sur la genèse et le développement de deux des principaux réseaux IRC : EFnet et Undernet. L'objet d'étude spécifique est constitué d'une série de controverses survenues entre 1990 et 2001 et ayant abouti à des sauts qualitatifs dans l'évolution de ces réseaux. Les méthodes mobilisées sont principalement l'analyse de discours et l'ethnographie en ligne, combinées aux techniques d'enquête sur les controverses sociotechniques propres aux STS. Concrètement, le protocole d'enquête a consisté en trois points : a) observation en ligne; b) étude de contenu et analyse de discours portant sur un corpus de documentation disponible sur le Web ainsi que sur les archives de quatre listes de discussion et de deux forums Usenet; et c) entretiens en ligne synchrones et asynchrones avec une douzaine d'acteurs clé du développement de l'IRC. Tandis que l'identification de moments critiques dans le développement du dispositif a permis de repérer des controverses et événements structurants, c'est leur analyse qui a fait ressortir la notion de service comme clé pour comprendre les modalités de co-construction du dispositif. Entendu initialement dans son sens courant (lié à la notion d'usager au sens de client), le service s'est peu à peu « traduit » sous la forme de programmes de plus en plus élaborés jusqu'à constituer des boîtes (presque) noires : les « robots » (bots) officiels ou services IRC. Sur EFnet, ce processus a été longtemps inhibé voire réprimé. Mais les usagers ont développé leurs propres réponses aux lacunes que comportait le protocole technique originel, notamment en créant leurs propres bots pour protéger leurs canaux. Par contraste, les promoteurs d'Undernet ont voulu se démarquer d'EFnet en plaçant le service aux usagers et l'implication de l'usager dans le dispositif au coeur de leur projet. Sur Undernet, le channel service est un concept hybride : c'est un service au sens organisationnel, et un service au sens technique de bot. Le flou définitionnel entourant la notion de service dans le discours des acteurs de l'IRC révèle son statut d'objet-frontière autour duquel s'articulent des « philosophies » du chat parfois divergentes au point de creuser des frontières techniques entre réseaux IRC et, par là même, entre communautés de pratique du chat.

In this dissertation, we present Procedural Object-Oriented Code (POC). POC is the aftermath of the software development activity that involves state of the art object-oriented languages, without employing object-oriented analysis and design. Huge classes, absence of abstractions for domain entities, and shallow inheritance hierarchies are hallmark design defects of procedural object-oriented code. POC also consists of scattered code appearing not only due to the absence of aspects, but it also manifests scattered code appearing due to the non-abstracted domain enti- ties i.e., domain entities that do not have their proper object-oriented classes. The non-abstracted domain logic hinders mining useful crosscutting concerns related to aspects in POC. Confronted with the absence of object-oriented design and the difficulty of mining aspects in POC, we studied it from two perspectives. First, we improve aspect mining techniques by classifying various crosscutting concerns identified in POC with a two-pronged approach: Firstly, the approach identifies and groups crosscutting concerns present in a software system: aspects as well as non-abstracted domain logic. Crosscutting concerns pertaining to non- abstracted domain entities are identified and extracted through their usage of appli- cation domain entity data. Secondly, a new metric called spread-out is introduced to quantify the divulgence of diverse crosscutting concerns. Second, we studied the problem of object identification in procedural object- oriented code. We present a semi-automatic, tool-assisted approach for restructuring POC into an improved object-oriented design. The approach identifies principal classes in POC. These principal classes are then used to extract object-oriented abstractions using Formal Concept Analysis lattices. This is achieved by providing three different concept lattices, namely fundamental, association, and interactions views. We developed tools to validate the approaches presented in the thesis. The approaches are validated on a recently developed industrial application. The appli- cation is used to run blood plasma analysis automatons. The results of our approach are promising.

Nos travaux s'inscrivent dans le cadre des recherches menées sur les EIAH (Environnements Informatiques pour l'Apprentissage Humain) dans le projet Interaction et Connaissance du LIUM. Ce projet a suscité le développement de Diagram, un EIAH dédié à l'apprentissage des concepts de la modélisation orientée objet. Dans cette thèse, nous nous intéressons à l'analyse des réponses de l'apprenant lors de l'activité de modélisation de construction d'un diagramme de classes UML à partir de spécifications textuelles. En l'absence de résolveur pédagogique dans ce contexte, nous proposons une méthode d'analyse automatique des diagrammes de l'apprenant. Nous présentons un outil de diagnostic basé sur la comparaison et l'appariement des constituants de plusieurs diagrammes. Cette proposition s'inspire des concepts et des techniques d'appariement de modèles et se concentre principalement sur les aspects structurels des modèles à apparier. La méthode permet d'exprimer en sortie des appariements et des différences entre le diagramme de l'apprenant et un diagramme de référence construit par un expert. La méthode est instanciée sous forme d'un composant logiciel intégré à Diagram, nommé ACDC (Automatic Class Diagrams Comparator). Les résultats d'ACDC (les différences relevées) sont traités dans Diagram pour la production de rétroactions pédagogiques synchrones destinées à l'apprenant. La pertinence et la qualité des résultats produits par ACDC ont été évaluées en dehors de Diagram sur un corpus de diagrammes collectés dans des situations réelles d'apprentissage. Une expérimentation de Diagram (après l'intégration d'ACDC) a été menée fin 2008 avec des étudiants de l'Université du Maine.