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

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

双站无源定位最佳配置分析

为了提高双站无源定位精度,在全局坐标系下分析了双站纯方位定位系统的最佳配置形式。首先研究了最小GDOP(Geometric Dilution of Precision)意义下的方位角约束关系及最优夹角,得到双站的最佳配置形式是目标与两传感器间呈一确定夹角的等腰三角形;在此基础上,讨论了夹角对GDOP的影响进而提出有效定位区域的概念,指出只有当目标位于该区域内时双站才能获得较好的定位精度。仿真结果验证了上述关于最佳配置形式及有效定位区域的分析,指出该结论可以应用到基于传感器管理的多站无源定位算法中。     

排除虚假交叉定位点的新方法

多站测向交叉定位法是无源定位方法中应用较多的一种,但该方法易产生大量虚假定位点。针对这个问题,提出了一种排除交叉定位中虚假点的新方法。该方法以两个观测站为主站,其他观测站为辅站,利用辅站数据对主站数据进行筛选及反馈从而快速排除两主站中的虚假点。仿真结果表明,该算法能够快速、准确地排除虚假定位点。     

向南发展 优化兵团战略布局

以向南发展为重点,着力优化兵团战略布局,这既是中央的命令、自治区党委的要求,也是新疆形势的需要;既是兵团职责所在,也是新时期发力重点;既是当务之急,更是战略之举以向南发展为重点,着力优化兵团战略布局,兵团将在以下六个方面发力     

模拟电路中非零交叉情况下故障最小范围的确定方法

为确定模拟电路非零交叉情况下故障元件存在范围,提出了一种K故障下诊断的新方法。它是一种确定故障元件存在的最小范围的方法,即在十分现实的K故障下,确定能代表电路所有元件并给出在K故障假设下的最优可测试元件组,使故障定位工作只局限于该组元件。通过可测试值计算和规范式不确定性组与最优可测试成分组的确定,可以诊断故障元件的范围。     

基于IGSO卫星的多普勒定位单向授时方法研究

针对导航战、城市或者室内环境中,可见卫星数目小于3颗,用户位置未知时,接收机无法完成授时等问题,并结合我国已有卫星导航系统(北斗和CAPS系统)现状,提出了一种基于IGSO卫星的多普勒定位单向授时方法。该方法通过测量卫星信号的多普勒频移,采用积分多普勒计数计算用户位置,完成单向授时功能。分析结果表明,使用3颗IGSO卫星搭载透明转发器载荷,可使我国领土范围内的定位授时可用性基本达到100%;静态观测用户,长期测量定位精度可达3m以内,授时精度误差小于100ns。由于该方法最少只需观测1颗IGSO卫星信号,这为导航战背景及微弱信号环境下的定位授时服务,提供了新的解决方法。     

基于递推最小二乘的单站无源定位仿真分析

为达到无线射频注入的定位精度和实时性要求,提出采用递推最小二乘算法(RLS)进行定位.首先讨论了无线射频注入的定位精度需求,建立了机载无源单站定位模型,得出了最小二乘(LS)解.然后依据无线射频注入的实时性要求将其转化为递推形式.仿真结果表明,RLS算法与LS算法的定位精度和收敛速度接近,但前者实时性好,运算复杂度低,所需存储空间小,能够满足无线射频注入的定位需求.最后依据仿真结果给出了提高定位精度和收敛速度的措施.     

距离伪量测的空基平台单站无源定位算法

针对空中观测单站平台对海面、地面目标的测向定位问题,提出一种基于距离伪量测的最小二乘-不敏卡尔曼滤波(LSE-UKF)两阶段滤波算法。首先利用单次的测角信息以及目标离地高度的约束条件计算出目标的距离,采用最小二乘法对距离量进行滤波,得到较为准确的距离量。进一步将滤波所得距离量视为伪量测信息,结合观测所得的角度信息进行不敏卡尔曼滤波。仿真实验表明该算法提高了定位精度并且具有较快收敛速度。     

世界电子信息装备发展研究

近年来,信息系统建设围绕一体化、网络化全面推进,态势感知、信息基础设施、通信系统、导航定位等重点领域的发展尤为值得关注。目前,多项技术取得突破,感知精确化、传输宽带化、服务综合化的发展趋势更加明显。     

加强品牌文化建设 助推风帆持续发展——"风帆"品牌文化建设工作纪实

风帆股份有限公司前身为保定蓄电池厂(国营第四八二厂),始建于1958年,是国家"一五"期间156个重点建设项目之一、国家定点军用小型铅酸蓄电池生产厂家,承担海、陆、空最前沿武器装备电池的研制生产。1992年更名风帆蓄电池厂,1996年改制为保定风帆集团有限责任公司,2000年,中国船舶重工集团公司作为主发起人设立风帆股份公司,2004年,风帆A股在上海证交所挂牌上市,是中船重工集团公司第一个上市公司。