基于ExSpect的复杂离散事件动态系统建模

随着petri理论与应用研究的不断发展，petri网已经成为离散事件动态系统建模和分析的有力工具。采用petri网对复杂离散事件动态系统进行建模和分析，没有一套科学的建模方法指导和有力的软件支持是不可能实现的。介绍了基于Petri网的可执行的规格说明语言Exspect及其软件，提出了基于Exspect的复杂离散事件动态系统建模的方法，并进行了实例研究。     

战场复杂电磁环境对装备保障的影响研究

当前复杂电磁环境已构筑出新型信息化战场,如何在这种环境下组织实施装备保障已成为各级装备保障部门面临的新问题。描述了装备保障过程中各类"供、管、修"等专业活动的流程,深入分析了复杂电磁环境对各种装备保障活动的影响并提出一些有针对性的对策建议,为研究在复杂电磁环境下提高装备保障能力提供了借鉴。     

基于模糊综合评判的备件品种量化方法

利用模糊综合评判的方法,对备件品种的量化方法进行了探讨。在建立模糊综合评判模型的基础上,分析了模型中评价因素集,并给出了评价因素的权重分配,对评价因素进行了详细的分类和界定,给出了确定其隶属度的方法,并给出了综合评价的计算公式,最后又对本方法的使用提出了一点建议。     

基于信息流程的军事装备管理系统变革设计

基于信息化战争的到来和信息化军事装备逐渐装备部队的新形势,提出了基于信息流程变革军事装备管理系统的构想,分析了存在的问题,给出了军事装备管理系统整体变革设计的整体框架,并对军事装备管理系统中信息流程、业务流程这两大核心流程的重新设计进行了探讨。