【摘 要】
：
首先简介了时间自动机、时钟区域、区域等价、时钟带的概念.利用时钟带,可以将时间自动机的无穷状态空间转化为有穷.实时系统的绝大多数安全性和部分活性可以通过可达性分析
【基金项目】
：
国家自然科学基金资助项目（60373072）,上海市教委第四期重点学科建设基金资助项目
论文部分内容阅读
首先简介了时间自动机、时钟区域、区域等价、时钟带的概念.利用时钟带,可以将时间自动机的无穷状态空间转化为有穷.实时系统的绝大多数安全性和部分活性可以通过可达性分析算法来验证.然而,当系统时钟个数较多时,用DBM存储时钟带,会造成内存空间的很大耗费.该文提出了用邻接表存储时钟带,给出了改进的算法,并对算法的空间复杂度作了分析.实验表明,当时钟个数大于5时能节约很大的内存空间,从而在一定程度上缓解了状态爆炸.
其他文献
在秦北路污水管线工程设计中,根据管道开槽施工与顶管施工工艺的特点和适用条件,结合管线技术参数及水文地质条件等,对管线施工工艺进行技术经济比选,并认真分析、研究和优化
本文通过实验法和数理统计法,将"健身运动处方"与"传统体育"两种教学模式进行对比,得出两者对影响大学生体育锻炼态度的显著性差异。研究表明,与传统体育课教学模式相比较,健
目的对1999-2002年我站辖区从业人员性病检查治疗情况进行流行病学分析.方法使用病原体培养,抗原检测,5%冰醋酸发白试验,病理结合临床诊断,并进行详细分析.结果(1)性病发病逐
介绍了闪光灯的工作原理及其在高速印刷机数字监控系统中的应用．应用效果表明，当印品高速运动时，闪光灯能够提供稳定的光源，并且其发光持续的时间可以作为CMOS图像传感器快门开启
该文研究了还原剂N，N-二乙基羟胺(DEHAN)辐射降解可能产物中的气态烃类产物，利用气相色谱分析法测定了C1—C4烃类．采用氧化铝毛细柱与氢火焰离子化检测器(FID)联用的方法，确定了
鹅喉羚体长为85-140cm，体重为25～30kg。隶属于偶蹄目、牛科、瞪羚属。
目的了解我市足浴场所卫生状况.方法对我市9家专业足浴场所及26家兼营足浴场所按公共场所卫生标准检验方法(GB/T18204.2.3.5.6.7.8-2000),化妆品微生物检验方法(化妆品卫生规
问题一：只有植物细胞才能发生质壁分离吗？解析：质壁分离中的“壁”指的是细胞壁。植物细胞由于细胞壁的伸缩性比原生质层的伸缩性小得多，所以，随着细胞失水过多就会出现质壁分离现