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

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

一种人工情感及行为策略模型的有限自动机实现

在情感模型和理论的基础上,针对情感特征,提出了一种新的人工情感框架模型,利用自动机理论,分析了情感在现有状态和外部环境刺激下的情感转移过程和行为策略,根据智能体所要求实现的控制功能,建立了一个基于有限自动机的人工情感模型,并构建了对应的时序电路,从功能的角度为实现人工情感的工程化提供了一种新的思路和方法.     

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

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

混值有限自动机及其有效综合

本文引入了混值有限自动机的溉念和相应的状态触发矩阵及状态转换矩阵,并在此基础上提出了混合使用二值和三值触发器实现混值有限自动机的有效方法。     

一种多值逻辑函数化简方法——决策树法

将决策树应用于多值逻辑函数的化简，提出了一种新的多值逻辑函数的化简方法，该方法易于编程和上机操作，特别适用于化简多变量的多值逻辑函数。     

基于多维有限自动机的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个数量级。     

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

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

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

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

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

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

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

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

非线性有限自动机的代数理论——兼谈FAPKC3公钥密码体制

引入半环描述输入存贮有限自动机及其复合运算,对非线性有限自动机的弱可逆性理论进行了代数化处理,提出相对基本分解并引出非线性核的概念等。作为应用,对FAPKC3公钥体制(文献[1])提出称之为“非线性核攻击”的攻击方法,由此提出该体制中私钥的非线性核必须符合的三条准则,并指出是否存在以及如何构造足够多的符合这些准则的密钥是有待研究的问题。     

叠加法——方框图化简的一种新方法

在经典控制理论中,方框图化简的常用方法有方框图等效变换法和Mason增益公式法。对于部分框图,由于方框图等效变换法化简步骤太多,容易出错;而Mason增益公式法虽然简便,但学生不容易理解。本文根据经典控制理论的研究对象通常是线性时不变系统这一特性,提出了一种叠加法,即使用叠加原理结合框图等效变换法和公式法来进行框图化简的新方法。该方法特别适用于多输入、多反馈方框图的化简。该方法优于框图等效变换法,是框图等效变换法和Mason公式的一个很好补充。     

基于有限自动机和规则库的智能打结机控制系统设计

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

一种新型的高阶时域有限差分方法

相比于传统高阶时域有限差分算法(FDTD)而言,该文提出了一种改进的高阶FDTD的优化方法,该算法基于安培环路定律,通过计算机技术寻找到一组最优的系数使得FDTD方法的全局色散误差达到最小,通过不同分辨率下的点源辐射模拟证明了该方法在较低分辨率的情况下仍然具有极低的相位误差,对于解决电大尺寸结构建模中的数值色散等问题提供了有效的解决方案。

     

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

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

基于量子细胞自动机的设计方法

简要介绍了量子细胞自动机这一新型纳电子器件,重点综述了量子细胞自动机系统的自顶向下和自底向上的两种设计方法,并比较了各自的优缺点,提出一种综合两种设计方法的设计思想。     

CBR:一种支持工作流过程语义验证的组件级 化简方法

目前的工作流过程验证方法多数侧重控制流特性验证,与数据或资源信息相结合的验证尚未得到很好发展.然而,业务过程的目标实现依赖于控制流、数据流和资源三维基本观点的协作.保证过程的目标实现需要验证这三维观点协作的正确性,称为语义验证.该文侧重讨论大型、灵活的过程语义验证问题.首先,形式化定义过程模型,综合体现三维基本观点,表达完整的过程语义,并使用基于组件的思想,具有一定可扩展性和灵活性.然后,通过探讨组件间的协作逻辑,提出基于组件的化简方法(Component Based Reduction,CBR)和化简规则,为过程语义验证提供有力支持.     

数字系统的有限自动机ASM图设计

设计数字系统的过程一般可分为:系统功能定义、算法描述、硬件综合、性能估价和测试。算法描述是设计系统时较为困难的任务,硬件综合则与实现系统结构的器件有关。采用有限自动机ASM图(algorithmic state machine chart)的设计方法,是以一种类似于程序流程图的形式来描述系统的功能,借用顺序、判断、循环等结构,自上而下地进行设计,能明确地表达算法,使之易读和便于验证。用ASM图描述的算法,能在不同的级别上转换为相应的硬件结构,或微处理器系统中的软件程序。我们用此法设计     

一种提高内存使用效率的时域有限差分算法

证明了即使在无源区域,局部一维时域有限差分法（LOD-FDTD）所给出的电磁场量也不满足零散度关系,推导了该散度关系的具体表达式。基于该非零散度关系和麦克斯韦旋度方程,将LOD-FDTD法与减缩时域有限差分法（R-FDTD）相结合,得到一种新的局部一维减缩时域有限差分法（LOD-R-FDTD）。该方法不仅具有LOD-FDTD方法的优势,计算公式简单,消除了CFL稳定条件对时间步长的限制,而且与LOD-FDTD相比平均节约了1/3内存使用量。通过仿真计算与其他方法对比,证明了LOD-R-FDTD方法的准确性和有效性。     

一种改进型枪械自动机测试系统

针对传统的水下枪械自动机测试系统存在的灵敏度低,噪声严重,后期数据处理繁琐等问题,提出一种改进型枪械自动机测试系统。采用低导磁材料代替传统永磁型感应测速传感器的铁芯,并以漆包线缠绕坡莫合金作为感应线圈用以增强其灵敏度,解决了传感器因内部铁心线圈产生涡流影响测量精度的问题;利用小波变换对采集数据进行降噪处理和突变点的检测,准确捕捉自动机运动过程。经试验验证,测试结果可精确至mV,系统整体不稳定度为1.65%。