切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
计算树逻辑特性模式研究
计算树逻辑特性模式研究
来源 :计算机工程 | 被引量 : 0次 | 上传用户:lycan95
【摘 要】
:
模型检查是系统验证的有效方法,在验证过程中需要对系统待检验特性用时态逻辑公式进行刻画,然后在模型检查工具中进行检验。介绍计算树逻辑的语法及语义,根据计算树逻辑中特性模
【作 者】
:
周慧
【机 构】
:
九江学院商学院
【出 处】
:
计算机工程
【发表日期】
:
2009年23期
【关键词】
:
计算树逻辑
特性模式
模型检查
Computation Tree Logic(CTL) property patterns model checking
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
模型检查是系统验证的有效方法,在验证过程中需要对系统待检验特性用时态逻辑公式进行刻画,然后在模型检查工具中进行检验。介绍计算树逻辑的语法及语义,根据计算树逻辑中特性模式的划分及作用范围给出计算树逻辑常见的特性模式,包括缺失性模式、存在性模式、普遍性模式、优先性模式和跟随性模式等。
其他文献
基于OPNET的自组网拓扑控制有效性的研究
拓扑控制通过调节节点的发送功率,减少信号干扰,降低节点能量消耗,提高网络传输能力。该文通过考察自组网中几种经典的拓扑控制算法,研究了拓扑图能保证连通具有较小的节点度和传
期刊
自组网
拓扑控制
吞吐量
网络仿真
Ad hoc networks topology control throughput network simulation
建筑施工中机电工程技术的应用模式分析
随着社会经济的飞速发展,城市现代化水平的不断提高,我国建筑工程数量与日俱增,其中机电工程技术作为其重要的组成部分,必须要积极的完善和创新机电工程技术的应用模式,最终才能够
期刊
建筑施工
机电工程技术
应用模式
辐照酒的化学发光测定
对4种酒进行1.0,2.0,3.0,5.0kGy 辐照,以0kGy 为对照,作自发发光和鲁米诺体系发光测定。结果表明,辐照酒的自发发光和体系发光强度均比未辐照时增加。辐照酒的自发发光强度是
期刊
酒
辐照
化学发光
测定
浅析城市公交的智能化与人性化
自改革开放以来,我国的社会经济与科学技术等各方面均得到了全面性的发展。与此同时,信息化时代的到来亦促使城市公交系统循序渐进地走向了智能化。智能化公交系统的出现不仅
期刊
城市公交
智能化
人性化
urban public transportintelligentizationhumanization
烯烃聚合后过渡金属催化剂的研究进展
综述了烯烃聚合后过渡金属催化剂的主要研究进展,提出了有待研究的问题,展望了后过渡金属催化剂在烯烃聚合中的应用.
期刊
聚烯烃
后过渡金属催化剂
综述
烯烃
聚合
polyolefine late transition metal catalysts review
浅谈核心素养下小学英语阅读教学探究
在小学英语的课堂上,积极的培养小学生们的英语阅读能力,不仅仅是英语教学的基础目标,也是提高学生们 英语能力的主要的途径。国家的对外开放政策越来越快,英语这门国际性的
期刊
核心素养
小学英语
阅读教学
探究
基于熵权TOPSIS及非期望产出SBM模型的内蒙古工业绿色发展绩效分析
采用熵权-TOPSIS及非期望产出SBM模型,对内蒙古2010-2016年工业绿色发展水平及效率进行实证分析,并在此基础上利用耦合协调度模型分析、研究工业绿色发展绩效的协调程度.研究
期刊
内蒙古
工业绿色发展
绩效分析
协调分析
气辅成型工艺的研究
介绍了气体辅助注射成型技术工艺参数的确定和成型材料的选择原则,讨论了成型过程中出现的主要缺陷及其原因和解决方法.
期刊
树脂
气体辅助注射成型
成型工艺
成型缺陷
工艺参数
gas assisted injection molding moulding technology mo
论高校学生干部在贫困资助工作中的角色定位
随着高等教育现代化步伐的日渐加快,高校学生干部已成为协调、配合学校开展教育、管理和服务等各项工作的一支主力军。无论是作为班级队伍的管理者、学生团体的组织者,还是作为
期刊
学生干部
资助
角色
用^14C标记的双甲脒测定它在蜂蜜中的残留量
<正> 双甲脒(Amitraz),化学名称 N-甲基双(2,4-二甲苯胺甲基)胺,是一种新型接触性杀螨剂,特效性中等。双甲脒对螨科各发育阶段都有防治效果。中国农院养蜂所采用双甲脒纸片法
期刊
蜂蜜
双甲脒
测定
残留量
与本文相关的学术论文