Global ETD Search

1	Méthodes d'analyse hiérarchique des réseaux de Petri Chehaibar, Ghassan 24 September 1991 (has links) (PDF) L'objet de cette thèse est de définir des méthodes d'analyse hiérarchique des réseaux de Petri (un formalisme de modélisation du contrôle des systèmes distribués). Premièrement, nous étudions la transformation de réseaux par remplacement de sous-réseaux ouverts: une notion d'équivalence est définie telle que si on remplace un sous-réseau ouvert par un réseau équivalent on obtient un réseau équivalent au réseau d'origine; puis nous définissons la classe des réseaux réentrants, pour laquelle la vérification de l'équivalence, complexe en général, devient simple. Deuxièmement, l'examen de la composition de réseaux par fusion de places conduit à deux résultats: la conservation d'espace d'accueil dans certaines conditions d'indépendance par rapport aux places partagées, et celle de l'absence d'interblocage lors de la composition des réseaux à ressources ordonnées (dans un sens différent de la solution classique). Enfin, un nouveau concept de norme pour la preuve de la propriété d'espace d'accueil est défini, muni d'opérations de composition permettant une vérification modulaire de cette propriété. réseaux de Petri analyse hiérarchique remplacement réseaux réentrants composition espace d'accueil norme automatique théorique informatique modélisation
2	Machine PASC-HLL : définition d'une architecture pipe-line pour une unité centrale adaptée au langage PASCAL Schoellkopf, Jean-Pierre 28 June 1977 (has links) (PDF) Présentation d'une conception nouvelle des systèmes d'exploitation. Description du système PASC-HLL sciences appliquées automatique théorique systèmes <br />langage PASCAL architecture multiprogrammation/langage évolué système d'exploitation/langage machine performance système unité centrale interpréteur programmation compilation programme compilateur pipe-line PASC-HLL PASCAL gestion traitement
3	Contribution à la théorie de la commande décentralisée et à la coordination en ligne des systèmes dynamiques Cohen, Guy 22 October 1975 (has links) (PDF) Parmi les problèmes soulevés par ce qu'aucuns appellent la "Théorie de la Commande Hiérarchisée", il en est un qui est remarquable : c'est celui de l'appellation même de ce secteur des mathématiques de l 'optimisation statique ou dynamique. En effet, on a employé à son égard, simultanément ou successivement, les termes de "décomposition", "commande ou systèmes hiérarchisés ou à plusieurs niveaux", "décentralisation", "coordination" etc... Cette indétermination verbale cache sans doute une indétermination conceptuelle sur l 'objet de cette théorie. Il faut en fait convenir que l'on a tendance à confondre plusieurs types de problèmes dont le dénominateur commun est semble-t-il la présence d'un système complexe. <br/><br/>Formalisme et principes de coordination. Algorithme de Takahara et extensions. Prédiction et opérateur d'intéraction. Application à la commande optimale. Étude du fonctionnement dégradé. Problème de la décomposition du système. Décomposition Coordination Grands systèmes Télécommande Découplage (mathématiques) Sciences appliquées : Informatique Automatique théorique Systèmes Commande décentralisée Méthode coordination Décomposition système Découplage Algorithme Prédiction Commande optimale Système complexe Commande

1

Page generated in 0.1044 seconds