软件静态分析融合技术研究

当代军备竞技以武器技术为核心,提升武器装备质量一直以来都是研制重点.装备软件作为武器装备调度的"大脑",关键程度不言而喻.随着武器研制技术的提升,代码规模激增,对装备软件的质量检测技术手段以及效率提出更严格的要求.为弥补单一测试工具检测造成的误检、漏检,提出了基于跨语言文本聚类的静态代码测试结果融合技术,实现多类型测试...     

火炮刹车性能的全静态检测

本又分析了影响火炮刹车性能的问题所在,并提出一种新的检测方法,使火炮在全静态条件下,检测各项静态参数、评价刹车系统的质量。     

在新的起点上推进财务工作科学发展

1月上旬,南京军区在南京召开财务工作会议,专题学习军委关于加强财经管理的重要文件,传达全军经费标准一体化试点成果交流会议精神,总结“十一五”时期军区财务工作情况,表彰财务管理先进单位和个人,部署“十二五”时期财务工作主要任务。军区宋普选副司令员、联勤部杨建华部长、     

空军召开“经费标准一体化”管理现场观摩会

近日,空军在潍坊召开“经费标准一体化”管理现场观摩会。空军后勤部财务部领导、各军区空军后勤部财务处预算办主任、分管公务事业费的助理员参加了会议。会议总结交流了潍坊场站更新观念、挖掘潜能,以信息化手段加强水电费管理的经验,观摩了潍坊场站“经费标准一体化”改革成果。空军后勤部财务部领导对潍坊场站通过“经费标准一体化”改革试...     

三种实时误差配准算法性能分析与比较

对雷达组网中现有的三种实时误差配准算法即扩维扩展卡尔曼滤波算法(Augmented State Extended Kalman Filter)、解耦卡尔曼滤波算法(decoupled Kalman Filter)和准确算法(Exact method)进行了介绍与分析,并通过蒙特卡罗仿真试验从算法估计的均方根误差、估计的...     

基于SIFT的红外与可见光图像配准方法

介绍了一种基于SIFT的红外与可见光图像配准方法.首先用SIFT算法提取特征点并构造特征描述子,在特征点提取过程中采取了基于SUSAN算子的约束策略,其次用基于k-d树的最近邻方法对特征点进行匹配,用RANSAC算法求解变换矩阵,最后对待配准图像做相应参数的坐标变换及双线性插值,从而实现图像配准.实验表明,该方法具有稳...     

粒子滤波在误差配准中的应用

系统偏差严重影响了多部雷达航迹的互联和目标状态的融合,因此如何解决误差配准成为一个关键问题。因为系统偏差和雷达的量测之间是一种非线性关系,所以无法直接使用Kal-man等线性滤波直接进行系统偏差的估计。为解决这一问题,利用非线性的粒子滤波器(PF),对目标状态和系统偏差的估计进行了探讨,为了对比其性能,设计了一种扩展Kalman滤波算法。仿真结果表明PF在误差配准中的应用是可行的,性能高于扩展Kalman滤波。     

导弹仿真试验结果静态一致性检验及其置信度

分析了仿真试验结果与飞行试验结果进行静态一致性检验的方法,分为参数方法和非参数方法。然后讨论一致性检验的置信度,给出了置信度与弃真概率和采伪概率的关系并说明要选择恰当的显著性水平,以保证检验的置信度具有合理性。     

在交际过程中话语的正确与得体的互补作用

首先概述了语言的使用与语境密切相连,进而就话语使用的正确与得体的相关性问题,以英语语言为例,从会话和跨文化交际两个方面进行了论述,并得出如下结论：语言学习者不仅要能造出正确的句子,还要能根据语境以及不同的社会和文化背景,正确、得体地使用这些话语．