In analogy to algebraic data type theory, this paper proposed the mathematical model of objects, object types and abstract object types.

类似于代数数据类型理论，本文提出了对象、对象类型及抽象对象类型的代数模型。

youdao

The valid tool to solve this type of problem is the fuzzy theory and level analytic method. Therefore, this paper USES level fuzzy decision model to solve it.

解决这类问题最有效的工具就是模糊理论和层次分析法，因此，本文采用层次模糊决策模型来解决此问题。

youdao

Aim CDT (categorical data type) is a parallel model basing on category theory, and this paper discusses the CDT construction of the memory type in details.

目的CDT(范畴数据类型)是以范畴理论为基础的并行计算模型，本文对存储器类型的CDT构造进行深入的探讨。

youdao