舰炮对岸射击稳定诸元计算方法

对舰炮火控系统计算对岸稳定射击诸元的方法进行了研究 ,分析了存在问题的根本原因 ,提出了正确的计算射击诸元方法。经数值仿真结果表明 ,分析的原因正确 ,方法可行     

关于Matlab 5.3中电力系统模块库的新应用

介绍了一种仿真软件Matlab5.3中电力系统模块库的新应用方法,运用该方法,用户可以联合使用PSB和Matlab5.3中仿真库.     

地形数据格式转换及其应用

开发了实现从DC格式图形数据文件到DED格式图形数据文件转换的工具软件,并在实际中得到应用.     

ADTA——数据流覆盖测试工具

介绍了基于汇编语言的数据流自动测试工具ADTA(Automatic Dataflow TestFor Assembly     

测试用例自动生成的链方法研究与实现

介绍了一种测试用例自动生成的链方法,这是一种较新的测试技术,结合插装技术及目际跟踪方法,能有效生成测试用例,从而提高了测试效率.     

航天软件的配置管理

航天软件一般是航天系统中的一个要害软件.要开发一个合格的航天软件,必须严格遵循软件的配置管理.首先论述了航天软件的基本要求,在此基础上较详细介绍了软件配置管理的方法、步骤和要求.     

The parallel replacement problem with demand and capital budgeting constraints

A generalized parallel replacement problem is considered with both fixed and variable replacement costs, capital budgeting, and demand constraints. The demand constraints specify that a number of assets, which may vary over time, are required each period over a finite horizon. A deterministic, integer programming formulation is presented as replacement decisions must be integer. However, the linear programming relaxation is shown to have integer extreme points if the economies of scale binary variables are fixed. This allows for the efficient computation of large parallel replacement problems as only a limited number of 0–1 variables are required. Examples are presented to provide insight into replacement rules, such as the “no‐splitting‐rule” from previous research, under various demand scenarios. © 2000 John Wiley & Sons, Inc. Naval Research Logistics 47: 40–56, 2000     

器材保障DSS中面向对象的模型库系统

主要论述了装甲器材保障决策支持系统中的面向对象的模型表示方法和模型库系统设计,并介绍了模型库系统设计中的关键问题模型规范、模型建立、模型控制和模型监控等.     

I.I.D.并行分布式检测网相同门限假定的合理性条件

并行分布式检测网最优设计是复杂难解的,相同门限假定使Ｉ．Ｉ．Ｄ．网的设计极度简化,并在实际工程中广泛使用。本文研究了相同门限假定的合理性条件,为合理采用习惯性处理方法提供了理论依据。     

军事地理信息系统数据组织与显示实现及应用

在信息作战条件下,军事地理信息系统(MGIS)作为作战指挥自动化、数字化战场、辅助军事决策和现代武器系统的战场地理环境平台倍受世界各国的重视.在讨论军事地理系统的数据模型和数据结构的基础上,研究了军事地理信息系统的数据组织方法,针对数据存储结构设计进行了详细的论述,提出了一系列数据结构样本及数据系统设计方案,并通过软件开发实例,验证了其具体实现方法和途径.地图数据模型规划以Coverage模型为基础,在数据处理过程中以Geodatabase对象操作为原型,综合两者的优势,提高了海图的显示速度,并在实际工程中得到了很好的应用.