求解布尔不可满足子式的消解悖论算法

求解布尔不可满足子式在超大规模集成电路设计与验证领域都具有非常重要的理论与应用价值,帮助EDA工具迅速定位错误与不一致。针对求解不可满足子式的非完全方法,提出了消解悖论与悖论解析树的概念,在此基础上提出一种启发式局部搜索算法。该算法根据公式的消解规则,采用局部搜索过程直接构造证明不可满足性的悖论解析树,而后递归搜索得到不可满足子式;算法中融合了布尔推理技术、动态剪枝方法及蕴含消除方法以提高搜索效率。基于随机测试集进行了实验对比,结果表明提出的算法优于同类算法。     

基于ESPRIT的中段弹道目标特征提取方法

提出了一种新的弹道目标特征提取方法:对宽带雷达回波进行STRETCH处理后用ESPRIT方法估计其中频点,然后采用Gerschgorin半径方法进行散射源数目估计,去除虚假频率,获得目标散射点的数目、位置、散射中心强度等特征参数。与基于FFT算法的特征提取方法相比,这种方法具有更强的抑制杂波能力和更高的分辨率。仿真结果表明了该方法的有效性。     

AWGN信道下线性分组码的差错概率下界分析

提出了一种线性分组码的最大似然译码(ML-decoding)差错概率下界的计算方法。差错概率的下界优化实质上是对联合事件概率下界的优化,算法结合改进的Dawson-Sankoff界的优化准则,提出了AWGN信道下线性分组码差错冗余事件的判决准则,得到了误码率下界的计算表达式。该表达式只依赖码字的Hamming重量分布与信噪比,较之类deCaens界与类KAT界,本算法得到的下界更紧,计算量更低。针对LDPC等线性分组码的数值结果证明了算法的优越性能。     

921A钢在海水中腐蚀的力学化学效应

为了研究弹性应力和弹塑性应变对921 A船体钢在模拟海水中腐蚀行为的影响,采用自制的载荷-电化学实验装置对921 A钢在载荷与腐蚀介质协同作用时的开路电位、动电位极化曲线和电化学阻抗谱等电化学性能进行了测试,并由电化学阻抗谱拟合得到的电荷传递电阻定义载荷下的腐蚀速率修正因子,将实验得到的腐蚀速率修正因子与理论值进行了对...     

探索性分析在作战实验中的应用

现代作战系统特征复杂,采用当前的作战实验方法对作战运行规律进行分析研究时,层次较低、缺乏整体性、对作战行为指导意义不明显。针对此问题,结合探索性分析思想,提出一种基于探索性分析的作战实验方法,设计了方法的研究框架,给出了主要研究内容的关键技术解决方法。最后,进行了实例分析,结果表明,方法在作战方案优化方面能起到较好的效果。     

三维点云深度模型压缩算法

随着计算机三维视觉的广泛应用,近几年基于深度学习的点云处理算法得到了大量研究,而耗时耗存储的缺陷较大程度限制了其在移动端的部署应用。基于改进损失函数的总体思路,提出了一种新的点云深度模型压缩框架,将知识蒸馏方法引入二值量化模型中,同时考虑点云聚合操作的特殊性引入了辅助损失项,改进的损失函数共包括预测损失项、蒸馏损失项和辅助损失项三部分。实验结果表明,和已有算法相比,所提算法可以获取更高的精度,同时对当前点云主流深度网络模型也具有良好的扩展性。     

负载型钴基超细粒子催化剂的催化性能

采用共溶胶 -凝胶法和超临界干燥工艺 ,制备了负载型钴基超细粒子催化剂Co-SiO2 ,研究了该种催化剂对CO氧化反应的催化性能 ,并进一步考察了钴含量对其催化活性的影响。研究结果表明 ,该种催化剂在低钴含量 ( 1 %～ 2 % )时即对CO的氧化反应表现出高的催化活性 ,并具有优良的热稳定性和很宽的反应活性温度区域 ( 1 60℃～ 80 0℃ ) ;钴含量对其催化活性和稳定性有重要影响 ,在 0 1 %～ 2 %的含量范围内 ,随钴含量增加 ,催化活性和稳定性逐渐升高。     

基于FPGA的内容可寻址存储器研究设计与应用

内容可寻址存储器 (CAM )是一种快速匹配存储器件 ,在通信、雷达等许多领域有着广泛的应用。在介绍CAM基本原理的基础上 ,提出了在两类新型FPGA上实现CAM的设计方法 ,并讨论了两种基于CAM的新型关联比较器 (CP)实现途径 ,通过半实物仿真实验 ,验证了CAM和CP的实时信号处理性能。     

运用改进正交匹配追踪算法精确估计跳频信号跳变时刻

现有方法得到的跳变时刻精度不高、抗干扰能力较弱,为此提出一种运用改进正交匹配追踪算法的跳变时刻精确估计方法。根据跳频信号原理建立跳变时刻估计的稀疏表示模型,用改进正交匹配追踪算法求解该模型,获取跳变时刻。理论分析和仿真结果证明该方法能够获取高精度的跳变时刻,估计性能方面优于现有算法。     

机载脉冲多普勒雷达对运动目标可检测性模型分析

针对机载脉冲多普勒雷达检测目标时存在的径向速度盲区问题,通过建立载机与目标的相对运动模型的方法对检测盲区的产生原理进行分析,论述了载机与目标相对径向速度的求解方法,推导了目标可检测速度门限的表达式。仿真分析验证了本结论的有效性,说明此结论能够为研究改善机载雷达检测目标性能的方法提供可靠依据。