基于第二类Chebyshev多项式零点的Pal-型插值多项式的逼近

设{x_k}_(k-0)~n是n 1次多项式U_n(x)=(1-x~2)U_n(x)的零点,其中U_n(x)是第二类Chebyshev多项式。设是的零点。根据Pal的插值理论,对函数f∈C~1[-1,1],存在唯一的2n 1次多项式满足条件: 本文研究用Pal型插值多项式对函数f∈C~r[-1,1](r≥1)和它的导函数的逼近。     

真值维护系统的语义研究

本文研究了带有CP(Conditional Proof)验证式 TMS(Truth Maintenance System)理论的形式语义,证明了TMS理论J转换为新理论J*后,原指称的有效性;讨论了U. Junker和Kurt Konolige所定义的不带CP验证式 TMS理论的扩充在我们的语义模型中的有效性。此外,本文还讨论了CP验证式的一些性质,结论是:CP验证式和非单调可证明性、逻辑真有着密切的关系。     

一类混合单调算子的不动点定理及其应用

本文对一类重要的混合单调算子证明了不动点的存在、唯一与逼近定理，并应用于研究动态规划中泛函方程的正解问题．     

CONVERGENCE ON RANDOMLY TRIMMED SUMS WITH A DEPENDENT SAMPLE

§１．ＩｎｔｒｏｄｕｃｔｉｏｎａｎｄＲｅｓｕｌｔｓＬｅｔ｛Ｘｎ，ｎ１｝ｂｅａｓｅｑｕｅｎｃｅｏｆｒａｎｄｏｍｖａｒｉａｂｌｅｓｗｉｔｈａｃｏｍｍｏｎｄｉｓｔｒｉｂｕｔｉｏｎｆｕｎｃｔｉｏｎＦ（ｘ）ａｎｄｌｅｔＸｎ１Ｘｎ２…Ｘｎｎｂｅｔｈｅｏｒ...     

CLIFFORD MARTINGALES Φ-EQUIVALENCE BETWEEN S（f） AND f^＊

ＣＬＩＦＦＯＲＤＭＡＲＴＩＮＧＡＬＥＳΦ－ＥＱＵＩＶＡＬＥＮＣＥＢＥＴＷＥＥＮＳ（ｆ）ＡＮＤｆ￥ＬＯＮＧＲＵＬＩＮ；ＱＩＡＮＴＡＯ（ＩｎｓｔｉｔｕｔｅｏｆＭａｔｈｅｍａｔｉｃｓ，ＡｃａｄｅｍｉａＳｉｎｉｃａ，Ｂｅｉｊｉｎｇ１０００８０，Ｃｈｉｎａ．）...     

关于CVD 矩阵的n- 宽度

本文证明了d_2k =δ_2k =d^2k ≥b_2k，其中d_2k ,δ_2k , b_2k分别表示Ａ（Ｂｌ^M_p）在ｌ^N_q下的Ｋｏｌｍｏｇｏｒｏｖ，线性，Ｂｅｒｎｓｔｅｉｎ ２ｋ－宽度，ｄ^2k 表示Ａ^Ｔ（Ｂｌ^N相似文献   

一种新的$1/f$过程小波模型

给出了一种新的二进小波1/f过程模型,从理论上证明了一类谱指数为H的近似1/f过程可通过一簇平稳随机过程产生.由于所提方法利用了1/f过程小波系数的相关性,因而有效地减少了合成1/f过程的谱误差.数值实验结果表明,新模型很好地改进了已有模型.     

既不离散也不连续的随机变量

讨论了既不离散也不连续的随机变量 ,并纠正了有关文献中关于连续型随机变量定义中的错误 .     

升降法确定的疲劳强度估计量的统计特性

当疲劳强度服从正态分布N(μ,σ2)时,文[11]给出了,在特定条件下,Sri=1/2(Si+Si+1)是疲劳强度均值μ的极大似然估计的证明,笔者认为该证明值得商榷.本文将特定条件推广到一般条件,得到了新的结论当疲劳强度服从任何给定的标准差的正态分布N(μ,σ02)时,在一般条件下,Sri=1/2(Si+Si+1)是疲劳强度均值μ的极大似然估计.并给出了严格的证明.     

混合指数更新模型下平均折现惩罚函数

本文讨论了以混合指数分布为点间间距的更新风险模型下平均折现惩罚函数, 在简单条件下, 利用Dickson and Hipp (2001)中引入的变换方法, 得到了平均折现惩罚函数的Laplace变换的精确表达式.