|
|||||
|
|
| 高阶时段演算及其完备性* | |
| 引用本文： | 詹乃军.高阶时段演算及其完备性*[J].中国科学(E辑),2001,31(1):71-85. |
| 作者姓名： | 詹乃军 |
| 作者单位： | 中国科学院 |
| 基金项目： | 联合国大学国际软件技术研究所资助项目，国家自然科学基金!(批准号 :6 98730 0 3)资助项目 |
| 摘 要： | 研究如何用时段演算来刻画程序的实时行为. 在实时程序设计里，程序变量被解释成时间的函数. 为了定义局部变量声明的语义，必须引进关于程序变量的量词.因此，建立高阶时段演算是必要的.首先建立了高阶时段演算理论，然后，用高阶时段演算去验证了一些程序的实时性质；最后，在假设所有程序变量均有穷可变的条件下，证明了高阶时段演算在抽象时间域上是完备的. |
| 关 键 词： | 高阶逻辑 实时程序 超稠密计算 完备性 时段演算 |
| 收稿时间： | 1999-12-24 |
| 修稿时间： | 2000-04-26 |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |
| 点击此处可从《中国科学(E辑)》浏览原始摘要信息 | |
| 点击此处可从《中国科学(E辑)》下载免费的PDF全文 | |