并行多任务自动测试系统分层化建模及其关键技术研究
| 摘要 | 第1-7页 |
| ABSTRACT | 第7-13页 |
| 第一章 绪论 | 第13-30页 |
| ·研究背景和意义 | 第13-17页 |
| ·自动测试系统结构 | 第13-14页 |
| ·自动测试系统发展趋势 | 第14-15页 |
| ·并行自动测试系统及其优势 | 第15-16页 |
| ·并行自动测试系统的技术难点分析 | 第16-17页 |
| ·本课题研究意义 | 第17页 |
| ·国内外研究现状 | 第17-27页 |
| ·并行测试 | 第17-21页 |
| ·并行自动测试系统分析方法 | 第21-23页 |
| ·系统建模方法 | 第23-27页 |
| ·本文的主要工作及结构安排 | 第27-30页 |
| 第二章 并行自动测试系统的分层化建模方法研究 | 第30-42页 |
| ·并行自动测试系统的设计与组建 | 第30-32页 |
| ·形式化技术在测试领域的应用 | 第32-33页 |
| ·UML建模 | 第33-35页 |
| ·Petri网建模 | 第35-37页 |
| ·Petri网定义 | 第35-37页 |
| ·Petri网的优势 | 第37页 |
| ·并行自动测试系统分层化建模方法 | 第37-41页 |
| ·UML模型的限定 | 第37-39页 |
| ·分层化建模方法 | 第39-41页 |
| ·本章小结 | 第41-42页 |
| 第三章 雷达自动测试系统分层化建模及性能评估 | 第42-72页 |
| ·雷达自动测试系统的UML模型 | 第42-47页 |
| ·系统UML模型到Petri网模型的映射 | 第47-50页 |
| ·系统的映射 | 第47-49页 |
| ·映射工具软件设计 | 第49-50页 |
| ·雷达自动测试系统的Petri网模型及定性分析 | 第50-56页 |
| ·Petri网分析方法 | 第50-52页 |
| ·各个分系统Petri网模型的定性分析 | 第52-53页 |
| ·雷达自动测试系统的Petri网模型 | 第53页 |
| ·系统Petri网模型的定性分析及验证 | 第53-56页 |
| ·雷达自动测试系统的GCSPN模型及性能评估 | 第56-64页 |
| ·广义有色随机Petri网 | 第56-59页 |
| ·测试系统的GCSPN模型及化简 | 第59-63页 |
| ·雷达自动测试系统的性能评估 | 第63-64页 |
| ·雷达自动测试系统的组建与集成 | 第64-70页 |
| ·系统结构设计 | 第64-66页 |
| ·系统运行分析 | 第66-68页 |
| ·与TestStand的对比 | 第68-70页 |
| ·本章小结 | 第70-72页 |
| 第四章 并行自动测试系统死锁避免策略研究 | 第72-94页 |
| ·并行自动测试系统的死锁问题 | 第72-74页 |
| ·系统死锁的发生 | 第72-73页 |
| ·系统死锁的避免 | 第73-74页 |
| ·基于Petri网的并行自动测试系统死锁描述 | 第74-76页 |
| ·基于启发式搜索的死锁避免策略 | 第76-78页 |
| ·基于遗传算法的死锁避免策略 | 第78-84页 |
| ·遗传算法 | 第78-81页 |
| ·Petri网的矩阵分析 | 第81-82页 |
| ·死锁避免策略 | 第82-84页 |
| ·死锁避免策略应用实例及分析 | 第84-87页 |
| ·应用实例 | 第84-85页 |
| ·结果分析 | 第85-87页 |
| ·并行自动测试仿真系统及对比分析 | 第87-92页 |
| ·仿真系统设计 | 第87-90页 |
| ·方法对比分析 | 第90-92页 |
| ·本章小结 | 第92-94页 |
| 第五章 并行自动测试系统任务调度优化算法研究 | 第94-108页 |
| ·并行自动测试系统的任务调度 | 第94-95页 |
| ·并行自动测试系统的TTPN模型 | 第95-98页 |
| ·赋时变迁Petri网 | 第95-96页 |
| ·基于TTPN的系统模型 | 第96-98页 |
| ·模拟退火遗传算法 | 第98-100页 |
| ·模拟退火算法 | 第98-99页 |
| ·SA与GA的对比 | 第99页 |
| ·模拟退火遗传算法 | 第99-100页 |
| ·基于SAGA的测试任务调度 | 第100-101页 |
| ·并行测试任务调度优化应用实例及对比分析 | 第101-103页 |
| ·应用实例 | 第101-102页 |
| ·与其他典型任务调度方式的对比分析 | 第102-103页 |
| ·与GA算法的对比分析与验证 | 第103-107页 |
| ·与 GA算法的对比分析 | 第103-106页 |
| ·系统仿真验证 | 第106-107页 |
| ·本章小结 | 第107-108页 |
| 第六章 自动测试系统故障诊断方法研究 | 第108-131页 |
| ·自动测试系统中的故障诊断方法 | 第108-109页 |
| ·故障诊断方法 | 第108页 |
| ·测试系统中的故障诊断 | 第108-109页 |
| ·模糊Petri网在故障诊断中的应用 | 第109-119页 |
| ·产生式规则 | 第109-111页 |
| ·模糊Petri网 | 第111-114页 |
| ·模糊规则到模糊Petri网的转换 | 第114-117页 |
| ·模糊Petri网的故障推理 | 第117-118页 |
| ·模糊Petri网和神经网络的结合 | 第118-119页 |
| ·基于BP神经网络的自适应模糊Petri网 | 第119-124页 |
| ·自适应模糊Petri网 | 第119-120页 |
| ·AFPN的规则表示和发射规则 | 第120-121页 |
| ·BP神经网络 | 第121-123页 |
| ·AFPN的学习能力 | 第123-124页 |
| ·基于AFPN的雷达故障诊断 | 第124-130页 |
| ·相控阵雷达自动测试系统 | 第124-125页 |
| ·雷达整机故障诊断的Petri网模型 | 第125-127页 |
| ·基于APFN的雷达接收机故障诊断 | 第127-130页 |
| ·本章小结 | 第130-131页 |
| 第七章 结束语 | 第131-134页 |
| ·全文总结 | 第131-132页 |
| ·下一步的工作 | 第132-134页 |
| 致谢 | 第134-135页 |
| 参考文献 | 第135-143页 |
| 个人简历、攻读博士学位期间完成的论文及科研情况 | 第143-144页 |
