有限状态机在单片机编程中的应用

为了提高单片机对复杂任务的实时性处理能力,在单片机编程中使用了有限状态机模型.有限状态机的灵活运用可以减少程序中的判断步骤,缩短程序执行时间,提高单片机处理的实时性.并且实现了模块化编程,使每个状态相互独立.程序可读性强且易于修改.     

基于状态机模型设计协作式工作流系统

研究如何运用协作式工作流实现有效的计算机支持协同工作。以一个教学管理信息系统的设计为例,描述了以状态机模型为基础设计和实现协作式工作流的方案。主要研究了协作式工作流的特点、建模方法和实现策略。结果表明,采用状态机为流程建模,结合轻量级工作流引擎的设计方案和基于状态设计模式的实现方法,能让此类开发工作变得更为简单有效。     

基于TMS结构的OSPF邻居状态机设计与实现

文章针对TMS体系结构，从建立OSPF邻居状态机的数学模型出发，依据其实现原理，列出了邻居状态机的各个状态和事件，描绘了总的状态变迁图。并进一步对状态机的转换函数的实现做了优化处理，结合指针函数和二维数组等数据结构，根据OSPF邻居状态机机制，提出了实现的关键技术。     

单片机系统程序存贮器扩展方法

介绍８０３１单片机系统大容量程序存贮器扩展的几种方法。     

乐观电子合同签订协议的一种有限状态机模型

乐观电子合同签订协议是一类典型的安全协议，用于在两个或多个主体之间公平高效地实现电子合同签订。与其它类型的安全协议相比，乐观电子合同签订协议更为复杂，从而为其形式化分析带来了一定困难。模型检验是一类有效的形式化分析方法，应用模型检测方法分析安全协议时，前提和关键是对协议及其执行环境进行准确和全面的建模。     

用C语言设计单片机键盘显示程序

介绍ＭＣＳ－５１系列单片机的键盘显示电路原理和用Ｃ语言设计的键盘显示程序，并简要说明ＭＣＳ－５１编译器的使用．     

基于有限状态机的多机串行通信接口协议的设计与应用

以FreeScale MCU为载体,提出了在多MCU级联状态下,利用有限状态机的状态迁移,通过串行通信方式实现大数据量数据上下传输的通信接口协议的设计方法,分析了该方法的特点,并针对具体数据采集系统应用,介绍了有限状态机的设计与实现方法,给出了应用子例程.     

乐观电子合同签订协议的一种有限状态机模型

乐观电子合同签订协议是一类典型的安全协议,用于在两个或多个主体之间公平高效地实现电子合同签订。与其它类型的安全协议相比,乐观电子合同签订协议更为复杂,从而为其形式化分析带来了一定困难。模型检验是一类有效的形式化分析方法,应用模型检测方法分析安全协议时,前提和关键是对协议及其执行环境进行准确和全面的建模。     

基于有限状态机的电网设备状态库研究

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

关于8031单片机扩展多片外部程序存储器地址问题的探讨

讨论了８０３１单片机扩展多片外部程序存储器的地址问题和其应用系统扩展多片外部程序存储器地址中的注意事项和容易出现的错误,得出一个确切的结论。     

EFSM可执行状态验证序列的生成

在以扩展有限状态机(EFSM)为模型描述的协议一致性测试系统中，为了解决状态验证序列的可执行性问题，提出了一种新的可执行状态验证序列(ESIS)生成算法。新算法基于宽度优先搜索可执行分析树(EAT)的思想，从状态验证需求的角度，在EFSM的状态格局投影子空间中，采用分步计算的方式生成具体验证场景下的最短可执行状态验证序列，从而减少了在完全状态格局空间中单步计算所有状态验证序列的复杂性。实验结果表明了新算法对生成EFSM可执行状态验证序列是有效的。     

基于能力本位的数控机床编程及应用课程改革研究

基于目前数控技术应用的前景,分析了数控机床编程及应用课程目前存在的问题,介绍了基于能力本位的课程模式,提出课程改革的目标,论述如何应用能力本位来构建数控机床编程及应用课程模式,阐述了课程改革的具体措施,并对课程的发展提出了方向。     

基于有限状态机原理的数控电火花机床工件找正方法

提出了一种基于有限状态机原理的数控电火花机床工件找正方法：利用控制系统测量工件的2个基准边,得到它们的直线方程,通过直线方程的交点确定工件基准点（x0,y0）及一直线与机床X轴方向夹角θ,利用坐标平移和旋转,实现工件的定位找正。该方法可使工件快速定位,提高重定位效率和精度,对实现数控电火花机床的快速、高精度加工具有指导意义。     

用 PIC16C5X 单片机实现音乐的原理和方法

目的　用 PIC系列基础级单片机 (PIC16C5 X)实现音乐 .方法　根据音乐发声原理 ,利用 PIC单片机的数据运算和处理功能 ,通过查表方式建立灵活通用的音乐程序 .结果与结论　用无中断功能 ,计数器只有 8位的 PIC基础级单片机实现了音乐 .该原理方案和实施方法具有普遍的应用价值 ,可移植到本系列其它类型的单片机中     

一种基于目标状态关联的动态规划TBD算法

鉴于传统动态规划-检测前跟踪（DP-TBD）算法在低信噪比条件下易导致航迹跟踪误差大.为减小航迹关联时噪声的影响,提出了一种基于目标状态关联的DP-TBD算法.在当前第k帧观测值与（k-1）帧窗内某观测值累加的基础上,沿此方向再与（k-2）帧区域内的指标函数最大者进行累加,并记录累加后最优指标函数值所对应的前两帧的位置,用于回溯航迹.仿真结果表明,该算法有效减小了噪声的影响,相对于传统算法提高了跟踪性能,并且搜索窗越大,杂波点也越多,所提算法的优势越明显.     

优势关系下分配约简矩阵算法的程序实现

依据计算不协调优势关系信息系统分配约简的矩阵算法,使用C++语言编程实现在优势关系信息系统中计算分配约简的快速计算,并将程序开发成软件。作为简便的计算工具,软件功能上实现了优势类、分配矩阵、优势矩阵、分配约简、核的计算和输出,为优势关系下计算分配约简提供了便利工具。     

Rabin、Scott机状态转移图的构造方法

本文描述由复杂的正则表示式构造状态转移图的方法。对于正则表示式R1和R2的连接R1R2状态转移图的构造提出了一种改进的通用算法，并对该算法进行了详实的验证。     

节水洗衣机的数学模型

基于数字规划原理建立了个洗衣机的数学模型,使得在满足一定洗涤效果的条件下,总用水量最小,本文中给出了全自动洗衣机的基本模型,还对照目前常用的松下,日立、三洋等３种洗衣机的运动情况进行测试,并对本模型的稳定性作了分析。实验结果表明,本模型比较完满地解决了节约用水的问题,而且只需经过简单修改,就可以适用于任何日常生产生活中洗涤方面的节约用水问题。     

基于VHDL的有限状态机设计

通过2种状态机的设计方法比较,说明使用VHDL语言设计出稳定、可靠的有限状态机的方法是有效的和实用的.由于两者对状态寄存器值的不同处理方法,使得状态机在采用不同编码方法时可靠性出现差异.针对此问题提出的状态机设计方法很好的解决了这个问题,保证采用常用编码方法进行状态机编码时,不管采用何种状态机的设计方法,状态机都会处于稳定、可靠状态.