线性时序逻辑公式Xp模型检测的DNA计算方法

摘要

突破传统计算框架的DNA计算为模型检测提供了新思路.目前已经实现了LTL公式 Uq的DNA模型检测算法,并在其基础上实现了Gp、Fp模型检测的DNA算法.但是Xp无法用含有U算符的公式来表示,目前也没有关于Xp的DNA模型检测算法.提出Xp的基于DNA计算的模型检测算法,仿真实验结果表明其可行性和正确性,DNA计算框架下的LTL模型检测算法得到了扩充和完善,DNA计算已解决的问题库也进一步丰富了.