论文摘要
论文包括两部分内容,第一部分通过定义分解互模拟这个概念,对规范的(normed)上下文无关进程上的互模拟做了更为简单的有限刻画,并且对我们定义的分解互模拟这个概念进行了博弈刻画。第二部分对模态μ演算上的可满足性问题进行了博弈刻画,对可满足性公式可以进行模型构建,对不可满足公式可以生成反例。而且我们尝试设计了一种基于我们定义的可满足性博弈(Satisfiability Game)的对一类模态μ演算公式的模型检测算法。
论文目录
相关论文文献
- [1].(η,α)-互模拟的分层及判定算法[J]. 计算机工程与科学 2015(03)
- [2].广义可能性互模拟及其逻辑刻画[J]. 计算机工程与科学 2015(05)
- [3].互模拟准局部验证算法的扩展与实现[J]. 软件学报 2018(06)
- [4].互模拟理论的逻辑研究述评[J]. 哲学动态 2010(04)
- [5].n-互模拟及其相关性质[J]. 电子世界 2017(23)
- [6].基于ε-互模拟的软件近似正确性模型[J]. 计算机工程与应用 2013(11)
- [7].一种自动验证网络安全协议的互模拟方法[J]. 内江师范学院学报 2008(12)
- [8].n-互模拟量化逻辑语言的不变性[J]. 电子世界 2017(24)
- [9].基于带数据约束实时系统的互模拟检测方法[J]. 计算机技术与发展 2016(01)
- [10].标号迁移系统的互模拟关系及其性质[J]. 福建工程学院学报 2018(06)
- [11].线性半代数变迁系统的近似互模拟等价[J]. 吉林大学学报(工学版) 2013(04)
- [12].多项式程序模型的互模拟等价[J]. 北京交通大学学报 2011(05)
- [13].模糊有穷自动机的互模拟关系[J]. 模糊系统与数学 2009(04)
- [14].n-精化与n-互模拟之间相关问题的研究[J]. 计算机技术与发展 2018(04)
- [15].基于可能性测度的计算树逻辑CTL~*与可能性互模拟[J]. 计算机科学 2012(10)
- [16].关于并发系统分支互模拟关系发散性保持的研究[J]. 计算机系统应用 2016(12)
- [17].连续时间Markov决策过程互模拟等价及逻辑保持[J]. 控制理论与应用 2016(08)
- [18].基于环境的软件正确性形式化描述[J]. 山东大学学报(理学版) 2011(09)
- [19].带状态反馈控制的概率布尔网络上基于互模拟的稳定性研究（英文）[J]. Frontiers of Information Technology & Electronic Engineering 2020(02)
- [20].互模拟的含义、特征及主要应用[J]. 重庆理工大学学报(社会科学) 2010(02)
- [21].软件动态正确性的形式化描述[J]. 计算机研究与发展 2013(03)
- [22].多精度混合弹性变形及其交互模拟[J]. 计算机辅助设计与图形学学报 2016(06)
- [23].互模拟在理论和实践中的应用[J]. 沈阳师范大学学报(社会科学版) 2009(06)
- [24].生成诊断公式的有限状态进程等价验证[J]. 计算机工程与设计 2010(02)
- [25].基于内模型的知识遗忘[J]. 福建农林大学学报(自然科学版) 2011(03)
- [26].互模拟与非良基集合[J]. 重庆工学院学报(社会科学版) 2009(08)
- [27].非良基集合的域和分类[J]. 逻辑学研究 2014(02)
- [28].基于SPH方法的流体与可变形固体交互模拟[J]. 黑龙江大学自然科学学报 2012(05)
- [29].分级论辩系统的逻辑研究[J]. 计算机科学 2020(05)
- [30].结构化标记转换系统的部分互模拟与共变-逆变模拟[J]. 成都信息工程学院学报 2014(05)