【摘 要】
：
介绍了一种新型的卫星网网络管理协议,并阐述了此协议服务联系和服务原语的设计,利用Petri网描述协议的方法,对此网络管理协议模型进行了形式化描述,并利用Petri网的可达性分
【机 构】
：
东北大学网络与通信实验室,东北大学网络与通信实验室,东北大学网络与通信实验室,东北大学网络与通信实验室 沈阳110004,沈阳110004,沈阳110004,沈阳110004
论文部分内容阅读
介绍了一种新型的卫星网网络管理协议,并阐述了此协议服务联系和服务原语的设计,利用Petri网描述协议的方法,对此网络管理协议模型进行了形式化描述,并利用Petri网的可达性分析、S_不变量分析和T_不变量分析对此协议进行了逻辑正确性验证,确保了此协议具有有界性、活性、守恒性、完整性、前进性等性质,从而减少了协议设计中潜在的错误,为此协议的实现打下了良好的基础。
A new type of satellite network management protocol is introduced. The design of service agreement and service primitives of this protocol is described. The method of using Petri nets to describe the protocol is described. The model of network management protocol is formally described and the Petri net The reachability analysis, S_ invariant analysis and T_ invariant analysis verify the validity of this protocol and ensure that this protocol has such properties as boundedness, activity, conservation, completeness and advancement. It reduces the potential errors in protocol design and lays a good foundation for the realization of this protocol.
其他文献
面肌痉挛(hemifacial spasm,HFS)为阵发性半侧面部肌肉不自主抽搐。国内发病率为11/100万。对于非手术治疗效果差者,手术治疗成为其当然的选择。文献上可查到的手术方法主要
目的观察采用立体定向技术注射甘油治疗三叉神经痛的临床疗效。方法运用立体定向导航法,穿刺至卵圆孔中心点,注射甘油0．5 ml,必要时重复注射,共治疗原发性三叉神经痛患者300例
1 病例报告女 ,2 2岁。主诉 :反复腹痛、腹胀、乏力、间歇性腹泻 2个月余。 2个月前曾在当地某医院就诊 ,经常规检查未发现任何异常 ,临床诊断为功能性消化不良 ,一般治疗未
患者男性 ,49岁 ,某矿产公司经理。以“畏冷、寒战、发热、充血性皮疹 5ｄ”为主诉 ,于 2 0 0 1-12 -0 4入院。患者无明显诱因出现畏冷、寒战 ,继而发热 ,体温最高达3 9 6℃ ,
重型病毒性肝炎是病毒性肝炎的一种严重临床类型,常伴全身微循环障碍,血液生化及代谢紊乱,可出现多器官功能衰竭,预后严重,病死率高,是目前丞待解决的一个重要课题。近年来,
当前,我国已进入加快转变经济发展方式的攻坚期、全面建设小康社会的关键期。加强和改进思想政治工作要坚持社会主义先进文化前进方向,以科学发展为主题,以建设社会主义核心
1998～2002年,我院应用乙肝免疫球蛋白(HBIG)、单磷酸阿糖腺(Ara-AMP)、胸腺肽及乙肝疫苗治疗慢性乙肝,取得较好疗效。现报告如下。 临床资料:本文304例慢乙肝患者,均符合1995
比较临床上肾综合征出血热抗病毒治疗效果。方法 :按入院顺序随机将肾综合征出血热发热期病人分为A ,B ,C和D四个治疗组 ,分别给予病毒唑 ,α - 1b干扰素 ,α - 2a干扰素 ,病
患者，女，５０岁。因受凉后右肩部疼痛２日，并逐渐加剧入院。２日前因受凉后出现右肩部疼痛，开始为隐痛，后逐渐加重，呈灼烧样痛，难以忍受并向两肋部放射，无发热、黄疸，在当地卫生所按“肩周炎”
Objective: To investigate the apoptosis of dopaminergic neurons and the protective effect of nicotine in 1-methyl-4-phenyl-1, 2, 3, 6-tetrahydropyridine ( MPTP)