逻辑推理中的Petri网应用

本文讨论利用Ｐｅｔｒｉ网实现逻辑问题的推理，首先介绍了逻辑问题的Ｐｅｔｒｉ网模型描述方法，并举例说明了利用矩阵演算实现推理的算法。Ｐｅｔｒｉ网的研究与利用对开发逻辑程序并行性，提高推理效率很有意义。

一个高效散列排序算法

文中给出一个Ｈａｓｈ函数及在２Ｎ空间中进行散列排序的算法。证明最该Ｈａｓｈ函数的存在和单调性，算法在装载因子为１／２的条件下具有Ｏ（Ｎ）的时间复杂性。给出一组随机数据和用不同算法进行排序的比较，测试结果表明，该算法是高效的。

一种改进的堆排序算法

堆排序是一个高效的排序算法，其特点是辅助空间小，可以“就地”排序，在堆排序中，主要使用一种筛选算法，在建堆和排序中反复调用（１￣６）。文章针对筛选中的比较方式提出改进，可使筛选的期望比较次数大为降低，从而提高了堆排序的算法效率。

逻辑程序系统处理表达式的等式扩展方法

讨论了在逻辑程序系统中处理表达式的等式扩展方法，描述了表达式建立类型并在重写机制的基础上改进传统的合一操作，实现了高效的等式逻辑。该方法已在ＳＣ－ＰＲＯＬＯＧ解释系统得到实现。

SC-PROLOG逻辑程序编译系统实现方法

本文介绍了设计ＳＣ－ＰＲＯＬＯＧ逻辑程序编译系统时所采用的方法，解决了系统设计方案，中间代码选择，动态编译实现以及优化手段实现等问题。分析和讨论了在无微解释器硬件支持的条件下。

学好语文六问

问:我是一名高三学生,做语文试题时常常为字音题、字形题苦恼,往往付出了很大的努力排除两项,对剩下的两项模棱两可,好不容易下定决心选出一项,但结果往往是错误的。我该怎么办?(湖南长沙县一中李同学)高sir:你的苦恼也是许多高三学生的苦恼。