摘要：通过对中国移动多媒体广播(CMMB)系统复用帧结构的分析,运用有限自动机原理,提出终端解复用的一种设计方法。对终端接收到的码流进行分类,归纳出码流中各种信息的状态,根据各种状态之间的转换条件,设计出了有限自动机。用C代码实现后,可以看出该有限自动机不仅能很好地解析终端接收的码流,而且,解析后能将各种有用的信息保存起来,以供其他模块使用。

摘要：　　1引言　　网络攻防是一对矛盾.保障国家网络安全,不但有防,还须有攻.安全防御的理论和方法总是滞后于网络攻击,通过对攻击方法和技术的研究,才能找到浇相应的防御方案.如果没有真正意义上的攻击系统和攻击实践,也就无法证明防御系统的有效性.网络攻击系统是指根据网络攻击的基本过程,采用各种攻击手段和工具对目标主机或主机服务进行攻击的计算机系统.网络攻击系统的设计遵循一般的网络攻击方法学.其行为描述和结构设计需要充分的理论依据和论证,自动机理论是一种强有力的工具.文中介绍了网络攻击系统的体系结构,构造了模拟网络攻击系统的有限自动机,说明了该系统各状态转换的条件和过程.……

摘要：论文基于有限自动机的矩阵模型犤1犦,并以矩阵理论和布尔代数为工具,给出了一种有限自动机极小化的新方法。该方法不仅有利于算法设计和计算机自动处理,也表明了矩阵模型方法在有限自动机应用研究中的重要作用。

摘要：设计实现了一种新的基于有限自动机的XML过滤方法。这种方法和以往基于有限自动机方法(不确定的有限自动机和确定的有限自动机)的不同在于它首先使用XMLSchema把带“*,//”的路径表达式简化,然后把生成的DFAs合并成一个大的DFA,这个DFA充当过滤引擎。另外一个新颖的地方就是修改DFA的接收状态,方便了带分支路径的路径表达式处理。

摘要：软件开发模型很多,基于Web的三层结构的软件设计开发模型的关键是要考虑它的并发性。文章提出了一种基于有限自动机的Web软件开发模型。该模型对有限自动机进行了扩充;将扩充后的有限自动机转换成为分层状态图;根据分层状态图转换成为多功能视图;在此基础上进行软件开发。利用这个开发模型可以方便地进行需求分析和描述;只需开发子服务组件或模块,便可进行软件开发、系统扩充以及后来的系统重构。

摘要：该文在有限自动机的矩阵模型表示方法1基础上,采用矩阵理论和布尔代数为工具,提出了一种有限自动机等价判定的新方法。该方法不仅有利于算法设计和计算机自动处理,其处理方法对采用矩阵模型研究有限自动机理论及应用问题也有一定学术参考价值。

摘要：阐述了智能打结机控制系统的功能和控制原理,结合有限自动机和规则库理论提出了打结机控制系统一种新的设计方法,即自动机-规则库设计方法.该方法实现了在系统状态图和控制系统规则库之间进行搜索匹配,从而很好地满足了打结机对动作实时性、准确性、匹配性的要求,大大提高了缝制效率.

摘要：蜜罐系统作为一种主动响应的安全技术,利用诱骗技术吸引入侵,对网络数据进行捕捉和控制,及时获取攻击信息并记录入侵过程,研究攻击手段和过程。对该技术的研究已成为目前信息安全领域的研究热点。本文通过确定性有限自动机理论对蜜罐系统模型进行描述,根据确定性有限自动机状态转换图模拟捕捉攻击行为的全过程,为密罐系统的设计和部署提供有力的理论依据和论证。

摘要：自动机是可同步的是指它具有满足以下性质的同步字:不论自动机当前所处的状态,以同步字为输入执行后它一定会到达某个特定状态。同步自动机问题的核心是计算最短同步字。聚焦于这一核心问题,文中就一类称为部分规约的确定的有限自动机的最短同步字问题,研究了近似计算这类自动机的最短同步字的复杂性,即近似计算它的难度,该工作有助于其近似算法的分析与设计。通过建立由两个优化问题(MAX SAT问题以及MAX FA-INT问题)到最短同步字长度计算这一问题(即Shortest-Syn)的归约,利用与概率可检验证明(Probabilistically Checkable Proofs,PCP)定理和概率可检验辩论(Probabilistically Checkable Debate,PCD)定理有关的若干结果证明了文中的主要结论:对于部分规约的确定的有限自动机,在某个近似因子内Shortest-Syn的近似难度是NP-难的和PSPACE-难的,除非NP和PSPACE分别坍塌到P。

摘要：本文介绍了自动机理论在桥式起重机电气逻辑控制系统中的应用，使得系统的描述、分析和PLC控制软件设计大为方便。