货郎担问题的几何分块算法及China TSP问题的最终解决

本文提出了货郎担问题的一种新的求解方法，即几何分块算法，用该方法找到了ＣｈｉｎａＴＳＰ问题的最短路径，并分析了求解中的一些策略问题。

对高斯消元法的改进以及在工程上的应用

传统的高斯消元法只能处理多元一次方程组满秩的情况，本文应用人工智能中非单调逻辑和超协调逻辑的思想，通过对高斯消元法的改进，使其对所有的多元一次方程组都能进行有效的处理，从而扩展了在工程上的应用范围。

世界难题16阶三次幻方

本文首次给出了一个正规的16阶三次幻方。这是基于发现新的结构规律,从而极大地降低搜索工作量,使普通电脑即可在短时间内求解出世界难题———正规的16阶三次幻方。文中分析并给出了构造16阶三次幻方的要点。

关于功能规格说明的几个问题

本文从软件开发的瀑布式模型出发讨论了软件系统的功能规格说明的形式化问题,原型技术问题和功能规格说明语言应具有的特点,并给出若干实列.

规格说明语言ChiSL

ＣｈｉＳＬ是一种作用式可执行的功能规格说明语言，它是以数据抽象为核心的将代数规格说明和面向模型的规格说明两种技术有机地结合起来的模块化语言，具有良好的数学性质和可读性，能比较方便地书写大型规格说明。由于该语言是可执行的，因此ＣｈｉＳＬ规格说明可作为所要开发的软件系统的一个原型在该语言的支撑系统上执行。本文后面介绍了使用ＣｈｉＳＬ语言及其支撑系统开发软件原型的一些应用实例。

下一世纪软件工程展望

本文主要讨论软件工程的未来以及基于知识的软件工程(KBSE)的进展将如何影响系统开发环境。文中所提出的新鲜而富有创见性的观点,为我们展示出一幅未来软件工程的全新面貌。

LP_m逻辑语义的一种改进

本文指出LPm逻辑存在的一些问题，给出一种LPm的改进形式──LPmin逻辑，它能解决LPm逻辑存在的问题，并对LPmin以及它与LPm逻辑的关系作了初步分析.

找周期子字的算法

§1.引言 考虑有限字母表A上字X=x1x2…xn,|X|=n,xi∈A,i=1,2,…,n;X的子字S=xixi+1…xj,j>i,称为周期子字,若存在p>0,使j-i+1≥2p并且有xl=xl+p,l=i,i+1,…,（j-p）.p称为S的周期,有时把S称为终于i的周期子字.令P=xi…xi+p-1,p=|P|,则S可写成P‖prefix（P）,k≥2,prefix（P）表示P的某个字首。‖表示并置运算。P表示k个P并置。