载人飞船系统燃料电池实时监视系统的多线程推理

规则基编程为应用程序的开发提供了强有力的手段,但这种方法单独使用将在下面两者之间有脱节:探测事件所需要的,开发用于监视和管理系统的实时FDIR(故障检测、隔离和恢复)所需要的。在某一系统的监视和管理中,必须在特定的时间间隔内执行各种规划,而完成某一规划的行还是不行往往是FDIR应用程序的核心。多线程与规则基编程联合使用,是一种有效的混合方法,提供了实时应用中执行规划和事件探测所需的过程控制和非确定性处理。