论文部分内容阅读
本文针对一种最新提出的卫星网络管理协议,利用Petri网描述协议的方法,对此网络管理协议过程进行了形式描述,利用Petri网的可达树、不变量对协议的有界性、活性、守恒性、完整性、前进性等性质进行了验证,确定了协议的逻辑正确性,在此基础上,完成了此协议的实现并对其性能进行了测试.
多元化网络管理协议的Petri网验证及其性能测试
【摘 要】
：
本文针对一种最新提出的卫星网络管理协议,利用Petri网描述协议的方法,对此网络管理协议过程进行了形式描述,利用Petri网的可达树、不变量对协议的有界性、活性、守恒性、完
【机 构】
：
东北大学网络与通信中心
【出 处】
：
计算机科学
【发表日期】
：
2004年10期
其他文献
以不同溶剂、不同反应温度、不同氢初压及不同煤种所制取的煤液化产品为主,观察了这些产品经不同温度炭化后中间相球体的产生、长大及结合过程,并探讨了这些中间相球体的产生
大量使用高硫动力煤是造成长沙市大气环境严重污染的主要原因.从技术、经济上论述了为解决长沙市大气污染问题兴建动力配煤场的可行性.
通过介绍鹿洼矿在安全工作中的做法,谈煤矿安全管理创新工作的重要性.
利用某井田的一个采区分层回采时实测的绝对瓦斯涌出量数据和采区内10个钻孔的原始数据,用数值分析方法对已有的瓦斯涌出量、深度、煤层厚度的离散数据分别进行一元线性回归
并行调试对并行程序开发非常重要，然而传统的远程并行调试方式是采用登录(telnet)命令通过命令行的文本界面进行，非常繁杂。本文介绍了为曙光3000系统设计实现的远程并行调试器
贵州煤炭资源丰富,动力煤产量大,而大多数都未经洗选,为了满足用户及环保的要求,针对动力煤选煤厂的特点,提出了可供动力煤选煤厂选择的最佳选煤方法.
近日，沈阳理工大学煤层气工程学院成立。沈阳理工大学校长贾春德说：“高校的专业设置，既要考虑培养国家长远发展所需的科技领军人物，但更多的是培养适合产业、企业发展的紧缺型人
介绍了新汶矿业集团孙村矿利用煤炭地下气化煤气在国产单缸机24 kW、4缸机90 kW、12缸400 kW三种型号发电机上的试验研究及利用情况,经过多次试验及对设备进行改造,目前使用
以焦化污泥作煤场覆盖剂，利用小型风洞实验，考查了不同污泥浓度、喷淋密度在不同风速条件下防止煤堆风损的效果，并确定最佳的喷洒污泥浓度与密度。同时探讨了在不同风速条件下损