Surveillance du flux des données dans l'animation des algorithmes

par Jaroslaw Francik

Thèse de doctorat en Productique, automatique et informatique industrielle

Sous la direction de Jean-Marc Toulotte.

Soutenue en 1999

à Lille 1 .


  • Résumé

    De nombreux auteurs considèrent qu'il existe une contradiction profonde entre la conception d'animations d'algorithmes à haut niveau d'abstraction d'une part, et l'automatisation de ce même travail de conception d'autre part. L'approche que nous développons dans cette thèse est qu'il possible de concilier ces deux aspects. Nous montrons ainsi que certains éléments améliorant de façon significative le niveau d'abstraction d'un programme peuvent aussi servir à la visualisation de ce programme, et cela de façon strictement automatique, sans effort supplémentaire de la part du visualisateur. Pour ce faire, nous proposons une méthode originale d'animation reposant sur un contrôle du flux de données. L'idée directrice de cette méthode consiste dans l'acquisition d'informations utiles (à la visualisation) par une observation des opérations élémentaires effectuées sur le flux de données, et non par une analyse des valeurs des structures de données telle qu'elle est pratiquée dans les méthodes traditionnelles. Dans une version plus avancée de notre méthode, le formalisme des réseaux de Pétri est utilisé pour analyser dynamiquement le flux de données, autorisant ainsi la suppression systématique des données non pertinentes. Cette méthode de contrôle du flux de données a été implantée dans un système d'animation d'algorithmes baptise Daphnis, prolongement pratique des travaux de recherche menés à l'école polytechnique silésienne de Gliwice (Pologne) et au laboratoire I3D de l'USTL. Les visualisations obtenues à partir de ce système atteignent un assez haut niveau d'abstraction comparativement à celles déjà existantes, tout en ne mobilisant qu'un effort de conception raisonnable de la part de l'utilisateur.


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 2 vol. (xli, 198 f;)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. f. 185-198. 212 réf.

Où se trouve cette thèse ?

  • Bibliothèque : Université des sciences et technologies de Lille (Villeneuve d'Ascq, Nord). Service commun de la documentation.
  • Disponible pour le PEB
  • Cote : 50376-1999-483
  • Bibliothèque : Université des sciences et technologies de Lille (Villeneuve d'Ascq, Nord). Service commun de la documentation.
  • Disponible pour le PEB
  • Cote : 50376-1999-484
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.