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

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

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

【相似文獻(xiàn)】

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

1 陳亞;李峭;趙露茜;;時(shí)間自動(dòng)機(jī)流量特性的硬件模擬[J];電光與控制;2013年11期

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

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

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

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

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

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

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

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

10 郭志良;郜春海;馬連川;呂繼東;;基于時(shí)間自動(dòng)機(jī)模型的安全計(jì)算機(jī)平臺(tái)的形式化驗(yàn)證[J];鐵道學(xué)報(bào);2011年06期

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

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

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

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

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

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

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

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

5 周顏;時(shí)間自動(dòng)機(jī)可達(dá)性檢測(cè)方法研究[D];鄭州大學(xué);2007年

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

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

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

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

10 程永江;基于時(shí)間自動(dòng)機(jī)的模型驗(yàn)證技術(shù)[D];鄭州大學(xué);2009年

，

本文編號(hào)：1159137