基于SAT的电路错误定位方法研究进展

随着VLSI芯片复杂度不断增加,功能验证与调试已占到整个芯片设计周期的60%以上。而错误的定位往往消耗大量的时间与精力,因此迫切需要一种高效的方法诊断与定位电路中的错误。针对近年来出现的许多电路错误定位方法,介绍了电路错误诊断方法的分类与工作流程,深入分析了基于SAT的错误定位方法的基本原理;对各种算法进行了概述评论,并简要介绍了在不可满足子式求解方面所做的一些研究工作,而不可满足子式能够显著提高错误定位效率与精度;讨论了电路错误定位技术所面临的主要挑战,并对今后的研究方向进行了展望。     

国民革命军军衔几种常见问题辨析

现在许多军衔相关书籍中，都对国民革命军军衔有诸多理解错误之处，甚至还有套用解放军军衔思维来理解国民革命军军衔的情况，也屡见不鲜，使得许多史学著作失色不少，有鉴于此，特将几种常见问题予以辨析，以纠偏正歧。     

共产国际与“左”倾“进攻路线”在中央苏区的推行

共产国际在制止和纠正李立三"左"倾冒险错误时,没有完全否定红军进攻中心城市的可能性。1931年11月,米夫致信斯大林,强烈要求联共(布)中央政治局通过决议,敦促中共将夺取中心城市的任务提上日程。"左"倾错误占统治地位的中共临时中央通过《中央关于争取革命在一省与数省首先胜利的决议》,正式提出与推行"左"倾"进攻路线"。毛泽东因坚决抵制"进攻路线"而受到批判,被剥夺对红军的领导权。博古等为在苏区推行"进攻路线",开展反"罗明路线"斗争。共产国际远东局也从幕后走上前台,直接推行"进攻路线"。     

教训也是财富

经验和教训是事物矛盾的两个方面。所谓经验,是指由正确或成功的实践中得来的知识;所谓教训,则为从错误或失     

探析“非接触作战”四样式

“非接触作战”是现代战争中武器装备占优势一方的惯用手段,主要有以下四种样式：     

二维正态分布不同方差小样本检验射击精度方法研究

讨论了在小样本条件下,如何检验不同方差的二维正态分布的方差问题,绘制了拒真概率α和纳伪概率β相等时的临界值曲线.模拟表明该方法对武器检验具有一定的意义.     

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

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

讲政治重在强化五种意识

讲政治,是对党员干部党性锤炼的根本要求,它不是抽象的理论问题,也不是一句空洞的口号,有着实实在在的内容,贵在积极实践,难在长期历练。作为一名党员干部,铸牢"讲政治"的坚强党性,重在强化五种意识。一、强化"一心向党、铁心跟党"的归属意识。坚持党对军队的绝     

舰载软杀伤技术对抗反舰导弹评述

舰载软杀伤武器依靠电子对抗资源来破坏敌反舰导弹对舰艇的捕获和跟踪,是舰艇主动防御武器之外对付反舰导弹的又一利器。文章对目前国外海军广泛装备的、对抗反舰导弹的舷外无源干扰和有源干扰软杀伤武器系统及其技术特点进行了详细评述,简要分析了未来舰载软杀伤技术的发展趋势。     

卧式储油罐罐体变位模型与罐容表标定

针对储油罐罐体变位影响油品计量精度的问题,建立了球冠形封头卧式储油罐罐体变位模型,将罐体变位后的油位高度转换成无变位时的油位高度,再利用罐体无变位时的储油体积计算模型得到变位后储油体积与油位高度的关系。分析了罐体变位对罐容表的影响,提出了一种基于最小二乘原理的变位参数识别算法,最后对该变位模型进行了检验,并采用插值算法重新标定了变位后的罐容表。结果表明:该变位模型与实际情况基本相符,变位参数识别算法能估计出罐体倾斜角度和偏转角度。