CONTRIBUTION A LA SEMANTIQUE DU LANGAGE ELECTRE
LE LANGAGE ELECTRE A ETE DEVELOPPE EXPERIMENTALEMENT EN VUE DU CONTROLE DES PROCESSUS TEMPS REEL QUI Y APPARAISSENT DECOUPES EN TACHES DONT L'ACTIVATION ET L'INTERRUPTION SONT CONDITIONNEES PAR DES OCCURRENCES D'EVENEMENTS. AU DEPART DE CETTE THESE, LA SEMANTIQUE INTUITIVE DU LANGAGE...
Enregistré dans:
Auteur principal : | |
---|---|
Collectivité auteur : | |
Autres auteurs : | |
Format : | Thèse ou mémoire |
Langue : | français |
Titre complet : | CONTRIBUTION A LA SEMANTIQUE DU LANGAGE ELECTRE / MARC HUOU; SOUS LA DIRECTION DE JEAN PERRAUD |
Publié : |
[S.l.] :
[s.n.]
, 1991 |
Description matérielle : | 115 p |
Note de thèse : | Thèse Doctorat : Sciences appliquées : Nantes : 1991 |
Sujets : | |
Particularités de l'exemplaire : | BU Sciences, Ex. 1 : Titre temporairement indisponible à la communication BU Sciences, Ex. 2 : Titre temporairement indisponible à la communication |
LEADER | 04196cam a22006731i 4500 | ||
---|---|---|---|
001 | PPN044070365 | ||
003 | http://www.sudoc.fr/044070365 | ||
005 | 20240829055200.0 | ||
029 | |a FR |b 1991NANT2016 | ||
035 | |a 073212318 |9 sudoc | ||
035 | |a (OCoLC)490323065 | ||
035 | |a thS-00066911 | ||
035 | |a TC91-0421763 | ||
035 | |a DYNIX_BUNAN_93742 | ||
100 | |a 19990313d1991 |||||frey0103 ba | ||
101 | 0 | |a fre |d fre |2 639-2 | |
102 | |a FR | ||
105 | |a ||||m ||||| | ||
181 | |6 z01 |c txt |2 rdacontent | ||
181 | 1 | |6 z01 |a i# |b xxxe## | |
182 | |6 z01 |c n |2 rdamedia | ||
182 | 1 | |6 z01 |a n | |
200 | 1 | |a CONTRIBUTION A LA SEMANTIQUE DU LANGAGE ELECTRE |f MARC HUOU |g SOUS LA DIRECTION DE JEAN PERRAUD | |
210 | |a [S.l.] |c [s.n.] |d 1991 | ||
215 | |a 115 p |c tabl |d 30 cm | ||
300 | |a ENSM | ||
301 | |a 1991NANT2016 | ||
316 | |5 441092104:182606570 |a Titre temporairement indisponible à la communication | ||
316 | |5 441092104:182606589 |a Titre temporairement indisponible à la communication | ||
320 | |a 19 REF | ||
328 | 0 | |b Thèse Doctorat |c Sciences appliquées |e Nantes |d 1991 | |
330 | |a LE LANGAGE ELECTRE A ETE DEVELOPPE EXPERIMENTALEMENT EN VUE DU CONTROLE DES PROCESSUS TEMPS REEL QUI Y APPARAISSENT DECOUPES EN TACHES DONT L'ACTIVATION ET L'INTERRUPTION SONT CONDITIONNEES PAR DES OCCURRENCES D'EVENEMENTS. AU DEPART DE CETTE THESE, LA SEMANTIQUE INTUITIVE DU LANGAGE TROUVAIT SON EXPRESSION LA PLUS ELABOREE DANS UN INTERPRETEUR DUDIT LANGAGE, UTILISE DANS LA REALISATION D'UN SIMULATEUR D'EXECUTION CENTRALISEE. UNE ANALYSE SYSTEMATIQUE DE LA SEMANTIQUE AINSI IMPLEMENTEE RESTAIT A FAIRE POUR EN ETABLIR LE CARACTERE DETERMINISTE ET COMPLET. POUR OBTENIR CE RESULTAT, UN SYSTEME DE TRANSITIONS EST CONSTRUIT A PARTIR DE LA SYNTAXE DU LANGAGE, DONT LES CONFIGURATIONS TRADUISENT UN ETAT COURANT DU PROCESSUS CONTROLE SOUS LA FORME DU PROGRAMME ELECTRE DECRIVANT LA SUITE DU CONTROLE, ET DONT LES TRANSITIONS SONT PROVOQUEES PAR LES OCCURRENCES D'EVENEMENTS OU LES TERMINAISONS DE TACHES. LA PUISSANCE DU LANGAGE EST ACCRUE PAR LA POSSIBILITE ETABLIE A CETTE OCCASION DE FAIRE REFERENCE PLUSIEURS FOIS DANS UN PROGRAMME ELECTRE A UN MEME EVENEMENT OU A UNE MEME TACHE. CETTE POSSIBILITE EST SIMPLEMENT ASSORTIE D'UNE CONDITION DE CORRECTION SEMANTIQUE ASSEZ NATURELLE ET AISEMENT VERIFIABLE. L'INTRODUCTION D'UN LANGAGE INTERMEDIAIRE A ETE NECESSAIRE POUR TRADUIRE LES CONSIGNES DE MEMORISATION ATTACHEES AUX EVENEMENTS EN CONSIGNES D'EFFACEMENTS DE MEMOIRES ATTACHEES AUX TERMINAISONS DES TACHES. LES CONDITIONS DE LA COMPILATION D'UN PROGRAMME ELECTRE EN AUTOMATE D'ETATS FINI, ET QUELQUES EVOLUTIONS CONCERNANT LE PARALLELISME ET LES COMMUNICATIONS SONT PROPOSEES A LA FIN DE CETTE THESE | ||
541 | | | |a CONTRIBUTION TO THE SEMANTICS OF THE LANGUAGE ELECTRE |z eng | |
608 | |3 PPN027253139 |a Thèses et écrits académiques |2 rameau | ||
610 | 1 | |a SCIENCES APPLIQUEES : INFORMATIQUE, AUTOMATIQUE THEORIQUE, SYSTEMES | |
610 | 2 | |a GRAMMAIRE A ATTRIBUTS/REGLES DE REECRITURE/SYSTEME DE TRANSITIONS/LANGAGE/SEMANTIQUE OPERATIONNELLE/TEMPS REEL | |
686 | |a 001.D.02.B |2 tlt | ||
686 | |a 620 |2 TEF | ||
700 | 1 | |a Huou |b Marc |4 070 | |
702 | 1 | |a Perraud |b Jean |4 727 | |
712 | 0 | 2 | |3 PPN026403447 |a Université de Nantes |c 1962-2021 |4 295 |
801 | 3 | |a FR |b Abes |c 20231217 |g AFNOR |h 073212318 | |
979 | |a ECN | ||
979 | |a SCI | ||
915 | |5 441092306:182606554 |a 1142021256 |b 1142021256 | ||
915 | |5 441092306:182606562 |a -318877 |b -318877 | ||
915 | |5 441092104:182606570 |a 1160315241 |b 1160315241 | ||
915 | |5 441092104:182606589 |a 1160401692 |b 1160401692 | ||
919 | |5 441092306:182606554 |a 1142021256 | ||
919 | |5 441092306:182606562 |a -318877 | ||
919 | |5 441092104:182606570 |a 1160315241 | ||
919 | |5 441092104:182606589 |a 1160401692 | ||
930 | |5 441092306:182606554 |b 441092306 |a TH 1416 bis |j u | ||
930 | |5 441092306:182606562 |b 441092306 |a TH 1416 |j u | ||
930 | |5 441092104:182606570 |b 441092104 |j g | ||
930 | |5 441092104:182606589 |b 441092104 |j g | ||
991 | |5 441092104:182606570 |a Exemplaire modifié automatiquement le 18-07-2024 18:13 | ||
991 | |5 441092104:182606589 |a Exemplaire modifié automatiquement le 18-07-2024 18:13 | ||
998 | |a 278820 |