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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Mealy机的实时系统调度方法

为得到实时并发系统的最优运行路径,提出一种基于Mealy机建模的最优调度方法.通过分析以Ptime Petri网建模的实时系统,并用Mealy机建立中库所及其对应时间的关系,得到在满足系统非死锁、非阻塞特性下的最优路径.基于这种方法,可获得P-time Petri网的最优合法序列.通过实例验证表明:所提出的方法具有较好的效果.

基于Mealy型状态机的莫尔条纹细分和辨向技术

介绍了一种利用VHDL语言描述的Mealy型状态机对光栅莫尔条纹进行8细分和辨向的方法。该方法通过状态机对经过预处理电路的光栅信号变化状态进行判断,从而输出计数脉冲和方向信号。通过一种改进的计数方法,避免了尖峰干扰脉冲对计数值的影响,提高了细分和计数精度。

关于State flow中Moore型和Mealy型的研究

文章主要从实际开发设计中遇到的问题,尤其是针对不同类型模型(Mealy型和Moore型)的时序问题进行说明、仿真和分析,使得在未来工作中能够更快的提高建模效率和可用性。并以RS触发器为例来说明Mealy型和Moore型的不同,以便对日后的Simulink建模提供参考和帮助。

基于Mealy机精化关系的验证算法

与传统验证方法相比,形式验证技术因其完备性,已在数字电路设计领域中得到越来越多的关注。通过对形式验证技术和状态机的研究,在LTL公式的可实现策略基础上,提出一个基于Mealy机精化关系的验证算法,实现了一个搜索工具原型:支持算术表达式的LTL性质描述,在设计空间中搜索满足给定规范的输入输出信号。该技术可应用于定位电路设计中满足给定功能性质的代码片段。

强赋值幺半群上的加权Mealy机与加权Moore机的关系

赋值幺半群是一类包含半环在内的代数结构,在赋值幺半群的基础上定义强赋值幺半群。由于带输出的加权有穷自动机在自然语言的处理方面有很重要的意义,是自动机理论的一个重要研究方向。在权重取值于强赋值幺半群下定义了3种带输出的加权自动机,即强赋值加权序列机、强赋值加权Mealy机以及强赋值加权Moore机,并且给出了它们的响应函数,进而探讨了强赋值加权Mealy机和强赋值加权Moore机的关系,即强赋值加权序列机与强赋值加权Mealy机是不等价的,强赋值加权序列机与强赋值加权Moore机是等价的;并以强赋值加权序列机为中介,强赋值加权Mealy机与强赋值加权Moore机的关系是不等价的。

Mealy和Moore型电路的比较

Mealy和Moore型电路的输出具有时差特性。前者比后者的输出序列超前一个时钟周期。Moore型比Mealy型的电路状态数多。当Mealy型电路的状态数为2n时,Moore型比Mealy型电路因多一个状态而更为复杂。当Mealy型电路的状态小于2n时,二者的复杂程度一样。其简化方法相同。

基于VHDL的一个简单Mealy状态机

以帮助理解Mealy状态机为目的,采用VHDL语言设计一个简单的Mealy状态机,来检测数据流"1101010",并采用软件QuartusⅡ对所写程序进行编译、仿真,得出其状态图、波形图。首先介绍状态机的基本概念及其分类,其次分析Mealy状态机的设计过程并编写程序,最后通过QuartusⅡ对编写软件编译、仿真,使所得到的状态图和波形图合理,并与分析完全一致。这里编写的程序简单、合理,容易理解,可以对Mealy状态机有一个更全面的认识。

Mealy型序列检测电路的研究和改进

通过对传统数字逻辑教材的序列检测器设计的研究,指出工作时的输出波形不合理,具体表现在待检测序列最后一位信号出现但时钟尚未有效时,检测器已输出检测结果,合理波形应该是待检测序列最后一位信号出现并且时钟有效,检测器才输出检测结果。经过对设计过程的分析和软件仿真,造成该问题的原因是电路采用Mealy型设计方法,输出受输入和触发器的状态控制,输入的变化即刻影响到输出。本文提出一种摩尔型(Moore)的序列检测器设计方法,输出仅受触发器的状态控制,QuartusII软件的仿真和实际的电路测试验证了设计的有效性和输出波形的合理。