论文部分内容阅读
随着分布构件技术的发展,复杂的分布构件系统故障诊断问题越来越受到人们的重视.然而,现有的大多数分布构件系统故障诊断的研究没有充分考虑系统语义这一重要因素.文章提出了一种新颖的语义为中心的分布构件系统故障诊断思想.系统的语义主要由系统正常或者异常时的结构和行为特征构成.在给出基于模型的故障诊断问题定义之后,提出了具有复杂时序语义表达能力的系统逻辑模型编辑方法,通过在Horn短句中增加时序描述来增强诊断模型的表达能力.这种模型不仅对分布软构件系统具有较强的表达能力,还能够很好地利用现有的一阶逻辑定理证明器求解