求Ramsey数下界的循环巧妙图搜索算法研究

本文研究通过构造循环巧妙图而搜寻Ramsey数下界的算法。给出了一个效率较高的算法,该算法已经编程实现,并由此得出了一个具有46点(4,7)循环巧妙图,从而证明了了r(4,7)≥47。

判断具有多线性约束条件的凸空间是否为空的交边算法

本文研究被若干线性约束条件界定的凸空间是否为空的判断问题，此问题在线性规划中有广泛的实际背景．本文提出了一个求解此问题的交边算法，该算法已被编程实现了，实际试算表明，其平均计算时间复杂度不高，是目前求解同类问题的算法中的较优者．

对于析取范式构造的进一步分析

本文考虑具有优先代表资格的ＮＰ完全问题的对偶问题——析取范式永真性判定问题．本文从构造的角度对析取范式作了分析，得出了如下结果：在由ｎ个确定的命题变元所可能构成的一切不含均覆盖的析取范式中，含有三角式的析取范式占绝大多数．基于这个结果，本文得出了一个求解析取范式永真性判定问题的近似快速算法．

唐口矿井井下排水及供水设计方案简析

淄博矿业(集团)有限公司唐口矿井为特大型千米立井,表土层厚,矿井涌水量大,排水费用高,井下供水减压难度大,常规的设计方案不能很好的解决这些问题。通过设计优化,提出了将井下排水、矿井水处理及井下供水等相对独立的单项工程综合考虑的设计方案,该方案不仅解决了供水减压及排水设备磨损的难题,同时取得了可观的经济效益。

求Ramsey数最优下界值的递归算法

要确定每个具体的Ramsey数的数值是相当困难的,至今人们只求出了为数很少的几个Ramsey数的数值.人们在研究Ramsey数性质的同时,也在估计Ramsey数的数值,得出了某些Ramsey数的下界值,但工作进展缓慢.本文提出了一种计算Ramsey数最优下界值的递归算法,该算法利用当今关于Ramsey数的最新结果,能得出Ramsey数的目前最优下界值.1 算法描述不妨将本算法定名为G,参数个数为1个以上(可变化),算法允许递归调用,其输出值为Ramsey数的目前最优下界值.C(k_1,k_2…,k_n)表示以k_1,k_2…,k_n作为输入,通过算法G所得到的输出结果,即C(k_1,k_2…,k_n)表示的是G算出的Ramsey数N(k_1,k_2,…,k_n;2)的目前最优下界值,其中N(k_1,k_2…,k_n;2)的含意与文献[2]中有关含意相同.算法G:

Ramsey数的性质研究

本文得出了若干有关Ramsey数性质的结论,这些结论可直接用来推导Ram-sey数的下界公式,也可用来改进已有的Ramsey数的下界结果,本文中定理的证明思路,还能用于研究其它的图论和组合数学问题。

关于相对化的P与NP问题的若干研究

研究相对化的Ｐ＝？ＮＰ问题，提出了矛盾天书、相对天书和绝对天书的概念，证明了这些天书的客观存在性，并具体地构造了一个矛盾天书和一个ＮＰ集类之外的相对天书．结论对利用现有关于相对化Ｐ＝？

求解最小覆盖问题的快速近似算法的进一步研究

分析了已有求覆盖平面上给定的若干个点的尽可能小的圆的问题的算法。给出了一个新的求解最小覆盖问题的算法，其计算时间复杂度为平面上给定的点数量的线性函数，该算法已编程实现，通过几万例随机算例的实际计算比较，表明算法所得结果的平均精度比已有的各种快速近似算法所得的精度要高，而且具体每例所需的计算时间均比已有快速近似算法对应的计算时间要短。

用均覆盖和锥形式对析取范式的结构分析及其近似快速求解算法

本文对析取范式的结构作了结构分析，得出了如下结果：在恰由ｎ个确定的命题变元所可能构成的一切析取范式中，含均覆盖的析取范式的比例当ｎ趋于无穷大时等于１．在其余的析取范式中，含锥形式的比例当ｎ趋于无穷大时亦等于１．基于分析结果，给出了一个判定析取范式永真性的快速算法．

确定Ramsey数下界值的随机算法

文[1—2]借助于计算机得到了几个Ramsey数的下界值,但由于计算机确定Ramsey数的下界值往往需要判断多达指数级的各种情况,因此所需的计算时间常使人难以接受.本文提出了一种确定Ramsey数r(k,l)下界值的随机算法,该算法试图随机而有针对性地构造一个有n个顶点的简单图G,使G中既无k个顶点的团又无l个顶点的独立集。

微机控制激光雕刻图像的方法研究

本文研究微机控制激光雕刻系统中的图像处理方法，分析了激光雕刻系统的固有特点，提出了适合于激光雕刻的几个图像处理方法，这些方法已应用于实际雕刻控制，效果十分理想。

浅析RO预处理系统的设计要点

由于原水的水质千差万别,而RO模对进水水质有一个基本的要求,既不同水质的原水要进行相应的预处理,预处理的效果直接影响到RO膜的使用寿命和运行成本,而RO模的维修保养和更换在RO系统运行费用中占有很高的比重。

枚举素跨比极峰值的算法研究

称相邻两素数的差的绝对值为该两素数间的跨度,称两相邻素数间的跨度与该两相邻素数中较小者之比为该较小素数的素跨比,在由所有的素跨比按其所对应的素数从小到大的次序构成的素跨比序列中,若某素跨比大于排在其后的每一个素跨比,则称该素跨比为素跨比极峰值。 素跨比代表了素数性质的一个重要方面。

K-安全经济网络的构造研究

本文提出了概率Ｋ－安全经济网络和完全Ｋ－安全经济网络的概念，给出了含一定链路数量的网络其安全概率的下界公式和完全Ｋ－安全网络的链路数量的下界公式，设计了两种完全Ｋ－安全经济网络的构造方法。这些方法复杂度低，对构造其它安全网络也有参考价值。

求成对线性规划问题的组合最优解的快速算法

本文研究求成对线性规划问题的组合最优解的算法，巧妙地将问题的求解转化成了求两凸多面体间的距离，并给出了求两凸多面体间距离的快速算法，以该算法为核心，一系列的成对线性规划问题的组合最优解均能在Ｏ（ｌｏｇ４（ｍ十ｎ））时间内求得。

求解最小覆盖问题的快速近似算法

本文研究求覆盖平面上给定的若干个点的尽可能小的圆的算法。本文给出了一个这样的算法,其计算时间复杂度为平面上给定的点的数量的线性函数。本文的算法已编程实现了,通过几万例随机算例表明,本文算法所得结果的平均精度比已有的快速近拟算法的平均精度要高许多。

计算机汉语理解系统

以地理知识为背景对人机对话作了探讨，研制了一个计算机汉语理解系统，结合实例对该系统的功能及工作过程进行了详细的分析，着重对词典、知识库及工作场的存储格式进行了探讨，该系统还使计算机具有一定的智能，具有学习和推理功能。

Ramsey数r（k，l）的新下界公式

本文给出并证明了Ｒａｍｓｅｙ数ｒ（ｋ，ｌ）的一个新下界公式ｒ（ｋ，ｌ）≥１．５（ｋ－１）（ｌ－１）．此下界公式与文献［１，２］所给出的下界公式ｍｉｎ｛ｋ，ｌ｝相比，当ｋ、ｌ较小时，或是ｋ、ｌ相差较大时要优越。

离线图灵机与单带图灵机的计算效率分析

研究离线图灵机与单带图灵机的计算效率的差别，证明了一个在离线图灵机上计算时间复杂度为Ｏ（ｎ）的判断问题，在单带图灵机上的计算时间复杂度为Ｏ（ｎ￣２），从而证明这两类计算模型在计算速度上存在非线性差别。

Ramsey数R（p，q；4）的性质和新下界

针对Ｒａｍｓｅｙ数Ｒ（ｐ，ｑ；４）进行了研究，得出了三个有关Ｒａｍｓｅｙ数性质的结论，从而求得了一些新的下界结果，这些结果比现有文献中的相应结果要好。