计算机集成制造系统
計算機集成製造繫統
계산궤집성제조계통
COMPUTER INTEGRATED MANUFACTURING SYSTEMS
2010年
8期
1634-1642
,共9页
赵晓峰%赵正旭%周以齐%杨超英
趙曉峰%趙正旭%週以齊%楊超英
조효봉%조정욱%주이제%양초영
虚拟制造%过程元模型%集成%Z规范%形式化
虛擬製造%過程元模型%集成%Z規範%形式化
허의제조%과정원모형%집성%Z규범%형식화
为解决虚拟制造系统间过程信息的集成与共享,提出了一种基于虚拟制造过程元模型和形式化Z语言工具的过程模型规范研究方法.元模型以活动和连接弧为核心,关联制造过程中的产品、资源、转移条件和相关数据,并根据制造过程特点设计了三种标志节点、七种任务节点和两类连接弧.过程要素的Z规范描述保证了数据语义的准确性和无二义性.通过对典型的车间生产和装配过程进行建模,验证了元模型的有效性.
為解決虛擬製造繫統間過程信息的集成與共享,提齣瞭一種基于虛擬製造過程元模型和形式化Z語言工具的過程模型規範研究方法.元模型以活動和連接弧為覈心,關聯製造過程中的產品、資源、轉移條件和相關數據,併根據製造過程特點設計瞭三種標誌節點、七種任務節點和兩類連接弧.過程要素的Z規範描述保證瞭數據語義的準確性和無二義性.通過對典型的車間生產和裝配過程進行建模,驗證瞭元模型的有效性.
위해결허의제조계통간과정신식적집성여공향,제출료일충기우허의제조과정원모형화형식화Z어언공구적과정모형규범연구방법.원모형이활동화련접호위핵심,관련제조과정중적산품、자원、전이조건화상관수거,병근거제조과정특점설계료삼충표지절점、칠충임무절점화량류련접호.과정요소적Z규범묘술보증료수거어의적준학성화무이의성.통과대전형적차간생산화장배과정진행건모,험증료원모형적유효성.