论文部分内容阅读
通过结合自动机技术实现了有穷论域区间时序逻辑的判定算法,给出了有穷论域下区间时序逻辑变量、函数的处理方法,并提出了利用自动机进行系统建模的方法。最终实现了一个基于有穷论域区间时序逻辑的模型检测工具。
基于有穷论域下区间时序逻辑的模型检测研究
【摘 要】
：
通过结合自动机技术实现了有穷论域区间时序逻辑的判定算法,给出了有穷论域下区间时序逻辑变量、函数的处理方法,并提出了利用自动机进行系统建模的方法。最终实现了一个基于
【机 构】
：
西安邮电大学计算机学院
【出 处】
：
计算机与数字工程
【发表日期】
：
2018年7期
其他文献
马克思主义哲学在历史演变中形成了多种多样的理论形态，包括马克思主义哲学原生形态、苏俄马克思主义哲学形态、西方马克思主义哲学形态和中国马克思主义哲学形态，它们各有其特
针对高时效性的景象匹配系统如何处理存在较大仿射变形图像的问题,提出了一种基于MSER的仿射不变二进制特征提取算法,该算法同时结合了MSER仿射不变性及ORB算子高时效性。通过对比试验,MSER-ORB景象匹配算法在满足抗仿射变形同时获得较高的匹配效率。
解放思想必须坚持实事求是，这是马克思主义的基本立场，是我党的思想路线，也是推进中国特色社会主义事业的一大法宝。要反对将解放思想与实事求是割裂开来或对立起来的错误。在实
提出带惩罚费用的多重任务排序问题,即每个用户提交多个加工时间和惩罚费用相同的任务。每个用户提交的任务要么全部被接受,并被安排在平行机上处理,或者全部被拒绝,并产生惩
文章全面分析了移动通信系统的容量问题,给出了系统容量计算的方法,并分析了影响容量的各种因素.最后通过理论和仿真数据比较了WCDMA和cdma200第三代移动通信系统的容量,分析