军用装备软件需求层次分解及其规格描述

不规范的软件需求是造成无法顺利开展装备软件定型测评的重要原因。介绍了软件需求的基本概念,指出了军用装备软件需求的层次划分和各层需求的产生与描述方法,定义了需求文档的若干质量属性,从形式化、半形式化到自然语言的顺序介绍了软件需求的描述方法,并对用自然语言描述软件需求时应注意的问题列举了实例进行说明。利用该方法开展软件需求分析和规格说明定义,可以缓解当前定型测评所面临的困难,使装备软件定型测评在技术实施上得到保证。     

舰载集装箱武器设备的基座倾斜修正

为了在民用集装箱船上快速安装集装箱式模块化武器设备,快速形成战斗力,同时保证武器设备使用精度和可靠性,必须对安装的武器设备的基座水平进行检测并加以修正.通过对影响基座水平度变化因素的分析,结合集装箱船的特点,提出了利用平台罗经安装平台和电子差分水平仪测量基座倾斜度,并对测量值进行多项式拟舍得出基座倾斜修正量的方法.这种方法在实际应用中取得了良好的效果,满足战时快速安装,快捷调试的要求,并能确保武器系统的战术技术指标.     

军事信息系统的互操作性研究*

为了正确理解和准确评测军事信息系统的互操作性,分析比较了军事信息系统互操作性的不同定义和内涵,讨论了军事信息系统的互操作性分析方法,探讨了军事信息系统互操作性建模方法,分析了互操作性与系统安全脆弱性之间的关系,给出了军事信息系统互操作性研究的几点建议.     

Sojourn time analysis of a queueing system with two‐phase service and server vacations

We consider a two‐phase service queueing system with batch Poisson arrivals and server vacations denoted by M^X/G₁‐G₂/1. The first phase service is an exhaustive or a gated bulk service, and the second phase is given individually to the members of a batch. By a reduction to an M^X/G/1 vacation system and applying the level‐crossing method to a workload process with two types of vacations, we obtain the Laplace–Stieltjes transform of the sojourn time distribution in the M^X/G₁‐G₂/1 with single or multiple vacations. The decomposition expression is derived for the Laplace–Stieltjes transform of the sojourn time distribution, and the first two moments of the sojourn time are provided. © 2006 Wiley Periodicals, Inc. Naval Research Logistics, 2007     

基于HLA的弹道导弹突防仿真系统开发研究

随着反导防御系统的发展,弹道导弹突防将受到更大的威胁。HLA以其可重用性、互操作性好的特点,逐渐成为仿真的主流体系结构。介绍了HLA的系统组成和联邦开发的过程,提出了一个基于HLA的弹道导弹突防仿真系统仿真框架,为后续的仿真系统开发奠定了必要的基础。     

基于MDA的HLA系统开发流程与框架设计

HLA作为IEEE认定的分布式仿真标准，随着在军事、民用等仿真领域的广泛运用，其自身的模型重用性、互操作性等不强的弱点逐渐暴露出来，越来越不能满足大型复杂仿真系统的需要。将MDA方法引入HLA仿真系统设计中，尝试用MDA的模型思想对HLA系统进行开发，提升HLA的模型重用性和互操作性。对MDA在HLA系统中各种模型的设计和表述方式进行了分析研究，提出了一个基于MDA开发HLA仿真系统的开发流程，建立了一个基本开发框架，从软件开发的角度提高了系统的开发效率。     

面向访问模式的多核末级Cache优化方法

多核处理器架构已经成为当前处理器的主流趋势,应用程序中访问模式的多样性给多核处理器的末级Cache带来了许多挑战。提出了访问模式的多核末级Cache优化方法,它包含"可配置的共享私有Cache划分"、"可配置的旁路Cache策略"和"优先权替换策略"三个协同递进的层次。通过使用该方法,程序员能够灵活地改变末级Cache执行行为,从而高效地适应应用程序访问模式的变化。实验结果表明,提出的方法能够显著降低末级Cache的缺失率,进而提高系统的整体性能。     

两级修理模式下民机修理级别非经济性分析研究

针对两级修理模式在飞机维修规划中得到逐步重视的问题,提出了两级修理模式下民机修理级别非经济性分析模型。其中基于GJB-2961-1997标准,建立了两级修理级别分析的指标体系,在此基础上,利用模糊层次分析法确定各评价指标的权系数,并对灰色关联系数加权得到灰色关联度,实现了基于模糊层次分析法和灰色关联分析法的飞机修理级别综合评估。最后通过实例分析,验证了所提模型的合理性和有效性。     

离散Hopfield网络的航空装备机务人员能力素质模型评价

随着航空装备的不断更新,带来了航空维修内容、流程和模式的深刻变化。航空机务人员的业务能力高低成为影响航空装备安全的重要因素,为此,从静态、动态两个方面研究了航空机务人员能力评价问题。首先给出了航空机务人员能力指标体系,运用模糊综合评价法进行了影响因素权重计算和决策分析,其次利用离散Hopfield(DHNN)网络联想记忆能力,将5种机务人员能力等级指标的样本存储到DHNN的5种模式,最后运用DHNN在存储的典型等级模式中寻找与给定测试样本最相似的模式,从而确定测试样本所归属的能力指标等级。     

基于HLA的C^4ISRK作战运用仿真系统探讨

C4ISRK是实现未来信息化战场"网络中心战"概念的一组必要的装备系统.着眼于为C4ISRK系统作战运用项目先期概念技术演示提供仿真平台,提出了C4ISRK系统的概念模型,在此基础上重点研究了基于HLA的C4ISRK作战运用仿真系统的总体框架及其设计,为该仿真系统的建立和仿真实施提供了技术支持.