基于分层有限状态自动机的一致性测试生成

为了进行分层有限状态自动机(HFSM)的一致性测试生成,提出了基于HFSM的状态同步序列算法和状态验证序列算法,并在此基础上提出了基于HFSM的一致性测试生成方法.以组播监听者发现(MLD)协议为例说明了该方法的应用.该方法虽然比传统的转化为有限状态自动机(FSM)描述再进行一致性测试生成的方法在适用性上有所降低,但是仍然能够满足大多数通信系统测试的需求,并且由于该方法利用了HFSM的分层特性,因此该方法生成的测试序列长度较短,执行的效率也较高.     

基于一种扩展分层有限状态机模型的测试生成

为了解决分层有限状态机(HFSM)中数据和约束的问题,对扩展分层有限状态机(E-HFSM)给出了定义对其特征进行了分析,对基于其上的模型所面临的测试问题进行了讨论.考虑了在测试中遇到的控制流和数据流问题,针对其中一种模型(父子EHFSM间不存在数据依赖关系),结合现有的方法工具给出了一种一致性测试生成方法.     

电网调度运行智能防误技术

构建基于电网拓扑的调度智能防误系统,基于拓扑图形生成申请票、操作票,实现检修申请票与调度指令逻辑互锁,并综合利用防误技术手段,有效提高调度系统综合防误水平。遵守IEC 61970标准,建立基于EMS平台的主配网合一的大电网拓扑结构,做到电网图形、拓扑、数据免维护。实现了主配网联合操作的一体化防误、安全提示。对电网的接线方式、运行方式、操作规则进行建模,形成了电网全仿真图形平台。     

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

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

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

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

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

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

有限状态机（FSM）的实现

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

基于分层式有限状态机和Petri网的航天器仿真器控制系统设计

本文针对一种航天器地面仿真器控制系统采用的主程序和硬件定时中断服务程序结合实现实时性的机制.利用分层式有限状态机理论对主程序和中断程序各自内部的任务状态转换关系进行分析.利用Petri网理论对主程序和中断程序的并发性任务和资源共享状况进行分析.结合两种理论各自擅长的建模分析技术,高效、清晰、完整的表示出了控制流程,为软件工程化设计中详细设计和代码实现提供了准确的模型.系统的实际应用结果证明了上述方法的有效性.     

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

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

基于VHDL的有限状态机设计

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

一种基于硬件描述语言的有限状态机描述

结合一个室内光线调节系统的设计,探讨应用VHDL对有限状态机进行模型描述、扩展的可能性,并进行系统仿真.     

基于飞渡电容技术和有限状态机的应急灯电池管理系统

设计了基于飞渡电容同步采样测量技术、有限状态机的LED应急灯电池管理系统,以满足突发状况时对LED应急灯电池管理系统的需求.给出了实现方法,通过实时数据采集网络,充、放电控制,系统低电压检测自关断保护机制,实现了对应急灯供电电池组的数据准确采集与应对,充、放电管理及保护功能.     

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

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

基于有限状态机的人机交互界面软件设计方法

本文基于嵌入式系统并运用模块化思想,设计了一种相对独立的通用化的工业分析仪表人机交互界面系统。程序设计基于事件目标驱动模型,以有限状态机的方式,在实时操作系统μC/OS-II中,用状态机把目标和事件联系起来,实现OA(Object-Action)行为模式完成人机交互的过程,开发出符合工业分析仪表应用要求的人机交互界面软件系统,并实现软件与硬件的低耦合性,提高代码的重用率,降低开发周期并提高软件设计的可靠性。     

配网调度图形化智能防误操作系统前景分析

配网调度图形化智能防误操作系统主要实现智能开票、资料的快速查找、防误校核等功能,是配网调度人员工作的理想助手。本文主要对配网调度图形化智能防误操作系统的前景进行分析。     

基于有限状态机的STM32系统按键识别方法

在按键识别的程序设计中引入有限状态机,将按键的动作过程划分为多个状态,根据按键动作触发按键状态的迁移,通过状态的转换确定按键动作模式,最终完成按键动作的识别。     

解决检修中机械类设备的防误闭锁问题

当前蓄能电厂应用的防误闭锁系统只涉及电气措施操作中,对于机械措施操作中存在的误入操作间隔、误开关阀门、误解除或投入与其它设备的闭锁等所带来的安全问题还是空白,针对电厂具有操作任务多、操作时间紧、操作频繁、闭锁设备地理位置分散、易混,需闭锁设备多而复杂的问题进行研究和开发。     

基于有限状态机理论的多节机器人运动步态分析

基于蚯蚓生物体运动原理研制了一种新型多节蠕动微小型机器人．机器人由5节铰链式结构组成，其外形直径约6．8mm，长度约110mm．介绍了该类机器人的机体构造和运动原理．在详细阐述有限状态机理论方法的基础上．建立了机器人的运动步态分析数学模型．并进行了单个行进波模式和任意行进波模式下改变机器人运动方向的机器人运动步态仿真分析．结果表明，该方法可用于分析该类机器人运动步态的可行性和所建立模型的正确性．从而为研究该类多节机器人系统的运动步态问题提供了理论依据．     

基于有限状态机的Morse码识别算法的VHDL实现

基于Morse码的基本原理,提出了一种基于有限状态机的Morse码自动识别算法.将电键拍发过程划分为6种状态,利用VHDL硬件描述语言的强大逻辑描述能力,给出了在MAX PlusⅡ开发软件环境下,设计识别Morse码的具体方法和仿真分析结果.算法能根据报务员发报时的码速确定Morse码的判别门限,大大提高了码字识别的准确率.