一个新的比较定理及其应用

证明了一个微分不等式－比较定理,将结果应用到一阶微分方程周期边值问题解的存在性证明中。所得结果与已有结论＾「２,６」是互不包含的。     

二元矩阵值分叉连分式插值的矩阵算法

本文给出了一个计算二元矩阵分叉连分式插值的系数算法以及与此算法等价的矩阵算法,这种算法是用矩阵广义逆意义下定义的矩阵行、列初等变换而给出的．     

一种新的分析和检查需求模型

由于ＳＣＲ是较实用的定义软件系统需求的方法,以此方法为基础,提出一个形式化的分析和检查需求的模型。此分析和检查模型主要根据综合知识表示模型的一些基本原理,使用状态转换规则、语义计算规则和属性来形式化地描述ＳＣＲ中表格符号的语义,并通过执行规则来自动分析由ＳＣＲ定义的需求。为便于理解,给出了一个简单的实例来介绍如何分析和检查基于ＳＣＲ的需求的一致性和完整性。     

广义块Pick型矩阵和带导数的Nevanlinna-Pick矩阵插值问题

建立了广义块Pick型矩阵和块Toeplitz矩阵之间的一种等价关系,并将其用于求解一类带导数的Nevanlinna-Pick矩阵插值问题     

应用区间套法求解填充丝加热状态方程

热丝填充埋弧焊是在传统埋弧焊基础上发展起来的一种优质,高效,节能的焊接新工艺,在该工艺中,填充丝的加热状态十分重要,本文介绍了应用区间套法求解填充丝加热状态方程的思路,并给出计算结果和应用实例。     

关于亚纯函数的导函数的唯一性

得到了关于亚纯函数的导函数唯一性的ＩＭ四值定理。     

B值随机场的收敛性与B空间的型

讨论多指标Ｂ值随机变量族（Ｘｎ,ｎ∈Ｎ＾ｄ）在ｌｉｎｘ＾ｐｘ→∞ｓｕｐ│ｎ│＾－∑ｋ≤ｎＰ（‖Ｘｋ‖≥ｘ）＝０等条件下的收敛性,当０〈ｐ〈１时,得到了任意随机变量族的弱收敛性和敛速度的一般结果。当１〈ｐ〈２时,揭示了零均值独立随机变量的族的弱收敛性,收敛速度与Ｂａｎａｃｈ空间几何性质的关系。     

多值函数新论

不考虑连续性的多值运算和考虑连续性的多值函数之间虽有很密切的关系,但两者并不相同,前者虽用处较少但不能省略也不能用后者替代。庑讨论多值运算的相等性及其叠合,其单值及主值支,纠正人们认为在复变元情况不能规定主值的说法。     

包含区间边界上的奇异值

引入“双向ＳＣ性质”的概念;对于具有双向ＳＣ性质的矩阵Ａ,论证了以下事实：若Ａ的奇异值σ位于Ｇｅｒｓｃｈｇｏｒｉｎ型包含区间的边界上,则σ必位于每一个Ｇｅｒｓｃｈｇｏｒｉｎ型区间的端点上．     

奇异值估计的Brauer型定理

设Ａ＝（ａｉｊ）为ｎ阶复矩阵．记ｓｉ＝ｍａｘ∑ｊ≠ｉ｜ａｉｊ｜,∑ｊ≠ｉ｜ａｊｉ｜｛｝,ａｉ＝｜ａｉ｜（ｉ＝１,２,…,ｎ）．证明了Ａ的奇异值均属于Ｂｒａｕｅｒ型并集∪ｉ≠ｊｚ≥０：｜ｚ－ａｉ｜｜ｚ－ａｊ｜≤ｓｉｓｊ｛｝,并给出了该并集的显式表达及数值例子．