空中加油问题的递推模型与调度策略

首先对空中加油问题进行了分析,提取了相关性质,在此基础上建立了问题的递推模型.根据该模型,提出了一种启发式搜索算法.该算法计算复杂度低,适用性好.对应于辅机是否可以多次起飞,该算法分为两子算法.对这两种不同情况下的具体问题,设计了相关的优化函数.所有算法都在计算机中运行,并得到了相应结果.值得指出的是,提出的启发式搜索算法十分高效.对于问题1和问题2,该算法所得解是约束条件下的最优调度策略.对于问题3,问题4,问题5,该算法所得解逼近最优调度策略.     

求解互补约束优化问题的乘子松弛法

利用互补问题的Lagrange函数, 给出了互补约束优化问题\,(MPCC)\,的一种新松弛问题. 在较弱的条件下, 新松弛问题满足线性独立约束规范. 在此基础上, 提出了求解互补约束优化问题的乘子松弛法. 在MPCC-LICQ条件下, 松弛问题稳定点的任何聚点都是MPCC的M-稳定点. 无需二阶必要条件, 只在ULSC条件下, 就可保证聚点是MPCC的B-稳定点. 另外, 给出了算法收敛于B-稳定点的新条件.     

求解椭圆方程柯西问题的修正吉洪诺夫正则化方法

研究了一类变系数椭圆方程的柯西问题,这类问题出现在很多实际问题领域.由于问题的不适定性,不可能通过经典的数值方法来求解上述问题,必须引入正则化手段.采用了一种修正吉洪诺夫正则化方法来求解上述问题.在一种先验和一种后验参数选取准则下,分别获得了问题的误差估计.数值例子进一步显示方法是稳定有效的.     

基于一类光滑函数法求解选址问题

选址问题是组合优化中一类有着重要理论意义和广泛实际背景的问题.在利用数学模型解决这类问题时经常会遇到非线性L_1问题,也就是不可微优化问题.为了解决这类问题,构造了适合于选址问题的一类新的光滑函数,并对这类光滑函数进行了性质描述,然后在此基础上提出了基于有效集法进行优化求解的计算步骤.最后,以实例证明了这类光滑函数应用在选址问题的优化求解上是有效的.     

一类张量特征值互补问题

矩阵特征值互补问题在力学系统领域有广泛的应用.在本文中,我们提出了一类特殊的四阶张量特征值互补问题,它是矩阵特征值互补问题的推广.我们对该特征值互补问题解的存在性,计算复杂度等性质进行了初步的研究.在一定条件下,我们建立了该互补问题同一类非线性约束优化问题的等价性联系,并由此提出了平移投影幂法来求解该特征值互补问题.     

学生面试问题的一个解法

研究的是自主招生的面试安排问题.它与一个经典问题(Steiner System问题)有很紧密的联系.首先我们形式化地提出了这个问题,并针对问题提出了3种算法.值得一提的是,我们提出的同余构造算法在时间复杂度较低的情况下,具有很高的近似比(强于FPTAS).对于文理分科的情况,我们同样在形式化地提出问题之后,给出了相应的算法.我们编写程序实现了所述的算法.     

一类具有转点的右端不连续奇摄动边值问题

研究了一类具有转点的右端不连续二阶半线性奇摄动边值问题解的渐近性.首先,在间断处将原问题分为左右两个问题,通过修正左问题退化问题的正则化方程,提高了左问题渐近解的精度,并利用Nagumo定理证明了左问题光滑解的存在性.其次,证明了右问题具有空间对照结构的解,并通过在间断点的光滑缝接,得到了原问题的渐近解.最后,通过一个算例验证了结果的正确性.     

求解带组换装时间单机调度问题的禁忌搜索算法

以包头某钢铁线材企业生产实际调度问题为背景,研究了一类带组换装时间的单机调度问题.由于该问题是NP难的,本文提出了一类适合该问题的禁忌搜索算法.此外,本文将问题性质引入了禁忌搜索算法以进一步提高算法寻优性能,降低算法运行时间.本文提出的算法在随机问题和实际问题上均进行了测试,实验结果表明,本文提出的算法能在不到10秒的时间内获得实际问题的一个近似最优解.     

一类分数阶非线性时滞问题的奇摄动

讨论了一类奇异摄动非线性分数阶时滞问题.首先利用奇异摄动方法求出了问题的外部解.再利用伸展变量法构造了问题在边界附近的两个边界层校正项,得出了所提问题的形式渐近解.最后,在合适的假设条件下,利用微分不等式理论证明了解的一致有效性,并给出了结论及未来的研究方向.     

货物列车的编组调度问题

研究的是货物列车的编组和调度问题.通过对问题的深入研究,设计了一种车辆编组调度方案的算法.按照这种算法,在数据处理的基础上利用VC编写每个问题的处理程序,实现了对列车的快速安全高效的调度.对每个问题进行处理,都得到符合要求的结果.问题一首先对整个车辆编组调度的问题进行分析,在尽量保证新组装列车满载的基础上,使每班的中时尽可能少.为此,本文解决了两个关键问题:一是选车问题,二是拆解重组的问题.采用梯形方案对列车车辆进行编队重组,对选车问题主要采用按照时间先后顺序的选车方案,然后通过启发式算法配合遗传算法的选车方案对按时间先后顺序的方案进行检验.从编写的VC程序的运行结果来看,两种方案都可得到满意的结果,遗传算法得到的结果更为合理.另外,为了达到中时最短,采用双推双滑的方式利用驼峰线,提高了调度效率,并在驼峰线和编组道之间加入了碰撞检验模块,保证了列车调度时的安全性.问题二的求解是在问题一的基础上对待拆列车按优先级进行分类.对优先级高的列车先进行拆解.救灾车辆最高,其次是军列和发往S1的车辆,最后是一般车辆.问题三的处理主要是在问题二的基础上,通过提前获得列车的相关信息来决定编组场的列车离开编组场的时刻,从而缩短车辆的中时.问题四在原有模型基础上对编组方案进行了修改,利用编写的VC程序重新计算了每班的中时和列车的调度方案.问题五主要分析了整个系统瓶颈所在,分析了提高资源利用率的可行性.最后,通过对站名的调整,达到了对地质灾害等对铁路系统的破坏突发情况的有效处理,并且进一步分析了如何提高车站的效率的调度方案和建议.     

弱向量均衡问题的含参适定性

本文在实 Banach 空间中研究了弱向量均衡问题的两种适定性.给出了该问题唯一适定与适定的距离刻划.在适当条件下证明了弱向量均衡问题的唯一适定性等价于解的存在性与唯一性.最后, 文章在有限维空间给出了弱向量均衡问题适定的充分性条件.     

极小化最大提前完工时间的两平行机排序问题

讨论了在两台同型平行机上,加工带截止期限的n个工件,在机器可空闲条件下,确定一个工件排序,使得最大提前完工时间最小.由于工件不允许延迟,问题可能会无可行排序.先讨论问题的可行性,通过子集和问题归约,证明了判定问题的可行性是NP-complete的.如果问题可行,接着讨论了问题的复杂性,通过划分问题归约,证明了其是NP-complete的.最后,考虑了工件加工时间相等的特殊情形,提出了一个算法在多项式时间内获得最优排序.     

Gevrey空间中抽象柯西-柯瓦列夫斯卡娅定理:能量方法

本文研究了非线性柯西问题的适定性问题.利用经典的能量法和抽象柯西-柯瓦列夫斯卡娅定理,得到非线性柯西问题在Gevrey空间中是适定的.推广了已有文献在非线性柯西问题适定性方面的研究.     

鲁棒信用风险优化的线性锥优化模型

考虑了具有强健性的信用风险优化问题. 根据最差条件在值风险度量信用风险的方法,建立了信用风险优化问题的模型. 由于信用风险的损失分布存在不确定性,考虑了两类不确定性区间,即箱子型区间和椭球型区间. 把具有强健性的信用风险优化问题分别转化成线性规划问题和二阶锥规划问题. 最后,通过一个信用风险问题的例子来说明此模型的有效性.     

一类单调变分不等式的非精确交替方向法

交替方向法适合于求解大规模问题.该文对于一类变分不等式提出了一种新的交替方向法.在每步迭代计算中,新方法提出了易于计算的子问题,该子问题由强单调的线性变分不等式和良态的非线性方程系统构成.基于子问题的精确求解,该文证明了算法的收敛性.进一步,又提出了一类非精确交替方向法,每步迭代计算只需非精确求解子问题.在一定的非精确条件下,算法的收敛性得以证明.     

具组合型非线性项与调和位势的非线性Schr(o)dinger方程

讨论了一类带有组合型非线性项与调和位势的非线性Schr(o)dinger方程.通过构造变分问题,引入位势井方法.给出了位势井的结构和位势井深度函数的性质.得到了问题的相关集合在流之下的不变性.揭示了只要问题的初值属于位势井内或位势井外,则问题在今后所有时间内的解都存在于位势井内或井外.结合凹性方法,给出了解的整体存在性的最佳条件.     

齐次Neumann边界条件非线性抛物方程解的爆破时间的下界

研究了非线性抛物方程具有齐次Neumann边界条件问题解的爆破.在对问题中的f,ρ和g作出适当的假设的前提下,推导出了上述问题解的爆破时间的下界.同时,也得到了问题的解不发生爆破的条件.     

空中加油问题模型建立及其解法

空中加油问题是一个关于在飞机飞行过程中,辅机在空中给主机加油来提高主机直航能力的问题.该题的要求是在辅机架数n一定的情况下,确定最优作战方案及主机的最大作战半径.对于问题1和问题2,首先给出了一般情况下的飞机调度的数学模型,然后用穷举法求出了n≤4情况下的最优作战方案及主机的最大作战半径rn,然后用归纳法推导出了n为一般情况下rn的上下界,最后给出了判断最优作战方案的必要条件.问题3中,给出了与问题1、问题2类似问题的求解结果.问题4中,首先求出了n≤4时空军基地的选址和最优作战方案,然后给出了n为一般情况下,最优作战方案和基地选址的通用数学模型.问题5中,在主机最快到达目的地并返回的条件下,给出了主机的飞行路线和最优作战方案;在满足辅机架数最少的条件下,给出了作战方案,并用MATLAB求出了满足该条件时的最少辅机架数的上界为248架.另外,给出了一些新的定义方法和定理并全部给予证明.     

一类两参数非线性反应扩散方程奇摄动问题的广义解

利用奇异摄动方法讨论了一类两参数广义奇摄动反应扩散方程问题.首先,在适当的条件下,对两个小参数进行幂级数展开,构造了问题的形式外部解.其次,在区域边界邻近,建立局部坐标系,利用多重尺度变量方法分别构造了问题解的第一、第二边界层校正项.最后,利用合成展开理论,得到了问题广义解的渐近表示式,并用泛函分析不动点原理,估计了渐近展开式的精度.该文得到问题的广义解在重叠区域内具有两个不同厚度的校正函数.它们分别对边界条件起着校正的作用,扩展了问题研究范围,同时还提供了构造这类在重叠区域上不同厚度的校正项的方法,因此具有广泛的研究前景.     

关于NP=?P问题

当前,在计算机理论中存在许多悬而未决的问题.在这些问题中,就其在理论上和实践中影响之深远,研究者之众多,因而成果之丰富程度而言,当推 NP =?P问题最为重要. 1971年,在美国第三届ACM计算理论学术会议上,S.Cook发表了其著名论文“TheComplexity of Theorem-Proving Procedures”.在这篇文章中,他第一次正式地提出了NP是否等于P的问题.十多年来,许多人作了不懈的努力,有的企图证明它们相等,更多的人猜测并试图证明它们不等,还有人认为该问题可能是独立于公理化系统的.各种迹象表明,这是一个十分困难的问题.然而,通过它却带动了许多问题的研究,出现了许多有趣的新的问题,发展起了一个庞大的理论系统.