| 题名: | 平均值演算 |
| 作者: | 李晓山
|
| 答辩日期: | 1993
|
| 授予单位: | 中国科学院软件研究所
|
| 授予地点: | 中国科学院软件研究所
|
| 学位: | 博士
|
| 关键词: | 实时系统
; 平均值演算
; 实时演义
; 证明系统
|
| 其他题名: | Mean Value Calculus
|
| 摘要: | 本文提出了平均值演算，它是时段演算的一种扩展演算。用平均值演算和状态芽类演算，可以对组合电路和时间自动机进行描述和推理。本文主要在理论上对平均值演算进行了详细论述。首先给出了平均值演算的形式语法和语义，然后建立平均值演算的证明系统以及证明了一致性定理和一些重要的定理。接着给出了平均值演算相对区间时态逻辑的相对完整性定理的证明。最后对平均值演算公式的一些子集的可判定性问题进行了讨论，并给预证明。 |
| 英文摘要: | 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. |
| 语种: | 中文
|
| 内容类型: | 学位论文
|
| URI标识: | http://ir.iscas.ac.cn/handle/311060/7490
|
| Appears in Collections: | 中科院软件所
|
| File Name/ File Size |
Content Type |
Version |
Access |
License |
|
|---|
| N89925.pdf（1783KB） | -- | -- | 限制开放 | -- | 联系获取全文 |
|
| Recommended Citation: | |
李晓山. 平均值演算[D]. 中国科学院软件研究所. 中国科学院软件研究所. 1993-01-01.
|
|
|
