需求工程的形式化方法

从需求的概念出发,简单介绍了需求工程的过程模型和需求工程的方法学;根据需求工程的定义以及特点,讨论了在需求工程中引入形式化方法的意义,提出提高需求工程形式化程度的两个主要途径——提高需求建模语言的形式化程度和利用形式化验证技术,并给出选择形式化方法的原则,最后在分析目前技术的优缺点的基础上给出需求建模语言应具备的特征。     

CR-39中子探测效率的模拟研究

利用蒙特卡罗（MC）方法计算了CR-39探测器对中子的探测效率,并与文献结果进行比较,得出了一致的结论;同时以^252Cf自发裂变源为模拟中子源,通过MCNP程序计算,得出了中子探测效率随CR-39探测器厚度变化的曲线。     

适应对直升机射击的高炮火控系统设计问题

针对直升机的特点,对高炮火控系统设计中的有关问题作了探讨,提出了一种适应对直升机射击的提前点预测方法     

论兵器运用工程

本文阐述了兵器运用工程研究的目的、对象、内容及要解决的问题,简要地回顾了这门学科形成的过程,并着重讨论了构成本学科的专业理论和今后急待研究的方向。     

半椭圆形表面裂纹疲劳寿命的一种工程算法

本文根据张开型半椭圆表面裂纹趋于“平衡’,的规律,划分了工程中常见的半椭圆形表面裂纹的种类。通过计算得出曲线。根据初始裂纹的类型,从图中查得疲劳寿命,从而简化了工程实用计算。     

基于CORBA的分布式网管的实现

以某师的网管系统为例 ,介绍了基于 CORBA ORB通信总线结构网管软件的设计与实现。并对其中的若干技术问题 ,如网管信息模型的建立、网管软件的安全性及本系统的不足进行了深入讨论     

武器系统的一种综合评价模型

本文从价值工程原理出发,提出用价值因素建立评价武器系统的模型。在模型中提出单位寿命周期费用这一概念并作为评价要素,并以导弹为例,建立了同一系统多方案的综合评价模型。     

舰炮反导系统总体结构分析及其优化决策

本文对现有国际上10余种舰炮近程反导系统的总体配置、探测传感器安装位置和种类、杀伤命中机制、自动机型式、弹—炮结合及炮座安装型式等进行了分析对比,并采用价值工程模糊综合决策法(VEFDM)对其总体结构方案进行了优化决策,从而为火炮总体优化设计提供一定的参考依据。     

地炮营系统在常规战斗中的生存概率

分析了配备有C~3I 系统的地炮营综合系统在对抗条件下的生存概率。计算了常态下在常规战中地炮营综合系统的生存概率,并给出了综合分析结果与结论。     

军用履带车辆电传动匹配计算

为给军用履带车辆电传动部件选型提供理论依据,对某车型的双侧电机传动方案中驱动用永磁同步电动机及主要部件的性能参数进行了匹配计算,并根据车辆对驱动系统大转矩和宽调速范围的要求,提出了驱动电机必须具备的过载能力和弱磁能力,最后利用仿真手段验证了计算方法的有效性。