最大度为6的极大外平面图的完备色数

证明了最大度为６的极大外平面图的完备色数为７。     

关于一类常微分方程亚纯解的个数的注记

本文讨论微分方程u′=sum from k=0 P_k(z)u~k (1)在某些条件下亚纯解的个数问题。得到定理1、2,它们分别是[1]定理1、2的推广。     

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

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

莫比乌斯与反演问题

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

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

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

角域上的调和函数与条件Brown运动

设中的角域．该文绘出了A上正调和函数的Martin表示，讨论了极小调和函数与条件Brown运动的一个0—1律之间的关系，并给出了A上极小调和函数的表现形式，     

障碍问题的区域分裂法

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

ψ函数的性质和它的应用

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

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

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