多线程软件中基于离散控制理论的故障避免

摘要	第1-4页
ABSTRACT	第4-7页
第1章 绪论	第7-13页
·课题研究背景和意义	第7-8页
·国内外研究的现状	第8-9页
·存在的问题	第9-10页
·本文的主要内容及组织结构	第10-13页
第2章 基础理论介绍	第13-25页
·软件故障避免	第13-14页
·离散控制理论	第14-15页
·Petri网	第15-23页
·Petri网基础知识	第15-20页
·Petri网为多线程建模阶段	第20-23页
·小结	第23-25页
第3章 信标可控性条件	第25-37页
·Petri网中信标可控性研究概述	第25-26页
·S~4R网	第26-27页
·S~4R网的信标可控条件	第27-32页
·Max-可控	第27-28页
·Max'-可控	第28-31页
·Max"-可控	第31-32页
·W-可控	第32-35页
·小结	第35-37页
第4章 基于回路分析多线程死锁	第37-55页
·系统模型的线程分析	第37-42页
·寻找最佳约束	第42-50页
·寻找简单约束的分析方式	第42-44页
·更复杂网的约束讨论	第44-48页
·最佳约束的一般化规律总结	第48-50页
·添加控制器的衍生问题	第50-54页
·本章小结	第54-55页
第五章 总结与展望	第55-57页
·工作总结	第55-56页
·展望	第56-57页
参考文献	第57-61页
本文作者硕士期间的科研成果	第61-63页
致谢	第63-65页