一、基于SPN有限等待差错服务的火力单元排队模型（论文文献综述）
邢积超,王新赛,朱兆梁[1]（2021）在《防空作战效能评估研究现状》文中研究说明未来防空作战"侦、控、打、评、保"一体化特点鲜明,作战效能评估已经成为促进防空作战能力提升的重要一环。文章系统总结了近10年国内防空作战效能评估研究成果,指出了评估中"缺对抗、缺定量、缺体系"的问题,提出了基于对抗建模探索防空武器装备动态效能、基于模型组合探索防空作战体系效能评估、基于复杂网络探索新型防空力量效能评估、基于建模仿真平台探索一体化防空作战效能评估4个研究趋势,为后续研究提供理论参考。
陈金宏,鲁明,黄凯[2]（2017）在《改进的防空导弹武器系统作战效能评估模型》文中提出针对当前防空导弹武器系统作战效能评估模型的局限性,运用排队论基本原理,基于目标有限等待和差错服务,构建了改进的作战效能评估模型,并应用该模型进行了验证计算。结果表明,防空导弹的飞行速度、杀伤区远界和每次射击击毁概率是影响防空导弹武器系统作战效能的主要因素,对于优化防空兵力部署、改进武器系统性能具有一定的参考价值。
杨大伟,戚学文,王子明[3]（2016）在《防空群对多批次小间隔目标射击效能评估》文中研究表明基于排队网络理论的适用性分析以及基本假设与适当简化,将防空群对多批次、小间隔目标射击问题转化、抽象为排队网络对顾客流的服务问题,建立了防空群对多批次、小间隔目标射击效能评估的"分布式协同排队网络"模型。在特定作战实例和假设条件下,应用所建模型,计算得出了典型火力配属方案下防空群对多批次、小间隔目标射击效能的量化结果,实现了防空群对多批次、小间隔目标的射击效能的定量化评估,验证了所建模型的可行性与有效性。
朱峰[4]（2015）在《并行离散事件仿真图形化开发技术研究》文中指出并行离散事件仿真应用系统的开发通常涉及并行程序设计、离散事件建模、CPU及加速部件协同调度等众多专业性强的技术。同时,随着被仿真系统的不断发展及人们认识的不断深入,这类仿真系统往往需要持续不断地开发、集成、升级、测试。传统的基于仿真建模环境手动编码的开发模式需要仿真人员深入学习并行仿真底层理论知识及相关软硬件平台技术,导致仿真应用系统开发门槛高、开发周期长,系统升级和维护成本大,已成为制约并行离散事件仿真普及发展的重要因素。图形化开发技术能够屏蔽底层软硬件平台技术,更贴近问题域,具有直观、高效等特点。因此,开展并行离散事件仿真图形化开发技术研究,对于降低复杂系统仿真应用的开发门槛、提高仿真应用的开发效率、促进并行离散事件仿真应用的发展等具有十分重要的理论意义和实用价值。论文针对当前并行离散事件仿真图形化开发技术存在的相关问题,围绕并行离散事件仿真图形化编程模型、计算模型开发规范、仿真对象图形化开发方法及仿真应用图形化集成方法等关键技术问题展开深入研究,主要工作和创新点如下:（1）提出了基于LP范型的并行离散事件仿真图形化编程模型。并行离散事件仿真应用往往包含众多计算模型,由于缺乏图形化编程模型作为理论指导,导致目前难以实现通过图形化组装计算模型的方式构建仿真应用。为此,提出了一种基于LP范型的并行仿真图形化编程模型,该编程模型规范化定义了仿真应用的层次化组成结构与执行模型,描述了仿真初始化与事件通用处理流程,并抽象给出了图形化配置信息集合及需要自动生成的结构化代码模板。分析和测试表明该编程模型可为并行仿真图形化开发技术的实现提供基础支撑,满足并行仿真应用图形化开发的需求。（2）提出了支持图形化组装的计算模型开发规范。不同仿真对象包含的计算模型往往由不同的领域专家分别开发,由于缺乏统一的支持图形化组装的计算模型开发规范,导致不同单位开发的仿真计算模型外部接口多样、模型间耦合度大、模型与仿真平台绑定紧密等问题,难以实现模型的重用及基于计算模型的图形化组装。为此,提出了一种支持图形化组装仿真对象的计算模型开发规范,该规范通过定义模型七类标准外部接口、模型描述规范及内部约束规则以解耦合计算模型之间、模型与仿真平台之间的依赖关系,实现模型封装和计算模型在不同平台与仿真应用间的重用,支持计算模型的图形化组装与配置。分析与测试表明基于该规范开发的计算模型具有良好的可重用性和易组装性。（3）提出了基于分层事件图的仿真对象开发方法。事件图是描述离散事件系统最直观的建模范式,然而当前的事件图建模方法导致仿真对象之间耦合度高、开发协调及接口联调困难,且开发的仿真对象重用性差。为此,提出了一种基于分层事件图的仿真对象开发方法,该方法上层采用输入/输出端口将事件图封装为仿真对象,并在事件图基础上增加了初始化图元和交互事件类型,以支持对象层次的独立开发、封装和重用的需求;下层采用条件Petri网描述计算模型构建事件的组装过程。理论与实例分析表明分层事件图开发方法能够有效支持基于计算模型的事件图形化组装,基于事件图的仿真对象分布开发和重用。（4）提出了基于类交互图的并行仿真应用集成方法。仿真对象实例与实例之间的交互具有动态特性,传统以对象实例为元素的应用集成方法难以有效支持在不同想定中设置不同的实例以及实例之间的动态交互。为此,提出了一种基于类交互图的仿真应用集成方法,该方法以分层事件图封装的仿真对象类作为应用集成的基本元素,仿真对象类之间采用端口互联,端口连线上配置交互决策模型或属性过滤器。在仿真运行时,仿真应用系统自动解析想定文件动态生成仿真对象实例,同时基于交互决策模型或属性过滤器的计算结果动态决定对象实例之间的交互关系。测试表明类交互图集成方法能够有效支持并行仿真应用的图形化集成。在上述研究成果的基础上,论文结合课题组研制的SUPE并行仿真引擎设计实现了并行离散事件仿真图形化开发环境SUFA;实例应用测试表明SUFA图形化开发环境具有直观、高效等特点,并且基于SUFA构建的并行离散事件仿真应用具有良好的运行效率与可扩展性。
许宁[5]（2014）在《自动化指挥控制系统软件设计研究》文中提出防空导弹指挥控制系统作为武器系统的作战核心,其主要功能都是由软件实现的。随着现代战争空袭作战的日益复杂,对防空武器的多目标作战能力的要求也日益增强,对指挥控制系统的要求也越来越高。软件除了要满足指挥控制系统日益增长的各种战术模型、作战过程、数据交换等功能外,还要保证系统在饱和攻击状态下高可靠地安全运行,这事关整个防空作战的成败。指挥控制系统作为一个高实时性嵌入式系统,要在有限的硬件资源下接收大量数据并完成各种任务解算;同时还要为作战指挥人员提供准确、快速的作战信息,必须要具备良好的人机交互界面。这些功能的综合实现,对指挥控制系统软件的设计提出了较高要求,必须采用一套系统性的设计方法进行软件的设计开发,同时在设计过程中就要考虑使用质量保证的方法控制软件产品的可靠性。本文将指挥控制系统软件的整个开发工程按照系统需求分析过程、作战模型设计、软件整体架构设计和软件开发过程的质量保证几个方面分别进行研究讨论,充分借鉴目前军用软件开发的先进技术理念,力求对指挥控制系统软件设计的几个重点和难点进行深入分析,并给出一套较为经典的整体设计方法。这套方法是基于国内目前某型先进防空导弹武器的指挥控制系统软件的设计过程而总结提炼出来的。该型武器装备目前已广泛装备部队使用,实际使用证明该系统中的指挥控制系统软件功能稳定,运行可靠,人机交互性能较好。本文主要做的工作包括:1)研究分析防空导弹指挥控制系统需要实现的功能性能,介绍了一般指挥控制系统的设计过程和思路。从而提出了指挥控制系统对软件设计提出的要求。2)详细讨论了指挥控制系统软件的设计方法,对软件模型设计,软件架构设计、软件接口设计和软件人机界面等进行详细介绍。3)主要结合实践经验介绍了指挥控制系统软件设计的工程化实现过程以及相应的质量保证措施。
张洪梅[6]（2014）在《时间Petri网及其在仿真系统概念建模中的应用》文中研究说明随着建模仿真技术在各行各业中得到广泛的应用，Petri网作为一种图形化的建模语言也受到越来越多的重视。时间Petri网概念的提出为离散时间仿真系统的动态过程提供了准确的描述手段，它不仅可以描述事件间异步、并发等逻辑关系，还可以反映事件时间层次的信息，是基本Petri网理论的功能扩充。随着仿真系统复杂性的增加，仿真概念模型的作用也越来越关键，对仿真系统概念模型的研究是建模仿真工作的首要任务。本文是按照从理论方法研究到工具设计实现，再到实例应用研究的顺序，从以下三方面展开讨论。首先，给出标准Petri网理论，详细阐述标准Petri网定义、使能条件及激发计算。给出时间Petri网定义，提出变迁时间间隔分析方法和时间Petri网仿真算法，简单介绍变迁及激发时间的采样方法，继而给出时间Petri网仿真算法实现，提出实例进行算法验证。其次，进行时间Petri网工具设计及实现。简单介绍Snoopy建模工具，对时间Petri网仿真工具进行详细设计并实现，包含模型信息导出模块、仿真算法实现模块和仿真波形绘制模块。该工具功能覆盖模型建立及模型仿真的整个流程，论文利用该工具对接下来的应用实例进行研究。最后，讨论时间Petri网在仿真概念建模中的应用。给出仿真概念模型组成及开发过程，介绍仿真概念建模语言，详细阐述时间Petri网概念建模方法。提出指挥控制系统应用实例，建立指控系统的时间Petri网仿真概念模型，并对其进行仿真分析。综上，本文在掌握标准Petri网理论，研究基本Petri网分析方法的基础上，提出时间Petri网的时间分析及仿真算法，进行时间Petri网仿真工具设计实现。建立指挥控制系统的时间Petri网仿真概念模型，并对其进行仿真分析。本文的研究工作和研究成果扩展了Petri网理论体系、拓宽了Petri网应用领域及应用范围。
乔李明[7]（2012）在《基于EOOPN的装备体系任务可靠性建模》文中研究说明现代战争是装备体系之间的对抗。可靠性尤其是任务可靠性评价与设计是装备体系设计中重要的一个方面。由于装备体系组成复杂，任务多样，其任务可靠性评价目前比较可行的是基于仿真的方法。Petri网能较好的描述资源共享复杂逻辑，适合装备体系的特点。论文在总结和分析国内外相关研究工作的基础上，针对装备体系的任务可靠性建模特点，对传统的对象Petri网进行了改进，提出了基于EOOPN的任务可靠性建模方法，并研究了任务可靠性模型的自动化生成问题。论文的主要研究内容与创新性工作如下：（1）针对任务信息描述问题，基于DoDAF2.0提出了任务可靠性信息描述的数据模型，并给出了可靠性视角下的视图产品集，并基于UML给出了产品模板，实现了任务信息的可视化与规范化描述。（2）针对装备体系任务可靠性建模的需要，从网结构和建模元素两个方面对现有对象Petri网进行了扩展，引入逻辑变迁，逻辑关联描述更加直观。引入了信息广播库所和信息接收库所，对其信息流和物质流进行了区分，增加了模型层次，使Petri网模型更加简洁、可读性更强。论文基于XML给出了扩展的对象Petri网（Extend Object-Oriented Petri Net, EOOPN）的模型规范。（3）给出了基于EOOPN的任务可靠性模型的分层建模方法，提出了任务信息描述模型到任务可靠性模型的转换原则和步骤。设计并部分实现了基于EOOPN模型的仿真原型软件，为实现计算机辅助建模打下了基础。（4）以防空反导体系为背景，应用所提出的建模仿真技术方法，进行了任务可靠性建模与仿真开展了应用研究，验证了本文所提建模技术与流程的有效性。
李仁松,姜志刚,赵磊[8]（2011）在《多目标通道的舰空导弹武器系统作战效能评估》文中认为文章构建一个能够反映舰空导弹武器系统作战效能的改进型排队论模型,通过模型各项指标的研究评估舰空导弹武器系统的作战效能。最后以某型驱逐舰的舰空导弹系统为例进行模型验证。
刘建英,李小龙[9]（2010）在《排队系统的着色Petri网建模与分析》文中进行了进一步梳理着色Petri网（CPN）是研究离散事件动态系统的有力工具,将着色Petri网引入排队系统建模中,能弥补排队模型缺乏动态逻辑行为分析能力的不足。针对排队系统一般模型建立顶层结构模型,并对排队系统的4个要素给出了具体的CPN描述。给出一个具体实例,阐明排队系统的CPN分析法的使用,利用仿真工具CPN-Tools对模型仿真实现,仿真结果与数学模型得出的理论值对比分析,验证了可行性。
贺川,王桂花,蒋里强,曹冒君[10]（2010）在《基于排队论的地空导弹武器系统作战效能评估》文中指出为科学评估地空导弹武器系统的作战效能,以排队理论为基础,研究了应用排队模型模拟和评估防空部队作战效能的方法。通过解析计算模型的各项指标,从而得到用于评估武器系统作战效能的重要参数。根据所计算出的武器系统效能,可有效分析出防空部队的兵力优化配置方案,为指挥员做出迅速、准确的决策提供科学依据。
二、基于SPN有限等待差错服务的火力单元排队模型（论文开题报告）
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
本文主要提出一款精简64位RISC处理器存储管理单元结构并详细分析其设计过程。在该MMU结构中,TLB采用叁个分离的TLB,TLB采用基于内容查找的相联存储器并行查找,支持粗粒度为64KB和细粒度为4KB两种页面大小,采用多级分层页表结构映射地址空间,并详细论述了四级页表转换过程,TLB结构组织等。该MMU结构将作为该处理器存储系统实现的一个重要组成部分。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
三、基于SPN有限等待差错服务的火力单元排队模型（论文提纲范文）
（2）改进的防空导弹武器系统作战效能评估模型（论文提纲范文）
| 0 引言 |
| 1 基本假设 |
| 2 状态分析 |
| 3 系统性能指标 |
| 4 算例分析 |
| 5 结束语 |
（3）防空群对多批次小间隔目标射击效能评估（论文提纲范文）
| 0 引言 |
| 1 基本假设 |
| 1.1 对来袭目标的假设 |
| 1.2 对防空群的假设 |
| 2 效能评估模型 |
| 2.1 建模说明 |
| 2.2 模型建立 |
| 3 实例应用 |
| 3.1 参数设置 |
| 3.2 模型计算 |
| 4 结论 |
（4）并行离散事件仿真图形化开发技术研究（论文提纲范文）
| 摘要 |
| Abstract |
| 第一章 绪论 |
| 1.1 研究背景和意义 |
| 1.2 研究现状及面临的主要问题 |
| 1.2.1 并行离散事件仿真概述 |
| 1.2.2 图形化开发技术概述 |
| 1.2.3 图形化开发技术的研究现状 |
| 1.2.4 图形化开发技术面临的主要问题 |
| 1.3 论文的研究目标及主要工作 |
| 1.3.1 论文主要研究工作 |
| 1.3.2 论文的主要创新点 |
| 1.4 论文组织结构 |
| 第二章 基于LP范型的并行离散事件仿真图形化编程模型 |
| 2.1 引言 |
| 2.2 相关工作与局限性 |
| 2.3 仿真应用组成结构与执行模型 |
| 2.3.1 仿真应用层次结构 |
| 2.3.2 仿真应用执行模型 |
| 2.4 仿真初始化及事件通用处理流程 |
| 2.4.1 仿真初始化处理流程 |
| 2.4.2 仿真事件通用处理流程 |
| 2.5 实例与分析 |
| 2.5.1 排队系统仿真应用实例 |
| 2.5.2 复杂军事仿真应用实例 |
| 2.6 本章小结 |
| 第三章 支持图形化组装的计算模型开发规范 |
| 3.1 引言 |
| 3.2 相关工作与局限 |
| 3.3 可重用计算模型开发规范RUM |
| 3.3.1 统一外部接口 |
| 3.3.2 内部约束规则 |
| 3.3.3 模型描述信息 |
| 3.4 基于RUM规范的计算模型图形化组装 |
| 3.5 实例与分析 |
| 3.5.1 计算模型的可重用性分析 |
| 3.5.2 计算模型图形化组装能力 |
| 3.6 本章小结 |
| 第四章 基于分层事件图的仿真对象开发方法 |
| 4.1 引言 |
| 4.2 相关研究与局限性 |
| 4.3 分层事件图HEG |
| 4.3.1 HEG的结构定义 |
| 4.3.2 HEG的执行语义 |
| 4.4 条件Petri网CPN |
| 4.4.1 CPN的结构定义 |
| 4.4.2 CPN的执行语义 |
| 4.5 实例与分析 |
| 4.5.1 基于HEG开发仿真对象 |
| 4.5.2 复杂军事仿真对象实例 |
| 4.6 本章小结 |
| 第五章 基于类交互图的并行仿真应用集成方法 |
| 5.1 引言 |
| 5.2 相关研究与局限性 |
| 5.3 类交互图CIG |
| 5.3.1 CIG的结构定义 |
| 5.3.2 CIG的执行语义 |
| 5.4 基于CIG的仿真应用集成方法 |
| 5.4.1 仿真对象实例的动态生成 |
| 5.4.2 基于属性过滤的动态交互 |
| 5.4.3 基于模型决策的动态交互 |
| 5.5 实例与分析 |
| 5.5.1 单队列多服务台排队系统 |
| 5.5.2 复杂军事仿真应用系统 |
| 5.6 本章小结 |
| 第六章 并行仿真图形化开发环境SUFA的实现与应用 |
| 6.1 SUFA的设计与实现 |
| 6.1.1 SUFA的组成结构 |
| 6.1.2 SUFA的模块实现 |
| 6.2 SUFA的测试与应用 |
| 6.2.1 民意趋势仿真应用的组成结构 |
| 6.2.2 民意趋势仿真应用图形化开发 |
| 6.2.3 实验与性能评估 |
| 6.3 本章小结 |
| 第七章 结论与展望 |
| 7.1 论文总结工作 |
| 7.2 进一步研究工作 |
| 致谢 |
| 参考文献 |
| 作者在学期间取得的学术成果 |
| 参加的主要科研工作及获奖经历 |
| 附录A 中英文缩写词 |
（5）自动化指挥控制系统软件设计研究（论文提纲范文）
| 摘要 |
| ABSTRACT |
| 第一章 绪论 |
| 1.1 自动化指挥控制系统软件设计的研究意义 |
| 1.1.1 防空导弹武器指挥控制系统及软件简介 |
| 1.1.2 防空导弹武器指挥控制系统软件的重要性 |
| 1.2 防空导弹武器指挥控制系统软件设计存在的主要问题 |
| 1.2.1 指挥控制系统软件模型设计 |
| 1.2.2 指挥控制系统软件设计可靠性 |
| 1.2.3 指挥控制系统软件开发过程质量 |
| 1.3 防空导弹武器指挥控制系统软件设计现状 |
| 1.4 论文的研究内容和结构安排 |
| 第二章 指挥控制系统的研究 |
| 2.1 防空导弹武器指挥控制系统的发展 |
| 2.2 防空导弹武器指挥控制系统的地位 |
| 2.3 指挥控制系统的主要功能 |
| 2.4 指挥控制系统的主要组成 |
| 2.4.1 硬件组成 |
| 2.4.2 软件组成 |
| 2.5 指挥控制系统的指标体系 |
| 2.5.1 指标体系概述 |
| 2.5.2 处理容量 |
| 2.5.3 实时性 |
| 2.5.4 精度 |
| 2.5.5 反应时间 |
| 2.5.6 辅助决策能力 |
| 2.5.7 环境适应能力 |
| 2.5.8 可靠性、维修性、安全性 |
| 2.6 指挥控制系统的工作原理 |
| 2.6.1 工作原理概述 |
| 2.6.2 A型武器系统工作原理 |
| 2.6.3 B型武器系统工作原理 |
| 2.6.4 C型武器系统工作原理 |
| 2.7 指挥控制系统工作特点 |
| 2.8 本章小结 |
| 第三章 指挥控制系统软件的设计方法 |
| 3.1 指挥控制系统对软件设计的要求 |
| 3.2 指挥控制系统软件的设计内容 |
| 3.3 指挥控制系统软件总体设计 |
| 3.3.1 运行环境的选择 |
| 3.3.2 程序设计与语言的选择 |
| 3.3.3 软件开发生命周期的选择 |
| 3.3.4 软件质量保证过程的选择 |
| 3.4 指挥控制数学模型设计 |
| 3.4.1 多传感器信息融合模型 |
| 3.4.2 多源多目标数据管理模型 |
| 3.4.3 多作战单元分配模型 |
| 3.4.4 多目标威胁判断模型 |
| 3.5 指挥控制系统软件架构设计 |
| 3.5.1 软件架构设计 |
| 3.5.2 系统状态和模式 |
| 3.5.3 任务设计 |
| 3.5.4 数据结构设计 |
| 3.5.5 可靠性设计 |
| 3.5.6 安全性设计 |
| 3.6 指挥控制系统软件接.设计 |
| 3.6.1 数字接.介绍 |
| 3.6.2 软件通信协议设计 |
| 3.7 指挥控制系统软件人机界面设计 |
| 3.7.1 显示页面划分 |
| 3.7.2 显示区域划分 |
| 3.7.3 软件界面显示内容 |
| 3.8 本章小结 |
| 第四章 软件开发过程及质量保证 |
| 4.1 软件工程介绍 |
| 4.2 软件生存周期 |
| 4.2.1 软件生存周期模型 |
| 4.2.2 软件分级分类 |
| 4.2.3 软件开发过程 |
| 4.3 软件质量保证 |
| 4.3.1 软件问题的纠正过程 |
| 4.3.2 软件评审 |
| 4.3.3 软件配置管理 |
| 4.4 本章小结 |
| 第五章 仿真验证 |
| 5.1 试验目的 |
| 5.2 参试产品和配套设备 |
| 5.3 试验项目 |
| 5.3.1 多目标分配功能检查 |
| 5.3.2 集中战斗作战过程检查 |
| 5.4 试验内容 |
| 5.4.1 多目标分配仿真验证 |
| 5.4.2 集中战斗作战过程仿真验证 |
| 5.5 本章小结 |
| 第六章 全文总结 |
| 6.1 主要结论 |
| 6.2 研究展望 |
| 参考文献 |
| 致谢 |
| 攻读硕士学位期间已发表或录用的论文 |
（6）时间Petri网及其在仿真系统概念建模中的应用（论文提纲范文）
| 摘要 |
| Abstract |
| 第1章 绪论 |
| 1.1 课题背景及研究目的 |
| 1.2 研究现状 |
| 1.2.1 Petri 网研究现状 |
| 1.2.2 仿真概念模型研究现状 |
| 1.3 本文的主要研究内容 |
| 第2章 时间 PETRI 网 |
| 2.1 简介 |
| 2.2 标准 Petri 网 |
| 2.2.1 定义 |
| 2.2.2 前集和后集 |
| 2.2.3 使能条件 |
| 2.2.4 激发状态标识 |
| 2.3 时间 Petri 网 |
| 2.3.1 定义 |
| 2.3.2 使能条件 |
| 2.3.3 激发状态计算 |
| 2.4 时间 Petri 网仿真算法 |
| 2.4.1 随机采样方法 |
| 2.4.2 算法实现 |
| 2.4.3 实例 |
| 2.5 小结 |
| 第3章 时间 PETRI 网工具设计 |
| 3.1 建模工具简介 |
| 3.2 工具设计框架 |
| 3.3 详细设计及实现 |
| 3.3.1 建模模块 |
| 3.3.2 仿真模块 |
| 3.3.3 输出模块 |
| 3.4 小结 |
| 第4章 时间 PETRI 网在仿真系统概念建模中的应用 |
| 4.1 仿真系统概念模型 |
| 4.1.1 概念模型组成 |
| 4.1.2 概念模型开发过程 |
| 4.2 概念模型建模语言 |
| 4.3 基于时间 Petri 网的概念建模 |
| 4.4 指挥控制系统应用实例 |
| 4.4.1 指挥控制系统工作过程 |
| 4.4.2 指控系统时间 Petri 网概念模型 |
| 4.4.3 仿真和分析 |
| 4.5 小结 |
| 结论 |
| 参考文献 |
| 攻读硕士学位期间发表的论文及其它成果 |
| 致谢 |
（7）基于EOOPN的装备体系任务可靠性建模（论文提纲范文）
| 表目录 |
| 图目录 |
| 摘要 |
| Abstract |
| 第一章 绪论 |
| 1.1 研究背景与意义 |
| 1.1.1 基于 Petri 网的任务可靠性建模研究背景 |
| 1.1.2 基于扩展的对象 Petri 网的任务可靠性建模方法研究的意义 |
| 1.2 国内外相关领域研究综述 |
| 1.2.1 装备体系可靠性建模研究现状 |
| 1.2.2 Petri 网的发展及其建模工具研究现状 |
| 1.2.3 Petri 网在体系建模和可靠性建模中的应用研究现状 |
| 1.3 存在的问题和解决思路 |
| 1.3.1 存在的问题 |
| 1.3.2 解决的思路 |
| 1.4 论文的主要工作及内容结构 |
| 1.4.1 论文的主要工作与创新 |
| 1.4.2 研究内容结构 |
| 第二章 装备体系任务可靠性信息的规范化描述 |
| 2.1 装备体系及其任务可靠性 |
| 2.1.1 装备体系及其任务可靠性基本概念 |
| 2.1.2 可靠性视角下装备体系任务描述内容 |
| 2.2 基于 DoDAF 的任务可靠性信息描述数据 |
| 2.2.1 DoDAF 简介 |
| 2.2.2 可靠性视角下装备体系任务信息数据模型 |
| 2.3 基于 UML 的任务可靠性信息数据的规范化描述 |
| 2.3.1 任务可靠性信息描述产品集 |
| 2.3.2 基于 UML 的产品模版及模型信息完备性验证 |
| 2.4 本章小结 |
| 第三章 EOOPN 模型及其规范化描述 |
| 3.1 对象 Petri 网原理及其扩展 |
| 3.1.1 对象 Petri 网基本原理 |
| 3.1.2 对象 Petri 网的扩展思路及扩展元素 |
| 3.2 EOOPN 的语义模型 |
| 3.2.1 EOOPN 的形式化定义 |
| 3.2.2 OPN 的形式化定义 |
| 3.2.3 EOOPN 的变迁激发规则 |
| 3.3 EOOPN 的规范化描述 |
| 3.3.1 EOOPN 的元模型 |
| 3.3.2 EOOPN 的 XML 格式规范及示例 |
| 3.4 本章小结 |
| 第四章 基于 EOOPN 的任务可靠性建模与软件设计 |
| 4.1 任务可靠性模型的计算机辅助生成 |
| 4.1.1 可靠性逻辑结构的 EOOPN 描述方法 |
| 4.1.2 UML 模型到 EOOPN 模型的转换原理 |
| 4.1.3 任务信息描述模型到可靠性模型的转换步骤 |
| 4.3 任务可靠性建模分析软件总体框架及功能设计 |
| 4.3.1 软件总体设计 |
| 4.3.2 系统数据接口设计 |
| 4.4 EOOPN 仿真模块设计与实现 |
| 4.4.1 数据结构设计 |
| 4.4.2 基于 Monte-Carlo 的任务可靠性仿真算法设计 |
| 4.4.3 模块界面介绍 |
| 4.5 本章小结 |
| 第五章 “PAC-3”防空反导体系的任务可靠性建模示例 |
| 5.1 PAC-3 防空反导体系简介 |
| 5.1.1 PAC-3 系统组成 |
| 5.1.2 PAC-3 拦截弹道导弹作战流程 |
| 5.2 PAC-3 任务信息的规范化描述 |
| 5.3 PAC-3 任务可靠性模型生成 |
| 5.4 本章小结 |
| 第六章 结论与展望 |
| 6.1 论文的主要贡献 |
| 6.2 未来工作展望 |
| 致谢 |
| 参考文献 |
| 作者在学期间取得的学术成果 |
| 附录 1 |
| 附录 2 |
| 附录 3 |
（8）多目标通道的舰空导弹武器系统作战效能评估（论文提纲范文）
| 1 问题的提出 |
| 2 对问题的数学描述和相关假设 |
| 3 模型的构建 |
| 4 模型的检验 |
| 5 结语 |
（9）排队系统的着色Petri网建模与分析（论文提纲范文）
| 0 引言 |
| 1 排队系统CPN建模 |
| 1.1 系统模型 |
| 1.2 系统要素 |
| 2 实例分析 |
| 2.1 实例描述 |
| 2.2 CPN模型 |
| 2.3 仿真结果及其分析 |
| 3 结束语 |
（10）基于排队论的地空导弹武器系统作战效能评估（论文提纲范文）
| 引 言 |
| 1 问题的分析 |
| 2 数学描述及假设[1, 2] |
| 3 建立模型[3, 4] |
| 3.1 建立系统状态的标记图 |
| 3.2 建立微分方程组, 并补充约束条件 |
| 4 应用举例 |
| 5 结 论 |
四、基于SPN有限等待差错服务的火力单元排队模型（论文参考文献）
- [1]防空作战效能评估研究现状[A]. 邢积超,王新赛,朱兆梁. 第九届中国指挥控制大会论文集, 2021
- [2]改进的防空导弹武器系统作战效能评估模型[J]. 陈金宏,鲁明,黄凯. 现代防御技术, 2017(03)
- [3]防空群对多批次小间隔目标射击效能评估[J]. 杨大伟,戚学文,王子明. 火力与指挥控制, 2016(01)
- [4]并行离散事件仿真图形化开发技术研究[D]. 朱峰. 国防科学技术大学, 2015(11)
- [5]自动化指挥控制系统软件设计研究[D]. 许宁. 上海交通大学, 2014(03)
- [6]时间Petri网及其在仿真系统概念建模中的应用[D]. 张洪梅. 哈尔滨工业大学, 2014(02)
- [7]基于EOOPN的装备体系任务可靠性建模[D]. 乔李明. 国防科学技术大学, 2012(01)
- [8]多目标通道的舰空导弹武器系统作战效能评估[J]. 李仁松,姜志刚,赵磊. 舰船电子工程, 2011(09)
- [9]排队系统的着色Petri网建模与分析[J]. 刘建英,李小龙. 计算机与现代化, 2010(06)
- [10]基于排队论的地空导弹武器系统作战效能评估[J]. 贺川,王桂花,蒋里强,曹冒君. 火力与指挥控制, 2010(05)