【摘 要】
：
众所周知,动态切片技术在串行计算机程序的理解、分析和验证方面非常有用,但传统的动态切片定义不适合Statechart描述.首先规范定义了适合动态切片的形式化语义模型（可观察语
【机 构】
：
浙江师范大学行知学院,浙江师范大学数理与信息工程学院
【基金项目】
：
本文受浙江省浙江师范大学计算机软件与理论重中之重学科开放基金（60873120）,浙江师范大学行知学院科研基金（201223）资助.
论文部分内容阅读
众所周知,动态切片技术在串行计算机程序的理解、分析和验证方面非常有用,但传统的动态切片定义不适合Statechart描述.首先规范定义了适合动态切片的形式化语义模型（可观察语义）,然后提出了更自然的Statechart描述的动态切片概念,正式定义了动态切片准则、动态切片生成算法和最小动态切片的概念,解释了如何提供有效的动态切片准则,并提出一种简单实用的、借助可观察语义生成最小动态切片的近似算法.
其他文献
基于简化脉冲耦合神经网络(S-PCNN),提出了一种新颖的人脸识别方法。首先通过对神经元振荡特性的分析,将神经元振荡时间序列(OTS)分解为捕获性振荡时间序列(C-OTS)和自激性振荡时间序列(S-OTS)。然后通过图像几何变换和振荡频图,分析了X-OTS(OTS、C-OTS和S-OTS)的鉴别特性。最后利用C-OTS+S-OTS和余弦距离测度给出了人脸识别的系统结构。人脸库中的实验结果验证了所提
利用钻孔爆破方法和公路运输的便利条件在山区公路两侧植树造林,能够大大提高大规模造林的效率.本文概述了山区公路两侧爆破造林的优越性,详细介绍了爆破开挖树坑的施工方法
介绍了济南一座11层框剪结构大厦的爆破拆除.该大楼高宽比小、稳定性高,首先通过人工预处理被分为两个独立的建筑,然后采用控制爆破使它们分别向不同的方向倒塌.文中讨论了爆
档案作为企业发展的历史记录，是信息资源的一种，是各种可供人们开发与利用且具有保存价值的信息集合的总称。档案信息资源管理包括文件材料的形成、收集、整合加工等环节，其中形
当今社会，面对全球信息产业和文化产业迅猛发展的形势，作为重要信息资源的档案信息逐渐趋于数字化、电子化和信息化，人们广泛应用计算机信息技术和网络技术来进行信息的制造、存
首称分析了近距离爆破造成的隧道周边振动场分布规律，指出最大振动速度出现在爆破振动波正入射部位的墙壁和拱部，墙脚点振动速度较小，背爆侧振速只有抑爆侧的１／２５。其次，根据大量测试
目前，企业科技档案主要是纸质档案。随着生产的不断扩大和产品的多样化，档案部门保存的图纸数量越来越多，而且需晒制的份数也多。例如：我公司目前底图库、档案室、资料室各保存1
会计档案是记录和反映会计实践活动的历史记录,它以丰富的原始数据和恒定不变的价值量为使用者提供可靠的信息,为各单位制定规划、计划、调查取证以及进行决策提供依据和咨询