有限状态机

摘要： 为了研制基于低功耗的ARM硬件架构的嵌入式系统的103协议主站通信控制器,需对原有103通信程序作结构化、精简化移植改造。将有限状态机(FSM)模型引入规约状态管理中。从有限状态机模型的定义出发,讨论了状态、转移函数及事件集合等概念和在规约实现中的具体应用。提出了采用状态搜索树来扩展FSM的行为方式,为提高主站的响应速度奠定基础。提出了分步式轮询应答及采用历史状态响应中断操作的实现方式,进一步提高了主站的响应速度,解决了以往通信程序采集模型周期长、状态管理困难等问题。

摘要： 随着电网规模不断扩大,在电网倒闸操作中,网络化下令逐渐取代原有的调度电话下令模式。网络化下令具备清晰高效的特点,但同时对于安全校核的要求也更高。基于有限状态机的电网倒闸操作网络化下令安全校核研究严格遵守状态转移函数,具有强逻辑,在提高电网倒闸操作效率的同时,能够保证电网安全、稳定运行。

摘要： 鉴于MVB(多功能车辆总线)网络在轨道交通列车上的广泛应用,选取网络效率、网络利用率和网络吞吐量等表征MVB网络动态性能的关键评价指标,基于Stateflow有限状态机工具箱构建模块化MVB网络模型,并利用该模型分析了数据长度、设备数量、传输介质等因素对MVB网络动态性能的影响。

摘要： 在电网调度运行的实际生产中,需要明确电力设备的初始状态,防止发生恶性误操作事件。当前,设备状态由D5000系统采集或调度电话直接联系场站核对,存在一定的不准确性。文章阐述了基于有限状态机的电网设备状态库,其严格遵守状态转移函数,具有强逻辑,且可以与D5000系统的量测设备库进行实时校核,为设备状态的量测提高了冗余性,提高了安徽电网的安全水平。

摘要： 针对输电线路巡检机器人自主越障运动控制复杂、越障效率低等问题,以一款五臂式巡检机器人为例,通过规划与分析机器人越障动作序列,基于有限状态机理论,提出一种机器人自主越障运动控制方法。通过建立以传感器检测信息为迁移条件的越障运动控制模型,对机器人自主越障运动进行控制;将机器人置于线路环境进行巡检实验。结果表明:该机器人能自主识别并稳定、高效地跨越线路障碍,完成巡检任务,验证了机器人系统的合理性及自主越障运动控制方法的可行性。

摘要： 针对无人水下航行器(UUV)集群围捕策略问题,提出了一种基于有限状态机的UUV集群围捕策略。首先根据UUV的运动学模型建立了一种基于阿波罗尼斯圆的UUV集群围捕模型,针对UUV集群是否对目标UUV形成包围圈进行讨论,对目标的逃逸策略进行了设计。综合上述研究,提出了基于有限状态机的UUV集群围捕策略,根据目标UUV所处的状态,设计各围捕者的状态转移规则,并通过仿真验证了围捕策略的有效性。仿真结果表明,设计的UUV集群围捕策略可应用于无人水下航行器的围捕任务。

摘要： 针对动态配置技术提供灵活方便配置方式的同时有潜在配置错误风险、可能导致系统崩溃、降低软件服务质量的问题,提出了一种基于有限状态机的分布式框架动态配置属性校验方法.该方法利用数据类型间的转换进行数据类型校验,运用有限状态机的状态转换逻辑实现多种数据类型之间的转换,并以Spring Cloud的动态配置为例实现了一个分布式框架配置校验器.为避免不必要的文件读写,改进了Java compiler,使动态编译所得字节码的加载在内存中进行.基于Spring Cloud Config框架对配置校验功能进行测试,设计了原始数据类型和包装数据类型配置错误的测试用例.结果表明,该方法可检测简单数据类型不匹配、数据溢出、容器类型未闭合、容器类型内数据类型错误、容器类型嵌套错误等错误类型,提供了一种比较清晰的配置属性校验逻辑,基于有限状态机的实现解耦了代码,为实现框架配置管理的校验功能提供了参考.

摘要： 内运车是用于港口内部货物转运的车辆。如果在转运过程中缺乏监管,很容易造成偷货(将A货主的货转移至B货主堆位)、漏货(货物转运未经过计量设备)等行为,给港口带来严重的损失。为了有效杜绝这类情况的发生,提出轨迹真实状态序列提取方法并设计自适应有限状态机(Adaptive Finite State Machine,AFSM)对内运车作业是否产生异常意图进行判断。实验采用重庆市某港口内运车辆一个月(7547趟)的真实轨迹数据,结果表明轨迹真实状态序列提取方法能有效提取内运车作业轨迹的真实状态,使用AFSM进行轨迹异常检测的精度高达95%~96%。

摘要： 为解决施工过程安全信息的虚实交互难题,降低施工过程安全风险,提出施工过程安全数字孪生模型。建立施工过程安全语义本体,分析施工过程安全关键知识要素;定义施工过程安全数字孪生五维模型,明确模型的构成和功能,基于物联网和有限状态机构建施工过程安全监控方法,并以塔吊顶升活动安全监控为例进行应用。研究结果表明:该模型能够实现塔吊顶升施工过程安全的数字化表达、参数化监测和自动化控制。

摘要： 飞机柔性工装受温度、工件状态、装配工艺等因素影响,常处于时变状态,其孪生模型动态信息量大,建模复杂。提出了一种基于有限状态机的工装数字孪生几何模型建模方法,通过实时数据采集与预处理、定义状态及其转移机制、参数化几何实体建模实现了实物工装在数字空间的动态映射,为基于数字孪生模型的虚拟仿真奠定基础。以翼身对接试验平台为对象,建立对接调姿机构的数字孪生几何模型,验证了该方法的有效性。

摘要： 为匹配制动过程中前后管路的压力,根据感载阀的结构和工作原理分析了输出压力动态特性.对制动过程中可能出现的工作模式进行了分析与分类,基于其转换逻辑和反馈控制的复杂性,提出了感载阀的有限状态机建模方法.以某系列车型为研究对象,应用Stateflow软件,对制动系统与悬架系统耦合模型进行仿真,计算感载阀的动态特性.仿真结果表明应用该模型的数值解与解析解一致,样车试验表明制动压力计算结果与测试数据吻合较好,该模型可以用于同类制动系统的设计与匹配.

摘要： 为因应人机交互过程的复杂性这一制约数字样机交互可视分析的瓶颈问题,提出数字样机交互可视分析一般框架,并对数字样机交互可视分析进行需求分析,提出数字样机交互可视分析的有限状态机模型,以期通过有限状态机的状态转换对数字样机可视分析的人机交互过程形成规范,从而提高数字样机交互可视分析的效率,并进而指导高效数字样机交互可视分析系统的构建.通过设计、开发一个数字样机交互可视分析样例系统验证了所提出的数字样机交互可视分析有限状态机模型的有效性.

摘要： 针对目前行人航位推算(Pedestrian Dead Reckoning,PDR)技术中各种步长模型的精度与普适性问题.根据人在正常行走模式下行走的步长大致相同,本文利用室外手机伪距差分原理与有限状态机(Finite State Machine,FSM)进行步长推算并将推算出的步长应用于室内PDR技术.本文结果表明基于全球卫星导航系统(Global Navigation Satellite System,GNSS)伪距差分方法的PDR步长估计模型较线性步长估计模型步长精度提高约30％～50％,较非线性步长模型步长精度提高约20％～40％;该方法能有效提高PDR定位精度,其平均误差较非线性模型提高了19.87％,标准差较非线性模型提高了42.25％;该方法具有普适性,不受身高性别影响.

摘要： 本文介绍了使用西门子PLC S7-1200作为模温机的集中控制器,为了提高RS-485多从站轮询的稳定性,提出基于状态机的程序设计方法,并从软件及硬件方面给出详细介绍.

摘要： 为了实现阵列天线波束高效控制和系统小型化,多轴微型直流伺服系统达到高速、并行控制,本文根据NiosⅡ处理器的Avalon总线规范,利用Verilog硬件描述语言,设计了一种基于现场可编程逻辑门阵列(FPGA)的微型直流电机控制器IP 核.该控制器采用了有限状态机的方法,分多模块实现硬件控制功能.针对微型直流电机特性,采用了PID算法、分段控制及启停监测等控制策略.最后利用软件QuartusⅡ及DE0开发板进行了仿真和实验验证,实验表明,该控制器具有响应速度快、定位精度高、可靠性高、体积小等特点,可以可靠地对各路微型直流电机进行独立控制,且控制性能良好,能够实现天线单元快速、准确的相位控制.

摘要： 为了确保道岔在冬季冰雪天气下能正常转换,并降低融雪设备能耗,提出了一种基于有限状态机的有轨电车道岔融雪控制算法.该算法在道岔自动融雪过程中融合了多种传感器信息,准确地实现自主融雪,采用有限状态机通过事件触发切换道岔融雪设备的工作状态,实现了道岔融雪设备的多功能,满足用户的全面需求.试验表明,该算法能够根据外界雨雪天气的变化,自主实现道岔融雪,并能够灵活地在各种工作状态下切换,实现了融雪设备的多样功能.

摘要： 随着嵌入式软件的可信验证在军事、航空航天、通信等领域研究的深入,如何可信验证成为了目前国内外的研究主要方向之一.本文采用基于有限状态机的正则表达式迁移覆盖测试验证方法,将测试过程分为转化处理、测试划分、验证几个阶段,确保从测试用例上对FSM中每个迁移至少覆盖一次的策略,进而对测试对象的全局变量,并发状态进行测试.验证表明在保证系统状态迁移覆盖的前提下,系统死机、重启、程序异常执行等故障是常出现的几类,经过验证数据得出故障出现率达到30％,经分析,故障问题的引发是由于逻辑设计不完备留下的缺陷,本方法针对测试验证方面具有一定的普适性,为今后相关软件方面的验证提供一个评价方法。

摘要： 自1998年互联网工程任务组(IETF)提出下一代互联网标准规范以来,IPv6已经历了十多年的发展.现今已有越来越多的IPv6产品被投入到了开发与应用中.而如何提高不同产品间的互通性和可靠性则成为了一个关键问题.进行协议一致性测试是提高IPv6实现可靠性的一种有效方式.本文就重点针对IPv6邻居发现协议进行了一致性测试分析.本文首先简要分析了IPv6邻居发现协议的主要功能及实现原理,并据此抽象出其有限状态机(FSM)模型.进而结合一种现有基于有限状态机(FSM)的一致性测试序列改进算法生成了该协议的抽象测试序列.本文在最后对得到的测试序列进行了有效性和可靠性分析,分析表明,使用该算法得到的测试序列不仅在序列长度上较传统UIO序列法有了明显的缩短,同时对测试过程中可能发生的输出错误及末状态转换错误也具备良好的检测能力.本文获得的抽象测试序列可对相关IPv6协议开发者提供有效参考.

摘要： 任何一个企业都不断的寻求通过信息系统来提升企业的管理效率,传统的信息化已不能很好的支持企业的多流程处理.因此在管道完整性管理系统中提出了基于J2EE的技术的工作流管理方法.本系统工作流管理采用有限状态机模型,有限状态机(FSM)又称为有限状态自动机或简称状态机,是表示有限个状态以及这些状态之间的转移和动作等行为的数学模型.通过梳理规范整理了管道日常管理中的工作流程,并且结合J2EE的可将后台程序和前台展现分离技术,将流程集成到管道完整性管理系统,从而使流程管理在中国石油管道管理中得到了良好应用.

摘要： 针对卫星网络拓扑变化高动态、传输长时延和星上处理能力有限等特点,一系列专门的卫星网络路由算法被相继提出.首先给出了一种典型的卫星网络架构并指出其对路由算法设计的影响;然后对卫星网络路由算法进行分类,重点分析了各分类中代表性路由算法的核心思想、技术特点,并对虚拟拓扑和虚拟节点两类路由策略的关键特征进行了对比;最后基于卫星应用新需求,给出了卫星网络路由算法未来的研究重点,供后续研究参考.

摘要： 本发明公开了一种有限状态机的控制方法及有限状态机，属于计算机应用技术领域，包括根据状态机每个状态的名字和内存地址，创建状态机的每个状态，该状态包括两个父状态和一个final状态，每个父状态各包括三个子状态；状态机当前的状态执行完毕后经postEvent函数指定要跳转的下个状态，其中postEvent函数的第一个参数为要跳转到的下个状态的名字、第二参数为要传递给下个状态的参数；父状态或StateMachine根据下个状态的名字从注册过的状态列表中查找到对应的内存地址，并执行该下个状态的接口函数，每个子状态都有3个执行函数，分别是onEntry,handleTimeout,onExit函数。本发明采用简单的语言提供了丰富的状态机功能，可移植性强。

摘要： 本发明公开了基于三状态变量有限状态机的核DCS回溯方法，包括以下步骤：S1：在核安全级系统经典有限状态机的基础上建立记忆态变量模块；所述记忆态变量模块用于存储记忆态变量；所述记忆态变量为有限状态机在现态之前状态的变量；S2：在核安全级系统进行回溯时，将所述记忆态变量赋值于所述有限状态机的现态变量后根据有限状态机的现态进行回溯。本发明还公开了基于三状态变量有限状态机的核DCS回溯系统。本发明基于三状态变量有限状态机的核DCS回溯方法及系统，能够有效的实现对重复迁移路径应用的化简，实现核安全级系统进行状态回溯时，可以快速进行回退和回放操作，并在核安全级DCS中使用时效果良好。

摘要： 本发明提出了一种开关电容谐振变换器状态轨迹控制及有限状态机实现方法，其特征在于，包括：第一个开关管g1漏极连接到变换器输入电压Vin正极，第一个开关管g1源极分别连接到第二个开关管g2漏极和谐振电感Lr一端，谐振电感Lr的另一端连接到谐振电容Cr的一端，第二个开关管g2源极分别连接到第三个开关管g3漏极、输出电容Cout的一端和负载R的一端，第三个开关管g3源极分别连接到第四个开关管g4漏极和谐振电容Cr的另一端；第四个开关管g4源极分别连接到变换器输入电压Vin负极、输出电容Cout的另一端和负载R的另一端。本发明能使其输出电压跟踪参考值的同时，保证开关器件的驱动时序具有移相特性；且本发明利用的状态轨迹控制方法，通过检测谐振电流、输出电压、谐振电容电压，能实现变换器快速、无超调的动态响应，且具有抗扰动性强的特点。

摘要： 本发明涉及电子设计技术领域，具体涉及一种基于有限状态机的状态变化提取方法及系统，该方法包括：获取所有过程块的输入参数和输出参数；遍历所有过程块，根据是否包含上升沿信号或下降沿信号将过程块分为边沿触发的第一类过程块和非边沿触发的第二类过程块；根据每个过程块的输入参数和输出参数获取过程块的有向图数据，检测过程块的有向图数据，获取包括一个第一类过程块的过程块环路；根据每个过程块环路中所有过程块输入参数和输出参数的交集，获取状态参数；基于过程块环路，遍历包含状态参数的每个过程块，提取状态变化，相对于人工提取和记录的方式，不仅提高工作效率，而且解决了遗漏或错记状态变化的问题，提高提取状态变化的准确性。

摘要： 本发明涉及机器人的有限状态机的建立方法、有限状态机和机器人，该建立方法包括：将每种机器人状态分别划分为规划进入阶段、实际进入阶段、状态持续阶段以及状态结束与跳转阶段；其中，加速相和减速相各自的规划进入阶段与对应的实际进入阶段分别相重合；对机器人在加速相、腾空相和减速相中各个不同阶段之间进行的状态切换进行检测，得到对应的状态检测结果；根据状态检测结果，更新机器人对应的状态信息；根据更新后的状态信息，控制机器人在加速相、腾空相和减速相中各个不同的阶段进行切换以控制机器人进行连续跳跃。上述机器人的有限状态机的建立方法，大大提高了机器人连续跳跃的稳定性。

摘要： 本发明公开了一种有限状态机的控制方法及有限状态机，属于计算机应用技术领域，包括根据状态机每个状态的名字和内存地址，创建状态机的每个状态，该状态包括两个父状态和一个final状态，每个父状态各包括三个子状态；状态机当前的状态执行完毕后经postEvent函数指定要跳转的下个状态，其中postEvent函数的第一个参数为要跳转到的下个状态的名字、第二参数为要传递给下个状态的参数；父状态或StateMachine根据下个状态的名字从注册过的状态列表中查找到对应的内存地址，并执行该下个状态的接口函数，每个子状态都有3个执行函数，分别是onEntry,handleTimeout,onExit函数。本发明采用简单的语言提供了丰富的状态机功能，可移植性强。

摘要： 本发明公开了用于露天矿区无人车的多层有限状态机、状态机切换方法，有限状态机包括任务规划层、行为决策层和运动控制层；所述任务规划层，用于根据矿区生产作业流程和作业规范预先制定无人车的任务文件和轨迹文件所述行为决策层，用于按照所述任务文件和轨迹文件自动控制无人车在无人驾驶模式下的动作行为决策；所述运动控制层，用于根据控制指令执行或停止所述行为决策层下无人车的状态切换动作。本发明的多层有限状态机跳转状态易于维护且作业逻辑清晰，容易进行状态及状态层的增删，具有良好的可维护性、扩展性以及复用性，适用于矿区非结构道路的无人车驾驶，提高了矿区作业自动化程度以及运输效率，杜绝人员安全风险。

摘要： 本发明公开了一种基于有限状态机的多状态图符显示方法、电子设备及存储介质，所述方法包括：选取TIDAS运控系统中的任一信号设备，将其有限个状态抽象化，并解析为一有限状态机；分析所述信号设备的若干个输出状态的外观，分别保存为若干个二进制数据文件，若干个所述二进制数据文件构成了所述信号设备多状态图符的若干个设备状态图；针对所述TIDAS运控系统中特定的设备，构造包含不同设备类型的多状图符库，本发明实现了对异常输出状态的过滤，提高了图形文件加载性能，大大提高了数据的维护迭代效率，增强了TIDAS运控系统人机界面的可视化，增强了组态软件系统界面显示的灵活性与多样性，提高了运营人员工作效率。

摘要： 本发明涉及电子设计技术领域，具体涉及一种基于有限状态机的状态变化提取方法及系统，该方法包括：获取所有过程块的输入参数和输出参数；遍历所有过程块，根据是否包含上升沿信号或下降沿信号将过程块分为边沿触发的第一类过程块和非边沿触发的第二类过程块；根据每个过程块的输入参数和输出参数获取过程块的有向图数据，检测过程块的有向图数据，获取包括一个第一类过程块的过程块环路；根据每个过程块环路中所有过程块输入参数和输出参数的交集，获取状态参数；基于过程块环路，遍历包含状态参数的每个过程块，提取状态变化，相对于人工提取和记录的方式，不仅提高工作效率，而且解决了遗漏或错记状态变化的问题，提高提取状态变化的准确性。

摘要： 本公开提供一种存储有限状态机状态数据的方法、系统及计算机程序产品，用以记录来自计算机系统上的电源系统控制装置的状态数据。计算机系统包含电源系统，电源系统对计算机系统供电。电源系统具有上电时序，上电时序具有多个阶段。电源系统控制装置耦接至电源系统。电源系统控制装置包含有限状态机电路，有限状态机电路具有对应于上电时序的多个阶段的多个状态。控制装置亦具有写入控制器、存储缓冲器及通信接口。写入控制器将有限状态机电路的状态数据写入至存储缓冲器。外部控制器耦接至通信接口，并可操作以存储状态数据。