Modeling the integration between specifications and verification for cylindricity based on category theory
Modeling the integration between specifications and verification for cylindricity based on category theory
复制标题
基于范畴论对圆柱度规范和验证之间的集成进行建模
DOI：
10.1088/0957-0233/21/11/115107
复制
发表时间：
2010-11
影响因子：
2.4
通讯作者：
卢文龙
中科院分区：
文献类型：
--
作者：
卢文龙
产品几何规格（GPS）是由ISO/TC 213定义的标准体系，涵盖微观和宏观几何规格的标准化，使其适合现代技术的要求。此外，它集成了规格和验证，使几何规格更加明确和独特。数据建模是建立符合GPS标准体系的几何特征应用综合信息系统的首要任务。将这种数据建模方法推广到整个GPS信息系统是可行的。基于范畴理论，提出了圆柱度规范与GPS一致性检验集成的数据建模方法。分类数据建模方法用类、对象和态射来表示和存储圆柱度规范和验证过程中的所有元素及其之间的关系，所建立的类可以灵活扩展，对象之间的关系通过拉回结构来细化，对象之间的关系通过类和态射来表示和存储，对象之间的关系通过类和态射来表示和存储。利用范畴论中的函子变换，成功地实现了对模型的操作，如查询和查询的闭包。
Geometrical product specifications (GPS) is a standard system defined by ISO/TC213 which covers the standardization for micro- and macro-geometry specifications to make it suitable for the requirements of modern technologies. In addition, it integrates specifications and verification to make geometrical specifications more unambiguous and unique. Data modeling is a primary task in building an integrated information system for the application of geometrical characteristics consistent with the GPS standard system. It is feasible to extend this data modeling method to the whole GPS information system. This paper presents data modeling for the integration between specifications and verification for cylindricity consistent with GPS based on the category theory. The categorical data modeling method represents and stores all the elements and the relationships between them concerning the specifications and the verification process for cylindricity by categories, objects and morphisms; the established categories can be extended flexibly; the relationships between the objects were refined by pull back structures; and the manipulations of the model, such as query and the closure of query, are realized successfully by functor transforms in category theory.
登录
查看更多内容
DOI：
10.1016/j.cirpj.2009.06.007
发表时间：
2009
影响因子：
4.8
作者：
Z. Humienny
通讯作者：
Z. Humienny
DOI：
--
发表时间：
2002-08
期刊：
--
影响因子：
--
作者：
X. Jiang
通讯作者：
X. Jiang
影响因子：
2.4
作者：
H S Nielsen
通讯作者：
H S Nielsen
DOI：
10.1504/ijims.2008.019630
发表时间：
2008-07
影响因子：
--
作者：
Yuanping Xu;Zhijie Xu;Xiangqian Jiang
通讯作者：
Yuanping Xu;Zhijie Xu;Xiangqian Jiang
DOI：
--
发表时间：
1995-10
期刊：
--
影响因子：
--
作者：
M. Barr;Charles Wells
通讯作者：
M. Barr;Charles Wells