首页> 中文学位 >基于Petri网的多处理机通信协议的性能分析及评估
【6h】

基于Petri网的多处理机通信协议的性能分析及评估

代理获取

目录

文摘

英文文摘

第一章绪论

第一节机群及其通信

第二节Petri网概况

第三节目前国内的研究状况

第四节本文工作

第二章Petri网及其应用

第一节Petri网及其解析方法

第二节基于Petri网的形式技术

第三节Petri网在网络中的应用

结语

第三章传输协议

第一节停-等协议

第二节Petri网在传输协议中的应用

结语

第四章虚拟接口体系结构

第一节虚拟接口

第二节Myrinet

第三节Berkeley模型

结语

第五章Petri网模型及性能分析

第一节可达标识图

第二节随机Petri网(SPN)模型的性能分析

结语

结束语

致谢

参考文献

展开▼

摘要

该文首先介绍了Petri网的研究概况,指出利用Petri网进行通信协议的描述和验证的优越性.随后,在Petri网基本概念和相关性质的基础上,对停-等协议建立了Petri网模型,得到相关结论.在引入虚拟接口体系结构的基础上,为Berkeley模型建立了Petri网模型,通过模型对其工作模式进行详细描述,并对其中存在的活锁问题给出了具有实际意义的解决方法.最后,借助模型的可达图得到马尔可夫链,由马尔可夫过程建立方程组得到相关的性能参数指标,为今后的研究创造了理论条件.

著录项

相似文献

  • 中文文献
  • 外文文献
  • 专利
代理获取

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号