本文關(guān)鍵詞：基于時間自動機(jī)的溫室環(huán)境監(jiān)控物聯(lián)網(wǎng)系統(tǒng)建模，，由筆耕文化傳播整理發(fā)布。

【摘要】：由于溫室環(huán)境的復(fù)雜性,系統(tǒng)設(shè)計的不合理會直接導(dǎo)致數(shù)據(jù)的不確定和系統(tǒng)的不穩(wěn)定�；隗w系結(jié)構(gòu)的物聯(lián)網(wǎng)層次模型對物聯(lián)網(wǎng)的實施具有指導(dǎo)意義,但是體系結(jié)構(gòu)模型沒有提供系統(tǒng)建模工具和模型驗證的方法�；跁r間自動機(jī)理論的建模與模型驗證方法是一種對物聯(lián)網(wǎng)系統(tǒng)建模的有效手段,能在系統(tǒng)設(shè)計時提高系統(tǒng)的穩(wěn)定性,保證系統(tǒng)設(shè)計的正確性。通過對智能溫室監(jiān)控物聯(lián)網(wǎng)系統(tǒng)的分析,從系統(tǒng)實施的角度重新對溫室環(huán)境監(jiān)控物聯(lián)網(wǎng)系統(tǒng)進(jìn)行了層次劃分,利用時間自動機(jī)理論對系統(tǒng)中的相應(yīng)組件進(jìn)行建模,在對各個子系統(tǒng)分別建模的基礎(chǔ)上形成了時間自動機(jī)網(wǎng)絡(luò)模型。最后利用時間自動機(jī)建模工具UPPAAL,對已經(jīng)建立的形式化模型進(jìn)行了系統(tǒng)邏輯正確性驗證與系統(tǒng)執(zhí)行時序驗證。結(jié)果表明,利用時間自動機(jī)理論及其建模工具UPPAAL可以對智能溫室監(jiān)控物聯(lián)網(wǎng)系統(tǒng)進(jìn)行建模及模型驗證,可以在系統(tǒng)設(shè)計時對系統(tǒng)進(jìn)行準(zhǔn)確的模型分析,避免系統(tǒng)設(shè)計錯誤,降低系統(tǒng)設(shè)計缺陷,在系統(tǒng)投入運行中規(guī)避設(shè)計風(fēng)險,從而提升系統(tǒng)的穩(wěn)定性與可靠性,確保系統(tǒng)設(shè)計的正確性。
【作者單位】： 中國農(nóng)業(yè)大學(xué)信息與電氣工程學(xué)院;中國農(nóng)業(yè)大學(xué)農(nóng)業(yè)部農(nóng)業(yè)信息獲取技術(shù)重點實驗室;
【關(guān)鍵詞】： 溫室 物聯(lián)網(wǎng) 時間自動機(jī) 建模 模型驗證
【基金】：“十二五”國家科技支撐計劃項目(2015BAK04B01)
【分類號】：TP391.44;TN929.5
【正文快照】：

【參考文獻(xiàn)】

中國期刊全文數(shù)據(jù)庫 前10條

1 李想;王建侖;高紅菊;;面向農(nóng)田物聯(lián)網(wǎng)復(fù)雜事件處理的時空事件模型[J];農(nóng)業(yè)機(jī)械學(xué)報;2015年S1期

2 李瑾;郭美榮;高亮亮;;農(nóng)業(yè)物聯(lián)網(wǎng)技術(shù)應(yīng)用及創(chuàng)新發(fā)展策略[J];農(nóng)業(yè)工程學(xué)報;2015年S2期

3 苑進(jìn);胡敏;Kesheng Wang;劉雪美;侯加林;米慶華;;基于高斯過程建模的物聯(lián)網(wǎng)數(shù)據(jù)不確定性度量與預(yù)測[J];農(nóng)業(yè)機(jī)械學(xué)報;2015年05期

4 謝開斌;陳海明;崔莉;;物聯(lián)網(wǎng)軟件體系結(jié)構(gòu)中的感執(zhí)模型的求精[J];軟件學(xué)報;2014年08期

5 毛燕琴;沈蘇彬;;物聯(lián)網(wǎng)信息模型與能力分析[J];軟件學(xué)報;2014年08期

6 李萍萍;王紀(jì)章;;溫室環(huán)境信息智能化管理研究進(jìn)展[J];農(nóng)業(yè)機(jī)械學(xué)報;2014年04期

7 陳威;郭書普;;中國農(nóng)業(yè)信息化技術(shù)發(fā)展現(xiàn)狀及存在的問題[J];農(nóng)業(yè)工程學(xué)報;2013年22期

8 何勇;聶鵬程;劉飛;;農(nóng)業(yè)物聯(lián)網(wǎng)與傳感儀器研究進(jìn)展[J];農(nóng)業(yè)機(jī)械學(xué)報;2013年10期

9 李力行;金芝;李戈;;基于時間自動機(jī)的物聯(lián)網(wǎng)服務(wù)建模和驗證[J];計算機(jī)學(xué)報;2011年08期

10 呂繼東;唐濤;;高速鐵路列控系統(tǒng)運營場景實時性的建模與驗證[J];鐵道學(xué)報;2011年06期

【共引文獻(xiàn)】

中國期刊全文數(shù)據(jù)庫 前10條

1 張紫謙;衷衛(wèi)聲;梁凱;王娜;;基于物聯(lián)網(wǎng)技術(shù)的溫室集群環(huán)境監(jiān)控系統(tǒng)設(shè)計[J];現(xiàn)代電子技術(shù);2016年14期

2 韓瑜;李雁玲;肖振超;張策;姜yN;;實驗室設(shè)備防盜追蹤器設(shè)計[J];天津職業(yè)技術(shù)師范大學(xué)學(xué)報;2016年02期

3 燕秀奇;宋重陽;于佳輝;;基于云存儲系統(tǒng)的農(nóng)業(yè)生產(chǎn)調(diào)控試驗方案[J];南方農(nóng)機(jī);2016年06期

4 李旭;高賢強(qiáng);王川;呂喜風(fēng);;基于J2EE的溫室管理信息系統(tǒng)的研究[J];農(nóng)業(yè)網(wǎng)絡(luò)信息;2016年06期

5 馮獻(xiàn);李瑾;郭美榮;;改革視角下農(nóng)業(yè)物聯(lián)網(wǎng)創(chuàng)新驅(qū)動戰(zhàn)略研究[J];中國農(nóng)業(yè)科技導(dǎo)報;2016年03期

6 趙文兵;毛罕平;馬萬征;;基于物聯(lián)網(wǎng)的智能溫室遠(yuǎn)程監(jiān)控系統(tǒng)設(shè)計[J];中國農(nóng)機(jī)化學(xué)報;2016年06期

7 趙波;戴忠華;向

本文編號：452832