“汉光29号”可打90分？

台军“军闻社”报道称,为期5天的“汉光29号”演习实兵验证于4月中旬结束,“国防部”4月25日发布的“汉光演习检讨报告”宣称,“汉光29号”演习实兵演练顺利达成任务,各项验证均符合联战任务训练目标,获得具体成效。然而,岛内其他媒体则认为,这次演习中海军舰炮接连发生故障,参演的“郑和”号副舰长涉嫌赌博,事后更是传出海军从头到尾没有被纳入指挥链的消息,令人匪夷所思。     

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

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

综合声纳仿真软件VVA技术应用研究

针对潜艇指控算法研究对综合声纳仿真软件提出的逼真度要求,本研究采用VV&A的技术方法对软件循序进行了校验工作：首先对软件按功能模块进行功能校核;接着依据设备工作流程对声纳仿真模型进行验证;最后构建联机测试系统,输入实测海试数据对输出的仿真误差和海试误差进行统计分析,并在此过程中发现、定位和修改了一些不足之处。验证结果证明仿真软件满足设备各项战技指标要求,且符合实测海试数据特性,能够满足潜艇指控算法研制的需求。     

业务流程建模中流程校验的研究与实现

随着计算机网络技术的迅速发展,企业的信息化程度不断提高,以自动化流程为核心理念的工作流管理系统应用越来越普及,对工作流管理系统的可靠性和正确性要求也越来越高.提出了一种工作流建模时的验证方法:在工作流管理系统的工作流建模环境中加入流程验证模块,对建模过程中可能产生的错误进行验证,进而建立简洁实用的流程;通过分析流程中的异常和失败的类型,增强系统的纠错能力,减少引擎处理的压力;对有着特殊应用的建模过程,能够方便地添加自定义的验证条件,为流程的正确运行提供有效的保障;向基于规则化的工作流系统提供建模完整性的方案,获得系统工作流的稳健性.     

基于贝叶斯方法的导弹维修性试验与评定研究

针对维修性试验评定方法需要较多试验样本量,在实际工程中难以应用的问题,提出基于贝叶斯理论的平均修复时间验证方法,就其中的总体分布确定、样本量的计算、判决准则和验前信息与现场信息的一致性检验问题进行了研究.结果表明,应用该方法可以用较少现场样本量完成维修性指标的检验.     

基于DoDAF的远程目指系统作战体系结构

针对军事信息系统规模庞大、组成结构复杂以及越来越短的产品研制周期要求,在深入研究DoDAF（Department of Defense Architecture Framework）体系结构建模思想及理论的基础上,提出一种基于DoDAF的远程目指系统作战体系结构建模方法。通过分析作战体系结构产品的内涵,以及相互关联关系,给出了具体的体系结构设计步骤及产品实现形式。结合具体典型实例给出了体系结构产品的设计过程,最后通过动态仿真实验对所建立的模型进行了验证。实验结果表明,基于该方法建立模型合理可行、直观易懂、步骤简明清晰。     

带落角约束的再入机动弹头的复合导引律

针对再入机动弹头垂直打击目标的要求,研究了具有末端落角约束的复合导引律.该导引律包括俯冲平面内的制导方程和转弯平面内的制导方程,通过在最优导引律的基础上引入滑模变结构控制,增强导引律的鲁棒性.为了减小控制量的抖振和能量损耗,提出了采用RBF(径向基函数)神经网络自适应调节切换项增益的方案,数学仿真验证了该方案的有效性.仿真结果还表明,与最优导引律相比,复合导引律在外界干扰的影响下仍能保持较高的制导精度.     

基于频谱分析的飞行模拟器飞行性能验证

介绍频谱分析用于仿真系统模型验证的原理和方法,提出一种应用频谱分析进行飞行模拟器飞行性能验证的方案。结合飞行试验和仿真模型的输出数据,分别采用窗谱估计和最大熵谱估计方法对某型飞行模拟器的飞行性能进行验证,并对验证结果进行分析。结果表明,频谱分析法用于飞行模拟器飞行性能的验证是有效的,可为其他训练模拟器的性能验证提供参考。     

基于扩展标记变迁模型的时钟同步协议正确性验证

时钟同步协议是时间触发网络的一个重要组成部分，是时间触发网络实时性和确定性的关键。本文基于扩展标记变迁模型对时钟同步协议进行建模，基于模型检测方法对协议是否满足正确性属性进行验证。验证结果证明了在不同启动场景下时钟同步网络协议的正确性，也表明了扩展标记变迁模型对于协议验证的有效性。     

电子装备可靠性指标提出的有关问题

本文从抽样检查的要求出发,论述了可靠性指标提出的有关问题,包括定量指标及其它要求的提出。