作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑

计算机工程 ›› 2011, Vol. 37 ›› Issue (14): 189-191. doi: 10.3969/j.issn.1000-3428.2011.14.063

• 人工智能及识别技术 • 上一篇    下一篇

基于范畴论的粒合成形式化方法

李 鸿1,2a,2b   

  1. (1. 中国矿业大学信息与电气工程学院,江苏 徐州 221116;2. 宿州学院 a. 智能信息处理实验室;b. 信息工程学院,安徽 宿州 234000)
  • 收稿日期:2010-12-23 出版日期:2011-07-20 发布日期:2011-07-20
  • 作者简介:李 鸿(1965-),男,教授、博士研究生、CCF会员,主研方向:智能计算,算法设计与分析,人工智能
  • 基金资助:

    安徽高校省级自然科学研究基金资助重点项目(kj2007a12 9zc)

Formal Method of Granular Synthesis Based on Category Theory

LI Hong 1,2a,2b   

  1. (1. School of Information and Electrical Engineering, China University of Mining and Technology, Xuzhou 221116, China;2a. Laboratory of Intelligent Information Processing; 2b. School of Information Engineering, Suzhou University, Suzhou 234000, China)
  • Received:2010-12-23 Online:2011-07-20 Published:2011-07-20

摘要:

针对粒计算中细粒层到粗粒层的转换问题,提出一种基于范畴论的粒合成形式化方法。以粒结构为对象,将粒结构映射作为态射构成粒结构范畴,利用范畴论的外推实现粒结构合并,并给出相应的粒合成算法GrSA,结合具体案例说明该方法解决粒合成问题的过程。应用结果表明,该方法能够实现粒层之间的转换。

关键词: 范畴论, 粒结构, 粒结构范畴, 粒结构映射, 粒结构合并, 粒合成

Abstract:

In order to solve the problem of conversion from the finer level of granularity to the coarser level of granularity, this paper proposes a formal method for granular synthesis based on category theory. It takes the granular structure as the granular object, the granular structure mapping as the granular morphism, then the granular object and the granular morphism composes the granular structure category. It uses the granular pushout to achieve the granular merging, and gets the granular synthesis algorithm GrSA. It illustrates the method with the concrete examples, which solves the granular synthesis issue. This method can realize the conversions between the levels of granularity.

Key words: category theory, granular structure, granular structure category, granular structure mapping, granular structure merging, granular synthesis

中图分类号: