【摘 要】
：
模型检测对于系统的校验有着适用范围广、自动化验证程度高、验证速度快等优势。但是其状态爆炸问题制约了其应用,使用分布式技术缓解状态爆炸问题引来了新的问题——如何对
【基金项目】
：
国家自然科学基金（61163001）
论文部分内容阅读
模型检测对于系统的校验有着适用范围广、自动化验证程度高、验证速度快等优势。但是其状态爆炸问题制约了其应用,使用分布式技术缓解状态爆炸问题引来了新的问题——如何对状态空间进行分解。本文介绍了分布式SCC分解的两个算法：FB与MP-MS算法,并在其基础上,引入了OWCTY技术,对算法进行优化。通过实验,证明优化后的算法有着更高的效率和更小的时间开销,对于缓解状态爆炸问题有着重要的意义。
其他文献
当今世界,科学技术突飞猛进,知识经济初现端倪。知识经济的核心在于创新。知识经济时代特殊的经济增长方式决定了创新能力在促进人类经济和社会发展中的重要地位。在全球经济
叙述是作者对文字作品（文章、文掣）中的人物、事件、环境的发展变化所作的介绍、交代和说明，它是写作中运用最广、使用频率最高的一种最基本的表达技巧。概叙和细叙，是就叙述的详
近几年,中考试题中的一次函数是以填空、选择、综合题的形式出现.本文以2002年中考试题为例。谈谈此类题的解法. 例1 直线L与直线y=2x+1的交点横坐标为2.与直线y=-x+2的交点
操作题在近年来各地市的中考题中频频出现，其原因：一是操作题着重考查学生的实践能力和创新设计的才能；二是顺应教学改革的新趋势，今年全新的各地市的新教材已走进学校，走进课堂．新
川人社办发[2018]181号各市(州)人力资源和社会保障局、教育局,共青团市(州)委,省内各高校:为进一步推进离校未就业的高校毕业生和艰苦边远地区、老工业基地、民族地区、贫困
《人民解放军百万大军横渡长江》这篇新闻的主体部分仅仅用500余字的篇幅就把我军渡江这一大事件的始末介绍给读者。为什么能达到这样的效果?就在于：
建立现代企业制度是发展社会化大生产和市场经济的必然要求。而在现代企业中,由于对外面临着越来越激烈、越来越残酷的竞争,迫使企业内部的管理必须进一步向纵深发展,而管理
摘要：直觉思维是数学思维活动中最活跃、最积极、最具有创造性的成分。本文结合高考试题谈谈如何运用直觉思维，提高解题效率. 关键词：直觉思维；解题；联想；直观 中图分类号：G633.6 文献标志码：B 文章编号：1674-9324（2012）10-0102-03 钱学森认为：“直觉是一种人们没有意识到的对信息的加工活动，是在潜意识中酝酿问题后与显意识突然沟通，于是一下子得到了问题的答案。”爱因斯
教育者最常说的一句话莫过于“好习惯成就美好人生”了。好习惯从何而来?从养成教育中来。养成教育的初级目标是养成良好的学习、生活习惯;终极目标是让学生学会做事、学会做
水不仅是生命之源，而且还是科学研究中的重要助手，这在测定物质密度的实验中也有充分的体现。通过进一步分析还可以发现，利用水来测定物质密度主要有以下三种方法。