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

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

用动态规划法与回溯法实现0-1背包问题的比较

0-1背包问题是运筹学中的著名问题。也是计算机算法中的一个经典问题。本文采用动态规划法和回溯法对该问题进行求解,对这两种算法进行分析和比较。     

自适应遗传算法求解运动员最佳配对问题

采用引入了收敛因子和进程因子的自适应遗传算法求解运动员最佳配对问题，并在保持群体多样性和全局收敛性的情况下与回溯法进行对比.结果表明，自适应遗传算法能有效提高收敛速度，对较大规模的配对问题也能快速求解.     

逻辑程序语言的智能控制策略

本文试图对逻辑程序语言的控制问题提出一个解决办法。本文从 Kowalski 的most showing,least finding 原则出发,通过一个谓词复杂性函数及简单的智能回溯方法的描述,提出一个谓词复杂性最小和智能回溯的控制策略。     

基于MAC的动态回溯算法优化

针对基于MAC的动态回溯算法在求解约束满足问题时, 不仅需要大量空间存储删除解释, 而且回溯机制过于复杂, 对经典的删除解释及动态回溯算法的回溯机制进行优化, 优化后的动态回溯算法减少了存储删除解释的空间, 并可仅使用一次回溯操作返回到可能导致冲突的关键变量. 在最差情况下, 存储删除解释的空间复杂度由O(n²d)改进为O(nd+n²). 通过结合restart技术使优化后的动态回溯算法成为完备算法. 实验结果表明, 优化后的完备动态回溯算法在大部分问题求解中, 整体效率明显优于标准回溯算法.     

人工智能与水电站的经济运行

通过对水电站经济运行问题的优化,用面向对象的软件构造,完成约束满足问题CSP(constraintsatisfactionproblem)的推理求解,实现了知识表示、约束传递、智能回溯,并在微机上模拟运行.用面向对象、人工智能的方式解决了水电站机组间负荷动态调度的问题,编制了全数字仿真自动发电控制系统平台.     

启发式搜索策略（爬山法）的改进与实现

介绍一种启发式搜索策略－爬山法的原理;讨论了爬山法的不足,提出一种改进的方法：将其不可撤回的搜索方式改为可以回溯的方式,从而使爬山法也可应用于复杂问题的求解。最后阐述如何用Ｃ语言实现改进的爬山法。     

启发式搜索策略(爬山法)的改进与实现

介绍一种启发式搜索策略——爬山法的原理;讨论了爬山法的不足,提出一种改进的方法：将其不可撤回的搜索方式改为可以回溯的方式,从而使爬山法也可应用于复杂问题的求解．最后阐述如何用Ｃ语言实现改进的爬山法．     

递归回溯法求解整数线性规划及MATLAB实现

基于递归回溯法解决整数线性规划问题的算法思想及求解过程,使用MATLAB软件编写通用程序,实现了求解整数线性规划问题.通过MATLAB中的文件存储功能,对符合要求的整数解可存储在文件中,并舍弃从该解出发的分支,从而得到了符合要求的所有整数解和最优整数解.实验结果表明,该算法达到了局部最优.     

N元皇后问题的快速矩阵解法及其计数算法

在基于N元皇后问题回溯算法的基础上,提出一种更快速的求解算法,该算法借助于矩阵不但避免了求解复杂的逻辑表达式,而且由于改进了使用循环结果的条件,从面减少了比较次数,使得算法的运行交率更高,同时,还讨论了N元皇后的彼此不等价的互不攻击的布局问题,并给出了具体算法。     

相似矩阵的性质及应用

阐述了相似矩阵的定义及性质,结合历年研究生入学考试中常见的利用相似性质求解的题目,指出了学生在做这类题目时容易出现的错误,以及避免错误的方法.     

用正则化方法求解声波散射问题

利用位势理论将散射问题的外边界值问题化为第一类边界积分方程求解，给出了二维空间的数值计算方法，与公认最有效的Nystroem方法比较，计算简单且有相同的精度。     

用递推的方法求极限Ⅱ

本文给出两个推论;之后,又通过严格的数学证明,把此类问题进一步推广,给出了三个定理。至此,数学上一大类型的数学求极限的问题迎刃而解。     

绝对值等式问题的一个求解方法

 线性规划、二次规划、双矩阵对策以及其他问题都能转化为线性互补问题,而线性互补问题又可以归结为绝对值等式问题,因此研究绝对值等式问题是非常有意义的。绝对值等式问题是一个NP-hard问题,本文给出了绝对值等式问题的一个求解方法。在假设矩阵A的奇异值（矩阵ATA特征值的非负平方根）大于1时,绝对值等式问题存在唯一解,进而将绝对值等式问题转化为线性互补问题。给出了求解一般线性互补问题的混合整数线性规划解法,数值实验表明此方法对求解绝对值等式问题十分有效。     

线性空间中线性无关向量组扩充为基的研究

给出了n维线性空间V中部分线性无关向量组扩充为V的一组基的一般方法，并结合具体例子说明该扩充方法在解决这类问题时具有简便有效的特点．     

极大极小代数在中心选址问题中的应用

本文以某生产车间修建维修中心为背景,着重研究应用极大多项式解决一类平面中心单目标选址问题的新方法,给出了极大多项式的有关性质,并通过一个例题展示求解此类问题的具体步骤,结果表明此方法是十分简捷和有效的。     

数学解题的形式化方法

对数学解题中一类规律进行了总结,重点通过齐次线性方程组的形式化解法说明了数学解题中形式化方法的应用,说明了应用此方法可以把许多复杂的数学问题的综合答案同时求出,从而收到事半功倍的效果.     

矿井排水装置吸水管路的合理确定

本文分析了矿井排水装置传统的选型设计方法中确定吸水管路时所存在的问题，针对矿井排水装置选型设计的特点，给出了吸水管路的确定原则．并论证了一种新的、比较完善的确定吸水管路的方法．     

具有离散随机变量二阶段问题的分解算法

本文研究一般的具有离散随机变量二阶段问题的解法．给出了一个把大规模线性规划问题转化为小规模线性规划问题的分解算法．     

一类特殊的串联系统的优化问题

本文对一类串联系统可靠性的近似算法进行了研究,证明了这个算法对于同类部件总数确定的最优分配问题是精确的