量化转换系统的格值语言包含关系

发布时间：2017-09-13 19:21

  本文关键词：量化转换系统的格值语言包含关系

  更多相关文章： 标号转换系统 形式化验证 Hennessy-Milner逻辑 模糊自动机 完备剩余格

【摘要】：近十年来,量化形式化验证方法的研究取得了很多的研究成果。量化转换系统是一种新型的量化模型,该模型的主要特点是其动作集合上被赋予一个基于完备剩余格的格值等价关系。在量化转换系统的模型上,本文提出了一种格值语言包含关系去度量系统的一个状态所接受的语言能在多大程度上被另一个状态所接受的语言所包含,研究了这种关系的计算复杂性问题,并用格值版本的HennessyMilner逻辑的子逻辑提供了它的逻辑刻画。所有这些性质表明所提出的格值语言包含关系为并发和分布式系统的量化验证提供了重要的理论基础。
【作者单位】： 安徽工程大学计算机与信息学院;安徽工程大学计算机应用技术重点实验室;泰州学院计算机科学与技术学院;陕西师范大学计算机科学学院;
【关键词】： 标号转换系统 形式化验证 Hennessy-Milner逻辑 模糊自动机 完备剩余格
【基金】：国家自然科学基金(11301321,11401361,61672023,61673352) 中国博士后科学基金资助项目(2014M552408) 安徽省自然科学基金(2013SQRL034ZD,TSKJ2016B02)
【分类号】：TP301.1
【正文快照】： 1引言标号转换系统(Labelled Transition System,LTS)是自动机的一个变体,是对并发和分布式系统进行形式化描述、规约和分析的基本模型[16]。语言包含(等价)和(互)模拟是两种常用的分析标号转换系统的验证方法[16]。经典的形式化验证是一种定性的方法,例如,给定两个LTS,语言包

【相似文献】

中国期刊全文数据库 前10条

1 段国旺;毕秋阁;张风光;张洪峰;;温度多路转换系统在延迟焦化加热炉改造中的应用[J];科技信息;2012年31期

2 左渝斌,冯生荣;一种光学转换系统的实际应用[J];红外技术;2001年01期

3 张帅;贾珈;杨大利;徐明星;蔡莲红;;方言转换系统中的音节切分算法研究[J];计算机技术与发展;2009年07期

4 董子刚;李严;张元亭;;一种新的模拟到信息转换系统[J];电子学报;2013年09期

5 钱玉趾 ,杨永玲;转换系统——一个美丽的梦[J];中文信息;1994年02期

6 伍剑;;自动语音转换系统[J];金色少年;2009年03期

7 朱泽彬,黄会群,何锫;转换系统的设计及其应用[J];长沙理工大学学报(自然科学版);2005年03期

8 沈达阳;孙茂松;;汉字简繁体智能化转换系统[J];中文信息;1996年06期

9 张孝存;字本位和语本位——谈键盘输入和“转换系统”[J];中文信息;1996年05期

10 何铭;严克勤;;自动化播出的又一新课题——节目串联单管理与转换系统[J];电视工程;2000年02期

中国重要会议论文全文数据库 前1条

1 张运森;刘保国;刘珂;;STEP与XML转换系统设计与实现[A];全国先进制造技术高层论坛暨第八届制造业自动化与信息化技术研讨会论文集[C];2009年

中国重要报纸全文数据库 前2条

1 教育部语信司;“简繁汉字智能转换系统”通过结项鉴定[N];语言文字周报;2014年

2 记者 万玉凤;《汉字简繁文本智能转换系统》发布[N];中国教育报;2014年

中国博士学位论文全文数据库 前3条

1 张严;面向逻辑标记转换系统的进程演算CLL_R的研究[D];南京航空航天大学;2015年

2 张晋津;转换系统行为近似等价性的研究[D];南京航空航天大学;2010年

3 蒋泽甫;风电转换系统可靠性评估及其薄弱环节辨识[D];重庆大学;2012年

中国硕士学位论文全文数据库 前9条

1 戴健文;面向真实感渲染的材质转换系统与优化[D];浙江大学;2016年

2 孟俏;建立基于新型基因转换系统的检测TP53基因（R175H）早期突变的新方法[D];苏州大学;2016年

3 周莹;高质量语音转换系统中关键技术的研究[D];南京邮电大学;2012年

4 李淑卿;移动数据实时转换系统的设计与实现[D];北京邮电大学;2008年

5 张宇奇;基于FPGA的信息交联转换系统的设计与实现[D];西安电子科技大学;2014年

6 陈志锋;通信协议转换系统的实现[D];苏州大学;2005年

7 范忠锋;Ada83/95转换系统——后端设计与实现[D];西安电子科技大学;2002年

8 郑麒;Ada83/95转换系统前端的研究与实现[D];西安电子科技大学;2002年

9 童波;特定对象汉语语音转换系统的研究[D];华北电力大学（北京）;2010年

，

本文编号：845428