渐进式的协议状态机主动推断方法

主动协议状态机推断的理论基础为主动自动机学习,所面临的核心问题是字母表的抽象与映射器的构建。同一类型消息取值的多样性可能导致同一类型的数据包存在不同的响应类型,从而导致当前使用类型作为字母表的方法会丢失状态或状态转移。对此,依据不同的响应将协议类型细化为子类型,提出一种渐进式主动推断方法。基于已有协议数据提取协议状态字段,构建初始字母表与映射器,基于主动推断方法得到初始状态机;对数据进行确定性变异,若输入输出类型序列与当前状态机不符,则将变异后数据视为协议子类型,并添加至字母表,同时依据新的字母表进行新的状态机推断。此外,为减少协议实际交互次数,依据协议特性,在主动推断算法的缓存机制基础上提出一种基于前缀匹配的预响应查询算法。实现了开源框架ProLearner,并以SMTP和RTSP为对象,通过扩展协议子类型获得了更为详细的协议行为,验证了所提方法的有效性;此外,实验结果表明预响应查询算法可有效减少实际交互的次数,平均降低的实际交互次数约为10%。

基于三位一体协同的虚拟机隔离保护方案

针对基于虚拟机(virtual machine, VM)保护框架的代码隔离技术中所存在的单一隔离环境安全问题,提出一种三位一体协同虚拟机保护方案。基于Mealy自动机对核心代码和关键数据进行混淆转换,采用虚拟机框架进行保护,将关键数据和核心代码迁移至第三方安全环境,最后结合篡改恢复和自毁技术构建本地软硬件和远程云端三位一体协同保护方案,构建了模拟系统,并基于测试保护程序验证了该保护方案的有效性和可行性。

基于Mealy机的藏文字构件分解

藏文字构件分解是藏文信息处理的基础,具有重要的理论价值和广阔的应用前景.针对藏文字构件的复杂性与多样性,文章通过分析现代藏文字的构字规则和结构特点,研究了藏文字构件的分解过程,利用Mealy机的输出字符与移动一一对应的特性描述了藏文字构件的行为语义,给出了对于任意字符串能否被Mealy机分解的判定定理及基于Mealy机的藏文字构件分解算法,并设计实现了基于Mealy机的藏文字构件分解系统,验证了算法的可行性.

格值Mealy自动机的同余和同态

提出格值Mealy自动机的概念,从代数角度出发详细研究此类自动机的性质,同时研究此类自动机的同余和同态,揭示此类自动机的代数性质和取值格半群的紧密联系,最终研究格值Mealy自动机的极小化,给出可在有限步实现极小化的算法。

Moore机与Mealy机之间的转换研究

本文从本质上归纳了二种时序机 Mealy机与 Moore机之间的转换效果 ,根据二者的输出序列相差一个时钟周期的特点提出了二种十分简单的转换技术 .设计实例表明它们易于理解且十分简便有效 .

基于Mealy机的汉字输入有穷自动机及其应用

从自动机理论的角度对汉字输入模型的建立进行了一定的研究,并相应地建立了一个基于Mealy有穷自动机的汉字输入有穷自动机模型,在这种模型中对自动机的输入进行了刻画,同时也对自动机的输出进行了相应地刻画,较之以前的汉字输入模型更全面。根据这种模型的特点还介绍了它在汉字GB码与BIG5码转换中的应用。

基于Mealy自动机的多人重复博弈演化模型及仿真分析

本文提出一种基于Mealy自动机的多人重复博弈演化模型。该模型用Mealy自动机表示博弈参与人的战略行为,并构造一个基于遗传算法的自动机演化程序。博弈初始时,博弈参与人提交一个Mealy自动机。博弈参与人的有限自动机在当前状态下与竞争对手的自动机进行博弈,并且依据其获取的支付转换到下一状态,然后在新的状态下开始新一周期的博弈。在进行一段时间博弈后,则利用自动机演化程序对自动机进行演化,演化的标准是依据其在这一段时间博弈中的获得的平均支付及战略成本。通过仿真可以验证,在参与人理性程度较低且存在信息干扰的情况下,博弈参与人为了降低在博弈过程中的信息失真率,战略成本需要以较大的幅度下降。

产生2^k元伪随机序列的准混沌Mealy型有限状态机方法

该文利用m状态序列稳定的长周期,以及混沌序列流的高线性复杂度,研究了一种将m状态序列作为准混沌Mealy型有限状态机输入的2k元伪随机序列产生方法,分析了系统的周期特性,进行了序列流随机性的测试,介绍了系统作为跳频码发生器在FPGA的仿真和综合结果.

量子Mealy自动机和量子Moore自动机的等价

随着大数分解的量子算法和量子搜索算法的给出,量子计算进入了一个全新的迅速的发展时期.量子自动机是近十年来兴起的量子计算理论,是一个很活跃的研究领域,量子自动机的研究已经相当丰富.首先定义了字符集上的有限维Fock空间,给出基于有限维Fock空间的量子Mealy自动机和量子Moore自动机的定义,考虑在不受外界环境影响下的两种量子自动机构成的封闭的量子系统,详细地研究了量子Mealy自动机和量子Moore自动机的演化过程,利用量子力学中密度算子的基本理论给出量子Mealy自动机和量子Moore自动机生成的量子语言.最后,在考虑纯态的情形下证明了量子Mealy自动机与量子Moore自动机是等价的.

有限状态机的VHDL设计

介绍了用VHDL的有限状态机设计方法,该设计不需要进行复杂的状态化简、状态分配、状态编码,输出和激励函数,也不需要画原理图,通过EDA工具就可以完成所有的工作,同时以一个波形发生器的实例设计,说明了设计的特点和优越性,通过仿真波形验证了设计的正确性,实现了基于VHDL的有限状态机现代数字系统设计。

基于模糊字符串的Mealy格值有限自动机及其最小化

提出取值为格半群的M ealy格值有限自动机的概念,进而得到基于模糊字符串的M ealy格值有限自动机的扩张模型,并较详细讨论了其性质。同时定义了扩张的完备M ealy格值有限自动机的行为矩阵,在此基础上给出了其最小化算法。

基于FPGA的数显测温系统的设计

本数显测温系统采用Altera公司可编程FPGA芯片实现对单线式温度传感器DS18B20进行读写控制并输出至LDE数码显示,内部主要由DS18B20读写模块(由Mealy状态机控制),数据格式转换模块,显示译码模块组成,重点阐述了读写时序控制模块和数据格式转换模块的实现方式。

有限状态机的VHDL语言描述

VHDL作为一种规范的硬件描述语言 ,被广泛应用于电路的设计中。本文简要介绍了用作控制的有限状态机 。

一种基于Mealy!机的语义程序验证方法

语义验证是束缚语义软件和语义程序设计语言发展的问题之一,针对这一问题,在基于语义Web服务的语义程序设计语言SPL及其知识库业务领域本体(BDO)的基础上,提出了一种基于Mealy!机对SPL所编排的业务过程进行语义验证的方法,结合在线外汇交易平台的案例,详细描述了运用该方法进行语义验证的过程。通过案例证明,本方法有助于编写语义正确的语义程序。

关于有限理性博弈战略集的等价性研究

为了解决具有不同复杂度的博弈战略自动机是否具有等价性,需要剔除博弈战略自动机中的冗余策略。文章提出一种基于Mealy机的博弈战略化简算法。利用该算法,可以把不同复杂度战略的策略数目最小化,从而达到化简目的。进一步证明了采用该方法进行化简所得到的战略自动机与化简前战略自动机的等价性。

基于Mealy状态机莫尔条纹检测系统研究(英文)

提出一种嵌入式Mealy状态机实现的莫尔条纹检测方法,在EP2C8Q208芯片上完成了8倍频细分、辨向及计数电路的模块化设计.利用QuartsⅡ软件进行功能仿真与逻辑仿真.结果表明,该系统克服了传统电子细分法中细分、辨向分开带来的弊端,具有同步稳定性好,抗干扰能力强,易于升级修改,可实现较高精度位移测量.

扩展原理下区间二型模糊Mealy自动机的语言动力系统

运用区间二型模糊集合的扩展原理,将Mealy自动机转化为区间二型模糊Mealy自动机(interval type-2fuzzy Mealy automata,IT2FMA),提出了应用IT2FMA作为词计算的形式模型来研究语言动力系统,分析了IT2FMA输入分别为数值符号串和词串时间复杂度的关系,研究了IT2MFA下的语言动力学轨迹。通过供水控制系统验证了模型的可行性和有效性,结果表明:通过选择合适的状态转移函数和输出函数,当输入变化时,IT2FMA能做出正确的决策。

基于有限状态机模型的GUI设计及其应用

为了提高GUI(graphic user interface)程序的开发效率和质量,比较了Moor机与Mealy机模型的优缺点,提出了一种适用于GUI设计的有限状态机模型,并将其成功应用于轨道交通AFC(自动售检票)系统的半自动售票机中。应用结果表明,基于这一状态机模型设计的GUI程序具有开发速度快、可扩展性和可靠性高等技术特点。

一种基于Avalon总线PCI从设备IP核设计

在工程实践中,如何实现上位机与Qsys系统之间的无缝链接,一直是设计中的重点。针对以上问题,本文提出了基于Avalon总线的PCI从设备IP核的设计方法,以嵌入式IP软核的形式取代原有专用接口芯片。设计按照自顶而下设计流程,首先给出了PCI从设备的RTL级模块划分,并详细设计了其mealy型状态机,然后将Avalon总线与PCI总线实现片内互联,最终开发了一个具有自主知识产权的IP软核。该IP核符合PCI 2.2标准,可进行资源自动配置,实现数据正确读写,还实现了PCI总线与Nios II处理器之间的数据传输,验证了该设计的正确性和可行性。

一种基于Mealy自动机的策略监控模型

策略监控是完善策略管理系统、提高系统可靠性,并为第三方审计提供依据的有效途径之一。对策略整个生命周期中的状态进行了划分,引入Mealy自动机,对整个状态转换过程进行了建模,明确了监控对象及分析依据,从而实现了对策略状态的宏观监控,即通过合法性判定算法对策略进行的操作进行判定。最后,通过对自动机模型及判定算法的程序实现与性能测试可以看出,该算法能够及时有效地对事件数据进行处理响应。