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

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

基于深度优先搜索与增量式求解的极小一阶不可满足子式提取算法

随着寄存器传输级甚至行为级的硬件描述语言应用越来越广泛,基于一阶逻辑的可满足性模理论(Satisfiability Modulo Theories,SMT)逐渐替代布尔可满足性(Boolean Satisfiability,SAT),在VLSI形式化验证领域具有更加重要的应用价值。而极小不可满足子式能够帮助EDA工具迅速定位硬件中的逻辑错误。针对极小SMT不可满足子式的求解问题,采用深度优先搜索与增量式求解策略,提出了深度优先搜索的极小SMT不可满足子式求解算法。与目前最优的宽度优先搜索算法对比实验表明:该算法能够有效地求解极小不可满足子式,随着公式的规模逐渐增大时,深度优先搜索算法优于宽度优先搜索算法。     

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

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

忆阻器类脑计算芯片研究现状综述

为把握忆阻类脑芯片发展现状并总结其发展趋势,对现有忆阻类脑计算芯片与架构进行了调研,对芯片中所采用的忆阻器阵列结构和集成工艺、前神经元电路、后神经元电路、多阵列互连拓扑结构与数据传输策略,以及芯片设计过程中所采用的系统仿真和评估方法进行了对比分析。总结出当前忆阻类脑计算芯片电路设计仍需解决忆阻器可用阻态少、器件参数波动性大、阵列外围电路复杂、集成规模小等问题,并指出了该类芯片走向实际应用仍然面临着忆阻器生产工艺提升、完善开发工具支持、专用指令集开发、确定典型牵引性应用等挑战。     

大学生学业延迟满足现状调查分析

[目的]了解大学生学业延迟满足现状.[方法]采用大学生学业延迟满足问卷对新疆某两所高校在校大学生进行了调查,共发放315份问卷,收回有效问卷297份,问卷有效率94.3％.[结果](1)将大学生学业延迟满足得分分为高中低三组,学业延迟满足高分组的大学生占整体抽样的18.86％,中间组占68.69％(M1中 =28.38＜M1总=28.90),低分组占12.46％;在课堂学业延迟满足维度上,高分组占84.18％,中间组占14.81％(M2中=12.73＞M2维度=11.67),低分组占1.01％;在课下学业延迟满足维度上,高分组仅占23.91％,中间组占61.28％(M3中=6.09＜M3维度=11.22),低分组占14.81％.(2)大学生学业延迟满足存在学历(F=4.239,P=0.006)、民族(F=5.028,P=0.002)、家庭所在地(F=5.349,P=0.005)上的显著性差异.[结论]大学生的学业延迟满足能力普遍较低,且在课堂学业延迟满足和课下学业延迟满足能力上存在较大差距.     

定位定向导航系统轴角/数字转换的设计

介绍自行火炮定位定向导航系统中一种实现轴角-数字转换的设计方案。叙述了多极旋转变压器和旋转变压器/数字转换器AD2S80A的特点、工作原理及其粗精结合方法,给出了基于嵌入式计算机PC/104与AD2S80A芯片实现轴角-数字转换的接口电路与工作时序图,以寻北仪的转位控制为例,说明了该转换方法在自行火炮定位定向导航系统中的具体应用。     

故障字典法的区域性故障定位

本文针对故障字典法在电路故障诊断中存在低效率的问题,提出了区域性故障定位的方法,即将所考虑的故障划分成不同的区域,通过对故障所在的区域进行定位,提高故障检测效率。并举例说明了该方法的实际应用。     

基于类神经网络模型的电路自主修复方法

为进一步提高电子系统在恶劣环境下的生存能力,对利用演化硬件实现电路自主修复的方法进行了研究。首先,根据FPGA芯片与多层前馈神经网络的相似性,建立了一个可用于数字电路演化的门级电路模型,设计了专用的二进制列向量编码方法;然后,给出了实现电路自主修复的工作流程,探讨了进行电路故障诊断和修复的途径,提出了快速重构与演化相结合的电路修复方法。Matlab仿真试验表明：基于类神经网络模型的遗传算法较适合进行演化修复操作;修复效果分析表明：快速重构与演化修复相结合的修复方法比单纯依靠演化修复更为便捷。     

轴角编码器中的叠加三角波技术研究

针对基于DSP的轴角编码器,运用叠加三角波理论提高A/D转换的分辨率。介绍叠加三角波理论,并结合基于DSP的轴角编码器,对三角波信号的参数设置进行研究,从而有效的提高A/D转换的分辨率。利用叠加三角波法加适当的外围电路,与外接高分辨率的ADC芯片相比,具有更高的性价比,较好的满足轴角编码器对A/D转换的需求。     

基于GCA-TOPSIS的保障能力需求满足度评估方法

从保障能力的形成过程出发,提出了保障能力需求满足度的概念,并分析了其中的含义,指出可从贴近度和关联度两方面去评估满足度。介绍了利用灰色关联分析法和理想解法评估满足度的方法步骤。最后,给出了保障能力需求满足度评估的案例。     

基于DSP+FPGA的飞控系统硬件平台设计

针对某浮空器飞控系统多接口通信、低功耗、小体积、低成本的应用需求,设计了基于DSP+FPGA的飞控系统硬件平台。介绍了硬件平台总体结构设计;对飞控系统的接口资源模块及系统电源模块进行了设计;通过单板调试和搭建集成测试平台对硬件平台的硬件特性及接口功能进行了验证。验证结果表明:硬件平台具有高数据处理性能、良好接口协同工作能力、低功耗、开发成本低等特点,能够满足飞控系统的工作需求。此硬件平台可广泛应用于导航监测领域,为今后飞控系统的设计提供了广阔的思路。     

基于C3D辅助的战场传感器监视系统设计与实现

首先介绍了战场传感器监视系统的定义和各国现有典型系统。其次针对战场监视特殊的应用环境,利用C3D辅助技术,将相对定位与基于三维地图环境下的绝对定位相结合,通过坐标转换和地图匹配将位置信息直观准确反映在电子地图上,设计了基于C3D辅助的战场传感器监视系统,并对该系统进行了实现。最后通过对3D-MDS(C,D)定位算法的验证结果表明,在长1000m×7m宽的道路上,布撒120个节点,对于速度为3m/s的装甲车定位误差仅为2.1687米。该系统可对定位算法的定位精度进行评测及误差进行修正,防止由于误差累积造成误差放大。     

实现信号衰减的程控电路

本文介绍线路设计中所应用的两种程控信号衰减电路。这两种电路容易实现,使用简便,具有较大的衰减范围,实现了信号衰减控制自动化。显示出比纯电阻手控衰减电路更优越的性能。     

舰炮武器系统动态误差检测方法

舰炮武器系统动态误差是系统动态性能的重要指标,精确测量舰炮武器系统动态误差一直是比较困难的问题,提出一种比较先进的动态误差测量方法,可以按给定间隔时间连续测量和录取舰炮不稳定方向瞄准角和高低瞄准角动态误差,监测系统的动态过程.对舰炮武器系统动态检测和调试,提高系统射击精度有较大的现实意义.     

大型试件砂尘试验风洞有效吹风截面的论证

通过分析大型试件砂尘试验需求和现行军用标准,提出采用直吹式砂尘试验方式,实现整车状态的砂尘试验,并说明这种试验实施方法的科学性.依据射流理论并通过计算,得出距离吹风口不同位置处各个截面上的理论有效吹风截面,通过有效吹风截面与大型试件尺寸比较,说明这种形式的砂尘试验设备对常规武器系统具有很强的适应性.这项研究工作对砂尘试验设备的设计、调试和操作使用等具有技术指导作用.     

面向DSP的嵌入式远程调试环境设计

针对目前DSP软件开发环境存在的不足,提出了基于GDB构建远程调试环境的方案。介绍了GDB远程调试原理,详细讨论了远程调试环境设计中关键技术——调试服务器的设计。以TMS320C674x DSP为目标平台,对方案予以实现,针对C674x DSP特有的可变长指令和超长指令字架构,描述了调试服务器相应的实现方法。实验结果表明,基于GDB构建的面向DSP的嵌入式远程调试环境能够满足DSP应用软件调试的需要。     

并行设计技术在模拟训练仪研制中的应用

针对模拟训练仪传统开发方法中存在的问题,在新一代产品研制过程中引入并行设计方法.阐述了并行设计技术的基本概念,详细研究了并行设计技术在需求论证、概念设计、详细设计、工艺设计、生产和调试等各个阶段的具体应用,总结了并行设计中采用的建立协同工作环境、建立并行开发模型、建立产品数据库等关键技术,并指出了影响并行技术有效实施的关键所在.结果表明,与串行设计方法相比,并行设计方法的应用缩短了研制周期,提高了设计制造质量,降低了成本,取得了较好的经济效益和用户满意度.     

基于EV模型的惯导平台误差分离方法

针对惯导平台误差分离过程中输入输出观测数据均含有噪声的问题,应用基于EV模型的总体最小二乘方法进行误差分离.给出了惯导平台的误差模型及误差观测方程,介绍了EV模型及总体最小二乘方法,分析了利用车载试验进行误差分离时平台的安装方式以及所需的外测信号等问题.应用最小二乘法和总体最小二乘法进行仿真对比研究.仿真结果表明,基于EV模型的总体最小二乘法对惯导平台的误差系数分离精度较最小二乘法要高.     

K故障诊断在坦克炮控系统中的实现

K故障诊断法是一种计算量较小,主要应用于线性网络的模拟电路故障诊断方法,实施比较方便,具有很好的实用价值。通过对炮控元件操纵台诊断网络拓扑结构的设计、激励选定、计算和实验,实现了对操纵台的故障诊断。进一步提出炮控系统的故障诊断设备要着眼于故障诊断方法而不是检测方法。最后对K故障诊断法做了应用分析,供实践参考。     

基于STM32的导航设备模拟板设计

设计了一个基于STM32系列微控制器的导航设备模拟板,模拟了导航设备的各种功能。模拟板能够模拟雷达导航接口的如下信号：ARINC 429总线数据输出、数字-自整角机输出（模拟航向信号）、DA数据输出（模拟偏航距）、DO数据输出（模拟主警告和偏航距标志）。板卡采用USB总线接口与上位机通信。详细介绍了模拟板的系统结构,给出了硬件系统的详细设计,并详细讨论了模拟板的STM32微控制器固件程序设计、USB驱动程序设计。硬件调试和真实环境测试表明,设计的模拟板满足了导航设备模拟的需求,便于外场测试。