带对流的稳态Stefan问题的有限元逼近

关于带有对流情形的稳态Stefan问题,其中假设液相部分的流动由Stokes方程确定,Canon,DiBennedetto,Knightly曾作过理论研究.本文将讨论其有限元逼近问题,并且得到了在合理正则性假设下的误差估计.     

莫比乌斯与反演问题

 去年,英国“自然”杂志“新闻与评介”专栏登载约翰·麦道克司(John Maddox)文章,对我国学者陈难先教授应用数论中莫比乌斯定理证明物理上的反演问题,作了高度评价.现请中科院化冶所赫彤同志译述如下,以飨读者.     

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…