任务空间概念模型VV&A研究

任务空间概念模型是现实世界军事知识的第一层抽象,是仿真系统开发的业务基础.所以任务空间概念模型的质量直接影响到仿真系统的质量,任务空间概念模型自身的VV&A是一个非常值得关注的问题.任务空间概念建模本质上看是军事领域的知识表示或者需求描述,定性描述占主要,定量成分非常少.因此,传统的通过分析输出数据的方法不能适应任务空间概念模型的特点.概要介绍了任务空间概念模型建模,并且提出了从专家法、静态校核机制、概念执行机制三个角度来考察模型质量的思路.     

概念模型验证方法研究综述

概念模型验证是保证和提高仿真可信性的重要手段,是建模与仿真VV＆A中的重点和难点．首先将概念模型的验证方法划分为非形式化方法、静态方法、动态方法和形式化方法4类,并提出了一种基于本体推理的概念模型验证方法,然后对各种方法的基本思想、基本原理、基本过程、适用对象、优缺点进行全面的分析总结,明确了各种方法的优缺点和适用范围,为如何选用各种验证方法提供参考,也明确了下一步应重点研究的问题．     

超声深滚对高强铝合金超声波焊缝组织与性能的影响

采用超声深滚工艺处理了2A12铝合金、2A11铝合金的超声波焊缝,通过扫描电镜和透射电镜观察、纳米硬度测试、残余应力测试、有限元应力分析和拉伸试验等方法,研究了焊缝处理前后的组织结构和力学性能.结果表明:超声深滚处理可以去除焊缝表面的超声波焊接压痕,降低焊缝表面的应力集中.超声深滚处理后,结合界面的焊接残余应力由处理前焊接状态的56 MPa转变为处理后的-44 MPa.此外,超声深滚处理产生的塑性变形使结合界面发生进一步的动态回复,形成较为均匀的层状亚晶组织.超声深滚处理后,超声波焊缝的平均结合拉伸力提高了约36％.     

基于时间配准的视频图像稳定方法

在车载视频监控系统中,由于载体的姿态变化或振动的影响,使得获得的图像信息模糊、不稳定,增加了观察者的疲劳度。为了解决车辆行进间视场抖动、图像模糊的问题,需要对实时视频图像进行稳定处理。本文研究的是将视频采集装置直接固定在初步稳定的测量平台上,通过稳定平台的稳定残差进行二次图像稳定,但由于传输延迟的存在,对接收到的传感器数据和视频采集的图像数据分别进行了队列缓存,即加入了时间配准方法。通过在某遥控车上验证,其能保证实时视频图像获得最佳的稳定效果。     

基于联合相似测度的SAR图像边缘点特征配准方法

针对SAR图像配准过程中几何变换影响特征匹配稳健性和适应性的问题,提出了一种在特征匹配过程中直接解算几何变换模型的边缘点特征配准方法。利用SAR图像边缘点的梯度和方向特征,基于像素迁移思想,定义了图像匹配的联合相似度——联合特征均方和(SSJF),并建立了SAR图像边缘点集相似性匹配准则;基于方向模板提出了改进的ROEWA算子;利用改进的遗传算法(GA)来进行相似度的全局优化搜索,获取配准模型参数;利用多幅SAR图像的配准试验,对本文方法的性能进行了验证。     

基于巡逻历史与道路优先级的武警巡逻策略

针对武警巡逻车辆配置问题,引入了Dijkstra最短路径算法、K—means聚类算法以及计算几何的相关理论,建立了一套警车巡逻模型,并提出了评价巡逻效果的量化评价标准。采用Dijkstra与K—means算法解决了静态警车配置问题;针对警车动态巡逻方案的设计,提出了基于巡逻历史与道路优先级的道路概率选择算法,并给出了不同情况下的警车配置以及巡逻方案。通过MATLAB仿真实验,证明了算法及模型的先进性和实用性。     

基于强跟踪滤波器的多雷达配准方法

在多雷达数据处理系统中,雷达本身的系统偏差是影响目标跟踪和数据融合质量的一个重要因素。提出了基于强跟踪滤波器(STF)的多雷达配准算法。该算法是利用各雷达相对主雷达的测量差值,利用强跟踪滤波器(STF)实时估计出各雷达的系统偏差(方位和距离),从而进行配准。仿真实验结果表明这种方法是有效的。     

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

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

利用状态机检测JAVA空指针引用故障

介绍了一种在控制流的基础上利用故障状态机对JAVA空指针故障进行检测的方法。该方法利用变量区间来表示状态的前提条件,对程序中不可达路径进行处理,从而达到减少误报的目的。     

某高制导精度拦截器稳定控制系统设计方法比较研究

将准滑模控制方法和相平面法用于某高制导精度拦截器稳定控制系统的设计。分别对俯仰(偏航)通道和滚转通道进行了稳定控制系统设计并进行了仿真研究,给出了比较优化的设计方案。