论文研究-命题μ-演算局部模型检测高效算法设计.pdf

所需积分/C币:6 2019-09-08 06:37:36 572KB .PDF

命题μ-演算局部模型检测算法中,目前最好的算法的时间复杂度与不动点算子交替嵌套深度[d]呈指数关系。针对命题μ-演算局部模型检测算法的计算过程进行分析,得到迭代计算的中间迭代值间满足的一组偏序关系,然后利用该偏序关系设计了一个局部模型检测算法,算法时间复杂度的指数部分为[d2],大大提高了算法的计算效率。

...展开详情
试读 6P 论文研究-命题μ-演算局部模型检测高效算法设计.pdf
img
  • 至尊王者

    成功上传501个资源即可获取

关注 私信 TA的资源

上传资源赚积分,得勋章
    最新推荐
    论文研究-命题μ-演算局部模型检测高效算法设计.pdf 6积分/C币 立即下载
    1/6
    论文研究-命题μ-演算局部模型检测高效算法设计.pdf第1页
    论文研究-命题μ-演算局部模型检测高效算法设计.pdf第2页

    试读已结束,剩余4页未读...

    6积分/C币 立即下载 >