Conception de logiciels d'optimisation sous contraintes d'architectures vlsi pour le traitement d'images : le probleme du controle

par François Verdier

Thèse de doctorat en Sciences appliquées

Sous la direction de Bertrand Zavidovique.

Soutenue en 1995

à Paris 11 .


  • Résumé

    Les travaux qui sont présentés dans ce manuscrit sont l'aboutissement d'un projet visant à automatiser la conception d'automates de traitement d'images est partir de résultats d'émulation. La méthodologie globale consiste en trois points principaux, le premier concernant la mise au point des algorithmes (la décomposition fonctionnelle) et les deux derniers leur implantation (l'émulation et la synthèse automatique). La décomposition fonctionnelle fournit une représentation d'un algorithme de traitement complexe comme enchaînement de fonctions plus élémentaires opérant hiérarchiquement (séquentielles) ou en coopération (parallèles) et dont on a éventuellement une ébauche vlsi. Le découpage exploite essentiellement la sémantique des traitements. Cette méthodologie résulte naturellement en un formalisme de manipulation des algorithmes de traitement d'images ainsi que des architectures adaptées fondent sur les graphes de flot de données. Le manuscrit décrit, est partir de l'émulation des algorithmes sur une machine dédiée de 1024 processeurs à contrôle flot de données, elle-même exploitant le formalisme precité, le développement d'un outil de synthèse automatique d'architectures. Une optimisation multicritère sous contraintes permet au système de synthétiser l'architecture vlsi de l'automate dérivé, minimale au sens de la surface et de la performance. La synthèse du chemin de données (partie opérative) est effectuée au cours de deux algorithmes utilisant la méthode du recuit simulé. Nous montrons dans ce manuscrit comment une architecture, contrôle inclus, est complètement représentée par un graphe de contrôle et de flot de données et comment, par l'utilisation d'une mesure de régularité des graphes, la complexité de ce contrôle est minimisée simultanément à la synthèse du chemin de données. Trois exemples de circuits de traitement d'images effectivement conçus illustrent la démarche adoptée


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 201 f.
  • Notes : Publication autorisée par le jury
  • Annexes : 140 REF.

Où se trouve cette thèse ?

  • Bibliothèque : Université de Versailles Saint-Quentin-en-Yvelines. Direction des Bibliothèques et de l'Information Scientifique et Technique-DBIST. Bibliothèque universitaire Sciences et techniques.
  • Disponible pour le PEB
  • Cote : T950507
  • Bibliothèque : Université Paris-Sud (Orsay, Essonne). Service Commun de la Documentation. Section Sciences.
  • Accessible pour le PEB
  • Bibliothèque : Centre Technique du Livre de l'Enseignement supérieur (Marne-la-Vallée, Seine-et-Marne).
  • Disponible pour le PEB
  • Cote : TH2014-012123
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.