真值维护系统的语义研究

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

Ga1-xInxAs/InAsyP1-y/InP异质结的MOCVD生长及表征

Ga1-xInxAs(x>0.53)材料是未来长距离低损耗光纤通信的理想光源材料和探测器材料之一.我们采用水平常压MOCVD系统,在InP衬底上成功地生长了Ga1-xInxAs(x>0.53)/InAsyP1-y/Inp异质结材料.其中InAs1-yPy为组份阶梯变化的多层结构.由样品的(400)面X光衍射结果测定了各层组份.由二次离子质谱(SIMS)得到了样品剖面组份变化结果,证明InAs1-yPy层组份为阶梯状变化的.通过对光致发光结果和X光衍射结果比较,可以看到,InAsyP1-y层通过位错和弹性畸变二种方式来释放或积累Ga1-xInxAs与InP间的失配应力,从而减少了Ga1-xInxAs中的失配位错.有效地改善了Ga1-xInxAs的质量.已获得了x高达0.94表面光亮的Ga1-xInxAs/InAs1-yPy/InP异质结材料.     

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

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

在BBO中产生217.3-2 21.4nm高功率和频输出

用Q-YAG激光的三次谐波(355nm)与调谐的Rh·6G染料激光在β-BaB2O4(BBO)晶体中和频,获得217.3～221.4nm连续调谐输出,和频输出的最大能量为250μJ,转换效率为11%.我们还讨论了获取最大和频输出能量的一些实验条件.     

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.然后利用它得到了一些好的性质     

基于矩阵初等变换的n元函数极值的快速判别法

给出了 n元函数极值的一个充分条件 ,并结合矩阵的初等变换建立了 n元函数极值的一种快速判别法 ,最后给出了一个例子