【摘 要】
：
针对一种结合最大接受前驱的on-the-fly并行空性检测方法,在接受环最大接受前驱处于环外的情境,无法通过传播接受前驱以on-the-fly方式识别接受环的问题,提出一种传播最大和
【机 构】
：
天津城建大学计算机与信息工程学院,天津,300384哈尔滨工程大学计算机科学与技术学院,哈尔滨,150001;
论文部分内容阅读
针对一种结合最大接受前驱的on-the-fly并行空性检测方法,在接受环最大接受前驱处于环外的情境,无法通过传播接受前驱以on-the-fly方式识别接受环的问题,提出一种传播最大和最新接受前驱的on-the-fly并行空性检测方法.在首次遍历积自动机时,它采用最大接受前驱和最新接受前驱的双值传播模式,最大接受前驱仍保留原方法的传播特征,引入的最新接受前驱追踪并行空性检测的局部遍历特征,使其在原方法传播接受前驱识别失效时仍能on-the-fly识别接受环.理论证明了该算法的正确性,对比实验验证了该算法提前终止率更高,时空成本更低,on-the-fly优势更强.在软件模型检测领域,该方法为并行空性检测进一步控制状态空间爆炸,提供了一种有效途径.
其他文献
在医疗建筑电气工程中敷设电力电缆是非常重要的工序之一,电力电缆在医疗建筑电气工程中发挥着重要的作用.敷设电气电缆是医疗建筑电气工程在施工过程中的一个主要项目,同时
进入了21世纪,随着我国经济的快速发展,国家对于基本建设项目的投资越来越多,其中之一的医疗建筑的规模和数量都在很大程度上得到了提高,由于医疗建筑的特殊性和其工程的复杂
针对一种框架面板式空间结构,建立了结构有限元模型,重点考虑了连接、接触、局部刚度、材料模型等问题,利用该模型对结构进行了动力学特性和动力学响应分析。随后进行了结构力学试验,并对比分析了理论与试验结果,两者吻合较好,说明本设计分析方法和对关键环节的处理在工程上是可行的。
随着我国经济水平的不断发展,我国城市化进程不断加快,在一定程度上推动了建筑业的发展.建筑施工技术经过长期的发展,得到不断创新,对电气工程中强电施工和设计进行分析,对整
加固软土路基地基处理中,水泥搅拌桩较为常见,尤其是双向水泥搅拌桩效果显著.双向水泥搅拌桩是水泥浆液使用注浆泵通过输浆管输送至搅拌头,由喷浆叶片小孔喷出,搅拌头在地基