范畴数据类型(CDT)构造的基本原理
Release time:2024-08-09
Hits:
- Affiliation of Author(s):
- 信息与控制工程学院
- Journal:
- 微电子学与计算机
- Key Words:
- 中文关键字：数据类型，范畴数据，并行计算，英文关键字：Data tyoes,Categorical theory,Parallel calculation
- Abstract:
- 数据范畴类型(CDT)是以范畴理论为基础来讨论数据类型的构造和应用，它是抽象数据类型的一种推广，在并行计算的理论中有着重要的地位。文章中对数据范畴类型(CDT)构造的基本原理作了深入探讨，并采用了一种新的方法实现了CDT同态的因子分解定理，得到了CDT构造中某些重要的性质和CDT因子分解定理。
- Note:
- 边根庆
- Co-author:
- 陈建,冯钢
- First Author:
- 赵文静,biangenqing
- Indexed by:
- Journal paper
- Volume:
- 卷：22
- Issue:
- 期：6
- Page Number:
- 页：177~180
- Translation or Not:
- no
- Date of Publication:
- 2005-06-01