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

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

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

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

Mealy机的实时系统调度方法

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

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

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

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

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

伪加权Mealy机与伪加权Moore机的关系

给出伪加权序列机、伪加权Mealy机以及伪加权Moore机的定义并分别给出了它们的响应函数。证明伪加权序列机与伪加权Mealy机是不等价的、伪加权序列机与伪加权Moore机是等价的;并以伪加权序列机为桥梁,得到了伪加权Mealy机与伪加权Moore机的关系是不等价的。

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

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

一种简单神经Mealy机的构造

构造一种新型神经Mealy机,神经Mealy机具有一定的学习能力,它主要通过学习来获得(von Newman)计算机结构,可以较好地避免普通计算机那样损毁一条电路就带来灾难性后果的情况.其本质是将递归神经网络通过BP优化算法,对Mealy机进行模拟得到,并通过实验对该网络的学习性能进行研究分析.基于形式文法和自动机的等价性,用神经网络来实现文法推导.先采用神经网络对样本集进行学习,这些样本可由一个经典Mealy机生成,然后从训练完的神经网络提取出自动机.

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

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

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

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

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

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

可交换模糊有限自动机的代数性质

研究了可交换模糊Mealy机的同态性质、可交换模糊Mealy机与其子模糊Mealy机的关系、可交换模糊Mealy机的覆盖关系。定义了可弱交换的模糊Mealy机,并将可交换的模糊Mealy机的性质推广到可弱交换的模糊Mealy机上。