论文部分内容阅读
粒计算理论还没有公认的统一模型，为了解决这个问题。从粒的定义、特征及其表示出发，借助经典范畴学理论，分别给出了粒范畴、粒态射、粒外推的概念，并分别对它们进行了形式化表示，且给出了利用粒外推的形式化方法实现了粒合并的一种算法，从而实现了用粒范畴进行信息处理的一种粒计算模型一粒范畴模型。这一研究成果说明粒范畴模型可以视为适合于解决问题域系统分解和组合的形式化认知工具，该模型的建立，有利于推动粒计算学科的研究与发展。