计算机辅助教学讲授平台的研制与典型课件设计

随着计算机辅助教育的迅速发展，计算机辅助教学（CAI）要求课件设计工具既要内容丰富，又要简单易用。文章介绍的计算机辅助教学讲授平台（CI）具备这两个特点。通过介绍讲授平台CI组成、课元制作、课元库组织，课件设计，可以看出该平台具有广泛的使用范围以及课件设计的发展趋势。     

函数恒等的数值判定及其机器实现问题

本文主要介绍了一种判定函数恒等的方法,这种方法的基本思想是,对于给定集Ｘ到Ｙ上的函数集Ｆ,寻找定义域Ｘ中的一点－／ｘ,使得地任意ｆ,ｇ∈Ｆ,ｆ≡ｇ当且仅当ｆ（－／ｘ）＝ｇ（－／ｘ）,从而反ｆ与ｇ恒等判定问题归结为ｆ与ｇ是否在点－／ｘ相等的判定问题。本文证明了这种方法对于相当大的一类函数集都成立。同时,并对这种方法的失误概率进行了讨论。得出了通常情况下其失误概率为零。     

全文种字处理问题

全文种字处理是指导在同一文本文件中同时对任意有限多个文种进行处理，这种同时需要任意有限多个文种进行处理的情形，常在涉处事务，民族事务，图书资料检索等场合遇到，本文讨论全文种字处理中的一些基本问题，包括文种与文种编码，输入方式，输入法模式，文本比较，文本校对等，讨论中所给出的设计，方法和技术，大部分已在全文种字处理系统ＧＷＰ中实现。     

组合星图的拓扑结构研究

本文研究了组合星图中有关对称性，交错路，子结构，平行路的性质和记数问题。证明了组合星图是几乎对称的，给出了组合星图中任意两点间交错路和平行路数目的一般代数表达式。