小波变换域估计观测噪声方差的Kalman滤波算法及其在数据融合中的应用

众所周知,卡尔曼滤波的成功应用需要事先准确知道观测噪声的统计特性.本文首先简要分析了不准确的观测噪声统计特性对卡尔曼滤波性能的影响,然后利用小波变换可以实时分离信号和噪声的特性,提出了一种在未知观测噪声条件下的卡尔曼滤波算法,该算法可以实时跟踪观测噪声的变化,即实现了对观测噪声方差的实时估计,从而解决了在未知观测噪声的条件下卡尔曼滤波失效问题.最后讨论了提出的方法在信息融合中的应用,仿真结果证明了本文方法的有效性和实用性.     

半导体激光器单管准直实验研究

利用高斯光束的ABCD传输矩阵理论分析了LD与自聚焦透镜之间的距离与出射光束远场光斑尺寸之间的关系.通过理论计算可以方便地得到最佳距离,获得较高亮度输出,并进行了实验验证.对平面自聚焦透镜、球面自聚焦透镜和圆柱透镜的准直效果进行了实验比较,最后将自聚焦透镜与LD固定,制做了实用的器件,该器件可以将LD椭圆形光斑转变成线形光斑,快轴、慢轴远场发散角分别为0.1°和2.50°耦合效率86%.     

图像分割中的交叉熵和模糊散度算法

本文将交叉熵和模糊散度应用于图像分割中,提出了中最优灰度值选取算法,其一是基于均匀分布假设的最小交叉熵算法,其二是利用后难概率的最大类间交叉熵算法,其三是类间最大模糊散度的改进算法,其四是最小模糊散度算法,针对图像阈什化分割的要求,在后两种算法中构造一种新的模糊录改度函数,本文采用均匀测试和开头测试比较各算法的性能,利用多种类型测试 是到的分割结果,显示了所筛算法的有效性和通用性。     

基于夫琅禾费衍射的激光束散角外场检测

基于圆孔衍射原理,通过对菲涅耳衍射和夫琅禾费衍射特性的对比分析,综合圆孔夫琅禾费衍射光强艾里斑分布特征,提出了一种基于夫琅禾费衍射的激光束散角检测方法,通过布设激光靶对激光远场光斑进行采集、分析、处理,得到激光器关键性能参数束散角的实测值。测量结果表明:采用该方法可获得较高的检测精度,并对影响测量精度的因素进行了分析,该方法可为激光器束散角外场检测提供科学指导。     

1.55μm AlGaInAs/InP小发散角量子阱激光器的仿真和制备

理论仿真和实验制备了AlGaInAs/InP材料1.55 μm小发散角量子阱激光器。为了扩展近场光场并减小内损耗,将一个非对称模式扩展层插入到外延结构的下盖层当中。仿真结果表明,该模式扩展层除了少量增加激光器阈值电流以外,在不影响激光器其它性能的情况下能显著减小激光器的垂直远场发散角。实验结果与理论仿真高度吻合。成功制备出脊宽4 μm,腔长1000 μm的脊波导小发散角激光器。在端面未镀膜的情况下,该激光器阈值电流为56 mA,输出功率为17.38 mw@120 mA,斜率效率可以达到0.272 W/A。实验测得垂直远场发散角为29.6°,相比较传统激光器减小了约35.3%。     

大气光通信PAT子系统指标初步设计分析

分析了跟踪角速度，功率，跟踪精度等因素对大气激光通信系统中瞄准，捕获和跟踪子系统参数选择的影响，给出了波束发散角，扫描角范围，接收视场等主要参数的选择原则，对地面终端光通信系统设计背景提出了瞄准，捕获和跟踪了系统的相应指标。     

扩压器型面局部张角的计算及附面层修正

本文主要研究成果是对采用等压力梯度及等速度梯造型规律的扩压器各截面型面局部张角提供了一种精确的理论计算方法。并为采用参考文献[3]进行扩压器附面层位移厚度的计算提供了条件。     

Poitín: Distilling Theorems From Conjectures

In this paper, we describe a new fully automatic theorem prover called Poitín which makes use of a novel transformation algorithm called distillation to prove input conjectures. The input conjectures are defined in a functional language and are transformed using the distillation algorithm. The result of this transformation can be easily inspected to see whether the original conjecture is true. Possible divergence of the transformation algorithm is detected, and this information is used to perform generalizations to ensure termination. We give several examples of the application of the theorem prover, and compare it to related work.     

无穷级数的解题方法

本揭示了数基级数和幂级数之间的内在联系，并总结出解答无穷级数习题的较为简洁的方法。     

内腔式KTP OPO发散角的实验研究

实验研究了非临界相位匹配 (NCPM)的内腔式KTP光学参量振荡器 (OPO)的光束发散角与OPO谐振腔参数的关系。证明了望远镜型共焦非稳谐振腔是压缩OPO光束发散角的有效方法。