导读:本文包含了范畴数据类型论文开题报告文献综述及选题提纲参考文献，主要关键词:数据类型,范畴论,代数,共代数
范畴数据类型论文文献综述
苏锦钿[1]（2016）在《计算机科学中的范畴数据类型的研究综述》一文中研究指出范畴数据类型是指以范畴论为数学理论基础研究数据类型的描述、计算、语义和应用。早期的范畴数据类型研究以归纳数据类型为主,采用代数从归纳的角度研究有限数据类型的构造语义和递归性质。近年来,归纳数据类型的对偶概念——共归纳数据类型逐渐引起计算机科学工作者的关注与研究,他们采用共代数从观察的角度研究无限数据类型的行为语义和共递归性质。利用范畴论可以为数据类型研究提供统一的数学理论基础,并将代数和共代数中的各种重要研究成果有机地融合在一起,如语法构造与动态行为、递归与共递归、同余与互模拟等。目前,范畴数据类型已经在程序语言、计算描述、理论证明器和并行计算等领域得到广泛的应用。对范畴数据类型的基本概念、数学理论基础、逻辑基础及应用等方面的最新研究成果进行介绍,以引起国内外相关研究领域的学者对计算机科学中的范畴数据类型理论的关注。(本文来源于《计算机科学》期刊2016年10期）
苗德成,奚建清,苏锦钿[2]（2015）在《归纳数据类型的范畴论方法》一文中研究指出归纳数据类型是类型论研究的重要分支,传统的数理逻辑或代数方法侧重于描述归纳数据类型的有限语法构造,在语义性质与归纳规则的分析与设计方面存在一定的不足。基于范畴论的方法,在集合范畴的框架内给出谓词的形式化定义,分析谓词范畴与代数范畴的构成与性质,并探讨集合范畴上自函子到谓词范畴上自函子的提升,最后利用伴随函子及其伴随性质深入分析了归纳数据类型具有普适意义的归纳规则。(本文来源于《计算机科学》期刊2015年06期）
苏锦钿,余珊珊[3]（2013）在《范畴数据类型上的子类型》一文中研究指出为探讨包含构造操作和观察操作的范畴数据类型上的子类型关系及性质,将双代数作为范畴数据类型上构造操作和观察操作的统一数学描述,分析了归纳数据类型上代数子类型和共归纳数据类型上共代数子类型的范畴论定义及其语义,给出了双代数结构中代数子类型和共代数子类型的范畴论定义及其语义解释,从而将代数子类型和共代数子类型的研究扩展到双代数上.(本文来源于《华南理工大学学报(自然科学版)》期刊2013年09期）
叶阳东,何锡点,贾利民[4]（2009）在《面向范畴类型数据的sIB算法》一文中研究指出本文针对sIB算法仅适用于共现数据的问题,提出了一种能够自动进行范畴类型数据分析的sIB算法:CD-sIB.该算法根据范畴类型数据的离散化表示、不同属性值有限的特征,进行数据的属性的拓展和二元化处理,基于属性值的出现进行X,Y的联合分布的计算,使得sIB算法可有效应用于范畴类型数据的分析.实验结果表明:CD-sIB算法相对于现有的面向范畴类型数据聚类模式分析的算法GAClust和K-modes具有明显的优势;CD-sIB算法在进行数据属性概化程度高、类数据分布相对平衡的范畴类型数据的分析中,在效率和精确度方面均很突出.(本文来源于《电子学报》期刊2009年10期）
危锋,王宇杰[5]（2009）在《面向范畴类型数据的双聚类框架》一文中研究指出双聚类是一种理想的概念聚类方法。对范畴类数据而言,双聚类可以给出相关联的数据对象和属性值的簇集(包括重迭的情况)。该文提出了一种通用的双聚类框架,由局部模式群集计算双划分。该局部模式反映了数据对象和属性之间的强关联。(本文来源于《电脑知识与技术》期刊2009年03期）
邵必林,边根庆[6]（2005）在《范畴数据类型中的几乎同态问题(英文)》一文中研究指出范畴数据类型可以看成是抽象数据类型的扩充,它的对象就是封装了数据表达式以及涉及同态操作的控制流的集合。因此同态的关系是构造范畴数据类型关键,但是,在数据类型中有些操作并不是同态操作。本文扩充了范畴数据类型中同态思想,得到了范畴数据类型中几乎同态的理论基础,同时我们通过例子说明了同态方法不能解决的并行计算问题可以用几乎同态的方法来解决。总之,在元组元素的运算上几乎同态问题比同态问题更复杂些,并且它扩充了范畴数据类型变换的应用范围。(本文来源于《西安建筑科技大学学报(自然科学版)》期刊2005年03期）
边根庆,赵文静,陈建,冯钢[7]（2005）在《范畴数据类型(CDT)构造的基本原理》一文中研究指出范畴数据类型(CDT)是以范畴理论为基础来讨论数据类型的构造及应用,它是抽象数据类型的一种推广,在并行计算的理论研究中有着重要的地位。文章对范畴数据类型(CDT)构造的基本原理作了深入探讨,并采用了一种新的方法实现了CDT同态的因子分解定理,得到了CDT构造中某些重要的性质和CDT因子分解定理。(本文来源于《微电子学与计算机》期刊2005年06期）
侯义斌,Ｔ．Ｈ．Ａｘｆｏｒｄ[8]（1996）在《范畴数据类型与并行处理》一文中研究指出范畴数据类型（ＣＤＴ）为设计与机器结构无关的并行处理程序提供了一个新的方法和工具．文中介绍ＣＤＴ的基本概念，研究二叉树ＣＤＴ的构造与应用．(本文来源于《西安交通大学学报》期刊1996年10期）
范畴数据类型论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
归纳数据类型是类型论研究的重要分支,传统的数理逻辑或代数方法侧重于描述归纳数据类型的有限语法构造,在语义性质与归纳规则的分析与设计方面存在一定的不足。基于范畴论的方法,在集合范畴的框架内给出谓词的形式化定义,分析谓词范畴与代数范畴的构成与性质,并探讨集合范畴上自函子到谓词范畴上自函子的提升,最后利用伴随函子及其伴随性质深入分析了归纳数据类型具有普适意义的归纳规则。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
范畴数据类型论文参考文献
[1].苏锦钿.计算机科学中的范畴数据类型的研究综述[J].计算机科学.2016
[2].苗德成,奚建清,苏锦钿.归纳数据类型的范畴论方法[J].计算机科学.2015
[3].苏锦钿,余珊珊.范畴数据类型上的子类型[J].华南理工大学学报(自然科学版).2013
[4].叶阳东,何锡点,贾利民.面向范畴类型数据的sIB算法[J].电子学报.2009
[5].危锋,王宇杰.面向范畴类型数据的双聚类框架[J].电脑知识与技术.2009
[6].邵必林,边根庆.范畴数据类型中的几乎同态问题(英文)[J].西安建筑科技大学学报(自然科学版).2005
[7].边根庆,赵文静,陈建,冯钢.范畴数据类型(CDT)构造的基本原理[J].微电子学与计算机.2005
[8].侯义斌,Ｔ．Ｈ．Ａｘｆｏｒｄ.范畴数据类型与并行处理[J].西安交通大学学报.1996