【摘 要】
：
对Couvreur提出的基于强连通图的空性检测算法进行改进,使基于嵌套的深度优先搜索与基于强连通图搜索算法的优势结合起来,在对基于迁移的扩展(具有多个可接受条件)Büchi自动
【机 构】
：
中国科学院软件研究所计算机科学国家重点实验室,中国科学院研究生院
【基金项目】
：
国家“九七三”重点基础研究发展规划项目基金(2002cb312200);国家自然科学基金(60273025,60223005,60421001)资助~~
论文部分内容阅读
对Couvreur提出的基于强连通图的空性检测算法进行改进,使基于嵌套的深度优先搜索与基于强连通图搜索算法的优势结合起来,在对基于迁移的扩展(具有多个可接受条件)Büchi自动机进行空性检测过程中,使用一个布尔变量标识一个状态,不仅节省了内存消耗,而且一般情况下的性能明显优于已有的算法,最坏情况等同于Couvreur的算法.同时反例寻找过程等同于基于强连通图的检测算法.
其他文献
中医治疗慢性布鲁氏菌病效果观察乔生，郭重英（河北省张家口市地方病防治所）为探讨对慢性布鲁氏菌病（简称布病）的治疗方法和有效药物，我们采用中医药疗法对慢性布病患者进行治疗。１判
初中历史是一门知识性较强的学科,对于学生而言,要想学好历史课程并不是一件容易的事情,因此,初中历史教师要在教学中不断转变教学观念,采取多种教学手段,不断使历史教学充满
教学质量是衡量教育质量的重要指标之一。2016年连云港市参照教育部基础教育课程教材发展中心“建立中小学生学业质量分析、反馈与指导系统”项目,在江苏省基础教育质量监测
《聊斋志异》中的人仙恋故事,是人类在物质与精神上有所欠缺而呈现出来的幻想,以满足失衡的心理,表现了对美好生活的追求。生老病死、尘世扰攘,因而有对仙乡的追寻和不死的向
【正】 尼山,位于今曲阜市东南约三十公里处,相传为孔子的诞生地。山的东麓有一规模颇大的建筑群,这便是著名的尼山孔庙与尼山书院。史载,尼山孔庙始设于后周显德年间,而扩建
面对"一带一路"国家发展规划,黑龙江省提出了"中蒙俄经济走廊—龙江陆海丝绸之路经济带"的发展规划,这不仅有利于促进经济发展和产业转型,有利于弘扬丝路精神、弘扬民族文化,
讨论模式识别和搜索技术在智能教学软件设计中的应用 ,特别是多项式因式分解的算法和解题过程的自动产生。
<正>华盛顿峰会:拯救金融危机的“总指挥部”2008年,由美国次贷危机引发的金融危机迅速向全球蔓延。可以说,正是2008年的全球金融危机历史性地把G20峰会推向台前,华盛顿峰会
车辆调度问题(VSP)是一个典型的NP-hard问题,也是运筹学研究的热点问题。目前大多车辆调度问题的模型及其相应的算法与仿真都是针对单车型设计的,很少考虑多车型的情况,然而
<正> 翻译科技文章,首先要确定有关专业术语的概念范畴。任何一门科学都是由它所研究的一系列事实和表达这些事实的词语组成的。词语表述概念,概念反映事物。然而,并非一切词