【摘 要】
：
范畴数据类型是指以范畴论为数学理论基础研究数据类型的描述、计算、语义和应用。早期的范畴数据类型研究以归纳数据类型为主,采用代数从归纳的角度研究有限数据类型的构造
【基金项目】
：
广东省自然科学基金（2015A030310318）,广东省医学科学技术研究基金项目（A2015065）,国家自然科学基金资助项目（61103038）资助.
论文部分内容阅读
范畴数据类型是指以范畴论为数学理论基础研究数据类型的描述、计算、语义和应用。早期的范畴数据类型研究以归纳数据类型为主,采用代数从归纳的角度研究有限数据类型的构造语义和递归性质。近年来,归纳数据类型的对偶概念——共归纳数据类型逐渐引起计算机科学工作者的关注与研究,他们采用共代数从观察的角度研究无限数据类型的行为语义和共递归性质。利用范畴论可以为数据类型研究提供统一的数学理论基础,并将代数和共代数中的各种重要研究成果有机地融合在一起,如语法构造与动态行为、递归与共递归、同余与互模拟等。目前,范畴数据类型已经在
其他文献
连接操作是大规模数据集在数据分析应用中最常用的操作，针对MapReduce自身不能有效地处理数据倾斜情况下的连接操作，提出了基于MapReduce的频次分类连接算法。根据数据在连接数
为了有效降低高效视频编码标准HEVC编码过程中的计算复杂度,提出了一种基于决策树的编码单元划分算法。该算法将编码单元划分问题归为分类问题,提取编码单元的划分信息到决策
针对单连杆柔性臂,提出了负载自适应模糊滑模控制与最优控制相结合的混合控制方法.首先,采用奇异摄动将系统分为慢变和快变两个子系统.然后,对慢变子系统采用负载自适应模糊
研究了履带式车辆单轮悬挂模型的车体加速度均方根值特性,提出了一种最优阻尼的控制策略,同时给出了按此控制策略研制的履带式车辆半主动悬架控制系统的硬件设计及其典型特点
针对深海环境的特殊性,对集矿机传感器容错方法进行了研究;利用双传感器冗余策略,同时把加权融合算法和灰色预测模型结合起来,构建一个基于混合冗余的传感器容错系统,用于集
介绍了采用分级系统结构的智能化药房控制系统中的一种最小代价取药策略,用整体代价的概念全面的看待完成一件任务所消耗的代价,并给出了算法和实现.提出最小代价的原理主要
过去,人们常常采用传统仪器对系统进行测试,测试工作繁琐,而且技术更新困难;基于PC机的虚拟仪器能对测试过程进行编程,可以调整测试内容和测试算法,并且有远程和智能化测试等
回滞现象广泛存在于许多领域,其不可积的非线性特性给控制设计带来了困难.提出的NBPID控制器是基于神经网络逆模型前馈控制(N),加上改进的Bang-Bang控制(B)的PID控制器.首先
在基于卡尔曼滤波及其一些改进算法中,由于测量方差预先设定,从而导致滤波发散和信息资源的浪费,为此提出了一种动态加权下测量方差时变的多传感器融合算法。该算法依据各传感器当前时刻的滤波精度合理地分配权值,同时测量方差的时变特性使得每次测量信息得到充分的利用。仿真结果表明该算法显著地提高了对机动目标的跟踪效果并具有实时性的优点。
为了提升障碍空间中k最近邻查询的效率,研究了障碍空间中基于Voronoi图的k最近邻查询方法,提出了在障碍空间基于Voronoi图的kNN-Obs算法。该算法采用了两个过程：过滤过程和精