有限自动机相关论文
针对采取智能算法进行战场态势分析和目标识别时面临的图像样本不足问题，构建了战场数字孪生系统，以实时物理域数据驱动孪生体仿真生......
随着互联网技术的高速发展,控制系统与通讯网络基础设施交互频繁,导致机密信息容易受到入侵者和其他恶意实体的攻击。作为离散事件......
现代电力系统的飞速发展使电网规模日益增大，各种各样新技术的引入，使电网结构日趋复杂，电力系统的安全稳定运行正面临着越来越严峻的......
本文以国家十五‘863’课题“月球探测机器人智能信息处理与导航技术研究”为背景,重点研究了月球探测机器人导航关键技术。对机器......
随着科学技术的进步和市场全球化趋势的加强,制造业的发展水平对一国的生产力进步和经济增长起了重要的推动作用。分布式制造作为......
随着计算机网络技术的飞速发展和普遍应用,信息安全已经日益成为人们密切关注的问题。而密码技术无疑是确保信息安全最有效的一种......
学位
随着软件业的高速发展，高可用性(High Availability, HA)越来越受到人们的重视。高可用性这是关键系统最重要的要求之一。它要求网......
自动机理论是研究离散数学系统的功能、结构及其两者关系的数学理论。它旨在研究自动机的分析与综合问题。随着现代科学技术的发展......
论文以实际项目“网络计算机软件系统”的研发为背景,简要介绍了网络计算机的基本概念及特点,在国内外的发展现状,应用前景,构建网......
在现代工业生产中,自动化系统的应用已经非常普及,作为自动化系统的主要组成方式的集散控制系统(DCS)更是得到了广泛的应用。但是......
学位
随着计算机网络技术的发展,人们对网络传输数据的安全性要求越来越高。传统的加密体制使用同一个密钥进行加、解密,要求在传输密文......
随着科学技术，特别是传感器技术、计算机技术、信息技术等的飞速发展，现代跟踪环境变得越来越复杂，现代跟踪理论也在不断发展和完善。......
随着互联网的飞速发展，网络安全问题日益严重。入侵检测技术是一种新的积极主动防御的安全保障技术，而Snort是其中基于规则匹配的一......
入侵检测是计算机安全领域重要的动态安全技术，也是当前计算机安全理论研究的一个热点。 本文首先阐述了入侵检测的概念、研究现......
密码技术是信息安全的核心技术。如今在计算机网络环境下信息的机密性、安全性、完整性、可用性等特性，都需要采用密码技术来解决。......
足球机器人的研究在近几年得到了迅速发展，使得这个多学科交叉的项目受到越来越多的关注，作为一个新的研究领域，有很多内容值得去研究......
Web服务组合可以有效地支持企业内部跨部门的横向业务集成，以及横跨业务伙伴的企业间业务集成。组合Web服务验证可以检查集成业务是......
随着监控视频数据的日益增长，人工分析视频的方式耗费人力的同时也增加了安全保障的成本，越来越不能满足实际需要。此时，智能化的视频......
深度包检测在网络监控中占据着重要的角色,对于规则的描述,正则表达式具有很强的表达能力和灵活性。FSM(有限自动机)为基于正则表......
计算机技术日益发展的今天，尽管目前单个CPU的性能已经达到相当高的水平，但就一些超大规模计算或一些必须实时完成的多媒体运算而言，......
在形式语言与自动机的经典理论中,由于所选用的数学工具的局限性,造成了证明的繁杂性,降低了证明的可读性。本文利用半环方法来讨......
随着网络技术的发展和应用范围的扩大,人们越来越依赖于网络进行信息的处理。但是由于网络攻击工具和攻击手段的日趋复杂化和多样......
类测试中的基于状态的测试一般是以状态机模型为基础的测试。类状态机用于刻画对象响应各种事件时状态发生迁移的情况。测试执行时......
在新技术与教育市场化条件下,虚拟实验室在中学化学教育中的广泛应用已经具有了实现的极大可能。因为,只有真正实用的产品才是用户......
虽然可扩展标记语言(eXtensible Markup Language, XML)诞生的时间并不长,但它作为数据描述和信息交换的标准,已经得到广泛应用。......
量子计算是一门交叉于数学、物理与计算机科学的前沿学科,具有令人期待的发展前景.量子计算的研究主要分为对量子计算模型、量子计......
随着科技的发展，网络应用层出不穷，各种攻击也日益猖獗，给网络信息安全带来了严重威胁。深度数据包检测(Deep Packet Inspection,DPI)......
在制造物联网生产环境下，各种类型的感知设备用于监控生产过程、流程、对象变化等，从而产生了大量的原始数据。但是这些数据的准确性......
逻辑动态系统是一种离散时间离散空间的双离散系统,可以应用在许多诸如生物系统、电力系统、故障检测、网络同步与查询等领域。但......
论述了最近10多年有限自动机重置问题在算法方面的研究进展.首先形式定义一些基本概念和四个有关重置的问题,给出这些问题的计算复......
针对当前复杂仿真系统评估的滞后性问题,提出了基于可接受性标准(Acceptability Criteria,AC)的仿真在线评估方法。通过定性和定量......
混合系统理论是控制工程理论与计算机科学验证交叉的学科领域。混合系统理论主要涉及到有限自动机表示的离散状态与微分方程表示的......
在自动机理论中,因为许多证明从数学的角度看仍然不充分,所以传统的阐述往往不能令人满意。一个典型的例子就是在传统的自动机理论......
深度数据包检测(Deep Packet Inspection,DPI)采用正则表达式匹配算法,将每个数据包内容与一组预定义的特征进行匹配.正则表达式匹......
随着计算机视觉技术和图像处理技术的飞速发展,视频跟踪技术在国防、工业生产以及体育等各个领域有着越来越广泛的应用。传统的乒......
本文以航班优化与航线经济效益分析系统(FORMAX)为应用背景,对航班计划编排正确性保障技术中的句法编译技术进行讨论。重点分析研......
随着全球信息化水平的不断提高，网络与信息安全的重要性日趋增强。当前网络与信息安全产业已成为对各国的国家安全、政治稳定、经济......
模糊有限自动机理论在计算理论中是一种重要的数学模型，在计算机学科的应用领域方面有着十分重要的作用。乘积是模糊有限自动机理论......
让计算机学会下棋,尤其要和人类的精英对决,这是机器博弈领域长期的奋斗目标,也是人工智能学科极富挑战性的研究课题。为了能够在......
自动机理论是研究离散数字系统的功能、结构及其两者关系的数学理论。五十年代,在开关网络理论和数理逻辑中图灵机理论的基础......
自动机理论[1]是研究离散数字系统的功能,结构及两者关系的数学理论。随着微电子及信息等科学技术的迅猛发展,自动机理论已逐步向......
自动机理论是研究离散数字系统的功能、结构及其两者关系的数学理论,它旨在研究自动机的分析与综合问题。分析就是分析一个给定的......
自动机理论[1]是研究离散数字系统的功能、结构及两者关系的数学理论,随着数字计算机、数字通信及自动化等新技术的出现和发展,自......
本文研究了几类自动机的性质.在第一章里,介绍了基本概念.在第二章中,给出了非确定型与确定型初始化格值有限自动机的定义.根据这......
学位
乘积是自动机理论中的基本运算之一,在理论和应用方面都占有重要的地位。模糊自动机的乘积理论,就是用代数手段去研究模糊自动机乘......
