因素空间理论与知识表示的数学框架（Ⅷ）─—变权综合原理

本文是文［１－７］的继续，研究变权综合问题，从确定变权的经验公式入手引出了变权原理，给出了变权的公理化定义，讨论了与之有关的均衡函数及其梯度向量。     

矩阵损失下回归系数的线性估计的可容许性

针对广义的Gauss-Markoff模型Y=Xβ+θ,E(θ)=0,Cov(θ)=σ2V,其中X和V＞0是已知的n×p和n×n矩阵;β∈Rp和σ2＞0是未知参数,给出了矩阵损失条件下,Sβ的估计LY+a在非齐次线性估计类中可容许的充要条件.     

单光子态的产生与测量

报道了通过自发参量下转换产生单光子态的实验研究,使用中心波长425 nm的飞秒脉冲泵浦Ⅰ类非共线相位匹配的BBO晶体,在实验上得到单光子计数率为2.978×10-4,并分析了实验中的相关问题.     

量子输运理论与非平衡手征凝聚

讨论量子输运理论以及反常手征凝聚 (DCC)的产生和演化 .建立了手征Nambu Jona Lasinio模型的量子输运方程和约束方程 .发现非平衡的夸克自旋分布是产生DCC的主要物理起因 ,而量子离壳效应可能导致长寿命的DCC .     

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

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

真值维护系统的语义研究

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

Z=50—71核质量与核形状跃变

对Johansson质量公式的某些参数及β方程进行修改;在50≤Z≤71区域,计算了640个原子核的质量和双中子分离能.理论值与实验值相比,方均根误差分别为0.827MeV和0.406MeV.双中子分离能理论曲线很好地重现了N=82的中子满壳层效应和N>90时原子核发生大形变的特性.     

一类具有偏差变元的积分—微分方程解的渐近性质

~~     

多媒体物理教学软件的开发与应用

为了适应教学改革的需要，本人就计算机在物理教学中的应用进行了深入的研究和尝试，开发了“平抛运动演示实验”及“飞机投掷演示实验”等软件，并成功地用到了教学中．     

多维重Brown运动图集和像集的精确Hausdorff测度

设{W(t):t∈R},{B(t):t∈R }是两相互独立取值于R且W(0)= B(0)=0的标准Brown运动, {Y(t)=W(B(t)),t∈R }为R上的重Brown运动,X1(t),…,Xd(t)是Y(t)的d个独立复制．我们将探讨d维重Brown运动X(t)=(X1(t),…,Xd(t))的像集和图集的精确Hausdorff测度．更确切地,得到了X的像集X(Q)={X(t):t∈Q}和图集GrX(Q)={(t,X(t)):t∈Q}的精确Hausdorff测度,其中Q为(0,∞)上的Borel集．