基于快照机制的事务处理及其在RTDBS中的应用

为解决事务处理中的数据并发访问问题,该文提出了一种基于内存快照的加锁机制,并研究了这种机制在传统事务中的应用;此外,还探讨了快照机制在解决实时数据库系统的事务执行期限问题和全回卷问题等方面的应用。     

基于遗传算法的远程教学组卷系统

远程教学系统的设计是远程教育系统的核心组成部分.本文对旨在提高学生的认知学习能力的远程教学系统的设计进行了探讨,并重点研究了系统中测试题的组织这一关键性的问题,建立了相应的数学模型,给出了用遗传算法解决此问题的新方法,提高了系统的运行性能和效果.     

面向对象原型语言OL-1的原理与实现

本文介绍了作者在SUN 工作站上用Common Lisp 实现的一个面向对象语言OL-1的主要思想和实现技术,这个语言是一个为以后开发面向对象数据库(OODB)作准备的原型语言,其思想包括了面向对象程序设计系统的一般假设,即具有类、继承、实例化、消息传递等概念,本文还介绍了OL-1的类型结构和主要实现细节,其主要特点是采用反射机制(Reflection Mechanism)作为主要的实现手段,这为以后对语言进一步的扩充、修改和完善提供了十分方便的基础。     

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

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

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

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

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

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

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

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

基于区域变换和RF滤波器的编辑传播

针对高分辨率图像或视频在编辑传播中存在着色耗时和边缘不稳定的问题,提出基于区域变换和RF(recursive filtering,递归滤波)滤波器的编辑传播。通过区域变换直接对图像边缘进行平滑处理,加快了编辑传播;利用RF滤波器在整个图像中的无限脉冲响应,更好地保持边缘稳定;最后,将初始脉冲图和精致彩色脉冲图产生的影响图与笔画指定的编辑合成最终结果。实验结果表明,该方法在高分辨率图像分割、边缘提取和实时视频处理方面都具有高效性和良好的用户交互性,着色快速、边缘稳定、计算复杂度低。对于存在太多笔画的实时视频处理等问题提出了进一步的研究方向。     

形式语言基于Monads的语义计算模型

传统形式语言的语义建模方法在语义解释与规则描述等语义计算方面存在不足,应用范畴论方法的Monads对形式语言的语义计算进行了研究。基于Monads构造Kleisli范畴,在Kleisli范畴的形式化框架内建立语义计算模型,并对该模型进行了应用。与传统语义建模方法相比,所提语义计算模型具有普适性,其语义解释与规则描述的能力更强。