| 摘要 |
Appareil de commande (30) et methode de commande d'un procede en temps reel (ou autre activite pouvant etre commandee) dont le fonctionnement peut etre defini par un ensemble de phrases logiques P de la forme ETAT(N) + OMI(N, N+1) = ETAT(N+1) , ou N peut avoir une valeur entiere quelconque jusqu'a P, ETAT(N), OMI(N, N+1) et ETAT(N+1) sont tous des variables logiques, et OMI(N) et le conjonctif INCREMENT DE MODE DE FONCTIONNEMENT qui est necessaire au progres du systeme pour passer de l'ETAT(N) a l'ETAT(N+1), et dans cet ENSEMBLE, une seule variable ETAT a la fois peut etre reconnue comme ayant la valeur VRAIE; l'appareil et la methode permettant d'effectuer les etapes suivantes: i) l'evaluation a tour de role de chaque ETAT successif dans au moins un groupe de ces ETATS dans l'ENSEMBLE d'apres les donnees de retour d'information concernant les valeurs courantes de divers parametres pertinents du procede et l'ETAT VRAI courant, par a) determination de la valeur logique de l'ETAT ou ETATS precedent(s) sur laquelle cet ETAT est dependant, b) determination de la valeur logique du ou de chaque INCREMENT DE MODE DE FONCTIONNEMENT dont cet ETAT depend, et c) l'evaluation de la phrase logique definissant cet ETAT, en utilisant les valeurs logiques determinees pour les ou chaque ETAT precedant et l'INCREMENT DE MODE DE FONCTIONNEMENT associe pour determiner la valeur logique de cet ETAT; et ii) debut de toute action de commande pertinente et necessaire lorsqu'un ETAT ayant la valeur logique VRAIE a ete trouve. De preference, l'identite de l'ETAT ayant generalement la valeur VRAIE est stockee (fig. 2, en 60), et l'etape i) a) ci-dessus est effectuee en comparant a cette identite memorisee, l'identite de l'ETAT ou de chaque ETAT precedent. La commande d'un four fonctionnant au charbon (10) par une telle methode et un tel appareil (30) est decrite. |
