数列最优成组剖分的一个近似算法

一、问题的提出及定义根据铁路运输中列车的编组问题,文献[2]提出了有限数列的最优成组剖分问题,文献[3]解决了文献[2]中提出的顺序子序列的计数问题,文献[4]给出了最优拟顺序成组剖分的一个多项式算法。设S是一个有限数列     

局部Lipschitz条件下随机微分方程解的稳定性定理

文献[1]在Lipschitz条件下讨论了随机微分方程X=Φ(X)+F(X)·M (*)解的存在唯一性和稳定性。文献[2]减弱了此方程解存在唯一的条件,推广了文献[1]的结果。本文主要讨论在文献[2]中较弱条件下方程唯一解的稳定性。     

关于判定问题的两个注记

1.在文献中Castaneda对Lewis模态命题演算S5证明了一条定理。此定理表明演算S5具有有穷模型性质,从而由之可推出S5的可判定性。略早于文献[1]时,著者在文献[2]中对于演算(?)_ε得到一条类似的定理,即文献[2]中的定理6。这里应指出,Castaneda在文献[1]中的定理和文献[2]中的定理6实质上是等价的。这里先对文献[2]中有关部分作一些修正。文献[2]的定理6陈述中的“B_0~()”应改为“B_0~(<2n>)”;相应地,该定理证明中     

关于SBK算子对有界变差函数的点态逼近度

一、引言Cheng在文献[1]中研究了Bernstein算子■其中对有界变差函数的点态逼近度。Sikkema在文献[2]中引入算子(也可见文献[3]p.173)     

关于两参数Markov过程的强芽Markov性

本文把文献[1]所定义的关于单参数Markov过程强芽Markov性的概念移植到两参数Markov过程(即文献[2]中的~*-Markov过程)中,并得到了~*-Markov过程关于停线的两种强芽Markov性.同时,也证明了~*-Markov过程具有文献[3]意义下的强Markov性,且更具普遍性。此外,在文献[4]的基础上,证明了两参数Markov过程关于平面上任何开集具有芽Markov性,从而得到了文献[2]所希望的结果。     

无界域上的Poincaré型的不等式与强非线性变分问题

本文建立了无界域上Sobolev空间_p~1(Ω)和Sobolev-Orlicz空间~1E_P(φ;Ω)中的Poincaré型的不等式,并且把文献[1]的工作推广到了无界区域上,减弱了文献[1]的限制性条件。本文采用文献[1]和[2]的记号。     

条件参数对锥形模超塑挤压的影响

一、前言 超塑挤压成形技术在应用中提出一系列问题,要求力学理论予以普遍性的解答和规律性的揩导,关于条件参数对挤压的影响就是其中主要问题之一。文献[1]曾根据“锥形模超塑性挤压的理论解析”探讨了锥形模超塑挤压的工艺规范,文献[2]根据文献[1,3]的结论分析了条件系数对挤压参量的影响.由于文献[3]求得的只是应力平衡微分方程的特解,所以文献[2]的分析不具普遍性。     

关于随机集积分序列的收敛定理

文献[1]中给出了随机集序列的各种收敛性,本文在此基础上推广了文献[2]中关于随机集积分序列的收敛定理。     

奇异型随机控制中的折扣费用及平稳问题

关于奇异类随机控制问题,已有很多文章进行研究,比如文献[1,2]等,而从某种意义上说文献[2]中的陈述较之以前的文献更为一般,关于文献[2]中两类模型(折扣费用模型及平稳模型)具体描述如下:     

三维FDS非线性波动方程初值问题的整体解

一 在文献[1]中提出了一类由数量场形成的三维孤立于问题,指出了这类非拓扑性孤立子解存在的必要条件,建立了依量子力学稳定性的一般定理,并对特殊问题给出了数值结果。在文献[2]中将此问题推广到具有非Abel内部对称性的情况。正如在文献[3]中指出,文献[1]中研究的方程组为     

关于Liénard方程存在极限环的条件

讨论Liénard方程 f(x) g(x)=0或其等价方程组■存在极限环的条件已经很多,其中以条件及条件(可参看文献[3])引用最广。普遍认为文献[1]的条件似乎是最少的。本文提出了一组新的条件,在外境界上推广了文献[2]的条件,而又与文献[1]的条件互相独立。在内境界上,提法上已较文献[1]     

带时滞的非线性自动调节系统的非定常运动稳定性

在文献[1,2]中曾研究过非线性自动调节系统定常和非定常运动的稳定段之界的确定问题;文献[3]研究了带时滞的非线性自动调节系统定常运动的稳定段之界的确定问题,最近,我们利用文献[4]的方法,又改进了文献[2]的研究,本文将讨论带时滞的非线性自动调节系统的非定常运动的稳定段之界的确定问题。     

包含S_2流面变量的旋转叶轮三维流动变分原理及界限定理

把文献[1]的流场定义域改为(符号按文献[1])在两个周期的S_2流面之间并内含一个叶栅,并把S_2取为变量.在文献[1]基础上得到     

量词模态系统的代数语义与Kripke语义——关于S5~*情形

已故模态逻辑专家Lemmon在文献[1]和文献[2]中研究了一系列命题模态逻辑系统的代数语义与Kripke语义及其相互可转化性。他还在文献[1]中表示要用第三篇文章来讨论量词模态系统的相应问题;可惜该文未问世,Lemmon便溘然长逝了。在本文中我们对带量词的S5即S5~*而言讨论了两种语义的相互可转化性。S5~*在作者文献[3]和文献[4]中用S_5~*     

Horn集上RUE-NRF推理规则下的输入半锁反驳

文献[1]提出了Horn集上输入半锁归结原理,文献[2]则把文献[1]的结论推广到了含有等词的Horn集上。文献[3]提出了处理等词的RUE-NRF推理规则。它的特点是把等词的自反性,可传性以及替换性包括在这一推理规则之中,从而在整个定理反驳证明过程中不再出现任何等词公理。文献[3]证明了这一规则的正确性和完备性,并用布尔代数,群论和环论等十七个定理在计算     

含有反常质子的反常中子星

在文献[1]和[2]中,我们已经论证了可能存在两类中子星——由正常中子物态构成的正常中子星和由反常中子物态构成的反常中子星。文献[1]和[2]用的都是均匀星体模型近似。文献[3]讨论了非均匀星体模型,也得到了同样的结论。 按照李政道等所提出的反常核态理论,自然界可能存在一种强作用的同位标量O~ 介子,它与核子间的耦合相当于将核子的静止质量由m_n换成     

关于引力规范理论中带电质点的外解

最近,文献[1]证明了在引力规范理论中对于带电粒子的场不存在无挠的球对称静态解。文中使用了与文献[2]类似的证明方法,即使用了附加的无穷远处的边界条件:假定曲率张量在无穷远处趋于零(渐近平直空间)。但是,实际上这个附加条件是不必要的。文献[1]和文献     

强主元稀疏阵的近似求逆

如何用较少的计算量得到高精度的近似逆矩阵,是数值计算的重要问题。文献[1]给出了对称三对角阵的近似求逆法。文献[2]进一步给出了对称五对角阵的近似求逆法。文献[1]和[2]的方法只适用于对称的对角优势阵,且难以向多对角阵的情形推广。文献[3]将求逆化成级数展开,并应用于椭圆型方程数值解的计算。级数展开法是向量化算法,但其计算量较大。本文应用文献[4]和[5]提出的矩阵元素阶的概念,在消去法计算中进行高阶截断,给出强主元稀疏阵的近似求逆法。在强主元条件下,该法适用于任意稀疏结构的矩阵。     

比较偶图能量的两个定理

以一定方式给某些图一个偏序是人们常常研究的课题。文献[1]研究了某些图依支撑树数排序,文献[2]研究了依匹配多少排序,文献[3]研究了树依能量排序。此类问题不仅在理论上且在实际上有价值。如对图能量的研究在化学上可比较异构物的稳定性。     

多元有界变差函数及其富里埃级数的球形求和

一、引言本文研究多元有界变差函数的Fourier级数的球形求和问题,旨在使用作者在文献[1]中的某些结果以改进的主要定理。在文献[2]中曾引入所谓多元广义有界变差函数的概念,并建立了有关广义有界变差函数之Fourier级数Riesz球形平均(临界阶)的收敛定理。文献[2]的定义如下: