摘要
宇宙飞船状态良好自动推理原型机(SHARP)是为多任务宇宙飞船和地面数据系统运行能自动进行状态良好判定和状态分析而设计的一个演示系统。SHARP系统演示的最初目标是对旅行者Ⅱ宇宙飞船做远程通讯链路分析,这一演示将在1989年8月当旅行者和与之实时运行平行的海王星交会期间进行。 SHARP系统将传统的计算机科学方法与人工智能技术相结合,以便找出一个检测和分析宇宙飞船及其地面系统潜在问题的有效方法。该系统对宇宙飞船及其它相关的遥测进行实时分析,同时也有能力检查历史性数据。本文扼要地介绍了在喷气推进实验室(JPL)对宇宙飞船和地面系统做监测的过程。它描述了监测旅行者远程通讯子系统所用的现行方法的操作过程,着重介绍与现存技术有关的难点。本文详细说明了在SHARP系统中所采取的克服现行方法局限性的途径,并介绍了SHARP所开发的传统与人工智能两者的解决方法。
