实时系统的模型检验中针对共享变量的优化技术

来源 :计算机科学 | 被引量 : 0次 | 上传用户:qf1987227
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
实时系统可以使用由多个并发的时间自动机组成的时间自动机网络来建模.网络中的时间自动机通过共享变量和/或信道交互.带有不同共享变量取值的自动机网络的状态是截然不同的.因此,共享变量也是引起状态空间爆炸问题的原因之一.本文提出了在不同共享变量取值之间的兼容性关系的概念.使用这种兼容性关系,时间自动机网络的可达性分析算法就可以减少需要遍历的状态的个数.本文给出了检测符号化状态中共享变量的取值所能兼容的其它取值的算法以及进一步进行这种兼容性关系检测的增强算法.最后还给出了使用了这两种算法进行优化之后的可达性分析算
其他文献
摘 要:新课程改革强调发现学习、研究性学习、探究学习。这些学习方式充分体现了学生学习的自主性。通过研究性、探究学习,让学生在自主学习中探究,在质疑问难中探究,在观察比较中探究,在矛盾冲突中探究,在问题解决中探究,在实践活动中探究。关键词:新课改; 教师的定位中图分类号:G451.2 文献标识码:A 文章编号:1006-3315(2010)6-100-001基础教育课程改革的浪潮滚滚而来,新课程体系
摘 要:在数学教学中,提出问题是必要的,对学生的帮助是高效率的,把问题提出作为一般自主探究的习惯,能够为学生的终身学习打下良好的基础,关键词:问题提出; 数学教学; 解决问题; 教师与学生中图分类号:G623.5 文献标识码:A 文章编号:1006-3315(2010)12-070-001数学教学中,提出问题是必要的,对学生的帮助是高效率的,把问题提出作为一般自主探究的习惯,能够为学生的终身学习打
目的滑倒和跌倒引起了大量职业安全和健康问题,步态摩擦是引起人跌倒与摔倒的关键因素。方法为探究步态摩擦的影响因子,本文选用Brungraber Mark II摩擦测量器模拟人行走过程
摘 要:“数学要源于现实,扎根现实”,这是荷兰数学教育家弗赖登塔尔提出的“数学现实”的教学原则。课本知识是有限的,而学生能接受的知识却是无限的。因此,要把教材内容与生活实践活动有机地结合起来,使数学知识成为学生看得见、摸得着、听得到的现实。再运用所学的知识解决生活中的实际问题,使学生认识到生活与数学紧密联系,体会到数学就在每个人的身边。关键词:生活数学;生活实践中图分类号:G623.5文献标识码:
摘 要:在当今的职业教育中,要求教师在专业课堂教学中,应更新观念,改革课堂教学方式,提高教育教学效果,努力提高学生对电子电工这门课的学习兴趣。关键字:主动性; 兴趣; 激发中图分类号:G642.0 文献标识码:A 文章编号:1006-3315(2010)6-102-001教学的成功与否在很大的程度上取决于学生的学习主动性,而学习的主动性的高低则主要来自学习的兴趣。所谓的学习兴趣是指学生对学习活动产