论文部分内容阅读
CDT(范畴数据类型)模型是一个以范畴理论为基础的计算模型,由于其构造因子存在着不唯一性,因此对某一数据类型的构造就存在多种选择。针对构造因子的多样性,文章给出了构造形式的通用表达方式,并基于该通用构造器的基础深入地研究了不同CDT之间的关系,得到了一些相关的性质和定理。
基于通用构造器下CDT的关系
【摘 要】
：
CDT(范畴数据类型)模型是一个以范畴理论为基础的计算模型,由于其构造因子存在着不唯一性,因此对某一数据类型的构造就存在多种选择。针对构造因子的多样性,文章给出了构造形式的通用表达方式,并基于该通用构造器的基础深入地研究了不同CDT之间的关系,得到了一些相关的性质和定理。
【机 构】
：
华南师范大学计算学院,广东惠丰电子公司计算中心
【出 处】
：
计算机工程与应用
【发表日期】
：
2006年12期
其他文献
据种植者和省级农业部门的官员说，今年巴基斯坦杧果产量有望突破180万t，是近两年杧果产量的一次突破。巴基斯坦贸易部官员称，今年杧果出口量将由去年的14万t增至16万t，究其原因，一
患者男,60岁,因持续胸痛1 h入院.患者于入院前1h,无原因心前区闷痛,无放射痛.伴出汗、上腹不适.无恶心、呕吐.自服“速效救心丸”15粒,胸痛不缓解.既往无高血压、糖尿病史.入
期刊
汉中市是我国北缘地区最大的优质柑桔生产基地，现有柑桔2．4万hm^2，年产40万t，综合产值15亿元。汉中柑桔产区栽植和分布的柑桔品种以温州蜜柑中的宫川、兴津为最大．占总面积的85％以
传统人工势场法不能适应复杂动态环境且容易产生局部极小．论文提出了一种改进型的人工势场算法。该算法考虑了机器人和障碍物的速度、加速度等动态特性．对传统人工势场进行了有
增量学习是通过从已知样本出发对未知样本进行识别和分类，并能够继续学习的方法和原则。论文在分析了HS-SVM的理论基础后，基于Joachims的直推式SVM分类算法，提出了直推式THS-SVM
校企合作是高校培养实用型人才的最有效手段,是提高教师、学生实践能力的最佳方式,作为学校、企业合作的主体,老师、学生实践在主体,在校企合作中必须遵循一定规则才能使校企
依托某地铁上穿工程,采用FLAC3D数值计算结果进行了施工卸荷效应分析,依据变位分配原理,制定了CRD法各个小导洞的上浮变形控制标准及变位分配曲线,第三方远程监控量测数据表
据《中国南方果树》2013年第6期《生物炭对酸性红壤改良及枳砧纽荷尔脐橙苗生长的影响》（作者张祥等）报道，采用盆栽试验，以0．1％、2％生物炭量及其与化肥配合施于酸性红壤中．研究了生物
本刊讯根据冬前果树病虫越冬基数调查，结合山西省气象台2014年长期气候预测，以及晋南区域历年病虫发生资料、发生态势、作物布局生态条件等因素，预计2014年晋南地区果树主要病虫