有限状态机由软故障引起的状态转换错误概率

本文提出了受软故障影响的有限状态机的模型,据此导出了计算有限状态机由软故障引 起的状态转换错误概率的方法,介绍了一种新型的利用纠错码和状态束原理的容错有限状态 机,并计算了软故障引起的状态转换错误概率.这种有限状态机对于状态转换具有本征的抗 噪声性能.     

基于贝叶斯准则的航天器故障判决方法

研究航天器故障准确识别问题,由于多种因素干扰造成的航天器遥测参数观测值误差,导致故障诊断系统误判航天器状态.如何正确地从噪声信号中提取出关键的故障信号,并且根据故障发生概率及影响因素对故障进行判决,是目前航天器故障诊断领域面临的一大难题.在可获得先验的故障概率和代价系数的条件下,通过对高斯环境中故障信号误差的分析,建立了错误判决代价的贝叶斯准则判决方法,设计了高斯白噪声情况下采用贝叶斯准则进行故障判决的算法.通过某航天器实际遥测数据的实验结果表明,改进方法可显著提高系统的故障诊断准确性.     

Robust H∞ integrity design of networked control system with quantizing error

针对同时存在时变时延、丢包和信息量化的参数线性不确定网络化控制系统,在执行器失效故障和外界有限能量扰动共存的情形下,基于状态多时延模型,通过构造时滞且量化误差依赖的Lyapunov-Krasovskii泛函,给出了使不确定网络化控制系统具有鲁棒H∞完整性的判决准则和控制器的设计方法.还进一步讨论了故障网络化控制系统稳定运行的最大允许时延和最大允许量化误差,并以此为依据对H∞性能指标进行了优化,给出了鲁棒H∞最优容错控制器设计方法.由于模型中考虑了时延下界,证明过程引入适当自由权矩阵变量且未进行模型转换,使得其结果具有较少保守性.仿真结果验证了该方法的有效性.     

基于有限状态机的URL解析

在网页分类的过程中,鉴于存储查询过程中的URL规范化需求,提出一种基于有限状态机的URL解析方法,并进行了详细的分析设计,解决了现存URL解析方法效率低、资源消耗大的缺点,提高了解析的效率和容错性能.     

一种改进的实时嵌入式系统容错优化方法

容错技术中硬件冗余会产生较高的设计和生产成本.针对该问题,提出一种改进的实时嵌入式系统容错优化方法,基于检查点容错技术综合分析系统故障性能、硬实时任务时间约束和软实时任务的效用函数值.以设计的容错模型为基础,计算系统故障概率保证其在故障最大概率值内,给出硬任务截止时间确定可调度性,并应用改进的禁忌搜索算法获得软任务效用函数最佳值,算法有2种简单的邻节点结构,其禁忌准则遵循邻节点方法禁忌,优化效率明显改善.实验结果表明,该方法可进行故障分析等综合分析,并能迅速获得最大效用函数值.     

同时考虑量化误差的网络化控制系统鲁棒H∞完整性设计

针对同时存在时变时延、丢包和信息量化的参数线性不确定网络化控制系统,在执行器失效故障和外界有限能量扰动共存的情形下,基于状态多时延模型,通过构造时滞且量化误差依赖的Lyapunov-Krasovskii泛函,给出了使不确定网络化控制系统具有鲁棒H∞完整性的判决准则和控制器的设计方法。还进一步讨论了故障网络化控制系统稳定运行的最大允许时延和最大允许量化误差,并以此为依据对H∞性能指标进行了优化,给出了鲁棒H∞最优容错控制器设计方法。由于模型中考虑了时延下界,证明过程引入适当自由权矩阵变量且未进行模型转换,使得其结果具有较少保守性。仿真结果验证了该方法的有效性。     

C程序的Verilog HDL实现

随着电子信息技术的不断发展,电子系统模块化的设计思想已经深入人心。因此,加强软件和硬件模块设计经验的相互借鉴意义重大。针对这种情况,借助于有限状态机理论,提出了一种将C程序转化成Verilog HDL描述的具体方法。同时,详细介绍了有限状态机理论,分析了在利用有限状态机进行设计时应该遵循的准则,并给出了一个具体的转化实例和最终的仿真结果。从仿真结果可以看出此方法是可行的。     

有限状态机在模拟演练系统中的应用

在研究了有限状态机的基本原理和在游戏开发中的应用, 并结合应急模拟演练系统的实际需求, 通过在Delta3D引擎中实现一个有限状态机控制器组件解决系统角色状态控制的问题. 首先介绍了有限状态机的基本原理和Delta3D引擎架构的特点, 设计了一个有限状态机的例子并详细介绍了有限状态机控制器组件的总体结构、基本功能和具体实现方式.     

基于Verilog和VHDL的状态机设计技术

对于数字逻辑工程师来说,设计一个同步有限状态机(FSM)是一项很常见的任务。该论文讨论了若干关于设计有限状态机方面的问题,包括用于状态分配的状态编码方法,状态机的输入输出等等。     

基于分段线性化的分类器设计方法

最小最大风险准则判决是在类先验概率未知情况下的一个重要的决策方法,由该方法设计的分类器在大多数情况下存在性能下降过多的问题.为了提高分类器的分类性能,本文提出一种基于分段线性化思想的分类器设计方法.该方法首先对类的先验概率做一粗略估计,然后判断它所处的概率区间,最后用该区间相对应的分类器进行判决.理论推导和实验结果表明,该方法是一种有效方法,据此设计的分类器性能接近于贝叶斯分类器.     

有限状态机原理在OA系统中的运用

研究办公自动化系统(OA)中工作流的设计思路和方法。阐述有限状态机的基本原理,以一个OA系统中的假期审批流程为例,来描述OA系统中状态机工作流模型的设计和实现。主要研究了OA系统中工作流的特点、有限状态机建模方法和实现策略。     

基于状态机的电能信息采集终端设计

设计了一种基于状态机的电能信息采集终端通信协议数据接收处理方法。在分析电能信息采集终端通信协议的基础上,采用状态机原理,详细说明了状态划分过程,给出了C语言的实现代码。经实际使用验证,该设计稳定可靠,为电能采集终端的设计奠定了基础。     

有限状态机的方法描述与应用研究

随着设计系统结构的日益复杂,选择合理的设计方法与结构已成为软件设计中的关键技术。目前,在软件设计领域,有限状态机（FSM）的理论俨然已自成一体,经常用来描述一些复杂的算法,表明算法内部的状态结构,关注对象的执行顺序等。据此,本文以EDA和PLC这两种不同的支持平台为载体,对有限状态机方法的结构体系及应用进行研究。结果表明,FSM方法将控制过程分成有限个稳定状态,描述对象所经历的状态序列与转移,从而解决电子领域中诸多控制问题。且在不同的应用平台上,FSM方法的核心要素不变。     

采用有限状态机的绘图仪控制处理

简述了有限状态机的基本原理和实现方法,并介绍了有限状态机在绘图仪控制处理上的实际应用及优点.     

Circle-criterion Based Nonlinear Observer Design for Sensorless Induction Motor Control

This paper deals with the design of a nonlinear observer for sensorless induction motor control. Based upon the circle criterion approach, a nonlinear observer is designed to estimate pertinent but unmeasurable state variables of the considered induction machine for sensorless control purpose. The observer gain matrices are computed as a solution of linear matrix inequalities(LMI) that ensure the stability conditions of the state observer error dynamics in the sense of Lyapunov concepts. Measured and estimated state variables can be exploited to perform a state feedback control of the machine system. The simulation results are presented to illustrate the effectiveness of the proposed approach for nonlinear observer design.     

有限状态机在动画角色行为中的建模应用

角色行为设计是动画设计的重要环节,也是动画设计的难点。文中提出使用有限状态机来指导动画的角色行为设计,并对有限状态机在动画中的角色行为设计应用作了比较全面的论述。阐述了有限状态机的数学模型,介绍了利用有限状态机建立动画角色行为模型的基本原理。以键盘打字动画中的角色行为设计为例详细介绍了有限状态机建模方法的应用。结果表明,通过使用有限状态机的方法来对动画角色行为建模,能够有效处理复杂的动画角色行为模型,并简化动画的设计。     

基于VHDL有限状态机控制器的设计方法

有限状态机作为形式化描述方法具有独特优点,在利用VHDL进行电子系统控制功能的设计和实现中,有限状态机已成为有力的手段和途径。通过一个循环控制器的设计实例,说明了利用有限状态机的基本流程和方法,并给出了程序与仿真结果。     

基于FPGA的RC4加密算法设计及实现

针对通信安全问题,采用自顶向下的设计方法,设计了一种RC4算法基于FPGA的实现方式,实现了通信数据的加密传输。根据RC4加密算法的原理和设计流程,使用Verilog HDL编程语言,采用有限状态机（FSM）的编程方式实现算法,通过Modelsim SE 10.1a仿真软件进行仿真,并在FPGA开发板上进行验证。采用本文提出的FPGA设计方法实现的RC4加密算法相比软件加密方式和已有的FPGA实现方式速度有明显提高。     

基于有限状态机的BLDC控制器的设计

介绍了基于有限状态机的三相无刷直流电机（BLDC）控制器的设计方法,在分析讨论BLDC控制器的工作原理的基础上得出了其换向真值表：分析了基于有限状态机实现PWM输出带死区控制的方法,并通过Verilog HDL语言实现了编程,且在Quartus II环境下进行了仿真实验,实验表明,基于有限状态机的BLDC控制器具有良好的性能。