线性时序逻辑在失业保险审计中的应用研究

摘要	第1-6页
Abstract	第6-10页
第1章 绪论	第10-17页
·课题背景和意义	第10-12页
·课题需求	第12-13页
·国内外研究现状	第13-14页
·本文研究内容与组织结构	第14-17页
·论文研究内容	第14-15页
·论文组织结构	第15-17页
第2章 相关基础知识介绍	第17-29页
·线性时序逻辑的相关概念	第17-19页
·自动机的相关概念及化简方法	第19-22页
·基于可区分状态表的化简方法	第19-20页
·时间自动机的化简方法	第20-21页
·模糊自动机的化简方法	第21-22页
·模型检测方法及模型检测工具介绍	第22-25页
·基于UML 的模型检测	第22-23页
·模型检测工具介绍	第23-25页
·失业保险特点及失业保险审计流程	第25-28页
·失业保险特点及享受条件	第25-27页
·失业保险审计流程	第27-28页
·本章小结	第28-29页
第3章 失业保险业务处理流程模型构建	第29-40页
·失业保险业务处理流程模型构建步骤	第29页
·失业保险业务处理流程模型提出	第29-31页
·失业保险业务处理流程模型完善	第31-35页
·失业保险业务处理流程模型化简	第35-39页
·本章小结	第39-40页
第4章 线性时序逻辑表示及检测结果分析	第40-56页
·构建后模型时序性质到LTL 公式转换	第40-46页
·NuSMV 的配置过程	第46-49页
·失业保险业务处理流程模型的检测	第49-52页
·模型检测结果分析	第52-55页
·本章小结	第55-56页
结论	第56-57页
参考文献	第57-61页
攻读硕士学位期间发表的论文和取得的科研成果	第61-62页
致谢	第62页