Bisimulation Lattice of Asymmetric Chi Calculus with Mismatch

This paper carries out a systematic investigation into the bisimulation lattice of asymmetric chi calculus with a mismatch combinator. It is shown that all the sixty three L-bisimilarities collapse to twelve distinct relations and they form a bisimulation lattice with respect to set inclusion.The top of the lattice coincides with the barbed bisimilarity.     

关于一类双权退化椭圆算子的Hardy不等式

研究一类双权退化椭圆算子的Hardy不等式，这类算子比广义Baouendi-Grushin算子L=△x＋｜x｜^2α△y（α〉0,x∈R^n．y∈R^m）更为广泛．结果包含了已有文献中得到的不等式．     

双非线性抛物型方程解的有界性

在λ∈（１，２）的情形，证明一类双非线性抛物型方程解的有界性。     

硇洲岛沿海双壳类的种类组成和生态分布

本文报道了广东湛江硇洲岛沿海的双类软件动物９２种，隶属５４属２０科；介绍了硇洲岛的自然环境及潮汐；对双壳类的种类组成，生态分布，优势种和区系特点等进行了分析。     

双原子分子振动能谱的再计算

对势模型进行变形,借助超维里定理和Hellman-Feyman定理,不用求波函数,而只根据零级能量和势模型推导了无波函数微扰论的递推公式.利用这些公式和双变量的快速逼近的pad埁近似方法,计算了Hcl分子的振动能谱,计算结果与实验相符.     

重子的双谐振子模型和瑞奇轨迹

本文把轻层子(u,d,s)重子的内部运动视为双谐振子,从而可以把满足约束p_i~8-m_i~2-U(x~2)=0(i=1,2)的二质点组的相对论力学应用于重子的SU_3模型。取U(x~2)形为-K_i~2x~2-α_(0i)(i=1,2),其中-K_i~2x~2为四维简谐位势,-α_(0i)为与超荷Y有关的位势破缺项,适当凋整参数,可得到基态重子的一组SU_3线性质量关系和统一地给出各类介子和重子的基态与激发态的J对M~2直线关系。     

计算两种能量曲面所包围相体积的初等方法

用初等方法计算了二维线性谐振子和刚性双原子分子两种情况的能量曲面所包围的相体积。     

Clifford分析中双正则函数的非线性边值问题

Ｃｌｉｆｆｏｒｄ分析中双正则函数的非线性边值问题黄沙（河北师范大学数学系，０５０Ｏ１６，河北石家庄）设Ｍ为Ｃｌｉｆｆｏｒｄ代数集，其正交基由ｅ。，Ａ。（ｈ；，…，ｈｒ）６ｅｒ｛１，２，…，ｈ｝，１＜ｈｉ：’＜。··＜ｈｒ＜ｎ给出（见［ｌ］）．０一见Ｘ...     

一种制造快速晶闸管的P型双质掺杂技术

阐述了受主杂质在Ｓｉ中的扩散行为，快速晶闸管制造中的Ｐ型区掺杂工艺设计原理，掺杂方法和杂质浓度分布，并给出了该项技术在工艺生产线上应用结果。通过实验和应用表明，该项技术具有先进性和可行性，为制造快速晶闸管开辟了一条新工艺途径。