This paper presents a Hayes-Roth blackboard architecture for the Microwave Generic Controller (UGC) for the Antenna Microwave Subsystem in the NASA Deep Space Network. A formal specification of the current UGC and the new blackboard architecture is also given using the Higher-Order Logic (HOL) Proof System. HOL makes it possible to provide a straightforward, unambiguous and consistent specification of the UGC. The UGC is responsible for monitoring and controlling the switches and rain blowers for the Antenna Microwave Subsystem. The new blackboard architecture for the UGC introduces a collection of parallel processes called knowledge sources. Because of the parallel nature of the blackboard and the ability to retrieve the most current information quickly, there is a gain in efficiency. In addition, the blackboard architecture of the UGC is extensible, which is in keeping with the design philosophy of the UGC.<>


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    A blackboard architecture of the microwave generic controller for the DSN antenna subsystem


    Beteiligte:
    Ramanna, S. (Autor:in)

    Erschienen in:

    Erscheinungsdatum :

    1995-07-01


    Format / Umfang :

    355476 byte




    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    Microwave Generic Controller

    Ramanna | Online Contents | 1995


    Research infusion: ODC for microwave subsystem controller

    Lutz, Robyn R. / Manalo, Leslie / Do, Tuan et al. | NTRS | 2005


    Architecture of a Generic Vehicle Controller

    de Graaf, A. J. / INRIA / Institute of Electrical and Electronics Engineers | British Library Conference Proceedings | 2003



    Antenna subsystem requirements

    Freeland, R. E. | NTRS | 1982