关于时间自动机及其构造区域自动机的算法

来源 :郑州大学 | 被引量 : 0次 | 上传用户:zhuxh054
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
论文首先给出了时间自动机的定义及相关符号,然后对使用等价类方法构造区域自动机的描述进行了算法实现。该算法的空间复杂度是状态数目的几何级扩张。对上述算法做进一步改进,使得平均时间复杂度有所改善。通过分析时间自动机的时间约束条件,又提出了一种新的构造区域自动机的算法,该算法的时间复杂度与空间复杂度都有了较大的改善。接着介绍了时间自动机的最新进展,即有关事件记录自动机,事件预测自动机以及事件时钟自动机。对上述自动机的有关性质及它们所识别的语言类之间的关系进行了研究,得出一些有益的结论。论文最后给出了一个使用时间自动机的验证实例。
其他文献
该文主要研究内容是在结点的故障模型为Fail-silent和验证性拜占庭故障的条件下,对分布式故障诊断技术中的四个关键问题进行了深入研究,包括:故障检测;信息传播;协同;故障诊
该文介绍国家高性能计算机环境(NHPCE)中资源信息管理的设计和实现.NHPCE,我们又称之为网格(GRID),其实现的软件我们称之为GRIDWARE.其中资源信息的管理和收集是GRIDWARE中一
电子商务的迅速发展,使电子商务协议的开发变得十分必要,这些协议应确保信息交互的可靠性与完整性.形式化建模是设讨具有高可靠性计算机系统的有效方法,因而,对电子商务系统
指令级并行处理ILP(Instruction-Level Parallelism)是一项增强处理器性能的技术,它通过增加每个时钟周期执行的指令条数而提高性能。超长指令字VLIW(Very Long Instruction Word
Java语言作为一个面向对象的编程语言,虽然它以C++为基础,但是它是一个全新的软件开发语言.与C++不同,它是一个完全面向对象、适用于分布式并与平台无关的环境.JBRET_Java是
该文在分析了国内目前使用较广泛的收费系统的优缺点之后,针对国内部分地区(主要是广东省)的情况,提出了广东省电子不停车联网收费系统模型.电子不停车联网收费系统是以计算
该文具体内容包括:1、该文对针对数据仓库及其应用的特点,提出了新的多表连接算法MJoin,相比传统的多表连接处理方法,性能有显著提高;然后又在多表连接算法的基础上,提出了一
作为计算机软件的核心,操作系统的安全对于所有的计算机软件来说都至关重要。但是由于操作系统的规模非常庞大,而且结构极其复杂,这使得操作系统的安全问题存在非常多的不确
该文从预处理阶段的这两方面工作入手,郑重讨论了以下这几个方面的内容:1、系统分析了HTML文档解析处理的相关技术,其中包括传统的基于有限状态自动机的词法分析技术、基于递
该论文的研究重点主要包括牌照的定位、牌照中字符的分割和字符识别三部分,通过对图像处理和分析技术的综合运用和对问题本身特点的详细考察,最终实现了基于边缘特征和形态分