原创力文档摘要
互模拟是并发理论的重要概念，用于测试系统或系统状态之间行为等价性。
近年来，互模拟的概念引入了模糊迁移系统，并对模糊迁移系统的互模拟定义和
算法进行了大量研究。然而现有研究注重于模糊互模拟数学理论定义以及算法的
优化，定义和算法涉及的性质缺少严谨的形式化证明，正确性无法保证。为此，
本文针对不确定性模糊迁移系统NFTS的互模拟在Isabelle/HOL定理证明器中
进行了形式化验证。首先，形式化定义了不确定性模糊迁移系统NFTS，并对其
两类常
您可能关注的文档
- 基于SOLO分类理论的高中化学大单元教学设计与实践研究——以“化学平衡”为例.pdf
- 二维耦合Gross-Pitaevskii方程的保结构算法.pdf
- 基于差异特征和xLSTM的机器译文质量估计.pdf
- 基于语义一致性的多模态虚假新闻检测研究.pdf
- 基于协同在线学习的少样本工业异常检测算法研究及应用.pdf
- 基于Mamba与Transformer融合和提示学习的多任务图像修复方法研究.pdf
- PBL教学模式在高中物理深度学习中的实践研究——以《动量守恒定律》为例.pdf
- 中国元素融入方式对消费者品牌推荐意愿的影响.pdf
- 全龄友好视角下街巷型老旧社区公共空间评价与优化策略.pdf
- 基于多模态信息的虚拟试衣方法研究.pdf
文档评论（0）