基于分治策略和蚁群算法的最大团问题的研究

最大团问题是经典的NP-hard问题,对该问题求解方法的研究在理论上、实践上都具有一定的意义.蚁群算法已成功地求解出许多组合优化难题.通过使用分治法,将图分解成子图,对各子图应用蚁群算法求解,提出一种求解最大团问题的蚁群算法.它减小了问题的求解规模,使求解变得容易,且实验取得了较好的结果.     

符号执行中的约束求解问题研究进展

在符号执行中,约束求解主要负责路径可达性进行判定及测试输入生成的工作,但路径爆炸问题带来的频繁调用,以及SMT求解器本身的能力和效率的不足,使得约束求解占用了符号执行中主要的性能开销,约束求解问题也成为符号执行中面临的主要瓶颈问题之一.本文介绍了符号执行和约束求解的基本概念,并分析了符号执行中约束求解问题的由来,对近年来的约束求解问题研究进展进行了归类,涉及的技术包括非相关约束分支切片、约束简化、快速不满足性检查及多求解器支持等.对这方面的研究进行了展望和总结.提出未来工作应在提高路径约束逻辑精简率、提高约束求解结果存储和重用的效率、约束求解并行化以及约束求解配置预测等方面展开.      

函数最优极值问题的组合优化求解

提出基于组合优化的函数极值优化问题求解方法.首先采用遗传算法对函数极值优化问题进行初步求解,然后将该解作为蚁群算法的初始化信息素,再对函数极值优化问题进行求解,找到函数极值优化问题的全局最优解.实验测试结果表明,通过组合优化对函数最优极值问题进行求解,有效地提高了函数最优极值问题的求解精度和求解效率.     

改进遗传算法的常微分方程求解及应用

为研究求解常微分方程的近似解问题,采用理论分析和实例分析的方法,将常微分方程的求近似解问题转化为遗传算法的函数优化问题,借助Matlab遗传算法工具箱实现对常微分方程的求解,并以室内温度摆动问题进行实例分析.研究结果表明:常微分方程的求解问题可以转化为最优化问题,进而将遗传算法应用于求解该最优化问题,最终完成了对常微分方程的求解,同时验证了该算法的有效性与准确性.研究结论拓宽了遗传算法的适用范围,并为常微分方程的求解问题提供了新的理论空间.     

多选择背包问题的快速求解算法

背包问题属于组合优化中的经典问题,它有许多重要的变形,其中以多选择背包问题最为复杂.为更快地求解多选择背包问题,文中首先对该问题进行了理论分析,然后基于动态规划提出了一种新的求解算法,并对一个复杂的案例进行了测试.结果表明,这种新算法比遗传算法快9.4倍,比传统的0-1整数规划求解法快78倍.通过对数学模型的改进可大大降低问题的规模.更重要的是,所用方法可避免求解任何线性规划问题.     

蚁群算法在服务选取问题中的分析比较

在对蚁群算法进行总结分析的基础上,提出了求解该问题的蚁群优化模型,定义了针对服务选取问题的信息素及启发式信息,并采用6种蚁群算法对该问题进行了求解.最后通过试验对这些算法在服务选取问题中的适用性进行了分析,并与最近提出的服务选取算法进行了比较.结果表明,设计的不同蚁群算法在求解该问题时性能差异较大,其中ACS算法不但收敛速度快,其求解质量也好于被比较的其他算法.     

平面杆系结构稳定问题的常微分方程解法

介绍了一种平面杆系结构稳定问题的常微分方程求解器（ODE）解法.将计算无限自由度平面杆系结构稳定问题转换为典型的常微分方程边值问题,通过构造一系列平凡常微分方程,建立相应的常微分方程组,利用常微分方程求解器予以求解.利用常微分方程求解器法对不同边界条件和变截面压杆的临界弯曲荷载问题进行了求解,计算结果表明,该方法的求解精度和效率较高.     

移频算法在加速子空间迭代法中的应用

基于子空间迭代法,采用移频加速算法,开发了一个高效、稳定、内存消耗低的移频子空间迭代特征值求解器SSubspace. 给出了详细的移频子空间迭代法求解广义特征值问题的步骤及关键参数的选取. 对刚度矩阵奇异时特征值的求解进行了探讨,实现了对刚体模态的求解. 与Intel MKL特征值求解器(FEAST v2.1)相比,SSubspace的求解效率高于FEAST,且内存消耗低于FEAST. SSubspace理论上可以求解出所有阶的特征值,且计算时间随特征值数的增加近似成线性增长关系,可用于求解大阶数特征值问题、大型矩阵的全特征值问题.     

产销不平衡运输问题求解方法教学研究

产销不平衡的运输问题在求解时有两种方法,一种方法是建立运输问题模型求解,另一种方法是化为产销平衡运输问题求解.对这两种方法的特点进行详细分析,特别在总产量与总销量不固定情况下,分3种情形讨论了如何化不平衡运输问题为产销平衡问题.通过对两种方法的分析比较,有助于学生学习理解产销不平衡运输问题求解方法.     

取货车辆动态调度问题求解策略分析研究

为了解决取货车辆动态调度问题的优化求解问题,本文分析了取货车辆动态调度问题的动态变化事件类型和每类动态变化事件的应对策略,在应对策略的基础上分析研究问题的滚动时域设置和求解策略设计. 结果表明,求解策略研究对取货车辆动态调度问题的优化求解有重要意义,并为深入研究其他类型动态车辆调度问题奠定了基础.     

有关多元函数连续性的几个新结论

给出几个有关多元函数在某点连续的新结论.     

剖视画法探讨

剖视图是机械制图中的重点，同时也是难点，人们在绘图时常常感到无从下手。文章就什么情况使用剖视图，如何恰当的选择剖视表达方法提出了一些见解，并对这些剖切方法进行了归纳总结。     

Geraghty型广义压缩映象最佳逼近点的存在性与唯一性

给出了关于Geraghty型广义压缩映象的最佳逼近点的存在性与唯一性定理.所得结果推广了文献[11]中关于广义压缩的最佳逼近点定理,同时改进了文献[10]及[12]中相关研究成果.     

计算学科界定与计算机科学技术学科建设的探索

用权威研究成果的视角，即IEEE／CS与ACM关于计算学科的定义、相关知识体系、计算教程和教育部的本科专业目录，探索计算机科学和技术学科建设的关键和相应措施。     

导函数极限的存在性与函数可导性关系初探

在讨论函数在某一点的可导性时 ,通常的做法是利用导函数的定义或者用函数在该点的左、右导数来讨论 ,过程比较复杂。为了寻求一种简便的方法 ,总结出下面一组关于导函数极限的存在性与函数可导性间关系的命题 ,利用这两个命题 ,能使相应问题的讨论变得比较简单     

关于高等职业教育发展中面临的若干问题思考

高等职业教育是我国高等教育发展新的增长点。本文探讨了当前大力发展高等职业教育中面临的一些问题，并尝试提出解决这些问题的途径，以期对高等职业教育的发展有所裨益。     

从《周书》语音材料看北朝后期至初唐北方语音的若干特点

《周书》作为唐朝人撰写的有关北朝的史书,其中保留了不少有关北朝时期的语音材料。这些语音材料,反映了北朝后期和隋至初唐时期北方语音方面的一些特点,有声母方面的,也有韵部声调方面的。有些材料所反映出的语音特点,与颜之推在《音辞篇》中所谈到的北人语音特点一致。其中几条特殊语音材料所反映的语音现象,似乎可以看成是"北杂夷虏"的遗迹。     

湖南省高校档案工作现状分析及其发展对策研究

分析了目前湖南省高校档案工作现状,指出了其存在的问题,提出了解决问题的对策.     

对称点偶的基圆方程及其性质

给出了以2定点为对称点偶的基圆方程(即表达式),利用它研究了基圆的一些性质,得到对称点偶的基圆唯一存在的条件.在几何变换方面解决了关于圆周的反演变换的一个逆问题,即给定对称点偶及半径等条件求基圆.     

曲率与曲率圆的几个等价定义

与现行的教材不同,给出和证明了曲线的曲率和曲率圆的另外几个等价定义:曲率圆可以作为曲线的二阶近似的一种特殊形式;也可以作为曲线上邻近的三个点所确定的圆的极限;曲率中心又可以作为曲线上邻近的两个点所作法线的交点的极限.