Vérification-correction de programme pour la prise en compte des incertitudes en programmation automatique des robots

Autor:	Puget, Pierre
Jazyk:	francouzština
Rok vydání:	1989
Předmět:	[INFO:INFO_MO] Computer Science/Modeling and Simulation robotique programmation automatique des robots incertitudes preuves de programmes
Druh dokumentu:	Diplomová práce
Popis:	Le programme produit par un système de programmation automatique, est obtenu en planifiant séparément les opérations de saisie, transport et montage des objets, et en ignorant les incertitudes géométriques (introduisant des interdépendances entre les actions). L'approche de vérification-correction de programme s'appuie sur un modèle incluant une représentation des incertitudes et s'appuie sur une description des actions des robots
Databáze:	Networked Digital Library of Theses & Dissertations
Externí odkaz:	http://tel.archives-ouvertes.fr/tel-00333361 http://tel.archives-ouvertes.fr/docs/00/33/33/61/PDF/Puget.Pierre_1989_these.pdf Zobrazit plný text záznamu