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

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

单星定向原理及GPS仿真试验

介绍了一种新的卫星定向方法,该方法仅利用一颗地球静止轨道卫星完成定向;介绍了利用GPS卫星进行单星定向原理验证试验的方法、条件和结果。试验结果表明,对于3m长基线,单星定向精度可达0.05°。从而说明利用一颗地球静止轨道卫星进行定向,在原理上是正确可行的。     

协会如何实现服务功能——来自陕西军两用技术开发服务协会的实践和思考

去年至今,陕西军民两用技术开发协会在陕西省国防科工委的直接领导和有关政府部门的指导下,在各企事业单位及会员单位的大力支持下,坚持科学技术是第一生产力的方针,紧紧依托强大的陕西军工科技资源,积极推动先进的军工技术向军民领域转移,在充分发挥桥梁纽带作用促进科技与资金联姻,帮助会员单位开发国内外市场等方面开展了卓有成效的工作,取得了较好的效果。1、积极推动军工科技向民用领域转移,为军工民品开拓市场铺路架桥。积极推动军工科技向民用领域转移,以军工科技拉动区域经济增长,既是新时期军工企业贯彻军民结合方针的一项历史使命…     

基于双基阵的高炮弹丸炸点被动声定位研究

被动声定位技术在许多领域中有着广泛的应用,但定位精度低一直是影响其工程应用的关键问题之一。在研究单基阵被动声定位技术的基础上,提出了基于双基阵的被动声定位基本原理和方法,并对高炮弹丸炸点的被动声定位进行了仿真实验。仿真结果表明,采用双基阵对高炮弹丸炸点进行被动声定位,其精度有较大提高,克服了单基阵定位精度低的不足。此原理和方法同样适用于对其它三维空中目标进行被动声定位。     

地球静止轨道粗定位的北斗系统接收机快速定位方法

传统全球导航卫星系统信号发射时间的整毫秒恢复算法,在接收机概略位置未知时存在计算量剧增而无法应用的问题。利用北斗系统混合星座中GEO卫星电文速率高的这一特点,提出一种基于GEO粗定位的北斗接收机快速定位的方法。在接收机概略位置完全未知的情况下,使用已获取完整信号发射时刻的纯GEO星座进行粗定位,根据解算获得的概略位置对非GEO卫星发射时刻毫秒整数时间进行恢复,利用所有可见卫星进行精确定位。使用国际全球连续监测评估系统测站观测伪距对算法进行验证,国内测站可100%实现伪距恢复,完成快速定位。仿真遍历中国区域用户,在仿真伪距增加均值为0,标准差为6m噪声,截止仰角为0°时,中国附近区域实现快速定位概率均大于98.68%,其中约80%的中国附近区域可以100%实现卫星信号传输时间恢复并完成快速定位。     

析当前我国军工企业内部控制的实务操作

<正>现代企业的内部控制制度在一定程度上决定了企业所存在的风险的大小。因此,必须在企业层面、业务层面及诸多方面采取切实可行的措施,才有可能尽量减少企业的财务风险,以确保企业财务系统及经营工作尽可能的安全运行。从长远看,随着经济的不断发展和企业状况的不断改善,内部控制的目标定位应以企业层面控制和业务层面控制作为重点。对企业内部控制所出现的问题实务操作有以下几个方面:一、企业层面控制的实务操作企业层面控制是指对企业控制     

加强基础工作推动军民结合产业发展

建立良好环境,借助战略性新兴产业发展的时机,加速军工先进技术成果转化,着力扩大军民结合产业的辐射带动效应军民结合产业的统计口径等基础问题需进一步明晰随着军民融合深度发展,军民结合产业的覆盖面从传统逐步扩大,向新材料、新能源、高端装备制造等新兴产业延扩的趋势日益明显。由于尚未对军民结合产业的概念界定和分类标准形成统一的认识,产业分类目录也尚未建立,国家有关部门以及各地、各部门在统计口径上缺乏统一规范,容易造成统计口径"扩张虚化"的问题产生,无法     

基于无线传感器网络的近场声源定位技术?

针对近场环境下声音信号的特点,采用TDOA算法对声源进行定位。为了获得较为理想的时延估计,提出了一种锚节点挑选和时延估计策略,剔除误差较大的节点,挑选最优锚节点参与定位。针对求解过程中出现的多解问题,提出一种区域判别法则,对目标位置进行多重判断后再求解,减少了参与计算的方程数量,在不影响定位精度的前提下降低了系统计算量,并与其他方法进行对比。实验表明,该方法相比于其他方法计算量明显减小,并且精度较高,具有较好的定位效果。     

基于卫星定位的弹道修正弹控制参数解算方法

介绍了近年来国外基于GPS定位的弹道修正弹发展情况,分析了一维、二维弹道修正弹的技术特点,结合工程应用分别提出了一维、二维弹道修正弹求取修正控制参数的策略和方法。射击试验和仿真实验结果表明该方法具有可行性和有效性。     

多站时差与多参数联合分选定位方法

多站电子侦察系统中,两个观测站接收到的脉冲信号到达时间差可以用于分选和定位。针对复杂信号脉间信息关联性弱,不能对脉冲数极少的信号进行分选的问题,提出一种多站时差与多参数联合分选定位新方法。该方法利用时差窗先验信息,将主站和所有副站脉冲同时进行多站时差和多参数联合预分选,并将预分选结果按位置进行融合,得到最终分选和定位结果,能对脉冲数极少的信号进行分选定位,甚至可实现单个脉冲的分选定位。仿真结果表明了该方法的有效性。