Institutional Repository
| 平均值演算 | |
| Alternative Title | Mean Value Calculus |
| 李晓山 | |
| 1993 | |
| Degree Grantor | 中国科学院软件研究所 |
| Degree Level | 博士 |
| Place of Degree Grantor | 中国科学院软件研究所 |
| Keyword | 实时系统 平均值演算 实时演义 证明系统 |
| English Abstract | 本文提出了平均值演算,它是时段演算的一种扩展演算。用平均值演算和状态芽类演算,可以对组合电路和时间自动机进行描述和推理。本文主要在理论上对平均值演算进行了详细论述。首先给出了平均值演算的形式语法和语义,然后建立平均值演算的证明系统以及证明了一致性定理和一些重要的定理。接着给出了平均值演算相对区间时态逻辑的相对完整性定理的证明。最后对平均值演算公式的一些子集的可判定性问题进行了讨论,并给预证明。 |
| Abstract | In this paper, the author mainly discusses the theoretical aspects of Mean Value Caculus. First, the symtax and semantics are presented. Second, the proof system is built on it and the important theorems and soundness are proved. Third, the proof of the completeness of the Mean Value Calculus relative to the Interval Temporal Logic is given. Then the decidability of the Mean Value Calculus is considered. Finally, Mean Value Calculus to give the refinement of gas burmer system is used. |
| Pages | 73 |
| Language | 中文 |
| Content Type | 学位论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/7490 |
| Collection | 中科院软件所_中科院软件所 |
| Recommended Citation GB/T 7714 | 李晓山. 平均值演算[D]. 中国科学院软件研究所. 中国科学院软件研究所,1993. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| N89925.pdf(1783KB) | 限制开放 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment