有限状态机（FSM）的实现

本文主要介绍了IP模块的有限状态机（FSM）的实现。详细说明了有限状态机的状态变迁图和状态机的流程图。同时解释了描述状态／事件／动作／规则的类。     

电话会议系统中电话事件状态及状态转移设计

以一个电话会议汇接系统的设计开发为例，针对电话会议汇接系统的实时性、多任务的特点，运用有限状态机模型，从状态和状态转移的设计入手，结合面向对象程序语言编程，探讨此类系统的软件设计的思路和方法。     

一类连续非线性系统的有限时间镇定问题

讨论了一类连续非光滑非线性系统的全局有限时间状态反馈镇定问题。利用有限时间Lyapunov稳定定理和加幂积分器的方法证明了这类系统在连续的状态反馈控制下是全局有限时间状态反馈镇定的,并给出了状态反馈控制器的设计方法。     

网络入侵检测中多模式匹配的状态编码方法

为了减少网络入侵检测系统的硬件实现方案中自动机占用的存储容量,提出了一种自动机状态的编码方法。该方法通过对自动机状态重新进行编号,使得多个状态能够用一个通配编号来表示,这样自动机中具有相同输入和下一状态的多条变迁就能被聚合为一条,大大减小了需要存储的变迁数目。可以证明状态编码方法能够将变迁数目减小到理论上最小值同时保证自动机恒定的处理速率。实验表明,对于常见特征串集,该方法可以将变迁数目减小98.9%以上。     

电话会议系统中电话事件状态及状态转移设计

以一个电话会议汇接系统的设计开发为例，针对电话会议汇接系统的实时性多任务的特点、运用 有限状态机模型，从状态和状态转移的设计入手，结合面向对象程序语言编程，探讨此类系统的软件设计 的思路和方法。     

基于观测器的广义系统有限时间控制器设计

基于广义观测器,探讨了线性广义系统的有限时间控制问题.利用广义系统状态观测器理论,给出了系统无脉冲模和有限时间状态稳定的充分条件及基于广义观测器的状态反馈控制器的设计方法,所设计的控制器使闭环系统无脉冲模且保持有限时间状态稳定.通过解一组广义Riccati不等式得到观测器增益矩阵和状态反馈矩阵.     

有限识别器的状态等价及其性质

讨论有限识别器的状态等价及其性质,在同构意义下,有限识别器都唯一存在一个可分有限识别器与它等价,给出了有限识别器的状态化简和等价类的求法。     

有限状态程序模型及其应用

工程实际中的大部分应用程序都可以用有限状态机来描述。论文首先提出了一个一般性的有限状态程序模型,即有限状态自动机。并讨论了基于有限状态模型的程序框架生成和该模型的一些性质。对于工业中的大多数专用应用程序和嵌入式系统,该模型给出了简洁、直观、统一的规范描述及其开发与维护方法。     

CAN总线协议实现方法研究

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

基于协议分析状态机的入侵检测系统

协议分析状态机是提高协议分析正确性的重要保证。将其应用于入侵检测系统是一个新的研究应用方向。协议的形式化描述工具有穷状态自动机、通信有限状态自动机。在此基础上重点讨论了使用协议状态机分析入侵事件的相关算法及流程，设计了基于协议分析状态机的入侵检测系统的总体框架，提出了该状态机的面向对象的模型，使该系统具有良好的可扩展性和通用性。测试结果验证了这一思想的正确性和有效性。     

一类时滞切换奇异系统的状态反馈H∞控制

针对一类由任意有限多个时滞奇异子系统组成的切换系统,研究系统的状态反馈H∞控制问题,利用Lyapunov函数方法和凸组合技术.以LMI的形式给出了在切换状态反馈控制策略下,系统实现状态反馈H∞控制的充分条件.进而给出了切换律和状态反馈H∞切换控制器的设计方案.仿真算例说明控制器设计方案的可行性与有效性.     

有限状态自动机识别过程的一个图论描述及算法

对于一个给定的有限状态自动机A，总试图通过某种途径来得到A所识别的字（w∈A*）的全体即L（A）。借助图论工具给出了有限状态自动机识别过程中一些关键步骤的详细描述，并在此基础上给出了有限状态自动机识别过程的一个算法。     

缓冲区型串行生产作业系统的Cohen模型

本文以极大代数为工具，通过模块点阵，对缓冲区容量有限、无限或组合型串行生产作业系统建立了统—的、以作业区间为状态的状态空间模型——Ｃｏｈｅｎ状态空间模型．该模型简洁直观，其参数矩阵可以宜接到写，还给出了一个模型求解与系统动态特性分析的算例．     

基于协议分析状态机的入侵检测系统

协议分析状态机是提高协议分析正确性的重要保证，将其应用于入侵检测系统是一个新的研究应 用方向，协议的形式化描述工具有穷状态自动机。通信有限状态自动机。在此基础上重点讨论了使用协议 状态机分析入侵事件的相关算法及流程.设计了基于协议分析状态机的入侵检测系统的总体框架，提出了 该状态机的面向对象的模型，使该系统具有良好的可扩展性和通用性，测试结果验证了这一思想的正确性 和有效性。     

求齐次有限马尔科失链状态空间全体闭集的算法

本文给出了齐次有限马尔科夫链状态空间的闭集族的算法，为了减少计算量和无重复地列出全体闭集，引进了状态空间压缩法和逐点删去法。对状态个数不太大的情形，可利用压缩状态空间的状态转移图求全体闭集；对一般情形，给出了计算机算法。     

一类不确定高阶非线性系统的有限时间镇定

研究一类具有未知虚拟控制系数的不确定高阶非线性系统的有限时间镇定问题.基于有限时间稳定的Lyapunov理论和"加幂积分器"技术,显式设计非李普希兹状态反馈控制律,使闭环系统的所有状态全局有限时间收敛到零点.仿真例子验证了论文的主要结论.     

用Luenberger观测器观测线性延时系统的设计

讨论了线性延时系统状态观测器的设计问题，给出了用Ｌｕｅｎｂｅｒｇｅｒ观测器观测线性延时系统的设计方法及渐近观测器的稳定判据，应用对偶原理讨论了线性延时系统状态控制的设计问题，应用分离原理讨论了线性延时系统带状态观测器的状态控制器的设计问题。给出了证明实例。     

基于TCP状态有限自动机的入侵检测研究

入侵检测是一种重要的信息安全防御技术.基于TCP状态有限自动机的入侵检测是一种异常检测方法,它能发现违背TCP状态有限自动机的行为.描述了TCP协议中正常的连接状态转换关系,构造了TCP状态有限自动杌,给出了基于TCP状态有限自动机的入侵检测实现.     

卡尔曼滤波器在状态和参数估计中的应用

应用有限差分法代替非线性函数的偏导数计算以改进扩展卡尔曼滤波器，该改进算法用于非线性系统的状态和参数联合估计。结果表明，该滤波器可以代替常规的卡尔曼滤波器，具有滤波精度高、数值计算稳定、对模糊精度要求低和适用范围宽等优点。     

一类线性奇异时滞系统混杂反馈H_∞性能分析

利用混杂状态反馈控制研究了线性奇异系统、线性时滞奇异系统的H∞镇定问题,假设系统存在有限个备选的静态状态反馈控制器,并且每个控制器的增益阵已知,在假定每个单一的控制器均不能使系统稳定且具有H∞扰动衰减度的条件下,利用凸组合条件给出了切换律的设计方案,通过在有限个控制器间的切换得到了镇定的充分条件。所得结果以矩阵不等式形式给出,便于实现。