用信息元法构造CAPP系统框架.docVIP

　　用信息元法构造CAPP系统框架|第1 0、 前言 　　CAPP系统的针对性一直很强，适应性很差。在CAPP系统开发过程中存在大量的重复劳动。因此，CAPP的通用化和开放性成为研究的热点。虽然有关研究已经取得一些成果，但还远未能令人满意。 　　CAPP系统通用化的困难首先是零件对象种类多。包罗万象的完整零件信息模型的定义是不可能的。以往都是针对具体零件对象建立固定的信息模型(即使有柔性，也是小得很)，进行针对性的系统开发。其次是生产环境特殊性，不同厂家的生产设备、生产工艺可能很不一样，工艺知识和经验复杂多样。针对不同的生产环境重新总结整理工艺知识不可避免。再次是与其他系统的集成，目前任何一种产品数据交换标准都无法通用地完全满足CAPP系统与其他相关系统的信息集成。 　　固定的信息模型无法克服上述困难。在传统层次上对零件、产品或制造资源等进行抽象是不够的，需要更高层次更通用的抽象。同样地，传统的根据固定信息模型进行开发的CAPP方法学也要进行变革。本文提出了一种新的方法，称为信息元法，并以信息元法为指导建立一个CAPP系统框架THCAPP-SHELL。 1、信息元法 1.1　信息元的定义及其要素 　　关于任何事物的信息是对该事物各属性的描述的集合。属性名、描述值以及属性名与描述值之间的关系一起构成对该事物某属性的最简单描述，是信息的最小单元，称为信息元。例如，对于某个圆柱面的信息“直径=30 mm”，“直径”为属性名，“30 mm”是描述值，“=”是属性名与描述值之间的关系。 　　属性名、描述值、属性名与描述值之间的关系(以下简称关系)是信息元的三要素，缺少其中任何一个都构不成一条完整信息。 　　属性名确定以后，描述值和关系并不一定唯一，各种描述值和关系可能表达不相同的信息。 　　对于某个信息元，描述值可能有多个分值，且各个分值可能是相关的。例如信息元“该圆柱面的加工路线是粗车—半精车—淬火—粗磨—精磨”，这里“粗车”、“半精车”、“淬火”、“粗磨”和“精磨”为加工路线描述值的各个分值，先后顺序不能改变。 　　人为定义没有计量单位为一种特殊计量单位，称为空单位，则可以认为分值由数值和单位构成。 　　用传统实体建模的方法可以建立信息元的IDEF1X实体信息模型，如图1a。下文图中信息元实体均采用图1b所示的简略形式。 　　从实现机器的信息元运算考虑，关系的类型应体现出待描述属性的数据类型(整数、浮点数和字符串等)、描述值分值内部的关系(单值、范围、集合、序列等)以及属性名与描述值总体上的关系(等于、不等于、包含、被包含、子集、子列、相交和重叠等)。 　　　　　　　　　　　 　　　　1　信息元的实体信息模型 　　为描述方便，记第i个信息元为Ii，并引入记号“(T)”表示“正确”，“(F)”表示“错误”，“”表示“一定可以推理出”。 　　如果信息元Ii所表达的信息与实际相符，则称为正确信息元，记为Ii(T)；反之称为错误信息元，记为Ii(F)。 1.2　信息元组 　　若干信息元的集合称为信息元组。信息元组是关于某事物的信息的全体或局部。单个信息元是信息元组的特例。利用信息元组的概念可以分层次、分侧面地描述复杂事物的构成。 　　记信息元组j为Gj。若Ii是Gj里的一个信息元，则称Ii属于Gj，记为Ii∈Gj。 1.3　信息元之间的关系 　　对任意两个信息元Ii和Ij： 　　(1) 如果Ii和Ij属性名相同，则称Ii和Ij互为同类。 　　(2) 如果Ii和Ij的三要素都相同，则称Ii和Ij互为重复，记为Ii=Ij。互为重复的信息元可以只留其一。 　　(3) 如果Ii为正确信息元时一定可推出Ij为正确信息元，则称Ii与Ij相符，记为Ii(T)Ij(T)，简记为IiIj。Ii与Ij相符，不一定有Ij与Ii相符。 　　(4) 如果Ii为正确信息元时一定可推出Ij为错误信息元，则称Ii与Ij正排斥，记为Ii(T)Ij(F)。Ii与Ij正排斥，必然有Ij与Ii正排斥。 　　(5) 如果Ii为错误信息元时一定可推出Ij为正确信息元，则称Ii与Ij反排斥，记为Ii(F)Ij(T)。Ii与Ij反排斥，必然有Ij与Ii反排斥。 　　(6) 如果Ii与Ij正排斥，而且Ii与Ij反排斥。则称Ii与Ij互为完全排斥。 　　正排斥、反排斥和完全排斥统称为排斥。 1.4　信息元组之间的关系 　　对任意两个信息元组Gi和Gj： 　　(1) 如果Ij∈Gj，都Ii∈Gi，使得Ii(T)Ij(T)，则称Gi与Gj相符，记为Gi(T)Gj(T)，简记为GiGj。Gi与Gj相符，不一定有Gj与Gi相符。　　　 　　(2) 如果Ij∈Gj，Ii∈Gi，Ii(T)Ij(F)，则称Gi与Gj正排斥，记为Gi(T)Gj(F)。Gi与Gj正排斥，必然有Gj与Gi