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

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

Laplace分布的均值被半序约束时的极大似然估计

讨论了Laplaoe分布中,方差已知的情况下,均值θ在简单半序约束下的最小L_1保序回归(ML_1IR),就最小L_1保序回归的唯一性以及一些其它性质予以了讨论,并且给出了计算方法。     

基于柔性基础的双层隔振系统概率灵敏度分析

对基于柔性基础的双层隔振系统的功率流传递特性进行了分析,利用有限元分析软件ANSYS计算了传递到基础的功率流,并用概率灵敏度分析方法研究了功率流对隔振系统给定参数的灵敏度,为双层隔振系统的优化设计奠定了基础.     

世界上最小的9mm手枪——罗哈博夫R9和R9S手枪

小手枪具有携带隐蔽、使用方便和适合用作个人自卫武器等特点,受到很多人的欢迎。最近,美国罗哈博夫（ROHRBAUGH）枪械公司推出了两款名副其实的小手枪——R9和R9S手枪。该枪全长132毫米,高94毫米,重0．36千克,配用9毫米标准手枪弹。目前,该枪是能发射9毫米标准手枪弹的最小手枪。R9和R9S两款手枪的区别在于,R9S手枪带有机械瞄具,而R9索性连机械瞄具也取消了。     

基于PCA-LM的空战目标威胁评估

空战过程中态势瞬息万变,获取敌目标的威胁是我方取得攻击占位优势和采取战术规避的前提条件。提出主成分分析法和阻尼最小二乘法相结合的回归模型对目标的威胁进行评估。利用主成分分析法,分析指标之间的相关性,转化成相互独立的分量,确定主成分分量,重构目标威胁评估体系;对目标威胁与主成分分量进行回归分析,利用阻尼最小二乘法对回归模型参数进行估计,得到主成分分量与目标威胁之间的统计关系;利用目标威胁估计值与实际值之间的误差大小,验证了回归模型的有效性。消除了指标之间的相关性对评估结果的影响,提高了评估结果的客观性,解决了传统评估方法忽略指标之间耦合性的问题。     

基于舰炮最大命中概率的舰船航路规划方法研究

为提高舰船在对陆火力支援中的战斗力,提出一种向岸上静止目标行进的舰船航路规划方法.建立舰船主炮的弹丸外弹道方程和命中概率模型,当获得敌目标信息后,计算在不同目标距离和目标舷角下舰炮对敌目标的命中概率,将各距离下最大命中概率对应的我舰位置连接即可形成舰船航路轨迹.仿真结果表明,在该航路上,我方舰炮可时刻保持当前距离下对敌...     

基于复杂网络理论的防空体系反飞机能力分析

针对现代防空体系网络化的特点,运用复杂网络的相关知识,构建了防空体系网络化模型。结合飞机编队突防概率数学模型进行仿真计算,得到了飞机编队对不同网络特征的体系的突防效果,为构建、优化防空体系结构提供参考。     

改进的遗传算法在图像边缘提取中的应用

提出了一种改进的遗传算法,采取了确定性采样选择算子对选择算子进行了改进;明确了非等概率融合单阈值单点交叉算子,对交叉算子进行了改进;同时还提出了一种新的变异算子,它依据一种新的判断群体"集中"与否的准则,根据群体的进化程度自适应地调整变异概率pm的值。将改进的遗传算法用于图像的边缘提取问题中,试验结果表明,与穷尽法和普通遗传算法相比,提出的算法在保证有效地提取出边缘的基础上,节省了运算时间。     

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

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

让先进典型的示范作用持久发挥

被西方尊为"医学之父"的古希腊著名医生、欧洲医学奠基人希波克拉底,写下了举世闻名的《希波克拉底誓言》,这个誓言以"视病犹亲"为核心,被医学界视为医学道德准则。