工件带安装时间平行机排序问题的列生成算法

研究了工件带与加工次序有关的安装时间的平行机排序问题，给出它的整数规划模型，并结合动态规划和分支定界方法，给出它的列生成算法．通过试验表明：算法对中等规模的问题是有效的，它可以计算到10台机器和60个工件甚至含有更多大工件的大规模问题．     

一类刚性系统基于线性多步法的并行计算方法

针对一类分解的刚性系统,提出了一类并行组合方法.该方法将系统分割与方法分割的并行化方法相结合,采用显式线性多步方法求解非刚性子系统,采用隐式线性多步方法求解刚性子系统.讨论了方法的相容阶、收敛性和数值稳定性.数值试验结果表明,该方法对于求解分解的刚性系统是可行的.     

方程(axm+1)/(ax+1)=yn的正整数解

设a,m是大于1的正整数,证明:当m>2,方程(axm 1)/(ax 1)=yn仅有有限多组解(x,y,n)适合min(x,y,n)>1,而且这些解都满足yn相似文献   

一类退化反应扩散方程组解的整体存在性与有限爆破问题

研究一类非局部退化反应扩散方程组初边值问题.利用上下解方法,通过精细的分析,得到了解整体存在和爆破的条件.     

二阶微分方程三点边值问题的可解性

考虑如下3点边值问题:u″=f(t,u,u′)+e(t)u(0)=0,u(1)=αu(η)其中:f:[0,1]×R2→R连续,e(t)∈C[0,1],η∈(0,1),α为任意的常数.通过对一族边值问题解的先验估计,利用Leray-Shauder连续性定理,得到解的存在性.     

不可约符号矩阵的广义基指数的上界的可达性证明

给出了本原符号矩阵的广义基指数达到最大值时的极矩阵刻画,并证明了邵、尤给出的非本原不可约符号矩阵的广义基指数的上界是最好的.     

一类可分离的非线性0-1背包问题的分枝定界算法

构造出了一类可分离非线性0-1背包问题的分枝定界算法．分枝的过程是酱通的0-1变量分枝，用简单的取整启发式法确定更好的可行解；而在每个分枝结点处用线性松弛技术确定了它的子问题的一个线性规划松弛逼近。由此得到最优值的一个下界．数值结果表明所提出的算法是有效的．可以求解中等规模的问题．     

L-凸空间中的Ky Fan极大极小不等式及其应用

在较弱的条件下证明了L-凸空间中的Ky Fan极大极小不等式，并给出其等价形式．作为应用，得出了L-凸空间中的鞍点定理。     

关于用迹表示的实矩阵的特征值的虚部的界

给出了一些用矩阵的迹表示的实矩阵的特征值的虚部的界，所得的结果推广和改进了已有文献的相应结论。     

广义粗糙集理论的公理化注记

首先回顾了粗糙集理论的代数表示,给出代数表示与公理化算子的相互关系.特别地,给出了广义粗糙集模型的公理化等价表示.