多元χ演算运行时错误的不可判定性

针对多元χ演算运行时刻通信安全的判定性问题进行了研究．通过从Lazyλ项到χ项的编码，将判定一个Lazyλ项是否有范式的问题归约为进程是否有通信错误的问题．证明了在多元χ演算中，通讯错误也是不可判定的．结论说明不存在算法直接来检测进程的通信安全性，而只有通过其他间接的手段(如构造类型系统)才能部分达到预防运行时错误的目的．     

Isoscalar Giant Resonances of ^120Sn in the Quasiparticle Relativistic Random Phase Approximation

The quasiparticle relativistic random phase approximationmean field ground state in the response function formalism(QRRPA) is formulated based on the relativistic The pairing correlations are taken into accountin the Bardeen-Cooper-Schrieffer approximation with a constant pairing gap. The numerical calculations are performed in the case of various isoscalar giant resonances of nucleus ^120Sn with parameter set NL3. The calculated results show that the QRRPA approach could satisfactorily reproduce the experimental data of the energies of low-lying states.     

SU（3）F Meson Mass Formula from Random Phase Approximation

We present an SU(3)F meson mass formula from random phase approximation. Both the mesons of ground-state pseudoscalar octet and ground-state vector octet are described quite well by this mass formula. We also estimate the current and constituent quark masses from the naive quark model and the PCAC relation.     

关于二项分布的极限分布的一个注记

讨论了用泊松分布和正态分布近似表示二项分布的精确程度问题,对于泊松分布,指出了它对二项分布B(n,p)的概率值的近似精确与否基本上只依赖于参数p而不依赖于n,并说明了经验条件“np≤5”的不确切.     

The supersymmetric WKB approximation of ring-shaped oscillator potential in r and θ dimensions with spherical polar coordinates

According to calculation of the energy spectrum of ring-shape oscillator potential by using the supersymmetric WKB approximation, it is shown that the energy spectrum of some noncentral separable potentials can be exactly obtained in r and θ dimensions by above method.     

金属铀各相电子结构与原子力

锕系元素不仅存在σ，π，δ对称，还出现了φ轨道，而且相对论效应十分明显，作用机理比较复杂，而全电子计算由于对计算机硬件的要求十分苛刻，因而尚难以开展。因而国际上除了做了一些铀、钚化合物的物性研究外，几乎难以找到关于铀钚腐蚀机理的第一原理研究的报道。而用第一原理研究对于一些非镧、锕系元素，如硅、铜、钯等这种研究工作已经开展得很普遍，而且已经用于指导催化和腐蚀研究的实践工作。在LLUL钚科学在挑战专辑中，对于钚的基态性质，采用局域密度近似（简称LDA）和综合梯度近似方法简称GGA）进行了研究，     

Rough隶属函数关于集合并与交的一种高精度计算方法

近些年来，许多处理近似问题的方法陆续被提出，其中利用Rough集理论计算两个集合的并和交的Rough隶属函数方法是被用较多的一种方法，但毕竟该方法精度较差。为此，介绍了一种精度较高的计算两个集合的并和交的Rough隶属函数方法，它克服了前者利用Rough集理论计算Rough隶属函数的复杂性，而迎来了简单和高精度的特点。     

类锂离子C^3＋激发态（1s^2 2p）^2P光电离的计算

文中首次运用R—矩阵方法，在三态密耦近似下计算了类锂离子C^3 激发态(1s^2 2p)^2P光电离截面，主要给出了不同过程和不同分波的光电离截面。计算结果显示了光电离过程中非常丰富的Rydberg系列共振结构。     

Y（Fe，Si）12化合物结构与磁性的第一原理计算

R（Fe，Si）12（R=Y，Nd）型稀土永磁材料具用重要的实际应用价值，然而对于V（Fe，Si）12化合物微观机理的理论计算工作至今尚未开展。采用新近发展的全势能线性缀加平面波（（L）APW）＋局域轨道（10）和广义梯度近似（GGA）密度泛函方法对其结构与磁性进行了研究。