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

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

幺半群-矩阵型自动机的自同态幺半群

基于对循环交换自动机的特征幺半群的研究,给出了幺半群-矩阵型自动机的一个刻画,同时讨论了幺半群-矩阵型自动机的输入集和幺半群的生成元集之间的关系,将群-矩阵型自动机的结论推广到幺半群-矩阵型自动机.     

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

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

基于树自动机的网页数据抽取

为了自动将数据从HTML网页中抽取出来,采取树自动机推断方式进行数据抽取.核心思想是将样本网页转化为二叉树并构建出能够接受这些网页二叉树的树自动机,利用所得到的树自动机对待抽取网页的接受和拒绝状态进行数据抽取.该方法充分利用了HTML文档内在的树状结构,设计了简单方便的样本网页标注形式.实验表明,该方法的抽取性能在查全率和F值方面优于其它的一些数据抽取方法.     

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

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

连续相位调制中的代数结构

在介绍连续相位调制的有限自动机定义方法之后,讨论了连续相位调制状态序列生成马尔柯夫链状态转移矩阵的循环性质.在此基础上研究了循环矩阵作用于循环矢量上的特珠性质.作为这一理论的一个应用,本文用简单初等的代数运算给出了连续相位调制功率谱密度的简洁公式.     

一种一维细胞自动机的分类

讨论了基本细胞自动机的一种扩展模型,通过二元矩阵展现了局部规则与全局演化的关系.利用矩阵的秩对这类细胞自动机进行了计算机实验分类.     

改进的八近邻区域边界标定自动机

在图像边界标定算法的基础上,通过化简自动机的状态迁移映射,减少了自动机在提取边界过程中的运算步骤和存储空间,提高了自动机效率.     

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

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

实时调度问题的形式化描述及分析

使用自动机理论建立了一个用于分析实时调度问题的、可化简归并的形式化方法。通过分析单个任务的状态变化过程来构造实时系统的自动机。对自动机的状态进行化简和归并，大大降低了讨论实时调度问题的复杂度。以优先级上限协议为例构造了确定有穷自动机并使用该自动机证明了优先级上限协议的性质。     

用于覆盖测试的代码插桩程序设计与实现

设计了一种用于覆盖测试的代码插桩器,重点介绍了一种高效的词法语法分析方法：通过所读入的左右大括号是否匹配把整个代码分为函数内部和外部,根据这两部分感兴趣的关键字不同建立不同的DFA状态转换表,使每个词素能够用最少的状态转换次数判断出是否为所关注的关键字,减少状态转移的时间复杂度;使用已生成的状态转换表,消除了建立DFA的时间开销。描述了状态转换表的生成过程,插桩器的实现过程以及运行结果。     

一类开关混杂系统的优化控制设计

将混杂系统的逻辑部分表述为一类｛0，1｝系数的形式，并给出了类能量函数的概念，使用类能量函数的方法给出了一个混杂系统稳定的充要条件，在此基础上将子系统的连续控制和逻辑部分结合起来对系统进行性能优化设计，并保证设计结果的稳定性，仿真结果表明由于本文给出的方法可以在有限的时间段上利用不可镇定的子系统来改善系统的性能，从而取得了更好的控制效果。     

一种改进的词法分析程序及其类C语言实现

本文提出一种改进的词法分析程序设计思想,并进行了实现。首先定义四类字符集,构造状态转换矩阵。然后通过对给定文法的分析,化简变换状态转换矩阵使之成为程序可直接使用的二维数组Status。最后利用二维数组Status给出了核心函数get Word（）的类C描述。     

用布尔矩阵分析离散事件系统

本文用布尔矩阵研究了一类可用自动机描述的离散事件系统的有关性质。通过简单的矩阵运算，便可确定出系统状态间的距离（事件数）等参数。此外还讨论了用状态转移矩阵确定系统的可能逻辑迹集等问题。     

对DFA最小化算法等价性问题的探讨与改进

有穷自动机极小化问题的研究,在程序测试、模糊系统、概率自动机等方面具有重要意义。利用自动机状态集上的等价关系对自动机的状态集极小化,从而得到与原自动机功能等价的极小化自动机,该内容是词法分析的重点。很多编译原理书籍介绍的DFA最小化算法是＂分割法＂,但该算法存在一定的问题,本文从对一些特殊的DFA的处理入手,分析＂分割法＂算法在等价原则方面的漏洞,并提出了对最小化问题的改进算法。     

受演变随机激励结构响应的增维精细时程积分法

对受非均匀调制演变随机激励结构响应问题进行了研究.先用虚拟激励法将随机荷载化为确定性荷载,然后将非均匀调制演变随机模型用状态方程表示.借助于随机模型的状态方程表达式,可构造出增维精细时程积分格式,从而快速精确地求出结构的时变功率谱响应.同HPD-M格式相比,该方法不仅计算效率有所提高,而且由于避免了矩阵求逆,可直接处理具有刚体模态的结构.最后通过两个算例与HPD-M格式的计算效率进行比较,表明本方法具有显著的优越性.     

不可约闭集的余集为有限集的Markov链的吸收概率

一个Markov链的状态空间Ψ可以分解为一系列互不相交的不可约闭集C1，…，Ck，…。及其余集口ΨT。对于ΨT为一个非空有限集的情形。给出了用于计算吸收概率的一些公式，证明了关于首达时的一些很直观的性质。     

基于语义网络模型的面向装配的设计研究

对并行工程下面向装配的设计（ＤＦＡ）进行了研究，总结了ＤＦＡ的一般原则，引入了适于ＤＦＡ的产品装配结构的语义网络模型及其描述语言即功能描述语言，并通过实际的例子说明了这种模型在ＤＦＡ中的具体应用。     

有限状态马氏过程的自相关函数的单调性

使用生成元(转移速率矩阵)的若当分解,给出了以自相关函数描述的可逆性和不可逆性之间的区别。对于有限状态的马氏过程,证明了不可逆性蕴涵着存在状态空间上的实值观测函数,使得它的自相关函数在［0,∞)上不单调,且在某个时间间隔内,它是负值的;而可逆性则蕴涵着状态空间上所有的实值观测函数的自相关函数在［0,∞)上单调,且为正值的。