转报通信协议的Petri net描述和检验

来源 :成都气象学院学报 | 被引量 : 0次 | 上传用户:jayslacker
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文论述了作者引用和设计的用于微机转报网络的两个通信协议,并用Petri net进行描述和检验。分析结果表明:协议1适用于理想信道环境,协议2有广泛的实用性,在噪声信道环境下也能保持协议的合法性,网络不会出现死锁、死环。
其他文献
最近,日本的电报电话公司开发出一种线内式数据加密装置。这种装置称为Hi—Cipher,用来保护那些机密数据在传输过程中不被截取,防止一些未被批准进入网络的计算机对这些保密
本文讨论了大型桥梁环境影响评价的原则,研究了实例的大气扩散模式和参数的选取,阐明了大型桥梁的环境影响评价,必须同时研究大桥工程对环境的影响和环境对大桥工程的影响两
熵与过程的不可逆性、系统的混乱度、能量的转变含量、状态的稳定性都有一定的联系。本文从克劳修斯熵单词出发,介绍能量品质的含义,讨论能量退化现象,证明能量退化原理,从而
本文使用FORTRAN语言编写了微机绘图源程序。可用于绘制气象中常用的等值线、流场矢量以及波形曲线等。为教学和科研提供了一个方便可行的工具。
TIPS是联合国技术信息试验系统的简称(TECHNICAL INFORMATION PILOT SYSTEM)。它是由联合国科技促进发展基金组织委托联合国开发计划署项目执行部执行的国际合作计划。1987年
1.CK53160十六米数控立式车床研制成功 由武汉重型机床厂研制成功的CK53160十六米数控立式车床,于1989年10月通过专家鉴定。 2.抗病高产棉花新品种“中棉所12”问世 中国农业
据英国《新科学家》报道,英国电信部在奥斯韦斯特里新建的世界电信网络管理中心安装了目前世界最大的室内图像显示系统。但使用情况表明,这套耗资近100万英磅的显示系统效果
本文对花卉塑料大棚夏季降温试验进行了分析,结果表明:采用直接阻挡太阳辐射的降温方法、棚膜外或棚膜内地面喷水的降温方法,其降温效果均好。这为成都地区花卉塑料大棚周年
科学之所以具有创造物质财富的生产力价值,从本体论上看,可以认为它是一种资源,一种由生命物质(人类)和非生命物质(客观世界)相互作用而产生的特殊资源。这种资源的价值主要
本文强调了解决微机与卡片输入机联机通信疑难问题的社会经济效益及迫切性。介绍了分析解决问题的全过程:首先为提高硬件的可靠牲作了改进与优化,进而对驱动软件的结构和功能