信息/求解 Petri 网系统

绝大多数 Petri 网在变迁发生后前集库所会失去标记,不便于表达一个条件一旦具备将永远具备的情形.针对该问题,基于0-1标识与变迁发生后其前集不失去标记的思想,提出了信息/求解扩展 Petri 网系统(I/S系统).给出了I/S系统的相关定义、部分基本性质、矩阵表示、求解发生权向量的求法和状态方程.最后,给出了以I/S系统表示的几种常见滑模变结构控制策略的设计过程,该例显示了I/S系统的模型表达能力.     

面向战争设计工程的作战信息建模方法

首先对战争设计工程研究问题的思路进行了分析,给出了问题中存在的作战信息的结构.按照作战信息的结构,从实体、关系、任务、过程、交互5个方面,给出了作战信息的结构化、形式化建模的规范,主要为异质领域专家在理解问题、认识问题、表达解决思路中提供一定程度上的帮助,提高了战争设计工程的研究效率.     

舰船总体性能可靠性建模方法研究

分析了舰船总体性能可靠性问题的产生原因,将其分为2类.对于舰载设备本身存在可靠性问题而造成的,以航速可靠性为例,在舰船总体可靠性的背景下,借助相关数学工具进行了建模方法分析;对于外界随机因素影响而造成的,如横稳性的可靠性问题,则从分析外界随机因素与船体设计参数之间关系入手.初步建立了一套研究舰船总体性能可靠性问题的建模方法.实例计算表明,将所建模型用于分析舰船总体性能比常规方法具有明显的优越性.     

弹道导弹作战效能建模分析

在对地地弹道式导弹武器系统的组成、特点进行分析的基础上,拟制了该武器系统作战效能的指标体系;给出了作战效能的基本关系式;重点对发射可靠性、生存能力、飞行可靠性、突防能力、弹头毁伤能力等影响导弹作战效能的主要指标进行了分析,给出了计算模型或具体量值.     

舰船作战系统一体化建模仿真环境研究

分析了舰船作战系统仿真的现状和一体化建模仿真环境的特点,讨论了一体化建模仿真环境应具备的功能：模型管理、模型验证、仿真管理、仿真生成、数据管理、数据分析、文档生成、资源共享和协同管理,给出了一体化建模仿真环境的体系结构、运行模式和工作流程,最后提出了仿真应用程序代码自动生成技术的解决方案。     

武器装备发展战略研究中的体系能力评估分析

随着武器装备发展战略研究的科学化决策需求越来越高,对体系能力评估的要求也变得愈发迫切,但这也是目前的一个技术难点。首先分析了发展战略研究中,可能遇到的体系能力评估问题种类及其特点。然后,针对每类问题,重点分析了各自的要求,给出了在评估分析建模方法选择上的建议。     

基于结构方程模型的作战能力评估方法

由于作战能力指标获取困难,当前的作战能力评估方法更多依赖专家知识,构建的模型往往缺乏足够的说服力。因此,在分析作战效能与作战能力关系的基础上,结合结构方程模型,提出一种从作战效能指标出发,评估作战能力的方法,并以某次反潜作战为背景,进行了实例分析。     

需求工程的形式化方法

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

基于Petri网的维修过程建模仿真方法研究

通过引进老化令牌对随机Petri网进行理论扩展,提出了一种基于老化令牌的随机Petri网（SPNAT）的维修过程建模与仿真方法,有效地解决了传统维修性建模方法在多个失效率不同的部件系统所存在的建模复杂和求解困难等问题,并通过实例验证了该建模方法的有效性和优越性。     

装备保障计划规范化建模方法研究

采用UML对装备保障计划从静态和动态两个框架进行建模,直观形象地描述了装备保障计划的内容,为装备保障计划的自动生成提供了理论基础,并且以陆军师弹药保障计划为例进行说明。