本文關(guān)鍵詞：基于UPPAAL磁性材料生產(chǎn)線的建模與驗證

  更多相關(guān)文章： 磁性材料生產(chǎn)線 時間自動機 模型檢驗 形式化方法 UPPAAL

【摘要】：隨著工業(yè)的發(fā)展,產(chǎn)品的生產(chǎn)制造逐漸向智能化邁進。磁性材料生產(chǎn)線主要研究智能化生產(chǎn)過程。該生產(chǎn)線由多種設(shè)備及控制器構(gòu)成,涉及不同工序間設(shè)備的交互,及同一工序間不同設(shè)備的并行。采用時間自動機建立生產(chǎn)線模型,利用控制器傳輸信號,實現(xiàn)生產(chǎn)線的有效調(diào)度。并通過模型檢驗工具UPPAAL驗證模型性質(zhì),保證生產(chǎn)線的正確性和安全性。
【作者單位】： 同濟大學(xué);
【分類號】：TP301.1;TM27
【正文快照】： 1背景磁性材料是電子行業(yè)非常重要的材料,已成為推進我國經(jīng)濟發(fā)展中不可或缺的電子產(chǎn)品元件。不僅常見于日常生活家電、汽車、電腦、通訊等,并且在醫(yī)療、航太、軍事等領(lǐng)域的應(yīng)用十分廣泛。磁性材料生產(chǎn)線的調(diào)度算法設(shè)計將有效提高生產(chǎn)效率,為企業(yè)降低能耗;其安全性驗證,可以保

【相似文獻】

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

1 陳亞;李峭;趙露茜;;時間自動機流量特性的硬件模擬[J];電光與控制;2013年11期

2 鄧小妮;羅雪山;;向時間自動機轉(zhuǎn)換的軍事電子信息系統(tǒng)性質(zhì)驗證[J];火力與指揮控制;2011年12期

3 許慶國;繆淮扣;;在原型驗證系統(tǒng)中構(gòu)建度量區(qū)間時序邏輯公式的時間自動機(英文)[J];Journal of Shanghai University(English Edition);2008年04期

4 童超;;利用時間自動機理論探討客專RBC控車流程[J];鐵路通信信號工程技術(shù);2010年01期

5 朱維軍;劉保羅;周清雷;;時間自動機與信號自動機的互模擬算法[J];華南理工大學(xué)學(xué)報(自然科學(xué)版);2008年05期

6 王若川;楊孟飛;喬磊;;基于時間自動機的操作系統(tǒng)中斷管理建模與驗證[J];空間控制技術(shù)與應(yīng)用;2014年04期

7 梁冰;劉群;;基于時間自動機網(wǎng)的C~3I系統(tǒng)建模和實時性驗證[J];哈爾濱工程大學(xué)學(xué)報;2008年03期

8 蔣建軍;王長林;;基于UPPAAL的列車自動防護系統(tǒng)形式化建模與驗證[J];鐵路計算機應(yīng)用;2014年08期

9 宋海鋒;唐濤;李開成;呂繼東;;基于XML的時間自動機狀態(tài)可達性分析在RBC子系統(tǒng)中的應(yīng)用[J];鐵路計算機應(yīng)用;2014年06期

10 郭志良;郜春海;馬連川;呂繼東;;基于時間自動機模型的安全計算機平臺的形式化驗證[J];鐵道學(xué)報;2011年06期

中國重要會議論文全文數(shù)據(jù)庫 前2條

1 ;基于時間自動機的實時系統(tǒng)建模及驗證[A];第六屆和諧人機環(huán)境聯(lián)合學(xué)術(shù)會議（HHME2010)、第19屆全國多媒體學(xué)術(shù)會議（NCMT2010）、第6屆全國人機交互學(xué)術(shù)會議（CHCI2010）、第5屆全國普適計算學(xué)術(shù)會議（PCC2010）論文集[C];2010年

2 高新;臧洌;黃越;;基于分簇和時間自動機的Ad hoc入侵檢測方法研究[A];2010通信理論與技術(shù)新發(fā)展——第十五屆全國青年通信學(xué)術(shù)會議論文集（下冊）[C];2010年

中國碩士學(xué)位論文全文數(shù)據(jù)庫 前10條

1 李建龍;PLC系統(tǒng)及其FBD編程語言的形式化建模與實時性驗證[D];華僑大學(xué);2015年

2 常軍旺;基于擴展時間Petri網(wǎng)的嵌入式中斷建模與驗證[D];大連理工大學(xué);2015年

3 石少玲;基于時間自動機的嵌入式工業(yè)控制系統(tǒng)建模與分析[D];昆明理工大學(xué);2016年

4 趙鑫;基于時間自動機的ECA規(guī)則系統(tǒng)建模與交互問題驗證[D];大連理工大學(xué);2016年

5 周顏;時間自動機可達性檢測方法研究[D];鄭州大學(xué);2007年

6 李巖;可調(diào)整時間自動機可達性算法的研究與實現(xiàn)[D];上海交通大學(xué);2014年

7 王靜;基于時間自動機的模型驗證理論及應(yīng)用研究[D];鄭州大學(xué);2005年

8 朱維軍;基于時間自動機若干新模型的研究[D];鄭州大學(xué);2005年

9 孫全勇;時間自動機及其應(yīng)用研究[D];哈爾濱工程大學(xué);2007年

10 程永江;基于時間自動機的模型驗證技術(shù)[D];鄭州大學(xué);2009年

，

本文編號：1159137