BIN PACKING中γm≤1.20的直接证明

ＢＩＮＰＡＣＫＩＮＧ中γ_ｍ≤１．２０的直接证明刘明堂，越民义（中国科学院应用数学研究所，北京１０００８０）ＡＤＩＲＥＣＴＰＲＯＯＦＯＦＴＨＥＩＮＥＱＵＡＬＩＴＹγ_ｍ≤１．２０ＩＮＭＵＬＴＩＰＲＯＣＥＳＳＯＲＳＣＨＥＤＵＬＩＮＧ￥ＬＩＵＭＩＮＧＴＡＮ...     

一种市内邮件转运问题的模型与算法

邮件转运是邮政局的一项日常工作．本文提出了一种市内邮件转运问题的数学模型，并构造了这个问题的一种列生成算法．市内邮件转运问题与一般带时间窗口车辆路线问题（VRPTW）的不同之处在于，前者车辆到达客户的时刻即是对该客户开始服务的时刻．     

半正定矩阵及矩阵方程AX=B的反问题

文从研究一类控制系统的实际背景提出对已知实向量x,b求满足Ax=b的对称正定阵A的一类反问题。文[2]与[3]研究了上述反问题在对称正定类、正定类中有解的充要条件及解的一般形式。本文讨论复矩阵方程 AX=B(1)(X,B为m×n阵,A为m×m阵)在半正定、正定、H半正定、H正定类中反问题有解的充要条件及其解集的一般形式。如无特别申明,本文总考虑复矩阵和复向量,其共轭转置用“*”表     

障碍问题的区域分裂法

区域分裂法是近年来为适应平行机计算而新崛起的偏微分方程数值解法,它的基本思想就是将一大型问题转化为一系列小型计算问题的求解过程。本文将讨论下列障碍问题的区域分裂法:     

ψ函数的性质和它的应用

拟牛顿法是无约束优化问题中应用最广、理论上也最为成熟的方法之一.七十年代是其应用和理论发展最快的时期,在众多的算法之中,Broyden族又是最著名的,其收敛性质一直是无约束问题的热点.     

非线性最优化的广义梯度投影法

梯度投影法已有许多有效算法,但这些算法还存在三个问题:1)为了保证算法的收敛性,在算法的每一迭代步,需要选取δ-主动约束集,计算量较大.2)在迭代过程中,需要跟踪主动约束集.3)只能处理非线性不等式约束问题.本文讨论非线性等式与不等式约束的优化问题,给出了一个广义梯度投影法,证明了算法的收敛性并且完满地解决了上述三个问题.本文算法结构简单且其处理技巧有普遍意义.     

打折问题

假期带学生进行社会调查 ,发现了一个现象 :正值换季 ,商场为了促销推出了一系列优惠活动 ,有的商场打折 ,如 8.5折 ;有的采用满一定金额送购物券的形式 ,如满 2 0 0送4 0 .经观察发现 ,同样品牌的同种商品在各商场的原售价是相同的 .该进哪家店消费才合算呢 ?我们可以建立一个简单的数学模型来解决 .不妨设打 8.5折的商场为甲 ,满 2 0 0送4 0的商场为乙 .假设计划消费都为x(x >0 )元 ,在甲商场的实际消费为 y1元 ,在乙商场的实际消费为 y2 元 ,则可得函数关系式 :y1=0 .85x ,y2 =x ,　　　　x <2 0 0 ;x - 40 ,　　2 0 0≤x <4 0 0 ;x - 80…     

一类特殊二维0-1规划的广义指派模型求解

二维0-1整数规划模型应用广泛,对广义指派问题的研究,解决了一些二维0-1整数规划问题.但有些实际问题具有特殊上限约束,目前还没有对应的方法.针对该实际情形,本文建立了相应的数学模型,利用对指派模型的推广,求得问题最优解,从理论上解决了这一类特殊约束二维0-1整数规划的最优解求取问题.并通过算例说明了方法的使用.     

求解P0函数互补问题的一种微分方程方法

本针对P0函数互补问题，给出了一种微方程方法，并且证明了P0函数互补问题的解是微分方程系统的渐进稳定平衡点。在适当的假设条件下，证明了所给出的算法具有二次收敛速度。几个数值例子表明了该算法的有效性。     

用“虚满”法处理一类概率问题

求“达到某种要求就结束”的问题的概率时，由于结束的情况不一样，常没有统一性，要分别考虑，比较麻烦，也容易“重”或“漏”．若用“虚满”法：即达到某种要求，还“虚拟”地继续下去，到最后再求它的概率，往往有统一性，这样处理常常简明快捷．