求解基于知识的成卷问题的算法

本文提出了用于基于知识的成卷系统通用外壳软件的若干算法，包括：（１）成卷模式的参数设计算法；（２｝成卷模式实现的算法；（３）赋分算法；（４）卷面编排算法。这些算法建立在文［１］中介绍的成卷系统的数学模型基础上，并且已成功地应用在“金属工艺学ＣＡＩ成卷系统”和“工科概率论与数理统计成卷系统”的设计中。

计算机辅助成卷系统的知识获取与表示

提出了研制计算机辅助命题系统过程中的知识获取策略、过程和表示方法。主要包括：（１）以“指标体系”为引导的命题经验和课程知识获取策略；（２）命题知识的体系结构。这种策略和方法的特点是具有通用性和易操作。实践证明：它有效地解决了课程专家与知识工程师沟通的困难问题，是成功研制该类系统的可行途径。

基于知识的计算机辅助命题及分析系统外壳的系统设计

本文乎先简述ＧＩＴＢｓｈｅｌｌ的结构与功能，继而着重提出了以“指标体系”为引导的知识获取策略及成卷知识的层次结构和表示，然后介绍了试卷设计的推理机制，建议了面向试卷模式的试卷设计任务分解，分层随机启史发式和冲突求解等求解策略。

GITB成卷系统输出子模块的设计与实现

本文分析了Ｗｉｎｄｏｗｓ３．１环境下字处理程序排版处理的特点，用面向对象的编程技术设计了一种排版处理的算法，并在ＧＩＴＢ成卷系统输出子模块中予以实现．使用情况表明，排版效果良好。文中总结了排版处理程序的设计思想，详述了实现策略和算法。

带模糊数据的广义关系数据模型

本文以研究模糊数据的语义和表示,以及关系数据模型的理论框架为目标,建立了带模糊数据的广义关系数据模型,得到了包括模糊值关系、模糊数据推演动态系统和模糊比较关系集的一组目标型;描述了θ-Select、θ-Join、θ-Project等广义关系运算;提出了模糊函数依赖的慨念;给出新的完整性规则。