中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR  > 中科院软件所  > 中科院软件所
题名:
平均值演算
作者: 李晓山
答辩日期: 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:中科院软件所

Files in This Item:
File Name/ File Size Content Type Version Access License
N89925.pdf(1783KB)----限制开放-- 联系获取全文

Recommended Citation:
李晓山. 平均值演算[D]. 中国科学院软件研究所. 中国科学院软件研究所. 1993-01-01.
Service
Recommend this item
Sava as my favorate item
Show this item's statistics
Export Endnote File
Google Scholar
Similar articles in Google Scholar
[李晓山]'s Articles
CSDL cross search
Similar articles in CSDL Cross Search
[李晓山]‘s Articles
Related Copyright Policies
Null
Social Bookmarking
Add to CiteULike Add to Connotea Add to Del.icio.us Add to Digg Add to Reddit
所有评论 (0)
暂无评论
 
评注功能仅针对注册用户开放,请您登录
您对该条目有什么异议,请填写以下表单,管理员会尽快联系您。
内 容:
Email:  *
单位:
验证码:   刷新
您在IR的使用过程中有什么好的想法或者建议可以反馈给我们。
标 题:
 *
内 容:
Email:  *
验证码:   刷新

Items in IR are protected by copyright, with all rights reserved, unless otherwise indicated.

 

 

Valid XHTML 1.0!
Copyright © 2007-2017  中国科学院软件研究所 - Feedback
Powered by CSpace