BAHADUR ASYMPTOTIC EFFICIENCY IN A SEMIPARAMETRIC REGRESSION MODEL

ＢＡＨＡＤＵＲＡＳＹＭＰＴＯＴＩＣＥＦＦＩＣＩＥＮＣＹＩＮＡＳＥＭＩＰＡＲＡＭＥＴＲＩＣＲＥＧＲＥＳＳＩＯＮＭＯＤＥＬ￥ＬＩＡＮＧＨＵＡ；ＣＨＥＮＧＰＩＮＧＡｂｓｔｒａｃｔ：ＴｈｅａｕｔｈｏｒＳｇｉｖｅＭＬＥθ１ＭＬｏｆθ１ｉｎｔｈｅｍｏｄｅｌＹ＝θ...     

真值维护系统的语义研究

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

有限元结构分析在MIMD计算机上的并行直接解法

§1.前言 并行计算是近十几年来随着并行计算机发展而发展起来的一门新兴学科,特别是对于多指令流多数据流(MIMD)的并行计算机,由于它是由多台普通计算机甚至是向量计算机相互以一定方式联结起来的新型计算机系统,因此无论是它的运算速度或存贮空     

类双线性系统的稳定性

本文综合利用ＬｙａｐｕｎｏｖＶ－函数，ＬａＳａｌｌｅ不变性原理和构造正向不变集的方法，讨论了二维齐次状态双线性系统（１）的全局Ｌｙａｐｕｎｏｖ渐近稳定性，发展了文［１］［２］的结果。     

关于非齐次m阶马氏信源的渐近均分割性

本文研究非齐次m阶马氏信源的渐近均分割性，首先我们得到关于此种信源m 1元函数的一类强极限定理，作为推论，得到关于任意非齐次m阶马氏信源状态和熵密度的几个极限定理，最后得到一类非齐次m阶马氏信源的渐近均分割性。     

电机工程中一类非线性振动方程的渐近分布

本文采用文［１］中提出的修正的Крылов－Боголюбов方法，研究电机工程中一类非线性振动方程，定量地给出了存在极限环的参数范围以及极限环的振幅，并判定该极限环是不稳定的，这些结果与已知的定性分析结果完全一致，从而进一步证实了上述渐近方法的有效性。     

一堂物理课

 我是一位中学教师,我深爱《现代物理知识》,在讲授《卢瑟福核式结构》一课时,我向同学们言简意赅地介绍了那上面的一篇文章:《原子核壳模型发现前后》.当我讲述卢瑟福提出有效模型是怎样成功地解释盖革与马斯顿的实验结果时,同学们顿时活跃起来,纷纷想一展身手,体验一次科学发明的过程.然而,物理上的每一个发现,都是科学家凭借坚实的理论基础和实验事实而获得的.在教师的指导下,同学们通过阅读教材,得出了如下结论:“如果是枣糕式模型,α粒子穿过原子内部时,它受到原子内两侧的斥力相互抵消,使α粒子偏转不会很大”.     

具常数存放的非线性功能反应捕食模型的定性分析

研究一类食饵具常数存放且功能反应函数为次线性函数的食饵-捕食者模型,获得了一些平衡点全局渐近稳定,极限环存在惟一的充分条件.利用数值仿真检验了我们的结论.     

第三类Painlevé方程(δ=0或γ=0)解的渐近性态

对带有一般实参数第三类Painlevé方程,已有γ<0,δ>0时,解的有界性以及振荡渐近解的表达形式的结论.在本文中,我们给出当δ=0或γ=0时其振荡渐近解的表达形式.