面向验证的启发技术设计

采用有效的人工智能技术提高验证效率正成为解决验证复杂性的手段之一。本文针对STG（State Transition Graph）中状态枚举数据量大的问题,提出隐含遍历的状态映射策略。并根据状态存储和电路结构特征,重点研究了HASH表状态冲突处理、函数域限定、函数不相交分解和混合搜索等启发技术策略。     

一种高精度快速复合轴伺服系统分析─—数字位置差动瞄准线独立控制系统补充分析

本文是数字位置差动瞄准线独立控制系统的补充分析。重点分析了包括在其中的双检测器并联复合轴伺服系统开环和闭环传递函数,从中揭示了复合轴伺服系统高精度的本质。     

应用于有源消声的变换域LMS算法

针对自适应有源消声最常用的滤波—XLMS算法(FLMS)运算量小、收敛缓慢、宽带消声效果差等不足之处,利用误差通道滤波特性,提出了变换域滤波—XLMS算法。新算法的突出优点是收敛速度较快、宽带消声效果较好。     

潜艇占位可行性分析

目标、潜艇及其鱼雷武器系统和水文环境是潜艇鱼雷攻击的基本条件。占领射击阵位是攻击中所要完成的基本任务之一。从分析鱼雷射击可行域、潜艇机动可行域入手给出了在一定攻击条件下的潜艇占位可行域。     

雷达部署对进动目标微多普勒频率的可测性分析

以导弹攻防对抗中防御雷达对空间目标的微多普勒频率检测为背景,分析了雷达部署位置对进动目标微多普勒测量值的影响.理论上可证明,当目标的外形尺寸和进动参数确定后,微多普勒频率由进动轴和雷达视线的夹角(平均视线角)唯一决定.从雷达部署在弹道平面内不同区域以及雷达距弹道平面不同距离两方面出发,分析了微多普勒调制带宽随雷达位置的...     

随机系数线性方程组的正解问题

通过建立摩擦片磨损量的数学模型,引出了随机系数线性方程组的求解问题.通过分析其解的统计分布,给出了一个相关定理,阐明了解的分布为对称分布,且其负分量出现的概率大于零.利用优化思想,给出了在信赖域法下求数值化正解的近似解的算例.     

基于事件驱动的位置服务器设计

论述了基于普适计算的位置感知计算系统的功能和组成,阐述了位置服务器需要完成的3种服务,提出了基于事件驱动的位置服务器设计方案,并给出了其结构和工作过程,同时解释了其相关技术要点,为基于普适计算的位置感知计算系统提供了有效的解决方案.     

束流位置探测器的一种标定方法及误差分析

加速器运行时,须通过分析处理束流位置探测器拾取的信号,监测束流相对于管道中心的位置．文中介绍了一种对四电极型束流探测器的标定方法,并对误差进行了分析．     

Min-max 模糊 Hopfield 网络的一个基于容错性的学习算法

在一定的条件下证明了Min－max模糊Hopfield网络吸引子的吸引域随着连接权矩阵的减小而增大，在此基础上，设计了一个基于容错性的学习算法。在一定的意义下，用该学习算法得到的矩阵最小，从而此时系统具有最优容错性。最后用实例验证了结论。     

UWB-SAR成像算法中的插值方法研究

本文简单介绍了大处理角超宽带合成孔径雷达（ＵＷＢ－ＳＡＲ）波数域成像算法，研究了其中Ｓｔｏｌｔ插值的内容及其必要性，提出了几种插值方法来解决其中的插值问题。最后，利用所提出的几种插值方法进行仿真，得到了较好的聚焦效果，表明所提插值方法是有效的。