应用不可满足子式的解码电路综合优化方法

解释布尔公式不可满足的原因在很多领域都具有实际的应用需求,而最小不可满足子式能够为诸如电路的自动综合等应用领域中的不可满足原因提供最精确的解释。因此,将两种能够高效求解最小不可满足子式的算法——分支-限界算法与贪心遗传算法,集成到解码电路的自动综合工具中。采用通信领域的标准编码电路作为测试集,将两种算法进行对比。实验结果表明,在运行时间与每秒剔除的短句数方面,贪心遗传算法优于分支-限界算法;不可满足子式在解码电路的自动综合过程中发挥重要作用。     

舰载导弹火工品点火电路安全技术研究

介绍了舰载导弹火工品点火电路的基本要求,针对舰载导弹火工品点火电路的特点,为保证舰载导弹火工品点火电路的可靠性、安全性、电磁兼容性,提出了舰载导弹火工品点火电路必须采取的安全措施,最后得出了结论性的意见。     

基于PXI总线的雷达装备通用模块接口电路设计

为做好对部队雷达装备日常性能的检测与维护,充分保障其性能的可靠性,研制开发了基于PXI总线的雷达装备性能检测模块。在对模块的接口电路的设计中,采用目前流行的PCI9030接口芯片,简化了设计难度。经实验验证,采用该方案的各模块都实现了相应的功能,达到了预期的设计目的。需要改进的方面是接口电路中热插拔部分性能的可靠性有待进一步提高。     

支持向量机技术的雷达板级电路快速故障诊断

介绍了支持向量机的基本原理.针对目前雷达装备诊断过程中存在的可更换板级电路多、传统诊断方法不理想等问题,提出了一种基于支持向量机的雷达板级电路快速诊断方法.建立了故障诊断样本训练和测试平台,对某型雷达预调器板进行了故障诊断实验.结果表明,该方法诊断准确性高,比其他方法更为快速有效,较好地解决了雷达可更换板级电路的故障诊断问题.     

故障诊断中的测试节点优选方法

针对模拟电路故障字典法诊断中测试节点选择问题进行了分析研究。在故障模糊集划分的基础上,根据故障信息量,建立了实时故障树的节点优选方法。实际应用表明,该方法大大了减少测试节点数,提高了诊断的正确性和实时性。     

射频发射模块非线性效应的消除方法

射频模块存在相位特性的非线性效应,群延迟随频率的变化不再是一个常数,并可能造成输出射频信号的波形失真,而影响精密射频信号源的输出精度。基于递归最小二乘算法的自适应滤波器,提出了消除其非线性效应的新方法。并以GPS模拟源为例,利用其自校模块,采用软件无线电和数字信号处理技术,精确估计出射频模块的模型参数。将基带合成信号通过一个数字逆滤波器,以消除相位的非线性和群延迟随频率的变化。利用自编的仿真程序包,在Matlab中进行了相应的模拟计算。仿真结果表明,该方法可有效地消除相位非线性效应对射频信号的影响,输出信号的波形失真在理论上可控制在0.01%以内。     

一种冲击信号调理电路的设计

针对测量冲击信号时,高冲击振动传感器输出的正负电荷信号不能直接被AD进行模数转换并且冲击信号中常常会混有噪声信号的问题,设计了一种包含电荷-电压转换、隔直放大、十阶抗混叠低通滤波等的冲击信号调理电路.并对冲击信号调理电路中各个模块进行了理论分析和节点参数的计算.通过实验:实际测量到的滤波曲线、冲击信号调理电路输出的电压都与理论计算值十分接近.此冲击信号调理电路能够成功地将传感器输出的正负电荷信号调理成一定范围内的电压信号,能够有效地滤除冲击信号中的高频噪声.     

旋转弹自动驾驶仪电路实现及数字化处理技术

给出了某旋转导弹的自动驾驶仪电路实现,通过电路特性分析和功能仿真,验证了电路设计的正确性.利用导引头数字信号处理(DSP)对模拟电路进行了数字化处理,实现了自动驾驶仪电路数字化.     

改进的笛卡尔遗传编程组合电路演化设计

利用笛卡尔遗传编程进行电路演化时,存在收敛速度慢、收敛时间波动较大等问题．对笛卡尔遗传编程中的可编程单元模型进行改进,增加与目标函数相关的逻辑运算,去除无关的逻辑运算,从而提高演化算法命中目标的概率．利用改进的笛卡尔遗传编程方法分别对电机换相电路和乘法器等组合电路进行演化设计．结果表明,改进后的方法明显缩短了电路演化生成的时间,且收敛时间波动较小．     

基于演化母板的EHW平台上电路的演化生成

提出一个基于演化母板的新型演化平台,介绍了它的系统结构及工作原理。进而,以一位全加器为例,详细阐述了在基于演化母板的EHW平台上,利用遗传算法演化生成一个具体电路的方法及实现效果。