【摘 要】
:
网络实时系统对时间和QoS有严格要求,因此对设计、实现和测试的技术和工具都有很高的要求.模糊时间Petri网是将模糊集合理论用于不确定的或主观的时间信息的表示,在每个变迁
【基金项目】
:
中国科学院资助项目,广东省博士启动基金,广东省高校自然科学基金
论文部分内容阅读
网络实时系统对时间和QoS有严格要求,因此对设计、实现和测试的技术和工具都有很高的要求.模糊时间Petri网是将模糊集合理论用于不确定的或主观的时间信息的表示,在每个变迁上添加时间间隔约束对模糊时间Petri网进行扩展得到扩展的模糊时间Petri网,它是一种对网络实时系统进行建模和分析的形式化模型,Petri网数学理论基础能保证并发系统的可靠性和正确性.本文详细地介绍了模糊时间Petri网及可扩展的时间Petri网,可扩展的时间Petri网的网精简方法,使用design/CPN仿真,及使用EFTN对多媒体
其他文献
文中给出了Petri的替换运算定义,它是对分层模拟与逐步求精的Petri网建模思想方法的一个形式化描述.文中还通过Petri网语言讨论了Petri网的替换运算同语言的替换运算之间的关
抓住Agent的性质,利用动态模糊集的思想,构造和设计了感知Agent的基本模型,并给出了相关理论基础.通过本文的研究将为人们设计感知Agent奠定了新的理论模型和方法.
随着网络服务的发展,多媒体数据逐渐成为网络业务流的主要内容.基于多媒体数据的网络业务流对服务质量(QoS)提出了更高的要求.通常对服务质量的要求必然转化为对网络资源的需
制备纳米粒子Al2O3填充改性的聚甲醛(POM)纳米复合材料,在干摩擦和油润滑条件下研究了纳米粒子的加入对POM纳米复合材料摩擦磨损性能的影响.结果表明:尽管POM/Al2O3纳米复合材料
染色问题是约束满足问题的一个经典问题.通过分析染色问题的经典实例,发现染色问题具备复杂网络中常见的"小世界"特性,即染色问题所构成的网络中,任意两个节点之间的平均路径
河北读者丘少锋、杜良川,江苏读者陈立彬、新疆读者呼延根,辽宁读者张更生,四川读者马丽云,广东读者沙强、刘正国等来信询问有关美国石油工业的科研机构情况,从1994年第3期起
本文提出了一种基于禁忌表的定位算法求解TSP问题的快速、高效近似算法.这种算法结合了禁忌搜索算法中禁忌表及大规模构造算法和定位改进算法求解规模较大的TSP问题.计算机实
发现关联规则是数据挖掘的一项重要任务,本文介绍了几种数据挖掘的串行和并行算法.其中IDD算法是一种高效的和易于扩展的发现关联规则的并行算法,然而,当处理器数目增加时,由
供应链(SC)是一个由供应商、制造商、仓库、物流、渠道、零售商和客户所组成的网络,通过原料获取、运输、制造并最终递送到客户的活动组织到一起.软件Agent是可以为我们完成
在因特网中,攻击者能伪造其IP地址.本文提出了一种新的针对洪泛型攻击(flooding attack)的IP回溯技术--PPL.在该方法中,路由器以一定的概率存储转发分组的信息,然后利用这些