Cette thèse concerne le développement et la mise en œuvre d'un environnement pour le calcul scientifique et la modélisation. L'approche retenue est celle d'une décomposition stratifiée des problèmes, ceci dans un double but: marquer le cheminement progressif des étapes de description, allant de l'énoncé informel vers un langage cible en passant par des langages intermédiaires plus ou moins formalisés ; et, d'obtenir une décomposition structurée, modulaire, pour aller du problème initial vers le programme. Dans le but de vérifier la cohérence des descriptions, des schémas de résolutions, des décompositions, nous associons à tout énoncé des conditions logiques dépendant du langage de description. Pour cela, il nous a paru nécessaire d'étudier les formulations logiques décrites par des systèmes polynômiaux sur les corps finis de la forme Z/pZ. L'étude de ces systèmes nous conduisent à traiter le problème de l'élimination des quantificateurs sur un corps fini, le problème du calcul du résultat sur Z/pZ: des algorithmes sont proposés, ainsi qu'une généralisation de la méthode de Dixon-Biard. Le problème de la déduction est aussi abordé. Ces algorithmes nous permettent de vérifier localement la cohérence d'un énoncé mais aussi d'une décomposition de problème. Ceci rend envisageable une vérification globale. Un éditeur de strates sous Grif est présenté

La séparation d'énantiomères est d'un grand intérêt pour les industries pharmaceutiques, chimiques et agroalimentaires. Les aptamères sont utilisés au sein du Département de Pharmacochimie Moléculaire (DPM) en tant que nouveaux sélecteurs chiraux spécifiques d'une cible prédéterminée. Il s'agit d'oligonucléotides, en série ADN et ARN, générés par la procédure SELEX (Systematic Evolution of Ligands by Exponential Enrichment), ayant la capacité à fixer leurs molécules cibles avec une affinité égale voir supérieure à celle des anticorps. Ce travail a pour objectif d'étudier les propriétés énantiosélectives des aptamères, en série ADN et ARN, par micro-CLHP et EC. Une phase stationnaire chirale aptamère L-ARN anti-D-histidine a été créée en utilisant une stratégie d'immobilisation biotine-streptavidine dans le but d'étudier les propriétés énantiosélectives de cet oligonucléotide récemment isolé. Une nouvelle stratégie d'immobilisation covalente de l'aptamère a été développée afin d'élargir les conditions d'utilisation et d'améliorer la stabilité de ces colonnes aptamères. L'utilisation de ces nouveaux sélecteurs chiraux a ensuite été étendue à une analyse par EC. La première étude a été réalisée sur un aptamère test L-ARN anti-D-arginine caractérisé par de très fortes affinité (Kd = 330 nM) et énantiosélectivité (α = 12000). Ce travail a permis d'apprécier les caractéristiques exceptionnelles de cet aptamère et d'envisager son utilisation dans un essai énantiosélectif par compétition. Une impureté énantiomérique de 0,01% a ainsi été détectée. Un essai similaire, où un contact direct entre l'aptamère et son énantiomère cible est favorisé, a permis d'augmenter la sensibilité de la méthode et pourrait permettre d'abaisser la limite de détection grâce à l'utilisation d'une détection par fluorescence.

.

Cette thèse vise à améliorer la conception des systèmes multi-agents, par l'étude et la modélisation des capacités humaines de planification et d'interaction. Elle s'appuie sur une expérimentation psychologique durant laquelle des sujets humains avaient à résoudre un problème de planification en connaissances incomplètes.<br /><br />Les protocoles collectés au cours de cette expérimentation ont été analysés du point de vue de la planification et du point de vue des interactions. Ainsi, un modèle de la planification humaine et un modèle de l'interaction humaine ont pu être conçus.<br /><br />Ces deux modèles sont intégrés de façon homogène à une nouvelle architecture d'agent appelée BDIGGY. Parmi les modèles d'agents existants, le modèle BDI (Belief, Desire, Intention) offre un cadre intéressant pour la conception d'agents délibératifs capables de planifier et<br />d'interagir selon leurs états mentaux. Ainsi, l'architecture BDIGGY est née d'une fusion entre le système IGGY (un système pré-existant de planification humaine) et une architecture BDI étendue à la résolution coopérative de problèmes.<br /><br />Le modèle de l'interaction humaine introduit dans BDIGGY est sur deux niveaux :<br />1. il s'appuie sur la théorie des actes de langage pour modéliser les énoncés, à l'aide d'un ensemble de performatives (comme c'est le cas dans les ACL classiques) appliquées à des états mentaux ;<br />2. il utilise un modèle du discours, représenté par des automates temporisés, pour décrire la dynamique des conversations humaines, en remplacement des protocoles de communication jugés trop rigides.<br /><br />Les niveaux de l'énoncé et du discours sont liés par une sémantique des performatives. Cette sémantique décrit les pré-conditions et les post-conditions portant sur les états mentaux des agents, à la réception et à l'envoi de messages.<br /><br />Dans BDIGGY, l'interaction, la planification et les connaissances s'entrelacent grâce auxconcepts BDI.<br />L'architecture BDIGGY est validée en comparant au cours d'un test "à la Turing", les protocoles expérimentaux provenant de l'expérimentation psychologique et les protocoles générés par des agents BDIGGY, durant une simulation de la résolution du problème.

Construction d'un modèle mathématique des contraintes s'excerçant sur un annulaire de ciment dans un puits de pétrole. Obtention d'un grand système linéaire creux à matrice symétrique définie positive. Etude sur ce système concret et comparaison de méthodes modernes de révolution des grands systèmes creux

Etude des résolutions de problèmes mathématiques par des personnes parvenues au stade hypothético-déductif exprimées par un discours. Présentation d'un outil pour l'étude des raisonnements naturels.

L'image des mathématiques répandue dans notre société semble bien loin de la pratique effective de cette discipline. Mais alors, qu'est-ce que faire des mathématiques? qu'est-ce que chercher en mathématiques? Comment amener tout un chacun, élève ou grand public, à devenir un apprenti chercheur en mathématiques?<br />Nous pensons que répondre à ces questions peut être une aide pour que les mathématiques ne soient plus reconnues comme socialement problèmatiques, pour leur donner du sens aux yeux de chacun. Or, quel que soit le niveau scolaire, chercher en mathématiques n'est pas un apprentissage réellement formalisé dans l'institution scolaire, très peu d'outils étant disponibles. Alors comment faire ?<br />C'est dans ce but que l'erté Maths à modeler a été mise en place. Issue de la collaboration entre chercheurs en mathématiques discrètes et didacticiens, elle cherche à proposer à tous, élève ou grand public, de découvrir ce que peut être la recherche en mathématiques par le biais d'outils spécifiques: les situations recherche. La recherche s'y effectue de préférence en groupe, sur des problèmes facilement abordables, issus de questions de recherche et non nécessairement résolues! Il ne s'agit donc pas de trouver le bon outil mais de le construire, de se mettre dans la peau du chercheur et de fabriquer, de modeler la résolution même partielle du problème et cela sans pré requis mathématiques particulier si ce n'est savoir compter et réfléchir!<br />Dans le cadre de ma thèse, je m'intéresse plus particulièrement aux situations recherche dans lesquelles les problèmes sont présentés sous forme de jeu et par le biais d'un support matériel, afin de faciliter la rencontre entre public et mathématiques. Un des objectifs de ma recherche est d'étudier et de formaliser les savoirs en jeu (point de vue épistémologique), les apprentissages induits (point de vue didactique) dans de telles situations et les conditions de leur émergence, que ce soit à l'école (du primaire à l'université) ou sur le temps des loisirs (atelier régulier, Fête de la science...), afin de permettre une utilisation des situations Maths à modeler dans un cadre de formation et de vulgarisation.

Pendant ce travail de thèse, nous avons réalisé deux microscopes originaux qui combinent le contraste novateur lié au domaine THz (de 0,1 à 10 THz), aux techniques super-résolvantes de la microscopie optique de champ proche.<br />Tout d'abord, nous avons développé un instrument dont l'originalité réside dans l'illumination qui est assurée par une source locale IR/THz générée in situ par rectification optique. Plusieurs échantillons métalliques et diélectriques ont alors été imagés, mettant en évidence une résolution sub-longueur d'onde dans le domaine THz. Parallèlement, une étude théorique a permis de comprendre les mécanismes de formation des images dans le microscope.<br />Une autre version du microscope optique de champ proche, fonctionnant dans un mode dit sans ouverture a aussi été élaboré. Cette configuration a permis d'atteindre une résolution inférieure au micron dans le domaine THz, grâce à l'ajout d'une pointe métallique fonctionnant comme un diffuseur des ondes évanescentes.

Nous présentons dans cette thèse la définition, la réalisation et les tests d'un radar V.H.F. multifréquence et multipolarisation, travaillant dans une gamme allant de 20 à 100 MHz. <br />Ce système dénommé M.O.S.A.R. (Maquette Orientée pour un Système d'Analyse de Résonances) a pour objectif la mesure des sections efficaces radars d'avions dans cette gamme de fréquence, afin de fournir l'ensemble des connaissances qui permettront de concevoir un futur radar opérationnel, destiné à la détection et à l'identification des cibles aériennes.<br />Dans un premier temps, nous définissons les caractéristiques principales du système, telles que la largeur de l'impulsion émise, la période de récurrence, le nombre de fréquences utilisées, ... . Ensuite, nous construisons un radar à impulsions, monostatique, cohérent, commandé par ordinateur, capable de mesurer et d'enregistrer les signaux rétrodiffusés par des avions. Ce système emploie deux réseaux d'antennes différents pour l'émission et la réception, chacun de ces réseaux utilisant respectivement quatre antennes log-périodiques dipolaires. Les informations relatives aux cibles (amplitude, phase et fréquence Doppler) sont ensuite extraites par une analyse spectrale non linéaire haute résolution.<br />Nous évaluons les performances du radar et précisons les limites du système. Enfin, des résultats expérimentaux sont présentés et confirment les choix dans la définition et la réalisation du radar.

Afin d'étudier de manière non destructive les défauts locaux absorbants précurseurs de l'endommagement laser dans les composants optiques, nous réalisons un dispositif de microscopie haute détectivité et haute résolution, basé sur la déflexion photothermique et couplé à un dispositif d'endommagement laser.La configuration optimale est tout d'abord déterminée par une étude bibliographique, une étude de faisabilité et une étude comparative théorique.Par ailleurs, le rôle de la longueur d'onde est caractérisé par une étude des propriétés spectrales des défauts absorbants et diffusants dans l'UV, le visible et l'IR, pour des substrats et couches minces.Nous présentons ensuite la réalisation expérimentale du dispositif. Une résolution sub-micronique est obtenue.Enfin, nous l'appliquons à l'étude d'inclusions d'or de 600 nm dans la silice. Nous démontrons l'existence d'un phénomène de pré-endommagement: l'absorption de ces inclusions diminue après irradiation sans altération de la surface.