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

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

管道机器人在三通处的通过性分析

三通是管道机器人经常遇到的典型障碍之一,克服该障碍的能力用管道机器人在三通处通过性来描述。文中提出一种描述差压驱动式管道机器人三通通过性的数学模型,该模型由一组组合约束构成。通过对约束方程的分析讨论、与管道机器人弯道通过性的对比分析,得出了规律性的结论。管道机器人在三通处的姿态、单元体的几何尺寸、行走轮结构形式对其通过性都有不同程度的影响。所提出数学模型是管道机器人三通自主行走控制策略设计和相应结构设计的理论基础。     

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

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

关于加强“4＋1”模式学员军事素质基础培养的研究

现代战争对军人的军事素质提出了更高的要求,而优良的军事素质,是靠平时严格、艰苦的训练来实现的.我院高度重视培养提高学员的军事素质,主要通过3个途径实现培养目标.这里重点阐述了我院对学员军事素质培养的实践经验及效果,对军事工程院校学员军事素质基础的提高,具有一定的指导作用和参考价值.     

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

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

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

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

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

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

玻璃钢导流罩新型密封结构设计及其模型试验研究

提出了船舶球鼻首导流罩玻璃钢壳体与船体结构之间的新型连接结构———纤维桩结构和柔性预紧密封螺钉连接结构,即:在钢构架与玻璃钢壳体之间采用纤维桩连接结构,玻璃钢壳体边界与船体搭接板之间采用加橡胶柔性密封的螺钉连接结构。经过导流罩局部模型试验证明,该连接结构能保证导流罩具有足够的强度和水密性,其性能优于现有螺钉连接结构,适合于实船使用。     

基于Agent的"信息路由"通信模型

针对一种基于Agent的信息收集系统,提出了一个具备"信息路由"模块的通信模型.依据该通信模型,定义了一种用作消息传送的通信语言,并给出了该语言XML的描述.     

基于面向对象技术的通信资源管理数据库建模

采用面向对象技术进行数据模型构造是一种非传统的数据组织和设计方法 ,它能够更好地描述和分析现实世界事物之间的关系。论述了通信资源数据库的面向对象建模方法 ,并提出了一种面向对象数据模型向数据库结构转换的策略。