论文部分内容阅读
提出了一种生成实时系统可达状态的算法 ,该算法生成一个较小的状态空间 ,但仍然保留了足够的时间信息用于分析。同时给出一个实例来说明算法的有效性 ,并与其它方法进行了比较。
实时系统状态空间分析的一种算法
【摘 要】
：
提出了一种生成实时系统可达状态的算法 ,该算法生成一个较小的状态空间 ,但仍然保留了足够的时间信息用于分析。同时给出一个实例来说明算法的有效性 ,并与其它方法进行了比较。
【机 构】
：
西安邮电学院计算机系
【出 处】
：
计算机应用
【发表日期】
：
2000年S1期
【基金项目】
：
自然科学基金!(694730 1 7)
其他文献
提出了一种新的把XML和传统网络管理相结合的方法 ,它可在不改变传统网管协议的基础上 ,采用XER编码传输用ASN .1描述的网管协议报文数据 ,这样报文数据能够通过Web进行传输 ,报文信息内容的提取和共享变得相当容易。
A dCAPS marker developed from a stress associated protein gene TaSAP7-B governing grain size and pla
公司简介：福建星网锐捷通讯股份有限公司成立于1996年，作为国家首批创新型企业，公司秉承“科技创新，融合应用”的经营理念，坚持走自主创新、创自有品牌的发展道路，是国内领先的网络
201O年5月20日是第11个世界计量日，今年世界计量日的主题是“计量·科学发展”。福建省质监局、福建省计量所在福州市万象城广场举办“关注民生，计量惠民”大型现场服务活
质量安全重于泰山,质监工作关系民生改善,关系经济发展。培养和造就一支政治合格、业务过硬、作风优良、纪律严明的质监队伍,树立＂科学、公正、廉洁、高效＂的良好形象,不仅可以
论述了供水管道弹性敷设的基础理论及弹性敷设中相关参数的计算方法。借鉴管道弹性敷设的设计理念,利用钢管的弹性形变特性,计算了管道支架可移位抬高的最大变形量,提出了供
Impact of the red imported fire ant Solenopsis invicta Buren on biodiversity in South China:A review
The red imported fire ant,Solenopsis invicta,is a problematic invasive species in China since at least 2003.Over the past 15 years,a numerous studies were publi