面向ACTD的主战坦克战法仿真方法及应用

主战坦克在论证研制阶段开展战场运用的战法研究,对于其定型和列装意义重大.提出一种基于CGF的战法仿真方法,并建立相应的战法仿真模型.最后,利用所研制的仿真系统,结合新型主战坦克的一种新战法进行了实例研究,并针对结果进行分析.该思路及仿真系统为新型主战坦克战法研究提供了简便高效的手段,可以满足面向先期概念演示验证中战法研究的需要.     

幽默与笑话

警觉喊口令:向右看齐。士兵们都执行了命令,只有布朗向左看。你为什么不执行命令?班长问。我怕敌人从左面袭击我们。     

一种VV&A任务选择的优化方法

针对M&S可靠性问题,提出一种风险/效益分析方法,用于实现VV&A活动选择的最优化,主要工作有:提出模型与仿真(M&S)的风险与效益在特定应用背景下可通过影响级剐及其发生概率进行量化,进而确定M&S的可靠性级别;提出可靠性级别可以确保M&S的最小化风险和最大效益,依据所要求的可靠性级别从一系列标准化的VV&A活动中选择出最合适的组合,以实现所选择的VV&A活动的正确性并可以监控风险/效益的变化对VV&A需求的影响.     

基于飞参数据的飞行仿真模型验证

由于缺少真实数据的支持,飞行模拟器飞行仿真模型的验证一直缺乏有效的量化验证测试手段。针对这一现实难题,提出使用飞参数据进行模型验证的方法。通过介绍和分析飞参数据的来源、用途和特点,论证了该方法的可行性。设计和开发了飞参自动验模系统,介绍了其基本原理和结构组成,并对其中的难点和关键问题进行了深入研究分析,阐述了解决问题的思路和方法。试验结果验证了飞参验模系统的正确性和有效性,对提高飞行模拟器逼真度具有积极意义。     

众核处理器访存链路接口的FPGA验证

面向众核处理器提出一种访存链路接口的现场可编程门阵列(Field-Programmable Gate Array,FPGA)验证平台,用于对处理器访存链路关键部件进行功能及可靠性测试。提出片上读写激励自动产生与检查机制、以太网接口硬件用户数据报协议(User Datagram Protocol,UDP)协议栈和FPGA芯片间多通道并行链路三项关键技术并进行设计实现。实验结果表明提出的各项关键技术功能正确,不仅丰富了功能验证中随机激励产生及结果验证的手段,而且实现了对链路数据检错和多lane间延迟偏斜纠正逻辑的可靠性测试与评估。经过该平台验证的访存链路接口在实际芯片中通过了功能正确性测试,证明了验证的有效性。     

应用最大熵谱估计进行导弹系统的仿真模型验证

探讨了导弹系统仿真模型验证的定量方法。依据最大熵谱估计方法分辨力高的特点，分析其近似统计特性，分别给出了两个样本和两个正态总体的一致性检验方法。仿真结果表明，利用最大熵谱估计进行有效性检验是可行的。最后给出了一个应用实例，应用谱估计方法进行寻的制导导弹数字仿真模型验证     

复杂大系统仿真的VV&A理论及过程研究

为了确保复杂大系统仿真(LCSS)的可信性,应该在建模与仿真(M&S)的全生命周期中开展校核、验证与确认(VV&A)研究.对LCSS的VV&A进行了理论研究,提出其方法论与原则;以基于仿真组件构建的HLA仿真系统为例,从仿真组件层、联邦成员层及联邦层三个层面研究了VV&A过程,并将这些研究应用于反舰导弹突防联邦仿真中.实践表明,研究对LCSS的VV&A工作具有很好的指导作用,有力地保障了仿真的可信性.     

电子侦察卫星侦察仿真预案设计与实现

针对电子侦察卫星在现代战争中的应用日益增多,研究和开发电子侦察卫星模拟系统具有重要的现实意义和实用价值。分析电子侦察卫星侦察任务的作战行动想定和总体设计思路,设计仿真流程,建立了数学模型和仿真模型,进行电子侦察卫星侦察预案验证模型的仿真实现。通过仿真,验证了电子侦察卫星侦察预案的合理性和正确性。     

多核处理器验证中存储数据错误快速定位机制

提出并实现的一种数据错误快速定位机制(Fast Fault Location Mechanism,FFLM)面向多核处理器存储系统的功能验证,FFLM基于硬件仿真器构建多端口存储器黄金模型,通过在仿真过程中实时监控存储系统与处理器核之间的访存报文,在线比较被测系统访问真实存储器的数据与黄金模型中的对应数据是否一致,在错误数据从存储系统送入处理器核的时刻就能够发现数据错误。与传统方法相比,FFLM具有仿真速度快、硬件资源代价低以及定位错误时间短的优点。对自主设计的CMP-16多核处理器进行仿真时的统计数据表明:使用FFLM后定位数据错误的速度能够比未使用FFLM时平均提高6.5倍。     

可执行体系结构研究

体系结构是系统设计与实施的蓝图,它能否正确、合理地指导实践在很大程度上依赖于体系结构的验证与评估.可执行体系结构研究为体系结构验证与评估开辟了新的途径.为了使各体系结构产品在整体上形成一个执行体,提出了可执行体系结构执行规则描述这一个概念.执行规则描述体系结构产品的执行、调用与数据流关系,为体系结构的执行提供了特定的背景信息.它通过标准的动态可执行模型接口分别调用该模型的执行引擎,从而达到体系结构在整体上执行的目的.体系结构的正确执行为体系结构验证提供依据,同时其运行结果为体系结构的评估提供依据.