归纳数据类型的范畴论方法

归纳数据类型是类型论研究的重要分支,传统的数理逻辑或代数方法侧重于描述归纳数据类型的有限语法构造,在语义性质与归纳规则的分析与设计方面存在一定的不足.基于范畴论的方法,在集合范畴的框架内给出谓词的形式化定义,分析谓词范畴与代数范畴的构成与性质,并探讨集合范畴上自函子到谓词范畴上自函子的提升,最后利用伴随函子及其伴随性质深入分析了归纳数据类型具有普适意义的归纳规则.     

一种关系数据库的网上发布和集成方法

该文针对现有数据库信息网上发布和集成方法的缺点,提出了一种新的发布和集成方法,称为MOAT(movable operations as texts,可移动文本化操作)模型.该方法不是把数据库的操作以一段程序的方式表示并在网上发布,而是表示为一段文本文字来发布.其特点是表示方式简洁直观并具有可修改性.允许用户通过简单的工具,直观地修改或复合已有的数据库访问操作,生成新的数据库访问操作,并且可以根据需要将新的操作在网上再发布.文章还介绍了MOAT模型的一种实现框架,最后提出了展望.     

基于元数据数据库的网络课件搜索系统

现在远程教育正在飞速发展,互联网上的网络课件越来越多。为了便于老师和学生在互联网上找到合适的课件,各种研究机构已经开发出一些搜索技术。但是这些搜索技术还有很多不足之处,搜索的结果会有很多不相关的信息,还有可能遗漏了重要的信息。该文提出了一种基于元数据(metadata)的网络课件搜索系统,从而使搜索结果正确,而且搜索也能够高效率进行。     

面向对象数据库系统Daemon4／1的设计

Daemon4/1的基本目标是使对象操作语言和库管理系统能有机地集成在一起，为此在基本模型、对象表示及访问机制、语言事务系统和版本管理等方面作了探讨。在对象模型设计时应考虑支持库管理和操作，对象表示应同时支持传统语言和库操作执行，语言级事务概念要考虑到语言运行系统的特殊性和库事务管理系统，版本管理等特色的引入不能影响对象系统的简单性。Daemon4/1在这些方面具有自己的特色。     

用改进的游程编码方法压缩值索引

为了进一步提高采用游程编码方法压缩值索引的效率,针对原有方法的不足之处,采取了两个改进措施,一是在索引前排序被索引的数据表使得值索引中的0串和1串更长,二是改进现有编码算法使之可以同时压缩0串和1串。实验结果表明,采用改进后方法压缩值索引形成的压缩文件体积仅为采用原有方法时的11.83%。     

专家知识地图的关键技术与设计

专家隐性知识是社会的宝贵财富。开发专家知识地图是有效利用专家知识的重要途径。构建专家知识地图的关键技术包括专家信息的获取、知识地图的体系结构与实现技术。本文给出了通过Web挖掘获取专家基本信息、特长信息和社会网络的算法,以及一个专家知识地图的设计方案。     

一种基于生存时间的Ad hoc网络不相交多路径路由算法*

针对无线移动Ad hoc网络的节点具有移动性和能量限制等问题,提出了一种根据网络动态拓扑结构和节点能量来进行多路由选择的混合式路由算法PEMP-OLSR。该算法以改进的链路状态路由算法为基础,通过在网络拓扑构造过程中引入链路和节点生存时间等参数来提高所选路径的稳定性,同时通过设定影响链路和节点权重的迭代因子来提高多条路径的不相交性,以提高此并行多路径算法的传输效率。通过大量仿真实验结果表明,该算法能有效地提高所选择的多条路径的稳定性和不相交性。     

基于GCV准则与Otsu法的Canny算子研究

为了增强图像的可读性,解决因光照、噪声等因素造成的图像模糊、边缘不清等问题,在前人研究的基础上提出了对Canny算子的改进.用遗传算法对基于GCV准则的阈值函数自动寻优,在降低噪声的同时增强了图像的可读性;用评价函数对Otsu法自适应设定高低阈值,无需考虑阈值比例,减少了伪边缘现象.不同图像的边缘提取实验和数据分析表明,该方法在检测精度、抗噪能力和运算效率等方面都得到明显提高.对于存在的不足提出了进一步研究方向.