Salzer定理的二元向量形式

本文将在切触有理插值中起重要作用的Salzer定理推广到了多元向量的情形.     

一类多元Gauss-Weierstrass 算子线性组合的加权Lp-逼近

本文研究一类多元Gauss-Weierstrass算子的线性组合加Jacobi型权逼近的性质,利用加权矩量不等式及加权K-泛函、光滑模等工具,建立了这类算子在Lp(1≤p≤∞)空间的正、逆定理和逼近阶的特征刻划.     

多元线性回归应用于近代物理实验

本文介绍非线性方程转化直线性方程和多元线性回归法来分析近代物理实验中塞曼效应分裂干涉圆环多处选点测量的处理过程。     

多元函数中两个概念的定义方法

对于多元函数的连续性以及曲面的切平面的定义方法提出了看法。     

二元三次一阶光滑的分片多项式样条函数

一元样条大致从以下三个方向上发展起来的:一元截断多项式样条;一元B-样条;一元分片多项式样条。二元样条的研究已取得了不少进展,文[2]可视为一元截断多项式样条向二元截断多项式样条推广的奠基性的工作,文[3]又讨论了二元B样条的构造方面的进展,但一元分片多项式样条的构造方法如何推广到二元样条上来,几乎没有见到什么工作。我们曾在文[4]中作过一点努力,但那是讨论二元二     

同输入M/M/∞排队群的联合队长过程

本提出一个偏微分方程方法，用这一方法研究同输入M/M／∞排队群中的联合队长分布。在任意初始条件下，给出了瞬时联合队长分布的多元母函数，也讨论了稳态队长的联合分布及各排队系统之间的相关性。     

多元函数总体极小的双参数广义填充函数法

1 广义填充函数的一般方法 设函数F:R~n→R二阶连续可微,我们的目的是求出x~0∈R~n,使不等式对一切x∈R~n成立,也就是求解函数F的总体极小。 为了求F的总体极小,葛人溥引进了双参数填充函数法,这一方法是有意义的,在[1]中填充函数形式为:     

多元χ演算运行时错误的不可判定性

针对多元χ演算运行时刻通信安全的判定性问题进行了研究．通过从Lazyλ项到χ项的编码，将判定一个Lazyλ项是否有范式的问题归约为进程是否有通信错误的问题．证明了在多元χ演算中，通讯错误也是不可判定的．结论说明不存在算法直接来检测进程的通信安全性，而只有通过其他间接的手段(如构造类型系统)才能部分达到预防运行时错误的目的．