具有公平性约束的CTL部分状态空间模型检测

徐蔚文; 陆鑫达

首页> 中文期刊>计算机工程 >具有公平性约束的CTL部分状态空间模型检测

具有公平性约束的CTL部分状态空间模型检测

开具论文收录证明 >>

期刊封面封底目录下载 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

检测部分状态空间是近年来出现的有效解决状态爆炸的模型检测技术,部分Kripke结构是描述部分状态空间的形式框架.文章主要讨论一类具有公平性约束条件的CTL(计算树逻辑)模型检测问题.定义了部分公平Kripke结构和公平序,分别来表征部分公平状态空间和它们之间的序关系.并给出相应的3值CTL语意和相关定理来说明部分状态空间模型检测技术同样适用于具有公平性约束条件的CTL模型检测问题.

著录项

来源
《计算机工程》|2003年第5期|10-12|共3页
作者
徐蔚文; 陆鑫达;
展开▼
作者单位

上海交通大学计算机工程系,上海,200030;

上海交通大学计算机工程系,上海,200030;

展开▼
原文格式 PDF
正文语种 chi
中图分类采用各种新技术的自动检测系统;
关键词
公平性; 部分Kripke结构; 计算树逻辑; 模型检测;

相似文献

中文文献
外文文献
专利

1. 具有DP的广义可能性模糊时态CTL模型检测 [J] . 魏杰林 ,袁申 ,李永明 . 计算机科学与探索 . 2019,第010期
2. 具有非线性状态空间模型的模型预测控制 [J] . 刘春风 ,范文兵 ,李亚萍 . 内江科技 . 2006,第009期
3. 一类具有胞内时滞和饱和CTL免疫反应的HTLV-I感染模型的全局动力学性态 [J] . 张丽茹 ,徐瑞 . 高校应用数学学报A辑 . 2021,第003期
4. 一类具有饱和CTL免疫反应的乙肝病毒模型的全局稳定性分析 [J] . 蒋玉婷 ,王连文 . 湖北民族学院学报（自然科学版） . 2019,第001期
5. 一类具有时滞和CTL免疫反应的HIV-1感染模型的稳定性和Hopf分支 [J] . 马慧莲 ,郭尊光 . 信阳师范学院学报：自然科学版 . 2019,第1期
6. 具有DP的广义可能性模糊时态CTL模型检测 [C] . Wei Jielin ,魏杰林 ,Yuan Shen . 2018年全国理论计算机科学学术年会 . -1
7. 公平约束条件下的CTL模型检测及其扩展应用研究 [A] . 袁冠杰 . 2017

具有公平性约束的CTL部分状态空间模型检测

摘要

著录项

相似文献

相关主题

期刊订阅