黃麗芬

(廣東行政職業(yè)學(xué)院 實(shí)訓(xùn)中心, 廣東 廣州 510800)

物聯(lián)網(wǎng)系統(tǒng)很好地融合了物理世界和信息世界,但物理世界的連續(xù)變化和不確定性對(duì)物聯(lián)網(wǎng)服務(wù)和通信有較高的實(shí)時(shí)性、動(dòng)態(tài)性、可靠性和安全性要求[1-3]。為滿足物聯(lián)網(wǎng)通信和服務(wù)的穩(wěn)定性、正確性需求,通信的時(shí)間屬性異常重要。目前已有許多學(xué)者在進(jìn)行相關(guān)研究,嘗試將時(shí)間屬性的約束引入物聯(lián)網(wǎng)系統(tǒng)感知和服務(wù)過程中[4-7],在系統(tǒng)設(shè)計(jì)的過程中引入時(shí)間自動(dòng)機(jī)的概念,避免產(chǎn)生設(shè)計(jì)缺陷,提升系統(tǒng)的安全性及正確性。這些研究主要是將時(shí)間自動(dòng)機(jī)對(duì)接物聯(lián)網(wǎng)系統(tǒng)應(yīng)用服務(wù)層進(jìn)行建模,且止步于模型邏輯論證,但未涉及建模后具體實(shí)現(xiàn)。本文嘗試在物聯(lián)網(wǎng)系統(tǒng)感知層設(shè)備通信模式的設(shè)計(jì)中加入時(shí)間屬性約束機(jī)制,探索由各設(shè)備自主約束和管理感知層的通信抉擇機(jī)制,提出一種基于時(shí)間自動(dòng)機(jī)的設(shè)備自主管理通信過程的智慧通信模式,并深入研究這一智慧通信模式的具體設(shè)計(jì)與實(shí)現(xiàn),用以提升智慧實(shí)訓(xùn)室系統(tǒng)通信的智慧性、可靠性、安全性和運(yùn)行效率。

1 時(shí)間自動(dòng)機(jī)的概念

1.1 時(shí)間自動(dòng)機(jī)的定義

時(shí)間自動(dòng)機(jī)有以下定義[4-9]。

(1) 時(shí)鐘約束:一個(gè)時(shí)鐘變量集X,時(shí)鐘約束φ的集合中φ(X)定義為:

φ=x≤c|x≥c|xc|φ1∧φ2

其中c是常量。

(2) 時(shí)鐘解釋:時(shí)鐘集合X的一個(gè)時(shí)鐘解釋v給每個(gè)時(shí)鐘分配一個(gè)實(shí)數(shù)值。即:它是一個(gè)從X到非負(fù)實(shí)數(shù)集R的一個(gè)映射。X的一個(gè)時(shí)鐘解釋v滿足x上的一個(gè)時(shí)鐘約束φ,當(dāng)且僅當(dāng)φ=v為真。

(3) 時(shí)間自動(dòng)機(jī):一個(gè)六元組A=,其中,L是有窮狀態(tài)集合；L0是初始狀態(tài)集合；Σ是有窮符號(hào)集合；X是有窮時(shí)鐘集合；I為狀態(tài)節(jié)點(diǎn)上的時(shí)鐘約束映射,即對(duì)L中每個(gè)狀態(tài)節(jié)點(diǎn)指定一個(gè)φ(X)中的時(shí)鐘約束L→φ(X)；E是轉(zhuǎn)換集合,有E?L×Σ×2X×φ(X)×L。表示從位置s到位置s′的轉(zhuǎn)換,輸入狀態(tài)為a,φ是X上一個(gè)時(shí)鐘約束,它達(dá)到時(shí)轉(zhuǎn)變發(fā)生；λ?X它是復(fù)位零值的時(shí)鐘集合。

(4) 時(shí)間自動(dòng)機(jī)積:表達(dá)復(fù)雜系統(tǒng)時(shí)用多個(gè)時(shí)間自動(dòng)機(jī)復(fù)合組成的時(shí)間自動(dòng)機(jī)網(wǎng)絡(luò),即積自動(dòng)機(jī)。設(shè)

1.2 感知層通信模式里時(shí)間自動(dòng)機(jī)概念

假設(shè)在物聯(lián)網(wǎng)感知層通信過程中,各感知設(shè)備地位均等。各感知設(shè)備既可接收數(shù)據(jù),也可發(fā)送數(shù)據(jù),各設(shè)備只是在通信模式的類別設(shè)計(jì)上有所不同?；跁r(shí)間自動(dòng)機(jī)的通信模式是以時(shí)間為軸,根據(jù)通信模式規(guī)則對(duì)各設(shè)備數(shù)據(jù)傳輸動(dòng)作形成約束,以此支持在各設(shè)備間自主、有序地完成通信過程。

在感知層設(shè)備通信過程中,系統(tǒng)進(jìn)行數(shù)據(jù)傳輸有時(shí)間和狀態(tài)約束。根據(jù)通信過程中設(shè)備狀態(tài)和約束,定義有連接通信模式的時(shí)間自動(dòng)機(jī)模型為Connect_TA= <{ Closed,Idle, Wait,Connecting},{ Closed},{Val_Connect},{n1,n2},CNTAI,CNTAE>,其中有連接時(shí)間自動(dòng)機(jī)有Closed、Idle、Wait、Connecting等4個(gè)工作狀態(tài)集合,分別代表關(guān)閉、空閑、傳輸?shù)却?即數(shù)據(jù)已發(fā)送,等待接收端數(shù)據(jù)確認(rèn))、連接中(即連接請(qǐng)求已發(fā)送,等待連接確認(rèn))。初始狀態(tài)為Closed。無連接時(shí)間自動(dòng)機(jī)模型為NConnect_TA=<{Closed,Idle,Wait},{Closed},{Val_Connect},{n},NNTAI,NNTAE>,有Closed、Idle、Wait等3個(gè)基本工作狀態(tài)集合,分別代表關(guān)閉、空閑、傳輸?shù)却為狀態(tài)節(jié)點(diǎn)時(shí)系統(tǒng)時(shí)鐘限制。NNTAI、NNTAE為狀態(tài)節(jié)點(diǎn)時(shí)間自動(dòng)機(jī)時(shí)鐘約束關(guān)系與狀態(tài)轉(zhuǎn)換關(guān)系,后根據(jù)通信模式及具體需求進(jìn)行定義并設(shè)計(jì)。

在設(shè)備的時(shí)間自動(dòng)機(jī)通信模式設(shè)計(jì)中,自動(dòng)機(jī)在同一時(shí)刻只能處于一個(gè)狀態(tài)。當(dāng)外部觸發(fā)事件或時(shí)鐘約束發(fā)生時(shí),自動(dòng)機(jī)會(huì)根據(jù)當(dāng)前規(guī)定的時(shí)鐘狀態(tài)和約束關(guān)系轉(zhuǎn)換至下一狀態(tài),當(dāng)某一觸發(fā)事件或狀態(tài)出現(xiàn)異?；驎r(shí)鐘約束溢出時(shí),時(shí)間自動(dòng)機(jī)會(huì)返回初始狀態(tài),等待下一系列觸發(fā)事件的發(fā)生。物聯(lián)網(wǎng)系統(tǒng)感知層所有通信節(jié)點(diǎn)均內(nèi)置統(tǒng)一設(shè)計(jì)的通信時(shí)間自動(dòng)機(jī),每種通信機(jī)制由對(duì)應(yīng)的時(shí)間自動(dòng)機(jī)自主完成約束管理；當(dāng)前設(shè)備受制的通信機(jī)制及時(shí)間約束屬性,只能對(duì)當(dāng)前設(shè)備的通信狀態(tài)形成約束。設(shè)備通信模式里設(shè)計(jì)的時(shí)間自動(dòng)機(jī)約束機(jī)制和時(shí)間約束屬性可以根據(jù)通信機(jī)制的需求統(tǒng)一變換。

2 基于時(shí)間自動(dòng)機(jī)的物聯(lián)網(wǎng)感知層通信模式

物聯(lián)網(wǎng)控制系統(tǒng)常見的通信服務(wù)模式主要有:(1)點(diǎn)對(duì)多點(diǎn)無連接,多播通信模式；(2)點(diǎn)對(duì)域無連接,廣播；(3)點(diǎn)對(duì)所有點(diǎn)無連接,系統(tǒng)廣播；(4)點(diǎn)對(duì)點(diǎn)無連接；(5)點(diǎn)對(duì)點(diǎn)有連接[10-12]。以建立連接與否劃分,可分為有連接通信和無連接通信。其中以點(diǎn)對(duì)點(diǎn)有連接通信模式過程最為復(fù)雜,可以用于設(shè)備參數(shù)讀/寫操作、授權(quán)管理、密鑰管理等重要功能。

2.1 有連接通信時(shí)間自動(dòng)機(jī)模型

點(diǎn)對(duì)點(diǎn)有連接通信模式是指?jìng)鬏攲佑脩粼邳c(diǎn)對(duì)點(diǎn)連接可使用之前先建立傳輸連接,再傳遞數(shù)據(jù)；數(shù)據(jù)傳輸完成后,再釋放連接的通信模式。連接建立過程是:發(fā)送端先發(fā)送建立連接請(qǐng)求幀,接收端收到請(qǐng)求幀后,分析原語中的目的地址和自身可利用資源情況,如果允許建立連接,接收端就發(fā)送連接確認(rèn)幀,指示發(fā)送端與接收端之間連接建立成功。之后,發(fā)送端再發(fā)送連接數(shù)據(jù)請(qǐng)求幀,進(jìn)行數(shù)據(jù)傳遞,接收端接收完數(shù)據(jù)后發(fā)送數(shù)據(jù)連接確認(rèn)信息,在數(shù)據(jù)傳送完成后再釋放連接,并向接收機(jī)發(fā)送釋放連接請(qǐng)求幀。有連接點(diǎn)對(duì)點(diǎn)通信的工作流程如圖1所示。

圖1 有連接通信的工作流程

有連接通信的輸入事件主要有:

(1) 連接請(qǐng)求(T_connect_req)；

(2) 連接建立指示(T_connect_ind)；

(3) 連接建立響應(yīng),連接建立確認(rèn)(T_connect_con)；

(4) 數(shù)據(jù)傳遞請(qǐng)求(T_data_req)；

(5) 數(shù)據(jù)傳遞指示(T_data_ind)；

(6) 數(shù)據(jù)傳遞確認(rèn)(T_data_ack)；

(7) 連接釋放請(qǐng)求(T_disconnect_req)；

(8) 連接釋放指示(T_disconnect_ind)。

具體描述如圖2所示:

圖2 有連接通信時(shí)間自動(dòng)機(jī)模型

圖2中,T1、T2分別為通信連接最大時(shí)間周期、數(shù)據(jù)處理最大時(shí)間周期,具體設(shè)計(jì)時(shí)由兩個(gè)時(shí)鐘控制來實(shí)現(xiàn),連接超時(shí)和確認(rèn)超時(shí)。連接狀態(tài)轉(zhuǎn)換的管理由連接時(shí)間自動(dòng)機(jī)完成,數(shù)據(jù)傳遞確認(rèn)的管理主要由T1、T2進(jìn)行約束和管理。連接通信開始運(yùn)行之時(shí)處于Closed狀態(tài),經(jīng)各事件輸入在Connecting、Idle、Wait狀態(tài)中切換。在約定時(shí)間內(nèi)沒有收到對(duì)應(yīng)的連接確認(rèn)和數(shù)據(jù)確認(rèn)幀,可重發(fā)數(shù)據(jù)幀；超出約定時(shí)間周期后放棄操作,回到初始Closed狀態(tài)。

系統(tǒng)內(nèi)各設(shè)備的最大時(shí)鐘周期限制和狀態(tài)轉(zhuǎn)移條件、結(jié)果均保持一致,才能保證設(shè)備間的連接能有序、可靠完成。另外,時(shí)間自動(dòng)機(jī)的程序設(shè)計(jì)應(yīng)充分考慮容錯(cuò)處理問題,系統(tǒng)各狀態(tài)持續(xù)時(shí)間超出時(shí)間周期且沒有狀態(tài)變化則回歸初始狀態(tài)。

2.2 無連接通信時(shí)間自動(dòng)機(jī)模型

無連接通信模式是指?jìng)鬏攲佑脩舨幌冉鬏斖ǖ兰催M(jìn)行數(shù)據(jù)傳輸。無連接通信過程連接簡(jiǎn)單,具體數(shù)據(jù)傳輸過程是:發(fā)送端直接發(fā)送帶目標(biāo)地址的數(shù)據(jù)請(qǐng)求幀,進(jìn)行數(shù)據(jù)傳遞,接收端收到數(shù)據(jù)幀后,分析原語中的目的地址,確認(rèn)地址無誤后,存儲(chǔ)數(shù)據(jù)信息和接收數(shù)據(jù),完成后發(fā)送數(shù)據(jù)接收確認(rèn)信息回發(fā)送端。無連接通信的工作流程如圖3所示。

圖3 無連接通信的工作流程

無連接通信的輸入事件主要有:數(shù)據(jù)傳遞請(qǐng)求(T_Data_Req),數(shù)據(jù)傳遞指示(T_Data_Ind),數(shù)據(jù)傳遞確認(rèn)(T_Data_Ack),等。

圖4中,T為設(shè)置的數(shù)據(jù)傳輸超時(shí)約束,具體設(shè)計(jì)時(shí)由1個(gè)時(shí)鐘控制實(shí)現(xiàn)。無連接時(shí)的狀態(tài)轉(zhuǎn)換管理由無連接時(shí)間自動(dòng)機(jī)完成,數(shù)據(jù)傳遞確認(rèn)的管理主要由T來約束。無連接通信未開啟之前和開始運(yùn)行之時(shí),均屬于Closed狀態(tài),經(jīng)各事件輸入切換狀態(tài)在Idle、Wait各狀態(tài)中轉(zhuǎn)換。如果在約定時(shí)間內(nèi)沒有收到來自任一設(shè)備的對(duì)應(yīng)數(shù)據(jù)確認(rèn)幀,可重發(fā)數(shù)據(jù)幀。重發(fā)時(shí)間超出約定時(shí)間周期后放棄操作,回歸到初始Closed狀態(tài),并向傳遞無連接數(shù)據(jù)所在網(wǎng)絡(luò)發(fā)出數(shù)據(jù)傳輸錯(cuò)誤提示信號(hào)。

圖4 無連接通信時(shí)間自動(dòng)機(jī)模型

2.3 模型驗(yàn)證分析

假設(shè)連接確認(rèn)時(shí)鐘參數(shù)為100單位,數(shù)據(jù)確認(rèn)時(shí)間為50單位,系統(tǒng)內(nèi)各設(shè)備設(shè)置的主頻相同。模型驗(yàn)證包括模型邏輯正確性驗(yàn)證和過程正確性驗(yàn)證。

邏輯正確性驗(yàn)證主要是通信死鎖驗(yàn)證,驗(yàn)證結(jié)果如表1所示。

表1 邏輯正確性驗(yàn)證

對(duì)兩種通信模式主要執(zhí)行過程進(jìn)行驗(yàn)證,驗(yàn)證結(jié)果如表2所示。

表2 執(zhí)行過程驗(yàn)證

表1、2中,A[ ]p表示必然的,即所有路徑的所有狀態(tài)都滿足p；E< >p表示可能的,即某些路徑中存在狀態(tài)滿足p,E< >p為真,當(dāng)且僅當(dāng)在轉(zhuǎn)換系統(tǒng)中從初始狀態(tài)s0開始存在一個(gè)序列s0→…→p[4-6]。

3 基于時(shí)間自動(dòng)機(jī)的智慧通信模式設(shè)計(jì)

以比較復(fù)雜的有連接點(diǎn)對(duì)點(diǎn)通信模式為例,介紹基于時(shí)間自動(dòng)機(jī)的通信模式設(shè)計(jì)與實(shí)現(xiàn)。

3.1 有連接時(shí)間自動(dòng)機(jī)的數(shù)據(jù)結(jié)構(gòu)

在傳輸層定義時(shí)間自動(dòng)機(jī)結(jié)構(gòu)體用以保存連接時(shí)間自動(dòng)機(jī)在各個(gè)時(shí)刻的屬性值,涉及的參數(shù)包括:(1)地址參數(shù),用于保存建立連接的接收端或發(fā)送端源地址；(2)時(shí)間自動(dòng)機(jī)狀態(tài)參數(shù),用于保存時(shí)間自動(dòng)機(jī)當(dāng)前狀態(tài)屬性值；(3)數(shù)據(jù)幀下標(biāo)參數(shù),保存當(dāng)前數(shù)據(jù)幀的操作次數(shù),用于管理重接和重發(fā)數(shù)據(jù)幀；(4)時(shí)間屬性參數(shù),保存連接時(shí)間屬性值和確認(rèn)時(shí)間屬性值,用于管理時(shí)間約束情況。

連接時(shí)間自動(dòng)機(jī)(Connec_Timer_Object)結(jié)構(gòu)體設(shè)計(jì)參考如下:

Struct Connec_Timer_Object

{

/* ID is the Serial number of this connect */

Struct Address [ ID]

{

Send_addr； //// Address of Send Target

Rcv_addr； // Address of Receive Target

}

Status[ ID]； // Status of Connect

Struct SeqNoes [ ID]

{

SeqNoSend； //Serial number of Send Data Frame

}

Struct AutoTimer [ ID]

{

ConnectTimer； //Timer for connect overtime

AckTimer； // Timer for acknowlege overtime

}

}

連接時(shí)間自動(dòng)機(jī)結(jié)構(gòu)體的各部分值可獨(dú)立存取操作,并以下標(biāo)序號(hào)ID來保證整個(gè)時(shí)間自動(dòng)機(jī)的統(tǒng)一操作。當(dāng)輸入事件發(fā)生時(shí),系統(tǒng)調(diào)用連接時(shí)間自動(dòng)機(jī)結(jié)構(gòu)體讀取當(dāng)前狀態(tài)參數(shù)和時(shí)間約束參數(shù),根據(jù)約束機(jī)制完成操作后向自動(dòng)機(jī)結(jié)構(gòu)體寫屬性值。一次通信事件周期完成后自動(dòng)設(shè)置時(shí)間自動(dòng)機(jī)參數(shù)置位或清零動(dòng)作。一個(gè)連接通信由單獨(dú)的時(shí)間自動(dòng)機(jī)管理,使用多個(gè)連接可申請(qǐng)多個(gè)有連接時(shí)間自動(dòng)機(jī)來管理,連接數(shù)量受設(shè)備存儲(chǔ)空間和處理速度限制。發(fā)送端和接收端的連接時(shí)間自動(dòng)機(jī)狀態(tài)轉(zhuǎn)移,需機(jī)制統(tǒng)一和時(shí)間同步才能確保連接通信能有序、穩(wěn)定、可靠地進(jìn)行。

3.2 感知層設(shè)備通信工作過程

圖5所示為感知層設(shè)備通信時(shí)各層工作任務(wù)和結(jié)構(gòu)的布局。基于時(shí)間自動(dòng)機(jī)的通信過程控制和管理主要由鏈路層、網(wǎng)絡(luò)層和傳輸層實(shí)現(xiàn),時(shí)間自動(dòng)機(jī)的定義和控制主要在傳輸層實(shí)現(xiàn)?？刂菩畔⒋娣旁谏禉C(jī)中,鏈路層、網(wǎng)絡(luò)層和傳輸層根據(jù)本層任務(wù)可以讀取和寫入控制字段中信息。

鏈路層提供數(shù)據(jù)幀的差錯(cuò)檢測(cè)功能并實(shí)現(xiàn)對(duì)數(shù)據(jù)鏈路地址的識(shí)別。接收信息時(shí),它負(fù)責(zé)從接收緩沖區(qū)檢測(cè)數(shù)據(jù)幀的校驗(yàn)字符,判斷幀的完整性,放棄校驗(yàn)錯(cuò)誤或目的地址不屬于本設(shè)備的數(shù)據(jù)幀,對(duì)正確接收的數(shù)據(jù)幀反饋接收正確回復(fù)幀,錯(cuò)誤的幀反饋接收錯(cuò)誤回復(fù)幀,并將接收緩沖區(qū)(外部變量表)的數(shù)據(jù)幀和本層判定寫入的自動(dòng)機(jī)屬性值加載到升降機(jī)中,告知網(wǎng)絡(luò)層接收處理完成。發(fā)送時(shí),它根據(jù)幀的任務(wù)需求在升降機(jī)加載相應(yīng)類型的地址信息,計(jì)算并添加數(shù)據(jù)幀的校驗(yàn)字符,形成完整數(shù)據(jù)幀后復(fù)制到發(fā)送緩沖區(qū)(外部變量表),通知物理層進(jìn)行發(fā)送。發(fā)送完成后,處理接收方發(fā)送回復(fù)幀。如果發(fā)送失敗,讀取時(shí)間自動(dòng)機(jī)時(shí)間限制和發(fā)送幀序號(hào)完成限定時(shí)間內(nèi)的重發(fā)功能。

網(wǎng)絡(luò)層實(shí)現(xiàn)網(wǎng)絡(luò)路由的分配和識(shí)別工作,判斷當(dāng)前數(shù)據(jù)幀的通信模式,并據(jù)此對(duì)數(shù)據(jù)信息進(jìn)行分服務(wù)處理。接收時(shí),它負(fù)責(zé)從升降機(jī)中提取并識(shí)別地址類型、路由信息、設(shè)備類別、自動(dòng)機(jī)地址屬性等信息,根據(jù)識(shí)別結(jié)果將不同通信模式的數(shù)據(jù)幀進(jìn)行分類處理,通知傳輸層進(jìn)行工作。發(fā)送時(shí),它根據(jù)通信模式的不同,在升降機(jī)中對(duì)應(yīng)位置上添加相應(yīng)地址類型標(biāo)識(shí),加載設(shè)備路由及設(shè)備類別信息,通知鏈路層進(jìn)行工作。

傳輸層負(fù)責(zé)分配、識(shí)別傳輸層控制字段信息,對(duì)屬于不同通信模式的數(shù)據(jù)信息提供不同的傳輸層原語服務(wù),例如指示、請(qǐng)求、確認(rèn)等原語。傳輸層支持無連接和有連接等多種通信模式。在接收處理幀時(shí),它從升降機(jī)中提取數(shù)據(jù)幀及自動(dòng)機(jī)控制信息,據(jù)此判斷幀的通信模式,響應(yīng)該模式的指示原語服務(wù),調(diào)用應(yīng)用層的應(yīng)用服務(wù)進(jìn)行后續(xù)處理；在發(fā)送封裝幀時(shí),根據(jù)應(yīng)用層應(yīng)用服務(wù)對(duì)通信模式的不同需求,響應(yīng)請(qǐng)求、確認(rèn)原語,并將數(shù)據(jù)幀及自動(dòng)機(jī)控制信息封裝進(jìn)升降機(jī)中,通知網(wǎng)絡(luò)層進(jìn)一步封裝加載數(shù)據(jù)幀信息。

圖5 感知層設(shè)備通信各層任務(wù)和結(jié)構(gòu)布局

4 應(yīng)用舉例——智慧實(shí)訓(xùn)室照明子系統(tǒng)

智慧實(shí)訓(xùn)室照明子系統(tǒng)采用EIB通信協(xié)議,定義有開關(guān)節(jié)點(diǎn)設(shè)備、被控?zé)艟叩仍O(shè)備。以上位機(jī)向接收端設(shè)備寫地址服務(wù)為例來分析基于時(shí)間自動(dòng)機(jī)通信模式的實(shí)現(xiàn)過程及結(jié)果。圖6為寫地址服務(wù)流程序列。

圖6 寫地址服務(wù)流程序列

寫地址服務(wù)可以對(duì)接收端的物理地址、組地址表和關(guān)聯(lián)表信息進(jìn)行配置。設(shè)計(jì)測(cè)試用例完成對(duì)目標(biāo)程序的測(cè)試,從調(diào)試窗口察看程序運(yùn)行過程,比較寫地址操作的執(zhí)行結(jié)果。其中1個(gè)測(cè)試用例是將0x0001、0x0024、0x0002、0x0003、0x0004等5個(gè)地址內(nèi)容寫入物理地址存儲(chǔ)的內(nèi)存位置。圖7是寫地址操作時(shí)接收和回復(fù)數(shù)據(jù)幀信息。

圖7 數(shù)據(jù)幀傳輸情況串口監(jiān)測(cè)

根據(jù)數(shù)據(jù)幀往返情況可以看出,發(fā)送端與接收端經(jīng)發(fā)送請(qǐng)求、寫地址數(shù)據(jù)幀請(qǐng)求、數(shù)據(jù)接收確認(rèn)后,實(shí)現(xiàn)對(duì)接收端地址的寫操作,應(yīng)答幀及時(shí)反饋了寫地址的結(jié)果。從調(diào)試窗口觀察到的時(shí)間自動(dòng)機(jī)狀態(tài)轉(zhuǎn)移結(jié)果均符合設(shè)計(jì)要求,在連接或確認(rèn)超時(shí)情形下,能適時(shí)正確處理,回到初始狀態(tài)。

5 結(jié)語

在智慧實(shí)訓(xùn)室感知層通信中應(yīng)用時(shí)間自動(dòng)機(jī)理論并得到驗(yàn)證。這一研究的結(jié)果有助于提升物聯(lián)網(wǎng)系統(tǒng)的智慧性、穩(wěn)定性、可靠性和運(yùn)行效率。隨著單設(shè)備連接自動(dòng)機(jī)數(shù)量增多,通信線路上設(shè)備并發(fā)數(shù)增多,系統(tǒng)復(fù)雜性也將急劇增加并影響處理速度,通信沖突等情況也有可能出現(xiàn)。在進(jìn)一步的研究中將繼續(xù)深入檢驗(yàn)和驗(yàn)證基于時(shí)間自動(dòng)機(jī)的通信模式在多連接、多設(shè)備并發(fā)處理時(shí)的狀態(tài)執(zhí)行情況和穩(wěn)定性。

References)

[1] 黃麗芬,黃大榮,陳迪泉,等.數(shù)據(jù)驅(qū)動(dòng)的智慧實(shí)訓(xùn)室服務(wù)模式設(shè)計(jì)[J].實(shí)驗(yàn)室研究與探索,2017,36(2):125-130.

[2] 羅國濤,裴廣,鄧祖樸,等.面向物聯(lián)網(wǎng)的工作流服務(wù)架構(gòu)模型[J].計(jì)算機(jī)應(yīng)用與軟件,2014，31(2):9-13.

[3] 叢新宇,虞慧群.基于實(shí)時(shí)UML順序圖的物聯(lián)網(wǎng)交互模型[J].計(jì)算機(jī)科學(xué),2014,41(11):79-87.

[4] 李力行,金芝,李戈.基于時(shí)間自動(dòng)機(jī)的物聯(lián)網(wǎng)服務(wù)建模和驗(yàn)證[J].計(jì)算機(jī)學(xué)報(bào),2011,34(8):1365-1377.

[5] 鄧雪峰,孫瑞志,聶娟,等.基于時(shí)間自動(dòng)機(jī)的溫室環(huán)境監(jiān)控的物聯(lián)網(wǎng)系統(tǒng)建模[J].農(nóng)業(yè)機(jī)械學(xué)報(bào),2016,47(7):301-308.

[6] 姬莉霞,馬建紅.基于時(shí)間自動(dòng)機(jī)的UML模型轉(zhuǎn)換與驗(yàn)證研究[J].鄭州大學(xué)學(xué)報(bào)(理學(xué)版),2013,45(1):50-55.

[7] 任龍濤,張超,崔磊,等.基于時(shí)間自動(dòng)機(jī)的嵌入式軟件壓縮與驗(yàn)證[J].計(jì)算機(jī)工程與設(shè)計(jì),2016,37(5):1217-1223.

[8] Alur R, Dill D L. A Theory of Timed Automata[J]. Theoretical Computer Science, 1994, 126(2): 183-235.

[9] Larsen K G,Pettersson P, Wang Y. Uppaal in a nutshell[J]. International Journal on Software Tools for Technology Transfer,1997,1(1):134-152.

[10] 陳迪泉,黃麗芬.談物聯(lián)網(wǎng)感知層的技術(shù)特征與實(shí)現(xiàn)方法[J].智能建筑,2012(9):68-72,75.

[11] 全國工業(yè)過程測(cè)量和控制標(biāo)準(zhǔn)化技術(shù)委員會(huì).控制網(wǎng)絡(luò)HBES技術(shù)規(guī)范 住宅和樓宇控制系統(tǒng):GB/T20965—2013[S].北京:中國標(biāo)準(zhǔn)出版社,2013.

[12] 徐艷萍.KNX/EIB協(xié)議棧的研究與實(shí)現(xiàn)[D].合肥:合肥工業(yè)大學(xué),2014.