超尺寸物品装箱问题及其算法

本文探讨一类新装箱问题-超尺寸物品装箱问题。针对实际解决该问题的两涉法，我们提出了一个评价效率更高的目标函数，证明了在此目标函数下两步法的渐近最坏比不小于2，并给出了渐近量坏比与拆分次数的关系。最后本文提出了一种不同于两步法的新在线算法MA，证明了在新目标函数下其渐近最坏比不超过7/4。     

一类广义Schrdinger算子的自伴性与本质谱

本文在一类 Ｌｐ位势Ｖ（ｘ）下建立了广义Ｓｃｈｒｏｄｉｎｇｅｒ算子Ｈ＝（－Δ）ｍ＋Ｖ（ｘ）在Ｃ∞０（Ｒｎ）上的本质自伴性，给出了Ｈ的本质谱的分布．     

Q过程的不变分布(Ⅱ)

设E为一个可数集,Q=（qi,j;i,j∈E）为E×E上的矩阵,满足m为E上的概率分布满足何时存在Q过程,使得m是它的不变分布? 这个问题由Williams（1979）作为一个开问题提出.文[15]对全稳定情形,解决了这个问题;本文对单瞬时情形,完整地解决了该问题.     

蕴涵代数与BCK代数

系统研究 Fuzzy蕴涵代数与 BCK代数之间的关系 ,给出 MV代数与 BCK代数之间的联系 ,建立正则 FI代数和对合 BCK代数的对偶代数     

凸域内单叶函数的导数

设函数f（w）为凸区域D内的单叶解析函数,对于2≤n≤8和所有w∈D,本文得到估计式|f（n）（w）/f＇（w）|的精确上界.这个结果推广了一些已知的结论.     

平面分拆的矢量控制方法：列严格梯形平面分拆

作为移位平面分拆的自然拓广,本文引入了梯形平面分拆的概念.应用矢量控制技巧,建立了给定形状和行(列)分部约束的列严格梯形平面分拆集合之枚举函数的初等对称函数行列式表达式.其中之一的重要特例构成了关于循环对称平面分拆的Macdonald猜想的证明基础.     

拟线性波动方程耦合组Cauchy问题的整体解存在定理

对于相对场相互作用系统〔‘l口切=F(切,吵,刀p,D必口砂=G(切,劝,刀甲,D妇t二0:(甲,叻)“(蜜:,舀2),(沪‘,功.)二(叮:,斤2)声..t‘苦.t 、产 ︸l 了、其中场变量伽,初为(t,x)任R+xR”的未知函数,F、G、古:、条、粉:、刀:为已知函数,口=a‘一△,D=(J.,a二:,…,a二。),有 定理若存在常数v。>o,使当1入】(v。时,)F{二o(囚’‘,),【Gl=o(囚.”),入==(入。,入:,…,入。,#。,拼,,…,拼,),F、G〔C’(R,,+舍),且八>2(a+1)la,a》z,对于任何正整数50>。/2(a+i)+i及s》〔an/(a+1)〕+s。+1,存在d>o,E>o,使当君:、么〔H,+’(R”)门研.+’,,“+”…     

Ⅱ型三角剖分上二次双周期样条

本文用B-网方法确定了△_(nm)~((2))剖分上二次双周期样条函数空间的维数,给出了插值条件的几种提法,证明了解的存在唯一性.     

M.K.D.V方程高阶全离散Galerkin有限元格式

本文用对角隐式Runge-Kutta方法(D.I.R.K),对M.K.D.V.方程在时间方向离散,采用增加扰动项的办法,得到了L~2模意义下时间方向具有三阶精度的格式。数值实例表明,其精度比无拢动项及C-N格式好。还证明了收敛性和稳定性,用Newton迭代法求解非线性方程组,并证明选取适当的初始值,Newton迭代仅需一步完成。