基于间断区间的1NF时态关系代数

Ｎ１ＮＦ时态关系代数不易于实现。本文建立了一个基于间断区间的１ＮＦ时态关系代数，并证明了关系在时态关系代数操作下是封闭的，以及基于间断区间的１ＮＦ时态关系代数与１ＮＦ时态元组演算语言是等价的。     

GTL的可靠性

给出了时态分离规则和证明两个概念，并讨论了ＧＴＬ的可靠性。     

SADM及其应用

本文论述一种新的系统分析和设计方法SADM,分析它实施的基本原则、基本阶段和步骤、以及所用到的主要技术方法,并应用于一个房产管理系统的开发之中。     

二叉线索树中消除困难访问的算法

本文提出了二叉线索树中的准相连、局部根、局部路径概念.叙述并证明了准相连定理和局部路径定理.给出了消除二叉后序线索树中困难访问的算法.     

浅论Sybase数据库安全性控制策略

本文简要论述了Sybase数据库的结构以及安全控制策略。     

海量课件存储中存在的问题和解决方法

文章通过分析实际工作中遇到的海量课件存储存在的问题，对课件资源结构进行优化，提出几种基于XML技术的存储管理方案，并对海量数据存储管理的未来发展做了展望。     

中国光学文献数据库系统

中国光学文献数据库（COA）是一个实用的计算机情报检索系统，包括1985年以来中国光学文献2.3万条。利用MICRO-COS/ISIS软件实现建库。用户要以通过分类、标题、作者、单位、文献源、年限、主题词等12种途径实现检索，还可以实现ISO-2709标准格式数据转换。系统全部采用菜单操作。介绍了COA的主要内容和功能，描述了它的数据结构及其实现方法。最后介绍了它的检索方法。     

中文词组的快速查找算法

本文提出按数据文件的关键字（中文词组）中每个汉字笔划数的权值之和进行分桶存贮, 在查找中文词组串时, 也采取按桶检索的查找算法, 并证明了该查找算法的平均化费为O(N), 优O(N log N)于的二分查找算法。     

从命题时态逻辑产生上下文无关文法

线性命题时态逻辑能描述有限状态系统的无限行为。这种行为能用上下文无关文法准确地描述。根据该文法，可以构造一个满足时态逻辑公式的Ｋｒｉｐｋｅ结构。本文给出构造对应于命题时态逻辑公式的上下文无关文法及由该文法构造Ｋｒｉｐｋｅ结构的方法。