论文部分内容阅读
网络实时系统对时间和QoS有严格要求.扩展的模糊时间Petri网是一种对网络实时系统进行建模和分析的形式化模型,Petri网数学理论基础能保证并发系统的可靠性和正确性.本文介绍了扩展的模糊时间Petri网的定义,模型检验方法,仿真工具,网精简技术和应用领域,并探讨了进一步研究的方向.
扩展的模糊时间Petri网
【摘 要】
：
网络实时系统对时间和QoS有严格要求.扩展的模糊时间Petri网是一种对网络实时系统进行建模和分析的形式化模型,Petri网数学理论基础能保证并发系统的可靠性和正确性.本文介绍
【机 构】
：
广东工业大学计算机学院
【出 处】
：
微电子学与计算机
【发表日期】
：
2005年6期
其他文献
文章从原理上分析了制约无线光通信系统的几个主要因素：大气影响、天气的影响和传输信道衰减．并提出了相应的解决办法。在分析上述因素影响的基础上给出了FSOC（Free Space Optic
近年来,随着微生态学和现代分子生物检测技术的发展,肠道菌群逐渐成为国内外各学科研究者们眼中探索研究的"香饽饽",同时益生菌、肠道微生态、微生态制剂及肠道健康等也都成
文章在详细介绍和深入分析DOS系统及Windows乐统的磁盘文件结构的基础上．全面介绍了基于DOS内核被删文件的恢复技术。
网络管理是控制一个复杂的计算机网络,使得它能安全、高效地完成所承担的工作任务.文中在介绍网络管理系统的体系结构的基础上,论述了网络管理中极为重要的网络性能趋势分析
动Ad hoc网络的独特网络特性导致其安全性特别脆弱，所以为其提供高安全的入侵检测系统势在必行。通过考虑在移动Ad hoc网络中入侵检测系统的分布式和协同工作的需要，提出了一种
通过对AODV路由协议进行改进，提出了基于AODV的能量有效的路由协议（EE—AODV）。新协议考虑了节点的剩余能量，根据节点的剩余能量调节RREQ延迟来平衡节点的能量消耗，利用节点最近一
在模糊神经网络结构的设计中,对模糊规则数目的获取,传统方法是凭经验来确定,这种方法复杂且难度大.本文提出通过模糊数据曲线来确定模糊规则,这样网络结构的建立只需要根据