• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>IEEE Aerospace and Electronic Systems Magazine >A blackboard architecture of the microwave generic controller forthe DSN antenna subsystem
【24h】

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

机译：DSN天线子系统的微波通用控制器的黑板架构

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

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
机译：本文介绍了用于NASA深空网络中天线微波子系统的微波通用控制器（UGC）的Hayes-Roth黑板架构。还使用高阶逻辑（HOL）证明系统给出了当前UGC和新黑板结构的正式规范。 HOL使提供UGC的直接，明确和一致的规范成为可能。教资会负责监察及控制天线微波子系统的开关及雨风机。教资会的新黑板架构引入了称为知识源的并行流程集合。由于黑板具有平行性，并且能够快速检索最新信息，因此可以提高效率。此外，教资会的黑板架构可扩充，符合教资会的设计理念

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号