并行计算中的CDT模型

并行模型机的构造是并行计算研究中极为重要的部分,一个理想的并行模型机应该能够反映并行计算中的重要环节同时又能最大限度的减少并行计算中繁杂的具体细节的分析.在对目前较为流行的一些并行模型机进行简单分析的基础上,对以范畴理论为基础的并行机模型、范畴数据类型(CDT)的研究方法、现状及存在的问题进行了较为深入的研究和探讨.

堆栈、队列的CDT

ＣＤＴ（范畴数据类型）为并行计算的研究提供了一种新的工具和方法。该文为堆栈、队列类型构造了 ＣＤＴ，给出了它们的ＣＤＴ变换及同态操作的递归算法并用实际例子说明了它们同志操作中固有的并行性。

基于通用构造器下CDT的关系

CDT(范畴数据类型)模型是一个以范畴理论为基础的计算模型,由于其构造因子存在着不唯一性,因此对某一数据类型的构造就存在多种选择。针对构造因子的多样性,文章给出了构造形式的通用表达方式,并基于该通用构造器的基础深入地研究了不同CDT之间的关系,得到了一些相关的性质和定理。