真值维护系统的语义研究

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

杨振宁教授荣获富兰克林奖章和鲍威尔奖：杨—米尔斯规范场理论简介

美籍华裔物理学家杨振宁教授，由于他在非阿贝尔规范场理论方面的奠基性工作，荣获富兰春式奖章和１９９５年鲍威尔奖。文章简要介绍非阿贝尔规范场理论及其在物理学发展中的重要地位。     

关于一类常微分方程亚纯解的个数的注记

本文讨论微分方程u′=sum from k=0 P_k(z)u~k (1)在某些条件下亚纯解的个数问题。得到定理1、2,它们分别是[1]定理1、2的推广。     

事件空间中二阶非Четаев型非完整系统的守恒律

研究事件空间中二阶非чeTaeB型非完整系统的守恒律。提出事件空间中的Jourdain原理，引入事件空间中的Jorudain生成元，给出无限小变换下的Jourdain原理的不变性条件。在一定条件下得到事件空间中系统的守恒律。并举例说明结果的应用。     

具有随机窗宽核估计的一致强相合性

设 X_1,…,X_m i.i.d.是取值于 R~n 中的随机向量,X_1 有概率密度 f(x),取正随机变量 H_m(x,ω)=H_m(x,X_2(ω),…,(ω))为随机窗宽,f(x)的核估计与最近邻估计分别如下:f_m(x)=(mH_m~n(x,ω))~(-1)sum from i=1 to m K((X_i-x)/H_m(x,w))f_m(x)=(ma_m~n(x,w))~(-1) sum from i=1 to m K((X_i-x)/a_m(x,w)),m≥1,x∈R~n.假定 K 为 R~n 中有界变差函数,当 f(x)与 K(x)的条件比[1]弱时,我们讨论了 f_m(x)与 f_m(x)的一致强相合性。本文所得随机窗宽的结果与[1]中常数窗宽的结果相同,这些结果也比[2]和[5]中的要好。     

OSCILLATION OF A FORCED SECOND ORDER NONLINEAR EQUATION

ＯＳＣＩＬＬＡＴＩＯＮ ＯＦ Ａ ＦＯＲＣＥＤ ＳＥＣＯＮＤ ＯＲＤＥＲ ＮＯＮＬＩＮＥＡＲ ＥＱＵＡＴＩＯＮ ￥ＫＯＮＧＱＩＮＧＫＡＩ；ＺＨＡＮＧＢＩＮＧＧＥＮＡｂｓｔｒａｃｔ：Ｔｈｉｓｐａｐｅｒｇｉｖｅｓｓｅｖｅｒａｌｃｒｉｔｅｒｉａｏｎｔｈｅｏ...     

随机删失下乘积限过程和累积失效率过程振动模的局部渐近性

在随机删失下研究了乘积限过程和累积失效率过程的振动模的局部性质 .给出了这两个过程的振动模的重对数律 ,并应用这些结果得到了几种核密度估计和Bahadur-Kiefer过程的精确收敛速度     

利用副反应系数和条件稳定常数计算一元弱酸或弱碱溶液的PH值

目前国内外教科书有关弱酸或弱碱性溶液中 pH 值的计算公式,一般是从“物料平衡、电荷平衡、质子平衡”这三大平衡方程式推导而来的(即“代数法”),其优点是推导过程严谨,人们易于接受,但其精确计算公式复杂,在具体计算时往往需要进行一系列的简化,且这些简化过程对于初学者来说,难于掌握。A.林邦指出“酸和碱可视为络合物”。因为许多能与金属离子结合的配位体,也能与氨离子相结合,那么可以把酸类物质认为是氢络合物;而水