AKS算法及关于它的一种改进算法的实现分析

2002年，Agrawal、Kayal和Saxena成功地解决了多项式时间判别素数这一著名的世界难题，他们给出了一个算法(简称AKS算法)，该算法对输入整数是素数还是合数进行判断。它是一个确定的多项式时间算法．后来许多科学家对该算法进行了改进，其中一个比较好的改进是由Bernstein给出的(简称Bernstein算法)．作者详细分析了这两种算法，利用C语言实现了这两种算法，并进行了比较，找出了真正需要用到AKS算法和Bemstein算法来判断其为素数和合数的最小数，并估计出所需要的运行时间．     

一类非线性方程的迭代解及应用

利用锥理论和单调迭代方法研究了一类非线性方程解的存在唯一性及其迭代过程，对所述的映射没有作连续性、紧性或具有上、下解的假定．作为应用，把所获得的结果用到Banach空间一阶微分方程．     

非线性算子方程的迭代求解方法

在较弱的条件下,利用锥理论和单调迭代方法,建立了Banach空间中一类非线性算子方程的最大最小藕合解的存在性定理和不动点定理,并给出了相应的迭代逼近式及误差估计式,改进了一些相应结果.     

一维非线性传输线电位方程新解探索

利用扩展的双曲函数法的基本思想，求得了一维非线性传输线电位方程的孤立子解和其它具有奇异性的类孤立子解，并对此孤立子解和具有奇异性的类孤立子解的物理意义进行了讨论。     

最小费用流原始-对偶算法分析

分析了原始一对偶圈算法，并补充了著名数学家Papadimitriou(1982)在其专著中的证明；此外，还增加了原始一对偶迭加算法可能出现的其它情况，这样更有利于深化对最小费用流的认识．     

矩阵方程Xs+A*X-tA=In的Hermite正定解的特征值分布

给出了矩阵方程X~s A~*X~-t A=I_n在||A||-2≤(s/s t)(t/s t)~(t/s)时Hermite 正定解的最小、最大特征值的所在区间,并且讨论了其余特征值的分布情况.     

外微分在场论中的应用

建立了外微分理论与场论之间的一些对应法则，指出外微分形式是场论中众多命题的数学模型，得到用外微分运算解决场论中梯度、旋度、散度以及环量与通量的计算和几种重要的矢量场：梯度场、旋度场、调和场证明的新方法。为利用计算机处理这类问题提供了一种简单模式，从而实现求解问题的机械化算法。     

机动车多点源排放空气污染物浓度解析模式

针对公路机动车排放源和环境特点，建立了风速和扩散系数随高度变化的公路机动车多源排放空气污染平流扩散方程。提出了在地面和对流层边界对污染物为全反射条件下的定解问题。引用Green函数的概念，提出了公路机动车多源扩散方程的求解思路，利用微分方程的特征理论，求得了Green函数的横风和垂直向分量。通过Green函数分量与排放源强的线性组合，得到了公路机动车排放为多点源、线源和面源时污染物浓度三维分布的解析解。指出了广泛使用的高斯扩散模式在公路机动车排气污染物浓度计算中的局限性。     

n-集函数多目标规划的对偶

在较弱凸性条件下,研究了一类可微n集函数的多目标规划问题的对偶问题。首先,对已知集X的子集的σ代数A的n折积An,定义了伪度量d(R,S),给出了相应的特征函数〈h,Is〉;其次,通过特征函数给出了集函数在S°可微的定义及集函数在S°关于第i个变量Si的偏导数定义;给出了多目标规划问题(VP)的弱有效解概念及(VP)的最优性必要条件;最后,分别在目标函数和约束函数的3种较弱凸性条件下,研究n集函数多目标规划问题的对偶问题,获得了3个弱对偶结果和强对偶结果。     

分类规则挖掘的免疫算法

为了高效地从数据库中挖掘分类规则，提出了一种基于免疫算法的分类算法．该算法的核心思想为：对规则的前件进行固定长度编码，适应度函数的计算由分类规则的较小分类错误率、简洁性、一致性和训练实例的覆盖性构成，通过把适应度最小的个体作为先验知识来修改个体的某些分量的方法进行疫苗接种，并通过检测个体是否出现退化和模拟退火来实现免疫选择，同时还采用了基于信息增益的规则剪枝策略．在美国加州大学标准数据集中的5个数据集上将该算法与RISE和OCEC算法进行了实验比较，结果表明该算法不仅具有更快的收敛速度，而且获得了更高的预测准确率及更小的规则集。