基于TAU和SA的体系结构验证方法研究

TAU和SA是顶层设计领域广泛使用的成熟商业软件,具备对体系结构部分模型进行验证的能力。在分析体系结构验证的概念及验证内容的基础上,较完整地从语法层、语义层、语用层三个层次提出了基于TAU和SA的体系结构验证方法。以无人机侦察系统体系结构验证为例,说明了TAU和SA在状态图可达性验证和作战规则合理性验证上的有效性和实用性。     

基于体系结构的指挥信息系统需求论证方法

需求论证是指挥信息系统建设的重要环节。本文在DODAF2.0体系结构框架研究基础上,设计了指挥信息系统军事需求论证框架。主要探讨了能力需求、作战需求、服务需求、系统需求、采办需求和技术标准需求的论证过程。最后结合实例论述了指挥信息系统军事需求的分析方法及步骤,为指挥信息系统军事需求论证提供了指导。该研究在指挥信息系统需求工程领域具有一定的理论和现实指导意义。     

一个新混沌系统的混沌控制与同步

针对一个新的三维自治混沌系统,研究了该系统的控制与同步现象。根据李雅普诺夫稳定性理论,运用自适应控制方法对该系统进行了混沌控制,设计了实现其同步的一个非线性控制器,运用Matlab数值仿真验证了设计的有效性。     

基于颜色特征的喷气燃料银片腐蚀试验结果评价

传统的喷气燃料银片腐蚀评级方法(军用)存在评级准确度较低、重复性差的问题。针对该问题,提出一种基于颜色特征的银片腐蚀评级方法,开发出银片腐蚀评级软件,并搭建相应的图片获取系统。将该方法用于CIELAB颜色空间,以K均值聚类方式提取腐蚀标准色板及腐蚀银片的特征颜色,再根据距离判断银片腐蚀级别。试验结果表明,该方法与标准目测方法有较好的一致性,能够解决喷气燃料银片腐蚀评级困难的问题并实现腐蚀评级的自动化。     

轻柴油的氧化及其与组成的关系

考察了按照不饱和烃含量不同而芳香烃含量近似、芳香烃含量不同而不饱和烃含量近似的要求配制的3个系列27个0号轻柴油油样在95℃强化氧化条件下实际胶质质量浓度的变化规律。探讨了实际胶质的变化与不饱和烃和芳香烃含量之间的关系。结果表明:在95℃强化氧化条件下,0号轻柴油的实际胶质随氧化时间呈直线变化;0号轻柴油中不饱和烃是引起实际胶质变化的主要因素,在其他组成相近时,实际胶质变化率随不饱和烃含量增加呈二次曲线关系增大;0号轻柴油中的芳香烃对实际胶质变化有一定的影响,但是规律尚不明确。     

油库储油区燃烧爆炸事故树分析

针对油库储油区安全管理点多面广的特点,分析储油区燃烧爆炸事故的相关影响因素和条件,建立完善的事故树模型。通过定性分析理清燃烧爆炸事故与基本事件之间的逻辑关系,定量分析获得各项基本事件的结构重要度排序,找出储油区存在燃烧爆炸隐患的重点部位,制订科学合理的安全信息监控点设置策略,为油库安全管理手段向信息化迈进提供决策依据。     

基于类比法的子母弹射击效能评估模型

类比法是一种较为常见的逻辑推理方法,在各研究领域均有应用。论文根据子母弹与其它弹种在射击效能上的相似度,通过类比法建立数学模型,并利用雷达图直观反映子母弹对几种典型目标的毁伤效能,最后通过分析比较,实现对子母弹射击效能的综合评价。     

飞航式火箭助飞鱼雷弹道建模及仿真

针对垂直发射飞航式火箭助飞鱼雷,分析其在空中各阶段的受力和运动情况,建立相应的空中弹道模型,并对模型进行了仿真,分析了火箭助飞鱼雷总质量、助推发动机推力、巡航发动机推力变化对飞行时间的影响。仿真结果表明,所建立的模型符合火控弹道模型要求,而且文中所建立的模型简明直观,可用于垂直发射飞航式火箭助飞鱼雷的火控解算。     

舰炮武器系统人机界面发展综述

探讨了舰炮武器系统人机界面发展历程,详述舰炮武器系统人机界面经历了初创期、奠基期和发展期三个阶段的情况与特点。最后对新型舰炮武器系统人机界面设计与研究将向开放式、智能化、虚拟现实和科学评估方向发展作了展望。     

部分服务台同步多重休假的GI/M/c稳态队长

在经典GI/M/c排队中引入部分服务台同步多重休假策略,利用拟单生过程和矩阵几何解的方法,求解系统的稳态队长分布及其条件随机分解。