向时间自动机转换的军事电子信息系统性质验证

日益复杂的军事电子信息系统面临正确性验证挑战,形式化验证方法如模型检验技术成为必需.给出基于时间Petri网表示的军事电子系统模型PMES的定义,然后给出PMES模型转换为时间自动机网的步骤,利用已有的基于时间自动机的模型检验工具对系统性质进行验证;系统的性质要求用时序逻辑语言CTL或TCTL公式表示.雷达干扰机系统说明了该方法的实际应用效果.     

作战信息需求模型

研究了作战信息需求的概念、需求分析流程及描述方法,提出了作战信息需求的概念模型、逻辑模型和过程模型。概念模型界定了作战信息需求的相关概念及层次关系;逻辑模型描述了作战信息需求的内容;过程模型分析了作战信息需求的演化过程。     

基于FBS模型的电子装备仿真方法

针对电子装备功能结构的复杂性,提出了一种基于FBS(功能——行为——结构)模型的电子装备仿真的新方法,并详细介绍了该模型的原理及其分析、建立过程.然后以该模型为基础,分析了如何针对电子装备的具体结构、功能特点,确立仿真策略、选择仿真软件以满足仿真要求,并以某复杂电子装备为例,探讨了其虚拟仿真的设计与实现.最后根据实际应...     

一种简化的空气中二维抛板模型

本文对于在炸药驱动下空气中的二维抛板理论模型,提出了一种具有较普遍意义的简化处理方案。     

怎样鉴别失效的农药

（一）直观法：先看产品是否过了有效期。农药有效期一般是从产品日期算起,时间为2年。过了有效期,农药就会变质失效。在有效期的产品,要看外观特征变化。粉剂农药如果已明显受潮结块,药味不浓或有其他异味时说明已失效：乳剂农药要先将药瓶静置观察,如果药液浑浊不清或出现分层或有沉淀或有絮状悬浮物等现象时,表明药剂失效的可能性很大。[第一段]     

协同仿真平台下鱼雷仿真模型设计与实现

针对系统仿真建模可重用的需求,采用组件对象建模的思想对鱼雷进行建模,通过分析鱼雷模型的特点,完成了协同仿真平台下由鱼雷动力学、运动学模块、动力系统模块、控制系统模块、弹道解算系统模块、自导系统模块、引信系统模块、尾流自导模块、误差模块所组成的鱼雷层次结构模型设计,并已实现协同仿真环境中不同粒度的可重用模型的程序开发.通过对鱼雷仿真模型的测试与应用,验证了协同仿真环境下组件对象建模方法具有建模过程快捷、灵活、适应性高、可重用性好和利于跨平台移植的优点.     

一种修正的机动目标模型及自适应滤波算法

在"当前"统计模型的基础上,通过修正目标加速度的概率分布、机动加速度与方差的自适应关系及过程噪声协方差矩阵,提出了一种修正的机动目标模型及其自适应跟踪算法。理论分析和仿真结果表明,该模型能够准确描述目标的各种机动情况,跟踪算法具有良好的跟踪性能,具有实际应用价值。     

利用ZIP模型估计备品备件需求量

针对使用过程中大部分时间处于贮存状态的武器装备的特点,提出了利用ZIP模型估计武器装备备品备件需求量的方法。即假定需求量为0和需求量服从Poisson分布各占一定比例混合,由此建立了确定备品备件需求量的ZIP模型,并对模型中的参数进行估计。最后,通过模拟数据进行验证,说明了这种方法的可行性。     

定性仿真在弹药补充能力概念建模中的应用

就目前装备保障仿真中遇到的难题,引入定性仿真的研究思路,选取一个简单实例(弹药补充能力)进行概念的定性分析,进而建立基于定性过程理论的定性模型并对该模型进行了扩展,最后对所作研究进行了总结,并提出下一步的研究方向。     

ATM协议识别方法及其受系统误码分布的影响分析

分析了协议识别的概念,提出了用于ATM协议识别的策略及其状态机模型,建立了系统误码的分布模型,通过理论公式推导与仿真,重点对δ、α的取值及其对ATM协议识别概率的影响进行了分析。