劉曉霞 李芳

摘? 要：針對物聯(lián)網(wǎng)視頻感知的動態(tài)同步問題，本文用π網(wǎng)理論建立了物聯(lián)網(wǎng)視頻感知的抽象模型DSAM，以描述其動態(tài)同步問題。首先建立基于π網(wǎng)的物聯(lián)網(wǎng)視頻感知抽象模型DSAM，然后對模型進行了狀態(tài)演變、模型變遷和動態(tài)交互等分析，最后利用模型DSAM對實例進行分析和仿真。通過對模型DSAM的仿真和分析可知，該模型能夠正確處理物聯(lián)網(wǎng)視頻感知的動態(tài)同步并發(fā)性，具有一定的實用價值。

關(guān)鍵詞：π網(wǎng);視頻感知;物聯(lián)網(wǎng);同步模型;動態(tài)演化

中圖分類號：TP393? ? ?文獻標(biāo)識碼：A

Dynamic Synchronous Modeling and Simulation of Video

Sensing of Internet of Things

LIU Xiaoxia1，LI Fang2

（1.Department of Information Engineering，Sichuan Water Conservancy Vocational College，Chongzhou 611231，China;

2.College of Computer Science，Chongqing University，Chongqing 400044，China）

Abstract：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.

Keywords：π-nets;video sensing;Internet of Things;synchronization model;dynamic evolution.

1? ?引言（Introduction）

隨著信息與通信技術(shù)的發(fā)展，物聯(lián)網(wǎng)技術(shù)不斷在現(xiàn)代城市中得以應(yīng)用。物聯(lián)網(wǎng)視頻感知系統(tǒng)是一個綜合系統(tǒng)，具有其自身的特點，如連續(xù)交互性、服務(wù)機制與質(zhì)量和多種媒體信息的實時性、同步性等，其中物聯(lián)網(wǎng)視頻感知信息的實時性和同步性是其關(guān)鍵性問題。

而物聯(lián)網(wǎng)視頻感知各種信息的同步問題，主要是各種信息間的同步模型和同步機制的問題，前者主要描述各種信息間的時態(tài)關(guān)系，后者主要描述信息間時態(tài)關(guān)系的保證方法。就目前國內(nèi)外學(xué)者的研究而言，各種信息間的同步模型主要有時間軸同步模型、分層層次同步模型和共同時間參考點同步模型。在同步模型中，使用Petri網(wǎng)進行表述的、已提出的具有代表性的模型主要有OCPN、XOCPN[1]、TSPN[2]、FTPN[3]和DTPN[4]。

物聯(lián)網(wǎng)視頻感知系統(tǒng)要求各種信息間動態(tài)同步特性，而動態(tài)同步特性表現(xiàn)為可接受的扭曲時間、用戶操作時間的動態(tài)性和延遲敏感性三個方面。而基于Petri網(wǎng)的模型未完善系統(tǒng)的動態(tài)同步問題。因此，本文應(yīng)用π網(wǎng)理論，提出一種物聯(lián)網(wǎng)視頻感知動態(tài)同步抽象模型DSAM，以解決系統(tǒng)的動態(tài)同步問題。

2? ?模型建立（Model establishment）

2.1? ?π網(wǎng)

1962年，德國的Carl Adam Petri博士在其博士論文中提出Petri網(wǎng)，其目的是研究信息系統(tǒng)及其相互關(guān)系的一種數(shù)學(xué)模型。Petri網(wǎng)現(xiàn)已成為具有嚴(yán)密數(shù)學(xué)基礎(chǔ)的一種數(shù)學(xué)和圖形工具，可用于對具有異步、分布和并發(fā)特征的系統(tǒng)。20世紀(jì)90年代，由Robin Milner等人提出了一種新的并發(fā)理論—π演算（π-calculus），用于研究計算機并行理論領(lǐng)域的并發(fā)計算模型，描述系統(tǒng)的動態(tài)特性。

文獻[5]提出了將Petri網(wǎng)與π演算結(jié)合的π網(wǎng)，并給出了π網(wǎng)的定義、規(guī)則和形式化描述語言等，本文利用π網(wǎng)來研究物聯(lián)網(wǎng)視頻感知動態(tài)同步問題，以保證物聯(lián)網(wǎng)視頻感知系統(tǒng)的正常交互，并充分發(fā)揮和利用Petri網(wǎng)和π演算的互補性，而且也是現(xiàn)代形式化研究方法的發(fā)展趨勢。

2.2? ?模型建立

物聯(lián)網(wǎng)視頻感知系統(tǒng)是一個典型的并發(fā)型動態(tài)系統(tǒng)。利用π網(wǎng)，建立了一種物聯(lián)網(wǎng)視頻感知動態(tài)同步抽象模型DSAM（Dynamic Synchronization Abstract Model）來描述其動態(tài)同步特性。

定義1 定義DSAM為一個π網(wǎng)，即，其中，表示一個基本的令牌Petri網(wǎng)系統(tǒng)，為物聯(lián)網(wǎng)視頻感知的庫所集;X={X1，X2，X3，…}表示交互按鈕的集合，是物聯(lián)網(wǎng)視頻感知信息的變遷集合，不同的按鈕代表不同的變遷;且;Tt表示物聯(lián)網(wǎng)視頻感知同步變遷的時間關(guān)系集合，是網(wǎng)DSAM的弧集，且;是定義在上的一個屬性函數(shù)，表示位置集合的映射關(guān)系集合。

CP為一個六元組，即CP=（P，T，B，F(xiàn)，ID，M：M0）為一個基本Petri網(wǎng)，網(wǎng)中僅有“Normal”和“Master”兩種類型的位置。其中：P是一個位置集合;T為變遷集合;B：P×T→I，I={1，2，3，…}，表示從位置到變遷的有向弧集;F：T×P→I，I={1，2，3，…}，表示從變遷到位置的有向弧集;M：P→I是網(wǎng)系統(tǒng)的標(biāo)識，I={0，1，2，…}，M0是初始標(biāo)識;為OPN（Object-oriented Petri Nets，OPN）元，即，其中為基本Petri網(wǎng)定義的元，為的托肯;為演算描述的DSAM模型的演化因子。

X={X1，X2，X3，…}為交互按鈕集，共有六種按鈕：“Skip”“Pause”“Back”“Replay”“Restart”和“Modify Speed”。

Tt主要描述物聯(lián)網(wǎng)視頻感知系統(tǒng)的同步時間變遷的時間關(guān)系的集合，可利用TPN（Time Petri Net）可形式化定義Tt。

依據(jù)文獻[6]，DSAM符合π網(wǎng)的定義，是一個π網(wǎng)。在此還需對進行定義，以更加完善的描述DSAM模型。

定義2 為時間關(guān)系集合，是一個TPN網(wǎng)的擴展，即：

其中，為物聯(lián)網(wǎng)視頻感知系統(tǒng)的有限庫所的集合。

為物聯(lián)網(wǎng)視頻感知系統(tǒng)的時間動態(tài)變遷的有限集合，且滿足條件。

表示物聯(lián)網(wǎng)視頻感知系統(tǒng)中各種信息數(shù)據(jù)的有限變遷集合，且滿足。

是控制流的弧的集合，F(xiàn)df是數(shù)據(jù)流的弧的集合，表示系統(tǒng)的動態(tài)關(guān)系。

為到同步變遷規(guī)則的映射。

，即動態(tài)時間變遷集合到有限庫所的映射關(guān)系，且滿足。

，為時間映射函數(shù)，R+是正實數(shù)集。

為變遷與其相關(guān)聯(lián)的交互按鈕集合X的映射函數(shù)關(guān)系，即，可定義為。

依據(jù)前面建立的模型，利用圖形化描述方法，可得到模型DSAM的圖形化描述圖。在的同步時間約束下，使得令牌發(fā)生變遷，在物聯(lián)網(wǎng)視頻數(shù)據(jù)幀的交互操作下，使得變遷進一步發(fā)生轉(zhuǎn)移，得到如圖1所示的模型DSAM的圖形描述。

3? ?模型分析（Model analysis）

利用π網(wǎng)理論，分析DSAM模型的狀態(tài)演變、變遷和動態(tài)交互。

3.1? ?狀態(tài)演變

在研究DSAM模型時，首先要分析模型的狀態(tài)，給出該模型的狀態(tài)集合，然后在狀態(tài)基礎(chǔ)上對模型進行狀態(tài)演變研究，給出狀態(tài)演變規(guī)則。

定義3 模型狀態(tài)集定義：DSAM的狀態(tài)集用Ss表示，則Ss為一個三元組，即，其中：為模型中含有token的位置集合;為模型中各種信息的動態(tài)有效時間段表，表中數(shù)量與標(biāo)記的位置數(shù)一致，若某時刻用戶進行了暫停操作，則中的數(shù)值為該位置剩余的時間值;用戶將要操作的按鈕表，即記錄用戶從現(xiàn)在時刻到結(jié)束可選的操作。

規(guī)則1 狀態(tài)演變規(guī)則：假設(shè)是狀態(tài)Ss在相對時間使能的變遷，則模型可在動態(tài)有效時間發(fā)生變遷，并演變?yōu)樾碌臓顟B(tài)，即，其中：

①。

②是標(biāo)記的位置所具有的動態(tài)相對有效時間段表，設(shè)為庫所在狀態(tài)Ss呈現(xiàn)的時間間隔，則滿足：

（i）;

（ii）

③

其中，為變遷的輸入位置。

3.2? ?模型變遷

模型DSAM的變遷主要有“Key”型變遷和非“Key”型變遷[7]。

定義4 變遷發(fā)生條件：設(shè)在時間內(nèi)，變遷在內(nèi)的時間點的觸發(fā)由狀態(tài)決定，則必須滿足：

①在時間點被使能：;

②滿足：。

當(dāng)滿足定義4給出的變遷條件時，變遷并不能發(fā)生，因為還需要時間因子。定義2可知，若時間Tt符合并滿足TPN網(wǎng)要求，則變遷就能夠發(fā)生[8]。

規(guī)則2 模型通信變遷規(guī)則：假設(shè)為模型DSAM的一對共軛變遷，若存在互補交互的網(wǎng)DSAM的兩個子網(wǎng)，且標(biāo)識網(wǎng)DSAM的所有庫所狀態(tài)項的函數(shù)對任意兩個屬于Ss的狀態(tài)，均有：，

則t1和t2可在網(wǎng)DSAM中產(chǎn)生通信變遷，即，（表示庫所的輸入變遷、自由輸出變遷、受限輸出變遷、通信變遷和匹配變遷等各種信息間的變遷類型），使得，，，，且具有的規(guī)則為：

設(shè)，其中為物聯(lián)網(wǎng)視頻感知各種信息的編號，x為輸出庫所標(biāo)號;y為輸出上的自由通道名;a為通道名的替換;則有：

①當(dāng)時，則，且，。

②當(dāng)，則，且，。

3.3? ?模型動態(tài)交互

對物聯(lián)網(wǎng)視頻感知系統(tǒng)而言，與用戶的動態(tài)交互，以實現(xiàn)物聯(lián)網(wǎng)視頻感知同步問題[9]。若變遷在接受用戶輸入按鈕時具有如圖2所示的交互操作實現(xiàn)示意圖（其中{X1，X2，X3，…}為交互按鈕集X）。

①“Skip”：若用戶輸入按鈕為“Skip”，則模型DSAM變遷即刻激活，且不正在執(zhí)行的庫所是否完成語義。

②“Pause”和“Restart”：若用戶提交一個“Pause”，庫所接受一個令牌，同時進行Nop操作，直到下一個輸入交互為“Restart”。

③“Modify Speed”：若用戶在時刻輸入庫所的“Modify Speed”操作，則其結(jié)果為改變物聯(lián)網(wǎng)視頻感知各種信息的執(zhí)行速度。

④“Back”：即用戶輸入了后退操作，其結(jié)果是直接退到上一個時刻或時間段的物聯(lián)網(wǎng)視頻感知信息。

⑤“Replay”：若用戶輸入為“Replay”按鈕，則模型DSAM表現(xiàn)為重新執(zhí)行所操作的物聯(lián)網(wǎng)視頻感知的各種信息。

由以上分析可知，DSAM模型能夠很好地實現(xiàn)和完成媒體與用戶的動態(tài)交互。

4? 模型仿真與性能分析（Model simulation and

performance analysis）

4.1? ?實例仿真

為使用DSAM模型描述物聯(lián)網(wǎng)視頻感知動態(tài)同步問題，在此假設(shè)物聯(lián)網(wǎng)視頻感知系統(tǒng)為視頻、聲音、文本和動畫的復(fù)合數(shù)據(jù)流，媒體對象和子對象之間的時序關(guān)系如圖3所示。用戶通過交互按鈕集X完成與物聯(lián)網(wǎng)視頻感知各種信息進行交互。開始運行時可直接跳到進行表現(xiàn)，可“Pause”和“Restart”Vdo1的表現(xiàn)，可從Vdo3回到Vdo2進行表現(xiàn)，也可使am1重新表現(xiàn)[10]。

聲音、視頻的同步如圖4所示。聲音、視頻數(shù)據(jù)流速度為10幀/秒。QoS中最大扭曲為80ms，最大抖動為10ms。

4.2? ?異常處理

由實例仿真可知，QoS中的最大扭曲和最大抖動是使物聯(lián)網(wǎng)視頻感知各種信息難以完全同步所致，故需要對媒體數(shù)據(jù)流采用一定的方法進行處理。處理后的聲音、視頻如圖5所示。

在物聯(lián)網(wǎng)視頻感知同步通信中，由于信號衰減、干擾和延遲等造成數(shù)據(jù)丟失是不可避免的。仿真實例中，對聲音數(shù)據(jù)不能隨意丟棄音頻流的LDU，而引入抑止弧來進行異常處理;對視頻媒體流，丟失少量的數(shù)據(jù)對視頻QoS影響不大。因此，該模型能夠?qū)崿F(xiàn)異常處理，對于一定程度的對象丟包具有魯棒性。

4.3? ?模型性能分析

對模型進行性能分析，先從媒體內(nèi)部同步量化進行分析，然后從視頻信息間的同步量化進行分析。

對視頻內(nèi)部同步量化進行分析，其指標(biāo)主要是緩沖區(qū)下溢次數(shù)和數(shù)據(jù)信息丟包率，經(jīng)過實驗得到表1所示數(shù)據(jù)。從表1數(shù)據(jù)可知，模型DSAM在測試驗證時，得到的數(shù)據(jù)緩沖區(qū)下溢次數(shù)較其他兩種模型要少;視頻信息數(shù)據(jù)丟包率也較其他兩種模型的丟包率要低。因此，模型DSAM在視頻內(nèi)同步控制方面具有一定的優(yōu)越性。

對視頻幀間同步進行量化測試，測試環(huán)境選用視頻圖像、語音、文本等，并在實驗條件下，對物聯(lián)網(wǎng)視頻感知教室的老師講課進行測試，以驗證視頻幀間同步。經(jīng)過實驗，得到表2所示數(shù)據(jù)。從表2數(shù)據(jù)可知，無同步控制時，視頻幀間同步率較有同步控制時要低。

綜上分析可知，模型DSAM在視頻內(nèi)同步控制和視頻幀間同步控制都具有優(yōu)異的性能。

5? ?結(jié)論（Conclusion）

針對物聯(lián)網(wǎng)視頻感知動態(tài)同步問題，利用Petri網(wǎng)與π演算結(jié)合的π網(wǎng)，建立物聯(lián)網(wǎng)視頻感知系統(tǒng)抽象模型DSAM，實現(xiàn)對物聯(lián)網(wǎng)視頻感知系統(tǒng)的動態(tài)同步進行建模。通過對模型DSAM的仿真和分析可知，本文所提出和建立的模型，能夠正確處理物聯(lián)網(wǎng)視頻感知的動態(tài)同步，具有一定的實用價值。

參考文獻（References）

[1] Tan Kun，Shi Yuan-chun，Xu Guang-you.Supporting weak synchronization over world wide Web[J].Journal of Software，2000，11（7）：863-866.

[2] 單志廣，楊揚，王任，等.擴展的時間流Petri網(wǎng)物聯(lián)網(wǎng)視頻感知模型[J].計算機研究與發(fā)展，2000，37（2）：223-273.

[3] Han Yingjie，Sun Yong-qiang，Wu Zhe-hui.Fine-grained distributed multimedia synchronization model-Enhanced? Fuzzy-timing Petri net[J].Journal of Shanghai Jiaotong 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網(wǎng)和密碼協(xié)議的形式化分析[D].上海：上海交通大學(xué)，2007：20-75.

[6] 劉曉霞，李芳.物聯(lián)網(wǎng)智能感知節(jié)點π網(wǎng)低功耗軟硬件劃分建模[J].工礦自動化，2018，44（9）：59-66.

[7] Bruscato L T，F(xiàn)reitas E P，Heimfarth T.Self-Correcting Time Synchronization Support for Wireless Sensor Networks Targeting Applications on Internet of Things[J]. IFAC-PapersOnLine，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] 陳珍萍，黃友銳，唐超禮，等.物聯(lián)網(wǎng)感知層低能耗時間同步方法研究[J].電子學(xué)報，2016，44（1）：193-199.