Lagrange方程在非惯性参考系中的表达形式

本文给出了完整定常系统在非惯性参考系的Ｌａｇｒａｎｇｅ方程，并举例说明了该表达式的应用。     

关于P（△）的强端点的性质

本文首先引进了单位园△上算子值解析函数族：Ｐ（△）＝｛ｆ（Ｚ），ｆ（Ｚ）＝Ｉ＋Ｂ（Ｉ）Ｚ＋Ｂ（２）Ｚ￣２＋…在△内解析，且Ｒｅｆ（Ｚ）＞０，Ｂ（ｎ）为Ｈｉｌｂｅｒｔ空间Ｈ上的正规算子，ｎ＝１，２…｝的强端点的概念，然后指出Ｐ（△）中形如Ｉ＋Ｂ（ｎ）Ｚ￣ｎ＋Ｂ（ｎ＋１）Ｚ￣（ｎ＋１）＋…的元素成Ｘ＿１Ｐ（△）的一个强端点的必要条件为Ｂ（ｎ）不是自伴可逆算子。     

关于多元Gauss—Weierstrass算子的一致逼近

本文利用一类 K—泛函和光滑模的等价性给出了二元 Gauss—weierstrass 算子在一致逼近意义的正定理、逆空理和特征性。     

真值维护系统的语义研究

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

二元Bernstein－Kantororich算子的逼近性质

本文在Ｂｅｓｏｒ空间中对定义在单形Ｓ＝｛（ｘ，ｙ）｜ｘ＋ｙ｜≤１，ｘ，ｙ≥０｝上的二元Ｂｅｒｎ－ｓｔｅｉｎ－Ｋａｎｔｏｒｏｖｉｃｈ算子得到一个等价关系，同时在Ｓｏｂｏｌｅｖ空间Ｗ＿ｄ，ｐ（ｓ）中讨论其收敛的性质．     

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

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

空间L(X,C_0(S))的一个表示定理

本文给出了一个有界线性线算子的表示定理，它是N·DUNFORD和J·T·SCHWARTZ的一个有关结论的推广。     

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

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