切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
基于CTL的并发系统CSP模型验证
基于CTL的并发系统CSP模型验证
来源 :河南师范大学学报:自然科学版 | 被引量 : 0次 | 上传用户:liongliong479
【摘 要】
:
主要通过指称语义和回答集程序(Answer Set Programming,简称ASP)完成迹模型的生成,并构建了一套基于计算树逻辑(computing tree logic,简称CTL)的CSP模型验证方法.实验表明,该方
【作 者】
:
王亚丽
杨育捷
赵岭忠
翟仲毅
【机 构】
:
河南师范大学计算机与信息工程学院,河南师范大学“智慧商务与物联网技术”河南省工程实验室,桂林电子科技大学广西可信软件重点实验室
【出 处】
:
河南师范大学学报:自然科学版
【发表日期】
:
2016年5期
【关键词】
:
模型检测
迹模型
计算树逻辑
回答集程序设计
model checking trace model computing tree logic answer se
【基金项目】
:
国家自然科学基金(61262008), 广西可信软件重点实验室开放课题(kx201415), 河南省科技厅基础与前沿技术研究项目(132300410430)
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
主要通过指称语义和回答集程序(Answer Set Programming,简称ASP)完成迹模型的生成,并构建了一套基于计算树逻辑(computing tree logic,简称CTL)的CSP模型验证方法.实验表明,该方法对于分支类型的性质具有较好的描述能力,且保证了验证的正确性.
其他文献
均苯三酸和二价金属盐构筑的金属有机配位聚合物及热稳定性能研究
以均苯三酸为有机桥联配体,在水热条件下合成了两个新颖Co(Ⅱ)/Cd(Ⅱ)配位聚合物:{[Co3(μ3-OH)(μ2-H2O)2(H2O)5(BTC)2]·6H2O}n(1),[Cd(H2O)2(HBTC)]n(2)(H3BTC=均苯三酸),并用元素分析、红外
期刊
配位聚合物
晶体结构
热重分析
coordination polymer crystal structure thermogravimetric analysi
父亲方传芸
自从昆剧在苏州兴起,穷苦少年学戏谋生即成为普遍现象。八十年前我父亲也是这样,从城西北虎丘山塘来到平门下的五亩园,成为“昆剧传习所”年纪最小的两名学员之一。他工“作
期刊
昆剧
戏剧学
舞蹈学
话剧
中国舞蹈
行当
戏曲
传习所
折子戏
演员
冉冉升起的芭蕾新星——记青年芭蕾演员孙慎逸
最近,上海芭蕾舞团在上海大剧院隆重献演被誉为“芭蕾之冠”的《吉赛尔》,广大砚众不仅为震撼人的浪漫主义悲剧拍案称绝,而且为青年演员孙慎逸的出色击节叫好,他在剧中饰演隐
期刊
芭蕾
瓦尔纳
男演员
新星
比赛
舞伴
双人舞
现代舞
金奖
大赛
瑞芬太尼复合丙泊酚靶控输注对脊柱结核手术患者麻醉效果及血清TNF-α、hs-CRP、IL-6水平的影响
目的研究瑞芬太尼复合丙泊酚靶控输注对脊柱结核手术患者麻醉效果及血清TNF-α、hs-CRP、IL-6水平的影响。方法选择大庆市第二医院2018年1月至2019年12月收治的60例脊柱结核
期刊
脊柱结核
瑞芬太尼
丙泊酚
靶控输注
肿瘤坏死因子-α
超敏-C反应蛋白
白介素-6
一类叠加态光场的压缩和压缩增强
本文研究了由偶,奇相干态分别与真空态构成的叠加态光场的压缩效应。结果表明,在适当条件下,偶,奇相干态与真空态的叠加态场皆可存在二阶压缩和振幅N次方压缩,偶相干态与真空态的叠
期刊
真空态
叠加态光场
压缩光场
even and odd coherent state
vacuum state
superposition state li
血必净注射液联合盐酸氨溴索治疗重症肺炎患者的临床疗效
目的研究血必净注射液联合盐酸氨溴索治疗重症肺炎患者的临床疗效。方法选择迁安燕山医院2016年1月至2019年6月收治的重症肺炎患者204例作为研究对象,按照随机数字表法将入选
期刊
重症肺炎
常规治疗
血必净注射液
炎性水平
治疗效果
Preparation and Analysis of Thermal and Mechanical Properties of HTPB-type Polyurethane Elastomer Co
Two microcapsules with different paraffin phase changes were prepared using styrene-divinylbenzene copolymer and melamine resin as the capsule wall and paraffin
期刊
paraffin
microcapsule
HTPB-type
polyurethane
elastomer
thermal
property
mechanic
关于非扩张映射上三类问题公共元的迭代算法
基于Hilbert空间的非扩张映射的一类问题的解或两类问题的公共解已给出了相应的迭代算法.针对非扩张映射上的广义均衡问题的解集,不动点集及变分包含问题的解集的公共元问题,
期刊
广义均衡问题
非扩张映射族
不动点
generalized equilibrium problem a family of nonexpansive mappi
关于大豆浸油产品生产成本核算方法的探讨
<正> 大豆浸油业,是目前我国新兴的加工业,发展迅速,普及广泛,它已取代了传统的压榨制油社会生产方式。随着市场经济的不断发展和全社会的物质需要,浸油业的豆粕产品已成为饲
期刊
大豆
油
加工
成本核算
采用量子器件的两路空间光通信系统研究
期刊
光纤通信
两路空间
光通信
量子器件
与本文相关的学术论文