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

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

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

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

从容

有一则故事是这样描述从容的。在一个名叫阿斯达的小镇上,住着一位单身老妇人。传说这位老妇人有一笔可观的遗产存在瑞士银行,她就靠银行每年支付的利息过着舒适的生活。有一天傍晚,门铃响了,她开门一看,门口站着一位陌生人,手里握着一把寒光闪闪的菜刀,她立刻明白将要发生的一     

面向实体的仿真想定结构化描述方法

针对作战过程仿真模型的初始化需求,分析了仿真想定的具体内容,提出了面向实体的仿真想定结构化描述方法,即以实体的抽象和描述为核心,从实体、任务、结构、状态、行动、指挥决策6个方面来进行仿真想定内容的结构化描述,并利用XML语言在描述结构化、半结构化数据方面的突出优势,提出了基于XML的仿真想定数据存储模型,为进行作战想定的结构化和定量化提供了可行的方法,满足了由作战想定生成模型输入条件的要求。     

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

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

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

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

基于SysML需求图的武器装备功能需求描述方法

在武器装备需求论证工作中,军方使用人员与研制设计人员对武器装备需求内容的描述不可避免地存在着一定的偏差,进而可能造成武器装备研制工作的迟滞和设计偏差。针对这一问题,借鉴SysML需求图建立武器装备功能需求描述模型,主要分析了总功能需求模型、功能需求关系接口模型、功能需求实现接口模型和需求验证接口模型,最后,以坦克功能需求描述为例,给出了基于SysML需求图的坦克功能需求描述方法。描述的结果表明,SysML需求图能够准确地对坦克功能需求进行描述,并且易于理解和操作。     

态势估计中语义障碍的解决方法

态势估计是数据融合体系中的一个重要层次,针对态势估计过程中的语义挑战,引入描述逻辑的概念作为语义推理的逻辑基础.通过描述逻辑良好的语义定义以及提供可判定的推理服务,来给符号分配意义并限制符号可能的解释,消除其中的语义障碍.介绍了描述逻辑的概念、体系和推理, 通过实例说明了这种应用的可能性,并给出功能模型.