物聯(lián)網(wǎng)中的智慧溯源服務系統(tǒng)Petri網(wǎng)建模與分析
本文選題:物聯(lián)網(wǎng) + 農產品; 參考:《智能系統(tǒng)學報》2017年04期
【摘要】:物聯(lián)網(wǎng)(IOT)為人類社會的智慧化進程提供了革命性的信息技術,已廣泛應用于社會各個領域。智慧農業(yè)是物聯(lián)網(wǎng)的重要應用領域之一,農產品溯源是智慧農業(yè)的一個典型應用。在學習Petri網(wǎng)理論的基礎上,圍繞物聯(lián)網(wǎng)在智慧農業(yè)領域的應用實際,結合農產品溯源系統(tǒng)需求,設計了一個基于物聯(lián)網(wǎng)技術的農產品智慧溯源服務系統(tǒng)架構,分析了系統(tǒng)的整體業(yè)務流程,建立了系統(tǒng)的Petri網(wǎng)模型。采用關聯(lián)矩陣和不變量對所建模型的可達性、有界性、安全性和活性等性質進行了分析,使用PIPE工具進行了仿真驗證,證明了模型系統(tǒng)的合理性、可靠性和健壯性。
[Abstract]:IOT (Internet of things) has provided revolutionary information technology for the process of wisdom in human society and has been widely used in various fields of society.Intelligent agriculture is one of the important application fields of the Internet of things. Traceability of agricultural products is a typical application of intelligent agriculture.Based on the study of Petri net theory and the practical application of Internet of things in the field of intelligent agriculture, a framework of agricultural intelligent traceability service system based on the technology of Internet of things is designed according to the needs of agricultural traceability system.The whole business process of the system is analyzed, and the Petri net model of the system is established.The reachability, boundedness, security and activity of the model are analyzed by using the correlation matrix and invariant. The simulation results with PIPE are used to verify the rationality, reliability and robustness of the model system.
【作者單位】: 安徽電子信息職業(yè)技術學院信息與智能工程系;南開大學計算機與控制工程學院;
【基金】:國家自然科學基金項目(61573199)
【分類號】:TN929.5;TP391.44
【相似文獻】
相關期刊論文 前10條
1 ;2010中國國際物聯(lián)網(wǎng)博覽會暨中國物聯(lián)網(wǎng)大會[J];射頻世界;2010年05期
2 ;中國電子學會物聯(lián)網(wǎng)專家委員會正式成立[J];電子世界;2010年09期
3 吳德本;;物聯(lián)網(wǎng)綜述(1)[J];有線電視技術;2011年01期
4 ;物聯(lián)網(wǎng)新應用[J];自動化與儀表;2011年02期
5 馬興;王巍;韓潔;袁順全;李鵬;龐純偉;張靖康;王海豹;;以物聯(lián)網(wǎng)技術加快實現(xiàn)農業(yè)現(xiàn)代化[J];山西農業(yè)科學;2011年04期
6 劉楷華;李雄;;物聯(lián)網(wǎng)應用現(xiàn)狀及發(fā)展機遇[J];電腦知識與技術;2011年05期
7 李昆侖;繆澤峰;章劍雄;;物聯(lián)網(wǎng)的研究現(xiàn)狀及其產業(yè)化[J];單片機與嵌入式系統(tǒng)應用;2011年02期
8 余寧;;中國物聯(lián)網(wǎng)的發(fā)展及前景分析[J];科技創(chuàng)新導報;2011年08期
9 李海毅;;物聯(lián)網(wǎng),在不成熟中成熟謀劃[J];中國科技財富;2011年11期
10 季世;;融合云計算的物聯(lián)網(wǎng)[J];中國數(shù)字電視;2011年05期
相關會議論文 前10條
1 劉雪芹;;伺機性物聯(lián)網(wǎng)——探索物聯(lián)網(wǎng)在社交方面的前景[A];2012全國無線及移動通信學術大會論文集(上)[C];2012年
2 李艷;;物聯(lián)網(wǎng)在煤礦中的應用[A];山東煤炭學會工業(yè)信息化專業(yè)委員會2011年度工作會議暨物聯(lián)網(wǎng)技術推進煤礦信息化學術論壇學術論文集[C];2011年
3 王守信;韓丹;潘宏俠;;物聯(lián)網(wǎng)技術在山西省裝備制造業(yè)中的應用研究與產業(yè)發(fā)展建議[A];創(chuàng)新裝備技術 給力地方經(jīng)濟——第三屆全國地方機械工程學會學術年會暨海峽兩岸機械科技論壇論文集[C];2013年
4 胡曉川;陳金鷹;楊超;;物聯(lián)網(wǎng)——新新“物”語[A];四川省通信學會2010年學術年會論文集[C];2010年
5 肖克輝;肖德琴;周權;;農業(yè)物聯(lián)網(wǎng)實驗室建設[A];Proceedings of 2011 National Teaching Seminar on Cryptography and Information Security(NTS-CIS 2011) Vol.1[C];2011年
6 周立;謝宏全;董春來;蔣廷臣;劉緩;;海洋物聯(lián)網(wǎng)展望[A];地理信息與物聯(lián)網(wǎng)論壇暨江蘇省測繪學會2010年學術年會論文集[C];2010年
7 ;物聯(lián)網(wǎng)概述[A];地理信息與物聯(lián)網(wǎng)論壇暨江蘇省測繪學會2010年學術年會論文集[C];2010年
8 葉建棟;;淺析物聯(lián)網(wǎng)的發(fā)展與應用[A];中國通信學會2011年光纜電纜學術年會論文集[C];2011年
9 譚月萍;尹鐘;黃靜;;物聯(lián)網(wǎng)技術在茶葉中的應用[A];科技創(chuàng)新 轉型升級 做大做強湖南特色茶葉——湖南省茶葉學會2011年學術年會論文集[C];2011年
10 童菲;朱詩兵;陳海勇;;物聯(lián)網(wǎng)在軍事應用中面臨的機遇與挑戰(zhàn)[A];2011年全國電子信息技術與應用學術會議論文集[C];2011年
相關重要報紙文章 前10條
1 楊慶廣;移動網(wǎng)絡將成物聯(lián)網(wǎng)主要接入方式[N];中國電子報;2010年
2 本報記者 閆靜;物聯(lián)網(wǎng):護佑安全 空間廣闊[N];中國安全生產報;2011年
3 同方泰德國際科技有限公司 周洪波;融合云計算的物聯(lián)網(wǎng)[N];計算機世界;2011年
4 本報記者 許泳;物聯(lián)網(wǎng)人才培養(yǎng)剛起步[N];計算機世界;2011年
5 上海互惠信息技術有限公司 歐書云;物聯(lián)網(wǎng)新脈搏:實時交互[N];計算機世界;2011年
6 本報記者 樊哲高;物聯(lián)網(wǎng)如何“網(wǎng)住”大市場[N];中國電子報;2013年
7 本報記者 王娟;農業(yè)物聯(lián)網(wǎng)試點不計成本 應用普及呼喚成熟產業(yè)體系[N];中國計算機報;2013年
8 中國科學院院士 姚建銓;物聯(lián)網(wǎng)是工具手段 智慧城市是目標[N];中國信息化周報;2013年
9 本報記者 郭峰峰;物聯(lián)網(wǎng)的今生與未來[N];科學導報;2013年
10 記者 李珂;1500萬元 國家專項資金支持我省物聯(lián)網(wǎng)發(fā)展[N];福建日報;2013年
相關博士學位論文 前10條
1 鄧雪峰;設施農業(yè)物聯(lián)網(wǎng)系統(tǒng)建模與模型驗證[D];中國農業(yè)大學;2016年
2 王峰;物聯(lián)網(wǎng)數(shù)據(jù)處理若干關鍵問題研究[D];吉林大學;2016年
3 原旭;面向精細化種植的物聯(lián)網(wǎng)數(shù)據(jù)處理方法研究[D];大連理工大學;2016年
4 喻濤;物聯(lián)網(wǎng)感知終端及數(shù)據(jù)管理關鍵技術研究[D];武漢大學;2015年
5 方昶;物聯(lián)網(wǎng)環(huán)境下混合生產系統(tǒng)中三種新的生產計劃模型及求解算法研究[D];合肥工業(yè)大學;2016年
6 楊建棟;面向城市生命線管理的物聯(lián)網(wǎng)關鍵技術研究與應用[D];北京工業(yè)大學;2016年
7 張向飛;基于農業(yè)物聯(lián)網(wǎng)的數(shù)據(jù)智能傳輸與大田監(jiān)測應用[D];東華大學;2016年
8 陳紅茜;基于物聯(lián)網(wǎng)和流式計算的蛋雞設施養(yǎng)殖數(shù)字化初探[D];中國農業(yè)大學;2017年
9 吳連濤;面向稀疏信號的物聯(lián)網(wǎng)高效傳輸體系及關鍵技術研究[D];浙江大學;2017年
10 馬玉軍;云端融合的健康物聯(lián)網(wǎng)系統(tǒng)設計與實現(xiàn)方法研究[D];華中科技大學;2016年
相關碩士學位論文 前10條
1 唐力;物聯(lián)網(wǎng)倫理問題探究[D];太原科技大學;2012年
2 姚旭東;國內外物聯(lián)網(wǎng)技術發(fā)展的比較研究[D];西南交通大學;2012年
3 廖偉;物聯(lián)網(wǎng)發(fā)展指數(shù)及其評價體系研究[D];北京交通大學;2014年
4 韓少波;基于物聯(lián)網(wǎng)的變電設備全景數(shù)據(jù)采集與傳輸[D];山西農業(yè)大學;2015年
5 丁麗萍;基于物聯(lián)網(wǎng)的CL物流公司的信息化改造策略研究[D];中國海洋大學;2011年
6 張宏宇;物聯(lián)網(wǎng)測床可擴展性的研究[D];內蒙古大學;2015年
7 李凱;基于YeeLink物聯(lián)網(wǎng)平臺的校園環(huán)境監(jiān)測系統(tǒng)的設計[D];河北大學;2015年
8 吳曉龍;基于電氣設備物聯(lián)網(wǎng)的建筑節(jié)能應用研究[D];山東建筑大學;2015年
9 夏翔;基于物聯(lián)網(wǎng)技術的冷鏈物流管理研究[D];山東建筑大學;2015年
10 李娜;物聯(lián)網(wǎng)感知層節(jié)點的連通算法研究[D];遼寧大學;2015年
,本文編號:1749537
本文鏈接:http://sikaile.net/kejilunwen/xinxigongchenglunwen/1749537.html