INFORMATIQUE Logiciel et matériel Applications et implications

Transcription

1 INFORMATIQUE Logiciel et matériel Applications et implications Actes du Congrès de l'afcet Nancy, novembre 1980

2 TABLE DES MATIERES DETAILLEE Préface, par Bertrand MEYER (Président du Comité du Programme) IX Conférences invitées 1 Relations rationnelles et synchronisation de processus M. NIVAT (Université Paris VII, LITP) résumé 3 Contrôle de la déduction et retour arrière intelligent en résolution de problèmes - H. GALLAIRE (ENSAE) 4 L'évolution de la technologie dans le domaine de la microélectronique G. STORA (IBM France) 15 Les bases de données relationnelles : centralisation ou répartition? M. ADIBA (Laboratoire IMAG) texte non parvenu... Quelques aspects essentiels des orientations actuelles de la robotique G. GIRALT (LAASCNRS) texte non parvenu RECONNAISSANCE DES FORMES 23 (Président de la session : G. GAILLA T, Matra) Une méthode d'analyse de dessins G. MASINI et R. MOHR (CRIN - Nancy I) 25 Reconnaissances des caractères arabes manuscrits A. AMIN et A. KACED (CRIN - Nancy I) RÉSEAUX DE PETRI 45 Président de la session : M. LEONARD, Université de Genève) Détermination des configurations bloquantes dans les Réseaux de Pétri - R. CAFERRA et M. SIMONET (Laboratoire IMAG).. 47 Les Réseaux de Pétri dans l'aide à la conception d'applications temps réel réparties - R. SCHNEIDER et J.P. THOMESSE (CRIN - ENSEM) LANGAGE ET COMPILATION 71 (Président de la session : A. GUILLON, G/XI) Evaluation du comportement d'un compilateur sur un minisystème - J.Y. ROUSSELOT (CERT-DERI) 73 SAUGE : Système à Assignation Unique Gardée Extensif P. LECOUFFEdUTAdeLillel, Dépt. Informatique) 85

3 XVI 4 - APPLICATIONS INDUSTRIELLES 97 (Président de la session : G. MARTIN, ClSI) Un système de modélisation d'application : SMART A. BOTELLA (SNIAS) 99 Le NTI : Nœud de Transit International du réseau TRANSPAC - J. BLEVANUS, A.D. LE REST (CCETT) et G. MITAUT (CAP SOGETI logiciel) ART ET ORDINATEUR 119 (Président de la session : P. GREUSSA Y, Université Paris VIII) Simulation interactive en synthèse acoustique G. DAL- MASSO texte non parvenu Composition et traitement d'images digitales à des fins plastiques - H. HUITRIC et M. NAHAS (GAISD, Université de Paris VIII) 121 De l'informatique à l'art visuel J.F. COLONNA (LAC- TAMME, Ecole Polytechnique) SYSTÈMES DE COMMUNICATIONS 143 (Président de la session : J. ROHMER, INRIA) Liaison par fibres optiques pour l'informatique C. GUEU- GNON et Ph. FAUGERAS (CII-HB) 145 Performances comparées des approches multipoint et TDM utilisant une technique de balayage C. GUICHARD (Université de Nice) 155 Commutateur de lignes asynchrones M. DUPUY (Institut de Programmation) SPÉCIFICATION ET CONSTRUCTION DE PROGRAM- MES 177 (Président de la session : M. GALINIER, Université Paul Sabatier de Toulouse) Système ZAIDE d'aide à la spécification - M. DEMUYNCK, S. CHENUTetJ.M. NERSON(EDF-GDF) 179 L'utilisation d'un système d'édition et de manipulation de programmes comme support d'une méthode de programmation J. GUYARD et P. LESCANNE (CRIN) 189 Méthode pour la construction d'algorithmes dans le cas de conflit de structures - J. SOUQUIERES (CRIN) AIDE AUX HANDICAPÉS 215 (Président de la session : R. MORE AU, IBM France) Un système microprocesseur d'aide à l'éducation de la parole - F. DESTOMBES, G. BAUDRY, MD. di BENEDETTO, H. REINE et J.P. TUBACH (IBM France) 217 Premiers pas vers la parole - Une expérience d'enseignement assisté par ordinateur S. BARTH, G. ADDA, G. ROINSOL (Institut National de Jeunes Sourds de Chambéry) 227

4 XVII Transcription automatique des mathématiques en Braille J. MEEKEL, D. LEVY et M. TRUQUET (LSI - Université Paul Sabatier) ANIMATION GRAPHIQUE 245 (Président de la session : P. MORVAN, C/SI) Fabrication de dessins animés à l'aide du système informatique PSYCHE-ANIM 2 - F. COUPIGNY (Institut National de l'audiovisuel 247 Etude d'opérateurs sur objets graphiques élémentaire M. GRAVE, G. OUANOUNOU (INRIA) et JD. GRONOFF (EHESS). 259 Mouvement, image et ordinateur - dessin animé assisté par ordinateur G. COMPARETTI (Centre d'etudes de Limeil) SÛRETÉ, TESTS 283 (Président de la session : E. GIRARD, CIMSA) Conception de systèmes distribués de commande en temps réel sûrs de fonctionnement : définition du Réseau Hiérarchisé pour Environnements Agressifs (RHEA) J.C. LAPRIE, DR. POWELL, L. RIOU (LAASdu CNRS) 285 Conception d'un logiciel d'auto-test pour systèmes temps réel distribués - JM. AYACHE, M. DIAZ et J. NOUBEL (LAAS du CNRS) 295 Le test des microprocesseurs et des systèmes à microprocesseurs : état de l'art et perspectives C. ROBACH et G. SAU- CIER (Laboratoire IMAG) INFORMATIQUE THÉORIQUE (1) 319 (Président de la session : JP. FINANCE, Université de Nancy I) Les arbres signés : un cadre algébrique pour la résolution d'équations dans les arbres - JP. JOUANNAUD, C. KIRCH- NER et H. KIRCHNER (CRIN) et M. PICARD (IUT de Villetaneuse) 321 BMWk : un système de synthèse et de transformation de programmes à partir de traces de calcul E. PAPON (Université Paris Sud, LRI) et Y. KODRATOFF (Institut de Programmation) 330 Structures d'algorithmes et types de données calculables G. COMYN et G. WERNER (IUT de Lille, département Informatique) INTELLIGENCE ARTIFICIELLE 349 (Président : JL. LAURIERE, Université Paris VI) ARGOS II - un système de production pour écrire des résolveurs experts M. CAYROL, B. FADE (LSI, Université Paul Sabatier) et H. FARRENY (LSI et ENSEEIT) 351 Simulation de l'activité d'un documentaliste JM. DAVID (Ecole des Mines de Nancy) 362 Conception par ordinateur de mécanismes à une boucle JM. FOUET (Ecole Normale Supérieure de l'enseignement Technique) 372

5 XVIII 13 - APPLICATIONS 381 (Président de la session : B. MEYER, EDF) Etude de la propagation de l'epizootie de rage vulpine en France, visualisation dynamique sur écran graphique A. CAZES, L. ANDRAL, JF. BOISVIEUX (Structures de l'information, Univ. Paris VI) 383 Logiciel et matériel de saisie de caractères pour l'édition de textes idéographiques - A. GUENOCHE (LISH Marseille) 395 Elimination des lignes cachées par prédiction-correction P. SAILLEN (Ecole Polytechnique Fédérale de Lausanne) MACHINES SPÉCIALISÉES 413 (Président de la session : RJ. CHEVANCE, CII-HB) Réalisation d'un système de génération synthétique d'images en temps réel (GSI) P. LERAY (CEA) texte non parvenu... Système Automatisé de Recherche d'informations (SARI) JC. VIAULT (SINTRA) texte non parvenu Architecture des systèmes interactifs basée sur le traitement des listes - JP. SANSONNET, M. CASTAN et C. PERCEBOIS (LSI, Université Paul Sabatier) INFORMATIQUE THÉORIQUE (2) 425 (Président de la session : P. COUSOT, Université de Metz) Conception d'algorithmes efficaces pour les calculs algébriques JC. LAFON (Centre de calcul de l'esplanade de Strasbourg) 427 Optimisation d'information avec coûts H. AKDAG (Université Paris VI, Structures de l'information) 437 Extension de l'algorithme de Huffman à de nouvelles longueurs - B. BOUCHON et S. PETOLLA (Université Paris VI, Structures de l'information) BASES DE DONNÉES-applications 453 (Président de la session : M. LEONARD, Université de Genève) MICROBE : un système de base de données relationnelle répartie sur un réseau local de micro-ordinateurs F. FERNANDEZ, L. FERRAT (Laboratoire IMAG) et NGUYEN GIA TOAN et G. SERGEANT (IMAG-INRIA) 455 Evaluation du pouvoir discriminant d'un ensemble d'informations - applications aux bases de données Y. CHIARA- MELLA (Laboratoire IMAG) 467 Une version opérationnelle d'un SGBD de type relationnel : SYNTEX - P - A. AUBRY (Automobiles Peugeot) et JM. NICO- LAS (ONERA CERT DERI) 477

6 XIX 17 - COMMUNICATION HOMME/MACHINE 493 (Président de la session : J.L. LAURIERE, Université de Paris VI) A propos du rôle et des limites de la parole dans la communication homme/machine - J.S. LIENARD, J.J. MARIANI, F. NEEL et A. OSORIO (LIMSI - CNRS) Un système de compréhension automatique de la parole continue - H. MELONI et J. GUIZOL (GIA, Université d'aix Marseille II) 505 Un système de raisonnement à profondeur variable D. COU- LON (CRIN et ENSMIM) et D. KAYSER (LRI - Université Paris Sud) SYSTÈMES RÉPARTIS 529 (Président de la session : G. MAZARE, CNET Grenoble) Système transactionnel sur un réseau de MITRA P. FON- TAINE (CIMSA) 531 Le système STR/MP : son rôle dans la définition d'une application industrielle P. LADET (Laboratoire d'automatique de Grenoble, ENSIEG) 543 Un système distribué pour la commande et le contrôle en temps réel des processus industriels M. DIAZ (LAAS du CNRS) et B. POTIN (GIE Recherche Schlumberger) LANGAGES DE HAUT NIVEAU 563 (Président de la session : J.P. FINANCE, Université de Nancy I) Utilisation de la notion de type abstrait générique en bases de données relationnelles A. SALES (Université nouvelle de Lisbonne et IMAG) 565 Compilation efficace d'une classe de langages sans affectations Ph. HOOGVORST (Ecole Normale Supérieure) 576 Calcul automatique sur des ensembles F. LE BERRE (LITP, Université Paris VII) SYSTÈMES d'information 595 (Président de la session : M. CHABRE PECCOUD, Laboratoire IMAG) Un système documentaire performant et son implantation sur les réseaux d'information J.C. BASSANO (LRI - Université Paris Sud) 597 Description et évaluation par simulation des systèmes d'information des organisations J.F. DUFOURD et M. THAUREL (CRIN) 609 Un outil de gestion des systèmes d'information C. ROL- LAND (Université de Paris I) et S. LEIFERT (CRIN) 621

7 XX 21 - SYSTÈMES GRAPHIQUES 633 (Président de la session : P. BELLEVAUX, ENSTA) CLOVIS : Complexe Logiciel pour la Visualisation Interactive Structurée - F. MARTINEZ (IMAG) \ Etude d'un système graphique bâti autour d'une mémoire d'images - M. GRAVE (INRIA) 645 LGIVD : Logiciel Graphique Industriel de Visualisation et Dialogue - D. BEAUCOURT, E. DELALLEAU, B. HENRY, Y. LE LOUSetF. VENARDIEDF-DER, IMA-TIEM) COOPÉRATION ENTRE PROCESSUS 665 (Président de la session : M. GALINIER, Université Paul Sabatier) Eléments d'un langage adapté à la communication entre processus P. LE GUERNIC et M. RAYNAL (IRISA - INRIA) 667 Eléments pour un langage d'écriture d'applications réparties J.M. GUILLOT (INRIA) et J. MOSSIERE (IMAG) PROGRAMMES DIRIGÉS PAR LES DONNÉES 687 (Président de la session : M. DOSTA TNI, EDF) Traitement dynamique de programmes M.P. LECOUFFE (Université de Lille I) 689 Le cadencement par les données : une méthode de conception de programmes G.R. PERRIN (LANI, Université de. Franche- Comté) DONNÉES RÉPARTIES 707 (Président de la session : J.C. DERNIAME, Université de Nancy I) PAPYRUS : propositions pour un système de messagerie et sa mise en œuvre sur un réseau local V. QUINT, H. RICHY, G. SERGEANT (Laboratoire IMAG) 709 Un protocole de manipulation de données relationnel G. GARDARIN et J. BEGUE (INRIA) 718 RAPPEL DES ATELIERS ORGANISÉS PENDANT LE CON- GRÈS 731 Index alphabétique des auteurs 737 Index alphabétique des lecteurs 739