OSPF路由协议中邻居状态机的实现技术

本文从建立OSPF邻居状态机的数学模型出发,依据其实现原理,列出了邻居状态机的各个状态和事件,描绘了总的状态变迁图,并进一步对状态机的转换函数的实现做了优化处理,结合指针函数和二维数组等数据结构,根据OSPF邻居状态机机制,提出了实现的关键技术。     

工作流状态机中状态模式的应用

为设计一个方便且可扩展性强的工作流引擎，将设计模式的思想运用了到工作流状态机中。介绍了状态模式的基本概念，阐述了状态与流程之间的关系，探讨了其在工作流状态机中的应用，最后给出了一个工作流状态机实现的具体例子，为工作流系统中运行服务模块的设计提供了解决思路。     

基于Verilog和VHDL的状态机设计技术

对于数字逻辑工程师来说,设计一个同步有限状态机(FSM)是一项很常见的任务。该论文讨论了若干关于设计有限状态机方面的问题,包括用于状态分配的状态编码方法,状态机的输入输出等等。     

工作流状态机中状态模式的应用

为设计一个方便且可扩展性强的工作流引擎,将设计模式的思想运用了到工作流状态机中.介绍了状态模式的基本概念,阐述了状态与流程之间的关系,探讨了其在工作流状态机中的应用,最后给出了一个工作流状态机实现的具体例子,为工作流系统中运行服务模块的设计提供了解决思路.     

在硬件课程设计中引入QuartusⅡ 状态机编辑器的探索与实践

介绍有限状态机的主要特点,阐述用Quartus II状态机编辑器直接将状态迁移图或状态迁移表生成VHDL源代码,完成时序逻辑电路的设计,实现状态机的工程设计思想,探讨引入Quartus II状态机编辑器进行实验教学的一些改革设想与实践。     

基于状态机代码合成技术的状态测试数据生成

目前，基于状态机的测试多集中在测试序列的生成方法学上，然而状态机的特点决定了测试序列对测试数据具有相当的依赖性，即一个测试序列的执行受到其上测试数据的约束。该文提出了状态机代码合成的方法模拟状态机行为，将其转换为可执行规约并在此基础上使用遗传算法来生成状态机的测试数据，为解决状态机测试数据的生成提供了一种可行的方法。     

含自发事件的协议一致性测试例的生成

目前有许多基于有限状态机生成一致性测试序列的方法,但是这些方法还不能应用于含有自发事件的有限状态机。文中对UIO方法加以补充,使之适用于含自发事件的有状态机,并已将该方法应用于OSPF协议的一致性测试。     

基于有限状态机的自动售货机控制器

针对随着自动售货机控制器由简单不断地变得庞大,从而出现的难扩展、难维护问题,在传统的有限状态机理论基础上,提出一种层次型有限状态机（Hierarchical FSM,HFSM）模型。该模型对系统状态进行抽象,增加中间状态,并将复杂的系统状态图转化为一棵状态树,利用状态的局部相关性查找下一个目标状态。分析表明,该模型能有效地解决复杂系统的“庞大症”。     

用STATECAD快速设计有限状态机

有限状态机设计的关键是如何把一个实际的时序逻辑关系抽象成一个时序逻辑函数，传统的电路图输入法通过直接设计寄存器组来实现各个状态之间的转换，而用硬件描述语言来描述有限状态机，往往是通过充分发挥硬件描述语言的抽象建模能力，通过对系统在系统级或寄存器传输级进行描述来建立有限状态机。随着EDA工具的快速发展，通过CAD快速设计有限状态机自动化成为可能。     

BACnet应用层状态机在线测试研究

随着BACnet网络技术的应用发展，对BACnet网络设备协议一致性测试的要求也越来越强烈，本文在比较现有的协议一致性测试方法的基础上，给出了基于在线测试的BACnet协议测试方法，研究了BACnet应用层状态机的运行模式，并采用有限状态机模型对BACnet应用层状态机进行了分析，给出了相应的状态机状态判定方法和在线测试的软件结构。     

嵌入式软件中状态机的抽象与实现

文中提出了在嵌入式软件中把状态机作为一个独立模块从控制模块中抽象出来的思想，描述了抽象出来的状态机模块。并介绍了如何将这种状态机抽象模块应用到实际项目中。     

基于LPC2134和UCOSII的自动售货机状态机的研究与实现

由于售货机的功能不断增多,售货机控制系统也相应得不断变得庞大,这就使原来的面向过程的开发方法变得越来难以扩展和维护,根据自动状态机的理论,提出一种在售货机上的状态机模型,该模型对系统状态进行抽象和分离,建立了系统状态表和状态转换表,是一种网状的状态机模型。根据系统事件和当前状态来查找系统状态转换表,如果有匹配项,则进行状态转换。经过实验表明,该模型能解决系统的代码庞大问题,并且使系统开发变得易于维护。     

主从并行状态机用于复杂FPGA控制系统设计

本文提出了一种基于主从并行状态机的设计方法,用于多状态的复杂状态机设计,通过把该方法应用于一个实际系统设计说明了抽象出Master和Slave状态机的过程.该方法为大规模复杂FPGA逻辑和时序设计提供了方法学上的参考和简化.     

基于有限状态机的工控系统软件设计

通过分析工控系统的特性,提出采用状态机的思想进行工控软件设计.详细论述了高速状态机的错步问题以及控制层中状态机的状态划分问题.结合具体的应用实例,给出了基于状态机的实现方法.实验表明,采用状态机的设计方法有助于准确描述受控对象的行为,软件的健壮性和可靠性得到显著提高.     

基于遗传算法的低功耗有限状态机状态分配

提出一种通过状态分配来实现有限状态机的功耗和面积同时优化的方法．在分析现有成本函数的基础上，提出了一个新的成本函数，并利用遗传算法能进行多目标优化的能力来实现功耗和面积的同时优化．该算法用C语言实现，并对17个MCNC有限状态机标准电路进行测试．测试结果表明，与已有的功耗优化算法相比，文中算法在功耗和面积方面有一定的优势．     

有限状态机在中文文本分词中的应用

提出并实现一种有限状态机算法,该方法结合二分查找树算法将整个词典构造成一个有限状态机,从而使词典中的每个不同的汉字以不同弧权值的形式存在于有限状态机中.当要判断某个字符串是不是词时,只要从这个有限状态机的第一个状态结点依次进行查找即可.实验显示,通过这个有限状态机词典可以实现对字符串的快速查找.     

基于面向对象技术的自动状态机实现

首先讨论了通常所使用的面向过程的自动状态机（FSM）解决方法，然后提出了运用面向对象技术的状态图解决方案，并以此开发出电话语音查询系统。     

用STATECAD快速设计有限状态机

有限状态机设计的关键是如何把一个实际的时序逻辑关系抽象成一个时序逻辑函数,传统的电路图输入法通过直接设计寄存器组来实现各个状态之间的转换,而用硬件描述语言来描述有限状态机,往往是通过充分发挥硬件描述语言的抽象建模能力,通过对系统在系统级或寄存器传输级进行描述来建立有限状态机。随着EDA工具的快速发展,通过CAD快速设计有限状态机自动化成为可能。     

有限状态机原理在OA系统中的运用

研究办公自动化系统(OA)中工作流的设计思路和方法。阐述有限状态机的基本原理,以一个OA系统中的假期审批流程为例,来描述OA系统中状态机工作流模型的设计和实现。主要研究了OA系统中工作流的特点、有限状态机建模方法和实现策略。     

一种基于FSM的告警事件关联方法

对告警事件进行关联处理,去除冗余告警,是网络管理需要解决的一个关键问题。如果考虑事件间的时间关系,问题将变得更为复杂。因此,在充分考虑事件间的时间关系基础上,提出了一种基于有限状态机（FSM）的事件关联模型,并利用该模型设计了一个告警关联处理器,它能够正确地实现事件关联,有效减少冗余告警的发生。