物联网视频感知节点的动态同步建模与仿真
|
摘要
针对物联网视频感知的动态同步问题,本文用π网理论建立了物联网视频感知的抽象模型DSAM,以描述其动态同步问题。首先建立基于π网的物联网视频感知抽象模型DSAM,然后对模型进行了状态演变、模型变迁和动态交互等分析,最后利用模型DSAM对实例进行分析和仿真。通过对模型DSAM的仿真和分析可知,该模型能够正确处理物联网视频感知的动态同步并发性,具有一定的实用价值。
Aiming to solve the dynamic synchronous problems in the video sensing of Internet of Things,the paper establishes a Dynamic Synchronization Abstract Model(DSAM) based on the π-nets theory to describe the dynamic synchronous problems.At first,the DSAM of the video sensing of Internet of Things is established based on π nets.And then this paper analyzes state evolution,model transition and dynamic interaction.At last,The DSAM is used to analyze and simulate examples.Through the analysis and simulation of the DSAM,it is known that the model can be used to correctly deal with the dynamic synchronous concurrency of the video sensing of Internet of Things,and it has certain practical value.
Aiming to solve the dynamic synchronous problems in the video sensing of Internet of Things,the paper establishes a Dynamic Synchronization Abstract Model(DSAM) based on the π-nets theory to describe the dynamic synchronous problems.At first,the DSAM of the video sensing of Internet of Things is established based on π nets.And then this paper analyzes state evolution,model transition and dynamic interaction.At last,The DSAM is used to analyze and simulate examples.Through the analysis and simulation of the DSAM,it is known that the model can be used to correctly deal with the dynamic synchronous concurrency of the video sensing of Internet of Things,and it has certain practical value.
引文
[1]TanKun,ShiYuan-chun,XuGuang-you.Supporting weak synchronization over world wide Web[J].Journal of Software,2000,11(7):863-866.
[2]单志广,杨扬,王任,等.扩展的时间流Petri网物联网视频感知模型[J].计算机研究与发展,2000,37(2):223-273.
[3] Han Yingjie,Sun Yong-qiang,Wu Zhe-hui.Fine-grained distributed multimedia synchronization model-Enhanced Fuzzy-timingPetrinet[J].JournalofShanghaiJiaotong University,2001,E-6(1):62-66.
[4] Prabhakaram B,Raghavan S V.Synchronization models for multimedia presentation with user participation[P].Multimedia Systems,l994,2(2):53-62.
[5]曹木亮.基于π-演算的Petri网和密码协议的形式化分析[D].上海:上海交通大学,2007:20-75.
[6]刘晓霞,李芳.物联网智能感知节点π网低功耗软硬件划分建模[J].工矿自动化,2018,44(9):59-66.
[7] Bruscato L T,Freitas E P,Heimfarth T.Self-Correcting Time SynchronizationSupportforWirelessSensorNetworks Targeting Applications on Internet of Things[J]. IFAC-Papers OnLine,2016,49(30):355-360.
[8] Kim K S,Lee S,Lim E G.Energy-Efficient Time Synchronization Based on Asynchronous Source Clock Frequency Recovery and Reverse Two-Way Message Exchanges in Wireless Sensor Networks[J].IEEE Transactions on Communications,2017,65(1):347-359.
[9] Stankovi?M.S.,Stankovi?S.S.,Johansson K H.Distributed time synchronization for networks with random delays and measurement noise[J]. Automatica,2018,93:126-137.
[10]陈珍萍,黄友锐,唐超礼,等.物联网感知层低能耗时间同步方法研究[J].电子学报,2016,44(1):193-199.
[2]单志广,杨扬,王任,等.扩展的时间流Petri网物联网视频感知模型[J].计算机研究与发展,2000,37(2):223-273.
[3] Han Yingjie,Sun Yong-qiang,Wu Zhe-hui.Fine-grained distributed multimedia synchronization model-Enhanced Fuzzy-timingPetrinet[J].JournalofShanghaiJiaotong University,2001,E-6(1):62-66.
[4] Prabhakaram B,Raghavan S V.Synchronization models for multimedia presentation with user participation[P].Multimedia Systems,l994,2(2):53-62.
[5]曹木亮.基于π-演算的Petri网和密码协议的形式化分析[D].上海:上海交通大学,2007:20-75.
[6]刘晓霞,李芳.物联网智能感知节点π网低功耗软硬件划分建模[J].工矿自动化,2018,44(9):59-66.
[7] Bruscato L T,Freitas E P,Heimfarth T.Self-Correcting Time SynchronizationSupportforWirelessSensorNetworks Targeting Applications on Internet of Things[J]. IFAC-Papers OnLine,2016,49(30):355-360.
[8] Kim K S,Lee S,Lim E G.Energy-Efficient Time Synchronization Based on Asynchronous Source Clock Frequency Recovery and Reverse Two-Way Message Exchanges in Wireless Sensor Networks[J].IEEE Transactions on Communications,2017,65(1):347-359.
[9] Stankovi?M.S.,Stankovi?S.S.,Johansson K H.Distributed time synchronization for networks with random delays and measurement noise[J]. Automatica,2018,93:126-137.
[10]陈珍萍,黄友锐,唐超礼,等.物联网感知层低能耗时间同步方法研究[J].电子学报,2016,44(1):193-199.