Outils de base pour une approche de programmation fonctionnelle des tâches opératoires : application aux tâches d'assemblage

par Salima Benbernou

Thèse de doctorat en Informatique

Sous la direction de Khadir Ouriachi.

Soutenue en 1991

à Valenciennes .


  • Résumé

    Dans le domaine des tâches opératoires, une approche procédurale est efficace pour décrire le programme d'exécution d'une tâche par une liste d'instructions, qui sera transmise à la machine pour l'exécuter dans un ordre bien defini. Cependant, ce style de programmation devient inoperant dès lors qu'il s'agit de programmer des tâches imprédictibles : tâches dont le processus d'exécution n'obéit pas à un schéma algorithmique prédéfini. Un exemple typique est celui des tâches d'assemblage. Pour répondre, à une telle problématique, il faut recourir à une approche, permettant la description de la tâche d'une manière fonctionnelle et structurée, suivant plusieurs niveaux d'abstraction. Aussi, l'objectif du travail consiste à : a) dégager un ensemble d'outils pour formaliser la description de la tâche opération ; b) en s'appuyant sur les outils élaborés, une méthode de description fonctionnelle est proposée. Cette méthode consiste à décrire chaque tâche à l'aide d'une expression canonique, chercher ensuite à raffiner récursivement cette expression en terme d'un ensemble de fonctions plus simples, pour en dériver une expression terminale, composée uniquement de fonctions primitives et pouvant être interprétée directement par la machine. Cette approche implique, des transformations successives des expressions fonctionnelles. Ces transformations sont obtenues par décomposition de fonctions et structuration des objets décrivant l'espace opératoire, auxquels s'appliquent les fonctions

  • Titre traduit

    ˜A œbasic tools a functional programming operative task approach: application to assembly tasks


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1. (161 f.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. f.145-157. Annexes

Où se trouve cette thèse ?

  • Bibliothèque : Université de Valenciennes et du Hainaut-Cambrésis. Service commun de la documentation. Site du Mont Houy.
  • Disponible pour le PEB
  • Cote : 904621 TH
  • Bibliothèque : Université de Valenciennes et du Hainaut-Cambrésis. Service commun de la documentation. Site du Mont Houy.
  • Disponible sous forme de reproduction pour le PEB
  • Cote : 904622 TH
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.