航天器故障诊断中的时态问题
讨论了知识表示中时间因素的表达问题，研究了知识的时间标志、数据以及事件间存在的时态逻辑关系，在Allen时态逻辑的基础上建立了一种基于时态逻辑面向对象的知识表示方法.通过对实时数据进行时态标识并进行解释，建立动态知识库，对实时信息进行表达、管理及推理，可为具有时态性质的系统状态分析奠定基础，为解决大型复杂实时领域中的诊断问题提供一条可行的途径
作 者： 杜元虎 黄文虎 DU Yuan-hu HUANG Wen-hu 作者单位： 哈尔滨工业大学 航天工程与力学系, 刊 名： 哈尔滨工业大学学报 ISTIC EI PKU 英文刊名： JOURNAL OF HARBIN INSTTTUTE OF TECHNOLOGY 年，卷(期)： 2001 33(2) 分类号： V557.1 关键词： 航天器 故障诊断 时态