摘要 | 第1-16页 |
Abstract | 第16-18页 |
第一章 绪论 | 第18-48页 |
·研究背景与意义 | 第18-21页 |
·研究背景 | 第18-20页 |
·研究意义 | 第20-21页 |
·装备体系任务可靠性的相关概念 | 第21-33页 |
·相关概念 | 第21-24页 |
·装备体系的任务 | 第24-27页 |
·装备体系的结构 | 第27-32页 |
·装备体系任务可靠性影响因素 | 第32-33页 |
·国内外相关研究综述 | 第33-42页 |
·任务可靠性建模方法综述 | 第33-37页 |
·装备体系描述及建模方法综述 | 第37-42页 |
·存在的问题和解决思路 | 第42-44页 |
·存在的问题 | 第42-43页 |
·解决问题的思路及技术选择 | 第43-44页 |
·论文的研究内容与创新点 | 第44-48页 |
·论文研究内容及结构安排 | 第44-45页 |
·论文的主要创新工作 | 第45-48页 |
第二章 装备体系任务可靠性的描述模型 | 第48-81页 |
·体系结构框架模型 | 第48-52页 |
·Do DAF模型 | 第48-49页 |
·视图及产品 | 第49-51页 |
·Do DAF针对任务可靠性建模的不足 | 第51-52页 |
·面向任务可靠性描述需求的Do DAF产品 | 第52-62页 |
·装备体系的任务可靠性建模需求 | 第52-54页 |
·Do DAF产品扩展 | 第54-58页 |
·Do DAF-ROD构成 | 第58-61页 |
·Do DAF-ROD的开发流程 | 第61-62页 |
·装备体系的Do DAF-ROD产品 | 第62-80页 |
·高层作战概念图(OV-1) | 第62-64页 |
·作战活动分解树(OV-5a) | 第64-65页 |
·作战活动模型(OV-5b) | 第65-69页 |
·事件追踪描述模型(OV-6c) | 第69-71页 |
·系统功能描述(SV-4) | 第71-74页 |
·系统状态转移描述模型(SV-10b) | 第74-75页 |
·作战活动到系统功能追踪矩阵(SV-5a) | 第75-77页 |
·系统测度矩阵(SV-7) | 第77-80页 |
·本章小结 | 第80-81页 |
第三章 装备体系任务可靠性的贝叶斯网络建模 | 第81-99页 |
·贝叶斯网络的相关理论 | 第81-87页 |
·模型的定义与构成 | 第81-82页 |
·贝叶斯网络的学习 | 第82-83页 |
·概率推理方法 | 第83-84页 |
·贝叶斯网络的建模与分析工具 | 第84-87页 |
·装备体系任务可靠性的贝叶斯网络模型 | 第87-89页 |
·装备体系任务可靠性的贝叶斯网络模型构成 | 第87-88页 |
·建模流程描述 | 第88-89页 |
·Do DAF-ROD产品的转换方法 | 第89-96页 |
·作战活动分解树 | 第89-91页 |
·作战活动到系统功能追踪矩阵 | 第91-93页 |
·系统功能描述 | 第93-94页 |
·系统事件跟踪描述 | 第94-95页 |
·系统测度矩阵 | 第95-96页 |
·构建贝叶斯网络任务模型 | 第96-98页 |
·构建阶段任务贝叶斯网络 | 第96-97页 |
·构建全任务贝叶斯网络 | 第97-98页 |
·本章小节 | 第98-99页 |
第四章 装备体系任务可靠性的多Agent建模 | 第99-128页 |
·多Agent模型概述 | 第99-101页 |
·多Agent建模技术的发展 | 第99页 |
·Agent的结构类型 | 第99-100页 |
·多Agent模型开发流程 | 第100-101页 |
·Any Logic的多Agent模型及建模流程 | 第101-112页 |
·仿真工具介绍与比较 | 第101-103页 |
·Any Logic平台的功能 | 第103-107页 |
·Any Logic下的多Agent模型的建模仿真流程 | 第107-110页 |
·任务可靠性的多Agent模型的设计 | 第110-112页 |
·多Agent模型与贝叶斯网络模型的对比 | 第112页 |
·Do DAF-ROD产品到多Agent模型的转换 | 第112-121页 |
·高层作战概念图 | 第113页 |
·作战活动模型 | 第113-115页 |
·系统状态转移描述 | 第115-117页 |
·事件追踪描述模型 | 第117-119页 |
·系统测度矩阵 | 第119-121页 |
·仿真系统构成及实验 | 第121-127页 |
·系统构成 | 第121-123页 |
·仿真运行实验 | 第123-127页 |
·本章小结 | 第127-128页 |
第五章 模型验证及比较分析 | 第128-150页 |
·模型验证与对比的目的与准则 | 第128-130页 |
·目的 | 第128-129页 |
·准则 | 第129-130页 |
·实验方案设计 | 第130-134页 |
·独立防御反导作战想定要素 | 第130-132页 |
·联合防御反导作战想定要素 | 第132-134页 |
·Markov模型 | 第134-137页 |
·任务可靠性模型 | 第134-136页 |
·模型求解方法 | 第136-137页 |
·BDD模型 | 第137-142页 |
·任务可靠性模型 | 第137页 |
·BDD算法 | 第137-141页 |
·计算结果 | 第141-142页 |
·贝叶斯网络模型 | 第142-144页 |
·建模 | 第142页 |
·计算 | 第142-144页 |
·多Agent模型 | 第144-146页 |
·反导体系的任务可靠性 | 第144-145页 |
·分布式与集中式反导体系结构的比较 | 第145-146页 |
·实验结果及比较分析 | 第146-148页 |
·模型结果一致性验证 | 第146-147页 |
·模型计算时间比较 | 第147页 |
·模型适应性比较 | 第147-148页 |
·本章小结 | 第148-150页 |
第六章 结论与展望 | 第150-153页 |
·论文总结 | 第150-151页 |
·需进一步开展的工作 | 第151-153页 |
致谢 | 第153-154页 |
参考文献 | 第154-162页 |
作者在学期间取得的学术成果 | 第162-163页 |
附表 | 第163-166页 |