真值维护系统的语义研究

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

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

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

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

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

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

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

平面2n+1次系统极限环的唯一性

讨论了微分方程组 dx/dt=-y(1 -ax2 n) +bx-cx2 n+ 1,dy/dt=x(1 -ax2 n) ,并且给出了其极限环存在唯一的条件 .     

溶胶—凝胶法制备SiO2基片Er^3＋：Al2O3光学薄膜

用溶胶—凝胶法在SiO2基片上提拉制备了掺Er^3 ：Al2O3光学薄膜。采用扫描电子显微镜、原子力显微镜、差热—热重分析仪、X射线衍射仪研究了掺Er^3 ：Al2O3光学薄膜的肜貌和结构特性。在900℃烧结后，SiO2基片上提拉15次形成厚度8μm掺摩尔比0．01Er^3 的面心立方结构γ-Al2O3薄膜具有明显(110)择优取向，掺摩尔比0．01Er^3 对γ—Al2O3的品体结构和结晶生长过程木产生显著影响。薄膜具有均匀多孔结构，平均粒径为30～100nm，平均孔径为50～100nm，表面起伏度为10～20nm。掺摩尔比0．01Er^3 ：rAl2O3薄膜，获得了中心波长为1．534μm(半峰全宽为36nm)的光敛发光谱。