【摘 要】
：
时间自动机的识别条件及时间语言在各种识别条件下识别时间语言的能力的研究是时间语言理论中的一个重要课题,且关于时间自动机及时间语言的应用领域会越来越多.至今,关于时
论文部分内容阅读
时间自动机的识别条件及时间语言在各种识别条件下识别时间语言的能力的研究是时间语言理论中的一个重要课题,且关于时间自动机及时间语言的应用领域会越来越多.至今,关于时间自动机的识别条件只有两种,即Timed Muller automaton和Timed Buchi automaton.该文对已知的识别条件进行了研究并提出了两组新的识别条件,考察了在各种识别条件下时间自动机的识别能力以及在新的识别条件下所识别的时间语言类对布尔运算的封闭性.
其他文献
陷印是印刷工业中的一项重要技术,以前的陷印操作是手工和半自动的,在PostScript 3语言里,陷印成为自动的过程.该文描述了一个在PostScript解释器实现的自动陷印功能.文章首
随着Web技术的迅速发展,企业计算在平台方面逐渐向Web迁移.企业应用通常需要在Web上集成旧有软件系统,和第三方系统互相合作,为遍布全球的众多用户服务.这种需要要求Web计算
该论文通过对路由选择原则,路由选择规约,(RIP)及TCP/IP的传输方法探讨,详细 分析了各个规约的特性,运行方式及过程.数据报在INTERNET上流动在路由器上按IP协议规则,分片传送
IDE接口,是计算机主机和硬盘之间的一种标准接口形式,广泛应用于计算机主机和高性能大容量存储设备之间的数据传输中。本文根据大容量FLASH存储阵列数据传输的实际需求,提出
该文基于简单网络管理协议(SNMP)和网络管理信息库(MIB)的内容和特点,从以太网交换机的硬件配置和软件体系结构出发,通过作者对远程网络监视模块(RMON)的成功实现及其对MIB-2
代理缓存机制所要解决的主要技术问题包括缓存副本的一致性、缓存替换算法、缓存系统的扩展和资源共享等方面,该文对它们分别进行了讨论.其中,替换算法对代理缓存系统的性能
鉴于多传感器协同定位和识别的优点,在前人研究的基础上,该文对多传感器多目标的有源数据融合、无源数据融合算法进行了改进;对有源与无源数据关联算法作了较深地研究,给出了
该文设计的分布式文件系统基于可扩展集群,适用于类似Web服务的网络应用.它建立在本地文件系统和NFS文件系统的基础上,可以很容易地扩展.通过实现文件的位置独立性,该文件系
关于组合优化TSP的求解一直是遗传算法研究的热点,该文在分析了多种近似算法的基础上,提出了一种用于求解TSP的混合遗传算法(HGA).首先,文章介绍了TSP的一些基本概念,如城市
该文描述了一个机动车辆安全检测系统(ASAT)的系统设计与实现.针对如何提高系统稳定性、如何提高检车效率和准确性等难题,提出了有效的解决方案.在此基础上实现的ASAT系统,具