论文部分内容阅读
给出了时态信息传播的若干性质，利用这些性质可使时态信息传播过程的一些计算得以化简，提出了时态传播的“集成”法，并证明了它与单点法的等效性，利用聚合法，可使子骨架相互作用时的时态信息传播过程更加简单，基于技术系统实时故障诊断的实际情况，给出了固有时间区间，生存最大周期等概念，利用这些概念引入了固有时间区间的关系类型，以及几种典型类型情况下用于时态一致性判断的一些启发式方法。