构造型几何定理及其机器证明系统

Hilbert 机械化定理表明,Pascal 几何中构造型交点定理可以机器证明。1982年,吴文俊教授给出了机械化定理的构造性证法。本文指出,通过添加若干新的构造类型,有更广泛的一类平面几何定理,其机器证明可以按照同样的构造性证法实现,我们称这类定理为构造型几何定理。作者适当调整吴文俊算法的步骤,在 HP1000小型计算机上建立了构造型几何定理的机器证明系统,效率大大提高,从而成功地证明了许多不平凡的几何定理,并且独立发现了相当深入的结果。     

正电子冲击下氦电离三重微分截面的理论计算

我们发展了一种正电子碰撞原子电离的畸变波Born近似方法, 在这个方法中,正负电子偶素通道通过一个ab initio的光学势附加到入射粒子和靶的相互作用势上,且通道对电离作用被第一次被考虑在正电子碰撞原子电离的过程中. 应用这个方法计算了在50 eV入射能量范围氦的电离的三重微分截面,计算结果和实验数据很好的符合.     

强度解调型光纤光栅温度传感实验

光纤光栅在工程上应用广泛,但由于存在解调系统复杂、成本高,尤其是需要使用光纤光谱仪等波长解调仪器,使得光纤光栅很难走入本科教学的实验课堂.本文提出了一种基于窄线宽DFB激光器的强度解调方案,极大地简化了光纤光栅传感器的解调系统,完全满足较高分辨率和实时检测的系统要求.合理安排的温度传感实验可以非常直观地展示光纤光栅的线性传感性能,使得工程化的光纤光栅传感技术轻松走进本科教学课堂,具有极高的推广和应用潜力.     

伊辛模型的四分支临界面及其临界行为

本文通过等标度同普适类变换理论,使严格的重正化群递推方程得以直接应用。对伊辛模型的计算产生了四个不动点、四支临界面。对应于铁磁及反铁磁相变,其结果与已知的严格解及最好近似解一致。对于超反铁磁相变,本文提出临界曲面方程为—ch(h)=sh(2K_x)sh(2K_y)。 关键词：     

推广伊辛自旋模型的临界温度曲线

本文运用作者所发展的同普适类等标度变换理论,研究推广的伊辛自旋模型,得到了这种模型的临界温度曲线。 关键词：     

外场中DLA集团标度性质的解析研究

我们利用“连续化近似”的平均场理论,详细研究了在不同外场作用下DLA集团的标度性质。发现对常值外场,集团密度ρ初始时按1/r变化,然后过渡到一个常数值;而对1/r^α类型的外场。当控制参数α变化时,生长集团表现出非常复杂的、非平庸的标度行为。 关键词：     

在低温等离子体及低能离子作用下PET表面氮的XPS研究

经X射线光电子能谱(XPS)分析,在空气等离子体和氩等离子体作用下,(PET)表面上结合了不同的氮化合物。特别是在氩等离子体作用5min以后,N₁₅出现双峰,表明PET表面上结合了氮的氧化官能团。通过低能氮离子和氩离子轰击PET表面的实验,证明这种N₁₅双峰结构不是低能离子单独作用引起的。 关键词：     

利用强磁场剥离负氢离子获得中性束

本文用改进的微扰理论计算了在均匀磁场中高速运动的H~-离子的自离化寿命,讨论了H~-离子波函数的选择和连续态波函数的归一化,并用五参数Rotenberg-Stein波函数进行了具体的数值计算,与G.M.Stinson等人所得的实验结果进行了比较。     

Λ和∑粒子衰变的上下不对称性

本文计算结果指出,当强作用的影响被考虑以后,超子衰变的上下不对称的实验结果是可以解释的。对衰变的分析可以给出关于强作用的重正化和强度的重要知识。我们的结果指出强作用满足“强作用近似”的条件。     

层子模型里介子的分类

在前一工作中我们应用层子模型基本上解释了所有已观察到的较肯定的稳定和不稳定的介子,指出这些介子都可看作是一对层子和反层子在赝标型简谐振子位阶中J~P=0~-和1~-的态以及这两个态的轨道角动量l=1和2的激发态。在这篇短文中,我们将较详细的给出这个结论在实验上的主要依据。