二维瓶颈指派问题的动态规划算法

基于前人对一维瓶颈指派问题的算法的研究，讨论了二维瓶颈指派问题，并给出了一种带阀值的动态规划算法。     

关于Diophantine方程x^p-2^mp=pDy^2

设p是奇素数,m是正整数.D是无平方因子正整数.本文证明了当p＞3,m＞1,D不能被p或2kp+1之形素数整除时,方程xp-2mp=pDy2没有适合gcd(x,y)=1的正整数解(x,y).     

矩阵方程的最小二乘解

给出了矩阵方程AXB=D的对称最小二乘解的表达式.     

关于Emden-Fowler型方程的非局部边值问题

考虑Emden-Fowler型方程的非局部边值问题.在一定条件下证明了该问题存在二解、存在唯一解和无有界解.     

带限制条件的最短路径算法与实现

给出了在GIS环境下带限制条件的单源最短路径算法,该算法是基于二叉堆优先级队列及邻接表的Dijkstra算法.根据用户给出的起始节点和目标节点以及避开节点列和必经节点列,在建立的搜索图中用Java语言实现分段查找最短路径.     

一种基于小波变换和人类视觉系统的自适应水印算法

提出了一种以灰度图像为水印并用随机序列置乱水印的基于WT域的新的自适应水印算法.首先,将小波变换后的图像的小波系数组成小波子图块,然后根据人类视觉系统(HVS)特性,多参数对小波子图块进行分类.根据分类结果,结合小波变换特征,将不同强度的水印嵌入到不同的小波子图块中.实验结果表明,所提出的算法具有较好的鲁棒性.     

利用BP神经网络识别数字图像

本文首先介绍了数字图像以及数字图像在试验中的存储方式，然后分析了实验中使用的三层BP神经网络模型及神经网络学习算法，讨论了图像中心区域象素点与边缘区域象素点不同的处理过程，最后描述该BP神经网络的识别结果及应进一步研究的几个问题。实验表明，用BP神经网络识别数字图像是一种高效、高正确率的方法。     

算法归纳设计策略与循环不变式

分析了算法归纳设计策略与循环不变式之间的关系,提出把算法设计与循环不变式的构建相结合的思想,并通过实例说明其有效性和重要性.     

具有Beddington-DeAngelis功能性反应的三种群食物链系统的周期正解

对具有Beddington-DeAngelis功能反应的三种群食物链系统,利用重合度理论的延拓定理得到该系统存在周期正解的充分条件.     

入侵检测系统中模式匹配算法探讨

针对入侵检测系统实现中的关键部分—检测引擎的数据分析模块实现问题,对基于规则的入侵检测来说,模式匹配算法非常重要,它直接影响到系统的准确性和实时性能。研究了几种应用于入侵检测中的单模式精确匹配算法和多模式精确匹配算法,分析了这些算法的复杂性,包括 Brute Force 算法,Knuth-Moris-Pratt 算法,Boyer-Moore 算法,Boyer-Moore-Horspool 算法,Aho-Corasick 算法和 Aho-Corasick_Boyer-Moore 算法。