关于含非凸约束的变化问题

本文分别讨论泛函Ｉｐ（ｕ）＝∫Ω｛「α＾αβ（ｘ，ｕ）ｇｉｊ（ｘ，ｕ）Ｄαｕ＾ｉＤβｕ＾ｉＤβｕ＾ｊ」＾ｐ／２＋Ｐ（ｘ，ｕ）｝ｄｘ，在一般的非凸几何约束Ｆ１＝｛ｕ∈Ｈ＾１，ｐ（Ω，Ｒ＾Ｎ）；ｕ∈Ｍａ．ｅ．于Ω，ｕ│δΩ＝ｕ０｝和非凸图约束下的极小化问题，其中Ｍ为Ｒ＾Ｎ中的任一光滑开子集或Ｒ＾Ｎ的一个开子流形。     

关于奇ATm核1/2+[411]转动带的系统分析

壳模型计算表明,1/2⁺[411]出现于¹⁵⁷Tm核的基态可能是由非轴对称形变造成的.但是新近从¹⁵⁷Yb衰变纲图给出的¹⁵⁷Tm低激发谱中,指认了一个建立在1/2⁺[411]带头上的基态转动带,并认为该带的性质是轴对称的,提取了该带的惯性参数与脱耦合参数.通过对奇ATm核1/2⁺[411]转动带的系统分析,强调了在¹⁵⁷Tm核中非轴对称γ自由度效应的重要性.     

核内核子－核子非弹散射截面（Ⅰ）

在与平均场、核内核子－核子弹性散射截面以及输运方程相统一的理论框架内推导了核内核子－核子非弹散射截面的解析表达式．其数值结果能很好地重现自由非弹截面的实验值，所计算的有效非弹截面与Ｄｉｒａｃ－Ｂｒｕｅｃｋｎｅｒ的计算结果相一致．     

真值维护系统的语义研究

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

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

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

非均匀介质中的场与波：理论及其在电测井中的应用

本文综述了非均匀介质中场与波理论近年来的研究进展及其应用成果，着重介绍了非均匀介质中的电磁场正演分析和反演计算中的各种高效数值方法，以及它们在电法测井数值模拟和成象研究中的成功应用。     

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

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