La thèse concerne un procédé de fabrication par usinage dans son aspect le plus générique. L’objectif est de développer une approche intégrée aux systèmes CFAO permettant de prédire le comportement vibratoire d’un système usinant en fraisage régénératif multiaxe dans une échelle mésoscopique. Cela engage l’estimation des interactions Pièce / Outil instantanées, le calcul des forces de coupe et enfin, la détermination de la stabilité/instabilité du procédé sous certaines conditions de coupe. La géométrie de l’interaction est rendue particulièrement complexe à cause de la forme de l’outil et de la pièce ainsi que de leur position relative. Dans ces travaux, nous proposons une approche générique basée sur un système de CFAO pour l’extraction des éléments géométriques nécessaires au calcul des forces de coupe en chaque point de la trajectoire du fraisage. Et dans le dessein d’une meilleure prédiction, nous nous basons sur la discrétisation de la fraise en des arêtes infinitésimales. Particulièrement, cette approche est implémentée pour un cas d’usage simple. Par la suite, nous développons, sous Simulink/Matlab, un système de calcul permettant la visualisation des forces et de la dynamique de la coupe dans le domaine temporel. Ceci grâce aux modèles de comportement du système usinant identifiés expérimentalement et un modèle spécifique d’efforts de coupe intégrant le facteur retard. Par ailleurs, la stabilité liée à la coupe est déterminée à partir des critères de comportement applicables aux systèmes non linéaires héréditaires. L’interopérabilité de ces deux outils de calcul et de conception est couronnée par la production d’un démonstrateur de comportement vibratoire sur une trajectoire de coupe par fraisage régénératif. Enfin, une première étude expérimentale visant le recalage des modèles de comportement et d’efforts de coupe, ainsi que la validation de l’approche générique et du démonstrateur est produite pour différents processus de fraisage. / This research is a generic aspect enquiry on manufacturing process by machining. Its main objective is supporting CAD/CAM systems through an integrated approach aiming to determine vibratory behavior of multi-axis chatter milling. This involves estimating instantaneous Part / Tool interactions, calculating cutting forces and finally determining process stability or instability under certain cutting conditions. Interaction geometry is made particularly complex because of tool and workpiece’s geometry as well as their relative position. In this work, we propose a generic approach based on CAD/CAM systems to extract geometric elements needed to calculate cutting forces at each point of milling path. In addition, with a view to better prediction, we rely on milling tool discretization into infinitesimal edges while developing and implementing milling simulation system for cutting forces and dynamics calculation tool in Simulink/Matlab software. This, thanks to the behavior models of machining system identified experimentally and a specific model of cutting forces incorporating delay factor. In addition, the milling process behavior is determined by applying some criteria to the hereditary system. The interoperability of these two calculation and design tools is culminated with a visual demonstrator of vibration behaviors in milling tool path. Finally, a first experimental study aiming at behavior and cutting forces models adjustment, as well as the generic approach and the demonstrator validation is realized for different milling processes.

Cette thèse en informatique se situe plus particulièrement dans le domaine de l’ingénierie des connaissances. Elle concerne la mise en place a posteriori de systèmes d’assistance dans des applications existantes, en adoptant une démarche générique. Afin de permettre la mise en place de systèmes d’assistance dans des applications existantes sans avoir à les redévelopper ni à accéder à leur code source, nous avons choisi d’adopter une démarche entièrement épiphyte. Nous avons proposé un processus d’adjonction d’un système d’assistance à une application-cible de manière épiphyte. Il est constitué de deux phases : la spécification et l’exécution de l’assistance. La phase de spécification de l’assistance permet à un expert, le concepteur de l’assistance, de représenter ses connaissances relatives à l’application-cible et à l’assistance qu’il souhaite mettre en place dans celle-ci. La phase d’exécution de l’assistance exploite ces connaissances pour fournir aux utilisateurs finaux l’assistance souhaitée par le concepteur. Pour permettre d’une part la spécification de l’assistance par un concepteur potentiellement non-informaticien, et d’autre part l’exécution automatique de l’assistance spécifiée, nous avons proposé un langage pivot : aLDEAS. Ce langage graphique permet de définir des systèmes d’assistance très variés sous la forme d’un ensemble de règles. Nos propositions théoriques ont été mises en oeuvre de façon opérationnelle à travers le système SEPIA, constitué de différents outils. L’éditeur d’assistance de SEPIA est destiné aux concepteurs d’assistance et met en oeuvre la phase de spécification de l’assistance. Il fournit aux concepteurs d’assistance une interface pour manipuler les éléments du langage aLDEAS, afin de définir un système d’assistance sous la forme d’un ensemble de règles aLDEAS. Les systèmes d’assistance aLDEAS peuvent ensuite être exécutés par le moteur générique d’assistance qui met en oeuvre la phase d’exécution de l’assistance. Il permet de fournir l’assistance ainsi définie aux utilisateurs finaux des applications-cibles. Pour cela, le moteur d’assistance s’appuie sur différents outils épiphytes, pour surveiller et inspecter l’application-cible, ainsi que pour réaliser les actions d’assistance pour l’utilisateur final. Bien que mettant en oeuvre des modèles génériques, le système SEPIA permet de mettre en place de l’assistance finement contextualisée et adaptée aux spécificités, d’une part de l’application-cible, et d’autre part des utilisateurs finaux. / This thesis in computer science is situated more particulary in the field of knowledge engineering. It concerns the a posteriori setup of assistance systems in existing applications, while having a generic approach. In order to setup the setup of assistance systems in existing applications without a need to redevelop it or to access its source code, we choose to have a fully epiphytic approach. We proposed a adjunction process of an assistance system to a target-application with a epiphytic manner. It is constituted of two phases: the specification and the execution of the assistance. The assistance specification phase enables an expert, the assistance designer, to represent his knowledge relative to the target-application and to the assistance that he wishes to setup. The assistance execution phase uses this knowledge to provide the target-application end-users with the assistance wished by the designer. To make possible on the one hand the assistance specification by an assistance designer potentially non-computer scientist, and one the second hand the automatic execution of the specified assistance, we propose a pivot language: aLDEAS. This graphical language makes possible the definition of very varied assistance systems, with the shape of a set of rules. Our theoretical propositions have been implemented through the SEPIA system, constituted of different tools. The SEPIA assistance editor is aimed at assistance designers, and it implemented the assistance specification phase. It provided the assistance designers with an interface to handle aLDEAS elements in order to define assistance rules. These rules can then be executed by the SEPIA generic assistance engine, which implements the assistance execution phase. It provides the target-application end-users with the specified assistance. For this purpose, the assistance engine manages different epiphytic tools, in order to monitor and inspect the target-application, and to perform the assistance actions. The models implemented through the SEPIA system are generic, but it make possible the setup of assistance systems specifically suited on the one hand to their target-application, and on the second hand to the end-users.

Les humains sont capables de suivre visuellement des objets sans effort. Cependant les algorithmes de vision artificielle rencontrent des limitations pour suivre des objets en mouvement rapide, sous un éclairage variable, en présence d'occultations, dans un environnement complexe ou dont l'apparence varie à cause de déformations et de changements de point de vue. Parce que des systèmes génériques, précis, robustes et rapides sont nécessaires pour de nombreuses d’applications, le suivi d’objets reste un problème pratique important en vision par ordinateur. La première contribution de cette thèse est une approche calculatoire rapide pour le suivi d'objets de forme et de mouvement variable. Elle consiste en un système unifié et configurable pour estimer l'attitude d’un objet déformable dans un espace d'états de dimension petite ou grande. L’objet est décomposé en une suite de segments composés de parties et organisés selon une hiérarchie spatio-temporelle contrainte. L'efficacité et l’universalité de cette approche sont démontrées expérimentalement sur de nombreux exemples de suivi de divers objets flexibles et articulés. Les caractéristiques de Haar (HLF) sont abondement utilisées pour le suivi d’objets. La deuxième contribution est une méthode de décomposition des HLF permettant de les calculer de manière efficace. Ces caractéristiques sont décomposées en noyaux plus simples, éventuellement réutilisables, et reformulées comme des convolutions multi-passes. La recherche et l'alignement des noyaux dans et entre les passes permet de créer des arbres récursifs de noyaux qui nécessitent moins d’opérations en mémoire que les systèmes de calcul classiques, pour un résultat de convolution identique et une mise en œuvre plus efficace. Cette approche a été validée expérimentalement sur des exemples de HLF très utilisés / Humans can visually track objects mostly effortlessly. However, it is hard for a computer to track a fast moving object under varying illumination and occlusions, in clutter, and with varying appearance in camera projective space due to its relaxed rigidity or change in viewpoint. Since a generic, precise, robust, and fast tracker could trigger many applications, object tracking has been a fundamental problem of practical importance since the beginnings of computer vision. The first contribution of the thesis is a computationally efficient approach to tracking objects of various shapes and motions. It describes a unifying tracking system that can be configured to track the pose of a deformable object in a low or high-dimensional state-space. The object is decomposed into a chained assembly of segments of multiple parts that are arranged under a hierarchy of tailored spatio-temporal constraints. The robustness and generality of the approach is widely demonstrated on tracking various flexible and articulated objects. Haar-like features are widely used in tracking. The second contribution of the thesis is a parser of ensembles of Haar-like features to compute them efficiently. The features are decomposed into simpler kernels, possibly shared by subsets of features, thus forming multi-pass convolutions. Discovering and aligning these kernels within and between passes allows forming recursive trees of kernels that require fewer memory operations than the classic computation, thereby producing the same result but more efficiently. The approach is validated experimentally on popular examples of Haar-like features

Mon travail de recherche consiste à comparer les formes du merveilleux dans deux oeuvres, génériquement, culturellement et linguistiquement tout à fait distinctes et qui pourtant ne sont pas sans liens. Le roman de Jaufré est un roman arthurien écrit en occitan probablement au début du XIIIème siècle, tandis que les Narty Kaddžytæ sont le trésor dupeuple ossète, légendes recueillies aux XIXème et XXème siècles auprès des conteurs (kadæggændžytæ) et publiées notamment par des savants tels que Vs. Miller et V.I. Abaev. G. Dumézil a montré combien le cycle des Nartes, bien que rapporté par la tradition orale, s’enracinait très profondément dans le passé au-delà du peuple ossète lui-même. Dansles légendes de ce petit peuple, dernier locuteur d’une langue nord-est iranienne (la branche scythique), on retrouve maintes accointances avec les coutumes et croyances des Scythes, tels que décrits par Hérodote. [etc.] / My research concentrates on the comparison of the shapes taken by ‘merveilleux’ motives in two works truly different as far as literary genres, cultural and linguistic backgrounds are concerned, and yet not totally lacking connections.The roman de Jaufré is an Arthurian romance written in Occitan, probably from the beginning of the XIIIth century, while the Narty Kaddžytæ (Nart legends) are the treasure of Ossetian people, legends collected during the XIXth and XXth centuries from kadæggændžytæ (oral storytellers), and published by Russian, Ossetian or European scholars such as Vs. Miller, V.I. Abaev. Miller and later Dumézil proved how the Nart Legends, though coming from oral tradition, was rooted in a past far beyond the ethnogenesis of the Ossetian people. A lot of striking connections are to be found between the epic of these people - last speakers of a language from the Northeast Iranian group (or Scythian branch) - and the habits or the faith ofthe Scythian people, such as Herodote described them. [etc.]

De nos jours, les projets d’architecture font participer de nombreux acteurs différents de plus en plus éloignées géographiquement et cependant regroupées dans le cadre de l’élaboration d’un seul et même projet. Intégrer les points de vue de tous ces acteurs de la conception en prenant en compte le cycle de vie du bâtiment suggère une certaine « transversalité » de la conception et est rendu possible par une prise en compte très tôt dans les processus, de contraintes ou de paramètres gérés beaucoup plus tard dans les organisations traditionnelles. Cette étude souligne l’exigence forte d’une conduite de la conception pour améliorer la qualité de cette dernière et réduire ainsi l’apparition des dysfonctionnements. En ce sens, nous mettons en exergue les caractéristiques multidisciplinaires et les aspects prédictifs et réactifs de la conduite de la conception en architecture. Ensuite sur la base des modèles cognitifs existants, nous proposons un modèle combinant de façon simple trois activités primitives (analyse, proposition, évaluation). Ensuite nous enrichissons ce modèle pour couvrir les aspects prédictifs et réactifs de la conduite de la conception. Cela se fait sur la base de notre analyse de la conduite de la conception qui a permis de révéler deux entités, généralement implicites mais omniprésentes dans les projets de conception : la situation problématique et la situation visée. Enfin, nous spécifions et présentons une maquette d’un outil d’un niveau supérieur par rapport aux outils existants et qui peut être qualifié d’outil réactif. Cela signifie qu’il ne permet pas de définir une solution, mais de déterminer quand l’intervention de l’acteur pilote est souhaitable / Nowadays, numerous architecture projects require different actors who are more and more remotely located to work together on the elaboration of a common project. The inputs of these actors of design need to be integrated by taking into account the life cycle of the buildings, which requires that design have a "transversal" dimension. This can be achieved by including, in the early stages of process, constraints and parameters that are usually managed much later in traditional organizations. This study highlights the strong demand for design steering aiming at improving the quality of design and thus reducing the appearance of dysfunctions. With regard to this, we highlight the multidisciplinary characteristics as well as the predictive and reactive aspects of design steering in architecture. Then, based on existing cognitive models, we propose a model combining - in a simple way - three primary activities (analysis, proposition, evaluation). Then we enrich the model so that it covers the predictive and reactive aspects of design steering. This is done on the basis of our analysis of design steering, which allowed to uncover two narrowly linked entities. These two entities, which are generally implicit but are actually present in design projects, are: the problematic situation and the aimed situation. Finally, we specify and present the mock-up of a tool that is superior to the existing drawing, CAD, calculation or simulation tools. The tool that we present doesn't belong to the same "family". In fact, it can be called "reactive", which means that instead of allowing to define a solution, it allows to determine when the intervention pilot actor is needed

Depuis les travaux précurseurs de Richard et al., les constructions géométriques<br />occupent une place importante dans la description des macro-molécules et leurs assemblages.<br />En particulier, certains complexes cellulaires liés au diagramme de Voronoï<br />ont été utilisés pour décrire les propriétés de compacité des empilement atomiques,<br />calculer des surfaces moléculaires, ou encore détecter des cavités à la surface des molécules.<br />Cette thèse se positionne dans ce contexte, et après une brève introduction à la<br />structure des protéines, détaille quatre contributions.<br /><br />Premièrement, en utilisant le principe de balayage introduit par <br />Bentley et Ottmann, cette thèse présente le premier algorithme effectif<br />pour construire l'arrangement exact de cercles sur une sphère.<br />De plus, en supposant que les cercles proviennent de l'intersection entre<br />sphères, une stratégie pour calculer les listes couvrantes d'une face de<br />l'arrangement (i.e. la liste des boules qui la recouvrent) est proposée.<br />L'exactitude n'étant pas une fin en soi, mais plutôt une façon de rendre l'algorithmique<br />robuste, nous montrons expérimentalement que le surcoût induit est modeste.<br /><br />Deuxièmement, cette thèse développe les primitives algébriques et géométriques<br />requises par l'algorithme de balayage afin de le rendre générique et robuste. Ces primitives<br />sont intégrées dans une contexte plus général, à savoir le noyau CGAL pour les objets sphériques.<br /><br />Troisièmement, la machinerie introduite est utilisée pour traiter un problème<br />de biologie structurale computationelle : la sélection d'un sous-ensemble varié<br />à partir d'un ensemble redondant de conformations de boucles.<br />Nous proposons de résoudre ce problème de sélection en retenant les <br />représentants qui maximisent l'aire ou le volume de la sélection.<br />Ces questions peuvent être traitées géométriquement à l'aide d'arrangements de cercles sur une sphère.<br />La validation est faîte sur deux fronts.<br />D'un point de vue géométrique, nous montrons que notre approche génère des sélections<br />dont l'aire de la surface moléculaire équivaut à celle de sélections obtenues par des stratégies <br />classiques, mais qui sont de taille nettement inférieure.<br />Du point de vue amarrage de protéines, nous montrons que nos sélections améliorent de<br />manière significative les résultats obtenus à l'aide d'un algorithme manipulant des<br />parties flexibles.<br /><br />Pour finir, nous discutons les problèmes et choix d'implémentation, en<br />les replaçant dans le contexte de la librairie CGAL.

L'informatique mobile est un domaine en plein essor qui profite des percées technologiques dans le domaine des ordinateurs portables et dans le domaine des réseaux de communication sans-fil. Ces environnements mobiles présentent des particularités : (i) dû à des limitations de taille et de poids, un terminal portable offre peu de ressources et celles-ci sont susceptibles de varier, (ii) les réseaux sans fil offrent une bande passante plus faible, sujette à des variations importantes et de fréquentes déconnexions dues aux interférences avec l'environnement, et (iii) l'environnement d'un terminal portable change suite à ses déplacements, avec l'accès, ou la disparition de l'accès, à un certain nombre de stations (mobiles ou non) et de périphériques (imprimantes, scanner, etc). L'objectif de cette thèse est de proposer une méthode qui généralise l'utilisation des ressources extérieures à un terminal portable au moyen de techniques de distribution prenant en compte ces critères de la mobilité. Nous proposons donc un système adaptatif de distribution des applications en environnements mobiles. Pour cela, nous avons construit une architecture générique se décomposant en un cadre de conception et une boîte à outils. Le cadre de conception comporte des fonctionnalités couramment utilisées pour la gestion des environnements mobile. La boîte à outils comporte des implantations permettant aux concepteurs d'applications de spécialiser les fonctionnalités avec un comportement défini. Dans ce cadre, nous avons plus précisément développé deux fonctionnalités. La fonctionnalité d'adaptation et de réaction dynamique définit, en particulier, un modèle d'entité auto-adaptative, dans laquelle les concepteurs peuvent dynamiquement spécialiser (i) les adaptations possibles de l'entité et (ii) la stratégie d'adaptation, correspondant aux changements de comportement à adopter en cas de variations dans les conditions d'exécution. La fonctionnalité de gestion des ressources et de distribution des applications caractérise les particularités de l'environnement mobile et les besoins des applications au sein d'un modèle d'utilisation de type offres / demandes. Cinq services mettent en oeuvre cette fonctionnalité : (i) le service de gestion de l'environnement, (ii) le service de gestion de l'environnement local, (iii) le service de détection et notification, (iv) le service de distribution et (v) le service de contrôle de la propagation des adaptations. Ceux-ci comportent des politiques adaptatives, basées sur le modèle de l'entité, qui peuvent être dynamiquement spécialisées par les concepteurs. Un prototype, AeDEn, a été développé et plusieurs expériences ont confirmé que la distribution en environnement mobile permet d'économiser les ressources des terminaux portables et d'améliorer les performances des applications.

Dans cette thèse, nous introduisons et étudions une nouvelle représentation implicite des hypersurfaces rationelles et des courbes rationnelles plongées dans un espace projectif de dimension arbitraire. Nous illustrons les avantages de cette représentation matricielle en abordant plusieurs problèmes importants intervenant en conception géométriqueassistée par ordinateur: les problèmes d'intersection entre deux courbes, entre une courbe et une surface ou bien encore entre deux surfaces, le problème d'appartenance d'un point à une courbe ou une surface, le problème du calcul de la pré-image d'un point donné par une paramétrisation et enfin le problème du calcul des singularités d'une courbe rationnelle. L'approche développée dans ce travail de thèse est basée sur la combinaison de méthodes symboliques et numériques. En effet, un première étape symbolique consiste à transformer le problème considérer en un pinceau de matrices. La deuxième étape consiste alors à calculer les valeurs propres généralisées de ce pinceau à l'aide de méthodes numériques. Pour cela, un algorithme d'extraction de la partie régulière d'un pinceau univarié, respectivement bivarié, de matrices non carrées est présenté. Une implémentation de ces travaux dans les systèmes de calcul formel Mathemagix et Maple est présentée en appendice. Le dernier chapitre est conscré à un algorithme qui, étant donné un ensemble de polynômes univariés f1 , ..., fs construit un ensemble de polynômes u1 , ..., us dont les degrés sont prescrits, tels que le degré du pgcd(f1 + u1 , ..., fs + us ) est supérieur ou égal à un entier donné sous des hypothèses de généricité.

L'objectif de cette thèse est, d'une part, de fournir des méthodes de planification de mouvements pour les systèmes non-holonomes, et d'autre part, d'étudier la contrôlabilité spectrale pour les équations de Schrödinger linéarisées. Nous avons apporté une double contribution au problème de la planification de mouvements pour les systèmes non-holonomes. Fondé sur la géométrie sous-riemannienne, nous avons conçu un nouvel algorithme qui résout complètement le problème dans un cadre général. Nous avons également proposé une implémentation numérique de la méthode de continuation qui fournit des solutions satisfaisantes au problème de la planification du roulement sur le plan, un exemple classique de systèmes non-holonomes à deux entrées. Nous avons donné des conditions nécessaires et suffisantes de contrôlabilité spectrale en temps fini des équations de Schrödinger linéarisées en dimension 2 et 3. Leur généricité par rapport au domaine a été étudiée par une technique originale basée sur les équations intégrales.

Ce mémoire comprend les chapitres : 1) Introduction 2) La généricité et les notions de "presque toujours" 3) Dynamique générique des équations paraboliques 4) Dissipativit é de l'équation des ondes amorties et application au contrôle global 5) Etude de fronts dans des EDP dissipatives