变权评估中均衡函数的构造

针对变权评估问题,介绍了基本原理,研究了均衡函数的构造方法,提出了激励型和惩罚型均衡函数的概念.考察了两类基本的均衡函数:和型均衡函数与积型均衡函数,通过其函数项与导数的讨论,研究了函数的构造条件以及其最终成为激励型和惩罚型均衡函数的条件,并结合具体例子进行了分析.所得结论具有普遍的意义,丰富了变权评估的理论体系.     

军事信息系统需求模型一致性检验方法

在大型军事信息系统研制项目中,如何获取军事需求、分析系统需求、发现需求规约中的各种问题,一直是困扰系统研发部门的难题。提出了一套军事信息系统需求建模和一致性检验方法,该方法由军事信息系统需求概念本体、基于UML的军事信息系统需求建模方法,以及基于描述逻辑的军事信息系统需求模型推理验证技术3部分组成。该方法可以有效检验需求分析人员所构建的需求模型的语义是否正确,内容是否全面如实地反映用户要求,进而为系统后续建设提供参考和决策支持。     

指控系统信息服务质量评价研究

为了有效评价指控系统信息服务质量情况,在深入分析指控系统信息服务特征及用户服务要求的基础上,研究了评价指标的析取原则,从主观和客观两个方面提出了指控系统信息服务质量评价的指标体系,对各维度及评价指标的含义、测量方法进行了详细讨论,并给出了定性评价、定量评价和半定量评价3种指标评价方法和加权综合评价方法。