1400-1500 nm,Different Material-doped Raman Fiber Lasers Pumped by Nd∶YVO_4 Laser

Different material-doped Raman fiber lasers with very high efficiency operating in continuous-wave are presented.With 1 W Nd∶YVO 4 laser pumping at wavelength of 1 342 nm, single mode output power of above 500 mW (optical-to-optical conversion efficiency of 50%) is simulated in the range of 1 400-1 500 nm.Using high-germanium,high-phosphate and high-borate silicate fibers as the gain medium,laser output at wavelengths of 1 420,1 450,1 480 and 1 495 nm can be achieved with different geometries,which are just as pumping C-band and L-band distributed Raman fiber amplifiers.     

GaN材料系列的研究进展

ＧａＮ及其合金作为第三代半导体材料具有一系列优异的物理和化学性质，在光电子器件，高温大功率电子器件及高频微波器件应用方面具有广阔的前景，已成为当前高科技领域的研究重点，论述了这种材料的研究历史与发展现状，物理与化学性质，薄膜的生长方法及在光学电子和微电子器件应用于方面的研究进展。     

用边界元法提取VLSI版图电阻

介绍了ＶＬＳＩ版图验证中电阻提取的基本原理和主要方法，给出了一种新颖的基于边界元法的电阻提取算法。该算法采用变节点单元，较好地解决了实际问题中经常出现的角点问题。通过应用该算法对几个实例进行提取，证明使用本文的算法不仅在精度上而且在占用ＣＰＵ时间上都取得了令人满意的效果     

Microstructure Evolution in Laser RS Co-base Metastable Alloy

ＭｉｃｒｏｓｔｒｕｃｔｕｒｅＥｖｏｌｕｔｉｏｎｉｎＬａｓｅｒＲＳＣｏ－ｂａｓｅＭｅｔａｓｔａｂｌｅＡｌｌｏｙＷＡＮＧＡｎａｎ；ＣＨＥＮＧＳｈｕｎｑｉ；ＧＵＯＺｈｉｙａｏ（ＫｕｎｍｉｎｇＵｎｉｖｅｒｓｉｔｙｏｆＳｃｉｅｎｃｅａｎｄＴｅｃｈｎｏｌｏｇｙ，...     

真值维护系统的语义研究

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

轴端沟槽底部激光强化工艺参数优化研究

分析了选用不同激光能量密度对HT300进行表面强化处理时，材料表面呈现的四种状况；未相变硬化、相变硬化、表面微熔与表面熔凝的金相组织。根据工艺要求，选取相变硬化方法对轴端沟槽底表面进行处理。分析了工件激光处理方法并通过试验研究，寻找轴端沟槽底部激光强化工艺参数；激光功率（P）、光斑直径（D）及扫描速度（V）的优化组合。硬度测试及耐磨性能试验表明：激光相变处理和激光熔凝处理后轴端沟槽底部表面较表面感应淬火硬度分别提高7%和34%，绝对磨损体积分别下降了13%和25%。实践证实，对轴端沟槽底部激光相变硬化处理方法较其他表面处理方法工艺简单，加工工件符合技术要求，试验结果对零件表面处理提供了可靠依据。     

氙灯泵浦的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.     

激光标线的原理和实验

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