资料下载
×
基于端口自动机的行为表达方法
消耗积分:0 |
格式:rar |
大小:0.83 MB |
2017-12-15
分享资料个
模块间相互嵌套的结构是信息系统中最常见的结构之一。在应用系统中，为了实现复杂的功能，具有一定功能的模块可嵌入并组合到其他模块中；同样，组合后的模块还可被嵌入到更大的外部模块中。近期，美国麻省理工学院Spivak等使用“对称多范畴”（ symmetric multicategory）来讨论自相似对象的嵌套结构以及相关计算特征。该系列研究的核心思想是：范畴对象间存在“多对一”态射，当使用集合概念替代范畴对象时，可实现表示内部结构的多个集合与一个表示外部结构的集合之间的嵌套组合关系；而且使用“函子”（ functor）可基于结构特征分析出结构上的计算特征。2015年，该方法还被应用于“模块化网络”的静态结构描述与动态特性表达上。在该系列研究基础上，本文基于“端口自动机”建立面向嵌套式结构的行为表达方法PAM，并就该方法相关理论基础和应用方法等内容进行分析和讨论，本文所提出的PAM方法是一个函子，该函子的伴随域为：在状态集上进行运算的动态系统，这也说明PAM运算具有结构保持特征，可将结构与集合上的运算相互联系起来。
声明：本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人，不代表电子发烧友网立场。文章及其配图仅供工程师学习之用，如有内容侵权或者其他违规问题，请联系本站处理。 举报投诉
评论(0)
发评论
- 相关下载
- 相关文章
