有限状态机建模在嵌入式按键设计中的应用

为了使嵌入式软件代码更加可靠,增强程序的可维护性,将有限状态机理论应用于嵌入式设计中。论述了有限状态机的基本结构和它的基本原理,介绍了有限状态机建模在嵌入式系统中实际应用现状。针对一种实际按键模块的需要,利用有限状态机的嵌入式设计建立了系统模型。采用状态机实现方法编写了按键接口程序,实现了2个按键的状态机模型设计。系统的调试结果验证了模型的正确性和可靠性,具有一定的工程价值。     

有限状态机的设计与优化

在数字系统中,状态机的设计对系统的可靠性、稳定性具有决定性的作用,因此,基于超高速集成电路硬件的有限状态机的设计和优化是完成数字系统设计的重要环节.状态机通常分为米勒型和摩尔型,给出状态机的超高速集成电路硬件描述,讨论状态机的速度优化,并提出一种容错设计方法.     

基于有限状态机的售卖机控制器的设计与仿真

自动售卖机是商业模式下自动化实现的典型应用之一,随着嵌入式系统和自动化技术的不断发展,其应用也越来越广泛。有限状态机作为一种反映状态间转移的数学模型,可以被用在嵌入式系统控制器的设计开发中。利用有限状态机技术对自动售卖机的控制器进行设计,利用Verilog HDL语言将控制器编程实现,并在Model Sim中进行了仿真,实验结果证明了该方法的可行性。     

办公自动化系统中状态机工作流模型的设计和实现

根据有限状态机的基本原理,以一个办公自动化系统中的假期审批流程为例,来描述办公自动化系统中状态机工作流模型的设计和实现。     

有限状态机的VHDL设计

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

基于嵌入式系统的小型仪器多机通信协议

针对嵌入式系统小型仪器硬件资源有限的条件,提出一种联合RS 485与IINP协议的通信机制.通过分析多机通信的特点、系统组成结构,使用状态机的概念分析并设计实现了IINP多机通信协议.实践表明,应用于微生物总量检测系统中的IINP协议通信机制,有效地提高了系统的可靠性、稳定性与灵活性.     

基于状态机的里程计信号滤波方法

提出并实现了一种基于状态机的里程计信号数字滤波方法。该数字滤波方法以FPGA为硬件基础,对经过阻容滤波和光电耦合器隔离后的里程计信号,进行毛刺信号的检测和滤除;分析了里程计信号存在多次振荡时可能造成亚稳态的原因,针对此情况给出了对亚稳态异常情况的处理方法;给出了滤波状态机的详细设计方法。在仿真环境和试验室环境下,使用方波信号、脉冲信号、三角波信号和高斯信号等对滤波效果和亚稳态异常处理措施进行仿真和测试,结果表明该数字滤波方法可以有效滤除干扰信号、计数结果准确;应用该数字滤波方法的某车载系统进行了跑车实测,结果满足系统要求,证明该方法具备工程上的可行性。     

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

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

基于状态机的里程计信号滤波方法

提出并实现了一种基于状态机的里程计信号数字滤波方法。该数字滤波方法以FPGA为硬件基础，对经过阻容滤波和光电耦合器隔离后的里程计信号，进行毛刺信号的检测和滤除；分析了里程计信号存在多次振荡时可能造成亚稳态的原因，针对此情况给出了对亚稳态异常情况的处理方法；给出了滤波状态机的详细设计方法。在仿真环境和试验室环境下，使用方波信号、脉冲信号、三角波信号和高斯信号等对滤波效果和亚稳态异常处理措施进行仿真和测试，结果表明该数字滤波方法可以有效滤除干扰信号、计数结果准确；应用该数字滤波方法的某车载系统进行了跑车实测，结果满足系统要求，证明该方法具备工程上的可行性。     

用有限状态机设计数控振荡器

用VHDL有限状态机设计了一种用于数字锁相环的数控振荡器,详细分析了解决相位调整和消除“毛刺”的方法,对设计实现过程中应注意的相关问题也作了具体讨论;测试和实际应用表明其性能稳定可靠。     

CAN总线协议实现方法研究

在CAN总线通信网络的建设中，CAN总线控制器实现了CAN总线协议的大部分内容．首先介绍了CAN总线的概况，简单介绍了CAN总协议的内容，详细介绍了有限状态自动机的组成特点以及利用有限状态自动机实现CAN总线协议的方法．最后根据有限状态自动机的设计要求，详细介绍了CAN节点的各种状态以及各个状态之间的转换关系．     

基于数字图像处理技术的银行自动柜员机监控系统的实现

阐述了银行自动柜员机的数字化监控系统的实现过程,重点讨论了监控系统在数字化过程中所面临的问题,包括系统的实现方法、设计原则、功能、数字图像存储方法等.希望通过系统的实现,使之成为数字图像研究与实际系统相结合的典型实例之一.     

数字滤波方法的改进及实现

本文在数字滤波的几种常用方法基础上，对算术平均值法和多阶数字滤波器进行了改进和设计，实践证明，在不增加硬件设备的条件下，可以实现稳定、灵活的数字滤波．     

Optimization of block-floating-point realizations for digital controllers with finite-word-length considerations

The closed-loop stability issue of finite-precision realizations was investigated for digital control-lers implemented in block-floating-point format. The controller coefficient perturbation was analyzed resultingfrom using finite word length (FWL) block-floating-point representation scheme. A block-floating-point FWL closed-loop stability measure was derived which considers both the dynamic range and precision. To facilitate the design of optimal finite-precision controller realizations, a computationally tractable block-floating-point FWL closed-loop stability measure was then introduced and the method of computing the value of this measure for a given controller realization was developed. The optimal controller realization is defined as the solution that maximizes the corresponding measure, and a numerical optimization approach was adopted to solve the resulting optimal realization problem. A numerical example was used to illustrate the design procedure and to compare the optimal controller realization with the initial realization.     

一种数字滤波器系数量化处理的方法

本文提出一种数字滤波器系数量化处理的方法，它可准确模拟有限字长效应对数字系统的影响并给出优化结果，因而对数字系统的设计提供了一种有效手段。     

数字滤波器的设计及实现

本文介绍了数字滤波器的设计,着重阐述了怎样用单板机和微机实现数字滤波器。内容分两部分,一、用TP-801单板机实现IIR滤波器,并分析了滤波结果,二、用窗口法和频率采样法设计FIR滤波器,给出了FIR数字滤波器的冲激响应h(n)。     

基于数字签名的安全电子商务系统设计

安全问题是电子商务发展中的核心问题,数字签名技术在保证商务数据的完整性、机密性和不可否认性方面起着极为重要的作用。本文以电子商务系统中的个例,设计了系统模型和数字签名方案,对安全电子商务系统的设计与实现进行了有益探索。     

基于Stateflow的民机自动飞行工作模式切换

Stateflow是有限状态机原理的图形化实现,可以实现连续状态间的切换.民机的自动飞行系统在各个飞行阶段对应着几十种工作模式,正是一个有限状态机系统.文中基于Stateflow对各工作模式及其逻辑关系进行了建模,实现了工作模式模型对其对应的控制律的调用,并对制定的飞行任务进行了仿真.结果表明,民机自动飞行系统工作模式间的切换可以通过Stateflow较好地实现.