简介：有限轶态机及其设计技术是实用数字系统设计中的重要组成部分，是实现高效率可靠逻辑控制的重要途径。

简介：利用有限状态机实现嵌入式Linux的按键驱动;使用有限状态机来实现按键的抬起状态,按键的消抖状态,按键确认状态,按键“连发”状态之间的互相转换,从而更有效地利用MCU。利用Linux内核定时器实现按键的去抖动过程,按键的＂连发状态＂的时间定时,解决了每个状态转换时的时间间隔问题。

简介：摘要：任务规划的合理性体现了机器人的智能化水平。本文介绍了有限状态机基本原理，利用状态、容器等组件通过组合嵌套构建了整个机器人工作状态机，设计状态转移关系，实现了机器人的任务规划。

简介：摘要随着计算机技术、互联网技术和单片机技术的兴起与发展，单片机控制对于实时性的要求日趋变高。本文基于在有限状态机的思想下，结合时间片轮巡法，介绍一种新的模块化编程思想，这种模式不仅能提高单片机处理的实时性，更能使模块之间相互独立，使得程序易于维护和更新。

简介：摘要现如今，随着嵌入式软件行业的发展，本文主要围绕有限状态机在嵌入式软件设计中的应用展开分析，以供相关人士的参考。

简介：基本上所有的软件都是有限状态机（finite-statemachine，FSM）。什么是FSM呢？它是一个有向图，由一组节点和一组相应的转移函数组成。通俗一点讲，它是一个事件驱动系统的模型，这个模型由有限数目的状态，若干输入和状态与状态之间转换的规则组成。在某一时刻，有一个或一组状态是FSM的当前状态，FSM接收输入事件并根据转换规则，将当前状态转为新的状态。正是由于这三个元素的组合，使得FSM具备了自己的行为特点。在游戏开发中，FSM被用来实现人工智能的决策过程，控制游戏对象的行为。

简介：RPR（ResilentPacketRing）是城域网中很有发展前途的一项技术。本文对RPR的关键技术之一——保护状态机进行了深入分析，从保护状态机的角度出发提出了一个分析RPR协议的新方法。即由保护状态机的运行到拓扑更新，由拓扑更新到选环的更新，最终实现业务正确上下环。

简介：帧同步是数字同步复接设备中的重要部分。本文采用FPGA设计了一种基于同步状态机的帧同步检测电路，具有帧同步的前方保护和后方保护以及接收端的定时功能，可以集成在一片FPGA芯片内，用于数字通信系统收端的帧同步和定时。

简介：入侵检测系统是网络安全产品中的重要成员，可以有效的对网络安全事件进行检测跟踪，从而产生有效的防护动作，以及为攻击取证提供支持。基于论述网络安全现状及入侵检测研究现状，设计一种基于协议状态转换自动机的入侵检测技术，根据协议实现标准，建立有穷状态自动机，通过解析数据包并输入对应的自动机，判断是否能被自动机接受，或者统计状态转换等信息来进行异常的识别。

简介：给出了利用有限状态机控制A／D采样的设计方法，并通过状态机和单片机来对A/D采样速度进行了比较和具体分析。最后给出了用状态机对ADC0809进行采样控制的设计方法的软件程序代码。

简介：摘要：EtherCAT总线通信是一种实时工业以太网通信技术，被广泛应用在工业机器人控制系统中，以其实时、高速、高精、高同步性等特点，在智能装备控制系统领域的使用率逐步提升。其完善的通信协议的实现方式是保证其优势的基础，贯穿该总线协议的状态机切换流程，则是涵盖了EtherCAT通信协议的核心关键点。本论文结合实际的主从设备配置，着重进行EtherCAT状态机转换流程分析，在转换过程中分析其协议核心概念在主从站设备中的实现，深入探讨EtherCAT协议的精髓。

简介：摘要：对于大型高压储能系统如何克服高达1500V的电池组间电位势垒和各种噪声实现可靠的电池组之间得通信，是大型高压储能系统亟待解决的核心技术问题，传统系统一般采用CAN总线和485总线配合CPU跑相应的软件来实现，本文拟通过纯硬件方式采用硬件状态机加菊花链方式实现，无需使用CPU，保证电池的一致性。

简介：在状态机的讨论中，覆盖问题和分解问题是讨论的主要方面。对于一个比较复杂的状态机要想找到的它的覆盖和分解一般是比较困难的，如果一个复杂的状态机具有可分性，我们就可以把它分成若干简单的状态机，从而解决它的覆盖和分解问题。本文主要讨论状态机变换半群的可分性，而状态机变换半群的可分性与它对应的状态机的可分性是一致的，从而解决状态机的可分性问题。

简介：在山西省委、省政府的直接领导和支持下,2005年12月28日由太原重型机械集团有限公司牵头,通过整合太原矿山机器集团有限公司和山西煤矿机械制造有限责任公司的国有产权,联合山西省内七家大型煤炭生产经营企业:山西焦煤集团有限责任公司、大同煤矿集团有限责任公司、潞安矿业(集团)有限责任公司、阳泉煤业集团有限责任公司、山西晋城无烟煤矿业有限责任公司、山西煤炭运销集团有限公司、山西煤炭进出口集团公司,共同出资7.5亿元组建了太原重型机械集团煤机有限公司,并投资8.5亿元在太原市经济技术开发区新建煤机成套装备制造基地。

简介：在软硬件系统的模型检验中经常需要检测系统模型和规约模型的行为之间的包含关系．为提高模型检验技术的自动化程度，提出一种针对有限状态机的仿真检验方法．首先在有限状态系统的基础上，提出系统及其外部行为的概念，然后定义了系统间的仿真关系，之后结合不动点定理，设计了和仿真关系定义相似的FP算子，这就把两个系统外部行为之间的包含关系转化为通过FP寻找组合系统间的最大不动点．如最大不动点存在，称系统模型满足规约属性．最后，通过等价关系给出一种对于无限状态系统转换成有限状态系统的方法，使得该方法可同样应用于无限状态系统．实例显示，该方法能够很好地满足模型检验的要求．

简介：摘要：技术状态管理不仅是是一门管理学科也是一种系统工程管理的方法。技术状态管理是产品在质量活动中最重要的一个环节。精确把控试验机的质量就要对其进行技术状态管理。试验机的技术文件资料能直白的体现出它的质量及状态，因此利用技术状态管理的方法对试验机的技术文件资料进行管理就是对试验机的技术状态进行控制。对试验机的技术状态管理方法进行调查，发现更改管理在试验机的生命周期内不仅是最为常见，也是最重要的一个活动。本文中提出以系统为基础的方法来对试验机的技术状态更改进行管理，该方法很大程度上能提高试验机技术状态管理的精确性、可控性、有效性。

简介：针对弹子加压装置，采用ANSYS软件对弹子与弹子槽的接触状态进行了有限元仿真分析．有限元仿真计算结果与试验结果均表明：当载荷达到40kN时，最大接触变形可达40μm，弹子盘的最大接触应力为1．4GPa，弹子的最大接触应力为1．32GPa，均在弹性范围内．对于弹子与弹子盘的接触，采用经典的赫兹接触模型的计算结果与有限元仿真计算结果和实测结果存在较大的偏差，说明经典赫兹接触模型并不适用于弹子和弹子槽的接触分析，应对其进行修正．

简介：松下压缩机（大连）有限公司（原大连三洋压缩机有限公司）成立于1995年，是由冰山集团大连：令：东机股份有限公司和日本松下集团三洋电机株式会社按40％、60％的比例共同出资设立的合资企业。公司自开业以来，迅速增资、年年扩建，销售额持续增长，年均增长幅度达26％。目前公司已发展成为集研发、设计、制造、销售、工程安装和技术服务于一体的大型制冷、空调压缩机综合制造企业。

简介：

简介：摘要通过增加压叉装置，对活塞式煤气压缩机吸气阀的结构功能改造，改变了压缩机的运行工况，满足了用户对煤气量的变化需求，达到节约电能的目的。