论文部分内容阅读
在介绍TCP协议基础上,根据有色Petri网的建模方法和工具CPN Tools,对TCP协议的连接建立模块建立了有色Petri网模型,得到模型的可达树,通过可达树的方法,验证了所建模型的逻辑正确性。
基于有色Petri网的TCP协议建模与分析
【摘 要】
：
在介绍TCP协议基础上,根据有色Petri网的建模方法和工具CPN Tools,对TCP协议的连接建立模块建立了有色Petri网模型,得到模型的可达树,通过可达树的方法,验证了所建模型的逻辑
【出 处】
：
企业导报
【发表日期】
：
2012年08期
其他文献
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
伴有临床症状的难复性寰枢椎脱位（irre-ducible atlantoaxial dislocation,IAAD）的治疗方式是实现延、脊髓的有效减压。但由于其位于颅底附近,位置较深且紧邻延髓等重要结构,特
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
本文运用ABAQUS软件的扩展有限元法(XFEM)对含有单一孔洞的单边切口平板进行裂纹扩展模拟,对比分析了带有不同形状、大小、位置孔洞平板模型的应力云图和作用力-位移曲线。结
本文依据分层媒质中电磁波的传播规律，结合煤与瓦斯突出时的实际情形，建立煤岩破裂时辐射的电磁波传播模型，并推演出煤岩破裂时电偶极子场源电磁波的正向传播规律。并将理论推演
我国建筑行业的传统信息管理中,由于普遍存在着信息整合度和集成度较低、信息共享不足等问题,严重制约了信息的有效利用,信息交流障碍重重,难以整合。随着信息技术的发展,数
随着税务类业务的发展和业务信息化的提升,日常管理业务和任务管理已经越来越复杂。传统的日常管理方式无法应对越来越复杂的日常管理和任务管理需求,不能及时提醒推送各类业