指挥控制的形式化描述与性质验证

在分析了IDEF0基本模型及其军用模型的基础上,结合面向对象的分析方法,提出了一个通用的指挥控制对象的概念模型,并采用形式化描述语言LOTOS(LanguageofTemporalOrderingSpecification)和基于动作的时序逻辑ACTL(ActionBasedTemporalLogical)对系统进行了形式化描述和性质验证。这为C4ISR系统的需求描述和验证提供了一种新的思路和方法。     

继电式自动驾驶仪滚动回路自振分析

分析了继电式自动驾驶仪滚动回路的工作特性,给出了该继电特性的描述函数。在此基础上,用描述函数法分析了回路的稳定性,计算出了回路自持振荡的参数,分析了影响自振参数的因素。     

军事需求工程技术之需求描述与建模

军事需求工程的主要工作之一就是“通过合适的工具和记号,系统地描述待开发系统及其行为特征和相关约束,形成需求文档”,即通常所说的需求规格。需求工程研究的核心是关于需求规格描述方法和技术的研究,它致力于寻求以下几点支持:①需求规格的表示、获取机制;②需求规格文档制作及品质保证机制;③需求规格的演示验证机制。《军事需求的基本概念与内涵》一文指出“实际上,没有一个清晰、毫无二义性的‘需求’术语存在;所谓的‘需求’,是人们对系统的一种主观期望,真正的‘需求’存在于人们的脑海中,任何文档形式的需求仅仅是一个模型、一种叙…     

防空导弹武器系统反导效能指数描述方法模型

以防空导弹武器系统反TBM效能为研究对象 ,建立了防空导弹武器系统反TBM效能指数描述模型 ,并以方案A ,B ,THAAD(某中间方案 )为评价对象进行了实例计算 ,分析了评价结果 ,得出了结论。     

基于最小资源损耗的武器目标动态分配

传统的以联合毁伤概率最大或被打击目标总期望生存值最小作为武器目标分配函数容易造成武器过饱和攻击,导致资源浪费。针对该问题,将对来袭目标的毁伤概率作为约束条件,以资源损耗最小为优化目标建立模型,并设计了动态变化的武器弹药资源量化描述。在武器目标动态分配过程中,针对时空约束对分配的影响,设计了基于资源损耗最小的武器目标动态分配算法。仿真结果表明:该算法在对时空约束和随机事件的处理时,操作简单、易于编程实现。     

基于ISM的作战仿真模型体系结构建模?

作战仿真模型体系结构的描述是一个复杂的问题,传统的方法难以清晰描述各要素之间的内在关系。采用解释结构模型的方法对模型体系中的继承、组合关系进行形式化建模,在对体系要素进行简化抽象的基础上,通过矩阵运算和逻辑推理完成对体系内所有要素的关系描述,能够实现对复杂模型体系的结构化描述和简洁化表达。     

基于循环谱相关的雷达信号脉内分析改进算法

针对传统的雷达信号脉内特征分析算法存在的局限,提出了一种基于循环谱相关的雷达信号脉内特征分析的改进算法。该算法将传统的循环谱估计方法进行了改进,能对雷达信号脉内调制方式进行识别并提取脉内特征参数,然后结合改进的小波变换的优点,对识别出的相位编码信号进行相位突变点的提取,最后输出至完善的脉冲描述字中。改进的算法能够在较低计算量的同时保证较好的脉内特征参数的估算精度。仿真结果表明,在较低信噪比下,该算法仍然具有较好的性能。     

基于UML的武器装备体系结构描述

对武器装备体系结构进行全面、清晰、准确的描述,是帮助用户了解武器装备体系的组成、相互关系和功能的前提。提出了一种武器装备体系结构描述方法,基于UML研究了描述产品的开发,并以海上目标远程精确打击武器装备体系为例进行了实例研究。