有限自动机相关论文
针对采取智能算法进行战场态势分析和目标识别时面临的图像样本不足问题，构建了战场数字孪生系统，以实时物理域数据驱动孪生体仿真生......
随着互联网技术的高速发展,控制系统与通讯网络基础设施交互频繁,导致机密信息容易受到入侵者和其他恶意实体的攻击。作为离散事件......
文中提出了一种基于FA(有限自动机)和SVM(支持向量机)的网页自动分析分类方法。该方法通过构建一个多层次可迭代有限自动机,实现对......
协议分类就是标识网络上每个流所使用的应用层协议类别,它在入侵检测、Qos等领域有着广泛的应用。L7-filter是Linux内核Netfilter......
本文首次公布上世纪八十年代设计和实现的一种有限自动机单钥密码。接着讨论这一密码在IC卡上的实现，以及对所用对合φ的限制。文中......
研究电梯群控系统的运行机理,提出基于有限自动机的数学描述.对电梯的状态进行分析,提出了单台电梯的优化调度算法.在此基础上,给......
针对嵌入式控制系统中的时序安全问题,提出一种形式化验证方法,使用证明助手Coq对嵌入式控制系统建模,并验证其时序安全性质.首先,......
通过分析机器人足球比赛中各角色的特点,认为实现各角色的决策的过程和自动机的运行原理很相似,基于此本文提出了用状态自动机模型......
在电子支付系统中，最难以解决的，同时也是最需要解决的是重复支付（double－spending）问题。离线系统中，通常采用的方法是银行发现同一电子......
现代电力系统的飞速发展使电网规模日益增大，各种各样新技术的引入，使电网结构日趋复杂，电力系统的安全稳定运行正面临着越来越严峻的......
本文以国家十五‘863’课题“月球探测机器人智能信息处理与导航技术研究”为背景,重点研究了月球探测机器人导航关键技术。对机器......
自然界中的动态行为可大致分为两类：一类是遵循物理学定律或者广义物理学定律，属于物理世界范畴的连续变量动态系统。例如，天体的运行......
随着科学技术的进步和市场全球化趋势的加强,制造业的发展水平对一国的生产力进步和经济增长起了重要的推动作用。分布式制造作为......
随着计算机网络技术的飞速发展和普遍应用,信息安全已经日益成为人们密切关注的问题。而密码技术无疑是确保信息安全最有效的一种......
学位
嵌入式系统是一个包含软件和硬件的异质系统,该文研究形式化方法在嵌入式系统设计中的应用,重点是从较高的层次上进行规范、设计表......
该文采取模式匹配技术对基于特征的邮件和网页病毒检测系统进行了深入的研究.首先,该文研究了在网页病毒和邮件病毒中占主导地位的......
随着软件业的高速发展，高可用性(High Availability, HA)越来越受到人们的重视。高可用性这是关键系统最重要的要求之一。它要求网......
XML己成为Web上数据表示、集成和交换的标准，它的格式简单、自我描述能力强，实现了内容、结构和表现三者的分离，更适合于数据表示和交......
计算学习理论是一门新的学科,计算学习理论所研究的是机器学习中一些共同的、根本性的基础问题.计算学习理论用形式的方法,以计算......
论文以实际项目“网络计算机软件系统”的研发为背景,简要介绍了网络计算机的基本概念及特点,在国内外的发展现状,应用前景,构建网......
在现代工业生产中,自动化系统的应用已经非常普及,作为自动化系统的主要组成方式的集散控制系统(DCS)更是得到了广泛的应用。但是......
学位
随着计算机网络技术的发展,人们对网络传输数据的安全性要求越来越高。传统的加密体制使用同一个密钥进行加、解密,要求在传输密文......
随着科学技术，特别是传感器技术、计算机技术、信息技术等的飞速发展，现代跟踪环境变得越来越复杂，现代跟踪理论也在不断发展和完善。......
水利工程是关系国计民生的重要工程,水情遥测系统是水利信息化的重要组成部分。随着社会信息化,传统的水情遥测系统通信网络以及通......
随着互联网的飞速发展，网络安全问题日益严重。入侵检测技术是一种新的积极主动防御的安全保障技术，而Snort是其中基于规则匹配的一......
入侵检测是计算机安全领域重要的动态安全技术，也是当前计算机安全理论研究的一个热点。 本文首先阐述了入侵检测的概念、研究现......
密码技术是信息安全的核心技术。如今在计算机网络环境下信息的机密性、安全性、完整性、可用性等特性，都需要采用密码技术来解决。......
Web服务组合可以有效地支持企业内部跨部门的横向业务集成，以及横跨业务伙伴的企业间业务集成。组合Web服务验证可以检查集成业务是......
随着监控视频数据的日益增长，人工分析视频的方式耗费人力的同时也增加了安全保障的成本，越来越不能满足实际需要。此时，智能化的视频......
深度包检测在网络监控中占据着重要的角色,对于规则的描述,正则表达式具有很强的表达能力和灵活性。FSM(有限自动机)为基于正则表......
计算机技术日益发展的今天，尽管目前单个CPU的性能已经达到相当高的水平，但就一些超大规模计算或一些必须实时完成的多媒体运算而言，......
在形式语言与自动机的经典理论中,由于所选用的数学工具的局限性,造成了证明的繁杂性,降低了证明的可读性。本文利用半环方法来讨......
随着计算机技术和网络技术的飞猛发展,人类社会的信息化进程大为加快,对信息的依赖程度越来越高。保险公司也依靠IT系统处理案件。......
随着网络技术的发展和应用范围的扩大,人们越来越依赖于网络进行信息的处理。但是由于网络攻击工具和攻击手段的日趋复杂化和多样......
类测试中的基于状态的测试一般是以状态机模型为基础的测试。类状态机用于刻画对象响应各种事件时状态发生迁移的情况。测试执行时......
在新技术与教育市场化条件下,虚拟实验室在中学化学教育中的广泛应用已经具有了实现的极大可能。因为,只有真正实用的产品才是用户......
量子计算是一门交叉于数学、物理与计算机科学的前沿学科,具有令人期待的发展前景.量子计算的研究主要分为对量子计算模型、量子计......
随着科技的发展，网络应用层出不穷，各种攻击也日益猖獗，给网络信息安全带来了严重威胁。深度数据包检测(Deep Packet Inspection,DPI)......
在制造物联网生产环境下，各种类型的感知设备用于监控生产过程、流程、对象变化等，从而产生了大量的原始数据。但是这些数据的准确性......
逻辑动态系统是一种离散时间离散空间的双离散系统,可以应用在许多诸如生物系统、电力系统、故障检测、网络同步与查询等领域。但......
20世纪的计算革命不仅为我们提供了崭新的科学研究的方法，而且为我们提供了全新的看问题的视角。计算机的理论和实践使我们逐步形成......
Petri网是研究并发、异步系统的有效模型,并巳逐步应用到资源分配、操作系统、分布式系统等领域。 本文首先综述了Petri网基本理论......
阜阳市局 ￡4a 局长——_MINtkMMtgj’＃lnH＄B——q.M——D收束志不他只邀狲位J则【科校为先导推动地租工作.B为广为戳民U用凶盼引眯B.......
本刊1988年第2期发表的“有限自动机的电气实现方法”一文,对设计多变量的时序电路有很大的参考价值。随着电子技术和微计算机技......
