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

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

Moore机表示的系统迭代设计动态CTL模型检验的不变性研究(英文)

模型检验是系统级设计中验证可信计算系统安全性性质的有效方法。动态模型检验是模型随设计过程而变化的模型检验,动态模型检验过程中遇到的最严重问题之一是模型变化所带来的重复检验代价太高。因此,寻找不变性以避免重复检验显得尤为重要。不变性是一种贯穿系列模型检验而保值为真的性质。该文构建动态模型检验的形式化框架,进而提出基于Moore机描述的流控制系统迭代设计过程的不变性理论,该系统是一种嵌入式控制系统,在可信通信中用以处理数据转换,最后展示了若干非平凡CTL性质在迭代过程中的可保持性。

格值Moore机的最小化

提出格值Moore机的概念,从代数角度出发详细研究此类自动机的性质,同时研究此类自动机的同余和同态,揭示此类自动机的代数性质和取值格半群的紧密联系,最终研究格值Moore机的极小化,给出可在有限步实现极小化的算法,并从理论上证明了得到的最小化格值Moore机与原格值Moore机等价。

加权Moore机的同余与最小化

本文定义了加权Moore机的同余、同态,给出了同态定理并证明了同余关系在加权Moore机中构成一个完备格。在同余关系下给出了加权Moore机的商Moore机,并给出了求最小状态Moore机的算法。

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

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

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

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

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

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