首页> 中文期刊>计算机与数字工程 >基于有穷论域下区间时序逻辑的模型检测研究

基于有穷论域下区间时序逻辑的模型检测研究

开具论文收录证明 >>

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

页面导航

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

摘要

通过结合自动机技术实现了有穷论域区间时序逻辑的判定算法,给出了有穷论域下区间时序逻辑变量、函数的处理方法,并提出了利用自动机进行系统建模的方法.最终实现了一个基于有穷论域区间时序逻辑的模型检测工具.

著录项

来源
《计算机与数字工程》|2018年第7期|1302-13051451|共5页
作者
李超;
展开▼
作者单位

西安邮电大学计算机学院西安 710061;

展开▼
原文格式 PDF
正文语种 chi
中图分类自动机理论;
关键词
区间时序逻辑; 模型检测; 自动机;

相似文献

中文文献
外文文献
专利

1. 基于扩展命题区间时序逻辑的免疫网络攻击检测模型 [J] . 陈茜月 ,庞建民 . 信息工程大学学报 . 2020,第001期
2. 基于时间区间时序逻辑的实时系统统一模型检测 [J] . 朱维军 ,乔芃喆 ,周清雷 . 电子科技大学学报 . 2014,第005期
3. 一种基于区间时序逻辑模型检测的入侵检测算法(英文) [J] . . 中国通信 . 2011,第003期
4. 基于一般关系下的双论域变精度粗糙集模型 [J] . 张海东 . 宁夏师范学院学报 . 2011,第006期
5. 基于一般关系下的双论域粗糙集模型 [J] . 张海东 . 西北民族大学学报（自然科学版） . 2010,第002期
6. 有穷论域约束逻辑程序设计及其应用 [C] . 张永刚 ,孙吉贵 . 全国第13届计算机辅助设计与图形学学术会议暨全国第16届计算机科学与技术应用学术会议 . 2004
7. 时间区间时序逻辑模型检测:理论、算法及应用 [A] . 朱维军 . 2011

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号