多项式代数事件结构及其近似和近似等价
| 致谢 | 第1-6页 |
| 摘要 | 第6-9页 |
| ABSTRACT | 第9-14页 |
| 1 引言 | 第14-30页 |
| ·研究背景及意义 | 第14-17页 |
| ·国内外研究现状 | 第17-22页 |
| ·事件结构 | 第18-19页 |
| ·等价 | 第19-20页 |
| ·近似及近似等价 | 第20-22页 |
| ·研究内容 | 第22-27页 |
| ·论文结构 | 第27-30页 |
| 2 多项式代数事件结构 | 第30-52页 |
| ·传统事件结构 | 第30-37页 |
| ·多项式代数事件结构 | 第37-39页 |
| ·转化：传统事件结构到多项式代数事件结构 | 第39-45页 |
| ·转化的基本原理 | 第39页 |
| ·实例分析：打印机模型 | 第39-43页 |
| ·实例分析：上楼模型 | 第43-45页 |
| ·多项式代数事件结构的刻画能力 | 第45-49页 |
| ·计算机程序模型 | 第45-49页 |
| ·实例分析：分情况求值模型 | 第49页 |
| ·本章小结 | 第49-52页 |
| 3 多项式代数事件结构诱导出的标签变迁系统 | 第52-86页 |
| ·并发概述 | 第52-54页 |
| ·多项式代数格局结构 | 第54-55页 |
| ·多项式代数标签变迁系统 | 第55-57页 |
| ·多项式代数事件结构诱导出的交织标签变迁系统 | 第57-58页 |
| ·多项式代数事件结构诱导出的步进标签变迁系统 | 第58-64页 |
| ·线性时间-分支时间等价 | 第64-71页 |
| ·线性时间等价 | 第65-67页 |
| ·分支时间等价 | 第67-71页 |
| ·最小单元失败集合 | 第71-79页 |
| ·基于迹的最小单元失败集合 | 第72-76页 |
| ·基于可见迹的最小单元失败集合 | 第76-77页 |
| ·最小单元失败集合优势 | 第77页 |
| ·实例分析 | 第77-79页 |
| ·多项式代数事件结构的等价 | 第79-82页 |
| ·交织等价 | 第79-81页 |
| ·步进等价 | 第81-82页 |
| ·真并发等价 | 第82页 |
| ·本章小结 | 第82-86页 |
| 4 多项式代数事件结构的近似 | 第86-108页 |
| ·数值近似 | 第86-99页 |
| ·基本思想 | 第86页 |
| ·数值近似方法 | 第86-89页 |
| ·实例分析：分情况求值模型 | 第89-93页 |
| ·实例分析：菱形的对角线求解 | 第93-97页 |
| ·误差传递问题 | 第97-99页 |
| ·度量近似 | 第99-106页 |
| ·度量相关定义 | 第99-103页 |
| ·定义和判定方法 | 第103-104页 |
| ·实例分析：字符串 | 第104-106页 |
| ·本章小结 | 第106-108页 |
| 5 多项式代数事件结构的近似等价 | 第108-134页 |
| ·Baire度量变体 | 第108页 |
| ·近似可达性等价 | 第108-113页 |
| ·近似迹等价与近似语言等价 | 第113-119页 |
| ·近似迹等价 | 第113-118页 |
| ·近似语言等价 | 第118-119页 |
| ·近似单元失败等价 | 第119-122页 |
| ·近似互模拟等价 | 第122-125页 |
| ·实例分析：光波炉加热模型 | 第125-129页 |
| ·近似等价之间的关系 | 第129-132页 |
| ·本章小结 | 第132-134页 |
| 6 结论 | 第134-138页 |
| ·研究工作总结 | 第134-135页 |
| ·工作展望 | 第135-138页 |
| 参考文献 | 第138-146页 |
| 作者简历及攻读博士学位期间取得的研究成果 | 第146-150页 |
| 学位论文数据集 | 第150页 |
