建模与仿真VV&A工具设计与实现

在深入研究VV&A过程模型的基础上,建立了仿真和建模VV&A工具设计方案,详细介绍了各个模块的功能、相互之间的关系及工作流程.应用ODBC互连技术实现接口问的通信,将VV&A工具应用于实际工程中,取得了令人满意的结果,从而有效提高了仿真VV&A过程的经济性和快捷性.     

地空导弹抗击TBM杀伤区仿真研究

如何有效确定地空导弹反导杀伤区一直是地空导弹反导作战过程中一个难题,因此提出一种确定杀伤区的仿真方法.首先通过建立拦截弹抗击TBM目标的拦截模型,通过仿真,得到大量的拦截遭遇点数据,采用三次样条函数和分段插值的方法,对这些数据进行处理.先确定出垂直杀伤区的边界,然后确定水平杀伤区边界,并进行修正,近似地确定出杀伤区.仿真获得的地空导弹杀伤区经过验证,是可以接受的.这些研究成果将为反导部署和作战指挥等提供一些理论指导,具有一定理论和应用价值.     

基于亮点模型的无线电引信回波模拟

半实物仿真系统是研究和评估无线电引信引战配合特性和评估无线电引信引战配合效率的重要手段,根据目标的体目标特性,建立了导弹无线电引信的亮点模型,并根据所建模型设计实现了无线电引信半实物仿真系统的核心部件--目标回波模拟器,通过实际引信半实物仿真试验,证明亮点模型和回波信号模拟器满足引信引战配合试验要求.     

台军要在教育上寻突破

近日,台“国防部”．重新修正台军军职人员“公余进修”执行作法,鼓励台军干部参加CEO学习。“国防部”还将于9月底前分区举办“公余进修精进作为说明会”,召集旅级以上单位人事主管及承办人详细解释具体的实施细则。这也是台军继2002年推行军官“终身学习”活动后掀起的又一学习高潮。     

电子时间引信检测仿真试验研究

为提高电子时间引信的检测能力,介绍了电子时间引信检测仿真试验,分析了仿真试验的原理,给出了检测仿真试验的试验方法。经实际检测表明,该检测仿真试验能够安全可靠地完成电子时间引信的日常检测任务。     

车载反坦克导弹武器系统效能评估与仿真

详细探讨了车载反坦克导弹武器系统效能评估的总体层次结构和基本方法,建立了系统效能评估模型,在此基础上,构建了系统效能评估仿真软件,并以某反坦克导弹武器系统为例进行了系统效能仿真评估,为缩短反坦克导弹武器的研制周期,提高其效费比以及整体作战效能提供了理论参考。     

坦克嵌入式靶场射击训练仿真技术研究

为了改善装甲装备的模拟训练,以现装备某型坦克为研究对象,采用PC104总线、目标自动探测与识别技术,完成了坦克嵌入式靶场射击训练系统的设计。针对装甲装备的射击特点,建立了射击命中判断模型,通过嵌入式设计实现依托实装的模拟训练。该训练系统可用于炮长射击训练中的操作水平智能评估,完成靶场实弹射击前的检验射击训练,也可为新研制装备的嵌入式模拟训练系统设计提供技术和理论支持。     

基于有色Petri网的综电系统总线建模

针对运用解析法对战车电子系统总线进行建模和分析困难这一问题,运用CPN Tools工具构建了基于有色Petri网的综合电子系统总线模型,建立了总线性能仿真平台,对某型战车总线性能进行了分析。结果验证了基于CPN的战车综合电子系统总线建模的正确性与可行性。     

SET协议的可追究性分析与改进

协议的可追究性为解决电子商务纠纷提供了重要的不可否认的证据,有必要深入分析SET协议的可追究性.Kailar逻辑是一种针对电子商务协议的可追究性而开发的形式化分析工具.先对SET协议进行了形式化的表述,然后利用一种改进的Kailar逻辑对SET协议的可追究性进行分析,结果表明协议只能满足商家和支付网关的可追究性,而不能满足持卡人的可追究性.最后,对协议进行了改进,使其能够满足持卡人的可追究性.