收藏本站
《山东大学》 2010年
收藏 | 手机打开
二维码
手机客户端打开本文

虚拟制造环境的信息规范及其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语言描述技术,制造模型的形式化描述有利于规范通用开发平台的数据内容。设计了制造模型共享交换的规范文本,有利于不同虚拟制造系统间的数据共享集成,以及利用通用平台快速创建虚拟制造系统。
【学位授予单位】:山东大学
【学位级别】:博士
【学位授予年份】:2010
【分类号】:TH164

【引证文献】
中国期刊全文数据库 前1条
1 温晋杰;赵正旭;;OpenGL图形规范的Z形式化描述[J];河北省科学院学报;2014年02期
【参考文献】
中国期刊全文数据库 前10条
1 杨先娣;何宁;吴黎兵;刘君强;;一种基于本体的语义信息集成方法(英文)[J];Journal of Southeast University(English Edition);2007年03期
2 蔡树彬;明仲;李师贤;刘显明;;基于本体的模型集成[J];电子学报;2009年04期
3 孙广毅;赵新;卢桂章;;面向微加工的虚拟光刻系统建模与实现[J];高技术通讯;2009年01期
4 房保国;张大发;林亚军;;压水堆运行控制的虚拟仿真技术研究[J];核动力工程;2006年04期
5 袁华;赵耀;严俊;;船舶虚拟制造系统体系设计及关键技术[J];华中科技大学学报(自然科学版);2009年04期
6 肖杰华,陈立平,郭宇,王书亭;面向生产制造过程的虚拟仿真系统建模研究[J];计算机工程;2002年06期
7 喻超,毋国庆;COM接口的Z规范[J];计算机工程;2002年12期
8 赵建军,王启付;基于边界表达的ParaSolid与ACIS直接双向接口[J];计算机工程;2004年08期
9 邢小英;王维维;;两次数据精化的形式化软件开发方法[J];计算机工程;2006年01期
10 胡建,廖文和,戴勇;面向并行工程的制造执行系统的研究与开发[J];计算机集成制造系统;2004年06期
中国硕士学位论文全文数据库 前2条
1 赖红;华中数控系统远程监控与维护技术研究[D];华中科技大学;2004年
2 陈莎莎;数控图形用户界面集成开发平台的研究与实现[D];武汉理工大学;2006年
【共引文献】
中国期刊全文数据库 前10条
1 刘春孝;靳孝峰;;NC加工过程几何建模与仿真研究[J];安阳工学院学报;2009年06期
2 高志民;姚崎;;面向并行安全网关流水线模型的无锁队列算法[J];北京交通大学学报;2010年05期
3 王涛;李宏才;闫清东;;车辆综合传动装置虚拟装配研究[J];车辆与动力技术;2009年04期
4 刘萍;;浅谈做好企业安全生产管理的几点认识[J];办公室业务;2012年09期
5 孙逊;诸雪征;余世魁;向章平;;喷火器仿真训练系统的设计与实现[J];北京工业大学学报;2009年10期
6 赵晓峰;赵正旭;周以齐;杨超英;;设备操作控制过程模型及其仿真环境的规范化研究[J];北京工业大学学报;2012年03期
7 赵罡;王超;侯文君;金钺;;复杂产品虚拟装配系统的人机交互技术[J];北京航空航天大学学报;2009年02期
8 李震;刘斌;陆民燕;殷永峰;;基于扩展Petri网的除冰软件安全需求建模和验证[J];北京航空航天大学学报;2012年01期
9 罗如柏;赵金娟;周世生;;基于XML的JDF在印刷工业中的应用研究[J];包装工程;2006年06期
10 张志刚;陈亚军;;JDF工作流程的系统模型与集成[J];包装工程;2008年03期
中国重要会议论文全文数据库 前10条
1 谢健;易亚星;李竞;;虚拟现实技术研究[A];中国电子学会第十七届信息论学术年会论文集[C];2010年
2 卢桂萍;娄燕;刘力华;;镁合金挤压机虚拟加工仿真系统设计[A];首届珠中江科协论坛论文集[C];2011年
3 王飞明;胡元闯;董荣胜;;模型检测中状态爆炸及其优化策略研究[A];广西计算机学会2008年年会论文集[C];2008年
4 孙栋栋;王玉斌;马争先;张净;;基于NS2的队列管理机制RED的研究及仿真[A];广西计算机学会2010年学术年会论文集[C];2010年
5 邵梅;王玉斌;马争先;钟艳如;;Ad hoc网络AODV协议的形式化分析与仿真[A];广西计算机学会2010年学术年会论文集[C];2010年
6 余兴超;马争先;王玉斌;董荣胜;;基于UPPAAL的简单网络支付协议形式化验证[A];广西计算机学会2010年学术年会论文集[C];2010年
7 凌鹤;罗亚波;;基于相似性原理的数控代码关联特性分析[A];12省区市机械工程学会2006年学术年会湖北省论文集[C];2006年
8 曹文钢;王锐;姜康;张红旗;;基于资源节约的雷达产品开发的VR技术应用[A];安徽节能减排博士科技论坛论文集[C];2007年
9 游贤伦;罗尧治;;基于表达式定义的钢结构节点三维实体建模方法[A];第六届全国现代结构工程学术研讨会论文集[C];2006年
10 王文学;张海涛;魏培文;;ISO9000质量管理体系对生产作业管理的价值[A];2007年山东耐火材料学术交流论文选集[C];2007年
中国博士学位论文全文数据库 前10条
1 舒挺;EFSM模型协议一致性测试序列自动生成研究[D];浙江大学;2010年
2 胡浩;长生命周期生产设备维修状态管理关键技术研究[D];浙江大学;2011年
3 曹源;高速铁路列车运行控制系统的形式化建模与验证方法研究[D];北京交通大学;2011年
4 吕继东;列车运行控制系统分层形式化建模与验证分析[D];北京交通大学;2011年
5 韩豹;东北垄作株间机械除草关键部件研究与整机设计[D];吉林大学;2011年
6 萧毅鸿;基于本体的复杂决策任务表示方法与求解技术研究[D];南京大学;2011年
7 马健丽;信息系统安全功能符合性检验关键技术研究[D];北京邮电大学;2010年
8 朱维军;时间区间时序逻辑模型检测:理论、算法及应用[D];西安电子科技大学;2011年
9 刘勇;基于本体的家电领域功能知识表达研究[D];中国海洋大学;2011年
10 赵方方;定制产品制造过程质量控制与诊断方法研究[D];天津大学;2010年
中国硕士学位论文全文数据库 前10条
1 刘飞;基于Pro/E的装配公差设计研究[D];哈尔滨工程大学;2010年
2 张志强;数据集成技术及其应用研究[D];哈尔滨工程大学;2010年
3 王永伟;基于构件的形式化方法在软件开发中的应用研究[D];哈尔滨工程大学;2010年
4 王辉;三维模型网络快速传输及版本管理研究[D];大连理工大学;2010年
5 苏昭;关系代数→关系演算转换系统的研制[D];江西师范大学;2010年
6 密海英;面向某电子企业的产品协同管理系统的设计与实现[D];苏州大学;2010年
7 夏红霞;面向通用类机械产品虚拟装配的工程数据库管理系统研究[D];合肥工业大学;2010年
8 董章球;三钢实业有限公司战略采购规划[D];西北大学;2010年
9 陆新玉;精益循环型生产系统的分析与设计[D];天津理工大学;2010年
10 孔政伟;数控铣削物理仿真及优化系统研究[D];哈尔滨理工大学;2010年
【同被引文献】
中国期刊全文数据库 前4条
1 刘玲,缪淮扣;Z规格说明构造方法[J];计算机工程;2000年02期
2 王吉茂;尹平;张慧颖;;基于Z语言的测试用例形式化描述方法研究[J];计算机测量与控制;2013年12期
3 许庆国;缪淮扣;曹晓夏;胡晓波;;Object-Z规格说明测试用例的自动生成器[J];软件学报;2011年06期
4 赵晓峰;赵正旭;周以齐;;基于Z的虚拟加工仿真环境规范技术研究[J];系统仿真学报;2009年22期
【二级参考文献】
中国期刊全文数据库 前10条
1 张海霞,郭辉,肖志勇,周荣春,郝一龙;MEMS CAD系统IMEE的研究和开发[J];微纳电子技术;2003年Z1期
2 荣朝和;;重视基于交通运输资源的运输经济分析[J];北京交通大学学报(社会科学版);2006年04期
3 邓亮波,查建中;XML在网络化制造产品信息集成中的应用[J];北方交通大学学报;2002年04期
4 顾平,宁宣熙;虚拟企业及其在船舶工业中的应用[J];船舶工程;2002年02期
5 郭清,樊治平,郑苗,王建宇;ECCRM中的客户知识管理[J];东北大学学报;2004年03期
6 隋江华,张均东;图元文件信息的存取与在工程中的应用[J];大连海事大学学报;2003年02期
7 白文涛,刘正捷;用户界面的需求分析与设计原则[J];大连海事大学学报;2004年04期
8 宋关福,钟耳顺,刘纪远,肖乐斌;多源空间数据无缝集成研究[J];地理科学进展;2000年02期
9 闫伟国,王敏杰,王敏锐;基于以太网和TCP/IP的DNC通信技术研究[J];大连理工大学学报;2003年01期
10 陈希,王宁生;基于遗传算法的车间设备虚拟布局优化技术研究[J];东南大学学报(自然科学版);2004年05期
中国博士学位论文全文数据库 前1条
1 李响烁;PLM开发实施进程与集成产品元模型研究[D];浙江大学;2007年
【相似文献】
中国期刊全文数据库 前10条
1 邵立,钟廷修,严隽琪,马登哲;虚拟制造环境与仿真[J];中国机械工程;2000年08期
2 李慰立,余成波;虚拟制造关键技术[J];重庆工学院学报;2000年01期
3 黄劼,赵秀平;虚拟制造中产品的性能分析[J];江苏机械制造与自动化;2001年04期
4 朱从容;我国制造业实施虚拟制造的策略[J];精密制造与自动化;2002年01期
5 郭丽斌,刘美燕;虚拟制造 创新增值——神化公司的实践和探索[J];新材料产业;2002年10期
6 ;国家自然科学基金重点资助项目成果简介——虚拟制造的理论与技术基础[J];机械工程学报;2003年11期
7 陈小俊;虚拟制造在汽车制造企业的应用[J];城市车辆;2003年04期
8 董学仁,张奉军,赵国义,蔡卫东;虚拟制造系统及其关键技术[J];山东机械;2003年04期
9 韩英,刘胜青,罗阳;VM技术介绍及其应用[J];中国测试技术;2004年01期
10 程涛,管在林,吴波,杨叔子,黄心汉;网络经济下的一种新型生产组织模式——虚拟制造组织[J];机械制造;2004年06期
中国重要会议论文全文数据库 前10条
1 刘宁;付群;曹岩;;虚拟制造系统实施的相互影响[A];第三届中国CAE工程分析技术年会论文集[C];2007年
2 肖田元;韩向利;张林鍹;;虚拟制造的内涵及其研究应用[A];西部大开发 科教先行与可持续发展——中国科协2000年学术年会文集[C];2000年
3 肖田元;;虚拟制造及其在轿车数字化工程中的应用[A];二○○一年中国系统仿真学会学术年会论文集[C];2001年
4 肖田元;;虚拟制造加速产品创新[A];提高全民科学素质、建设创新型国家——2006中国科协年会论文集(下册)[C];2006年
5 徐菁;刘春;;一种面向虚拟制造的虚拟手设计与应用[A];'2008系统仿真技术及其应用学术会议论文集[C];2008年
6 米高扬;占小红;魏艳红;;针对焊接过程的虚拟制造建模系统的初步研究[A];第十六次全国焊接学术会议论文摘要集[C];2011年
7 周杰韩;熊光楞;吴波;杨叔子;;从虚拟制造到制造业信息化本体[A];制造业与未来中国——2002年中国机械工程学会年会论文集[C];2002年
8 曹玉东;王飞;徐红燕;;计算机立体显示技术及其在虚拟制造中的应用[A];人才、创新与老工业基地的振兴——2004年中国机械工程学会年会论文集[C];2004年
9 叶发亮;叶月萍;;虚拟制造系统体系结构的研究[A];第九届机械加工技术学术年会论文集[C];2004年
10 李海庆;殷国富;彭必友;;虚拟制造可视化管理系统应用研究[A];中国系统仿真学会第五次全国会员代表大会暨2006年全国学术年会论文集[C];2006年
中国重要报纸全文数据库 前10条
1 本报记者 王海波;外包中间环节 只做“曲线”两端 虚拟制造让企业“轻”起来[N];大庆日报;2012年
2 本报记者 赵庆国;虚拟制造 商机无限[N];中国改革报;2004年
3 本报记者 孙巡;无锡虚拟制造中心的奥秘[N];新华日报;2000年
4 本报记者 王臻;“虚拟制造”呼之欲出[N];计算机世界;2009年
5 武昌船舶重工有限责任公司副总经理 严俊;武昌船舶:虚拟制造促进跨越式发展[N];人民邮电;2009年
6 古晶 田波;虚拟制造体系:传统产业升级的有效途径[N];社会科学报;2001年
7 ;虚拟制造成攻关重点[N];人民邮电;2001年
8 本报记者 樊哲高;中动传媒:动漫“虚拟制造”[N];中国电子报;2012年
9 尔东;虚拟制造:促模具工业上水平[N];中国机电日报;2002年
10 罗晖 杨朝晖;做信息化带动工业化的“国家队”[N];科技日报;2005年
中国博士学位论文全文数据库 前5条
1 沈春龙;虚拟制造可视化环境及其过程管理的技术研究[D];南京理工大学;2002年
2 钱玲;可重构虚拟制造系统研究[D];南京理工大学;2005年
3 赵晓峰;虚拟制造环境的信息规范及其Z描述研究[D];山东大学;2010年
4 郭蕴华;面向协同虚拟制造的分布式支撑环境研究[D];武汉理工大学;2004年
5 冷晟;分布式虚拟制造单元关键技术研究与应用[D];南京航空航天大学;2005年
中国硕士学位论文全文数据库 前10条
1 慕灿;虚拟制造及其在制造业的应用研究[D];合肥工业大学;2008年
2 周腾华;运用图形程序接口技术开发构建虚拟制造环境[D];北京邮电大学;2013年
3 赵秀平;虚拟制造系统及虚拟产品性能的分析评价[D];四川大学;2001年
4 钮军;人工关节虚拟制造系统关键技术研究[D];武汉理工大学;2002年
5 朱岩峰;虚拟制造系统中的物体建模技术研究[D];沈阳工业大学;2002年
6 韩祥兰;面向虚拟制造的产品数据管理系统研究[D];南京理工大学;2002年
7 贺文锐;基于多代理的虚拟制造使能技术研究[D];西北工业大学;2001年
8 隋广慧;弹箭虚拟制造骨架系统关键技术研究[D];南京理工大学;2007年
9 白晓凯;面向虚拟制造的铣加工仿真技术研究[D];南京理工大学;2007年
10 彭晓娟;面向虚拟制造的车加工仿真技术研究[D];南京理工大学;2008年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026