原创力文档摘要
互模拟是并发理论的重要概念，用于测试系统或系统状态之间行为等价性。
近年来，互模拟的概念引入了模糊迁移系统，并对模糊迁移系统的互模拟定义和
算法进行了大量研究。然而现有研究注重于模糊互模拟数学理论定义以及算法的
优化，定义和算法涉及的性质缺少严谨的形式化证明，正确性无法保证。为此，
本文针对不确定性模糊迁移系统NFTS的互模拟在Isabelle/HOL定理证明器中
进行了形式化验证。首先，形式化定义了不确定性模糊迁移系统NFTS，并对其
两类常
您可能关注的文档
- 基于SOLO分类理论的高中化学大单元教学设计与实践研究——以“化学平衡”为例.pdf
- 二维耦合Gross-Pitaevskii方程的保结构算法.pdf
- 基于差异特征和xLSTM的机器译文质量估计.pdf
- 基于语义一致性的多模态虚假新闻检测研究.pdf
- 基于协同在线学习的少样本工业异常检测算法研究及应用.pdf
- 基于Mamba与Transformer融合和提示学习的多任务图像修复方法研究.pdf
- PBL教学模式在高中物理深度学习中的实践研究——以《动量守恒定律》为例.pdf
- 中国元素融入方式对消费者品牌推荐意愿的影响.pdf
- 全龄友好视角下街巷型老旧社区公共空间评价与优化策略.pdf
- 基于多模态信息的虚拟试衣方法研究.pdf
- GB/Z 270-2026安全与韧性 业务连续性管理体系 业务连续性策略指南.pdf
- GB/T 7251.3-2026低压成套开关设备和控制设备 第3部分：由一般人员操作的配电板(DBO).pdf
- 《GB/T 7251.3-2026低压成套开关设备和控制设备 第3部分：由一般人员操作的配电板(DBO)》.pdf
- 中国国家标准 GB/T 7251.3-2026低压成套开关设备和控制设备 第3部分：由一般人员操作的配电板(DBO).pdf
- GB/T 17737.123-2026同轴通信电缆 第1-123部分：电气试验方法 漏泄电缆的衰减常数试验.pdf
- 《GB/T 17737.123-2026同轴通信电缆 第1-123部分：电气试验方法 漏泄电缆的衰减常数试验》.pdf
- 中国国家标准 GB/T 17737.123-2026同轴通信电缆 第1-123部分：电气试验方法 漏泄电缆的衰减常数试验.pdf
- GB/T 17737.124-2026同轴通信电缆 第1-124部分：电气试验方法 漏泄电缆的耦合损耗试验.pdf
- 《GB/T 17737.124-2026同轴通信电缆 第1-124部分：电气试验方法 漏泄电缆的耦合损耗试验》.pdf
- 中国国家标准 GB/T 6379.2-2026测量方法与结果的准确度（正确度与精密度） 第2部分：确定标准测量方法重复性和再现性的基本方法.pdf
文档评论（0）