真值维护系统的语义研究

本文研究了带有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原理的不变性条件。在一定条件下得到事件空间中系统的守恒律。并举例说明结果的应用。     

BIN PACKING中γm≤1.20的直接证明

ＢＩＮＰＡＣＫＩＮＧ中γ_ｍ≤１．２０的直接证明刘明堂，越民义（中国科学院应用数学研究所，北京１０００８０）ＡＤＩＲＥＣＴＰＲＯＯＦＯＦＴＨＥＩＮＥＱＵＡＬＩＴＹγ_ｍ≤１．２０ＩＮＭＵＬＴＩＰＲＯＣＥＳＳＯＲＳＣＨＥＤＵＬＩＮＧ￥ＬＩＵＭＩＮＧＴＡＮ...     

半线性抛物型方程初边值问题解的性态

1.引言对于半线性抛物型议程的初边值问题■解的性质有许多作者进行了讨论,设λ_0是-T(D(x)T)所对应的最小特征值,φ(x)为对应的特征函数,则λ_0>0,且可取φ(x)>0,x∈Ω它们是如下问题的解     

高维系统周期解的共振分支

本文利用Liapunov－Schmidt方法获得了高维自治系统在共振情况下决定周期解个数的分支函数，并通过计算分支函数的主项，分析分支函数的零点，研究了具两对共轭特征根的四维系统多个周期解的共振分支问题．     

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

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