期刊文献+

基于同步网的虚拟拆卸过程建模方法研究 被引量:7

Modeling of Virtual Disassembly Process Based on Synchronous Net
下载PDF
导出
摘要 针对大型复杂装备虚拟拆卸过程建模问题,分析了其在拆卸作业的顺序关系、逻辑关系和语义表示等方面的需求。基于同步网给出了虚拟拆卸网(VDN)的定义和规则,其中变迁表示了维修作业中的拆卸动作,库所表示拆卸过程中部件的状态,同步器定义了拆卸序列的选择和并行关系。VDN能够确定拆卸序列、描述维修动作之间的逻辑关系,具有拆卸作业的具体语义,包含了维修知识信息。详细给出了VDN建模的步骤和简化规则,并通过一个VDN建模实例对方法和可行性进行了验证。 To the question of large scale equipment virtual disassembly process modeling,the requirements on disassembly sequence,logic relations,and semantic representation are analyzed.Virtual disassembly net(VDN) is proposed based on synchronous net,whose place represents status of the disassembled equipment,transition represents disassembly action,and synchronizer decides the parallel or choice relation between actions.VDN decides the disassembly sequence,describes logical relations of disassembly actions,specifies meanings of the actions',and contains maintenance knowledge information.The modeling steps and simplification rules are studied in detail,and the feasibility of VDN is validated by an example model.
出处 《系统仿真学报》 CAS CSCD 北大核心 2012年第3期541-545,550,共6页 Journal of System Simulation
关键词 维修 拆卸 过程 建模 同步网 maintenance disassembly process modeling synchronous net
  • 相关文献

参考文献7

二级参考文献28

  • 1李飚,郭峰,姚淑珍.UML状态图至Petri网转化方法的研究[J].系统仿真学报,2005,17(z1):207-210. 被引量:1
  • 2徐峻,沈康辰,黄柏林.着色Petri网在工作流建模中的应用[J].计算机应用与软件,2004,21(7):47-48. 被引量:9
  • 3WFMC-The Workflow Management Coalition Specification:Terminology & Glossary [S].Document Number fMC2TC21011.Version 3.0,February 1999.
  • 4Workflow Management Coalition.The workflow reference model [S].WFMC TC0021003,1994.
  • 5Harel D,Pnueli A.On the development of reactive system [M].Apt K ed.Logics and models of Concurrent system,NATO ASI series F13,Berlin,Springer2Verlag,1985.
  • 6David Harel,Michal Politi.Modeling Reactive Systems with Statecharts [M].McGraw-Hill,1998.
  • 7UML 2.0 Superstructure Specification [EB/OL].Http://www.Omg.Org/issues/ ptc/03-08-02.
  • 8UML 2.0 Infrastructure Specification [EB/OL].Http://www.omg.Org/issues/ ptc/03-09-15.
  • 9Eshuis R,Wieringa R.A formal semantics for UML activity diagrams [R].Technical Report TR2CTIT201204,University of Twente,2001.
  • 10Hendrik Eshuis.Semantics and verification of UML Activity Diagrams for workflow modeling [D].University of Twente,2002.

共引文献56

同被引文献67

引证文献7

二级引证文献16

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部