基于启发式SCCs的广义B chi自动机判空检测算法

来源 :电子学报 | 被引量 : 0次 | 上传用户：weidaxia888

【摘要】

：

基于自动机理论模型检测的一个关键算法是判断有穷状态系统是否满足属性的判空检测.对标准Büchi自动机作判空检测,容易引起状态爆炸.本文以TGBA为研究对象,提出基于启发式SC

【作者】

：

王曦徐中伟

【机构】

：

同济大学电子与信息工程学院

【出处】

：

电子学报

【发表日期】

：

2004年期

【关键词】

：

模型检测 Büchi自动机 on-the-fly算法判空检测

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

基于自动机理论模型检测的一个关键算法是判断有穷状态系统是否满足属性的判空检测.对标准Büchi自动机作判空检测,容易引起状态爆炸.本文以TGBA为研究对象,提出基于启发式SCCs的广义Büchi自动机判空检测算法.该算法在on-the-fly算法的基础上结合启发式深度优先搜索和SCCs检测算法,能较快地判断TGBA的非空性.通过正确性证明、复杂性分析和实验验证了该算法的正确可行性.在TGBA非空的情况下,该算法的时空性能比已有算法更优.

其他文献

血管内皮生长因子与出血性脑血管病

血管内皮生长因子(vascular endothelial growth factor,VEGF)在胚胎发育和多种疾病的血管形成中起着重要作用.近年来,VEGF的神经保护作用日益得到重视.VEGF在出血性脑血管病

期刊

血管内皮生长因子A脑出血蛛网膜下腔出血Vascular Endothelial Growth Factor ACerebral HemorrhageS

亚低温对急性脊髓损伤后肿瘤坏死因子-α表达及运动功能恢复的影响

目的观察大鼠脊髓损伤(SCI)后亚低温对肿瘤坏死因子-α (TNF-α)mRNA表达及运动功能恢复的影响,探讨其可能的作用机制.方法 72只SD大鼠随机分为对照组(n=24)、常温组(n=24)

期刊

脊髓损伤肿瘤坏死因子-α亚低温神经运动功能

略论青春励志偶像剧中的北京形象

近年来电视荧屏上倍受关注的电视剧当属以青春题材为主的电视剧，这种类型的电视剧多数讲述的是青年人在北京的奋斗、生活与情感故事，北京成为了青春类型的电视剧中的一个主要的

期刊

青春励志偶像剧平民化城市“北京精神”

海水彩色珍珠深加工技术研究

在海水彩色珍珠采收后，采用低温增光、稳色、复原等技术进行处理加工，使彩色珍珠原有的光泽更显美丽和珍珠光泽质量得到有效的保护，延长彩色珍珠存放时间，提升彩色珍珠性价比。所

期刊

海水彩色珍珠深加工技术工艺技术规范Color pearl seadeep processingtechnical processtechnical

抗草甘磷转基因大豆多重POR检测及假阳性问题探讨

以大豆病基因类似物(ROA)基因为对照,用RR大豆中的外源CaMV35S启动子、CP4-EPSPS引物,应用多重PCR方法,从RR大豆中扩增出预期大小的DNA片段.结果表明:将扩增产物回收后测序,

期刊

抗草甘膦RR大豆多重PCR

柴油尾气及其颗粒物与人类和动物的生殖健康

最近研究较多的环境污染物--柴油机尾气及其颗粒物,已公认为是一种环境内分泌干扰物,对人类和动物的生殖健康及子代发育产生二定的影响.研究表明,接触过量的柴油机尾气及其颗

期刊

柴油机尾气柴油机排放颗粒雌性生殖健康子代

釉质龋病变过程中及氟化物防龋时离子交换的研究进展

龋病的发展是一个复杂、动态的过程,脱矿与再矿化常常同时或者交替发生,龋病的脱矿与再矿化过程是离子不断进行交换的结果.而牙釉质覆盖在牙冠的表面,牙釉质龋是最早发生也是

期刊

釉质龋羟基磷灰石Ca2+CO2-3PO3-4脱矿再矿化

甜高梁乙醇全生命周期温室气体排放

甜高粱是中国发展非粮乙醇的重要原料之一.为研究中国不同地区发展甜高粱乙醇的温室气体(greenhouse gas,GHG)排放表现并识别出影响温室气体排放量的主要环节,选取黑龙江东部

期刊

温室气体生命周期燃料乙醇甜高粱

我国环境税费改革的具体设想

本文通过介绍国外发展循环经济环境税费的情况,分析了我国现行相关税费制度的缺陷,提出具体的改革设想:规范行政性收费,推行“费改税”;扩大资源税的征收范围,改革计税依据;

期刊

环境税费改革

浅谈饮用水生物稳定性评价指标及体系

对比分析了国内外不同生物稳定性控制指标与配水系统中水的生物稳定性关系,并分别就BDOC(可生物降解溶解性有机碳)、AOC(生物可同化有机碳)、TP(磷)以及AOC-TDWMS和用细菌生

期刊

生物稳定性可生物降解溶解性有机碳(BDOC)生物可同化有机碳(AOC)

基于启发式SCCs的广义B chi自动机判空检测算法

其他学术论文