虚拟制造环境的信息规范及其Z描述研究
|
摘要
虚拟制造技术因能在产品实际制造之前,在计算机中模拟产品生产制造的不同过程,从而及时发现问题,优化生产,避免重大失误,而受到广泛重视。
虚拟制造系统有两种开发途径,其中在虚拟现实VR平台上定制开发专用的虚拟制造系统的方法,由于能够满足企业多方面的复合需求,而应用广泛,但这种途径的开发难度较大。本文通过分析指出数据模型、规范的接口文件、仿真工具是影响虚拟制造系统开发效率的重要因素。为提高虚拟制造系统的开发效率,本文提出在VR平台之外应设计一个虚拟制造通用平台,由该平台定义规范的数据模型,并提供规范接口和仿真工具。
另外,虚拟制造系统在表达制造相关数据时,没有规范数据模型可以参照,在数据共享时,缺乏产品制造信息规范。本文通过分析指出,要实现虚拟制造系统的快速创建与数据共享,就有必要对制造数据进行规范化研究。
在虚拟制造通用平台的很多研究内容中,本文在分析了通用平台的功能定位和模型构成的基础上,选择通用平台的形式化开发方法、制造模型的形式化描述、制造模型的数据规范化作为本文研究的重点内容。
在工具选择上,由于形式化方法与面向过程和面向对象两类方法相比,在系统及数据的描述方面更严谨、准确、清晰,因此,本文研究如何使用形式化方法开发虚拟制造系统平台,并进行相关数据的形式化规范研究。
通过综合分析和总结规范化方法的步骤和工具,本文提出了虚拟制造通用平台制造数据的规范描述方案,利用Z语言形式化地描述了与制造相关的产品、资源和过程模型,并在此基础上采用基于元模型的规范化技术对相关数据进行了文本设计。
本文提出的虚拟制造通用开发平台,有助于形成一种新的虚拟制造系统开发模式或构建途径,能够降低虚拟制造系统的开发难度；其次,形式化方法的使用利于开发出高稳定性、高可靠性的虚拟制造系统；而且,形式化描述和规范化设计的结果,可以实现虚拟制造通用开发平台的数据规范化,有助于实现不同系统间的数据共享,对虚拟制造系统的开发和系统集成有重要的指导意义和应用价值。
完成的主要研究工作包括：
(1)研究了基于Z语言的虚拟制造系统形式化描述过程,并指出了基于此形式化方法的各类虚拟制造系统的开发模式。
针对面向过程和面向对象的开发方法在使用自然语言或图形符号描述系统时,可能存在冗余、错误、矛盾的现状,本文采用具有严格数学基础的形式化技术描述系统。研究了如何以集合的观点描述虚拟制造系统,按照Z语言描述的-般过程,对较高层次的虚拟制造系统进行了完整的形式化描述。并指出了在通用平台制造信息元数据的支持下,各类虚拟制造系统相似的开发模式。
(2)研究了虚拟制造系统中产品模型的Z语言形式化描述技术。
按照形式化方法的要求,从集合的观点,将产品模型设计为通用属性、零件、部件、拓扑关系、装配及机构约束、各种精度属性(含尺寸精度、形状位置公差、表面结构、配合等)以及各种基准等要素的集合。
在分析虚拟制造系统对产品模型在显示方便性、可编辑性、工程语义等方面要求的基础上,提出了一种能够表达各种产品工程语义的产品模型。其中在几何模型部分,提出了一种CSG和B-rep相融合的基于特征的产品几何模型。该几何模型保留了现有规范对产品最终表面的描述,不改变现有规范便于显示的特点,同时增加了产品造型过程描述,并将最终状态表面与产品造型过程进行了关联,支持了对产品造型过程和加工工艺的描述。在产品模型中设计了产品特征表面层,能够支持产品装配关系的描述。在产品模型中设计增加了基准要素集合的描述,能够支持产品尺寸、形位公差、配合精度、表面结构等工程信息的描述。
在装配和机构约束方面,设计了两种描述方法。一种是采用装配法描述零部件间的静态位置关系,一种是采用运动副链接法描述零部件间的动态运动约束关系。链接法通过父子构件间的位姿关系和运动关系完成构件间运动约束关系的定义,能够满足轴数不限、平动或转动方向任意的串联结构机床的机构模型表达。
拓扑关系方面,解决了使用Z语言描述产品零部件间的包含关系,零件与CSG模型及B-rep模型的关联关系,以及B-rep模型内部的层次关系等关键问题。
同时对于各Z语言模式中使用的类型,按照从上到下的层次顺序,逐步进行了细化描述,基本完成了一个兼顾显示、可编辑特性的,并包含制造信息的产品模型的Z语言形式化描述。
(3)研究了虚拟制造系统中资源模型的Z语言形式化描述技术。
从集合的观点,本文将设备资源模型设计为通用属性、构成设备的零部件集合、零部件间的拓扑关系集合、操作面板集合、操作控制关系集合、可动零部件集合、不可动零部件集合、以及功能类型等要素的集合。除去在产品模型部分已经完成的部分外,本文重点描述了设备的操作面板、操作控制过程、及功能属性。
操作控制面板方面,通常根据功能和形式不同,面板组件被分为输出显示区、指示灯、动静态文本、旋钮、按钮五类,本文分别对五类组件进行了Z语言描述,并完成了操作面板模式的定义。
在操作控制过程方面,采用了基于元模型建立操作控制过程模型的方法,并提出了一种设备操作控制过程元模型。该元模型定义每个操作控制过程都由标志节点、连接弧和受控运动节点三种元素构成,每个受控运动节点都包括驱动部件、从动部件、运动模式、相关数据、扇入及扇出逻辑节点共六类要素。同时本文设计了基于此元模型进行操作控制过程建模的图形描述方法。元模型的提出统一了资源操作控制过程的建模方法,使建模更简单、易于理解。
在功能属性方面,根据面向生产类的虚拟制造系统需求,设计采用抽象功能、状态集、规则集简要描述各类资源的功能属性。为区分部件的运动能力,将部件分为有动力运动、有动力静止、无动力运动、无动力静止四类,同时,为区分运动能力和承载状态的不同,为部件设计了四种主从运动状态。解决了抽象功能和状态集的Z语言描述问题。
(4)研究了面向生产的过程模型的Z语言形式化描述技术。
从集合和状态的角度,将生产过程设计为具有相同生产方案的同种产品的制造过程模型的集合。
在制造过程模型的设计中,本文在深入研究了工作流过程元模型、企业生产中的“方法研究分析技术”、及过程描述的图形工具IDEF3的基础上,提出了面向车间加工、装配的虚拟制造系统过程元模型。按照该过程元模型,一个制造过程被设计为开始节点、终止节点、任务节点、控制连接弧、单对节点运输弧、多对节点运输弧等要素的集合。每个过程模型都由子过程和过程核心元素组成,过程核心元素包括节点和连接弧,节点和连接弧都包含产品、资源、相关数据和转移条件四个要素,分别回答加工装配过程中处理什么产品、用什么设备、采用什么方式处理,处理之后产品去向哪里的问题。活动由节点表示,包括三种标志节点、七种任务节点,每种任务节点分别对应固定资源中的一个设备；连接弧两端各连接一个节点,根据是否涉及产品运输,分为控制连接弧和对象连接弧两种,对于只表达节点间顺序关系的连接,采用控制连接弧,对于除顺序关系外还涉及产品运输的,采用对象连接弧。设备资源,分为固定资源和运输资源,固定资源必须关联某任务节点,而运输资源则与对象连接弧关联。
同时,借鉴活动网络图方法,本文还针对该过程元模型,设计了一种生产过程的图形描述工具,具体包括九种符号。任务节点符号的设计部分继承了工程分析中的流程程序图五要素,其中完整保留了操作、检验、暂存和存储四要素的描述符号,运输要素转由对象连接弧,另外增加了装配、合成、拆分等任务及相应符号。
企业车间加工和装配过程建模的示例,验证了上述元模型的有效性。
(5)进行了虚拟制造系统产品、资源、生产过程模型规范文本设计。
分析了目前虚拟制造系统间可共享交换的数据少,且产品模型仅限于几何模型规范的现状。为了满足虚拟制造通用开发平台的功能需要,并实现制造系统虚拟仿真环境的快速重建与数据共享,需要对虚拟制造系统的产品、资源、过程等相关数据进行规范化研究。
依据目前广泛使用的基于元模型的数据规范化方法三个步骤,第一步数据及其关系描述方面,使用了本文前面利用UML对产品、资源、过程模型的描述成果：第二步数据属性描述方面,使用了前面相关模型的Z语言描述成果;第三步共享技术研究方面,本文在参考STEP文本的基础上,设计了相关模型的规范文本。
简而言之,为了提高虚拟制造系统的开发效率,从而促使虚拟制造系统的更广泛应用,有必要研究虚拟制造系统的通用开发平台,并围绕其开展相关研究。本文选择了通用平台的形式化开发方法、制造模型的形式化描述、制造模型的数据规范化作为本文研究的重点内容。给出了采用Z语言开发虚拟制造系统的一般方法和模式,采用形式化的开发方法有利于开发出高可靠性、高安全性的系统。设计了通用平台中的制造信息模型,并研究了制造信息模型的Z语言描述技术,制造模型的形式化描述有利于规范通用开发平台的数据内容。设计了制造模型共享交换的规范文本,有利于不同虚拟制造系统间的数据共享集成,以及利用通用平台快速创建虚拟制造系统。
Virtual manufacturing technology was used extensively, because it could optimize product manufacturing process, and could avoid serious mistakes, before the actual manufacturing of the product, through simulating different manufacturing processes in the computer. However, because the software development of Virtual Manufacturing System (VMS) is very difficult, the application of VMS was hindered.
This paper analyzed the two main building apporachs of virtual manufacturing system and reasons of their development efficiency. Then it was found that the data model, the interface specification and the simulation tools were important factors to the development efficiency.
Research of Virtual Manufacturing Platform (VMP) includes many works. Based on analysis of VMP function and composition, this paper focused on formal development method, formal description and data specification of manufacturing models.
No standard data model could be referred, no sharable data between different systems could be used and product model was in lack of engineering semantics. So in order to realize VMS rapid construction and data sharing, this paper thought that there was a need for standardization of manufacturing data. Compared with process-oriented and object-oriented methods, the system description according to formal method was stricter, accurater and clearer. So this paper used Z notation, a formal tool, to developt VMP and normalize the related data.
Based on comprehensive analysis and summary on the specification steps and tools, this paper proposed a manufacturing-related data specification solution for VMP, and used Z notation to describe the manufacturing-related products, resources, process model, and designed related data text format according to these description.
VMP proposed by this paper, will contribute to a new development mode of VMS, and will reduce the VMS development difficulty. Secondly, the use of formal methods will be helpful to the VMS development of high stability and high reliability. Moreover, the results of formal description and data specification, can realize data standardization of VMP, and can realize data sharing between different VMS. So the methods and results in this paper are valuable for VMS development and system integration.
The main content of the paper is summarized as follows:
(1) VMS formal description method using Z notation was studied, and a VMS development mode based on this formal method was put forward.
The tools used by Process-Oriented and Object-Oriented development approach were natural language or graphical symbols, so it was possible that system description contained redundancy, errors and contradictions. For this shortcoming, this paper used formal technology, which is based on strict mathematics theory, to describe VMS. According to the general description procedure of Z, the higher level formal description of VMS at the viewpoint of set was studied. A development mode of VMS based on the manufacturing information metadata was put forward.
(2) The formal specification technology of product model was studied.
According to formal method, at the viewpoint of set, the product model was designed as a set, which contained general attribution, parts, assemblies, topological relationship, assembly relationship, mechanism constraint, precision and datum elements.
In order to meet the demand of displayability, editability and engineering information of product model in VMS, a product model with engineering information was designed. In aspect of geometrical model, a based-feature model which combined CSG and B-rep was designed. It retained the product surface represent, added the modeling process represent, and designed a connection relation between them. The feature surface of the new product model could support the assembly relationship specification. The datum elements set could support engineering information specification, such as product dimension, form and position tolerance, fitness and surface roughness.
In aspect of assembly relation, two methods were designed. One was called "assemle", which could describe the static position relationship of models, another was called "Link", which could describe the dynamic mechanism motion constraint. The "Link" method defined the motion constraint through definition of "PoseRelationship" and "MotionRelationship".
In aspect of topological relationship, several key problems, such as Z specification of inclusion relation between parts and assemblies, Z specification of connection relation between CSG and B-rep, hierarchical relationship between B-rep models, were solved.
Many types used in Z schema specification were defined from top to bottom.
(3) The formal specification technology of resource model was studied.
According to formal method, at the viewpoint of set, the resource model was designed as a set, which contained general attribution, parts and components assembly, topological relationships, control panels, operating control relations, moveable components, unmoveable components, function elements. Except for the section defined in chapter 3, abstract function, control panels and operation process specificatioin were studied.
In aspect of control panel, the panel components were classified as output display, indicator, static text, turn button and button five types, according to function and form. The ControlPanel schema was defined on the basis of all components Z specification.
In aspect of operation control process, a control process metamodel was put forward. According to the metamodel, all operation control processes consisted of CtrlPFlagNode, CtrlPConnector and CtrlPMoveNode three kinds of nodes. Every CtrlPMoveNode consisted of DriveAssembly, DrivenAssembly, MoveMode, RelavantData, FanIn and FanOut six elements. And a graphical tool for control process modeling was designed. The control process modeling method based on the metamodel made resource modeling easier and more understandalbe.
In aspect of function specification, according to the demand of VMS face to manufacturing, resource function was designed as the abstract function, rules and states set. The assemblies were classified as ActiveMoveableAssembly, PassiveMoveable Assembly, ActiveStaticAssembly and PassiveStaticAssembly. In order to distinguish assembly ability and state, four states were designed for assembly. Thus specification problems of abstract function and state set were solved during using Z notatioin.
(4) The formal specification technology of produce model was studied.
According to formal method, at the viewpoint of set and state, the produce process model was designed as a set, which contained a manufacturing process for the same products with the same produce process.
In aspect of manufacturing process, a manufacturing process metamodel was put forward facing to machining and assembly, based on analysis of Workflow process metamodel, "method study analysis technology" in production, and IDEF3 standard. According to the metamodel, a machining or assembly process model is a set, which consisted of StartNode, EndNode, TaskNode, ControlConnector and ObjectConnector. Every manufacturing process is made up of subprocesses and kernel elements, which contained Node and Connector. Node and Connector are both consisted of Product, Resource, RelavantData and Transition. The four composition would answer four questions respectively, that is what product was being processed, what device was being used, which way was being used and where the product would go after this process. The manufactuing activity is presented by TaskNode, which contained three FlagNodes and seven TaskNodes. And every TaskNode was corresponding to a device of FixResource. The Connector connected two nodes, and was classified ControlConnector and ObjectConnector. The ControlConnector represented the sequence of two nodes, and the ObjectConnector also represented the products transportation except for sequence. The device resources were classified as fixed resource and transport resource. The fixed resource connected a TaskNode, and the transport resource connected ObjectConnector.
A graphical tool for manufacturing process modeling was designed, which is based on the activity network diagram. There were nine symbols in the graphical tool, four TaskNode symbols of which succeeded from "Flow process chart" of engineering analysis.
The modeling examples of machining and assembly, proved the metamodel effectiveness.
(5) The text format of product, production and produce model was designed for data sharing.
VMS was in lack of shareable data, so in order to meet function demand of VMP and realize quick reconstruction and data sharing of VMS, the research work for data specification of manufacturing model was necessary.
Data specification contained three steps; the first and second parts were finished by UML and Z. At the last step, a text format based on Z specification was designed.
In short, in order to improve the development efficiency of VMS, it is necessary to study a VMP. This paper focuses on the formal development method, formal description and data specification of manufacturing models. A Z-based formal development method, which is helpful to high reliability and high safety system development, was put forward for VMS. This paper designed related manufacturing information model, and realized specification description by Z notation. The formal specification of manufacturing model would be beneficial to VMP. The manufacturing informatioin model text would be beneficial to data sharing between different systems, and to quick reconstruction of VMS.
虚拟制造系统有两种开发途径,其中在虚拟现实VR平台上定制开发专用的虚拟制造系统的方法,由于能够满足企业多方面的复合需求,而应用广泛,但这种途径的开发难度较大。本文通过分析指出数据模型、规范的接口文件、仿真工具是影响虚拟制造系统开发效率的重要因素。为提高虚拟制造系统的开发效率,本文提出在VR平台之外应设计一个虚拟制造通用平台,由该平台定义规范的数据模型,并提供规范接口和仿真工具。
另外,虚拟制造系统在表达制造相关数据时,没有规范数据模型可以参照,在数据共享时,缺乏产品制造信息规范。本文通过分析指出,要实现虚拟制造系统的快速创建与数据共享,就有必要对制造数据进行规范化研究。
在虚拟制造通用平台的很多研究内容中,本文在分析了通用平台的功能定位和模型构成的基础上,选择通用平台的形式化开发方法、制造模型的形式化描述、制造模型的数据规范化作为本文研究的重点内容。
在工具选择上,由于形式化方法与面向过程和面向对象两类方法相比,在系统及数据的描述方面更严谨、准确、清晰,因此,本文研究如何使用形式化方法开发虚拟制造系统平台,并进行相关数据的形式化规范研究。
通过综合分析和总结规范化方法的步骤和工具,本文提出了虚拟制造通用平台制造数据的规范描述方案,利用Z语言形式化地描述了与制造相关的产品、资源和过程模型,并在此基础上采用基于元模型的规范化技术对相关数据进行了文本设计。
本文提出的虚拟制造通用开发平台,有助于形成一种新的虚拟制造系统开发模式或构建途径,能够降低虚拟制造系统的开发难度；其次,形式化方法的使用利于开发出高稳定性、高可靠性的虚拟制造系统；而且,形式化描述和规范化设计的结果,可以实现虚拟制造通用开发平台的数据规范化,有助于实现不同系统间的数据共享,对虚拟制造系统的开发和系统集成有重要的指导意义和应用价值。
完成的主要研究工作包括：
(1)研究了基于Z语言的虚拟制造系统形式化描述过程,并指出了基于此形式化方法的各类虚拟制造系统的开发模式。
针对面向过程和面向对象的开发方法在使用自然语言或图形符号描述系统时,可能存在冗余、错误、矛盾的现状,本文采用具有严格数学基础的形式化技术描述系统。研究了如何以集合的观点描述虚拟制造系统,按照Z语言描述的-般过程,对较高层次的虚拟制造系统进行了完整的形式化描述。并指出了在通用平台制造信息元数据的支持下,各类虚拟制造系统相似的开发模式。
(2)研究了虚拟制造系统中产品模型的Z语言形式化描述技术。
按照形式化方法的要求,从集合的观点,将产品模型设计为通用属性、零件、部件、拓扑关系、装配及机构约束、各种精度属性(含尺寸精度、形状位置公差、表面结构、配合等)以及各种基准等要素的集合。
在分析虚拟制造系统对产品模型在显示方便性、可编辑性、工程语义等方面要求的基础上,提出了一种能够表达各种产品工程语义的产品模型。其中在几何模型部分,提出了一种CSG和B-rep相融合的基于特征的产品几何模型。该几何模型保留了现有规范对产品最终表面的描述,不改变现有规范便于显示的特点,同时增加了产品造型过程描述,并将最终状态表面与产品造型过程进行了关联,支持了对产品造型过程和加工工艺的描述。在产品模型中设计了产品特征表面层,能够支持产品装配关系的描述。在产品模型中设计增加了基准要素集合的描述,能够支持产品尺寸、形位公差、配合精度、表面结构等工程信息的描述。
在装配和机构约束方面,设计了两种描述方法。一种是采用装配法描述零部件间的静态位置关系,一种是采用运动副链接法描述零部件间的动态运动约束关系。链接法通过父子构件间的位姿关系和运动关系完成构件间运动约束关系的定义,能够满足轴数不限、平动或转动方向任意的串联结构机床的机构模型表达。
拓扑关系方面,解决了使用Z语言描述产品零部件间的包含关系,零件与CSG模型及B-rep模型的关联关系,以及B-rep模型内部的层次关系等关键问题。
同时对于各Z语言模式中使用的类型,按照从上到下的层次顺序,逐步进行了细化描述,基本完成了一个兼顾显示、可编辑特性的,并包含制造信息的产品模型的Z语言形式化描述。
(3)研究了虚拟制造系统中资源模型的Z语言形式化描述技术。
从集合的观点,本文将设备资源模型设计为通用属性、构成设备的零部件集合、零部件间的拓扑关系集合、操作面板集合、操作控制关系集合、可动零部件集合、不可动零部件集合、以及功能类型等要素的集合。除去在产品模型部分已经完成的部分外,本文重点描述了设备的操作面板、操作控制过程、及功能属性。
操作控制面板方面,通常根据功能和形式不同,面板组件被分为输出显示区、指示灯、动静态文本、旋钮、按钮五类,本文分别对五类组件进行了Z语言描述,并完成了操作面板模式的定义。
在操作控制过程方面,采用了基于元模型建立操作控制过程模型的方法,并提出了一种设备操作控制过程元模型。该元模型定义每个操作控制过程都由标志节点、连接弧和受控运动节点三种元素构成,每个受控运动节点都包括驱动部件、从动部件、运动模式、相关数据、扇入及扇出逻辑节点共六类要素。同时本文设计了基于此元模型进行操作控制过程建模的图形描述方法。元模型的提出统一了资源操作控制过程的建模方法,使建模更简单、易于理解。
在功能属性方面,根据面向生产类的虚拟制造系统需求,设计采用抽象功能、状态集、规则集简要描述各类资源的功能属性。为区分部件的运动能力,将部件分为有动力运动、有动力静止、无动力运动、无动力静止四类,同时,为区分运动能力和承载状态的不同,为部件设计了四种主从运动状态。解决了抽象功能和状态集的Z语言描述问题。
(4)研究了面向生产的过程模型的Z语言形式化描述技术。
从集合和状态的角度,将生产过程设计为具有相同生产方案的同种产品的制造过程模型的集合。
在制造过程模型的设计中,本文在深入研究了工作流过程元模型、企业生产中的“方法研究分析技术”、及过程描述的图形工具IDEF3的基础上,提出了面向车间加工、装配的虚拟制造系统过程元模型。按照该过程元模型,一个制造过程被设计为开始节点、终止节点、任务节点、控制连接弧、单对节点运输弧、多对节点运输弧等要素的集合。每个过程模型都由子过程和过程核心元素组成,过程核心元素包括节点和连接弧,节点和连接弧都包含产品、资源、相关数据和转移条件四个要素,分别回答加工装配过程中处理什么产品、用什么设备、采用什么方式处理,处理之后产品去向哪里的问题。活动由节点表示,包括三种标志节点、七种任务节点,每种任务节点分别对应固定资源中的一个设备；连接弧两端各连接一个节点,根据是否涉及产品运输,分为控制连接弧和对象连接弧两种,对于只表达节点间顺序关系的连接,采用控制连接弧,对于除顺序关系外还涉及产品运输的,采用对象连接弧。设备资源,分为固定资源和运输资源,固定资源必须关联某任务节点,而运输资源则与对象连接弧关联。
同时,借鉴活动网络图方法,本文还针对该过程元模型,设计了一种生产过程的图形描述工具,具体包括九种符号。任务节点符号的设计部分继承了工程分析中的流程程序图五要素,其中完整保留了操作、检验、暂存和存储四要素的描述符号,运输要素转由对象连接弧,另外增加了装配、合成、拆分等任务及相应符号。
企业车间加工和装配过程建模的示例,验证了上述元模型的有效性。
(5)进行了虚拟制造系统产品、资源、生产过程模型规范文本设计。
分析了目前虚拟制造系统间可共享交换的数据少,且产品模型仅限于几何模型规范的现状。为了满足虚拟制造通用开发平台的功能需要,并实现制造系统虚拟仿真环境的快速重建与数据共享,需要对虚拟制造系统的产品、资源、过程等相关数据进行规范化研究。
依据目前广泛使用的基于元模型的数据规范化方法三个步骤,第一步数据及其关系描述方面,使用了本文前面利用UML对产品、资源、过程模型的描述成果：第二步数据属性描述方面,使用了前面相关模型的Z语言描述成果;第三步共享技术研究方面,本文在参考STEP文本的基础上,设计了相关模型的规范文本。
简而言之,为了提高虚拟制造系统的开发效率,从而促使虚拟制造系统的更广泛应用,有必要研究虚拟制造系统的通用开发平台,并围绕其开展相关研究。本文选择了通用平台的形式化开发方法、制造模型的形式化描述、制造模型的数据规范化作为本文研究的重点内容。给出了采用Z语言开发虚拟制造系统的一般方法和模式,采用形式化的开发方法有利于开发出高可靠性、高安全性的系统。设计了通用平台中的制造信息模型,并研究了制造信息模型的Z语言描述技术,制造模型的形式化描述有利于规范通用开发平台的数据内容。设计了制造模型共享交换的规范文本,有利于不同虚拟制造系统间的数据共享集成,以及利用通用平台快速创建虚拟制造系统。
Virtual manufacturing technology was used extensively, because it could optimize product manufacturing process, and could avoid serious mistakes, before the actual manufacturing of the product, through simulating different manufacturing processes in the computer. However, because the software development of Virtual Manufacturing System (VMS) is very difficult, the application of VMS was hindered.
This paper analyzed the two main building apporachs of virtual manufacturing system and reasons of their development efficiency. Then it was found that the data model, the interface specification and the simulation tools were important factors to the development efficiency.
Research of Virtual Manufacturing Platform (VMP) includes many works. Based on analysis of VMP function and composition, this paper focused on formal development method, formal description and data specification of manufacturing models.
No standard data model could be referred, no sharable data between different systems could be used and product model was in lack of engineering semantics. So in order to realize VMS rapid construction and data sharing, this paper thought that there was a need for standardization of manufacturing data. Compared with process-oriented and object-oriented methods, the system description according to formal method was stricter, accurater and clearer. So this paper used Z notation, a formal tool, to developt VMP and normalize the related data.
Based on comprehensive analysis and summary on the specification steps and tools, this paper proposed a manufacturing-related data specification solution for VMP, and used Z notation to describe the manufacturing-related products, resources, process model, and designed related data text format according to these description.
VMP proposed by this paper, will contribute to a new development mode of VMS, and will reduce the VMS development difficulty. Secondly, the use of formal methods will be helpful to the VMS development of high stability and high reliability. Moreover, the results of formal description and data specification, can realize data standardization of VMP, and can realize data sharing between different VMS. So the methods and results in this paper are valuable for VMS development and system integration.
The main content of the paper is summarized as follows:
(1) VMS formal description method using Z notation was studied, and a VMS development mode based on this formal method was put forward.
The tools used by Process-Oriented and Object-Oriented development approach were natural language or graphical symbols, so it was possible that system description contained redundancy, errors and contradictions. For this shortcoming, this paper used formal technology, which is based on strict mathematics theory, to describe VMS. According to the general description procedure of Z, the higher level formal description of VMS at the viewpoint of set was studied. A development mode of VMS based on the manufacturing information metadata was put forward.
(2) The formal specification technology of product model was studied.
According to formal method, at the viewpoint of set, the product model was designed as a set, which contained general attribution, parts, assemblies, topological relationship, assembly relationship, mechanism constraint, precision and datum elements.
In order to meet the demand of displayability, editability and engineering information of product model in VMS, a product model with engineering information was designed. In aspect of geometrical model, a based-feature model which combined CSG and B-rep was designed. It retained the product surface represent, added the modeling process represent, and designed a connection relation between them. The feature surface of the new product model could support the assembly relationship specification. The datum elements set could support engineering information specification, such as product dimension, form and position tolerance, fitness and surface roughness.
In aspect of assembly relation, two methods were designed. One was called "assemle", which could describe the static position relationship of models, another was called "Link", which could describe the dynamic mechanism motion constraint. The "Link" method defined the motion constraint through definition of "PoseRelationship" and "MotionRelationship".
In aspect of topological relationship, several key problems, such as Z specification of inclusion relation between parts and assemblies, Z specification of connection relation between CSG and B-rep, hierarchical relationship between B-rep models, were solved.
Many types used in Z schema specification were defined from top to bottom.
(3) The formal specification technology of resource model was studied.
According to formal method, at the viewpoint of set, the resource model was designed as a set, which contained general attribution, parts and components assembly, topological relationships, control panels, operating control relations, moveable components, unmoveable components, function elements. Except for the section defined in chapter 3, abstract function, control panels and operation process specificatioin were studied.
In aspect of control panel, the panel components were classified as output display, indicator, static text, turn button and button five types, according to function and form. The ControlPanel schema was defined on the basis of all components Z specification.
In aspect of operation control process, a control process metamodel was put forward. According to the metamodel, all operation control processes consisted of CtrlPFlagNode, CtrlPConnector and CtrlPMoveNode three kinds of nodes. Every CtrlPMoveNode consisted of DriveAssembly, DrivenAssembly, MoveMode, RelavantData, FanIn and FanOut six elements. And a graphical tool for control process modeling was designed. The control process modeling method based on the metamodel made resource modeling easier and more understandalbe.
In aspect of function specification, according to the demand of VMS face to manufacturing, resource function was designed as the abstract function, rules and states set. The assemblies were classified as ActiveMoveableAssembly, PassiveMoveable Assembly, ActiveStaticAssembly and PassiveStaticAssembly. In order to distinguish assembly ability and state, four states were designed for assembly. Thus specification problems of abstract function and state set were solved during using Z notatioin.
(4) The formal specification technology of produce model was studied.
According to formal method, at the viewpoint of set and state, the produce process model was designed as a set, which contained a manufacturing process for the same products with the same produce process.
In aspect of manufacturing process, a manufacturing process metamodel was put forward facing to machining and assembly, based on analysis of Workflow process metamodel, "method study analysis technology" in production, and IDEF3 standard. According to the metamodel, a machining or assembly process model is a set, which consisted of StartNode, EndNode, TaskNode, ControlConnector and ObjectConnector. Every manufacturing process is made up of subprocesses and kernel elements, which contained Node and Connector. Node and Connector are both consisted of Product, Resource, RelavantData and Transition. The four composition would answer four questions respectively, that is what product was being processed, what device was being used, which way was being used and where the product would go after this process. The manufactuing activity is presented by TaskNode, which contained three FlagNodes and seven TaskNodes. And every TaskNode was corresponding to a device of FixResource. The Connector connected two nodes, and was classified ControlConnector and ObjectConnector. The ControlConnector represented the sequence of two nodes, and the ObjectConnector also represented the products transportation except for sequence. The device resources were classified as fixed resource and transport resource. The fixed resource connected a TaskNode, and the transport resource connected ObjectConnector.
A graphical tool for manufacturing process modeling was designed, which is based on the activity network diagram. There were nine symbols in the graphical tool, four TaskNode symbols of which succeeded from "Flow process chart" of engineering analysis.
The modeling examples of machining and assembly, proved the metamodel effectiveness.
(5) The text format of product, production and produce model was designed for data sharing.
VMS was in lack of shareable data, so in order to meet function demand of VMP and realize quick reconstruction and data sharing of VMS, the research work for data specification of manufacturing model was necessary.
Data specification contained three steps; the first and second parts were finished by UML and Z. At the last step, a text format based on Z specification was designed.
In short, in order to improve the development efficiency of VMS, it is necessary to study a VMP. This paper focuses on the formal development method, formal description and data specification of manufacturing models. A Z-based formal development method, which is helpful to high reliability and high safety system development, was put forward for VMS. This paper designed related manufacturing information model, and realized specification description by Z notation. The formal specification of manufacturing model would be beneficial to VMP. The manufacturing informatioin model text would be beneficial to data sharing between different systems, and to quick reconstruction of VMS.
引文
[1]肖田元.虚拟制造[M].北京：清华大学出版社,2004：13-16 61-65 65-104.
[2]Dani T H, Gadh R. Creation of concept shape designs via a virtual reality interface [J]. Computer-Aided Design,1997,29(8):555-563.
[3]Sung R C W, Ritchie J M, Robinson G, et al. Automated design process modelling and analysis using immersive virtual reality [J]. Computer-Aided Design,2009,41(12): 1082-94.
[4]贾现召,潘为民,张步斌,等.基于虚拟设计制造技术的大型矿井提升设备开发[J].中国机械工程,2006,17(15)：1563-1567.
[5]Grzesik W. Virtual/Digital and Internet-based Machining [M]. Advanced Machining Processes of Metallic Materials. Amsterdam; Elsevier.2008:385-404.
[6]孙广毅,赵新,卢桂章.面向微加工的虚拟光刻系统建模与实现[J].高技术通讯,2009,19(01)：76-81.
[7]张桃红,虞钢.虚拟激光柔性加工的完整过程仿真模型研究——覆盖件模具的激光硬化[J].中国机械工程,2005,16(07)：574-577.
[8]Wang Z, Liu Z, Tan J, et al. A virtual environment simulator for mechanical system dynamics with online interactive control [J]. Advances in Engineering Software,2006, 37(10):631-642.
[9]师黎,王治忠,费敏锐.基于vrml与matlab的智能控制虚拟实验室设计与实现[J].仪器仪表学报,2008,29(12)：2594-2598
[10]房保国,张大发,林亚军.压水堆运行控制的虚拟仿真技术研究[J].核动力工程,2006,27(04)：71-74.
[11]Qiu R G. Virtual production line based WIP control for semiconductor manufacturing systems [J]. International Journal of Production Economics,2005,95(2):165-78.
[12]Lee K I, Noh S D. Virtual Manufacturing System--a Test-Bed of Engineering Activities [J]. CIRP Annals-Manufacturing Technology,1997,46(1):347-50.
[13]肖杰华 陈 郭 王.面向生产制造过程的虚拟仿真系统建模研究[J].计算机工程,2002,28(06)：44-46.
[14]乔桂秀 肖 韩 王.基于装配的多机器人虚拟生产平台的系统建模[J].清华大学学报 (自然科学版),2002,42(01)：111-114.
[15]李琳,江志斌.基于uppaal的虚拟生产系统仿真[J].上海交通大学学报,2006,40(07)：1140-1147.
[16]张树生,杨茂奎,朱明铨等.虚拟制造技术[M].西安：西北工业大学出版社,2006：1-547.
[17]张根保,付兴林,朱瑜庆,等.汽车制造企业精益生产系统模型[J].机械工程学报,2010,46(02)：92-98
[18]荣朝和.试论精益生产对提高铁路运输效率的作用[J].铁道学报,2008,30(04)：11-15
[19]Koenig P C, Narita H, Baba K. Lean production in the Japanese shipbuilding industry? [J]. Journal of Ship Production,2002,18(3):167-174.
[20]Scharli A. Lean production in electronics assembly [J]. Circuits Assembly,2004,15(5): 38-40.
[21]李萍,华贲,陆明亮.基于并行工程的中药制造企业业务过程建模[J].系统工程理论与实践,2006,26(01)：48-52.
[22]胡建,廖文和,戴勇.面向并行工程的制造执行系统的研究与开发[J].计算机集成制造系统-Cims,2004,10(06)：635-640.
[23]刘红军,莫蓉,范庆明,等.并行工程下基于特征的零件可制造性研究[J].中国机械工程,2006,17(08)：805-808.
[24]Harrington J V, Soltan H,Forskitt M. Negotiation in a knowledge-based concurrent engineering design environment [J]. Expert Systems,1995,12(2):139-147.
[25]Haas R, Sinha M. Concurrent engineering at Airbus-A case study [J]. International Journal of Manufacturing Technology and Management,2004,6(3-4):241-253.
[26]袁华,赵耀,严俊.船舶虚拟制造系统体系设计及关键技术[J]。华中科技大学学报(自然科学版),2009,37(04)：126-129.
[27]何邕,丁国富,赵淑军,张吉辉,许明恒.面向对象的虚拟fms建模及加工仿真[J].西南交通大学学报,2007,42(05)：558-562.
[28]白俊杰,龚毅光,王宁生,唐敦兵.面向订单制造的可重构制造系统中虚拟制造单元构建技术[J].计算机集成制造系统,2009,15(02)：314-320.
[29]Zhao Z. Variant approach to constructing and managing virtual manufacturing environments [J]. International Journal of Computer Integrated Manufacturing,1998,11(6):485-499.
[30]Iwata K, Onosato M, Teramoto K, et al. Virtual manufacturing systems as advanced information infrastructure for integrating manufacturing resources and activities [J]. CIRP Annals-Manufacturing Technology,1997,46(1):335-338.
[31]张连成,白书清,刘检华.航天复杂产品快速响应制造数字化能力平台研究[J].计算机集成制造系统,2008,14(04)：722-730.
[32]李淑霞,单鸿波.基于敏捷制造单元的车间动态重构[J].计算机集成制造系统,2007,13(03)：521-526.
[33]BOOTH R. Agile manufacturing [J]. Engineering Management Journal,1996,6(2): 105-112.
[34]PREISS K. Agile manufacturing [J]. Computer-Aided Design,1994,26(2):83-84.
[35]李云龙,曹岩,魏娟等.数控机床加工仿真系统VERICUT [M].西安：西安交通大学出版社,2005：16-19 45-53.
[36]Gelenbe E, Guennouni H. FLEXSIM:A flexible manufacturing system simulator [J]. European Journal of Operational Research,1991,53(2):149-65.
[37]樊树海肖乔常董.基于deneb-Quest质量仿真系统设计与实现[J].系统仿真学报,2002,14(05)：607-608.
[38]http://www.vrp3d.com/article/html/vr_solution_22.html.
[39]陈涛,李光耀.STL格式文件的四边形网格剖分与网格光顺[J].中国机械工程,2009,20(05)：522-528.
[40]IDT US PRO/IPO-100.The initial graphics exchange specification[S].1998
[41]ISO10303-203:2005. Product data representation and exchange-Part 203:Application protocol:Configuration controlled 3D design of mechanical parts and assemblies [S].2005.
[42]ISO/IEC.14772-1:Information technology--Computer graphics and image processing-The Virtual Reality Modeling Language--Part 1:Functional specification and UTF-8 encoding[S].Geneva,ISO/IEC,1997.
[43]ISO/IEC.19775-1:Information technology--Computer graphics and image processing-Extensible 3D (X3D)--Part 1:Architecture and base components[S]. Geneva, ISO/IEC 2008.
[44]ISO/IEC 19776-1:2009 Computer graphics, image processing and environmental data representation--Extensible 3D (X3D) encodings--Part 1:Extensible Markup Language (XML) encoding.
[45]ISO/IEC 19777-1:2006 Computer graphics and image processing--Extensible 3D (X3D) language bindings--Part 1:ECMAScript.
[46]耿卫东,陈凯,李鑫,等.三维游戏引擎设计与实现[M]。杭州：浙江大学出版社,2008：1-2.
[47]古天龙.软件开发的形式化方法[M].北京：高等教育出版社,2005：17-18 159-160.
[48]Morgan C. Programming From Specification [M]. New Jersey:Printice Hall,1998:1-260.
[49]Holloway C M. Why Engineers Should Consider Formal Methods. [C].16th DASC AIAA/IEEE Digital Avionics Systems Conference Reflections to the Future Proceedings. Irvine, CA, USA; IEEE,1997:1.3-16-22 vol.l.
[50]http://shemesh.larc.nasa.gov/fm/fm-what.html.
[51]Archer M, Heitmeyer C, Riccobene E. Proving invariants of I/O automata with TAME [J]. Automated Software Engineering,2002,9(3):201-232.
[52]Abrial J-R. The B Book:Assigning Programs to Meaning [M]. Melbourne:Cambridge University Press 1996:1-813.
[53]Bjorner DINES, Jones C B. The Vienna Development Method:The Meta-Language, Lecture Notes in Computer Science 61 [M]. Berlin:Springer,1978:1-382.
[54]Jones C B. Systematic Software Development using VDM [M]. New Jersey:Prentice Hall, 1990:1-347.
[55]Jones C B, SHAW R C. Case Studies in Systematic Software Development [M]. New Jersey:Prentice Hall International,1990:1-105.
[56]Skias D, Haniotakis T, Tsiatouhas Y, et al. A state assignment algorithm for finite state machines [C]. Proceedings of the ICECS 2000-7th IEEE International Conference on Electronics, Circuits and System, Jounieh, Lebanon,2000:823-826.
[57]Huang Y, Jeng M, Hsu C. Modeling a discrete event system using statecharts[C], Taipei, Taiwan,2004:1093-1098.
[58]Dohi Y, Nomura E, Shimoda T, et al. Petri Net controller with hardware to avoid deadlocks[C], Taipei, Taiwan,1996:457-462.
[59]Wing J M. Writing Larch interface language specifications [J]. ACM Transactions on Programming Languages and Systems,1987,9(1):1-24.
[60]Augusto J C, Gomez R S. A procedure to translate PARADIGM specifications to propositional linear temporal logic and its application to verification [J]. International Journal of Software Engineering and Knowledge Engineering,2003,13(6):627-54.
[61]Huang Z, Bhattacharyya S, Chandra V, et al. Diagnosis of discrete event systems in rules-based model using first-order linear temporal logic[C], Boston, MA, United states, 2004:5114-5119.
[62]Zhang L, Hustadt U, Dixon C. CTL-RP:A computation tree logic resolution prover [J]. AI Communications,2010,23(2-3):111-136.
[63]Daou B, Bochmann G V. Submodule construction for extended state machine models [C], Taipei, Taiwan,2005:396-410.
[64]Clemmer R G, Finn P A, Misra B, et al. TRIO EXPERIMENT [J]. Journal of Nuclear Materials,1984,133-134(171-175).
[65]Abrial J R, Schuman S A, Meyer B. A Specification Language in On the Construction of Programs [M]. London:Cambridge University Press,1980.
[66]Spivey J M. The Z Notation:A reference manual [M]. Oxford:Prentice Hall International (UK) Ltd,1992:1-168.
[67]Woodcock J, Davies J. Using Z---Specification, Refinement, and Proof [M]. New Jersey: Prentice Hall,1996:407.
[68]Jacky J. The Way of Z:Practical Programming with Formal Methods [M]. Cambridge: Cambridge University Press,1997:1-320.
[69]ISO/IEC 13568:2002Information technology-Z formal specification notation-Syntax, type system and semantics.
[70]缪淮扣.软件工程语言-Z[M].上海：上海科学技术文献出版社,1999：1-259
[71]Ali G, Zafar N A. Modeling agent-based systems using X-machine and Z notation, Singapore, Singapore,2010:249-253.
[72]Monika H, Maritta H Modeling Safety-Critical Systems with Z and Petri Nets[M]. Springer,Verlag Berlin Heidelberg,1999:361-374.
[73]Krishna A, Vilkomir S, Ghose A. A case study of combining i*framework and the Z notation [C], Porto, Portugal,2004:192-200.
[74]Nantajeewarawat E, Sombatsrisomboon R. On the semantics of unified modeling language diagrams using Z notation [J]. International Journal of Intelligent Systems,2004,19(1-2): 79-88.
[75]Sengupta S, Bhattacharya S. Formalization of UML use case diagram-A Z notation based approach [C], Kuala Lumpur, Malaysia,2006:151-152.
[76]Sengupta S, Bhattacharya S. Formalization of UML diagrams and their consistency verification-A Z notation based approach[C], Hyderabad, India,2008:151-152.
[77]Ciancarini P, Mascolo C, Vitali F. Visualizing Z notation in HTML documents [J]. Lecture Notes in Computer Science,1998,1493:81.
[78]Ishikawa H. On a GUI based editor for the Z notation[C], Las Vegas, NV, United states, 2005:273-279.
[79]Saaltink M. Z/EVES system [M]. ZUM'97:The Z Formal Specification Notation. Reading, United kingdom,1997:72.
[80]Mikusiak L, Adamy M, Seidmann T. Publishing formal specifications in Z notation on World Wide Web [J]. Lecture Notes in Computer Science,1997,1214:871.
[81]Jacky Jonathan. Specifying a Safety-Critical Control System in Z[J]. IEEE Transactions on Software Engineering,1995 21(2):99-106.
[82]Lee M-C. An object-oriented testing framework specified in Z notation [J]. Tamkang Journal of Science and Engineering,1999,2(1):11-22.
[83]Nix C J, Collins B P. Use of software engineering, including the Z notation, in the development of CICS [J]. Quality assurance London,1988,14.(3):103-110.
[84]Park J, Choi J-Y. Security policy modeling using Z notation for common criteria version 3.1, Phoenix-Park, Korea, Republic of, F,2009 [C]. Institute of Electrical and Electronics Engineers Inc.
[85]Mahony B P, Hayes I J. A case-study in timed refinement:A mine pump [J]. IEEE Transactions on Software Engineering,1992,18(9):817-26.
[86]Burns A, Wellings A J. Safety kernels:specification and implementation [J]. High integrity systems,1995,1(3):287-300.
[87]Zafar, N.A.Modeling and Formal Specification of Automated Train Control System using Z Notation[C]//Multitopic Conference,2006. INMIC'06. IEEE, Islamabad, Pakistan:INMIC '06 Program and Organizing Committee.
[88]Jamal M, Zafar N A. Requirements Analysis of Air Traffic Control System Using Formal Methods [C]//International Conference on information and Emerging Technologies 2007, Karachi, Pakistan:ICIET 2007 Program and Organizing Committee 2007:1-7.
[89]Kanwal S, Zafar N A. Formal model of automated teller machine system using Z notation [C], Islamabad, Pakistan,2007:131-136.
[90]Jo H-J, Hwang J-G, Yoon Y-K. Formal requirements specification in safety-critical railway signaling system[C], Seoul, Korea,2009:203-210.
[91]Vilkomir S A, Bowen J P. Formalization of software testing criteria using the Z notation[C], Chicago, IL, United states,2001:351-356.
[92]Sidek R M, Ahmad N. Deriving formal specifiction using Z notation[C], Kota Kinabalu, Malaysia,2009:225-229.
[93]王云峰,庞军,查鸣,等.精化演算支撑工具的分析[J].计算机应用与软件,2002,(2)：1-6.
[94]万剑怡,孙永强,薛锦云.一种从z规约到并行程序的精化方法[J].软件学报,2002,13(11)：2106-2111.
[95]喻超,毋国庆.COM接口的z规范[J].计算机工程,28(12)：104-105.
[96]马发俊,缪淮扣,刘玲.TCP协议的z语言描述[J].上海大学学报：自然科学版,2003,9(6)：475-479.
[97]邢小英,王维维.两次数据精化的形式化软件开发方法[J].计算机工程,2006,32(1)：102-104.
[98]Navarre David, Palanque Philippe, Bastide Remi,et al. A formal description of multimodal interaction techniques for immersive virtual reality applications[J]. Lecture Notes in Computer Science, v 3585 LNCS, p 170-183,2005.
[99]Schyn Amelie, Navarre David,Palanque Philippe,et al.Formal description of a multimodal interaction technique in an immersive virtual reality application[C]. ACM International Conference Proceeding Series, v 51, p 150-157,2003,
[100]ISO 19136:2007 Geographic information--Geography Markup Language (GML) 2007
[101]ISO/IEC 18023-1:2006. SEDRIS-Part 1:Functional specification[S].
[102]ISO/IEC 18023-2:2006. SEDRIS-Part 2:Abstract transmittal format[S].
[103]闾国年,张书亮,王永君.地理信息共享技术[M].北京：科学出版社,2007：26-78
[104]ISO10303-1:1994. Product data representation and exchange--Part 1:Overview and fundamental principles [S].1994.
[105]中国标准化研究院.GBT 19256.1：基于XML的电子商务第1部分技术体系结构[S].中国国家标准化管理委员会,2003.
[106]Jan Ellsberger. SDL Formal Object-oriented Language for Communicating System[M]. London:Prentice Hall Europe,1997.
[107]古天龙,蔡国永.网络协议的形式化分析与设计[M].北京：电子工业出版社,2003：91-92.
[108]The RAISE Language Group. The RAISE specification language[M].UK:Prentice Hall International Ltd,1992.
[109]ISO 6983-1:1982 Numerical control of machines-Program format and definition of address words--Part 1:Data format for positioning, line motion and contouring control systems.
[110]JB 3208-1983数控机床穿孔带程序段格式中的准备功能G和辅助功能M的代码
[111]ISO 14649-1:2003 Physical device control-Data model for computerized numerical controllers-Part 1:Overview and fundamental principles.
[112]ISO 10303-238:2007 Product data representation and exchange-Part 238:Application protocol:Application interpreted model for computerized numerical controllers.
[113]ISO10303-49. Product data representation and exchange:Part49:Integrated generic resources:Process structure and properties[S].1998.
[114]ISO15331-43. Industrial automation systems and integration--Industrial manufacturing management data-- Part 43:Manufacturing flow management data:Data model for flow monitoring and manufacturing data exchange[S].2006.
[115]Catron B, Ray S. ALPS-A language for process specification [J]. International Journal of Computer Integrated Manufacturing.1991,4(2):105-113.
[116]Schlenoff C, Gruninger M, Tissot F, et al. The Process Specification Language(PSL) Overview and Version 1.0 Specification [M]. Gaithersburg, MD:National Institute of Standards and Technology,2000.
[117]Workflow Management Coalition. The Workflow Reference Model[M]. Winchester UK: Workflow Management Coalition,1995.
[118]Workflow Management Coalition. Workflow Process Definition Interface-XML Process Definition Language[M]. Winchester UK:Workflow Management Coalition,2001.
[119]江伟光,武建伟,潘双夏,等.基于元模型的产品全生命周期信息模型研究[J].中国机械工程,2008,19(12)：1451-1456.
[120]刘威,乔立红.基于元模型的统一制造资源模型框架[J].计算机集成制造系统,2007,13(10)：1903-1908.
[121]赵晓非,黄志球,沈国华,等.基于元模型的工程数据仓库系统元数据集成[J].南京航空航天大学学报,2006,38(03)：341-346.
[122]冯志勇,李文杰,李晓红.本体论工程及其应用[M].北京：清华大学出版社,2007：11-13.
[123]吴孟泉,宋晓东,崔伟宏.基于本体的异构空间数据的集成研究[J].武汉大学学报(信息科学版),2007,32(10)：915-918.
[124]蔡树彬,明仲,李师贤,等.基于本体的模型集成[J].电子学报,2009,37(04)：713-719.
[125]杨先娣,何宁,吴黎兵,等.一种基于本体的语义信息集成方法[J].Journal of Southeast University(English Edition),2007,23(03):338-342.
[126]云晓丹,纪杨建,祁国宁,等.集成产品元模型分析及其应用研究[J].制造业自动化,2010,32(02)：4-9.
[127]胡云,段桂江,唐晓青.基于元模型的企业应用集成方法研究[J].计算机应用研究,2007,24(05)：60-70.
[128]江伟光,武建伟,吴参,等.基于本体的产品知识集成[J].浙江大学学报(工学版),2009,43(10)：1801-1807.
[129]杨洁,杨育,赵川,等.产品创新设计中基于本体理论的客户知识集成技术研究[J].计算机集成制造系统,2009,15(12)：2303-2311.
[130]Schlenoff C., Knutilla A., Ray S.,Unified Process Specification Language:Requirements for Modeling Processes:NISTIR 5910,1996,National Institute of Standards and Technology, Gaithersburg,MD.
[131]Leite, Michael J. SEDRIS:A tool for the management and exchange of multi-domain environmental data[C]. Earth and Space 2006-Proceedings of the 10th Biennial International Conference on Engineering, Construction, and Operations in Challenging Environments.2006, p103.
[132]ISO 10303-11:2004Product data representation and exchange--Part 11:Description methods:The EXPRESS language reference manual.
[133]OMG.MOF 1.4 specification[EB/OL].2002-01-11. http://www.omg.org/docs/formal/02-04-03.pdf.
[134]田树军,刘万辉,张宏等.基于VR的三维数控加工环境及其关键技术研究[J].系统仿真学报.2007,19(16)：3727-3730.
[135]Geng W, Ding L, Yu H, et al. Technical illustration based on 3D CSG models [J]. Journal of Zhejiang University Science(Science in Engineering),2005,11A(05):469-475.
[136]蔡鸿明,何援军,吴勇.面向网络交互设计的扩展csg模型构造[J].上海交通大学学报,2004,38(12)：2057-2062.
[137]Lienhardt P. Topological models for boundary representation:a comparison with n-dimensional generalized maps [J]. Computer-Aided Design,1991,23(11):59-82.
[138]赵建军,王启付.基于边界表达的ParaSolid与ACIS直接双向接口[J].计算机工程,2004,30(08)：40-41.
[139]何耀雄,徐起贺,周艳红.任意结构数控机床机构运动学建模与求解[J].机械工程学报,2002,38(10)：31-36.
[140]赖红.华中数控系统远程监控与维护技术研究[D].武汉；华中科技大学硕士学位论文,2004：34-35.
[141]陈莎莎.数控图形用户界面集成开发平台的研究与实现[D].武汉；武汉理工大学硕士学位论文,2006：5-14.
[142]李玲莉.虚拟显控系统模块化开发研究[J].机械工程师.2009(2)：103-105.
[143]范玉顺.工作流管理技术基础[M].北京：清华大学出版社,2001：172-196
[144]陈禹六IDEF建模分析和设计方法[M].北京：清华大学出版社,2000：128-132.
[145]Chase R, Aquilano N, Jacobs F. Operations Management for Competitive Advantage(9th Edition)运营管理[M].任建标,等译.第九版.北京：机械工业出版社,2003：743.
[146]齐建军,刘爱军,雷毅,等.基于XML模式的制造信息集成规范的研究[J].计算机集成制造系统-CIMS.2005,11(04):565-571.
[147]蔡长韬.基于STEP/XML的集成化工艺信息描述方法研究[J].计算机集成制造系统.2008,14(05)：912-917.
[148]Shamus Smith, David Duke. Using CSP to Specify Interaction in Virtual Environments. Department of Computer Science, University of York.
[2]Dani T H, Gadh R. Creation of concept shape designs via a virtual reality interface [J]. Computer-Aided Design,1997,29(8):555-563.
[3]Sung R C W, Ritchie J M, Robinson G, et al. Automated design process modelling and analysis using immersive virtual reality [J]. Computer-Aided Design,2009,41(12): 1082-94.
[4]贾现召,潘为民,张步斌,等.基于虚拟设计制造技术的大型矿井提升设备开发[J].中国机械工程,2006,17(15)：1563-1567.
[5]Grzesik W. Virtual/Digital and Internet-based Machining [M]. Advanced Machining Processes of Metallic Materials. Amsterdam; Elsevier.2008:385-404.
[6]孙广毅,赵新,卢桂章.面向微加工的虚拟光刻系统建模与实现[J].高技术通讯,2009,19(01)：76-81.
[7]张桃红,虞钢.虚拟激光柔性加工的完整过程仿真模型研究——覆盖件模具的激光硬化[J].中国机械工程,2005,16(07)：574-577.
[8]Wang Z, Liu Z, Tan J, et al. A virtual environment simulator for mechanical system dynamics with online interactive control [J]. Advances in Engineering Software,2006, 37(10):631-642.
[9]师黎,王治忠,费敏锐.基于vrml与matlab的智能控制虚拟实验室设计与实现[J].仪器仪表学报,2008,29(12)：2594-2598
[10]房保国,张大发,林亚军.压水堆运行控制的虚拟仿真技术研究[J].核动力工程,2006,27(04)：71-74.
[11]Qiu R G. Virtual production line based WIP control for semiconductor manufacturing systems [J]. International Journal of Production Economics,2005,95(2):165-78.
[12]Lee K I, Noh S D. Virtual Manufacturing System--a Test-Bed of Engineering Activities [J]. CIRP Annals-Manufacturing Technology,1997,46(1):347-50.
[13]肖杰华 陈 郭 王.面向生产制造过程的虚拟仿真系统建模研究[J].计算机工程,2002,28(06)：44-46.
[14]乔桂秀 肖 韩 王.基于装配的多机器人虚拟生产平台的系统建模[J].清华大学学报 (自然科学版),2002,42(01)：111-114.
[15]李琳,江志斌.基于uppaal的虚拟生产系统仿真[J].上海交通大学学报,2006,40(07)：1140-1147.
[16]张树生,杨茂奎,朱明铨等.虚拟制造技术[M].西安：西北工业大学出版社,2006：1-547.
[17]张根保,付兴林,朱瑜庆,等.汽车制造企业精益生产系统模型[J].机械工程学报,2010,46(02)：92-98
[18]荣朝和.试论精益生产对提高铁路运输效率的作用[J].铁道学报,2008,30(04)：11-15
[19]Koenig P C, Narita H, Baba K. Lean production in the Japanese shipbuilding industry? [J]. Journal of Ship Production,2002,18(3):167-174.
[20]Scharli A. Lean production in electronics assembly [J]. Circuits Assembly,2004,15(5): 38-40.
[21]李萍,华贲,陆明亮.基于并行工程的中药制造企业业务过程建模[J].系统工程理论与实践,2006,26(01)：48-52.
[22]胡建,廖文和,戴勇.面向并行工程的制造执行系统的研究与开发[J].计算机集成制造系统-Cims,2004,10(06)：635-640.
[23]刘红军,莫蓉,范庆明,等.并行工程下基于特征的零件可制造性研究[J].中国机械工程,2006,17(08)：805-808.
[24]Harrington J V, Soltan H,Forskitt M. Negotiation in a knowledge-based concurrent engineering design environment [J]. Expert Systems,1995,12(2):139-147.
[25]Haas R, Sinha M. Concurrent engineering at Airbus-A case study [J]. International Journal of Manufacturing Technology and Management,2004,6(3-4):241-253.
[26]袁华,赵耀,严俊.船舶虚拟制造系统体系设计及关键技术[J]。华中科技大学学报(自然科学版),2009,37(04)：126-129.
[27]何邕,丁国富,赵淑军,张吉辉,许明恒.面向对象的虚拟fms建模及加工仿真[J].西南交通大学学报,2007,42(05)：558-562.
[28]白俊杰,龚毅光,王宁生,唐敦兵.面向订单制造的可重构制造系统中虚拟制造单元构建技术[J].计算机集成制造系统,2009,15(02)：314-320.
[29]Zhao Z. Variant approach to constructing and managing virtual manufacturing environments [J]. International Journal of Computer Integrated Manufacturing,1998,11(6):485-499.
[30]Iwata K, Onosato M, Teramoto K, et al. Virtual manufacturing systems as advanced information infrastructure for integrating manufacturing resources and activities [J]. CIRP Annals-Manufacturing Technology,1997,46(1):335-338.
[31]张连成,白书清,刘检华.航天复杂产品快速响应制造数字化能力平台研究[J].计算机集成制造系统,2008,14(04)：722-730.
[32]李淑霞,单鸿波.基于敏捷制造单元的车间动态重构[J].计算机集成制造系统,2007,13(03)：521-526.
[33]BOOTH R. Agile manufacturing [J]. Engineering Management Journal,1996,6(2): 105-112.
[34]PREISS K. Agile manufacturing [J]. Computer-Aided Design,1994,26(2):83-84.
[35]李云龙,曹岩,魏娟等.数控机床加工仿真系统VERICUT [M].西安：西安交通大学出版社,2005：16-19 45-53.
[36]Gelenbe E, Guennouni H. FLEXSIM:A flexible manufacturing system simulator [J]. European Journal of Operational Research,1991,53(2):149-65.
[37]樊树海肖乔常董.基于deneb-Quest质量仿真系统设计与实现[J].系统仿真学报,2002,14(05)：607-608.
[38]http://www.vrp3d.com/article/html/vr_solution_22.html.
[39]陈涛,李光耀.STL格式文件的四边形网格剖分与网格光顺[J].中国机械工程,2009,20(05)：522-528.
[40]IDT US PRO/IPO-100.The initial graphics exchange specification[S].1998
[41]ISO10303-203:2005. Product data representation and exchange-Part 203:Application protocol:Configuration controlled 3D design of mechanical parts and assemblies [S].2005.
[42]ISO/IEC.14772-1:Information technology--Computer graphics and image processing-The Virtual Reality Modeling Language--Part 1:Functional specification and UTF-8 encoding[S].Geneva,ISO/IEC,1997.
[43]ISO/IEC.19775-1:Information technology--Computer graphics and image processing-Extensible 3D (X3D)--Part 1:Architecture and base components[S]. Geneva, ISO/IEC 2008.
[44]ISO/IEC 19776-1:2009 Computer graphics, image processing and environmental data representation--Extensible 3D (X3D) encodings--Part 1:Extensible Markup Language (XML) encoding.
[45]ISO/IEC 19777-1:2006 Computer graphics and image processing--Extensible 3D (X3D) language bindings--Part 1:ECMAScript.
[46]耿卫东,陈凯,李鑫,等.三维游戏引擎设计与实现[M]。杭州：浙江大学出版社,2008：1-2.
[47]古天龙.软件开发的形式化方法[M].北京：高等教育出版社,2005：17-18 159-160.
[48]Morgan C. Programming From Specification [M]. New Jersey:Printice Hall,1998:1-260.
[49]Holloway C M. Why Engineers Should Consider Formal Methods. [C].16th DASC AIAA/IEEE Digital Avionics Systems Conference Reflections to the Future Proceedings. Irvine, CA, USA; IEEE,1997:1.3-16-22 vol.l.
[50]http://shemesh.larc.nasa.gov/fm/fm-what.html.
[51]Archer M, Heitmeyer C, Riccobene E. Proving invariants of I/O automata with TAME [J]. Automated Software Engineering,2002,9(3):201-232.
[52]Abrial J-R. The B Book:Assigning Programs to Meaning [M]. Melbourne:Cambridge University Press 1996:1-813.
[53]Bjorner DINES, Jones C B. The Vienna Development Method:The Meta-Language, Lecture Notes in Computer Science 61 [M]. Berlin:Springer,1978:1-382.
[54]Jones C B. Systematic Software Development using VDM [M]. New Jersey:Prentice Hall, 1990:1-347.
[55]Jones C B, SHAW R C. Case Studies in Systematic Software Development [M]. New Jersey:Prentice Hall International,1990:1-105.
[56]Skias D, Haniotakis T, Tsiatouhas Y, et al. A state assignment algorithm for finite state machines [C]. Proceedings of the ICECS 2000-7th IEEE International Conference on Electronics, Circuits and System, Jounieh, Lebanon,2000:823-826.
[57]Huang Y, Jeng M, Hsu C. Modeling a discrete event system using statecharts[C], Taipei, Taiwan,2004:1093-1098.
[58]Dohi Y, Nomura E, Shimoda T, et al. Petri Net controller with hardware to avoid deadlocks[C], Taipei, Taiwan,1996:457-462.
[59]Wing J M. Writing Larch interface language specifications [J]. ACM Transactions on Programming Languages and Systems,1987,9(1):1-24.
[60]Augusto J C, Gomez R S. A procedure to translate PARADIGM specifications to propositional linear temporal logic and its application to verification [J]. International Journal of Software Engineering and Knowledge Engineering,2003,13(6):627-54.
[61]Huang Z, Bhattacharyya S, Chandra V, et al. Diagnosis of discrete event systems in rules-based model using first-order linear temporal logic[C], Boston, MA, United states, 2004:5114-5119.
[62]Zhang L, Hustadt U, Dixon C. CTL-RP:A computation tree logic resolution prover [J]. AI Communications,2010,23(2-3):111-136.
[63]Daou B, Bochmann G V. Submodule construction for extended state machine models [C], Taipei, Taiwan,2005:396-410.
[64]Clemmer R G, Finn P A, Misra B, et al. TRIO EXPERIMENT [J]. Journal of Nuclear Materials,1984,133-134(171-175).
[65]Abrial J R, Schuman S A, Meyer B. A Specification Language in On the Construction of Programs [M]. London:Cambridge University Press,1980.
[66]Spivey J M. The Z Notation:A reference manual [M]. Oxford:Prentice Hall International (UK) Ltd,1992:1-168.
[67]Woodcock J, Davies J. Using Z---Specification, Refinement, and Proof [M]. New Jersey: Prentice Hall,1996:407.
[68]Jacky J. The Way of Z:Practical Programming with Formal Methods [M]. Cambridge: Cambridge University Press,1997:1-320.
[69]ISO/IEC 13568:2002Information technology-Z formal specification notation-Syntax, type system and semantics.
[70]缪淮扣.软件工程语言-Z[M].上海：上海科学技术文献出版社,1999：1-259
[71]Ali G, Zafar N A. Modeling agent-based systems using X-machine and Z notation, Singapore, Singapore,2010:249-253.
[72]Monika H, Maritta H Modeling Safety-Critical Systems with Z and Petri Nets[M]. Springer,Verlag Berlin Heidelberg,1999:361-374.
[73]Krishna A, Vilkomir S, Ghose A. A case study of combining i*framework and the Z notation [C], Porto, Portugal,2004:192-200.
[74]Nantajeewarawat E, Sombatsrisomboon R. On the semantics of unified modeling language diagrams using Z notation [J]. International Journal of Intelligent Systems,2004,19(1-2): 79-88.
[75]Sengupta S, Bhattacharya S. Formalization of UML use case diagram-A Z notation based approach [C], Kuala Lumpur, Malaysia,2006:151-152.
[76]Sengupta S, Bhattacharya S. Formalization of UML diagrams and their consistency verification-A Z notation based approach[C], Hyderabad, India,2008:151-152.
[77]Ciancarini P, Mascolo C, Vitali F. Visualizing Z notation in HTML documents [J]. Lecture Notes in Computer Science,1998,1493:81.
[78]Ishikawa H. On a GUI based editor for the Z notation[C], Las Vegas, NV, United states, 2005:273-279.
[79]Saaltink M. Z/EVES system [M]. ZUM'97:The Z Formal Specification Notation. Reading, United kingdom,1997:72.
[80]Mikusiak L, Adamy M, Seidmann T. Publishing formal specifications in Z notation on World Wide Web [J]. Lecture Notes in Computer Science,1997,1214:871.
[81]Jacky Jonathan. Specifying a Safety-Critical Control System in Z[J]. IEEE Transactions on Software Engineering,1995 21(2):99-106.
[82]Lee M-C. An object-oriented testing framework specified in Z notation [J]. Tamkang Journal of Science and Engineering,1999,2(1):11-22.
[83]Nix C J, Collins B P. Use of software engineering, including the Z notation, in the development of CICS [J]. Quality assurance London,1988,14.(3):103-110.
[84]Park J, Choi J-Y. Security policy modeling using Z notation for common criteria version 3.1, Phoenix-Park, Korea, Republic of, F,2009 [C]. Institute of Electrical and Electronics Engineers Inc.
[85]Mahony B P, Hayes I J. A case-study in timed refinement:A mine pump [J]. IEEE Transactions on Software Engineering,1992,18(9):817-26.
[86]Burns A, Wellings A J. Safety kernels:specification and implementation [J]. High integrity systems,1995,1(3):287-300.
[87]Zafar, N.A.Modeling and Formal Specification of Automated Train Control System using Z Notation[C]//Multitopic Conference,2006. INMIC'06. IEEE, Islamabad, Pakistan:INMIC '06 Program and Organizing Committee.
[88]Jamal M, Zafar N A. Requirements Analysis of Air Traffic Control System Using Formal Methods [C]//International Conference on information and Emerging Technologies 2007, Karachi, Pakistan:ICIET 2007 Program and Organizing Committee 2007:1-7.
[89]Kanwal S, Zafar N A. Formal model of automated teller machine system using Z notation [C], Islamabad, Pakistan,2007:131-136.
[90]Jo H-J, Hwang J-G, Yoon Y-K. Formal requirements specification in safety-critical railway signaling system[C], Seoul, Korea,2009:203-210.
[91]Vilkomir S A, Bowen J P. Formalization of software testing criteria using the Z notation[C], Chicago, IL, United states,2001:351-356.
[92]Sidek R M, Ahmad N. Deriving formal specifiction using Z notation[C], Kota Kinabalu, Malaysia,2009:225-229.
[93]王云峰,庞军,查鸣,等.精化演算支撑工具的分析[J].计算机应用与软件,2002,(2)：1-6.
[94]万剑怡,孙永强,薛锦云.一种从z规约到并行程序的精化方法[J].软件学报,2002,13(11)：2106-2111.
[95]喻超,毋国庆.COM接口的z规范[J].计算机工程,28(12)：104-105.
[96]马发俊,缪淮扣,刘玲.TCP协议的z语言描述[J].上海大学学报：自然科学版,2003,9(6)：475-479.
[97]邢小英,王维维.两次数据精化的形式化软件开发方法[J].计算机工程,2006,32(1)：102-104.
[98]Navarre David, Palanque Philippe, Bastide Remi,et al. A formal description of multimodal interaction techniques for immersive virtual reality applications[J]. Lecture Notes in Computer Science, v 3585 LNCS, p 170-183,2005.
[99]Schyn Amelie, Navarre David,Palanque Philippe,et al.Formal description of a multimodal interaction technique in an immersive virtual reality application[C]. ACM International Conference Proceeding Series, v 51, p 150-157,2003,
[100]ISO 19136:2007 Geographic information--Geography Markup Language (GML) 2007
[101]ISO/IEC 18023-1:2006. SEDRIS-Part 1:Functional specification[S].
[102]ISO/IEC 18023-2:2006. SEDRIS-Part 2:Abstract transmittal format[S].
[103]闾国年,张书亮,王永君.地理信息共享技术[M].北京：科学出版社,2007：26-78
[104]ISO10303-1:1994. Product data representation and exchange--Part 1:Overview and fundamental principles [S].1994.
[105]中国标准化研究院.GBT 19256.1：基于XML的电子商务第1部分技术体系结构[S].中国国家标准化管理委员会,2003.
[106]Jan Ellsberger. SDL Formal Object-oriented Language for Communicating System[M]. London:Prentice Hall Europe,1997.
[107]古天龙,蔡国永.网络协议的形式化分析与设计[M].北京：电子工业出版社,2003：91-92.
[108]The RAISE Language Group. The RAISE specification language[M].UK:Prentice Hall International Ltd,1992.
[109]ISO 6983-1:1982 Numerical control of machines-Program format and definition of address words--Part 1:Data format for positioning, line motion and contouring control systems.
[110]JB 3208-1983数控机床穿孔带程序段格式中的准备功能G和辅助功能M的代码
[111]ISO 14649-1:2003 Physical device control-Data model for computerized numerical controllers-Part 1:Overview and fundamental principles.
[112]ISO 10303-238:2007 Product data representation and exchange-Part 238:Application protocol:Application interpreted model for computerized numerical controllers.
[113]ISO10303-49. Product data representation and exchange:Part49:Integrated generic resources:Process structure and properties[S].1998.
[114]ISO15331-43. Industrial automation systems and integration--Industrial manufacturing management data-- Part 43:Manufacturing flow management data:Data model for flow monitoring and manufacturing data exchange[S].2006.
[115]Catron B, Ray S. ALPS-A language for process specification [J]. International Journal of Computer Integrated Manufacturing.1991,4(2):105-113.
[116]Schlenoff C, Gruninger M, Tissot F, et al. The Process Specification Language(PSL) Overview and Version 1.0 Specification [M]. Gaithersburg, MD:National Institute of Standards and Technology,2000.
[117]Workflow Management Coalition. The Workflow Reference Model[M]. Winchester UK: Workflow Management Coalition,1995.
[118]Workflow Management Coalition. Workflow Process Definition Interface-XML Process Definition Language[M]. Winchester UK:Workflow Management Coalition,2001.
[119]江伟光,武建伟,潘双夏,等.基于元模型的产品全生命周期信息模型研究[J].中国机械工程,2008,19(12)：1451-1456.
[120]刘威,乔立红.基于元模型的统一制造资源模型框架[J].计算机集成制造系统,2007,13(10)：1903-1908.
[121]赵晓非,黄志球,沈国华,等.基于元模型的工程数据仓库系统元数据集成[J].南京航空航天大学学报,2006,38(03)：341-346.
[122]冯志勇,李文杰,李晓红.本体论工程及其应用[M].北京：清华大学出版社,2007：11-13.
[123]吴孟泉,宋晓东,崔伟宏.基于本体的异构空间数据的集成研究[J].武汉大学学报(信息科学版),2007,32(10)：915-918.
[124]蔡树彬,明仲,李师贤,等.基于本体的模型集成[J].电子学报,2009,37(04)：713-719.
[125]杨先娣,何宁,吴黎兵,等.一种基于本体的语义信息集成方法[J].Journal of Southeast University(English Edition),2007,23(03):338-342.
[126]云晓丹,纪杨建,祁国宁,等.集成产品元模型分析及其应用研究[J].制造业自动化,2010,32(02)：4-9.
[127]胡云,段桂江,唐晓青.基于元模型的企业应用集成方法研究[J].计算机应用研究,2007,24(05)：60-70.
[128]江伟光,武建伟,吴参,等.基于本体的产品知识集成[J].浙江大学学报(工学版),2009,43(10)：1801-1807.
[129]杨洁,杨育,赵川,等.产品创新设计中基于本体理论的客户知识集成技术研究[J].计算机集成制造系统,2009,15(12)：2303-2311.
[130]Schlenoff C., Knutilla A., Ray S.,Unified Process Specification Language:Requirements for Modeling Processes:NISTIR 5910,1996,National Institute of Standards and Technology, Gaithersburg,MD.
[131]Leite, Michael J. SEDRIS:A tool for the management and exchange of multi-domain environmental data[C]. Earth and Space 2006-Proceedings of the 10th Biennial International Conference on Engineering, Construction, and Operations in Challenging Environments.2006, p103.
[132]ISO 10303-11:2004Product data representation and exchange--Part 11:Description methods:The EXPRESS language reference manual.
[133]OMG.MOF 1.4 specification[EB/OL].2002-01-11. http://www.omg.org/docs/formal/02-04-03.pdf.
[134]田树军,刘万辉,张宏等.基于VR的三维数控加工环境及其关键技术研究[J].系统仿真学报.2007,19(16)：3727-3730.
[135]Geng W, Ding L, Yu H, et al. Technical illustration based on 3D CSG models [J]. Journal of Zhejiang University Science(Science in Engineering),2005,11A(05):469-475.
[136]蔡鸿明,何援军,吴勇.面向网络交互设计的扩展csg模型构造[J].上海交通大学学报,2004,38(12)：2057-2062.
[137]Lienhardt P. Topological models for boundary representation:a comparison with n-dimensional generalized maps [J]. Computer-Aided Design,1991,23(11):59-82.
[138]赵建军,王启付.基于边界表达的ParaSolid与ACIS直接双向接口[J].计算机工程,2004,30(08)：40-41.
[139]何耀雄,徐起贺,周艳红.任意结构数控机床机构运动学建模与求解[J].机械工程学报,2002,38(10)：31-36.
[140]赖红.华中数控系统远程监控与维护技术研究[D].武汉；华中科技大学硕士学位论文,2004：34-35.
[141]陈莎莎.数控图形用户界面集成开发平台的研究与实现[D].武汉；武汉理工大学硕士学位论文,2006：5-14.
[142]李玲莉.虚拟显控系统模块化开发研究[J].机械工程师.2009(2)：103-105.
[143]范玉顺.工作流管理技术基础[M].北京：清华大学出版社,2001：172-196
[144]陈禹六IDEF建模分析和设计方法[M].北京：清华大学出版社,2000：128-132.
[145]Chase R, Aquilano N, Jacobs F. Operations Management for Competitive Advantage(9th Edition)运营管理[M].任建标,等译.第九版.北京：机械工业出版社,2003：743.
[146]齐建军,刘爱军,雷毅,等.基于XML模式的制造信息集成规范的研究[J].计算机集成制造系统-CIMS.2005,11(04):565-571.
[147]蔡长韬.基于STEP/XML的集成化工艺信息描述方法研究[J].计算机集成制造系统.2008,14(05)：912-917.
[148]Shamus Smith, David Duke. Using CSP to Specify Interaction in Virtual Environments. Department of Computer Science, University of York.