【摘 要】
：
首先简介了时间自动机、时钟区域、区域等价、时钟带的概念.利用时钟带,可以将时间自动机的无穷状态空间转化为有穷.实时系统的绝大多数安全性和部分活性可以通过可达性分析
【机 构】
：
上海大学,计算机工程与科学学院,上海,200072
论文部分内容阅读
首先简介了时间自动机、时钟区域、区域等价、时钟带的概念.利用时钟带,可以将时间自动机的无穷状态空间转化为有穷.实时系统的绝大多数安全性和部分活性可以通过可达性分析算法来验证.然而,当系统时钟个数较多时,用DBM存储时钟带,会造成内存空间的很大耗费.该文提出了用邻接表存储时钟带,给出了改进的算法,并对算法的空间复杂度作了分析.实验表明,当时钟个数大于5时能节约很大的内存空间,从而在一定程度上缓解了状态爆炸.
其他文献
指出电路实验指导书教材普遍存在的问题，提出新形势下实验教材改进的方法。
独立学院建立系部二级心理辅导站是构建全方位的,适合学生的,引导学生心理健康成大的中坚力量.本文从独立学院学生心理健康现状、系部心理辅导站建立的意义及自身建设,并对辅
【摘要】近年来，由于国内外钻井技术的不断发展，以充气钻井液、乳化柴油钻井液等为代表的欠平衡钻井技术被广泛应用到油气的勘探过程中，使机械钻速得到提高，钻井的周期缩短，钻井综合效益提高。因此，探讨欠平衡钻井工艺意义重大。本文以分析欠平衡配套录井技术的特点及其对录井作业产生的影响为基础，进一步探讨了如何完善欠平衡钻井的配套录井技术。 【关键词】欠平衡钻井 录井 配套 技术 1 欠平衡钻井工艺的特点
本文主要介绍了汽油机瞬态排放的各种理论研究,并对瞬态排放测定系统进行了介绍,尤其是其中最为关键的控制器,最后根据前面的理论分析得到两条汽油机瞬态排放评定的技术路线
摘 要：审计费用作为联系上市公司和会计师事务所的“经济纽带”，对审计独立性和审计质量产生直接影响，并对财务报告信息使用者的经济决策产生间接影响。本文利用2012—2016年沪深两市A股上市公司的财务报表数据为样本，实证研究我国上市公司公允价值计量运用程度与审计费用的相关性。结果显示，公允价值运用程度越高的上市公司将被会计师事务所收取更高的审计费用。 关键词：审计费用；公允价值计量；资产减值损失；
ERP(Enterprise Resources Planning)是企业进行综合系统思想管理及决策的重要平台,通过系统理念思想指导,进行企业的资源整合,将物流信息全面一体化管理,形成各项资源内容的
一rn清晨,吉丽骑着一匹狂奔的黑骝马,独自向青幽幽的山岗飞驰,凛冽的北风吹着黑骝马满颈抖动的长鬃长毛.她是天蒙蒙亮从冬窝子一直走到夏营地,又天黑得不见手指.
本文通过阐述供应商业绩评价的现状与困惑、供应商业绩评价方法的探讨与策划、应用实践与效果的分析,论述了供应商业绩评价的实用性、可操作性的一些理念和观点,仅供参考。
【摘要】长输管在施工的过程中一个非常关键的步骤是长输管线的施工测量，如果不能很对工程的管道进行很好的施工测量，那么工程后期的施工质量就得不到很好的保证。因此长输管道的测量技术员在工程施工过程中要做到承担起责任，只有这样长输管道才能顺利进行，施工时必须严格按照施工图纸进行施工，在测量之前需要相关人员仔细的进行图纸的审查。本文主要从施工测量技术方面对长输管道在施工中的施工技术进行探讨，介绍施工技术以及