真值维护系统的语义研究

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

Measurement of the First Hyperpolarizability of Substituted Ketene N，S－acetals by Hyper－Rayleigh Scattering in Solution

ＭｅａｓｕｒｅｍｅｎｔｏｆｔｈｅＦｉｒｓｔＨｙｐｅｒｐｏｌａｒｉｚａｂｉｌｉｔｙｏｆＳｕｂｓｔｉｔｕｔｅｄＫｅｔｅｎｅＮ，Ｓ－ａｃｅｔａｌｓｂｙＨｙｐｅｒ－ＲａｙｌｅｉｇｈＳｃａｔｔｅｒｉｎｇｉｎＳｏｌｕｔｉｏｎＧＡＯＸｉｎｇｙｕ；ＣＨＥＮＪｉｎｇｂ...     

金属颗粒-半导体膜Cu:CdS的制备及结构研究

利用磁控溅射产生金属Cu团簇，同时蒸发半导体介质CdS，将Cu团簇包埋在CdS介质中，制备出金属颗粒 半导体膜．团簇大小可通过改变溅射气压控制．用TEM研究了嵌埋团簇的结构．分析表明：CdS很好地包埋了Cu团簇，都呈多晶结构；团簇尺寸在5—20nm，Cu晶格发生了膨胀，膨胀量在7%左右 关键词：     

Zn/GaAs(110)系统的表面弛豫及其对费密能级钉扎的影响

在紧束缚近似下，利用自洽总能计算给出了Ｚｎ／ＧａＡｓ（１１０）系统的表面几何结构．证明了低覆盖下Ｚｎ／ＧａＡｓ（１１０）表面弛豫是一普遍现象，它对准确地描述费密能级钉扎位置十分重要．由于吸附Ｚｎ原子的高局域ｓ轨道与表面Ｇａ原子ｓｐ^３悬挂键轨道的杂化，使成键态位于能隙中距价带顶０.７３ｅＶ处．进一步给出了与其它元素吸附和清洁ＧａＡｓ（１１０）表面的理论与实验结果之比较     

光抽运双光子激光朗之万量子理论

本文采用朗之万量子理论获得光抽运双光子激光具有双光子损耗时的朗之万方程,进一步获得稳态平均光子数、频率牵引、线宽和动态斯塔克效应,对激光增益来源的分析表明,非相干抽运仅有单双光子两步过程有贡献,而相干抽运,除上述过程外还有单双光子一步过程有贡献,而且,上述两个过程都受到负反馈和饱和因子的制约,线宽与稳态平均光子数无关。 关键词：     

氙灯泵浦的NYAB晶体调Q激光运转特性及实验研究

首次报道了氙灯泵浦的自激活自倍频NYAB复合功能晶体的BDN染料片调Q运转,获得了自倍频绿光单脉冲.测量了不同L和T_o情况下的绿光脉冲的能量、脉宽和峰值功率.文中还从理论上推导了自激活自倍频晶体调Q激光器的方程组.数值求解方程组,所得的理论数据与实验结果很好地相符.最后,讨论了进一步提高绿光脉冲峰值功率的途径.     

Gk^d图的平面性和平面图的色数

利用欧拉公式研究了Gdk图的平面性,获得了一个重要定理,并由此得到了关于平面图色数的一个结论.     

全纯函数族的正规定则

Let f be a holomorphic function on a domain D Lontaiu in C, and let a be a finite complex number. We denote by -↑Ef/(a) = {z ∈ D : f(z) = a, ignoring multiplicity} the set of all distinct α-points of f. Let F be a family of holomorphic functions on D. If there exist three finite values a, b(≠ O,α) and c(≠ O) such that for every f ∈F, -↑Ef′/(0) Lontain in -↑Ef(α） and -↑Ef′ (b) Lontain in -↑Ef(c), then F is a normal family on D.     

激光标线的原理和实验

根据几何光学知识分析了激光标线原理.理论和实验表明:激光标线长度与激光光束形状、光学元件形状及材料折射率有关.并讨论了激光标线向两侧扩展的原因.     

环的根性质

研究的对象是不含单位元分次环 R,首先证明了有关 Jacobson根的重要性质 J( R) =J( S)∩ R,其中 S =R× Z.然后利用它得到了一些好的性质