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

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

【參考文獻(xiàn)】

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

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

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

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

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

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

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

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

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

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

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

【共引文獻(xiàn)】

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

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

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

3 燕秀奇;宋重陽(yáng);于佳輝;;基于云存儲(chǔ)系統(tǒng)的農(nóng)業(yè)生產(chǎn)調(diào)控試驗(yàn)方案[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ū)動(dòng)戰(zhàn)略研究[J];中國(guó)農(nóng)業(yè)科技導(dǎo)報(bào);2016年03期

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

7 趙波;戴忠華;向

本文編號(hào)：452832