精确推理的Prolog语言实现方法

本文简要地介绍了专家系统的基本原理和Prolog语言的特点,重点探讨了用Prolog语言实现专家系统的方法。     

实用元程序设计技术

给出了一种应用于微机的实用元程序设计技术，并利用这一技术在微机上成功的开发了一个元程序设计系统。     

基于参数估计的遗传程序设计方法

在遗传程序设计算法中,针对应用传统的遗传程序设计方法（Ｇｅｎｅｔｉｃ Ｐｒｏｇｒａｍｍｉｎｇ,ＧＰ）解决符号回归问题所遇到的困难,嵌入一个基于模拟退火思想的参数估计过程,得到更为精确的参数和个体结构,实验表明,此方法提高了ＧＰ系统求解问题的能力。     

高级语言程序设计中的递归

本文说明了高级语言程序设计中的递归编程方法的概念、原理,并通过加入代码使递归过程在执行时显示其工作流程,便于这习者理解,还讨论了递归编程中应注意的问题。     

C~(++)程序设计实验教学方法研究

针对信息与计算科学专业学生创新能力差及就业竞争力不足等问题,提出对C++程序设计课程的实验教学实施"启发——创新——实验"的教学方法,让学生在启发式教学中大胆尝试创新思路,在实验过程中更加灵活地掌握知识,逐步培养其主动学习、自主创新的能力,为后续的实践、实习和实训过程奠定基础.     

四分频信号电路的PLC程序设计方法探讨

本文主要探讨了采用日本松下FP0-C10的PLC实现四分频信号输出的设计方法,并利用PLC实训平台,在实训室实现了优质的四分频信号输出。     

液体粘滞系数实验数据处理的程序设计

本文以从数学模型出发，用C语言设计编译了一套程序，用于计算粘滞系数及其误差，给出了计算实例。     

原子角动量耦合中3j符号的C语言程序设计

对原子角动量计算两角动量耦合的３ｊ符号进行了较为深入的分析研究,通过对３ｊ计算方法的总结与归纳,用Ｃ语言程序设计方法,完成了３ｊ符号计算程序的设计,程序输入便捷,结果准确,具有很强的实用性。     

某些非线性边值问题的分支性态

用奇点理论的方法研究了一类带分支参数λ的非线性边值问题。这类方程形如φ（ｕ，λ）＝ｕ″＋Ｆ（ｕ，λ）＝０，边值条件形如ａｕ（０）＋ｂｕ′（０）＝０，ｃｕ（１）＋ｄｕ′（１）＝０而其中的非线性项Ｆ（ｕ，λ）是具有分支的余维有限的奇点，得到了这类问题的分支的存在性及分支解的个数等结果。     

高级语言调用PC—DOS命令及高级语言之间互相调用的方法

本文给出微型计算机IBM-PC上高级语言调用PC-DOS命令及高级语言之间互相调用的方法,叙述该方法的实现。且针对几种不同类型的高级语言——BASIC、DBASE-Ⅱ、COBOL举出实例。     

定性分析中某些实验方法的探讨

本文对用H_2S四组系统分析鉴定下列阳离子Pb~(2+)、Cd~(2+)、Bi~(3+)、Hg~(2+)、Sb(ⅢV)、Cr~(3+)、Ni~(2+)等的条件及方法进行了研讨。     

关于辛Runge—Kutta方法的几点注记

该文考察了一个标准辛Runge－Kutta方法经过一些很自然的变换后得到的新Runge-Kutta方法是否仍然是辛的．     

多步Runge－Kutta方法稳定矩阵的若干性质及应用

本文研究了多步Ｒｕｎｇｅ－Ｋｕｔｔａ方法稳定矩阵的有界性质和逼近性质及应用，所获结果为Ｒｕｎｇｅ－Ｋｕｔｔａ方法相应结果的推广．     

Tutte定理的几个推论

本文得到了Ｔｕｔｔｅ定理的几个推论，这几个推论在计算某些图的色多项式时是有用的。     

关于反常统计的某些探讨

本文拟用一种新的方法对反常气体所遵从的分布函数进行推导,并对各种重要的统计问题进行讨论。     

对Braess方法的一点备注

Dictrich Braess针对网络比为2~(1/2)的棋盘形网格提出了种一多网格算法.这种算法较传统的多网格方法不同的是在校正前后分别加了一个半步G-S迭代作为转换步.本文对原算法稍作了修改,减少了工作量,并对修改后的算法给出了收敛性的理论证明.数值例子还表明比原算法有更好的收敛性效果。     

关于矩阵求和法的两点注记

本文首先证明了［２］第七章定理１９的条件不仅是充分的，也是必要的，从而回答了作者的公开问题。其次给出了Ｍａｚｕｒ—Ｏｒｌｉｃｚ定理一个简化的初等证明［３］。