PROLOG:人工智能的一个有力工具

本文讨论了目前程序设计的缺陷和产生新型程序设计语言的必要性,介绍了 PROLOG 语言的特点,最后通过实例说明它在人工智能专家系统中的应用.     

一种函数式语言到PROLOG的转换技术

定义了函数式语言ＳＦＬ，给出了由ＳＦＬ到ＰＲＯＬＯＧ的一般性转换方法，设计并实现了自动转换系统．     

LISP-ELP语言的实现技术

LISP-ELP语言是作者设计的一种支持专家系统程序设计的函数/逻辑型程序设计语言,本文介绍LISP-ELP语言的特点及其解释系统的实现技术.该解释系统用C语言编写,并在IBM-PC机上实现.     

一种实用的软件测试方法介绍

软件测试是软件工程的一个重要分枝。常用的测试方法有 :静态测试法、动态测试法、工具测试法、靠标测试法以及前几种方法结合进行测试法等。在动态测试法中 ,常用的又有黑盒法和白盒法两种测试。所谓的黑盒法是把被测软件（模块、子系统或整个系统）看作一个整体进行功能验证、性能指标评测、边界用例测试。本文以《叠层橡胶隔震结构动力分析软件》的测试报告为例 ,介绍黑盒法测试的过程和内容。１测试方法及其确定依据测试方法为黑盒法 ,其依据 :因被测软件为工程计算类软件 ,测试重点在于验证结果的正确性、工程实用性及与动力分析（本项…     

一种改进的基音检测算法

提出了一种改进的基音检测算法,通过最小化重建谐振峰与原始谐振峰之间的误差得到最佳的基音估计。在基音估计中引入误差控制因子以得到无偏的误差函数,同时对基音轨迹跟踪技术作了改进,以保证基音轨迹的正确演变。实验结果表明,与ＩＭＢＥ标准中的基音检测算法相比,该方法能够提供更正确且平滑的基音轨迹,尤其在过渡段能有效地跟踪快速基音变化,从而使重建语音具有更好的连续性和主观质量。     

一种基于NetFlow的网络蠕虫检测算法

为了论证网络传播蠕虫时将出现网络流量的异常特征的现象,分析了网络蠕虫的工作机制和扫描策略,提出了基于N etF low流信息检测网络蠕虫的检测方案,设计了一种检测网络蠕虫的逐步求精三级算法NDW(N etF low based detecting w orm)。算法通过依次检测主机总流量、特征端口和行为规律,快速有效地定位和判断异常主机。理论分析表明,该算法的时间复杂性不大于H(εM O)(1))。实验结果表明,算法能够有效、准确地发现被网络蠕虫感染的主机。     

一种入侵检测系统快速模式匹配算法

模式匹配是应用于入侵检测系统中的的主要技术之一,匹配算法的好坏直接影响入侵检测系统的效率,本文在分析BM及其改进算法的基础上,提出了一种快速的BME算法.该算法结合了BMH算法和BMHS算法的优点,有效地减少了比较次数,加快了匹配速度.试验测试结果表明该算法能够有效提高网络入侵检测系统的效率.     

一种新的布尔函数对称检测算法

对称是逻辑综合，逻辑优化以及映象技术领域中的一个十分重要的性质，对于对称函数，可以使用特殊的逻辑综合程序来改进设计结果，使用对称也可以提高映象技术和等价 有效性，本文提出一种用于ＯＢＤＤ布尔函数对称检测的高效算法。     

一种改进的Sobel图像边缘检测算法

在经典Sobel算法的基础上，介绍了一种改进算法。该算法能检测八个方向的图像边缘，并能抑制噪声对边缘检测的影响。     

PROLOG程序和知识库系统

第五代计累机是智能计算机系统,它是以处理知识为目标的,知识库是它的关键环节之一,所以知识库系统的研究引起了广泛的兴趣。本文通过数据库,知识库和PROLOG程序之间的对比,阐明了PROLOG程序具有知识库系统的基本功能,认为在PROLOG语言的基础上开发知识库系统是可行的。     

一种适合量子计算的素性检验方法

作为数论中的一个基本问题,素性检测,即检测给定的正整数是否为素数具有十分重要的理论和应用价值.给出了一种确定型严格素性检验方法.对这种方法采用量子运算,可在多项式时间内完成对一个任意给定的正整数的素性检验.     

一种改进的遗传算法在测试用例中的应用研究

测试用例的自动生成是软件测试的重要环节,其关键问题是路径搜索问题,遗传算法作为一种高效的搜索寻优算法被广泛应用到测试用倒中。该文提出一种改进的遗传算法,对选择算子和交叉算子进行改进,把传统遗传算法和最优保存策略相结合,提高遗传算法的局部搜索能力。研究表明,该算法比传统遗传算法在生成测试用例的效率方面更具优势。     

测试点的包容性的改进算法

该文提出测试点的包容性的一种改进算法。该算法的特点是用升维的方法表示被测试的形体元素；在整个运算和判断过程中只对整型数进行乘法和加法运算，其判断值总是整型数；避免由于计算机表示精度有限而形成的数值误差，减少消隐过程中计算误差的相关性，以及改善消隐显示的实时效应     

线性规划的一种算法

本文给出一种用解变量个数较少的线性规划来求解变量太多的线性规划的方法。     

一种改进的LDPC码译码算法

基于最小和译码算法,提出了一种改进算法,即在最小和译码算法的后期迭代中,采用尝试强制翻转最不可靠的比特位组的方法来提高译码性能.仿真结果表明,改进后的算法在信噪比1.4～2.2 dB时相对于改进前有0.3 dB的性能提高.     

一种改进的高超声速目标跟踪算法

根据临近空间高超声速目标运动特点,建立了临近空间高超声速目标运动模型;针对机动目标跟踪问题,在“当前”统计(Current Statistical Model,CS)模型基础上,引入一种利用位置估计值与加速度之间的函数关系自适应调整加速度方差的方法(Adaptive of Distance Estimate Algorithm,ADE),并运用交互多模型算法,提出了ADE-IMM(Adaptive of Distance Estimate Algorithm-Interacting Multiple Model Algorithm)算法,提高了算法对临近空间高超声速目标的跟踪精度。仿真结果表明：该算法兼顾了Singer-IMM算法和CS-IMM算法在跟踪临近空间高超声速目标方面的优点，有更好的跟踪精度。     

一种改进的LDPC码译码算法

指出了由于短LDPC（低密度奇偶校验）码的Tanner图中会出现环路,使得变量节点之间的信息不再相互独立,从而导致对数域BP译码算法的性能下降．从平衡迭代译码性能与硬件实现复杂度的角度出发,提出了一种改进的BP算法,通过变量消息的修正来补偿校验消息简化的损失．仿真结果表明：改进的算法加快了算法的收敛速度,降低了迭代译码...     

基于遗传算法的多目标规划的求解

文章用遗传算法求解了一道数学建模竞赛题,并与其它算法进行了比较,体现了遗传算法解决多目标优化问题的优越性．