| 平均值演算 |
| 其他题名 | Mean Value Calculus
|
| 李晓山
|
| 1993
|
| 学位授予单位 | 中国科学院软件研究所
|
| 学位 | 博士
|
| 学位授予地点 | 中国科学院软件研究所
|
| 关键词 | 实时系统
平均值演算
实时演义
证明系统
|
| 摘要 | 本文提出了平均值演算，它是时段演算的一种扩展演算。用平均值演算和状态芽类演算，可以对组合电路和时间自动机进行描述和推理。本文主要在理论上对平均值演算进行了详细论述。首先给出了平均值演算的形式语法和语义，然后建立平均值演算的证明系统以及证明了一致性定理和一些重要的定理。接着给出了平均值演算相对区间时态逻辑的相对完整性定理的证明。最后对平均值演算公式的一些子集的可判定性问题进行了讨论，并给预证明。 |
| 其他摘要 | 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. |
| 页数 | 73
|
| 语种 | 中文
|
| 内容类型 | 学位论文
|
| URI标识 | http://ir.iscas.ac.cn/handle/311060/7490
|
| 专题 | 中科院软件所_中科院软件所
|
推荐引用方式
GB/T 7714 |
李晓山. 平均值演算[D]. 中国科学院软件研究所. 中国科学院软件研究所,1993.
|
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论