Dans cette thèse, nous intéressons au problème de l'évolution des schémas pour les bases de données à objets. Nous considérons d'abord les solutions proposées pour la gestion de l'évolution de schéma de bases de données à objets. Nous proposons une classification des approches existantes. Pour chacune de ces approches nous décrivons son principe, les mécanismes d'évolution associés, ainsi que les produits et les prototypes qui l'implantent. Nous analysons ces travaux en soulignant les avantages et les inconvénients de chaque approche. Nous présentons ensuite notre approche. D'une part, cette approche propose un cadre qui permet de combiner les fonctionnalités de la modification et du versionnement pour une meilleure gestion de l'évolution de schéma. D'autre part, elle offre à l'utilisateur un langage permettant de décrire les liens entre les différents états de la base de données afin de traduire le plus fidèlement possible les évolutions du monde réel. Le versionnement de schéma évite la perte d'informations et assure que les anciens programmes d'applications continuent de fonctionner. Cependant, le nombre de versions peut devenir important ; ce qui rend complexe leur gestion. Notre approche permet de limiter le nombre de versions: (1) l'évolution d'un schéma est traduite par sa modification si l'évolution est non-soustractive (ne provoque pas la suppression de propriétés) ou si l'utilisateur le décide, (2) La technique utilisée pour adapter les instances au schéma après l'évolution, est basée sur la caractérisation de l'importance de l'existence en tant que telle d'une version d'objet. Ainsi, le nombre de versions est limité à celles qui sont fréquemment accédées par des programmes, (3) la possibilité donnée à l'administrateur de réorganiser la base de données lui permet de supprimer des versions historiques du schéma

Cette thèse a comme objectif l'optimisation temporelle au cours du processus de synthèse des réseaux programmables à base de LUT, en particulier ceux de la famille Flex8000 d'Altera et de la famille XC4000 de Xilinx. L'optimisation temporelle consiste en deux étapes essentielles: la détection de la zone critique et la décomposition technologique orientée vitesse dans cette zone. Les nouvelles notions de zone sensible et de zone critique sont utilisées pour rechercher la zone dont l'optimisation temporelle devrait satisfaire les demandes de l'utilisateur. Un modèle prédictif réaliste du délai des chemins dans un réseau à base de LUT a été proposé. La fonction de coût proposée, exprimant bien la relation entre les entrées/sorties critiques, non critiques ou sensibles, permet à la décomposition technologique orientée vitesse d'optimiser efficacement la zone nécessaire, en augmentant très peu la surface. De plus, les réinjections contrôlées des sous-fonctions booléennes appliquées dans la zone critique permettent d'obtenir des zones de travail, destinées à une resynthèse, avec une taille convenant à la technologie considérée. L'approche proposée pour la décomposition technologique orientée vitesse en tenant compte des contraintes de l'utilisateur s'est avérée rapide et donne de bons résultats. Le gain en vitesse de l'optimisation temporelle par rapport à l'option surface est en moyenne de 32% avec une augmentation de surface de 30% seulement. Ce travail a fait l'objet d'un transfert technologique vers un système industriel de CAO, appelé ASYL+. La qualité des résultats a été démontrée en comparaison avec des outils commerciaux tels que Exemplar, Maxplus2 de la société Altera et XACT de Xilinx. Les tests sur de nombreux benchmarks donnent un gain moyen en performance temporelle d'ASYL+ sur Exemplar, Maxplus2 et XACT respectivement de l'ordre de 28%, 18% et 17%

L'objet de cette thèse est l'étude d'un problème d'ordonnancement, dont le critère d'optimisation est la minimisation du nombre total de changements d'outils sur une machine flexible. Différents problèmes liés à l'outillage et pouvant constituer un obstacle au fonctionnement d'un atelier flexible sont brièvement examinés, (de la gestion de l'inventaire aux changements d'outils). Nous nous concentrons ensuite sur le problème d'ordonnancement avec gestion d'outils sur une seule machine: ce problème est NP-complet. Un premier aspect qui est la gestion off-line des outils est étudié: différents modèles sont proposés pour la minimisation des changements en fonction d'une séquence des tâches donnée. Dans ce cas, le problème est polynomial. Nous revenons ensuite au problème d'ordonnancement proprement dit, pour lequel plusieurs types de méthodes heuristiques sont décrites et comparées. La seconde partie du travail est consacrée à la gestion on-line des changements d'outils; elle se compose de deux chapitres: dans le premier, le modèle que nous allons utiliser est décrit en détail. Il s'agit de la modélisation des problèmes de k-serveurs. Le principe peut être résumé comme suit: sur un réseau de n clients potentiels, on dispose de k serveurs mobiles, avec lesquels on doit répondre on-line aux demandes unitaires et successives des clients, tout en optimisant les déplacements des serveurs. Ce problème est en étroite relation avec la gestion des mémoires en informatique. Dans le dernier chapitre, le modèle des k-serveurs «classique» est généralisé aux problèmes avec service par blocs de demandes, ce qui permet d'adapter l'algorithme de partitionnement, (fortement compétitif pour le service unitaire), au cas plus général des demandes groupées. Cet algorithme dont nous étudions les propriétés et la compétitivité est applicable à la gestion on-line des changements d'outils. Il sert de base à la construction d'une heuristique d'ordonnancement avec gestion d'outils. Cette dernière méthode se révèle très efficace comparée aux précédentes

Nous abordons dans cette étude le problème de la reconstruction de courbes et de surfaces, à partir de points leur appartenant et sous l'hypothèse que la seule connaissance que nous avons sur ces points est celle de leurs coordonnées. Dans le cas des courbes, nous proposons une méthode basée sur l'approximation locale de la courbe par des cercles et sur le traitement global de sous-ensembles de points. Une méthode d'approximation robuste au moyen d'un problème de minimisation permet donc d'approcher localement la courbe par un cercle, et d'ordonner les sous-ensembles de points ainsi approchés. Des méthodes algorithmiques de découpe et de raccord permettent alors de mener à bien la reconstruction d'une courbe. L'existence de points multiples ou de points de rebroussement est prise en compte par une stratégie d'énumération des différentes morphologies locales de la courbe. La méthode s'avère aussi robuste lorsque les points initiaux sont perturbés. Les complexités temporelle et en place mémoire optimales des algorithmes et de la structure de données, ainsi que l'ordonnancement global permettent de traiter des ensembles initiaux comportant un grand nombre de points. Des cas de surfaces radiales ou de surfaces correspondant au graphe d'une fonction ont été traités en approchant le nuage de points par une sphère. Les points sont projetés et triangulés selon la triangulation de Delaunay sur la sphère, et nous obtenons alors une surface polyèdrique liant les points. Des tests et des comparaisons avec des méthodes du type triangulations dépendantes des données sont établis sur ces catégories de surfaces

.

Ce travail porte sur la modélisation de décisions didactiques dans un contexte d'apprentissage en mathématiques dans un environnement informatisé: le micro monde Cabri-géomètre. Nous nous sommes intéresses à deux types de décisions: ― le diagnostic qui porte sur l'état courant des conceptions de l'élève mis en situation et ― le choix d'un feedback approprié (envoi d'une nouvelle situation, d'une aide etc...). Pour mener une approche expérimentale de ces deux types de décisions didactiques, nous avons conçu un dispositif expérimental mettant en collaboration un tuteur artificiel et un tuteur humain (principe du «Magicien d'Oz»). Les décisions sont pour partie prises par le tuteur artificiel, pour partie par le tuteur humain. Les décisions sont prises par le tuteur humain dans toutes les circonstances où le modèle d'interaction mis en œuvre est mis en défaut. L'étude concerne sur ces deux types de prises de décisions

Les sgbd orientes objets integrent les concepts des langages a objets et les mécanismes des sgbd. Ces propriétés les rendent bien adaptes au développement de systèmes d'applications regroupant plusieurs applications interactives opérant sur des données persistantes partagées (si, agl...). L'état de l'art développe porte sur la programmation, les bases de données et les interfaces homme-machine et montre qu'il existe différentes techniques spécifiques adaptées au développement de certaines parties de ces applications. Cependant, aucune methode de conception actuelle ne prend en compte la conception complète et détaillée d'un système d'applications et le concepteur est insuffisamment guide pour programmer une application a l'aide d'un sgbdoo. Notre methode mosaic permet de développer un système d'applications programme a l'aide d'un sgbdoo. Notre approche consiste a privilégier une décomposition dirigée par les objets au détriment de l'habituelle séparation entre la base de données et les programmes d'application. Ainsi une application comporte deux composants principaux. Le corps de l'application est constitue d'objets applicatifs, modèles du domaine d'application, et le gestionnaire de dialogue de l'application est compose d'objets interactifs, modèles du dialogue. Les objets applicatifs, persistants ou temporaires, sont a la fois des modules logiciels et des conteneurs de données potentiellement persistantes ou temporaires. Les objets interactifs regroupent les informations et les actions présentées a l'utilisateur et assurent leur cohérence. Un système d'applications est compose d'une base d'objets applicatifs persistants et d'applications. Le modelé mosaic permet d'étudier les dimensions structurelles, fonctionnelles et dynamiques des objets et du système d'applications dans sa globalité. Des langages textuels et graphiques, un outil, une démarche et des regles de traduction de mosaic vers le langage peplom et vers le sgbdoo o2 complètent ce modèle. Nos propositions sont illustrées par un exemple d'application programme a l'aide d'o2

Cette thèse traite de la vérification en ligne, par des moyens matériels, du flot de contrôle d'un système a base de microprocesseur. Une technique de compaction est utilisée pour faciliter cette vérification (analyse de signature). La plupart des méthodes proposées jusqu'ici imposent une modification du programme d'application, afin d'introduire dans celui-ci des propriétés invariantes (la signature en chaque point de l'organigramme est indépendante des chemins préalablement parcourus). Les méthodes proposées ici, au contraire, ont comme caractéristique principale de ne pas modifier le programme vérifie et utilisent un dispositif de type processeur, disposant d'une mémoire locale, pour assurer l'invariance de la signature. Deux méthodes sont ainsi décrites. La première est facilement adaptable a différents microprocesseurs et présente une efficacité qui la place parmi les meilleures méthodes proposées jusqu'ici. La seconde methode a été dérivée de la première dans le but de diminuer la quantité d'informations nécessaire au test. Cette dernière methode a été implantée sur un prototype d'unité centrale d'automate programmable (avec la société télémécanique) et son efficacité a été évaluée par des expériences d'injection de fautes. Le cout d'implantation particulièrement faible dans le cas du prototype réalise peut permettre d'envisager une évolution de celui-ci vers un produit industriel

Ce travail concerne l'étude numérique des méthodes du couplage particules-grille (ou appelée methode de vortex in cell) en écoulements bidimensionnels de fluides incompressibles, tant parfait que peu visqueux. Dans la première partie de ce travail on s'intéresse a la resolution numérique des équations d'Euler incompressibles par des méthodes de vortex in cell (vic). On propose une technique itérative pour en améliorer la précision et on montre sur des cas tests l'efficacité de ces techniques. Dans la seconde partie, on montre la convergence pour les équations de navier-stokes d'une methode de vortex utilisant la diffusion numérique produite par la reinitialisation des particules pour simuler la diffusion physique. On définit un schéma vic base sur les techniques de la première partie et on l'utilise pour la simulation de turbulence bidimensionnelle périodique. On obtient les premiers résultats satisfaisants par methode de vortex in cell pour ce cas test difficile

Cette thèse se rattache à l'algèbre linéaire formelle. Elle est composée de deux parties: la première, consacrée à l'étude des formes normales de matrices, constitue un ensemble d'outils utilisés dans la seconde qui, pour sa part, présente des méthodes matricielles de résolution de deux types de systèmes différentiels: les systèmes différentiels à coefficients constants et les systèmes différentiels ayant un point singulier régulier isolé. Dans la première partie, nous avons étudié, implémentés dans le système de calcul formel AXIOM, et comparés tant de manière théorique qu'expérimentale des algorithmes de calcul de diverses formes normales (Frobenius, Smith, Jordan) de matrices à coefficients rationnels. Dans la seconde, nous avons montré quels sont les avantages et les inconvénients de l'utilisation de ces algorithmes pour trois applications: le calcul de l'exponentielle d'une matrice, la résolution d'équations matricielles et la résolution matricielle de systèmes différentiels ayant une singularité régulière isolée. En particulier, nous avons abordé le problème épineux de la manipulation des nombres algébriques apparaissant nécessairement lorsque l'on calcule formellement, la forme de Jordan d'une matrice à coefficients rationnels