• Langue : Français
• Discipline : Electrotechnique-automatique
• Identifiant : Inconnu
• Type de thèse : Doctorat
• Date de soutenance : 01/01/1972

Résumé en langue originale

ON CARACTERISE LE FONCTIONNEMENT D'UN AUTOMATISME ET ON DEFINIT LES CARACTERISTIQUES DES PROCESSUS. CONFORMEMENT AUX DEFINITIONS ET PROPRIETES, ON ENVISAGE LA CONSTRUCTION ET LA REDUCTION DES EQUATIONS BOOLEENNES DES SYSTEMES ASYNCHRONES ET LA DEFINITION DE LA STRUCTURE DE BLOC DE COMMANDE DES SYSTEMES SYNCHRONES. ON DEFINIT EGALEMENT LES SYSTEMES PROGRAMMES.ON ELABORE LE LANGAGE DESPROG PERMETTANT LA MISE AU POINT ET LA DESCRIPTION DES ORGANIGRAMMES DE COMMANDE ET DE PROCESSUS QUI DEFINISSENT LE FONCTIONNEMENT D'UN PROCESSUS OU D'UN SYSTEME CYCLIQUE. ON UTILISE LA FORME NORMALE DE BACKUS POUR DECRIRE LES REGLES DE PRODUCTION DU LANGAGE. ON CONSTRUIT ENSUITE LE LANGAGE DESAUCYK AUTORISANT DES ETUDES PLUS IMPORTANTES, PUISQU'IL PERMET DE DEFINIR LA CONFIGURATION GEOGRAPHIQUE DU SYSTEME ET LES CONTRAINTES EXTERNES. POUR CHACUN DES LANGAGES ON DONNE UN EXEMPLE ET ON DECRIT LES EXTENSIONS DES POSSIBILITES DE CES DERNIERS