论文部分内容阅读
CDT(范畴数据类型)模型是一个以范畴理论为基础的计算模型,由于其构造因子存在着不唯一性,因此对某一数据类型的构造就存在多种选择。针对构造因子的多样性,文章给出了构造形式的通用表达方式,并基于该通用构造器的基础深入地研究了不同CDT之间的关系,得到了一些相关的性质和定理。
基于通用构造器下CDT的关系
【摘 要】
：
CDT(范畴数据类型)模型是一个以范畴理论为基础的计算模型,由于其构造因子存在着不唯一性,因此对某一数据类型的构造就存在多种选择。针对构造因子的多样性,文章给出了构造形式的通用表达方式,并基于该通用构造器的基础深入地研究了不同CDT之间的关系,得到了一些相关的性质和定理。
【机 构】
：
华南师范大学计算学院,广东惠丰电子公司计算中心
【出 处】
：
计算机工程与应用
【发表日期】
：
2006年12期
其他文献
患者男,60岁,因持续胸痛1 h入院.患者于入院前1h,无原因心前区闷痛,无放射痛.伴出汗、上腹不适.无恶心、呕吐.自服“速效救心丸”15粒,胸痛不缓解.既往无高血压、糖尿病史.入
期刊
传统人工势场法不能适应复杂动态环境且容易产生局部极小．论文提出了一种改进型的人工势场算法。该算法考虑了机器人和障碍物的速度、加速度等动态特性．对传统人工势场进行了有
增量学习是通过从已知样本出发对未知样本进行识别和分类，并能够继续学习的方法和原则。论文在分析了HS-SVM的理论基础后，基于Joachims的直推式SVM分类算法，提出了直推式THS-SVM
校企合作是高校培养实用型人才的最有效手段,是提高教师、学生实践能力的最佳方式,作为学校、企业合作的主体,老师、学生实践在主体,在校企合作中必须遵循一定规则才能使校企