【摘 要】
：
网络实时系统对时间和QoS有严格要求,因此对设计、实现和测试的技术和工具都有很高的要求.模糊时间Petri网是将模糊集合理论用于不确定的或主观的时间信息的表示,在每个变迁
【基金项目】
：
中国科学院资助项目，广东省博士启动基金，广东省高校自然科学基金
论文部分内容阅读
网络实时系统对时间和QoS有严格要求,因此对设计、实现和测试的技术和工具都有很高的要求.模糊时间Petri网是将模糊集合理论用于不确定的或主观的时间信息的表示,在每个变迁上添加时间间隔约束对模糊时间Petri网进行扩展得到扩展的模糊时间Petri网,它是一种对网络实时系统进行建模和分析的形式化模型,Petri网数学理论基础能保证并发系统的可靠性和正确性.本文详细地介绍了模糊时间Petri网及可扩展的时间Petri网,可扩展的时间Petri网的网精简方法,使用design/CPN仿真,及使用EFTN对多媒体
其他文献
文中给出了Petri的替换运算定义,它是对分层模拟与逐步求精的Petri网建模思想方法的一个形式化描述.文中还通过Petri网语言讨论了Petri网的替换运算同语言的替换运算之间的关
随着网络服务的发展,多媒体数据逐渐成为网络业务流的主要内容.基于多媒体数据的网络业务流对服务质量(QoS)提出了更高的要求.通常对服务质量的要求必然转化为对网络资源的需
制备纳米粒子Al2O3填充改性的聚甲醛（POM）纳米复合材料,在干摩擦和油润滑条件下研究了纳米粒子的加入对POM纳米复合材料摩擦磨损性能的影响.结果表明：尽管POM/Al2O3纳米复合材料
本文提出了一种基于禁忌表的定位算法求解TSP问题的快速、高效近似算法.这种算法结合了禁忌搜索算法中禁忌表及大规模构造算法和定位改进算法求解规模较大的TSP问题.计算机实
供应链(SC)是一个由供应商、制造商、仓库、物流、渠道、零售商和客户所组成的网络,通过原料获取、运输、制造并最终递送到客户的活动组织到一起.软件Agent是可以为我们完成
在因特网中,攻击者能伪造其IP地址.本文提出了一种新的针对洪泛型攻击(flooding attack)的IP回溯技术--PPL.在该方法中,路由器以一定的概率存储转发分组的信息,然后利用这些