Title: Formal Method of Granular Synthesis Based on Category Theory
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.
Publication Year: 2011
Publication Date: 2011-01-01
Language: en
Type: article
Access and Citation
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot