Article thumbnail

Mean Value Calculus

By 李晓山


本文提出了平均值演算,它是时段演算的一种扩展演算。用平均值演算和状态芽类演算,可以对组合电路和时间自动机进行描述和推理。本文主要在理论上对平均值演算进行了详细论述。首先给出了平均值演算的形式语法和语义,然后建立平均值演算的证明系统以及证明了一致性定理和一些重要的定理。接着给出了平均值演算相对区间时态逻辑的相对完整性定理的证明。最后对平均值演算公式的一些子集的可判定性问题进行了讨论,并给预证明。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

Topics: 实时系统, 平均值演算, 实时演义, 证明系统
Year: 1993
OAI identifier:
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • (external link)
  • Suggested articles

    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.