一个函数/逻辑语言RELNF的设计与实现

RELNF是我们自行设计与实现的一个基于扩展的图归约计算模型的函数/逻辑语言。本文较详细地介绍了RELNF的语法,表达式的编译及解释实现技术。     

基于压缩传感的半脆弱水印的视频篡改检测算法

现针对目前的视频水印算法在篡改检测方面存在不足,提出一种基于压缩传感的半脆弱水印的视频篡改检测算法.通过压缩传感算法提取I帧的图像特征,生成半脆弱的内容认证水印,嵌入到I帧图像的中高频系数中,实现帧内篡改检测.通过对P帧的序号进行哈希运算,生成完整性水印,嵌入到P帧的运动矢量中,实现帧间篡改检测.仿真实验表明,算法对视...     

一个示例学习系统的设计与实现

本文简要介绍了我们自行研制的一个示例学习系统的结匈,学习算法 CORE、属性压缩与构造、噪声处理及渐近式学习等内容。     

PCCM：具有性能约束的构件模型

构件模型是构件复用的基础。本文根据3C和REBOOT模型提出一种具有性能约束的构件模型，实现具有性能约束的构件复用。首先简要分析了构件模型的研究现状以及复用现状，引出了在特殊领域的具有性能要求的构件复用；然后提出具有性能约束的构件模型及描述；接着给出实现关键技术的路线，并对模型进行了优点分析；最后指出了进一步的研究方向。     

基于属性变化频率的面向对象时空数据模型的扩展

GIS应用的发展促进了时空数据模型的研究。在借鉴国内外研究的基础上，本文提出了一种新的基于属性变化频率的面向对象时空数据模型，并且从数据模型的数据结构和基 于该模型的数据组织两方面进行了描述。     

基于混合遗传算法的关系型数据库多连接查询优化

本文分析了关系型数据库的查询优化问题，针对多连接查询提出将遗传算法和爬山法结合，从而构造了关系型数据库多连接查询优化问题的混合遗传算法，并进行了实验计算。结果表明，用混合遗传算法解决多连接查询优化问题，可以发挥遗传算法和爬山法的不同优势，从而得到较满意的查询优化性能。     

数据库应用系统理解冲突测试研究

与传统软件相比，数据库应用系统更加庞大而复杂，因此对数据库应用系统的测试工作更加困难．在系统开发过程中，由于开发人员对数据库模式的理解不同产生一些错误．这些错误表现为各功能单独运行时结果正常，而多个功能一起运行时就会造成错误．针对这种现象，即数据库模式的理解冲突错误，本文给出了形式化的定义，并提出了一种基于功能一数据访问图的集成测试策略，使得在通常需要在系统测试和用户测试阶段才能发现的问题能在集成测试阶段发现和修正．     

流数据挖掘综述

作为一种新的数据形态，流数据对数据挖掘提出了诸多挑战。学者们已提出大量处理流数据的挖掘算法。本文对这些算法进行了综述。首先介绍了多个不同的数据流模型，这些模型对算法设计有着不同的要求。然后，总结了流数据挖掘算法的特点，并给出了算法中常用的技术。最后，分析了各个流数据挖掘任务中的代表性算法。     

一种基于网格方法的高维数据流子空间聚类算法

基于对网格聚类方法的分析，结合由底向上的网格方法和自顶向下的网格方法，设计了一个能在线处理高维数据流的子空间聚类算法。通过利用由底向上网格方法对数据的压缩能力和自顶向下网格方法处理高维数据的能力，算法能基于对数据流的一次扫描，快速识别数据中位于不同子空间内的簇。理论分析以及在多个数据集上的实验表明算法具有较高的计算精度与计算效率。     

XML文档和XML数据库的集成化建模架构

引入了一个4维透视图，它为讨论XML文档模式和XML数据库模式建立了一个统一的上下文，统一了XML和数据库2个研究领域的概念。提出了一种建模系统的架构，它能同时支持XML文档建模和XML数据库建模，是一个集成化开发环境，由一系列工具有机结合而成。该建模系统支持3个抽象级别的建模：本体层、概念层和逻辑层；支持2个领域的建模；XML域和XML数据库域。最后讨论了系统的实现方案。