-
题名存储器类型的CDT构造Ⅱ
- 1
-
-
作者
边根庆
邵必林
冯钢
-
机构
西安建筑科技大学信控学院
西安建筑科技大学管理学院
华南师范大学计算机系
-
出处
《微电子学与计算机》
CSCD
北大核心
2005年第3期231-235,共5页
-
文摘
目的CDT(范畴数据类型)是以范畴理论为基础的并行计算模型,本文对存储器类型的CDT构造进行深入的探讨。方法采用构造方法Ⅱ实现了存储器类型CDT。结果通过例子比较了与构造方法Ⅰ的区别,同时进一步详细论述了两种构造方法的优劣性,而它们之间的关系可以采用类似文[8]的方式得到。
-
关键词
cdt
构造方法
构造因子
-
Keywords
cdt, way of construction, factor of construction
-
分类号
TP338.6
[自动化与计算机技术—计算机系统结构]
-
-
题名基于通用构造器下CDT的关系
- 2
-
-
作者
冯刚
黄小虎
陈朝晖
-
机构
华南师范大学计算学院
广东惠丰电子公司计算中心
-
出处
《计算机工程与应用》
CSCD
北大核心
2006年第12期77-81,共5页
-
文摘
CDT(范畴数据类型)模型是一个以范畴理论为基础的计算模型,由于其构造因子存在着不唯一性,因此对某一数据类型的构造就存在多种选择。针对构造因子的多样性,文章给出了构造形式的通用表达方式,并基于该通用构造器的基础深入地研究了不同CDT之间的关系,得到了一些相关的性质和定理。
-
关键词
cdt
构造方式
构造因子
范畴数据类型
-
Keywords
cdt, way of construction, factor of construction
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
