基于有限状态机的多阶段网络攻击方法研究

提出了针对多阶段攻击分析的多阶段有限状态机模型,用于分析复杂的攻击行为。通过M-FSM模型能够对攻击的步骤和路径进行综合分析,从而发现网络中存在的安全漏洞和不当的安全配置。在对多阶段攻击进行综合分析的基础上,系统管理员可以以最小的投入对系统进行加固。     

变拓扑六重四面体机器人步态规划与仿真

变拓扑多面体机器人是一个多闭链多耦合的连杆机构,现有的变拓扑多面体机器人的步态规划仅仅是根据几何关系来计算,没有考虑运动方向改变和实时计算连杆变化量的复杂性。针对上述问题,提出将变拓扑六重四面体机器人的步态规划与中枢模式发生器(central patten generator,CPG)相结合,其运动方向由有限状态机确定,即确定连杆运动的次序;而CPG网络产生的信号直接驱动变拓扑六重四面体机器人的连杆运动。利用ADAMS进行仿真,实验结果表明利用算法变拓扑六重四面体机器人能根据CPG输出的信号实现翻滚运动。     

一种仿人机器人斜坡运动步态规划方法

以SCUT-Ⅰ仿人机器人步态运动为对象,提出了由斜坡运动步长、步行周期等参数控制的斜坡运动模式,并基于倒立摆模型对斜坡运动过程中仿人机器人的髋关节和摆动腿踝关节的轨迹进行规划,从而得到斜坡运动的轨迹;最后,根据SCUT-Ⅰ仿人机器人模型参数,在Matlab 6.5中建立机器人的模型,对机器人斜坡运动进行仿真实验,验证了该规划方法的有效性及稳定性.     

基于VHDL的有限状态机设计

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

有限状态机的VHDL设计

介绍了用VHDL的有限状态机设计方法,该设计不需要进行复杂的状态化简、状态分配、状态编码,输出和激励函数,也不需要画原理图,通过EDA工具就可以完成所有的工作,同时以一个波形发生器的实例设计,说明了设计的特点和优越性,通过仿真波形验证了设计的正确性,实现了基于VHDL的有限状态机现代数字系统设计。     

基于模型的有限状态机软件动态测试方法

介绍了一种基于模型的软件动态测试方法，该方法通过将被测程序抽象成有限状态机，将测试程序及测试用例的编写集中到单个状态上。在软件结构或逻辑发生改变时，能够通过对旧状态测试程序的重新组合进行新的测试。无需大量修改测试程序从而保存了先前的测试用例。     

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

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

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

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

基于Petri网模型控制的步行机器人的自由步态

为解决步行机器人在复杂环境下的运动问题 ,根据步行运动的特点 ,提出了单腿运动的 Petri网控制模型 ,又以5足步行机为例 ,建立了与其腿数相对应的多腿协调控制模型 ,并制定了相应的控制策略。在此基础上 ,重新提出了有关步行机器人自由步态的有关概念及其运动规划算法 ,定义了保持静稳定行走状态的运动条件和判断方法。最后对 5足步行机在平面不连续落足区内的跨沟运动进行了仿真。仿真结果表明 ,提出的运动控制模型和自由步态能够自动适应运动环境 ,实现离散地形下的步行运动     

机器人程序设计中的状态转换方法

为了解决不同应用中机器人的控制程序设计问题,提出了基于状态转换的机器人程序设计方法.通过对有限状态机理论的回顾和引申,对应于机器人的动作变化,给出了基于状态转换方法的半自动X射线晶体角分类机的分类机械手、简易智能车机器人和协调工作的多机械手的状态转换设计实例;结果表明了该方法的可行性和有效性.这种方法可以使机器人的程序设计思路变得简单明了,减轻了设计者的工作强度,易于机器人控制程序的编制.     

基于机器学习与视觉的四足机器人步态精确监测方法

为保证四足机器人在复杂地形中能准确行进,对其步态实时监测方法进行了研究,提出一种基于机器学习和双目视觉的步态精确监测方法。首先为降低视觉残影误差,从已知步态轨迹“动中取静”确定对足端的最佳观测点位。此外,为补偿视觉系统误差所致足端位姿测量误差,提出一种基于深度神经网络的足端位姿精确预测方法。最后仿真结果表明所设计神经网络有99.68%的概率能达到0.025 mm足端位置预测精度,可满足实时、高精度监测要求。此方法将机器学习的泛化能力与视觉系统复杂误差来源相结合,使视觉方法实现了高精度测量,为足式机器人步态实时精确监测提供了新思路,进而为其足端精确定位及步态周期性保持提供了有益的方法参考。     

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

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

基于有限状态机的预期功能安全危害识别方法

针对自动驾驶系统危害与场景不可分割的特点,提出了一种基于有限状态机模型（FSM）的整车级预期功能安全危害识别方法。首先,明确危害事件组成要素;其次,将自动驾驶系统抽象为有限状态机模型以明确车辆状态和运行环境;最后,通过识别车辆状态与运行环境的冲突情况,系统性识别自动驾驶系统预期功能安全危害事件,减少对专家知识的依赖。为验证所提出方法的有效性,在某SAE L3级自动驾驶汽车上应用了该方法进行危害识别。结果表明,相较于系统理论过程分析（STPA）方法,有限状态机模型包含更加详细且系统化的环境信息,且由有限状态机模型直接输出危害事件要素,提高了危害识别的系统性。     

Fuzzy有限状态机之半群

利用代数手段讨论Fuzzy有限状态机的同余问题,由Fuzzy变换半群的关系,得到了Fuzzy有限状态机中的两种同余关系和相关结果。     

基于扩展有限状态机和断言的总线接口协议测试平台

在SoC设计流程中，传统的仿真验证方法存在可观察及可控制性较差、自动化水平低等缺陷．为此，提出了一种基于扩展有限状态机（EFSM）和断言的SoC接口协议测试平台，该平台是一种自反馈测试平台，它不仅可以自动产生大量符合协议规范的测试激励矢量，而且可以通过对断言统计信息的反馈提供多种偏置选择，从而进一步提高验证的自动化水平．将该平台用于对视频后处理芯片中Wishbone总线接口协议的功能验证当中，验证结果表明，该平台可以缩短仿真验证时间大约55％～65％左右，有效地提高了验证的效率和质量．     

基于状态机的汽车电动滑移门控制逻辑分析

以某特定车型作为研究分析对象,开展电动滑移门操控和系统响应测试,总结归纳了电动滑移门系统在操作触发下的动作响应。将电动滑移门运动状态划分为:完全关闭、完全开启、开门运动、关门运动和运动停止五种状态,基于有限状态机建立电动滑移门各状态间的逻辑关系和状态迁移引发事件、条件,搭建电动滑移门控制逻辑有限状态机模型仿真环境。通过比较控制逻辑仿真和测试试验结果表明,基于有限状态机建立的控制逻辑模型与实车电动滑移门系统测试试验结果相一致,可正确反映电动滑移门在实际使用中的操控逻辑和响应。     

一种基于状态机的毛刺信号滤波方法

提出并实践了一种状态机的实时滤波方法,并成功应用于某军用车辆速度检测. 该方法以CPLD(FPGA)作为硬件,在高频时钟驱动下检测信号中瞬态脉冲宽度,滤除宽度短的脉冲,输出宽脉冲,从而实现脉冲干扰滤波功能. 阐述了该方法的原理和状态机实现方法,分析了该方法的滤波特性,并通过仿真计算其在方波毛刺信号上的应用,论证了该方法的可行性以及滤波宽度变化对该方法精度的影响.