La perception visuelle est un élément déterminant pour interagir avec notre environnement. Lors des activités physiques et sportives, la prise d'informations visuelles permet notamment à un athlète d'extraire et de sélectionner les indices visuels nécessaires pour anticiper le mouvement adverse. L'analyse de cette prise d'informations visuelles a fait l'objet de nombreuses recherches dans le domaine sportif, cependant toutes les méthodes employées semblent limitées sur le plan fonctionnel ou matériel. Ce travail a pour objectif l'évaluation et la mise en oeuvre d'une nouvelle méthodologie d'analyse de la prise d'informations visuelles fondée sur l'utilisation des environnements virtuels. Cette méthodologie est appliquée à l'activité du gardien de but de handball en situation de duel. Dans un premier temps, nous comparons les performances des gardiens de but face à notre méthodologie avec ceux obtenus face à une séquence filmée afin de démontrer l'intérêt des environnements virtuels dans ce domaine. Puis, nous abordons la mise en place de notre méthodologie en nous focalisant sur l'influence du niveau de détail et de la représentation graphique de l'action de tir sur la performance du gardien de but de handball. Enfin, nous utilisons notre méthodologie pour étudier la prise d'informations visuelles du gardien de but de handball. Plus précisément, nous estimons l'importance relative des informations visuelles issues de la trajectoire du ballon et du mouvement de tir.

Par ses implications cognitives et pragmatiques, la représentation graphique constitue un outil privilégié du projet architectural et urbain par lequel se manifestent et opèrent les manières de faire. Partant de cette hypothèse méthodologique, cette recherche tente de mieux définir le renouvellement des modes de production et de pensée de l'éclairage urbain à travers l'étude des usages de la représentation graphique chez les concepteurs lumière, principaux acteurs de ce renouveau issus de milieux professionnels divers. Trois types de sources sont utilisés : observation du travail d'agence, entretiens semi-directifs et surtout corpus graphique extrait de vingt projets (mises en lumière urbaines, plans lumière), analysé sur un mode monographique puis typologique. Les entretiens révèlent une démarche commune de type scénographique ainsi que l'importance du mouvement d'acculturation à la maîtrise d'oeuvre traditionnelle par lequel se construit la nouvelle profession de concepteur lumière. La production graphique des concepteurs lumière reflète largement ces caractéristiques, tirant sa spécificité d'un processus d'hybridation entre les formes graphiques de l'éclairagisme technique et celles du projet architectural et urbain, comme le montre l'analyse typologique du corpus. Plus largement, l'analyse graphique met en évidence le caractère actuel (Cauquelin, 1992), c'est-à-dire à la fois traditionnel et contemporain, des pratiques des concepteurs lumière. Cette actualité, questionnant les modes d'appréhension courant du projet architectural et urbain, a ainsi trait : - à leur champ de compétence et d'intervention, ni tout à fait technique ni tout à fait artistique, témoignant en outre d'une hybridation entre disciplines ; - sur le plan graphique, à leur usage de techniques mixtes et au brouillage de la frontière entre conception et communication ; - sur le plan esthétique, au mélange entre retour aux origines de la scénographie et création de dispositifs spatio-lumineux inédits.

Après un historique bref et général de la déduction automatique, on analyse les tendances actuelles et les besoins en présentation de preuves et communication d'outils d'inférence. Les notions théoriques concernées sont présentées et étudiées en détail. On donne ensuite une synthèse comparative critique et exhaustive de l'état de l'art. Cette synthèse manquait dans la littérature. L'analyse des notions fondamentales en logique et la synthèse sur l'état de l'art permettent d'établir les caractéristiques retenues pour le système GLEF (Graphical & Logical Edition Framework). La conception et la réalisation de deux langages ont permis de rendre GLEF générique (c'est à dire paramétrable par le système formel employé et par la présentation de ses preuves). Un formalisme de définition, fondé sur le Calcul des Construction (dû à Coquand et Huet), sert à représenter et à vérifier les systèmes formels et les preuves dans ses systèmes formels. Un langage de présentation, fondé sur la notion de «boîte», sert à décrire leur présentation. En annexe nous donnons un algorithme original pour l'opération d'effacement, particulièrement difficile en lambda-calcul typé, qui sert à réaliser la commande «couper» de GLEF. GLEF a été développé au sein du projet ATINF (ATelier d'INFérence). Un manuel utilisateur rudimentaire et de nombreux exemples d'utilisation en sont donnés. Certains exemples montrent comment, après avoir spécifié la définition et la présentation d'un système formel objet, un utilisateur de GLEF peut construire ou visualiser des preuves en manipulant directement les objets (formules, preuves partielles, etc.) à l'écran, avec la souris. D'autres illustrent comment GLEF présente les preuves produites par les démonstrateurs d'ATINF ou extérieurs à ATINF. Les principales lignes de recherche future concluent ce travail

.

Étude des aspects logiciels lies a la conception d'applications graphiques interactives

Après une revue critique des méthodes de placement existantes, l'étude développe plus précisément les méthodes ascendantes sur trois points: préstructuration logique du réseau à implanter, contraintes topologiques, et prévision de la connectique afin de gérer les ressources critiques. Illustration par un travail pratique, conception d'une méthode et d'un logiciel d'implantation automatisée sur réseau prédiffusé CMOS à une couche d'aluminium. L'utilisation des méthodes de classification pour hiérarchiser les problèmes complexes est introduite pour la formation des agrégats d'éléments à placer

Le travail présenté dans cette thèse porte sur le domaine de l'aide à la construction du plan de masse de circuits VLSI. Cette construction est basée sur une évaluation topologique prédictive et une approche hiérarchisée. FLOPE est un éditeur interactif permettant la construction d'un plan masse de manière structurée. Il est essentiellement destiné à communiquer avec des évaluateurs existants ou à venir. Son rôle dans la conception hiérarchique est notamment: d'anticiper les problèmes de composition grâce è l'évaluation prévisionnelle de surface, de forme et d'interconnexions lors de l'étape de décomposition; d'absorber souplement les modifications topologiques grâce à un mécanisme de propagation. FLOPE a été implanté en langage CEYX-Le-Lisp

Indépendance d'un logiciel graphique par rapport à son contexte d'utilisation. Conception et réalisation d'un logiciel graphique basé sur le concept de "console virtuelle". La première génération de GRIGRI. La conception du logiciel GRIGRI. La réalisation du logiciel GRIGRI. Etude des deux types d'interpréteurs. Directives pour l'insertion du logiciel dans un contexte quelconque

Cette thèse présente un algorithme robuste et efficace du calcul<br /> d'une forme paramétrée exacte de la courbe d'intersection de deux<br /> quadriques définies par des équations implicites à coefficients rationnels. Pour la première fois, le<br /> paramétrage que nous obtenons contient toutes les informations<br /> topologiques de la courbe et est assez simple pour être exploité<br /> dans des applications géométriques non triviales.<br /><br /> De nombreux progrès, dans différents domaines, ont été<br /> nécessaires pour atteindre ce résultat. Nous avons réalisé une étude<br /> exhaustive de tous les cas possibles d'intersection, d'abord dans<br /> $\Pp^3(\C)$ en nous basant sur les travaux de Segre, puis dans $\Pp^3(\R)$ <br /> en exploitant les résultats d'Uhlig sur la réduction simultanée de<br /> deux formes quadratiques réelles. Cette étude systématique nous a<br /> permis de maîtriser complètement la géométrie inhérente à<br /> l'intersection de deux quadriques. Nous sommes maintenant capables<br /> de déterminer toutes les caractéristiques de la courbe<br /> d'intersection, à savoir son genre, ses points singuliers, le nombre<br /> de ses composantes algébriques et connexes, et les incidences entre<br /> ces composantes. Quand il en existe, nous<br /> trouvons un paramétrage rationnel des composantes de la courbe<br /> d'intersection. En ce sens, notre algorithme est optimal.<br /> Nous avons aussi fait des progrès significatifs sur la complexité de l'expression radicale des<br /> coefficients du paramétrage obtenu.<br /> Notre résultat est quasi-optimal dans le sens où les coefficients du paramétrage<br /> de la courbe d'intersection que nous calculons contiennent au plus<br /> une racine carrée non nécessaire dans leur expression. <br /> De plus, notre résultat est optimal dans le cas le pire,<br /> dans le sens où pour chaque type de courbe d'intersection<br /> (par exemple une quartique régulière, ou une cubique et une droite, ou<br /> deux coniques), il existe des paires de quadriques pour lesquelles le<br /> nombre de racines carrées apparaissant dans l'expression des<br /> coefficients de notre paramétrage est minimal.<br /><br /> Enfin, nous avons réalisé une implantation complète de notre<br /> algorithme en MuPAD qui nous a permis d'afficher des<br /> performances inédites, tant en terme de vitesse d'exécution qu'en terme de<br /> simplicité du résultat obtenu.

L'étude des régulateurs utilise à ce jour des modèles de zone à un seul nœud d'air. Un nouveau modèle de zone, distinguant les différentes positions possibles du capteur est développé dans cette thèse. A partir d'une étude expérimentale en chambre climatique et de simulations sur code CFD, on établit la liste des phénomènes thermiques et aérauliques, à prendre en compte lors du développement du modèle pour différents systèmes de chauffage et de climatisation. L'approche zonale, divisant l'air d'une pièce en plusieurs sous-volumes, est choisie car elle est bien adaptée pour tenir compte des phénomènes convectifs caractérisant les différents systèmes de chauffage et de climatisation. Le modèle de zone est divisé en deux parties: un modèle zonal représentant l'ambiance occupée et un modèle supplémentaire relatif aux emplacements du capteur. Ainsi on peut évaluer les conditions de confort dans la zone d'occupation et l'impact des différentes positions du capteur. Le modèle est validé pour une cellule test équipée de différents systèmes de chauffage et de climatisation. Une analyse de sensibilité est ensuite menée afin de tester la sensibilité aux paramètres principaux du modèle. La qualité de la régulation et la consommation d'énergie sont ensuite comparées pour différentes positions du capteur dans une pièce équipée de différents émetteurs et systèmes de climatisation. Les résultats sont comparés à ceux obtenus par un modèle à un nœud d'air. La principale conclusion de cette thèse est que l'influence de la position du capteur est fortement fonction du système de chauffage et de climatisation et du type de régulateur. Les différences, en général négligeables en terme de confort de l'occupant, peuvent devenir importantes au niveau de la consommation d'énergie. De ce fait, on peut définir pour quels systèmes de climatisation le modèle à un nœud d'air doit être remplacé par le modèle développé.