基于模型检测的网络传播干预策略问题研究
| 摘要 | 第1-5页 |
| ABSTRACT | 第5-9页 |
| 注释表 | 第9-10页 |
| 缩略词 | 第10-11页 |
| 第一章 绪论 | 第11-18页 |
| ·研究背景 | 第11-15页 |
| ·网络传播 | 第11-12页 |
| ·模型检测 | 第12-13页 |
| ·研究现状 | 第13-15页 |
| ·本文研究内容 | 第15-16页 |
| ·本文组织结构 | 第16-18页 |
| 第二章 基础知识 | 第18-26页 |
| ·传播网络模型 | 第18-20页 |
| ·模型检测工具 | 第20-25页 |
| ·NuSMV | 第20-22页 |
| ·SPIN | 第22-23页 |
| ·PRISM | 第23-25页 |
| ·本章小结 | 第25-26页 |
| 第三章 定性干预策略问题 | 第26-45页 |
| ·定性网络传播模型及干预策略问题 | 第26-31页 |
| ·定性干预策略问题的分析 | 第31-34页 |
| ·形态迁移模型 | 第32-33页 |
| ·LTL时序逻辑描述 | 第33-34页 |
| ·定性干预策略问题的建模分析 | 第34-39页 |
| ·不可恢复的静态保护问题 | 第35-36页 |
| ·可恢复的静态保护问题 | 第36-37页 |
| ·不可恢复的动态保护问题 | 第37-38页 |
| ·可恢复的动态保护问题 | 第38-39页 |
| ·定性干预策略问题的实验分析 | 第39-44页 |
| ·随机网络实验 | 第40-43页 |
| ·小世界网络实验 | 第43页 |
| ·实验分析 | 第43-44页 |
| ·本章小结 | 第44-45页 |
| 第四章概率干预策略问题 | 第45-60页 |
| ·概率网络传播模型及其干预策略问题 | 第45-49页 |
| ·概率干预策略问题的分析 | 第49-52页 |
| ·形态迁移系统 | 第50-51页 |
| ·时序逻辑描述 | 第51-52页 |
| ·概率干预策略问题的建模分析 | 第52-55页 |
| ·自由传播问题 | 第52-53页 |
| ·安装防护策略问题 | 第53-54页 |
| ·定期防护策略问题 | 第54-55页 |
| ·综合防护策略问题 | 第55页 |
| ·概率干预策略问题的实验分析 | 第55-58页 |
| ·ER随机网络实验 | 第56-58页 |
| ·实验分析 | 第58页 |
| ·本章小结 | 第58-60页 |
| 第五章 结论与展望 | 第60-62页 |
| ·文章总结 | 第60-61页 |
| ·研究展望 | 第61-62页 |
| 参考文献 | 第62-66页 |
| 致谢 | 第66-67页 |
| 在学期间的研究成果及发表的学术论文 | 第67页 |
