基于Mealy机的藏文字构件分解 被引量：5

1

作者 才让卓玛 李永明 才智杰 《电子学报》 EI CAS CSCD 北大核心 2015年第5期935-939,共5页

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

关键词 藏文信息处理 mealy机 构件 构字分解

下载PDF 职称材料

格值Mealy自动机的同余和同态 被引量：10

2

作者 韩召伟 李永明 《模糊系统与数学》 CSCD 北大核心 2007年第2期53-64,共12页

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

关键词 格半群 格值mealy自动机 同余 同态 极小化

下载PDF 职称材料

Moore机与Mealy机之间的转换研究 被引量：5

3

作者 吴训威 卢仰坚 《浙江大学学报（理学版）》 CAS CSCD 2000年第2期219-224,共6页

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

关键词 时序机 mealy机 Moore机 转换效果

下载PDF 职称材料

基于Mealy机的汉字输入有穷自动机及其应用 被引量：4

4

作者 任磊 谷文祥 《计算机应用研究》 CSCD 北大核心 2003年第4期15-17,共3页

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

关键词 汉字输入 mealy有穷自动机 GB码 BIG5码

下载PDF 职称材料

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

5

作者 张申如 王庭昌 邓晓燕 《电子与信息学报》 EI CSCD 北大核心 2003年第5期664-670,共7页

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

关键词 混沌序列流 m状态序列 准混沌mealy型 有限状态机 伪随机序列 密码

下载PDF 职称材料

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

6

作者 严太华 刘贞 任玉珑 《管理工程学报》 CSSCI 北大核心 2010年第1期158-162,共5页

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

关键词 有限理性 mealy自动机 重复博弈 战略演化 仿真

下载PDF 职称材料

量子Mealy自动机和量子Moore自动机的等价 被引量：1

7

作者 席政军 王鑫 李永明 《计算机研究与发展》 EI CSCD 北大核心 2009年第9期1523-1529,共7页

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

关键词 FOCK空间 量子mealy自动机 量子Moore自动机 密度算子 等价

下载PDF 职称材料

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

8

作者 汪洋 莫智文 《模糊系统与数学》 CSCD 北大核心 2009年第3期50-55,共6页

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

关键词 模糊字符串 mealy格值有限自动机 最小化

下载PDF 职称材料

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

9

作者 胡罗凯 柴新 +1 位作者 许庆炜 应时 《计算机应用研究》 CSCD 北大核心 2012年第9期3320-3323,3329,共5页

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

关键词 mealy机 本体 语义程序设计 语义验证

下载PDF 职称材料

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

10

作者 曲伟 叶红安 郑荟民 《深圳大学学报（理工版）》 EI CAS 北大核心 2011年第1期29-34,共6页

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

关键词 计量光栅技术 莫尔条纹 细分与辨向 mealy状态机 现场可编程逻辑门阵列

下载PDF 职称材料

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

11

作者 周敏 伍瞻林 +1 位作者 何青 雷辉 《山东科技大学学报（自然科学版）》 CAS 2013年第1期95-102,共8页

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

关键词 扩展原理 区间二型模糊集合 词计算 mealy自动机 语言动力系统

下载PDF 职称材料

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

12

作者 彭军 陈性元 +2 位作者 吴蓓 代向东 王永亮 《计算机应用》 CSCD 北大核心 2008年第11期2832-2834,共3页

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

关键词 策略状态 策略监控 mealy自动机 事件 正规表达式

下载PDF 职称材料

Mealy机的实时系统调度方法

13

作者 汲洋弘康 王飞 余婷 《华侨大学学报（自然科学版）》 CAS 北大核心 2014年第5期503-508,共6页

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

关键词 实时系统 mealy机 P-time PETRI网 调度分析

下载PDF 职称材料

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

14

作者 邱葭华 胡毅 《电子科技》 2012年第8期67-69,共3页

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

关键词 莫尔条纹 细分和辨向 VHDL mealy状态机 脉冲干扰

下载PDF 职称材料

关于State flow中Moore型和Mealy型的研究 被引量：1

15

作者 杨帆 史波峰 《汽车实用技术》 2016年第8期130-131,共2页

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

关键词 SIMULINK STATEFLOW Moore型 mealy型 建模 时序

下载PDF 职称材料

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

16

作者 梁虹 金乃咏 《计算机应用与软件》 CSCD 北大核心 2012年第8期169-172,共4页

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

关键词 形式验证 性质验证 精化 mealy机

下载PDF 职称材料

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

17

作者 王敏 李永明 《计算机科学与探索》 CSCD 北大核心 2018年第8期1331-1338,共8页

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

关键词 强赋值幺半群 强赋值加权序列机 强赋值加权mealy机 强赋值加权Moore机 等价性

下载PDF 职称材料

Mealy和Moore型电路的比较 被引量：1

18

作者 李岚 《兵工自动化》 2006年第5期82-83,共2页

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

关键词 mealy型电路 Moore型电路 时钟周期 电路状态数

下载PDF 职称材料

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

19

作者 毛敏 《现代电子技术》 2009年第14期4-6,共3页

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

关键词 VHDL mealy状态机 Moore状态机 QuartusⅡ

下载PDF 职称材料

Mealy型序列检测电路的研究和改进 被引量：3

20

作者 黄锦旺 肖慧娟 李广明 《东莞理工学院学报》 2019年第3期28-32,共5页

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

关键词 序列检测器 Moore电路 mealy电路 数字逻辑

下载PDF 职称材料