摘要:
针对粒计算中细粒层到粗粒层的转换问题,提出一种基于范畴论的粒合成形式化方法。以粒结构为对象,将粒结构映射作为态射构成粒结构范畴,利用范畴论的外推实现粒结构合并,并给出相应的粒合成算法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
中图分类号:
李鸿. 基于范畴论的粒合成形式化方法[J]. 计算机工程, 2011, 37(14): 189-191.
LI Hong. Formal Method of Granular Synthesis Based on Category Theory[J]. Computer Engineering, 2011, 37(14): 189-191.