热力蒸汽压缩式海水淡化系统热力分析

通过对热力蒸汽压缩式海水淡化装置的分析,建立起其数学模型,模拟计算结果表明,与一般蒸汽直接加热式真空海水淡化系统比较,采用热力蒸汽压缩式海水淡化系统,其能耗明显降低.此外,对不同的蒸发温度下的工作蒸汽耗量进行了模拟计算,所得结论对热力蒸汽压缩式海水淡化系统的设计与使用管理有指导意义.     

铝基水反应金属燃料性能初步研究

提出水反应金属燃料双反应区模型,结合化学反应过程对其进行了热力特性分析,初步研究了铝基水反应金属燃料配方等因素对发动机性能的影响。     

装备维修器材管理可视化系统研究

通过对装备维修器材的信息化需求和国内外可视化现状的分析, 以我军装备保障为背景, 探讨了维修器材管理可视化系统的概念和研究内容, 提出了我军未来装备维修器材管理可视化系统的框架式模型, 并为实现该模型进行了技术讨论和推断。     

需求开发的WRSPM参考模型研究

针对需求开发过程中涉及到的系统以及各系统之间的关系,提出了需求开发的WRSPM五元素参考模型,对参考模型中元素和元素之间的关系进行了较明确的定义,做出对参考模型的形式化描述。比较分析了将WRSPM参考模型与功能文档描述模型(FDM),并得出了参考模型的特点。     

内弹道多参数快速符合计算方法

在内弹道基本方程组基础上,通过逐步逼近法,建立了内弹道多参数快速符合计算的数学模型,并给出了算法步骤与算例。     

军队工程招标激励模型研究

运用激励理论研究了军队工程招标采购过程中军方与承包商之间的关系,建立了军队工程招标激励模型。在不完全信息和竞争性招标中,投标人的行为是追求最大的效用,军方则需要建立一种机制诱使投标人按真实成本信息报价,以达到预期支付最小的目的。这种招标博弈的结果是军方与投标人之间达成贝叶斯纳什均衡(Bayesian Nash equilib- rium),即军方利用激励合同诱使投标人报出其真实成本,而投标人为达到中标目的则必须采取讲真话的占优策略,最终在双方均可接受的条件下达成协议。在此基础上,结合实际研究提出了改进的综合评标模型。     

基于地域分析的智能空间决策支持技术

地域分析技术是作战指挥辅助决策的关键技术之一。详细介绍了基于多维战场环境条件下作战地域分析的智能空间决策支持系统的设计方法、系统结构、主要算法和实现。系统以军事地理信息系统、军用地图处理和态势信息系统为开发平台,设计过程中采用了联机分析处理、模型技术、数据挖掘、人工智能等辅助决策技术,实现了多约束条件下炮兵作战地域选择方案的自动生成和评估,提出了基于栅格元数据的地理信息表示模型、地域分析和评估模型、基于产生式规则的知识推理算法以及将模型、知识推理和实现方法紧密集成的决策支持模型,对基于地域分析的智能空间决策支持系统的系统结构和功能实现以及多层次决策支持技术进行了探索和研究。     

履带车辆动力性计算的数学模型

以发动机动力特性计算式为基础,推导出履带车辆动力性参数计算的数学模型,为今后履带车辆设计,以及动力性能的工程计算分析提供了数学方法,并通过计算机编程对某型车辆进行了计算,结果表明该方法具有较高的准确度和工程实用性。     

项目投资决策系统的设计与实现

探讨了一种国防支出项目投资决策系统的设计与实现方法,建立了实现项目投资决策的两个数学模型,通过这两个模型为最终投资安排提供了一个较为规范、科学的辅助决策依据。     

一种面向故障的软件测试新方法

面向故障的软件测试方法是今后软件测试技术研究的主要内容.和传统的面向整个软件的测试方法相比,面向故障的测试方法对故障的检测针对性更强,特别是对传统测试方法难以检测的故障如存储器泄露故障、数组越界故障、空指针引用故障等的检测是非常有效的.从方法学上讲,面向故障的测试方法标志着一个测试理论的成熟,在测试方法学中具有里程碑的意义.面向故障测试方法有2个问题需要解决:①软件的故障模型,②面向该模型的自动测试方法,此文重点论述软件的故障模型问题.