消除EFSM中状态迁移不确定的方法

扩展有限状态机(EFSM)模型在有限状态机(FSM)模型的基础上进行了扩展,通过EFSM模型,可以更加精确的描述软件系统的行为。本文将初始的不确定的扩展有限状态机转换成确定的扩展有限状态机,解决了状态迁移路径不可执行的问题。     

非确定部分有限状态机的一种新的一致性关系及其测试

在系统实际测试过程中,发现非确定部分有限状态机的模型可以方便地描述和刻画许多系统的逻辑行为.但在这种模型下,状态机并非完全接受所有的输入序列,且在某些输入序列上会产生不确定的输出序列,所以,经典的完全确定有限状态机的一致性定义,即被测实现和协议规范等价,不适用于非确定部分有限状态机.本文引入了一种新的一致性定义,并在非确定部分有限状态机下,给出了该一致性定义下完备的测试序列生成方法.     

Fuzzy有限状态机与笛卡尔组合

在Fuzzy有限状态机的性质基础上,讨论了Fuzzy有限状态机笛卡尔组合的一些性质和结构属性.研究结果表明,在Fuzzy状态意义下,Fuzzy有限状态机与笛卡尔组合有许多相似性质,从而在理论上说明了Fuzzy有限状态机与笛卡尔组合的等价性.     

有限状态机建模在嵌入式按键设计中的应用

为了使嵌入式软件代码更加可靠,增强程序的可维护性,将有限状态机理论应用于嵌入式设计中。论述了有限状态机的基本结构和它的基本原理,介绍了有限状态机建模在嵌入式系统中实际应用现状。针对一种实际按键模块的需要,利用有限状态机的嵌入式设计建立了系统模型。采用状态机实现方法编写了按键接口程序,实现了2个按键的状态机模型设计。系统的调试结果验证了模型的正确性和可靠性,具有一定的工程价值。     

有限状态机的VHDL设计

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

基于VHDL的有限状态机设计

以同步模4可逆计数器的VHDL语言设计为例,介绍了VHDL和有限状态机的特点以及基于VHDL的有限状态机设计的方法和过程。     

办公自动化系统中状态机工作流模型的设计和实现

根据有限状态机的基本原理,以一个办公自动化系统中的假期审批流程为例,来描述办公自动化系统中状态机工作流模型的设计和实现。     

有限状态机实现数字滤波问题的研究

用有限状态机实现数字滤波是数字滤波器设计的一种新方法,它消除了其他设计方法中普遍存在的有限字长效应问题,因而具有很好的稳定性。本文研究了用有限状态机实现数字滤波系统中的系统稳定性、系统的表达、硬件实现以及软件设计等问题。     

Fuzzy有限状态机之半群

利用代数手段讨论Fuzzy有限状态机的同余问题,由Fuzzy变换半群的关系,得到了Fuzzy有限状态机中的两种同余关系和相关结果。     

Moore型和Mealy型有限状态机的VHDL设计

从输出时序上看,Moore型状态机属于异步输出状态机,Mealy型状态机属于同步输出状态机。Moore型有限状态机的输出仅为当前状态的函数,这类状态机在输入发生变化后再等待时钟的到来,时钟使状态发生变化时才导致输出的变化;Mealy型有限状态机的输出是当前状态和所有输入信号的函数,它的输出在输入变化后立即发生。从状态机的工作时序图上当然很容易区分出是哪一种状态机,但是对于初学者并不能很容易从VHDL代码上判断,本文的目的就是从VHDL代码和工作时序对这两类状态机进行区分。只有清楚了这两类状态机在VHDL代码上的特点才能够设计出相应的状态机。     

有限状态机的设计与优化

在数字系统中,状态机的设计对系统的可靠性、稳定性具有决定性的作用,因此,基于超高速集成电路硬件的有限状态机的设计和优化是完成数字系统设计的重要环节.状态机通常分为米勒型和摩尔型,给出状态机的超高速集成电路硬件描述,讨论状态机的速度优化,并提出一种容错设计方法.     

有限状态机（FSM）的实现

本文主要介绍了IP模块的有限状态机（FSM）的实现。详细说明了有限状态机的状态变迁图和状态机的流程图。同时解释了描述状态／事件／动作／规则的类。     

EFSM模型中测试序列的产生方法

在一个以扩展的有限状态机(EFSM)为模型描述的协议测试系统中,测试实例产生的方法非常重要。介绍了EFSM模型中E-UIO序列的产生方法。     

有限状态机的状态化简方法及其Verilog实现研究

本文提出了一种新的有限状态机的状态划简方法。该方法是通过列表法判断出等价状态进而合并,以达到简化状态转移表的目的。该方法可以节省硬件资源,提高状态机效率。具体实例表明该方法简洁、高效,对所有状态机化简均适用。     

双状态机在LDPC码译码实现中的应用

FSM（Finite State Machine,有限状态机）的核心功能是能描述一系列具有逻辑顺序的事件,并能有效管理各个事件执行的步骤,它是一种较为特殊的时序电路。本文分析了LDPC码译码器的主控程序的结构,结合有限状态机的设计思想,采用了两个状态机交替工作的机制,在FPGA上实现了译码器的主控模块,使初始信息存储模块、校验消息处理模块、变量消息处理模块、累加模块及校验模块有序工作,实现了模块间的无缝链接,使译码器工作稳定可靠。     

FSM与方法序列在面向对象的测试中的应用

在UML状态图的基础上，利用有限转状态机理论分析类状态，消除UML状态图中的子状态，将UML状态图转化成为一般有限转状态机，然后应用方法序列规范生成测试的方法序列．测试了类的方法与类状态之间的转换关系，保证测试的完整性．     

状态机在远程抄表终端的应用

分析了GPRS远程抄表终端的功能设计,把应用于硬件时序电路的有限状态机,引入到终端的嵌入式软件设计中,以减轻嵌入式软件开发人员的工作负担,同时提高软件的可读性,增强软件的可维护性和可扩充性.以远程终端的状态机设计为例,深入研究如何在开发嵌入式软件时,应用有限状态机处理嵌入式系统中并发的多个任务.     

元程序设计方法实现的状态机复合者

针对工作流系统在面向过程和面向功能方面的多变性，本文根据组件系统在面向功能方面的灵活性和有限状态机作为一种形式化方法能够清晰描述工作流过程的特点，提出了基于元程序设计方法的状态机复合者。我们采用了元层次体系结构，引入活动组件，给出了状态机和动作组件元模型以及状态机复合者的形式化描述，从而显著的提高了工作流系统的可适配性，提出了一种可行的通过元对象对程序进行配置的结构化程序设计方法。     

PCI总线接口控制器的FPGA设计

研究有限状态机与PCI总线接口控制器的设计问题.在分析PCI总线接口控制器基本功能的基础上,给出其顶层设计.根据PCI总线操作时序,提出了从设备接口控制器的有限状态机模型.同时结合Altera FLEX10K的FPGA器件,采用Verilog硬件描述语言,描述该总线控制器的基本操作,并完成功能仿真与综合,实现了PCI总线控制器的FPGA设计,说明该有限状态机具有结构清晰、易于维护的特点.     

关于有限状态机最小化理论的一个注记

对有限状态机的最小化理论进行了研究,提出了原机器M与其最小机器M′之间还存在一种更近的关系,即同余关系.为机器M与M′构造相关的代数系统,证明了二者之间存在同余关系.阐述了同余关系对系统描述的意义,为应用有限状态机简化复杂过程提供了进一步的理论依据.