超对称量子力学的高维含时非中心可解势

用超对称性量子力学和形状不变势,求解了12种可以在柱坐标下分离变量的非中心势,并给出了其能量本征值以及本征函数的解析形式.利用此结果以及已经建立的一维含时超对称量子力学的结果,将含时超对称量子力学推广到高维情况,提出了一种可以用来精确求解含时非中心势的理论方法,并利用此方法求解了6种可以在球坐标下分离变量的含时非中心势和另外6种可以在柱坐标下分离变量的含时非中心势,同时给出了其本征值与相应的本征函数的解析形式.     

基本解方法求解各向异性材料中热传导方程的时间反向问题

最近,HON和WEI给出了求解各向同性热传导反问题的基本解方法．该方法提供了一种在整个时间空间区域上的行之有效的数值格式．本文尝试将该无网格方法推广应用于求解各向异性材料中热传导方程的时间反向问题．首先,通过变量转换得到该问题的控制方程的基本解．接着,应用截断奇异值分解和L-曲线准则求解所得的高度病态的线性方程组．最后给出几个数值例子展示本方法的有效性,并分析了解的精度跟参数T、最终时刻的关系．     

余热发电系统的多目标优化设计(英文)

将船舶主机排气余热用于发电，来满足船舶在航行时的用电需要，这是一个十分引人的节能方式。本文将多目标规划用于余热发电系统的优化设计。在建立的多目标优化模型中，将余热锅炉──汽轮发电机组的主要热力参数作为设计变量，选取系统造价和输出电功率作为两个目标函数。采用序列最优化方法处理多目标问题，用精确罚函数法求解约束非线性规划。最后以某集装箱船为例，给出优化设计结果．     

混合约束不可微非线性规划的L_1－精确罚函数法

在［１］中，我们提出了只含不等式约束的不可微非线性规划问题的Ｌ１精确罚函数法，给出了收敛性分析。本文提出解既含不等式约束又含等式约束的不可微规划问题的Ｌ１－精确罚函数算法，在目标函数上约束函数为半光滑的条件下给出了收敛性结果．     

一种基于空间结构的数值优化演化算法

提出一种求解数值优化问题的演化算法－－基于空间结构的演化算法(Space GA），在这种算法中，作者将演化种群中的每个个体放在固定的位置上，杂交操作在其邻居上的几个点进行，因此不用选择遗传操作的父体，从而避免了确定选择压力的问题，同时空间结构保证了搜索的全局性，遗传操作保证了较优解在其空间中的扩展，从而达到了全局寻优的目的。文章还讨论了不同的空间结构算法的影响，此算法可以求角数学规划问题、约束函数优化问题，如果对实型变量采用取整的操作，算法还可以求解混合整数非性规划问题，数值试验的结果表明了算法在求解的速度，稳定性，质量等方面都优于一般的演化算法。     

大规模界约束优化的子空间截断牛顿法

给出了大规模界约束优化的一个子空间截断牛顿法。利用截断牛顿法修正非有效约束所对应的变量，用投影梯度法修正有效约束所对应的变量，文中证明了方法的整体收敛性，并对方法进行了数值试验，且与子空间有限内存拟牛顿法进行了数值比较。     

约束锥内部为空时向量均衡问题的最优性条件

在约束锥拓扑内部为空时利用集合的拟内部的概念给出了带约束的向量均衡问题的弱有效解的充分性和必要性条件。作为它的应用,还给出了带约束的向量变分不等式、向量优化问题的弱有效解的最优性条件。     

抽象动力方程边值问题的积分算子求解法

讨论了一类抽象Ｖｏｌｔｅｒｒａ型积分算子,用此获得含参数的抽象动力方程边值问题的解。这种新的求解方法我们称为积分算子求解法。     

约束锥内部为空时集值向量均衡问题的最优性条件

在约束锥拓扑内部为空时利用集合的拟内部的概念给出了带约束的集值向量均衡问题的弱有效解的充分性和必要性条件。作为它的应用,还给出了带约束的向量变分不等式、向量优化问题的弱有效解的最优性条件。     

含余割核奇异积分修改的反演问题

针对含余害核奇异积分反演问题在指κ＜0时一般无解的情况，本文提出并求解两种修改的反演问题，而后一种修改反演问题的提法与此前类似问题颇不相同，由于运用了推广的留数定理和Bertrand型换序公式使本问题及类似问题解法得以简化。     

一类0-1背包问题算法程序的形式化推导

0-1背包问题是经典的组合优化问题与NP完全问题,具有重要的应用价值与理论意义.本文使用PAR(Partition and Recurrence)方法形式化推导了0-1背包问题的高效动态规划箅法程序.通过类比分析.该问题的若干变形问题的算法也可推导得到.算法通过PAR平台的自动生成系统转换成可执行语言程序并运行通过,保证了该类0-1背包问题算法的正确性和可靠性.本文主要的贡献是将PAR方法推广到能处理带约束条件的组合优化类问题,大大扩展了PAR方法的应用范围,为形式化开发高效高可信组合优化类算法开辟了一条新途径.     

解互补约束优化问题的一种新的光滑化近似方法

互补约束优化问题应用十分广泛.利用Sigmoid函数的积分函数提出了一种新的光滑化近似算法,将互补约束优化问题转化为一般的非线性规划近似问题,通过求解近似问题的一系列光滑子问题得到原问题的近似解.在线性独立约束规范和其他一些较弱的假设条件下：无须上水平严格互补和渐进弱非退化,证明了光滑近似问题的KKT稳定点序列收敛于原问题的C-稳定点.进而考虑弱二阶必要条件,证明了上述KKT稳定点序列收敛于原问题的S-稳定点.最后,设计了相应算法,并对MacMPEC测试题库中的一些算例进行了数值实验,将得到的结果与其他算法的结果进行比较,显示本方法是有效的.     

线性约束凸规划问题的仿尺度算法

对一般线性约束凸规划问题，给出了相应的仿尺度算法，并证明由该算法所产生的迭代点要么直接到达问题的最优解，要么其极限点满足问题的最优性条件。     

交通分配模型的仿射尺度内点解法

将路段无容董限制和路段有容量限制两类问题统一为形式一致的非线性规划问题，通过改进后的仿射尺度算法求解，给出了算法的实现过程，并通过一个实际交通分配问题算例，证明了算法是有效的、可行的，为解决平衡交通分配问题提供了简捷的求解方法。     

一种基于约束的指针程序路径选择方法

动态符号执行是对程序进行安全性分析的重要技术.在动态符号执行过程中,存在着符号地址,系统调用,路径选择等问题.针对符号地址导致的别名分析问题,本文提出了一种基于约束的指针分析方法,对程序进行过程内的指向分析,并对指针分析过程引入约束条件,产生可以进行路径选择的测试用例,以提高指针分析的精度.在国内首款某型号商用编译器的开发过程中实现了该方法,实验结果表明,该方法可以准确地分析C语言测试用例,缩短用例测试的时间.     

非线性约束下的梯度投影法的收敛性

1960年Rosen提出的梯度投影法虽然已广泛应用得到成功,但其收敛问题20多年来一直得不到证明,同时也举不出一个反例。算法非闭是困难的原因。1986年何光中十分巧妙地证明了梯度投影法的收敛性:在n维欧氏空间中任何迭代序列的极限点均为Kuhn—Tucker点,本文将Rosen梯度投影法自然地推广到非线性约束情况,算法仍然非闭,证明了收敛性。证明的实质是从局部点态性质出发,得到一介全局收敛性的结论。     

单循赛赛程安排公平性问题的数学模型

探讨了n支球队在同一块场地上进行单循环赛时赛程安排的公平性问题．提出了公平性的2个评价指标：各队相邻两场比赛间最小间隔场次数mn和最大间隔场次数Mn．证明了mn的上限为[(n-3)／2]，并且当mn取到上限时，Mn的下限为[(n-1)／2]；提出了mn取到上限且Mn取到下限的赛程表构造法，并证明了此法的正确性；最后用构造法列举出n=5，6的赛程表．     

lnp空间中单位球迷向常数的极值问题

寻找凸体迷向常数的一致(与空间维数无关)上界是Banach空间局部理论中著名的公开问题.对于lⁿ_p空间中单位球,作为1-无条件体的特例,其迷向常数一致上界的存在性是已知的.根据其已知迷向常数的解析表达式,利用动态优化的方法给出其精确的上、下界和处极值时相对应的几何体;再利用凸体迷向常数与超平面截片的等价性给出了一个对其中心截片极值问题的应用.     

A short note on the approximability of the single machine scheduling problem to minimize makespan with fixed jobs and precedence constraints

研究关于有固定工件序约束的单机最小化最大流程排序问题模型.在该模型中,有些固定工件已事先安排好,其余的自由工件之间的加工顺序满足给定的序约束.工件之间不允许抢先中断,在同一时间,机器最多只能加工一个工件.其目标是使得最大流程达到最小.该问题即使是对没有序约束的特殊情形也已被证明是NP-困难的.给出了该问题的一个线性时间的2-近似算法,并且证明了除非P=NP,对任意的δ>0,该问题甚至没有拟多项式时间的(2-δ)-近似算法.     

卸荷裂隙岩体线弹性阶段的广义变分问题

阐述了卸荷裂隙岩体线弹性阶段本构关系及弹性问题的基本方程,运用弹性问题基本方程中的控制方程和边界条件构造卸荷裂隙岩体线弹性阶段的变分问题.构造卸荷裂隙岩体线弹性阶段的变分问题事先构造了一个适当的最小位能泛函,在最小位能泛函中引入两个待定的拉氏乘子λij和λi,把变分约束条件吸收到泛函中去,从而建立卸荷裂隙岩体线弹性阶段的新泛函.然后将新泛函中的εij、μi、λij、λi作为独立变量,同时考虑新泛函的变分驻值条件识别待定拉氏乘子λij、λz,最后证明卸荷裂隙岩体线弹性阶段双变量的广义变分原理.