程序验证与系统分析中的若干符号计算问题

摘要	第1-8页
Abstract	第8-12页
第一章 绪论	第12-18页
·研究背景	第12-14页
·符号计算的引入	第14-15页
·本文的选题和主要工作	第15-18页
第二章 实根隔离	第18-50页
·研究背景	第18-20页
·模型论基础	第20-22页
·指数多项式的实根隔离	第22-32页
·幂指数多项式的正根隔离	第32-40页
·幂多项式正根分布上的探索	第40-47页
·本章小结	第47-50页
第三章 程序终止性分析	第50-64页
·研究背景	第50-52页
·线性代数	第52-54页
·仿射循环终止性判定	第54-61页
·线性循环非终止反例构造	第61-63页
·本章小结	第63-64页
第四章 系统可达性分析	第64-78页
·研究背景	第64-67页
·有理特征值线性系统的可达性	第67-73页
·实特征值线性系统的可达性	第73-75页
·本章小结	第75-78页
第五章 程序验证与系统分析内在联系	第78-86页
·模态逻辑	第78-79页
·程序模型与系统模型的互为转换	第79-85页
·本章小结	第85-86页
第六章 结束语	第86-88页
附录A 一类三角函数稠密性的证明	第88-92页
参考文献	第92-104页
致谢	第104-106页
在读期间发表的学术论文情况	第106-107页
在读期间参加的科研项目情况	第107-108页