有限状态机在嵌入式软件中的应用

简述了有限状态机的基本概念和传统理论,提出了利用有限状态机进行程序设计的基本思想,并结合实际应用给出了在大型复杂软件中的一种实现方法。     

不确定带权有限状态机的最小化问题

本文提出一个不完全确定带权有限状态机的状态最小化问题：找一个状态间权值最小的机器覆盖确定机。在详细讨论了与这一问题解决有关的概念基础上，借助于ｂｉｎａｔｅ覆盖问题，给出了它的两个分枝限界算法。     

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

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

基于有限状态机的呼叫中心平台设计

文章介绍了一种面向社区服务的呼叫中心平台,其核心模块是基于有限状态机设计而成,加入动作码的设计,具有流程控制简明清晰、运行平台稳定可靠的特点。在此基础上,给出了有限状态机的定义以及其在呼叫中心平台中的具体实现,设计一个VoiceXML解析器,并对队列管理器的工作原理以及VoiceXML的相关技术进行了分析介绍。     

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

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

有限状态机的无刷直流电机系统仿真分析

根据混杂系统建模思想,提出了一种采用有限状态机理论对无刷直流电机系统仿真分析的新方法.这种方法根据无刷直流电机主要控制电力开关管的导通和关断顺序以及开关管导通和关断时间的特点,将它的控制回路划分为不同的工作状态,并将这些工作状态组合成一个具体的有限状态机来实现.采用广泛使用的Simulink/Stateflow为仿真工具来实现对无刷直流电机的控制回路仿真.通过对三相无刷直流电机控制系统的仿真分析,论证了这种方法的正确性和有效性.     

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

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

基于有限状态机的智能车辆交叉口行为预测与控制

提出一种智能车辆交叉口行为预测与控制方法. 建立交叉口车辆行为预测的有限状态机(FSM)模型,对交叉口其他车辆的行为进行预测. 构建应用于智能车辆的混合状态系统,引入有限状态机模型,结合智能车辆交叉口安全条件运行规则,实现智能车辆离散状态分析及车辆控制. 运用PreScan和Simulink/Stateflow实现交叉口联合仿真. 结果表明,该方法可以使智能车辆安全地通过有其他车辆通行的交叉路口.      

几种有限状态机的设计方法及其比较

有限状机（finite statemachine,FSM）ff泛应用于数字系统的控制器设计中。由于设计方法不同,综合出来的电路结构、速度、面积和时延特性都会有很大的差别,甚至某些臃肿的电路还会产生难以预料的问题。文中介绍了状态机的结构、类型并给出了verilog设计有限状态机的不同编码和描述方法。最后介绍了将mealy机转化为高效Moore机的过程和编码方法,设计出一种高效状态机。     

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

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

基于Verilog HDL的有限状态机设计

介绍Verilog硬件描述语言(HDL)历史及其特点,有限状态机(FSM)广泛适用于设计数字系统的控制模块,包括组合逻辑和寄存器逻辑,设计的可综合状态机有多种编码风格,语言描述较为抽象,通过研究总结一般编写状态机的方法、步骤和设计要点来设计一个自动转换量程的频率计控制器并对之进行仿真。     

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

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

多输入变量的FSM设计方法研究

针对多输入变量的FSM设计中存在的一些问题,提出了一种基于ASM的多输入变量FSM的设计方法,该设计方法逻辑层次清晰,具有可操作性,并且通过一个数据采集系统控制器的设计具体介绍了该设计方法。     

实现随机空间电压矢量PWM的一种新策略

提出一种新的随机空间矢量PWM调制策略,通过FSM形成空间矢量PWM过程,实现有限状态之间的随机转换,从而对电压空间矢量进行随机调制.将此策略由两电平推广到三电平,发展了基于此策略的多电平随机空间矢量PWM方法.这种随机调制策略易与提高开关频率相结合,适合于数字实现.仿真和实验结果证明这种随机空间矢量PWM策略有效可行.     

教学游戏AIFSM实现策略研究

FSM是游戏中重要的人工智能实现的技术，具有简单，实用，求解能力强，具有计算额外开销小，并且能够与神经元网络，模糊逻辑混合使用的优点。文章以一个教学游戏为例，说明FSM的实现方法，展望了复杂系统的实现方法。     

有限状态机在开放式数控系统中的应用

为了克服传统编程模式开发的控制程序可移植性差、维护困难等缺点,研究了采用FSM开发CNC系统软件的方法.介绍了FSM的基本原理并提出了对复杂系统采用层级式FSM建模的方案;分析了开放式CNC系统的主要软件模块构成,并简要描述了主要软件模块的FSM行为模型;介绍了基于FSM的系统重构机理,使用FSM可以实现软件单元的功能定义和控制逻辑分离,提高系统重构的柔性;基于FSM的系统重构机理,研究了在系统中扩充自适应调节进给速度功能的方法.     

一种新的基于FSM的UIO序列生成算法

在一致性测试中,如何有效地生成UIO序列一直为人们所关注.针对此,提出一种新的基于FSM的UIO序列生成算法,进而由C语言编写实现.该思想采用栈和结构体相结合的思路来保存UIO序列的完整路径,实验结果表明能够正确生成FSM图中各个状态的最短UIO序列.     

垃圾邮件过滤研究与实现

系统以垃圾邮件过滤为目标,设计并实现了一个垃圾邮件过滤系统SpamBlocker.该系统整合规则过滤、贝叶斯分类、病毒检测和黑/白名单等垃圾邮件检测技术,采用评分方法判断邮件的垃圾性,并利用规则过滤给贝叶斯分类提供学习样本,提高了系统对新垃圾邮件的适应性.     

平面解析几何交互推理系统的设计与实现

采用传统的前向推理策略,结合平面解析几何的特点,设计了交互推理系统策略和模型,然后从系统的几个关键技术入手实现平面解析几何的交互推理系统的设计,再通过两个实际的应用实例验证该系统.系统将学生从复杂重复的计算解放到解题思路的思考.