| 基于范畴论的粒合成形式化方法 |
| 李鸿[1,2,3] |
| 关键词：范畴论 粒结构 粒结构范畴 粒结构映射 粒结构合并 粒合成 |
| 主要内容：针对粒计算中细粒层到粗粒层的转换问题，提出一种基于范畴论的粒合成形式化方法。以粒结构为对象，将粒结构映射作为态射构成粒结构范畴，利用范畴论的外推实现粒结构合并，并给出相应的粒合成算法GrSA，结合具体案例说明该方法解决粒合成问题的过程。应用结果表明，该方法能够实现粒层之间的转换。 |
| 《计算机工程》 2011,37(14).-189-191,194 |
| 全文下载请进入http://hightech.stlib.cn/tpi_1/sysasp/include/index.asp |
微信公众号