排序方式: 共有1条查询结果,搜索用时 15 毫秒
1
1.
詹乃军 《中国科学(E辑)》2001,31(1):71-85
研究如何用时段演算来刻画程序的实时行为. 在实时程序设计里,程序变量被解释成时间的函数. 为了定义局部变量声明的语义,必须引进关于程序变量的量词.因此,建立高阶时段演算是必要的.首先建立了高阶时段演算理论,然后,用高阶时段演算去验证了一些程序的实时性质;最后,在假设所有程序变量均有穷可变的条件下,证明了高阶时段演算在抽象时间域上是完备的. 相似文献
1