协议测试中测试序列生成方法综述

文章在介绍协议一致性测试基本概念的基础上,重点列举了测试序列的几种生成方法。对目前广泛采用的形式化描述模型,重点介绍其中基于有限状态机模型的测试序列生成方法,同时对基于扩展有限状态机以及确定有限状态机的测试序列生成方法也进行了介绍。文章对每一种方法介绍了其原理并分析了其使用中的局限。文章最后指出了在协议测试中面临的问题和进一步研究的方向。     

基于置信椭球的V/M故障检测与隔离算法改进

动态系统的故障诊断技术在组合导航系统中有着重要意义.首先介绍了一类经典状态一致性故障检测/隔离方法-Kerr的基于置信椭球的V/M处理方法的原理与处理过程.Kerr的V/M方法以偏差方向的累计和进行隔离判断,可能发生两种情况下的隔离模糊问题.为此,对Kerr的经典V/M算法进行了改造,在其投票函数中采用偏差距离的累计代替偏差方向的累计,使得故障隔离的敏感性大幅度增加,解决了经典V/M算法在实用中存在的第一种情况下的隔离模糊问题.采用算例证明了新方法的有效性.     

基于度量元的静态软件缺陷预测技术

软件缺陷预测技术是当前软件工程领域的一个热点研究问题。回顾和综述了基于度量元的静态软件缺陷预测技术研究的起源与国内外最新进展动态,并对常用缺陷预测技术的评价指标进行对比和分析,指出其优缺点和适用范围。最后对静态软件缺陷预测技术的可能发展方向进行预测。     

基于满足作战使用要求的弹道一致性评定判据

为克服现行弹道一致性评定方法的局限性,以实现通用射表和满足作战使用要求为原则,从解决工程应用问题实际出发,基于目标尺寸特征、弹着点散布特征、终点效应特征,从命中准确度、弹着点散布、弹丸作用范围3个方面提出了新的弹道一致性检验判据,对原评定方法进行了补充完善,为弹道一致性指标论证与试验评定提供了参考方案。     

一种改进的红外图像降噪算法与FPGA实现

由于实时目标的红外图像具有信噪比低、边界模糊等问题,在研究红外图像噪声特点的基础上,提出了一种基于动静态检测算法的红外图像降噪算法。通过一种动静态检测算法将图像分成动态图像和静态图像,用改进的自适应维纳滤波算法处理动态图像,用改进的NL-means降噪算法处理静态图像,并用FPGA实现红外图像降噪系统设计。实验表明,红外图像经算法处理后,其PSNR和细节方差-背景方差比(DV/BV)均高于经典降噪算法,算法能有效减少图像噪声,并能很好地保持图像的边界细节信息。     

军事通信网抗毁性研究

军事通信网是军队现代化信息化的基础网络,其抗毁性研究作为军事通信网设计、规划与优化的重要前提而成为一个关键问题。文章就军事通信网抗毁性研究这一问题,对现有的文献从研究角度分成静态抗毁性分析、动态抗毁性分析、关联抗毁性分析和网络流分析四类,进行分析和综述。然后从不同研究特点比较这四类研究方法,阐述这几类方法的优缺点和应用范围。最后总结了这几类方法的研究进展以及未来的研究方向。     

远程火炮密集度试验多组数据的处理方法

远程火炮密集度试验需要进行多次射击,同一试验条件下的多组数据通常认为来源于同一分布,但却未见于证明。利用统计检验方法,给出了对试验数据方差齐性及均值相等性的检验方法,并在多组试验数据一致性的基础上给出了试验数据均值、方差的无偏估计,同时在既定置信度下给出了其置信区间,为远程火炮精度检测提供了工具。     

济南军区运用“考、比、拉”机制组织军分区(警备区)和预备役部队“大考核、大比武、大排名”

正近日,济南军区组成联合考核组,利用半个月时间,采取省军区推荐与军区抽点相结合、静态检查与动态拉动相结合的方法,对所属6个军分区(警备区)、2个预备役师及8个县(市、区)人武部和2个预备役团的军事训练情况进行了检查考核和综合排名。济南军区和各省军区领导全程一线督导参考单位迎检     

基于改进March SS算法的存储器测试技术研究

摘要：针对存储器的特点,介绍了存储器简化的功能故障模型．基于一种既可以测试静态简化故障又可以测试动态简化故障的MarchSS算法,提出了一种改进的存储器测试算法MarchSSI算法．该算法不仅能测出MarchSS算法测试的所有功能故障,而且能够覆盖MarchSS算法遗漏的故障,使算法故障覆盖率有了一定的提高．通过仿真,验证了算法的可行性．     

反导作战预案形式化建模研究

反导作战预案是提高作战决策方案生成实时性和准确性的关键.通过对反导作战预案具体应用流程的分析,结合SysML,OWL_DL和CBML等形式化建模语言,提出了一种具有模型验证环节的预案形式化建模方法;根据所提出的方法,分析提炼了反导作战预案构成要素,定义了SysML块定义图、预案要素、OWL_DL和XML Scheme元素之间的映射规则;依据相应的转换规则,分别建立了反导作战预案概念层模型、逻辑层模型、物理层模型和预案本体模型,并应用预案本体模型对概念层模型进行了模型一致性验证.