基于遗传算法的高校排课数学模型

排课问题是一个有约束、多目标的组合优化问题,并且已经被证明是一个NP完全问题。针对高校排课过程中存在诸多约束因素的问题,提出将遗传算法与约束条件算法相结合的排课算法,由约束条件算法确定排课任务的优先次序,遗传算法解决单个排课任务时间片分配的优化问题。实验结果表明,该算法能够改进算法性能,提高排课效率。     

日计划机车周转图智能编制方法的研究

给出了日计划机车周转图的约束满足优化问题模型及其智能求解算法,该模型以列车工作计划、机车技术作业时间、乘务员作息时间、１８点归位机车台数、检修机车最晚到达基本段时间及段备机车的最早可解备时间等作为约束条件,以减少机车在站停留时间作为目标．该模型的智能求解算法将启发式知识与回溯策略相结合,以求得日计划机车周转图的满意解．     

最大公共子图的约束符号求解方法

【目的】探索求解两个图最大公共子图的方法。【方法】建立最大公共导出子图的软约束满足问题(Soft CSP)模型,提出代数决策图(ADD)的符号求解算法。首先,分别对两个图中的变量和值域进行编码,完成两个图的ADD表示;其次,基于深度优先分支定界算法的思想,利用符号ADD的相关操作,实现对最大公共导出子图的求解。【结果】算例结果表明,该方法准确可行。【结论】该方法能有效缩减搜索空间,从而提高问题的求解效率。     

处理条件效果的互斥延迟算法的研究

通过将带有条件效果的动作分解成元件,然后利用互斥延迟算法进行规划图的扩张,得到规划图.规划图生成后,从初始条件出发,利用一个前向的搜索过程进行搜索以求规划解.在搜索中,选择的不是单个的动作,而是独立集,这样可以明显地减小搜索空间,而且在搜索过程中,还利用了独立集之间的执行次序作为独立集选择的启发式,加快搜索过程.该算法大大地简化了搜索过程,提高了搜索效率.     

约束可满足问题求解策略的改进和实验结果

通过对那些属于NP－Complete的约束可满足问题（如图着色、规划、SAT问题等）的求解实验，指出了局部搜索算法的局限性，由此给出改进的搜索策略．实验结果表明，应用改进的搜索策略使算法效率明显提高．     

两种智能值排序启发式研究

为提升约束满足问题求解效率, 对最受推崇的智能值排序启发式Look-ahead 和Survivors-first 进行深入研究。比较两种值排序启发式在常规和自适应两种环境下的效率表现。结果显示, 在多数问题类上, 常规情况下Survivors-first效果更好, 而在自适应环境下效率有所下降; 在不同环境下使用不同启发式可提升约束满足问题求解效率。     

弧相容算法性能比较

为了化简约束满足问题的规模、有效地处理大规模难解问题,从求解算法的角度研究弧相容技术。分析讨论了8种弧相容算法各自的优势和特点。在“明月”约束求解平台上针对随机约束满足问题,对该系列弧相容算法的性能进行了测试。实验结果表明,无论是在搜索之前还是搜索过程中,AC-2001(AC-3.1)都比其他算法表现出更优异的性能。     

旅游规划图制图规范研究

探讨了旅游规划图的性质,指出在我国旅游规划中由于编制单位的专业背景不同使得旅游规划图的制作各不相同,表现在有些规划图失去地图的基本属性、没有统一的图式图例和图集选题的差异;文中认为旅游规划图的规范化应从三个方面进行,即确保旅游规划图具备地图基本属性,编制统一的旅游规划图图式及统一旅游规划图的内容体系.最后对旅游规划电子地图的规范化进行探讨.     

基于3S技术的森林防火道路规划研究

利用3S技术得到林相图的空间数据，依据森林防火道路规划的标准要求，通过给定的约束条件、规划目标以及评价条件，分析了森林防火林道初始布局，考虑各种影响最优分布的指标，对森林道路进行了优化分析与规划，得出最优规划图。     

平行机上一种带拒绝费用的排序问题研究

主要研究了一种平行机上的排序问题。目标函数是使总完工时间最小但不能超过总拒绝费用的阀值。提出了该问题是NP一难的证明。针对该排序问题给出了伪多项式时间的动态规划算法且设计出了FPTAS。     

基于视觉非完整自主车的道路避障

就四轮非完整自主车提出了一种基于圆轨迹的道路避障策略·道路上的障碍按照障碍距离自主车的远近可以划分层次 ,一个层次的障碍能在自主车视场中全部出现·然后给出基于圆轨迹的避障算法 ,即自主车沿由自主车出发位姿和子目标点确定的圆弧轨迹走行·提出了移动光心得到的深度信息原理并推导了四轮非完整车的运动模型 ,为提出避障策略的基础作准备·基于圆轨迹避障策略能够很好地满足非完整自主车的运动特性 ,体现了方法的优越性·     

深海底采矿机器车控制软件体系结构设计与实现

针对深海底采矿机器车特殊工作环境和特殊工作特性,采用混合体系结构,设计了深海底采矿机器车控制软件体系结构;该结构分为规划层、控制层和执行层.机器车的作业任务被规划为一系列子目标,每个子目标有一个相应的任务监视器,负责安排一套预编程的程序以实现子目标.以行走控制子目标为例,进一步说明了所设计体系结构的可行性.最后,采用VC 语言编制程序,验证了软件体系结构的设计.     

基于G/A矩阵的MAS建模中个体Agent的识别方法

文章分析了M A S建模方法学提出的动因,指出了M A S建模中的关键问题;阐述了基于A gen t的建模方法学分析阶段的过程及其不足,研究了对系统子目标进行表述、求解的规范化工具——G/A矩阵及其求解方法;并在此基础上提出了一种新的M A S中个体A gen t的识别方法,最后通过实例说明该方法简单易行。     

利用TTT变换刻画年龄性质的程度

利用TTT变换度量元件在某一分位点处的平均服役年龄来刻画一些用来比较同一寿命分布类中年龄特征强弱的偏序．基于这一变换，提出一种新的偏序，用来比较不同分布之间平均服役年龄的长短，最后讨论了在检验年龄性质及其程度中的应用．     

关于非负正定矩阵的L(o)der序和预偏序的一个注记

指出对于非负正定矩阵的平方阵的减序,矩阵的非负正定性可以减弱为Hermmite矩阵,同时利用矩阵的组合关系,给出Hermmite矩阵的平方矩阵的*序的等价刻画.     

齐次Poisson冲击模型中元件寿命递增的条件

证明元件寿命在齐次 Poisson 冲击模型中依期望序、反向失效率序、反向平均剩余寿命序、增凹序、Laplace 变换序等增加的充分条件,是促使元件失效的随机冲击次数也依相应的随机序增加.     

对指数分布定总时有替换可增长型数据的NATURAL字典排序法的改进

通过引入随机化方法对处理指数分布定总时有替换可增长型数据的NATURAL字典排序法给予了改进,进而改进了对产品可靠度置信下限的估计。     

三角代数上一类局部非线性三重高阶可导映射

对Lehmann和Rojo给出的关于各种随机序关系的定理作 进一步推广; 说明有序总体的同阶次序统计量仍保持序关系; 证明序关系在单调变换下不 变性和散度序关系在凸函数作用下的不变性.     

NBUC性的偏序刻画

为刻画同一类寿命分布中两个不同分布的NBUC性的强弱,本文定义了一个新的偏序,即NBUC序.并证明NBUC序具有反身性、反对称性和传递性.另外,该偏序与凸序、超可加序、NBUE序的关系也作了调查.同时还建立NBUC序在被比较的分布是指数分布情况下的一个充要条件.     

基于EM算法约束条件下参数的估计

讨论了多元正态模型中的参数估计问题.利用EM算法和ECM算法给出了多元正态模型在协方差阵已知或未知的情况下,参数在简单序约束、伞型序约束和递增的凸序约束条件下的极大似然估计.当参数向量不多于三个分量时,给出了显式结果;当参数向量高于三个分量时,给出了求参数极大似然估计的相应线性变换.