Aspects formels de machines de vision (Book, 1989) [WorldCat.org]
skip to content
Aspects formels de machines de vision
Checking...

Aspects formels de machines de vision

Author: Jean-François Poiraudeau; Richard Berland; Université de Limoges.; Université de Limoges. Faculté des sciences et techniques.
Publisher: 1989.
Dissertation: Thèse de doctorat : Electronique : Limoges : 1989.
Edition/Format:   Thesis/dissertation : Thesis/dissertation : Manuscript   Archival Material : French
Summary:
La description, pour l'utilisateur, des matériels (processeurs ou sous-systèmes industriels) est loin d'avoir bénéficié d'une rigueur comparable à celle employée actuellement dans la description des langages informatiques. Seul le Transputer fait exception. Pour décrire des machines de vision, nous proposons dans ce mémoire une application des recherches de génie logiciel utilisant un formalisme  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Thèses et écrits académiques
Material Type: Thesis/dissertation, Manuscript
Document Type: Book, Archival Material
All Authors / Contributors: Jean-François Poiraudeau; Richard Berland; Université de Limoges.; Université de Limoges. Faculté des sciences et techniques.
OCLC Number: 1007691266
Notes: Thèse soutenue le 15 février 1989 devant la Commission.
Description: 1 vol. (nbr. de p. ou f.) : ill. ; 30 cm.
Responsibility: Jean-François Poiraudeau ; sous la direction de R. Berland.

Abstract:

La description, pour l'utilisateur, des matériels (processeurs ou sous-systèmes industriels) est loin d'avoir bénéficié d'une rigueur comparable à celle employée actuellement dans la description des langages informatiques. Seul le Transputer fait exception. Pour décrire des machines de vision, nous proposons dans ce mémoire une application des recherches de génie logiciel utilisant un formalisme mathématique simple fondé sur des expressions fonctionnelles (au sens mathématique). A notre connaissance, cette application, qui devrait permettre une meilleure coopération du matériel et du logiciel, n'avait pas encore été envisagée. Le premier chapitre présente différents moyens formels de spécification. Nous analysons d'abord le travail le plus significatif sur les types abstraits image. Ensuite nous présentons trois spécifications de processeurs menées l'une à l'aide du langage de spécification Z- une des deux grandes méthodes constructives. Le deuxième chapitre présente la description, à l'aide de Z, de deux cartes industrielles de triatement d'images. Le formalisme adopté, s'il ignore les contraintes temporelles, a cependant une puissance d'expression suffisante pour décrire de manière homogène le fonctionnement logique de machines actuelles. Le troisième chapitre s'intéresse, de manière plus prospective, aux architectures des machines multiprocesseurs de traitement d'images et propose l'usage de langages fonctionnels pour la description partielle et la programmation de ces machines. Nous estimons que ce type de description, malgré ses limites, peut faciliter la portabilité des applications de vision. Il peut également s'envisager pour d'autres systèmes hétérogènes complexes.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.

Similar Items

Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.