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

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

线性回归模型系数岭估计的改进研究

对作者提出的c-k型估计,进行了进一步的研究.证明利用Stein式压缩技术可以改进岭估计(在均方误差意义下);同时给出了参数的最优值满足的条件.证明了c-k型估计的可容许性.文中的方法为病态线性回归模型系数的有偏估计提供了改进的技术途径.     

资讯——基层

南航为学子开通“境外留学直通车”,诺贝尔化学奖获得者克鲁岑教授到北航演讲,东方集团公司推行中层经营管理者年薪制,六0二所激情决战重点工程,新型可展缩移动房车开发成功     

这里的国防分外绿——记营口市路南镇党委书记王奎顺

在美丽富饶的滨城营口市,有一个正焕发着勃勃生机的经济建设强镇——路南镇。它不仅是营口地区经济建设的排头兵,而且也是营口地区党管武装工作的示范兵。路南镇的民兵预备役工作曾3次被国防部和总参谋部、总政治部评为“全国基层民兵预备役工作先进单位”,多次被沈阳军区、辽宁省委、省政府和省军区评为先进单位。这些优异成绩见证着该镇党委书记王奎顺同志爱武装、抓武装、精武装,倾情国防建设的赤子情怀。     

火力分配的优化算法

火力分配问题可以看成是一个 0-1规划问题,传统的 0-1规划算法比较复杂、运算量大,优化算法对 0-1规划问题经过枚举、可重复排列和m位n进制数的转换,使运算次数从 2m×n次减少到nm次。该算法有两个特点:一是精简幅度大,将 0-1规划问题转化为可重复排列数的问题时,可以将 2m×n个情况转化为nm个情况;二是通用性强,利用可重复排列数转化为m位n进制数,将不通用的不定次循环问题转化为一次循环问题。利用优化算法可以很容易地解决任务分配、火力分配、弹药运输等问题。     

镇边将军赋

风雨满山河,感时投笔,书生岂吟弄风月?危难起才俊,慷慨从戎,将军本燕赵男儿。忍看神州板荡,敢欺中华无人?组民军,举义帜,云集万众,足见少帅胸襟风采;战倭寇,斗伪顽,游刃千里,长令敌酋闻名胆寒。倾盖相交河北,如虎添翼,吕正操感慨热血忠义;风云际会津南,得士若狂,贺老总讶异英雄少年。由司令而团长,何计一身得失?变独立为依归,早怀忠诚信念。     

苦乐年华献米兰

1960年10月,我们一行40人从库尔勒地区亚特玛斯林场调到米兰镇三十六团(当时叫地方国营米兰农场)。汽车在路上走了3天时间。到米兰后,我们步行到团副业连报到,一路上都是沙包,没有路可走。副业连没有住房,大家就各自在红柳多的背风处找地方宿营。休整了     

运动船舶磁性船体产生的感应电场

为了研究运动船舶磁性船体产生的感应电场,以库伦定律和毕奥-沙伐定律等电磁场基本理论为基础,对磁偶极子运动产生的感应电场进行了建模,通过实验证明了分析方法的正确性,解决了以往模型适用范围窄、准确性差的问题;并以磁偶极子感应电场模型为基础,得到了磁性船体的感应电场模型,利用实船的磁场数据进行了实例计算,得出船舶附近感应电场可达1m V/m,达到了可探测水平。     

任意寿命分布下k/N(G)系统定时维修决策模型

针对大型k/N(G)系统维修保障特点,提出了一种定时维修策略。以系统使用可用度为约束条件,以系统期望维修费用率最小化为优化目标,建立了任意寿命分布下k/N(G)系统定时维修优化模型,并提出了一种求解模型的数值迭代算法。实例分析表明,该模型既能计算定时维修策略下k/N(G)系统使用可用度和期望维修费用率,又能确定最佳的定时维修间隔期和最佳的换件维修人数,可为k/N(G)系统预防性维修提供决策支持。     

基于稀疏A*算法的微小卫星飞行姿态静环境规划

提高微小卫星的低可观测特性能够有效提升微小卫星的使用效率和生存能力,因此,设计了一种以稀疏A*算法(SAS)为基础的微小卫星低可观测飞行姿态静环境规划算法。通过对微小卫星的俯仰角,方位角和横滚角等姿态角进行调整,从而可以有效降低微小卫星在威胁雷达方向上的RCS值,提高微小卫星的低可观测特性。通过对工作频率在S波段和VHF波段的威胁雷达对微小卫星的威胁性进行仿真,结果显示规划后微小卫星的低可观测性能明显改善,满足飞行姿态规划的需求。