信号演算的操作语义及其与代数语义的统一
| 目录 | 第1-8页 |
| 摘要 | 第8-9页 |
| Abstract | 第9-11页 |
| 第一章 引言 | 第11-17页 |
| ·研究背景 | 第11-12页 |
| ·理论基础 | 第12-15页 |
| ·程序统一理论 | 第12-13页 |
| ·操作语义 | 第13-14页 |
| ·代数语义 | 第14-15页 |
| ·本文的主要工作 | 第15-17页 |
| 第二章 信号演算基础 | 第17-21页 |
| ·事件卫兵 | 第17-18页 |
| ·信号演算语言 | 第18-20页 |
| ·本章小结 | 第20-21页 |
| 第三章 瞬时信号演算 | 第21-38页 |
| ·I型瞬时演算 | 第21-34页 |
| ·I型瞬时演算的操作语义 | 第22-27页 |
| ·I型演算代数语义的可靠性 | 第27-30页 |
| ·I型演算代数语义的相对完备性 | 第30-34页 |
| ·S型瞬时演算 | 第34-37页 |
| ·S型演算的操作语义 | 第34-35页 |
| ·S型演算的代数语义及其与操作语义间的联接 | 第35-37页 |
| ·本章小结 | 第37-38页 |
| 第四章 延时信号演算 | 第38-51页 |
| ·H型延时演算 | 第38-43页 |
| ·H型延时演算的操作语义 | 第38-40页 |
| ·H型演算代数语义的可靠性 | 第40-41页 |
| ·H型演算代数语义的相对完备性 | 第41-43页 |
| ·F型延时演算 | 第43-49页 |
| ·F型延时演算的操作语义 | 第43-46页 |
| ·F型演算代数语义的可靠性 | 第46-47页 |
| ·F型演算代数语义的相对完备性 | 第47-49页 |
| ·本章小结 | 第49-51页 |
| 第五章 总结与展望 | 第51-53页 |
| ·总结 | 第51-52页 |
| ·展望 | 第52-53页 |
| 附录A 相关代数定理及其说明 | 第53-58页 |
| A.1 I型演算满足的代数定理及其说明 | 第53-54页 |
| A.2 S型演算满足的代数定理及其说明 | 第54-55页 |
| A.3 H型演算满足的代数定理及其说明 | 第55-56页 |
| A.4 F型演算满足的代数定理及其说明 | 第56-58页 |
| 参考文献 | 第58-61页 |
| 致谢 | 第61-62页 |
| 在学期间的研究成果及发表的论文 | 第62页 |
