智能教学组织管理与课程调度系统

整个系统从教学计划入手，对教学组织工作进行全面管理，完成大量繁杂的数据 处理工作直到自动生成全校课程表．系统采用第四代语言设计原理及人工智能技术进 行设计。运用启发式搜索方法、归约方法及一种新的强有力的知识混合表示法．

集成结构建模框架

结构建模为模型理论和实践奠定了坚实的基础。近五年来，国外学者已有上百篇有关结构建模的研究论文发表。本文对结构建模框架进行了重构，提出了集成结构建模柜架，它克服了结构建模中基础结构、类属结构和模式结构分离的缺点；它既是理想的内部描述框架又是理想的外部描述框架；它具有明确的模型输入和输出边界以及边界的自解析能力。同时，框架蕴含的函数关系便于建模语言吸收非过程性的数据查询和非过程性函数语言的双重优点，消除了结构建模语言（ＳＭＬ）中的脚标。更重要的是该框架解决了长期得不到解决的模型操作问题。

一种新的数学规划模型描述框架

本文提出了一种新的数学规划模型描述框架，使模型框架与模型数据在形式上统一起来，而实质上是互相独立的。实体属性间的依赖关系采用非过程性函数语言加以描述。这种描述语言具有简单的数学基础，便于正确性验证，同时它又是构造性语言，具有很强的表达能力，并结合数据库查询语言的特点，函数中引入了逻辑表达式，实现了实体子类属性间的联系描述。基于这种描述框架，利用支互式语言，用户只要回答有关的问题，并输入相应的数据，系统便可自动形成具体的数学规划模型。

超宽大表分解的理论分析

从理论上对超宽大表的分解进行了分析，给出了面向设计的数学模型；提出了一系列定理；结合人工智能技术在通用快速报表系统中实现了超宽大表自动分解。

基于语义描述的报表自动生成系统

应用第四代语言设计原理，从理论上定义了树状表的数学描述和生成机 理，给出了面向设计的数学模型；应用人工智能原理设计的启发性策略解决 了排版布局美观大方的问题，结合国内报表多线条矩形表格的特点，设计并 实现了非过程化通用报表自动生成系统。