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

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