基于替换的组合电路的等价性检验方法

介绍了基于替换的组合电路的等价性检验算法，利用待检验的两个电路的结构相似性来逐步约简电路，从而加速了验证过程。     

一种基于RTAI实时操作系统的相关跟踪处理机

引入倾斜校正自适应光学技术到月球激光测距中,详细介绍了倾斜校正自适应光学的相关跟踪原理,给出了一种基于实时操作系统RTAI的相关跟踪波前处理机的设计结果.该波前处理机采用绝对差分算法,使用通用CPU,基于Linux硬实时扩展系统BTAI实现对波前的实时处理.实验结果证明,它的相关跟踪处理帧频为1 KHz,并且具有集成度...     

用遗传算法对自动控制系统数学模型寻优

探讨用遗传算法对数学模型进行优化。考虑到控制系统稳健性的要求 ,用遗传算法寻找出控制系统最佳稳定域 ,实现控制系统数学模型的寻优。阐述了用遗传算法求解问题的步骤和参数的取值 ,并用仿真实验对优化结果进行了检验。结果表明 :在控制系统数学模型的优化中 ,遗传算法具有其他算法无可比拟的优越性。     

基于A-star算法的矿井事故救援研究

针对井下不同形状巷道几何空间特征,确立以空间点、线、面为基本图元,以巷道中心线作为三维模型构建的基础框架,建立巷道三维模型。采用启发式路径搜索A-star算法,实现了应急救援路线智能快速选择。实践证明,该方法对于矿井事故定位和救援具有一定的实用性。     

基于关联规则的故障诊断方法研究

提高自动气象站设备运行能力和观测数据的质量状况成为影响气象预测预报服务的准确性和气象事业发展的关键。然而中国现在业务运行的自动气象站设备并没有内置的故障检测装置,也没有完善的自检系统。但是气象要素(温湿压风雨)的变化往往是相互关联的,为了提高自动气象站数据质量,及时有效地判断设备故障。从大量观测数据试验结果进行研究,提出一种基于关联规则的故障综合诊断方法。通过使用Apriori挖掘算法,得到各气象要素及其变化量之间的强关联规则,通过实际观测数据验证2012年7月26日08时江西南昌站湿度传感器发生故障。     

参数调整对气象预测的B-P网络模型性能的影响

为了探索ＢＰ网络的参数调整特性,进行了参数α、β的选取对ＢＰ算法的收敛速度和模型的稳定性的影响研究。通过ＢＰ网络用于气象预测建模的参数调整个例分析表明：参数α、β的取值对ＢＰ模型的稳定性无显著影响,但参数值的调整尤其是β值的调整对建模的收敛速度有明显的影响。     

基于遗传算法的瞬变电磁法线圈阵列优化设计

为解决瞬变电磁检测技术遇到地底干扰物时在探测精度方面的不足,从载流直导线出发,利用磁场矢量叠加原理,计算单个正三角形空间磁场分布,设计了一种正三角形发射线圈阵列。为得到更好的磁聚焦特性,利用遗传算法对线圈阵列的具体参数进行优化。仿真结果表明:87.5%及以上的磁场能量集中在半径0.113m的特定区域内。说明该线圈阵列在较小目标区域实现了聚焦,具有良好的聚焦性,可以应用在瞬变电磁检测技术发射回线中。     

GPS整周模糊度搜索算法的可靠性和时效性比较

研究了GPS载波相位快速静态定位中的整周模糊度搜索算法,对实数编码的改进遗传算法和LAMBDA算法进行了对比分析.算例表明:实数编码的遗传算法在搜索效率和可靠性方面和LAMBDA算法相当.     

基于点云曲线辨识的卫星激光数据预处理算法

针对卫星激光数据处理算法这一难题,分析了COMPASS系统GEO卫星激光观测数据的质量,讨论了反求工程和计算机视觉中的曲线识别与激光观测数据预处理的异同,提出了基于点云曲线辨识的卫星激光数据预处理算法。该算法将卫星激光观测数据预处理视为有序带噪声的空间曲线重建问题,利用COMPASS系统多圈GEO卫星实测数据进行验证。结果表明：该方法与常用算法一致率在85％以上,能够实现激光观测数据的自动处理与满足导航系统的需要。     

对称模式下的CHAMP弯曲角掩星数据同化

简单介绍了无线电掩星技术探测行星大气的发展史,列举了该技术中存在的若干问题。从 Eyre提出的统计学的最优估计反演方法,比较了用相位、弯曲角和折射率作为同化因子时出现的问题和各自的优缺点。对弯曲角同化因子,以欧洲中期天气预报中心(ECMWF)资料为背景场,运用一维变分技术,进行CHAMP掩星观测资料变分同化反演,从而获得水汽和温度剖面。将反演获得的气象剖面与非同化的剖面作比较,并且采用相应的探空气球资料作为验证,可以看出变分同化技术比传统的标准反演技术反演误差小。证实掩星数据资料的一维变分同化技术可以改进目前的数值天气预报模式。