REGULAR RELATIONS AND MONOTONE NORMAL ORDERED SPACES

In this paper the classical theorem of Zareckii about regular relations is generalized and an intrinsic characterization of regularity is obtained. Based on the generalized Zareckii theorem and the intrinsic characterization of regularity, the authors give a characterization of monotone normality of ordered spaces. A new proof of the Urysohn-Nachbin lemma is presented which is quite different from the classical one.     

最大度为6的极大外平面图的完备色数

证明了最大度为６的极大外平面图的完备色数为７。     

真值维护系统的语义研究

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

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

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

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

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

关于2—因指数群

如果有限群Ｇ的每个极大子群的指数和质因子个数都小于或等于ｎ，则称Ｇ为ｎ－因指数群。本文用单群分类定理证明了。     

Banach空间中极大单调算子的一个邻近点算法

设E是Banach空间,T∶E→2E*是极大单调算子,T-10≠ф.令x0∈E,yn=(J λnT)-1xn en,xn 1=J-1(αnJxn (1-αn)Jyn),n0,λn>0,αn∈[0,1],文章研究了{xn}收敛性.     

中国银行间拆借利率扩散模型的极大拟似然估计

本文用极大拟似然估计法估计了中国银行间市场七天拆借利率扩散模型的参数。并用自助法对众多不同的模型进行了广义拟似然比检验。结论表明:中国货币市场利率具有均值回复效应:利率敏感系数γ值为1.421265,对利率水平具有较高敏感性。     

Minimax Theorems Involving Two Functions and Strictly Monotone Transformations of Their Values

Two two-function minimax theorems are proved.The concavity-convexity conditions of the twofunctions involve strictly monotone transformations and mixing of the values of the two functions,and aredescribed by the inequalities as upward and weakly downward conditions.     

向量变分不等式的严格可行性问题

本篇文章首先定义了向量变分不等式的严格可行点概念,其次在假设了映射是强(D)-伪单调的情况下,证明了向量变分不等式解集非空有界与其严格可行点存在的等价性问题,推广了在数量变分不等式上得到的相应结果．