王昊
(合肥工業(yè)大學(xué)機(jī)械工程學(xué)院,合肥 230009)
CPS環(huán)境下機(jī)械產(chǎn)品裝配過(guò)程虛擬裝配單元建模研究
王昊
(合肥工業(yè)大學(xué)機(jī)械工程學(xué)院,合肥 230009)
為實(shí)現(xiàn)機(jī)械產(chǎn)品裝配過(guò)程動(dòng)態(tài)感知、協(xié)同交互的智能裝配目標(biāo),在分析CPS于機(jī)械產(chǎn)品裝配過(guò)程應(yīng)用模式基礎(chǔ)上,提出CPS環(huán)境下的虛擬裝配單元(Virtual Assembly Unit,VAU)概念,然后完成單元建模和仿真交互。首先,通過(guò)分析CPS環(huán)境下機(jī)械產(chǎn)品裝配過(guò)程特點(diǎn)來(lái)研究裝配過(guò)程信息流動(dòng)路徑及信息交互需求;其次,以裝配線工作站為研究對(duì)象,運(yùn)用擴(kuò)展Petri網(wǎng)將其抽象成若干具備內(nèi)部自治能力的虛擬裝配單元,VAU由單元?jiǎng)幼鞴δ苣K組成,以門(mén)變遷與信息庫(kù)所表示功能模塊之間的信息交互;最后,以發(fā)動(dòng)機(jī)裝配中的凸輪軸涂膠工作站為例,依據(jù)工作站內(nèi)部功能邏輯和作業(yè)標(biāo)準(zhǔn)約束,對(duì)虛擬裝配單元功能邏輯交互進(jìn)行仿真。
CPS;Petri網(wǎng);虛擬裝配單元;交互仿真
Rfid技術(shù)及嵌入式技術(shù)為生產(chǎn)的實(shí)時(shí)動(dòng)態(tài)過(guò)程檢測(cè)與控制提供技術(shù)基礎(chǔ)[1],IoT(Internet of Things)對(duì)于制造業(yè)影響深刻,推進(jìn)了智能制造進(jìn)程[2]。為了更好地實(shí)現(xiàn)生產(chǎn)要素的互聯(lián)互通,生產(chǎn)過(guò)程的網(wǎng)絡(luò)化,CPS的概念、目標(biāo)逐漸清晰[3]。
信息物理系統(tǒng)(Cyber Physical system,CPS)是在環(huán)境感知的基礎(chǔ)上,深度融合了計(jì)算、通信和控制能力的智能系統(tǒng)[4]。計(jì)算系統(tǒng)與物理系統(tǒng)的融合,賦予了CPS特有的空間屬性,文獻(xiàn)[5]在時(shí)間Petri網(wǎng)的基礎(chǔ)上引入了空間因素,構(gòu)造了時(shí)空Petri網(wǎng)模型,文獻(xiàn)[6]提出以分布式代理為模塊的交互媒介的結(jié)構(gòu),理順模塊間的信息交互。文獻(xiàn)[7]用顏色對(duì)裝配資源進(jìn)行分類(lèi),并將裝配資源Agent內(nèi)部行為進(jìn)行封裝,構(gòu)建了單元Agent,具有對(duì)象化的思維。伯克利大學(xué)的愛(ài)德華·李提出了“信息系統(tǒng)物理化,物理系統(tǒng)信息化”的概念,來(lái)解決物理實(shí)體與信息實(shí)體的建模及二者交互的問(wèn)題。文獻(xiàn)[8]以面向?qū)ο蟮臅r(shí)間著色Petri網(wǎng)為工具搭建了管控一體平臺(tái),完成物聯(lián)網(wǎng)環(huán)境下面向?qū)ο蟮腜etri網(wǎng)建模。
因此,文中面向CPS環(huán)境下的機(jī)械產(chǎn)品裝配過(guò)程,以裝配工作站為研究對(duì)象,利用擴(kuò)展Petri網(wǎng),抽象出基本動(dòng)作模塊并完成建模,在基本動(dòng)作模塊基礎(chǔ)上,構(gòu)造出虛擬裝配單元模型;根據(jù)單元內(nèi)部邏輯與信息交互需求,對(duì)虛擬裝配單元工作機(jī)制進(jìn)行交互仿真,驗(yàn)證交互有效性、建??尚行?。
計(jì)算實(shí)體[9-10](LP)層資源是由諸如可編程處理器、服務(wù)器等具有自主傳輸、數(shù)據(jù)存儲(chǔ)與邏輯判斷能力的實(shí)體組成的集合,是CPS環(huán)境下裝配單元的核心部分,負(fù)責(zé)整個(gè)單元的控制邏輯、資源分配,處于信息流的頂端。物理實(shí)體(PE)層是數(shù)據(jù)產(chǎn)生的源頭,包括設(shè)備動(dòng)作、質(zhì)量數(shù)據(jù)、資源動(dòng)態(tài)等數(shù)據(jù),涵蓋感知設(shè)備、執(zhí)行設(shè)備、人員、物料等底層實(shí)體。信息交互(EN)層為整條信息流提供各類(lèi)接口服務(wù),在數(shù)據(jù)安全、協(xié)議轉(zhuǎn)換等方面有極重要的地位。裝配單元資源架構(gòu)如圖1所示。
將現(xiàn)場(chǎng)物理實(shí)體對(duì)象與裝配規(guī)則、狀態(tài)等映射為庫(kù)所;改變系統(tǒng)狀態(tài)的事件、資源的消耗、信息獲取使用等映射為變遷。有時(shí)間屬性的變遷為延時(shí)變遷,具有著色功能的變遷完成決策,門(mén)變遷是單元內(nèi)部模塊之間進(jìn)行交互的接口,用來(lái)表示信息交互;有向弧代表庫(kù)所與變遷之間的信息流、物料流及工藝方向等。定義庫(kù)所與變遷如圖2所示:普通庫(kù)所設(shè)備庫(kù)所,物料庫(kù)所,信息庫(kù)所虛擬庫(kù)所普通變遷,延時(shí)變遷決策變遷接口變遷(,虛擬變遷
圖2 Petri網(wǎng)基本符號(hào)
基本動(dòng)作模塊。機(jī)械產(chǎn)品裝配過(guò)程中為了完成某一最小邏輯功能而涉及到的軟硬件組成的最小實(shí)體的功能性集合。
標(biāo)識(shí)模塊[11-12](ID_mod)。負(fù)責(zé)標(biāo)識(shí)產(chǎn)品,具有識(shí)別與被識(shí)別的功能,是識(shí)別與監(jiān)測(cè)產(chǎn)品的物理實(shí)體抽象模型組合。
感知模塊(SE_mod)。負(fù)責(zé)產(chǎn)品及環(huán)境變化的感知,主要感知產(chǎn)品的坐標(biāo)、姿態(tài)以及產(chǎn)品對(duì)象的到位及離開(kāi)等基本物理狀態(tài)。
執(zhí)行模塊(EX_mod)。負(fù)責(zé)接收和完成動(dòng)作指令的執(zhí)行器,完成要求動(dòng)作的輸出并將動(dòng)作產(chǎn)生的數(shù)據(jù)給出相應(yīng)反饋。
交互模塊(IN_mod)。負(fù)責(zé)獲將指定信息發(fā)送至相關(guān)模塊或者其它單元,完成信息的傳輸。
狀態(tài)模塊(ST_mod)。負(fù)責(zé)監(jiān)控所在單元基本狀態(tài),如網(wǎng)絡(luò)通訊狀態(tài)。
虛擬裝配單元(Virtual Assembly Unit,VAU)定義:抽象CPS環(huán)境下機(jī)械產(chǎn)品裝配過(guò)程物理實(shí)體的動(dòng)態(tài)、靜態(tài)屬性,結(jié)合單元邏輯并融合計(jì)算實(shí)體,構(gòu)成的能夠獨(dú)立完成數(shù)據(jù)采集、信息交互與動(dòng)作調(diào)控等功能的抽象模型。
以工作站為單位,結(jié)合工作站的物理實(shí)體、計(jì)算實(shí)體和單元顏色集合來(lái)構(gòu)建虛擬裝配單元OCPN(Objectoriented Colored Petri Net,OCPN)Petri網(wǎng)模型[13-14]。OCPNj=(MPj,PEj,LPj,CPj)Petri網(wǎng)模型由4個(gè)元素組元,下標(biāo)j以區(qū)別不同的VAU;MPj={MPi,1,2,··,n,n∈N},MPi是VAU中對(duì)象化的單元基本動(dòng)作模塊集合,VAU根據(jù)工作站功能的不同來(lái)配置單元?jiǎng)幼鞴δ苣K,在VAU中主要負(fù)責(zé)交互接口與功能實(shí)現(xiàn),是VAU的主體部分。PEj={PEi,1,2,··,n,n∈N},為上文定義的環(huán)境范圍內(nèi)物理實(shí)體抽象而成的四元組模型PEj=(EID,EPRO,EINT,ESTATE),包含了工作站物理實(shí)體的實(shí)時(shí)靜態(tài)、動(dòng)態(tài)屬性信息,以實(shí)現(xiàn)VAU的動(dòng)態(tài)可解析化、可視化等功能。LPj={LPi,1,2,··,n,n∈N},表示VAU中物理實(shí)體與模塊間的關(guān)聯(lián)關(guān)系,資源調(diào)用協(xié)議與執(zhí)行方案、上層數(shù)據(jù)配置信息、隊(duì)列處理邏輯等,是VAU的計(jì)算中樞。CPj={CPi,1,2,··,n,n∈N},是單元中令牌顏色集合,代表邏輯條件的滿(mǎn)足與否,能夠表征裝配過(guò)程中產(chǎn)品基本信息、合格信息、隊(duì)列信息及產(chǎn)品在不同單元間流動(dòng)及所需處理模式的差異等。虛擬裝配單元運(yùn)行邏輯如圖3所示。
圖3 虛擬裝配單元運(yùn)行邏輯圖
基于VAU的資源集合方式、運(yùn)行邏輯,以發(fā)動(dòng)機(jī)裝配過(guò)程中涂膠工作站為例構(gòu)建VAU單元并完成自治實(shí)例解析。由單元模型OCPNj=(MPj,PEj,LPj,CPj),和涂膠工作站硬件配置可得5個(gè)模塊組成虛擬涂膠單元。各個(gè)模塊的物理實(shí)體有={Rfid讀寫(xiě)器,電子標(biāo)簽}={停止器,金屬傳感器,紅外線傳感器,視覺(jué)圖像傳感器,電磁閥}={OPC中間軟件,PLC,交換機(jī)等}={視覺(jué)相機(jī),涂膠設(shè)備,電磁閥,停止器等},{網(wǎng)絡(luò)及電力狀態(tài)監(jiān)控}。VAU物理實(shí)體集合:PEb2={視覺(jué)相機(jī),涂膠設(shè)備,停止器,電磁閥,Rfid讀寫(xiě)器···},而且PEb2是靜態(tài)屬性與動(dòng)態(tài)屬性的解析與追溯數(shù)據(jù)源。LPb2={PLC控制器,服務(wù)器數(shù)據(jù)配置,服務(wù)器執(zhí)行邏輯配置}?;赩AU的涂膠工作站交互仿真如圖4所示。
圖4 基于VAU的涂膠工作站交互仿真
文中從對(duì)象化建模的角度,結(jié)合CPS思想,構(gòu)建了VAU的OCPN模型,在VAU模型的基礎(chǔ)上完成了單元自治仿真,此模型具有如下特點(diǎn):1)該虛擬裝配單元模型具有較高的可解析性,通過(guò)索引可以實(shí)現(xiàn)現(xiàn)場(chǎng)狀態(tài)的實(shí)時(shí)監(jiān)控。2)單元內(nèi)信息交互暢通,實(shí)現(xiàn)互聯(lián)互通、消除信息孤島,涉及的思想可以為智能工廠建模提供參考。
[1] 劉衛(wèi)寧,黃文雷,孫棣華,等.基于射頻識(shí)別的離散制造業(yè)制造執(zhí)行系統(tǒng)設(shè)計(jì)與實(shí)現(xiàn)[J].計(jì)算機(jī)集成制造系統(tǒng),2007,13(10):1886-1890.
[2] GUBBI J,BUYYA R,MARUSIC S,et al.Internet of Things(IoT):A vision,architectural elements,and future directions[J].Future Generation Computer Systems,2013,29(7):1645-1660.
[3] 陳麗娜,王小樂(lè),鄧蘇.CPS體系結(jié)構(gòu)設(shè)計(jì)[J].計(jì)算機(jī)科學(xué),2011,38(5):295-300.
[4] LEE E A.Cyber physical systems:Design challenges[C]//Object Oriented Real-Time Distributed Computing (ISORC),2008 11th IEEE International Symposium on.IEEE,2008:363-369.
[5] 張茗泰,張廣泉,張侃,等.描述CPS物理實(shí)體的時(shí)空Petri網(wǎng)模型[J].計(jì)算機(jī)科學(xué)與探索,2013,7(4):377-384.
[6] MULLER R,VETTE M,HORAUF L,et al.Concept and implementation of an agent-based control architecture for a cyber-physical assembly system [C]//MATEC Web of Conferences.EDP Sciences,2016,42:04003.
[7] 苑明海,白穎,李東波.基于面向Agent的賦時(shí)著色Petri網(wǎng)的可重構(gòu)裝配線建模[J].計(jì)算機(jī)集成制造系統(tǒng),2008,14(11):2142-2149.
[8] 劉明周,馬靖,趙志彪,等.物聯(lián)網(wǎng)環(huán)境下的機(jī)械產(chǎn)品管控一體智能裝配系統(tǒng)建模[J].計(jì)算機(jī)集成制造系統(tǒng),2015,21(3):669-679.
[9] 蘇春.制造系統(tǒng)建模與仿真[M].北京:機(jī)械工業(yè)出版社,2014.
[10] 王小樂(lè),黃宏斌,鄧蘇,等.信息物理系統(tǒng)資源能力建模[J].計(jì)算機(jī)科學(xué),2012,39(2):227-231.
[11]劉子微.CPS系統(tǒng)的時(shí)空UML模型建模方法研究[D].上海:華東師范大學(xué),2012.
[12]宋翠葉.基于事件的CPS系統(tǒng)行為仿真建模方法研究[D].西安:西北工業(yè)大學(xué),2015.
[13] 楊剛,沈沛意,鄭春紅.物聯(lián)網(wǎng)理論與技術(shù)[M].北京:科學(xué)出版社,2010.
[14] 黃東軍.物聯(lián)網(wǎng)技術(shù)導(dǎo)論[M].北京:電子工業(yè)出版社,2012.
Research on Virtual Assembly Unit Modeling of Mechanical Assembly Process under the Environment of CPS
WANG Hao
(School ofMechanical Engineering,Hefei UniversityofTechnology,Hefei 230009,China)
In order to realize the intelligent assembly target of dynamic sensing and collaborative interaction of mechanical product assembly process,this paper analyzes CPS and application model of mechanical product assembly process,and proposes the concept of virtual assembly unit(VAU)under CPS environment.Unit modeling and simulation interaction are achieved.Firstly,the flow path and information interaction of the assembly process information are analyzed based on the characteristics of the mechanical product assembly process in the CPS environment.Secondly,the assembly line workstation is used as the research object,and the extended Petri net is used to abstract it into several virtual assembly units with internal self-control capability.The VAU consists of the unit action function module,gate transition andfunction module are used to represent information interaction.Taking the camshaft gluing workstation in the engine assembly as an example,the functional logic interaction of the virtual assembly unit is simulated according to the functional logic and the operation standard of the workstation.
CPS;Petri net;virtual assembly unit;interactive simulation
TH 166
A
1002-2333(2018)01-0086-03
(編輯昊 天)
王昊(1990—),男,碩士研究生,研究方向?yàn)橹圃爝^(guò)程監(jiān)測(cè)與控制。
2017-03-30