基于UML的航天发射指挥控制软件建模研究

指挥控制软件是影响SLC2S高效运行的重要因素之一。为了提高航天发射指挥控制软件的综合效能,基于统一建模语言(UML)建模技术,从软件需求分析出发,对航天发射指挥控制软件开发进行了静态和动态建模,增强了软件的一致性和可复用性,为软件开发奠定了良好基础。     

软件保障与硬件保障的区别

论述了开展软件保障的迫切需求,分析了软件保障定义与工作内容,并从故障规律、保障需求、保障过程、保障资源和管理要求4个方面论述了软件保障同硬件保障的差别.指出软件保障作为装备保障的重要组成部分,具有特殊的规律和要求,其保障需求的主体来自对软件设计性能的改善和提高;每一次保障过程都需要基层级和基地级的共同参与,并供应至所有配置同类软件的部队;对人员、供应渠道等保障资源的要求高,对传统的备品库存、运输、仓储手段等要求低.     

开放式作战仿真实验系统建设构想

针对目前诸多分布式作战仿真实验系统存在的专业性强、对管理使用人员的技术素质要求高、实验组织过程复杂、实验效率较低等问题,提出了建立对使用人员无技术要求、不需要专业人员参与就可以进行仿真实验、具有快速形成仿真实验能力、可以被广泛推广使用的开放式作战仿真实验系统的建设构想.分析了该型实验系统应具备的硬件、软件条件,重点阐述了实验系统支撑软件的结构和功能.     

军用软件构件可测试性度量方法研究

分析了目前我军构件化软件开发的实际情况,在Gao工作的基础上,提出了一个构件可测试性模型,其分支主要包括构件的可理解性、可观察性、可控制性、可移植性以及测试支撑能力.提出了一个对构件可测试性进行度量的五边形法则,该方法能够直观地体现被测构件的可测试性指标数值,能够使构件开发者清楚地了解构件存在的缺陷,从而指导开发人员设计出高可测试性的构件.     

火炮控制系统计算机仿真研究的新发现

采用Multisim2001软件和Matlab软件对火炮控制系统进行了仿真分析研究,仿真结果却意外地发现现有的自动控制理论文献在该问题的求解方法上存在较大的缺陷.就此问题进行了分析研究.研究表明:计算机仿真,不仅结果准确,而且有助于深入分析自动控制系统的性能,还能克服工程实践中广泛应用的近似法求取稳定裕度的不足.     

军用飞机可用度概念模型及仿真

使用可用度是军用飞机战备完好性的重要度量标准.运用传统的解析法计算使用可用度有其弊端.以军用飞机使用及维修保障过程中各个系统要素为基础建立了使用可用度概念模型;根据概念模型运用仿真软件Extend建立了仿真模型.仿真结果表明模型运行稳定可靠,模型中各模块算法合理有效,实现了模型解算目标,可信度高.从而为飞机可用度研究提供了一种新方法.     

MEFP智能雷攻击坦克毁伤效能分析

以智能雷为研究对象,在建立智能雷扫描运动模型和命中毁伤模型的基础上,分析了MEFP智能雷攻击坦克的毁伤效能.通过建立攻击过程的蒙特卡洛模型,编制了智能雷攻击坦克目标的计算机仿真软件,计算了MEFP智能雷发射不同数目的EFP对坦克目标的毁伤概率.结果表明:MEFP智能雷攻击坦克目标的毁伤效能较高,可应用于对付大规模坦克装甲车辆的进攻和武装直升飞机的攻击.     

“心脏出血”漏洞的特点分析和对策建议

概括介绍＂心脏出血＂漏洞的基本概念、发现和公布、攻击和演变、处理和防范等有关情况,从安全通信协议软件、开源软件地位作用、开源软件代码管理和开源软件分析运用等方面分析特点并提出对策建议。     

基于Web Service的软件资源共享方法研究

在目前网络资源纷繁杂乱的环境下,用户对软件资源共享的需求日益增长。针对网络中软件资源分布广、异构程度高、应用形式繁多、没有统一的标准等现状,分析了在B/S模式下基于Web Service的软件资源共享实现的基本方法。首先介绍了软件资源共享的基本概念,其次分析了软件资源共享所需要的Web Service技术、交互式远程显示技术、批处理作业管理和单点登录等关键技术,最后完成了软件资源共享应用系统的设计,为实现面向服务的软件资源共享提供了一种有益的参考。     

管理在“指尖”——记一机集团在制品系统管理软件研制者赵凯

<正>赵凯是中国兵器工业集团公司一机集团四分公司生产运营室一名普通的生产综合计划员。她研制的"在制品精细管理成果",有两项已申报自治区并获得成功。2012年底,她组织生产系统人员进行在制品盘点,汇总零部件项目近26590项,组织并指导计划员下达32个车型品种的生产作业计划,编制12个产品的生产配套表,编制"军民品生产大纲"5份,处理技术指令1885份。