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

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

一种单站无源定位方法及其可观测性分析

利用非线性系统可观测性定理分析了径向加速度信息在目标运动分析(TMA)中的可观测性问题,得到径向加速度观测所能确定的目标状态参数及其需要满足的观测条件,从而证明一种联合径向加速度和角度信息的单站无源定位方法的可行性,并分析其可观测条件和可观测度。通过计算机仿真验证了讨论的结果。     

通用导弹告警设备的试验和研究

导弹在进攻时,其截面相当于一个偶极子天线或单根箔条,利用导弹对特定频率雷达信号的谐振特性来增大目标的散射截面积。通过反辐射导弹告警实验设备系统的实弹打靶试验,验证了该理论的正确性和可行性。     

浅谈如何应对边境地区“难民潮”

近年来,世界爆发的多起局部武装冲突,造成了一次又一次的“难民潮”,如何预有准备、有效处置“难民潮”,是值得重视和研究的一个问题。处置“难民潮”,应着重把好“八关”。即封边关、引导关、登记关、审查关、检查关、输送关、管理关、保障关。其中封边、引导是准备,登记、审查、检查、输送是基础,管理是关键,保障是重点。一要把好封边关。当边境出现“难民潮”时,应增加边防兵力,对边界全线实施封闭管控,防止难民无序涌入。二要把好引导关。就是在迅速完成收容站和监管区开设的同时,还要在边境一线的重点地段和部位设立明显标识,引导难民…     

潜在故障状态可测的一种故障检查模型

从系统的功能故障状态和潜在故障状态两方面讨论了故障检查模型,基于延迟时间模型推导了系统的期望可用度模型并对其适用性进行了讨论与验证。     

可穿戴计算机人机对话零距离

(接上期)四、应用领域目前,无论在学术界还是企业界,可穿戴计算技术都已形成了一个新的领域。可穿戴计算机的根本特性是无线通信、持续工作、携带容易和操作方便。这些特性使其应用范围非常广阔,可广泛应用于工业、军事、情报、新闻、医疗、商业、农业、金融与证券、抢险与救灾乃至日常生活等领域。它与UC技术、智能化住宅、智能化商业、智能化交通等的结合将使未来人类的生活方式发生巨大的变革,进入一个高度数字化和自动化的时代。1.工业最有潜力的应用领域之一,特别是在室外、野外、水下等一些特殊场合,可穿戴计算机可发挥出非常重要的…     

激情可克达拉——随中央电视台拍摄《从天山到江南》随笔

一个好的艺术家,他总是和激情伴随同行。无论他是韶华英年还是自发皓首,你在他身上永远能感受到一种激情在奔腾不息。特别是当他回归到生活的源头时,这种情感便会更加激越奔放,犹如江河行地,一泻千里,奔流到海……     

针对KMC局部最优问题的飞蛾捕焰优化方法

针对传统飞蛾捕焰(MFO)算法求解复杂函数时后期收敛速度慢与求解精度较低等问题,提出了一种基于快速收敛的飞蛾捕焰(RMFO)算法.采用最大最小距离积的方法来初始化飞蛾群,能够提高算法全局收敛速度并且优化解的质量,同时构造出MFO算法的适应度函数作为寻优函数.将RMFO算法和有K均值聚类算法(KMC)进行交叉迭代,构建基于RMFO优化的KMC算法,求解聚类中心时能够改善聚类性能,可以解决现有KMC算法选取初始聚类中心不确定陷入结果局部最优的问题.实验结果表明,通过用UCI国际通用测试数据库的Iris、Wine和Glass 3种数据集,对RMFO算法和优化KMC算法进行性能测试,提出的RMFO算法更加精准,收敛速度快,不易陷入局部最优解,同时,优化KMC算法的聚类性能更好.     

浅析应急作战背景下的局部动员

未来应急作战,省军区系统主要担负以保障部队作战行动为主的动员支前、以城市防空为主的防卫作战、以参加夺取制信息权为主的信息作战、以及实施佯动行动等任务。应急作战局部动员主要围绕上述任务,在信息战、空袭战等高强度敌情威胁下实施,动员对象多、防护任务重、组织实施复杂。加强应急作战局部动员的探索与实践,对于加快军事斗争准备步伐,具有极为重要的意义。应急作战背景下的局部动员,主要具有以下特点。一是应急作战突发性强,动员时间紧迫。应急作战,在作战行动上具有突发性,动员准备时间短、节奏快。组织人员、物资、装备动员征集…     

资讯——基层

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