辽宁石油化工大学学报
遼寧石油化工大學學報
료녕석유화공대학학보
JOURNAL OF LIAONING UNIVERSITY OF PETROLEUM & CHEMICAL TECHNOLOGY
2007年
1期
67-69,72
,共4页
交互控制协议%扩充设计%Petri网%协议验证
交互控製協議%擴充設計%Petri網%協議驗證
교호공제협의%확충설계%Petri망%협의험증
远程控制是远程数字视频监控系统的核心,目前很少使用自定义的协议来实现远程控制功能,已有的交互控制协议功能还存在一些不足,尤其是多用户、多摄像机情况下涉及的用户权限问题没有得到解决.针对此问题对交互控制协议进行扩充设计,包括请求方法和标头的设计,使得交互控制协议功能更加完善.为保障协议设计的完整性,结合协议工作原理,并考虑报文在信道传输中丢失的情况对交互控制协议建立Petri网模型,最后通过可达树对协议进行完整性验证.
遠程控製是遠程數字視頻鑑控繫統的覈心,目前很少使用自定義的協議來實現遠程控製功能,已有的交互控製協議功能還存在一些不足,尤其是多用戶、多攝像機情況下涉及的用戶權限問題沒有得到解決.針對此問題對交互控製協議進行擴充設計,包括請求方法和標頭的設計,使得交互控製協議功能更加完善.為保障協議設計的完整性,結閤協議工作原理,併攷慮報文在信道傳輸中丟失的情況對交互控製協議建立Petri網模型,最後通過可達樹對協議進行完整性驗證.
원정공제시원정수자시빈감공계통적핵심,목전흔소사용자정의적협의래실현원정공제공능,이유적교호공제협의공능환존재일사불족,우기시다용호、다섭상궤정황하섭급적용호권한문제몰유득도해결.침대차문제대교호공제협의진행확충설계,포괄청구방법화표두적설계,사득교호공제협의공능경가완선.위보장협의설계적완정성,결합협의공작원리,병고필보문재신도전수중주실적정황대교호공제협의건립Petri망모형,최후통과가체수대협의진행완정성험증.