【摘 要】
：
该文的主要工作是研究如何用时段演算来刻画程序的实时行为.为了处理局部变量的声明,作者们必须引进关于程度变量的量词.而在实时程序设计里,所有程序变量均看成时间域上的函
论文部分内容阅读
该文的主要工作是研究如何用时段演算来刻画程序的实时行为.为了处理局部变量的声明,作者们必须引进关于程度变量的量词.而在实时程序设计里,所有程序变量均看成时间域上的函数,因此,建立高阶时段演算是必要的.该文建立了高阶时段演算理论,包括它的语法,语义和证明系统.在假设所有程序变量均有穷可变的条件下,他们证明它在抽象时间域上完备的?他们也将用高阶时段演算去验证一些程序的实时性质.例如,他们将说明在高阶时段演算里可以定义超稠官切割算子;他们将给出局部变量声明的形式描述;他们将证明程序复合操作";"具有单位元且满足结合律,以及可以将程序的实时语义分解成两部分:实时部分和非实时部分,从而可以将程序的实时语义看成是它的与时间无关语义的保守扩充.
其他文献
该文以莫高窟壁面的文物保护工作为背景,探讨了莫高窟的档案资料和壁面图象的存储技术和检索技术.论文主要包括以下内容:1.讨论了一种基于Web的信息管理系统的设计和实现.2.
目前IP网正发生深刻变化，宽带IP的出现起了决定性作用。因为必须有足够的带宽，才能在同一个网络中同时传输语音、数据和图像。实时音频、视频多媒体应用进入IP网络的一个关键问
多机器人技术是机器人学科发展的一个新方向,是机器人技术走向实用化的关键.该文对多机器人的路径规划与协调进行了系统深入的研究.不仅分析了多机器人路径规划算法的判优准
该文利用数据仓库技术,提出了基于OLAP的具有实际意义的企业信息系统,并且在大庆石油管理避的企业中得到了应用.该文从分析OLAP技术的数据基础-数据仓库技术入手,综合探讨了
针对彩色硬拷贝设备色域较小且普遍存在色偏的现象,在系统研究与设备无关彩色管理相关理论和技术的基础上,提出了一种符合CMS体系结构和ICC标准要求的高效彩色复合控制(彩色
首先,该文证明了去掉相关测定理中的一个限制条件并不影响该定理的成立同时可降低问题复杂性,推广了测试理论的初始测试条件,同时证明了:对于封闭简单因果理论,在推广的初始
随看Internet深入到社会生活的各个领域，网络安全越来越成为人们普遍关心的话题。 目前，围绕WWW网络安全人们提出了不少协议，如SSL、SET、S-HTTP等，SSL协议的历史最为悠久，因此
本文围绕IP多目广播技术展开，重点探讨一种可靠IP多目广播传输协议的构想、设计和实现。 IP多目广播是二十世纪八十年代中期提出的一项技术，旨在提高网络使用效率、拓展新的
该文首先介绍一种最新的无线局域网通信协议—蓝牙(Bluetooth)协议.使用传统的方法开发此协议相当复杂而费时,因此作者考虑采用形式化方法,以求提高开发效率.接着,文章利用有
该文主要针对分布式测控系统中的实时数据的管理、实时网络通信、颁式测控系统中的任务高度进行了详细的研究.在样机系统中,通过对实时数据库和实时网络协议提供的API函数的