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

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

设计可综合状态机几种状态编码方式的比较

本文介绍了采用Verilog硬件描述语言设计有限状态机时几种常用的状态编码方式，并结合有限状态机的设计例子来比较各编码方式。     

一种事件驱动有限状态机的编程实现框架

在现代程序设计中,网络协议实现、游戏角色建模等很多复杂场景切换问题都可以用有限状态机来描述。本文将有限状态机概念与事件驱动模型结合,设计一种可复用的代码模板实现各状态转换的动态管理。该方法简洁高效,模块逻辑清晰,提高了系统的健壮性。     

基于Verilog的顺序状态逻辑FSM的设计与仿真

以顺序状态逻辑有限状态机的设计为例,简要介绍了用Verilog语言进行集成电路设计的一般过程,并在ModelSim和DC环境下成功地进行了仿真和综合。     

面向多级逻辑的低功耗有限状态机状态分配

状态分配在低功耗有限状态机设计中已经被证明是很有效的方法.该文针对有限状态机多级组合逻辑实现提出了一个新的成本函数,并利用整体退火遗传算法来进行状态码的搜索,通过减少电路的开关活动性和组合逻辑部分的面积来达到功耗的降低.对25个有限状态机标准测试电路进行面积和功耗的测试表明:与已发表的针对面积和功耗优化的算法相比,该文所提出的算法不但在功耗降低上具有较大的改进,在面积改善上也具有一定的优势.     

基于有限状态机的网络协议状态机制检测方法

进行网络稳定性测试时,对网络协议状态机制进行检测可以有效提高测试的全面性.基于有限状态机思想提出了一种协议状态机制检测方法.建立待测协议特定消息发送实体的有限状态机模型,确定输入集合;测试并监测实体的状态转移情况,生成状态转移图;根据状态转移图判定该消息的状态机制,确定有状态协议消息的触发条件,对消息进行归纳分类实现协议状态机制的判定.搭建实验环境,验证了该方法的有效性.     

用STATECAD快速设计有限状态机

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

一种新型容错有限状态机的设计研究

本文提出了一种新型容错有限状态机的设计方法.它利用通常的纠错码原理和借用最佳 接收中的最大似然判决准则与最大后验概率判决准则,使有限状态机的每一状态扩展成"状态 束".只要故障和干扰引起的错误状态不超出"状态束"的范围,有限状态机就不会产生状态转 换错误,降低了状态转换错误概率,提高了容错能力.文中举例简述了设计方法.     

有限状态机在模拟演练系统中的应用

在研究了有限状态机的基本原理和在游戏开发中的应用, 并结合应急模拟演练系统的实际需求, 通过在Delta3D引擎中实现一个有限状态机控制器组件解决系统角色状态控制的问题. 首先介绍了有限状态机的基本原理和Delta3D引擎架构的特点, 设计了一个有限状态机的例子并详细介绍了有限状态机控制器组件的总体结构、基本功能和具体实现方式.     

用STATECAD快速设计有限状态机

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

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

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

运用状态机提高嵌入式软件效率

有限状态机是根据当前状态以及触发条件进行状态转换的一种机制,包含一组状态集（state）、一个起始状态（start state）、一组输入符号集（alphabet）、一个映射输入符号和当前状态到下一状态的转换函数（transition function）的计算模型。当输入符号串时,模型随即进入起始状态。要让状态机改变到新的状态,依赖于系统的转换函     

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

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

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

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

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

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

有限状态机的方法描述与应用研究

随着设计系统结构的日益复杂,选择合理的设计方法与结构已成为软件设计中的关键技术。目前,在软件设计领域,有限状态机（FSM）的理论俨然已自成一体,经常用来描述一些复杂的算法,表明算法内部的状态结构,关注对象的执行顺序等。据此,本文以EDA和PLC这两种不同的支持平台为载体,对有限状态机方法的结构体系及应用进行研究。结果表明,FSM方法将控制过程分成有限个稳定状态,描述对象所经历的状态序列与转移,从而解决电子领域中诸多控制问题。且在不同的应用平台上,FSM方法的核心要素不变。     

层次状态机在嵌入式用户界面中的应用研究

介绍了层次状态机的概念及基本特点,讨论其在嵌入式系统用户界面软件设计中的应用方法,针对嵌入式系统高实时性能的要求,利用C语言实现了面向状态的层次之间的操作继承思想,即行为继承,在存储空间有限的嵌入式系统中构造层次状态,并以电子监控器录制功能的层次状态机描述为例加以说明.     

基于有限状态机的高速串口通信收发器的FPGA设计

针对在多任务操作系统环境下串口通信实时性和高速性受到影响的问题,提出一种基于有限状态机的高速串口通信收发器的FPGA实现方法。串口通信收发器由波特率发生器、发送模块、接收模块和控制与状态四个模块构成,波特率发生器使用锁相环对输入时钟进行倍频和分频;接收模块和发送模块分别使用一个四状态和两状态的有限状态机实现。仿真和实测结果表明,设计的FPGA串口收发器模块电路工作稳定,速度可以达到3 Mbit/s。由于FPGA的高度并行性和有限状态机的稳定性,使用有限状态机实现的FPGA高速串口通信收发器在工业应用中能保证高速串行通信的实时性和可靠性。     

有限状态机在动画角色行为中的建模应用

角色行为设计是动画设计的重要环节,也是动画设计的难点。文中提出使用有限状态机来指导动画的角色行为设计,并对有限状态机在动画中的角色行为设计应用作了比较全面的论述。阐述了有限状态机的数学模型,介绍了利用有限状态机建立动画角色行为模型的基本原理。以键盘打字动画中的角色行为设计为例详细介绍了有限状态机建模方法的应用。结果表明,通过使用有限状态机的方法来对动画角色行为建模,能够有效处理复杂的动画角色行为模型,并简化动画的设计。     

基于状态模式实现流媒体媒体订阅的状态转换

在计算机技术、网络技术高速发展的今天,随着电脑硬件的发展,多媒体应用已经进入千家万户,所以流媒体服务器的架构也成为当今IT研究者研究的热点.其中流媒体服务器的媒体订阅部分包含有大量的状态,如果按以前的IF-Else结构加Case结构编程的话,使得程序臃肿而庞大,整个工程难以维护.利用有限状态机来建模媒体订阅部分的状态,并用形式化验证工具UPPAAL验证模型的正确性,最后使用状态模式编码实现了媒体订阅的状态转换.这样不仅在设计层保证了系统的正确性,而且在实现层保证了易扩展性和可维护性.