λ-Horn集上的λ-单元锁归结

本文给出了λ-Horn集上的λ-单元锁归结方法,并证明了λ-单元锁归结方法对λ-恒假公式是完备的。     

独立闭合三角锁的平差和应用

提出独立闭合三角锁的平差方法，在村镇扩建或是郊区开发郊区的测图工作中，它具有工效高，成本低。出成果快的特点。     

激光陀螺稳频稳锁区控制系统参数模型研究

采用DSP技术设计了激光陀螺稳频稳锁区控制系统,利用转台、温度箱等设备开发了稳频稳锁区控制参数测试系统.结合某型激光陀螺,对控制系统的压电陶瓷特性、光强和锁区特性进行了全面测试,对激光陀螺工作模态选定和锁区稳定范围进行了研究,建立了有针对性的稳频稳锁区控制系统参数模型.最后,对利用该参数模型的某型陀螺在常温下进行了验证试验.陀螺工作正常,无跳模现象,其零偏重复性小于0.01 °/h,表明所建参数能有效控制陀螺.     

锁相频率合成功率源与晶体介质谐振腔匹配网络

论述了锁模激光的调制器晶体谐振腔与锁相频率合成功率源匹配网络的实现，笔者经过深入研究，提出锁模激光的调制器晶体谐振腔非线性特性，并根据定一论断选择新的器件、网络电路，精心调制完成了难于实现的匹配，给出了实际运用的匹配波形图。     

广义RUE-NRF归结的配锁

本文把广义RUE-NRF归结对E不可满足子句集是完备的推广到了配锁的广义子句集上.     

圆偏心夹紧机构的特性分析

指出了圆偏心夹紧机构夹紧力分析及自锁条件的常见推导错误。提出了圆偏心夹紧机构力学模型的新观点。     

Cr4+:YAG被动调Q锁模的理论研究

介绍了其饱和吸收特性,并从速率方程出发分析了Cr4 :YAG运转在调Q、锁模的条件,给出了第二激发态的饱和光强的数值大小,得到如下结论:当入射光较弱,功率密度不足以使激发态饱和,Cr4 :YAG仅仅起到调Q的作用;当入射光很强,激光腔内的功率较高的时候,激发态吸收饱和,满足被动锁模的条件,可以实现被动锁模.     

超高速锁模半导体激光器光谱蓝移现象研究

本文对一种新型输出波长1.55μm、超高速10 GHz、多量子阱、锁模半导体激光器的自发辐射光谱的蓝移现象进行实验研究,得到随着对锁模半导体激光器增益区施加增益电流的增加(5 mA→70 mA),多量子阱半导体激光器自发辐射光谱存在明显的蓝移现象(1.550μm→1.500μm),以及输出中心波长向短波长方向移动50 nm的实验结果,这对深刻理解和实现光时分复用技术中高质量超短相干脉冲光源具有重要意义.     

Y—槲皮素—TOPO（TX—100）—SDBS荧光体系的研究

研究发现Y－槲素二元体系有较微弱的荧光，TOPO（TX－100）－SDBS试剂体系的引入使二元体系的荧光大幅度增强；研究了Y－槲皮素－TOPO（TX－100）－SDBS这一体系的影响因素和分析特性，并将这一体系应用于痕量Y（Ⅲ）的测定，结果表明，在最佳实验条件下，Y（Ⅲ）的可测定范围为0.1-10μmol/L。     

生成锁 和它的中央加密系统

利用数据生成技术，提出生成锁 的概念和由 构成的中央加密系统。这些系统是：生成锁 与单齿中央加密系统，生成锁 与多齿中央加密系统。给出单齿加密-解密算法，多齿加密-解密算法，多齿静态加密-解密算法，多齿动态加密-解密算法，中央加密系统的结构特性。研究指出：任意两个秘密通讯的双方A和B，它们各自选择无规则分布的正整数集合XA={x1，x2，…，xn}，XB={x1，x2，…，xm}，m,n≥……所提出的方法具有良好的应用性，安全性。