交互控制协议的扩充设计及Petri 网验证

辽宁石油化工大学学报 ›› 2007, Vol. 27 ›› Issue (1): 67-69.

交互控制协议的扩充设计及Petri 网验证

韩冬艳, 侯彤璞^*

辽宁石油化工大学计算机与通信工程学院, 辽宁抚顺113001

收稿日期:2006-09-20 出版日期:2007-03-20 发布日期:2017-07-05
作者简介:韩冬艳(1981 - ), 女, 辽宁凌源市, 在读硕士。

Expansion Design and Petri Net Validation of Interactive Control Protocol

School of Computer and Communication Engineering , Liaoning University of Petroleum &Chemical Technology ,Fushun Liaoning 113001, P. R. China

Received:2006-09-20 Published:2007-03-20 Online:2017-07-05

摘要/Abstract

摘要： 　远程控制是远程数字视频监控系统的核心, 目前很少使用自定义的协议来实现远程控制功能, 已有的交互控制协议功能还存在一些不足, 尤其是多用户、多摄像机情况下涉及的用户权限问题没有得到解决。针对此问题对交互控制协议进行扩充设计, 包括请求方法和标头的设计, 使得交互控制协议功能更加完善。为保障协议设计的完整性, 结合协议工作原理, 并考虑报文在信道传输中丢失的情况对交互控制协议建立Pe tri 网模型, 最后通过可达树对协议进行完整性验证。

关键词: 交互控制协议, , 扩充设计, , Petri 网, , 协议验证

Abstract:

Remote control is a core function of the remote digital video monitoring system. At present , remote control is seldom implemented by self - defined protocol. The function of existing interactive control protocol has some deficiencies. In particular , the problem of user limits of authority involved in the situation of multi - user and multi - camera is not solved. Aiming at the problem , inter active control protocol was extended, including the design of request methods and message headers , making the function of interactive control protocol more perfect. In order to ensure the integrality of the protocol,based on the protocol principle of operation and considering the situation of data gram loss in channel transmission , a Petri net model for inter active control protocol was established. Finally , the integrality validation of the protocol was implemented through a reachable tree.

Key words: 　Inte ractive control protocol, , Expansion design, , Petri net , , Protocol validation

韩冬艳, 侯彤璞. 交互控制协议的扩充设计及Petri 网验证[J]. 辽宁石油化工大学学报, 2007, 27(1): 67-69.

HAN Do ng - yan,HO U Tong - pu . Expansion Design and Petri Net Validation of Interactive Control Protocol[J]. Journal of Liaoning Petrochemical University, 2007, 27(1): 67-69.

[1]	毛春峰,赵荣祥,李秀萍. CH₃CONH₂/ZnCl₂低共熔溶剂脱除模拟油中的硫化物[J]. 辽宁石油化工大学学报, 2017, 37(5): 1-7.
[2]	刘玉娟,许骥,佟宇飞. 氧化铈纳米材料合成方法的研究进展[J]. 辽宁石油化工大学学报, 2017, 37(5): 8-12.
[3]	刘金东,贺新,辛丁业. 四组分在渣油加氢体系前后的转变规律[J]. 辽宁石油化工大学学报, 2017, 37(5): 13-16.
[4]	富玉,李晓鸥,李鹤鸣,等. 超声沉降法强化脱除印尼油砂油中机械杂质[J]. 辽宁石油化工大学学报, 2017, 37(5): 17-21.
[5]	吴昊,马贵阳,项楠. 土体沉降对管道跨越结构水平管段应力场的影响分析[J]. 辽宁石油化工大学学报, 2017, 37(5): 22-25.
[6]	闫容菊,王卫强,李梓萌. 海洋立管系统严重段塞流研究进展[J]. 辽宁石油化工大学学报, 2017, 37(5): 26-30.
[7]	王龙. 地震重构反演在大庆长垣油田X开发区过渡带河道预测的应用[J]. 辽宁石油化工大学学报, 2017, 37(5): 31-37.
[8]	朱博敏. 萨中开发区高台子油层井网井距优化[J]. 辽宁石油化工大学学报, 2017, 37(5): 38-43.
[9]	马晶,金科君,梁羽丰. 海上油气田工程模式综合评价研究 [J]. 辽宁石油化工大学学报, 2017, 37(5): 44-48.
[10]	范登帅,高鹏,刘智慧. 螺栓法兰系统连接可靠性分析方法[J]. 辽宁石油化工大学学报, 2017, 37(5): 49-52.
[11]	吴志勇,刘洋,高阳. 绕管式换热器壳侧沸腾模拟时的时间松弛参数研究[J]. 辽宁石油化工大学学报, 2017, 37(5): 53-60.
[12]	高扬,韩云萍,潘振. 输气管网的静态仿真研究与系统设计[J]. 辽宁石油化工大学学报, 2017, 37(5): 61-66.
[13]	付春,孙祥磊,王昆,等. 基于FastICA改进EMD的算法研究[J]. 辽宁石油化工大学学报, 2017, 37(5): 67-70.
[14]	栾秀云,凌小青,于丹. 变革型领导对员工创新行为影响的实证研究--------以心理授权为中介变量[J]. 辽宁石油化工大学学报, 2017, 37(5): 71-75.
[15]	李琦,金慧,张春姝,王亚军. 基于因子分析法的城市房地产市场综合评价[J]. 辽宁石油化工大学学报, 2017, 37(5): 76-80.