高阶时段演算及其完备性
文献类型：期刊论文
| 作者 | 詹乃军 |
| 刊名 | 中国科学E辑
 |
| 出版日期 | 2001 |
| 卷号 | 31期号:1页码:71-85 |
| 关键词 | 时段演算 高阶逻辑 实时程序 超稠密计算 完备性 |
| ISSN号 | 1006-9275 |
| 中文摘要 | 研究如何用时段演算来刻画程序的实时行为 .在实时程序设计里 ,程序变量被解释成时间的函数 .为了定义局部变量声明的语义 ,必须引进关于程序变量的量词 .因此 ,建立高阶时段演算是必要的 .首先建立了高阶时段演算理论 ,然后 ,用高阶时段演算去验证了一些程序的实时性质 ;最后 ,在假设所有程序变量均有穷可变的条件下 ,证明了高阶时段演算在抽象时间域上是完备的 . |
| 收录类别 | cnki,cscd |
| 资助信息 | United Nations University, Int. Inst. for Softw. Technol., China; Vietnam National University, Hanoi, Vietnam; Vietnam Academy of Science and Technology, Vietnam |
| 语种 | 中文 |
| 公开日期 | 2010-08-24 |
| 源URL | [http://124.16.136.157/handle/311060/4542]  |
| 专题 | 软件研究所_计算机科学国家重点实验室 _期刊论文 |
| 推荐引用方式 GB/T 7714 | 詹乃军. 高阶时段演算及其完备性[J]. 中国科学E辑,2001,31(1):71-85. |
| APA | 詹乃军.(2001).高阶时段演算及其完备性.中国科学E辑,31(1),71-85. |
| MLA | 詹乃军."高阶时段演算及其完备性".中国科学E辑 31.1(2001):71-85. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。