CFSM模型的有限自动机语义

研究CFSM模型的自动机语义,提出了一种从CFSM到自动机转换的算法。该算法的核心思想是构造一个包含控制自动机、输入自动机、输出自动机的有限状态自动机系统,利用自动机的同步性模拟CFSM的异步行为。本文的工作为进一步利用自动机理论和工具对CFSM模型进行分析和验证奠定了基础。     

奇偶校验自动机的逻辑形式描述

自动机工作过程实质上是一种逻辑推理过程.自动机的研究实际上就是自动机状态转换过程的研究.从奇偶校验自动机M的定义人手,通过分析其状态转换函数与输出函数的内在含义,引入有关的原子命题,得到奇偶校验自动机M的逻辑表示形式.     

基于有限状态自动机极小化的Web应用系统测试

有限状态自动机可以描述软件的行为,将Web应用系统转化成有限状态自动机的模型,该模型可以作为设计测试用例以及判定输出结果是否正确的基础。因此测试的问题转化成了检验自动机状态转移是否符合要求的问题。利用有限状态机的极小化理论方法,可以降低Web应用系统模型的状态空间规模,从而可以达到简化测试的目的。     

拟（h，k）阶存贮线性有限自动机的一些结果

利用拟（r,r）阶存贮线性有限自动机可以轻松地构造出一个延迟r步弱可逆的有限自动机,这比文献[2]中通过Ra,Rb变换,对（r,r）阶存贮线性有限自动机进行一系列复杂烦琐的变换来构造一个延迟r步弱可逆的有限自动机的方法要简单可行。文章利用拟（r,r）阶存贮线性有限自动机,给出了一种构造延迟r步前馈可逆的线性有限自动机M和延迟r步前馈逆线性有限自动机时的简便方法。     

线性有限自动机零状态的作用

通过零状态研究了线性有限自动机的一些性质,得到了线性有限自动机弱可逆的一些结果,并给出了最小线性子有限自动机的描述,最后给出了算法实现。     

弱可逆有限自动机分解的一个结果

研究弱可逆有限自动机的分解可以为分析有限自动机公开钥密码体制的安全性提供一种重要途径。从输出权的角度讨论了一般的延迟r步弱可逆有限自动机M的分解问题,得到了它可以分解出k0（k0≤r）阶延迟元的一个充要条件,即M可以分解成延迟r-k0步弱可逆有限自动机和k0阶延迟元当且仅当M的所有状态的长k0输出权为1。     

大型互联线性系统的输入-输出分散有限时间镇定

借助于线性时变系统输入-输出有限时间稳定性的定义,对大型互联线性时变系统引入了输入-输出有限时间稳定性的概念。并对一类大型互联线性时变系统进行了分散状态反馈控制器设计,利用微分线性矩阵不等式（DLMI）的方法,提出一个充分条件,当反馈控制律作用于该系统时,闭环系统是输入-输出有限时间稳定的。并给出仿真算例说明该结论的可行性和有效性。     

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

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

格值直觉模糊有限自动机的直积与覆盖

给出了格值直觉模糊有限自动机,格值直觉模糊有限自动机的全直积、限制直积以及覆盖的定义,提出了格值直觉模糊有限自动机的状态转移函数可扩充的充要条件,研究了格值直觉模糊有限自动机在全直积和限制直积情形下的转移函数性质,讨论了格值直觉模糊有限自动机的全直积和限制直积的覆盖关系,得到了一些乘积自动机覆盖关系的传递性质,为进一步研究格值直觉模糊有限自动机奠定了基础.     

一类线性有限自动机的线性τ-弱逆

戴宗铎等人在域F上的一元多项式环F[z]与域F上的形式幂级数环F[[z]]之间,定义了一种乘法"*",使得F[[z]]作成一个F[z]一模,利用此模研究了线性有限自动机.在此讨论了一类线性有限自动机的线性τ-弱逆,给出了这类线性有限自动机一定τ-弱可逆的充分条件、构成它的τ-弱逆线性有限自动机的充要条件以及τ-弱逆线性有限自动机自由响应模的最小维数.     

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

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

基于词计算的Fuzzy有限自动机的最小化

介绍了一种基于词计算的一类新的Fuzzy有限自动机,这种自动机的输入和输出分别由输入和输出字母表的Fuzzy子集串代替,定义了它的最小形式,得到这种新的Fuzzy有限自动机M都存在一个与之等价的最小Fuzzy有限自动机Mm。     

确定有限自动机的逻辑形式定义

通过分析确定有限自动机状态转换函数的内在含义,引入有关的原子命题,得到确定有限自动机的逻辑形式定义并证明了状态转换函数表示与逻辑表示之间的等价性．     

应用神经网络判别二部图的方法

本文应用Hopfield神经网络模拟方法对二部图进行判别。提出了邻域矩阵的概念。将任意的连通图输入至神经网络判别系统,输出该图的邻域矩阵,对应于系统能量函数取最小值的输出状态即为二部图邻域矩阵,同时得到该二部图的顶点划分;如能量函数非最小值,则判定该图不是二部图。该判别法的核心是构造一种广义的能量函数——Liapunov函数,使原来难以解决的问题找到新的解决途径。     

两类Fuzzy自动机的等价性

通过对Fuzzy有限状态自动机和Fuzzy有限自动机的结构、定义及性质的研究,得到了二者之间的一种重要关系——等价关系。     

确定有限自动机推理的可计算逻辑分析

针对确定有限自动机对输入符号串的识别过程,提出了采用可计算逻辑来分析确定有限自动机的功能结构及其状态转换函数.在可计算逻辑中,计算问题是机器和环境博弈的过程.同样确定有限自动机对输入符号串的识别过程也可当作机器与用户的博弈,如果输入符号串满足确定有限自动机的语法规则能够识别出来,表示机器赢,否则用户赢.     

乏晰性、可靠性与泛系分析(Ⅲ)

泛系分析是一般的系统、转化、对称及其关系的一种数学研究与应用研究。已经具体地给出一些概念新的一般的模型:泛结构与系统,泛对称,对称化原理,会诊原理与乏晰会诊,诱导映射与乏晰反转,模拟,泛同态,形影关系,乌瞰与显微,等价对应原理,泛系观控律与泛箱,泛系抽样量化律,树结构运筹与泛系自动机,潜会诊与空会诊,共轭会诊定理与优化显微原理,等等。另外,对控制论的概念、隐藏结构分析、阴阳分析与中医概     

有限自动机的变换半群和它识别的信息

在离散时序系统的分析和控制中,要想知道这个系统的性质,即知道对这个系统提供什么信息(输入)才能使它达到所期望的状态或产生所需要的输出,这个问题涉及到有限自动机的识别问题。本文提出了使用(0,1)—矩阵去计算有限自动机的变换半群和它识别的信息,并且分析了各种特殊(0,1)—矩阵所代表的信息。     

奇异时滞系统的有限时间规范观测器的设计

在已有研究的基础上,对线性奇异时滞系统的状态观测器的设计进行了研究。首先简要介绍了Lambert W函数及其性质,并在此基础上给出了时滞系统稳定性的判断条件,以及随时间渐近趋于系统状态的观测器。然后,利用基于Lambert W函数的特征值配置技术,给出了一种简单的求解有限时间状态规范观测器系数矩阵的方案。最后通过Matlab对具体算例进行了仿真,仿真结果表明该方案有效可行,能够很好地应用到线性奇异时滞系统的设计中。     

线性有限自动机的输入存贮性及其算法

讨论了线性有限自动机的输入存贮性,得到了线性有限自动机具有有限阶输入存贮的充要条件,并且给出了判断线性有限自动机有无有限阶输入存贮以及求线性有限自动机的输入存贮阶效的一些算法.