有限自动机的一种化简方法

利用转换矩阵对有限自动机进行化简。在各分组中，当两个不同的出发状态，具有同样的到达状态时，这两个出发状态就可以合并为一个状态。     

一种基于智能有限自动机的正则表达式匹配算法

本文提出了一种基于智能有限自动机(Smart Finite Automaton,SFA)的正则表达式匹配算法,在XFA的分支迁移边上增加额外的判断操作指令,消除XFA的回退迁移边,避免不必要的状态迁移操作.实验结果表明,SFA提高了正则表达式匹配的时空效率,与XFA相比,在存储空间开销上减少了44.1％,在存储器访问次数上减少了69.1％.     

基于有限自动机的Web服务行为的描述与发现

Web服务技术越来越成为应用和研究的热点,对Web服务的行为描述的几种方案进行比较分析,推荐了对原有限自动机定义进行扩展的方法,以达到准确地描述Web服务间的执行步骤和相互作用的目的。     

一种可逆有限状态机的电路设计

不同以往通过重构电路行为实现可逆有限状态机方法,本文提出了一种可逆有限状态机的电路结构.该电路主要包括次态与输出计算电路以及状态预置与采样锁存电路两部分,且提出的可逆有限状态机电路中不存在独立的可逆触发器,但可以实现可逆JK,D,T等触发器功能.同时,文中也提出了基于该可逆有限状态机电路的可逆时序电路综合方法,并用实例进行了验证.相比于基于行为重构的可逆有限状态机的综合方法,本文提出的综合方法可以避免原始状态机的逆状态机的求解和增加额外的信号位,从而使得综合过程变得更加简单.     

基于多维有限自动机的DFA改进算法

多个正则表达式规则编译成一个DFA(deter minister finite automata)时,会产生状态爆炸、存储急剧增加的现象。针对最严重的状态爆炸问题,从信息论的角度给出了解释,并提出多维数学模型,将冗余状态分为0维状态和1维状态,通过前者按照维度压缩,后者动态构建的方法将空间复杂度降到理论下界,并在此基础上提出多维有限自动机(MFA, multi-dimensional finite automata)。实验表明,MFA构造时间比XFA略少,比DFA、STT冗余压缩算法和Hybrid-FA降低了2~3个数量级;存储空间比XFA略高,比DFA、STT冗余压缩算法、mDFA、Hybrid-FA降低了1~2个数量级;匹配时间比DFA、Hybrid-FA略多,但是比XFA略少,比STT冗余压缩算法和mDFA降低了1~2个数量级。     

控制软件设计中有限自动机的研究与应用

简述了有限自动机的基本概念，提出利用有限自动机进行控制软件的设计思路．有限自动机理论在软件设计中的应用，可以使我们在进行软件设计时通过对具体应用过程的分析，提高软件的设计水平和工作效率。     

基于有限状态自动机的复合事件监测模型

通过对复合事件的自动机检测模型的研究，给出了构造事件表达式的自动机模型的完整过程。其中的关键步骤：从复合事件到NFA，从NFA到DFA都进行了详细的说明。在NFA向DFA转换过程中给出了子集构造算法、状态最小化算法。     

基于有限自动机的CMMB解复用差错处理方法

通过对中国移动多媒体广播(CMMB)系统终端解复用的分析,提出终端解复用过程中遇到差错码流的一种处理方法.该方法中,运用有限自动机原理,对终端可能接收到的错误码流进行分类,归纳出各种错误码流的状态.提出各种状态之间的转换条件,设计了有限自动机.用C代码实现后,该有限自动机能很好地处理终端可能接收的错误码流,而且能降低系统对差错处理实现的复杂度,系统升级非常方便.     

基于小波变换和广义有限自动机的视频压缩

为了改进视频编码的比特率,提出基于小波变换的位平面模型和广义有限自动机(GFA)的视频压缩.该算法是把一个连续画面中(GOP)的视频序列作为整体做小波变换,然后对小波系数的自适应量化及位平面模型.帧间,频带间,位平面间都类似成为相同位平面模型.这样可以更好地使用广义有限自动机(GFA)来压缩位平面.最后用熵编码方式编码GFA描述的节点信息为可分级的比量流,它是一个高效可分级视频编码方案.以前多数不切实际的多媒体通信应用将可能实现.     

有限状态自动机在复杂界面操作中的应用

为提高程序开发效率和软件稳定性,减轻应用程序在复杂界面操作上的代码量,设计实现了基于有限状态自动机的界面控制器.界面控制器在自动机的基础上引入动作集,通过将界面上的复杂操作抽象为简单的状态和状态转换函数,可实现对界面的复杂操作与逻辑控制,具有建模方便、小巧轻便和简单易用的优点.     

基于元胞自动机的激进型驾驶行为换道模型

为研究实际高速路激进型驾驶行为对交通流的影响，对NGSIM中80号州际公路（I80）数据进行分析。通过对数据中车头间距、车辆换道等参数的分析，提出了针对激进型驾驶行为的换道模型。运用元胞自动机，在单车道VDR模型和双车道STCA模型基础之上采用动态换道概率并建立了ISTCA模型。通过对不同道路密度条件下换道行为进行模拟仿真，并与STCA模型进行对比分析。仿真分析表明，在一定密度范围内，ISTCA模型能有效提高道路的通行能力。     

基于层次时间自动机的动态行为取证建模方法

提出一种新的动态行为取证层次化模型.首先介绍层次时间自动机的概念,接着详细阐述动态行为的层次时间自动机形式化模型及其组合模型,然后分析组合模型中可能存在的非法行为.     

精确学习模型下确定的有穷自动机的学习

利用多态自动机和有穷自动机的关系，根据多态自动机的学习算法，给出了EXACT学习模型下，确定的有穷自动机的学习算法，并对算法复杂度做了分析，说明确定的有穷自动机在EXACT模型下可以在多项式时间内进行学习。这样就可以用软件来模拟确定的有穷自动机的学习。     

基于确定有穷自动机描述的仿人智能控制记忆

模仿熟练操作者通过记忆多步连续调控系统的方式,将记忆用上下文无关文法表示.根据控制经验和滚动预测优化建立特征状态转换表和构造不确定有穷自动机,给出了转换确定有穷自动机的算法.在任意特征状态下,通过一系列的DFA状态转换函数的复合运算,得到使系统稳定下来的控制模态序列.     

基于元胞自动机的S盒的性质与神经网络实现研究

基于元胞自动机（CA）的S盒密码学性质良好且软硬件实现代价低,被用于Keccak、SIMON等密码算法.本文研究了基于CA的S盒的性质,给出并证明了此类S盒的三个重要性质：移位不变性、镜面对称性和互补性;同时研究了基于CA的S盒的神经网络实现方法,指出相比一般的S盒,基于CA的S盒在进行神经网络实现时可以用更简单的结构、消耗更少的资源来完成,并且给出了一种权重阈值搜索算法可以方便快速地实现基于CA的S盒的神经网络结构.     

网络流量行为分析的一维元胞自动机模型

提出了一种网络流量的一维元胞自动机模型。制定了节点吞吐量和分组队列长度的更新规则,引入了减速概率来模拟节点发送分组的随机行为。数值仿真结果表明,该模型能较好的描述了网络中从自由流相到拥塞相的相变行为。     

基于情感模型的感性图像检索

感性信息处理是让计算机能够模仿和识别用户的情绪、感觉和感情，实现和谐的人机交互，达到“以人为本”。通常人们用一些形容词来表达自己的情绪，本文提出了一种情感模型用来处理这些表达心理的形容词，从心理学的“维量”思想出发，采用语义量化技术和因子分析的方法建立情感空间，并分析情感空间的相似性度量方式；抽取图像的颜色和形状特征作为图像的感性特征，采用径向基函数神经网络将图像由特征空间映射到情感空间，在情感空间内实现图像的感性检索，取得了较好地实验结果。     

Minimization of Fuzzy Finite Generalized Automata

Some concepts in Fuzzy Generalized Automata （FGA） are established. Then an important new algorithm which would calculate the minimal FGA is given. The new algorithm is composed of two parts： the first is called E-reduction which contracts equivalent states, and the second is called RE-reduction which removes retrievable states. Finally an example is given to illuminate the algorithm of minimization.     

一种基于元胞自动机的显影模型

本文利用元胞自动机的方法建立电子抗蚀剂显影模型,阐述了用该模型确立电子抗蚀剂显影后轮廓的方法,在结合相应的能量沉积模型和显影速率模型后,给出了电子抗蚀剂最终显影轮廓的模拟结果,并用ZEP520电子抗蚀剂进行实验验证.