论文答辩日程编排算法问题的研究

针对传统排课算法中在处理排课问题时易陷入局部最优解,从而影响求解质量,提出了一种基于矩阵迭加匹配的算法,优化了排课算法的处理流程,并设计实现了一个高效智能论文答辩系统。该系统是解决答辩组、教师、教室、答辩模式四元组与时间的匹配问题。经实际运行表明,矩阵迭加匹配的算法可以明显改善排课问题的求解质量。     

2K1∪In的匹配等价图类

匹配多项式是一种组合计数多项式,与图的特征多项式、色多项式等有许多联系.对于无圈图,它等于特征多项式;对于一般图,它是该图路树的特征多项式的一个因式.每个图都有一个匹配多项式,但一个匹配多项式所确定的图不一定是唯一的,即不同构的图可能共享一个匹配多项式.如果一个图的匹配多项式唯一确定这个图,则称这个图是匹配唯一的.如果两个不同构的图拥有相同的匹配多项式,则称这两个图是匹配等价的.自提出匹配等价的概念以来,虽然已经有了许多研究,但对于给定的图G,想要完全刻画出它的匹配等价图类仍是十分困难的.本文在前人的研究基础之上,通过组合计数和数学归纳法计算了2K₁∪I_n的匹配等价图的个数,并且利用组合分析的方法刻画了2K₁∪I_n以及它的补图的匹配等价图类.     

MSP问题解法的并行化研究

为提高MSP问题的多项式时间算法ZH算法的计算速度，使其能够进行更大规模多级图的测试，本文对ZH算法进行了性能分析与并行的可行性评估，针对ZH算法中循环体较多的特点，分别在巨型机和普通PC机上进行MSP问题求解算法的首次并行化实践，随之对并行化算法提出优化方法，在实验中取得了较高的加速比。     

基于偏序关系求解钻井布局问题的演化算法

钻井布局可以归结为在一定约束条件下利用旧井的地质资料来减少新井的钻探数量,以节省钻探费用的问题,通过网格的移动使可利用的旧井数尽可能多。建立了钻井布局问题的数学模型,设计了基于偏序关系求解钻井布局问题的演化算法,得到了理想的计算结果。结果表明,该算法具有精度高、速度快等特点。     

基于偏序关系求解钻井布局问题的演化算法

钻井布局可以归结为在一定约束条件下利用旧井的地质资料来减少新井的钻探数量,以节省钻探费用的问题,通过网格的移动使可利用的旧井数尽可能多。建立了钻井布局问题的数学模型,设计了基于偏序关系求解钻井布局问题的演化算法,得到了理想的计算结果。结果表明,该算法具有精度高、速度快等特点。     

基于遗传算法的乡级土地利用规划空间布局方案研究

针对乡级土地利用规划中如何将确定的土地利用数量结构方案优化配置到具体的地域空间,以及常规的精确算法求解每次只能产生一个空间布局方案的问题,提出了辅助产生可供选择的乡级土地利用规划空间布局方案的遗传算法。首先根据目标规划原理建立了乡级土地利用规划空间布局问题的数学模型,以最大化布局方案的综合指数及最大化布局方案中每类用地在空间布局上的紧凑度作为目标函数;其次针对该数学模型多目标、非线性的特点,提出了基于遗传算法的求解方法,主要包括编码方法确定、种群初始化、适应度的计算及遗传操作等过程。利用该方法,在北京市平谷区王辛庄镇的土地利用规划空间布局中,得到了多种规划方案,结果表明,遗传算法是一种辅助乡级土地利用规划的有效优化方法。     

同伦方法求解混合三角多项式方程组

解混合三角多项式方程组时,一般利用变元替换以及添加多个二次方程将原问题转化为不含三角函数的多项式方程组,然后求解,但这样会增大问题的规模导致计算量增大。利用同伦方法直接求解混合三角多项式方程组,不需要将原方程组进行转化,从而不会增大问题的规模,节省计算时间。     

探地雷达根系数据的PSO-SA-OMP压缩重构方法

针对根系探地雷达数据重构中计算复杂和准确率低的问题,提出粒子群(PSO)与模拟退火(SA)相结合的正交匹配追踪(OMP)优化算法。首先,由Gabor原子对信号进行稀疏表示,建立求解空间;然后,以匹配函数为适应度,通过PSO算法求出匹配函数的最佳适应度值,找出可行解原子,再利用SA算法对PSO极值进行退温搜索,得出全局最优原子;最后,利用最优原子完成根系稀疏数据的重构。对A-scan数据和B-scan数据进行实验,结果表明,PSO-SA-OMP算法比传统OMP算法的计算时间减少了10.471 s和20.260 s,均方误差减小了1.225,信噪比提高了5.539 d B。     

半定互补问题的-Mehrotra型预估 校正内点算法

通过一种新的中心参数更新方案,提出一种新的 Mehrotra型预估 校正内点算法求解半定线性互补问题,证 明了该算法具有O(nL)多项式复杂度.     

半定互补问题的Mehrotra型预估-校正内点算法

通过一种新的中心参数更新方案,提出一种新的Mehrotra型预估-校正内点算法求解半定线性互补问题,证明了该算法具有O(nL)多项式复杂度.     

两种不同贪心算法在求解TSP问题中的应用和比较

目的针对比较复杂的图问题,如TSP(traveling salesman problem),使用计算机来处理是比较困难的。探索和研究新的TSP算法以提高算法时间空间性能就显得尤为必要和紧迫。方法采用贪心算法来求TSP的解,该算法使用最短的路径连接策略,任何一次搜索都在所有的边中寻找长度最短的边。结果通过该算法最后找到的解就是TSP的最优解的近似解。结论通过使用两种不同的贪心算法求解TSP,并且求解了贪心算法的时间空间性能,相比于传统的算法贪心算法有一定的优势。该算法对TSP的求解有一定的指导意义,特别是对配送货物的路线、有关网络布线等问题有实际意义。     

Dodd-bullough-Mikhailov方程的精确行波解

利用多项式完全判别系统，求得了Dodd-bullough-Mikhailov方程大量的精确行波解。从求解的过程可以看出，通过将方程化成可求解的初等积分形式，再利用多项武完全判别系统就可以容易地求出Dodd-bullough-Mikhailov方程全部的精确解。     

非零初始条件线性系统的Legendre多项式模型降阶方法

讨论了非零初始条件下线性系统的模型降阶问题,并给出了一种基于Legendre正交多项式的时间域模型降阶算法。该方法首先将系统的状态变量在正交多项式空间中进行展开,然后由状态方程得到展开系数的简单递推式,接着对其正交化,求得投影矩阵,通过正交投影变换得到降阶系统。由该方法得到的降阶系统可以匹配原始系统输出变量一定数量的正交多项式展开系数,从而保证了降阶的精度。最后,通过2个数值算例验证了该算法的有效性。     

中国邮递员问题的匹配算法

中国邮递员问题是运筹学中一个重要问题。提出了一种求解中国邮递员问题的匹配算法。该算法利用贪心方法对奇度顶点进行配对;然后,将配对的边加入原图得到一个欧拉图;所得欧拉图的欧拉回路为近似的投递路线。仿真试验表明,该算法是有效的。     

基于概率模型的分布估计算法求解欺骗问题

针对低阶分布估计算法不具备连锁学习的问题，对压缩遗传算法（CGA）进行了改进，使之可以求解可分离计算的高阶问题，并编程实现。最后通过扩展压缩遗传算法（ECGA）和基本遗传算法（SGA）比较的实例，从模式定理的角度证实了ECGA算法具有更高的效率和准确性。     

计算机视觉中的图匹配方法研究综述

图匹配是值借助匹配算法,从两幅图像或者多副图像中寻找相似之处,进而实现对图像的科学化和精准化处理,是当前计算机视觉领域中尤为重要的一项技术。图匹配的本质为离散组合优化问题,经过长期的研究及时间应用,当前已经形成了多种图匹配方法,文章从计算机视觉中的图匹配基本要素出发,对几种常见的图匹配计算方法进行了总结,对研究图匹配方法具有指导性作用。     

几类图簇匹配等价图的结构性质

利用匹配多项式的代数性质,证明了几类图簇的匹配多项式因式分解理论,进而得到了这几类图簇匹配等价图的结构性质.     

点圈并图的匹配等价图数

若两个图G和H的匹配多项式相等,则称图G和H匹配等价.用δ(G)表示图G的所有不同构的匹配等价图的个数.计算了δ(sK_1∪t_1C_6∪t_2C_(15)).     

基于量化正交免疫克隆粒子群算法的水电站水库优化调度研究

【目的】解决传统粒子群算法在求解水库优化调度问题中存在的早熟、收敛速度慢和易陷入局部最优的问题。【方法】基于抗体克隆选择学说理论,提出了一种量化正交免疫克隆粒子群算法(OICPSO/Q)。采用正交交叉策略来增强子代个体解分布的均匀性;通过接种疫苗和计算亲合度等操作,对算法的进化过程进行有目的、有选择地指导,使得算法快速收敛,同时保持一定的多样性,抑制了早熟现象。提出一种自学习算子,避免个体邻域内最优解的丢失。建立了基于量化正交免疫克隆粒子群算法的水库优化调度数学模型,并给出其具体的求解步骤。最后应用该方法与标准粒子群算法(SPSO)及动态规划方法进行比较。【结果】与SPSO算法和动态规划方法计算结果相比,OICPSO/Q算法计算时间明显降低,但发电量明显增加,说明OICPSO/Q算法可提高解的精度,加快其收敛速度,其性能优于标准粒子群算法和动态规划方法。【结论】OICPSO/Q算法为求解水库优化调度问题提供了一条新的有效求解途径。     

林业机械设备控制芯片设计的模型检验方法

为解决林业机械设备控制芯片设计中模型检验问题,提出基于多项式理论的定界模型检验方法.首先,给出基于多项式形式的电路功能的统一描述.为了能够采用多项式形式描述电路功能,在传统的电路控制逻辑描述方法的基础上,将其进一步扩展,将传统方法中的原子命题转化为多项式形式,将布尔特征函数转化为多项式集合的形式.这样,可以与电路数据通路部分建立统一的多项式描述形式.其次,通过建立高级语言的关系模型,给出了电路在高层次描述中目标性质的抽取方法,通过该方法形成待验证性质的多项式形式描述,从而形成了待验证性质与电路功能统一的多项式形式.基于以上两点,将定界模型检验问题转化为基于多项式理论的定理证明问题.并采用计算多项式集合良好三角列的方法解决定理证明问题.与传统方法相比,该方法可在电路高级别抽象上直接进行定界模型检验.