切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
多元化网络管理协议的Petri网验证及其性能测试
多元化网络管理协议的Petri网验证及其性能测试
来源 :计算机科学 | 被引量 : 0次 | 上传用户:Jesses41
【摘 要】
:
本文针对一种最新提出的卫星网络管理协议,利用Petri网描述协议的方法,对此网络管理协议过程进行了形式描述,利用Petri网的可达树、不变量对协议的有界性、活性、守恒性、完
【作 者】
:
赵建立
闻英友
赵林亮
王光兴
【机 构】
:
东北大学网络与通信中心
【出 处】
:
计算机科学
【发表日期】
:
2004年10期
【关键词】
:
PETRI网
网络管理协议
验证
形式描述
性能测试
正确性
完整性
卫星网络
可达树
不变量
MNMP
Petri net
Reachability tr
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文针对一种最新提出的卫星网络管理协议,利用Petri网描述协议的方法,对此网络管理协议过程进行了形式描述,利用Petri网的可达树、不变量对协议的有界性、活性、守恒性、完整性、前进性等性质进行了验证,确定了协议的逻辑正确性,在此基础上,完成了此协议的实现并对其性能进行了测试.
其他文献
煤液化产品的中间相微观结构分析
以不同溶剂、不同反应温度、不同氢初压及不同煤种所制取的煤液化产品为主,观察了这些产品经不同温度炭化后中间相球体的产生、长大及结合过程,并探讨了这些中间相球体的产生
期刊
煤液化产品
中间相球体
炭化
coal liquefaction
mesophase globule
carbonization
推广清洁燃料,改善长沙环境—论长沙市发展动力配煤的可行性
大量使用高硫动力煤是造成长沙市大气环境严重污染的主要原因.从技术、经济上论述了为解决长沙市大气污染问题兴建动力配煤场的可行性.
期刊
清洁燃料
动力配煤
可行性
大气污染
atmosphere pollution
steam coal blending
feasibility
谈煤矿安全管理创新——鹿洼矿安全工作的几点做法
通过介绍鹿洼矿在安全工作中的做法,谈煤矿安全管理创新工作的重要性.
期刊
煤矿安全
安全责任
规章制度
创新
安全管理
鹿洼矿
安全工作
safety
responsibility
rules and regulations
i
矿井未开采区瓦斯涌出量的预测
利用某井田的一个采区分层回采时实测的绝对瓦斯涌出量数据和采区内10个钻孔的原始数据,用数值分析方法对已有的瓦斯涌出量、深度、煤层厚度的离散数据分别进行一元线性回归
期刊
数值分析
离散数据
瓦斯涌出量
预测
Number value analysis
dispersed data
gushing out amount of ga
浅谈贵州省动力煤的洗选加工
贵州煤炭资源丰富,动力煤产量大,而大多数都未经洗选,为了满足用户及环保的要求,针对动力煤选煤厂的特点,提出了可供动力煤选煤厂选择的最佳选煤方法.
期刊
贵州
动力煤
洗选
工艺流程
分选
steam coal preparation plant
process
separation
高含氢地下煤气发电技术研究与应用
介绍了新汶矿业集团孙村矿利用煤炭地下气化煤气在国产单缸机24 kW、4缸机90 kW、12缸400 kW三种型号发电机上的试验研究及利用情况,经过多次试验及对设备进行改造,目前使用
期刊
地下煤气发电技术
地下气化
发电机
氢气
可行性
underground coal gasification
power generation by usin
焦化污泥作煤场覆盖剂研究
以焦化污泥作煤场覆盖剂,利用小型风洞实验,考查了不同污泥浓度、喷淋密度在不同风速条件下防止煤堆风损的效果,并确定最佳的喷洒污泥浓度与密度。同时探讨了在不同风速条件下损
期刊
焦化污泥
煤场
覆盖剂
风洞实验
coke wastewater sludge
coal yard
coating
wind tunnel experim
其他学术论文