基于状态子集编码的快速DFA构造算法

网络深度包检测等网络应用广泛采用正则表达式匹配技术检测网络中的传输内容,正则表达式用非确定性有限自动机(NFA)或者确定性有限自动机(DFA)实现.网络应用对匹配速度要求很高,相比NFA,DFA具有确定性的匹配速度,但所有基于DFA的方法需要预先从NFA构造一个与之等价的DFA,于是DFA的构造成为系统瓶颈之一.为此通过深入探索自动机内在运行特性———NFA状态间活跃关系和NFA中导致DFA空间膨胀的因素,设计了一种NFA状态子集的编码方法和查询方法,显著减少了DFA构造过程中状态子集的查询代价.基于入侵检测与防护系统Snort中的真实规则集的实验表明,与传统的子集构造算法相比,该方法减少了88.33%~93.57%的DFA构造时间.     

一种非确定型有穷自动机的极小化方法

自动机状态极小化是寻求状态数较少的自动机,使其与原自动机接受相同的语言．确定型有穷状态自动机（DFA）极小化问题在平方时间内可解,通过状态集上引入等价关系导出的商自动机即为接受相同正则语言的极小化自动机．而非确定型有穷状态自动机（NFA）极小化问题尚未找到有效算法．尽管NFA可以转化为DFA且接受的语言不变,但可能会出现状态数指数级增加．从语言B可以构造一个接受自己的子语言自动机,同态压缩映射子语言自动机为最终系统,从而为接受语言B的极小化自动机．     

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

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

一种基于YFilter的XML数据流查询的改进算法

利用XML文档中各路径之间相似的特点,只扫描一次XML文档,把重复的XML标记所生成的事件组合成一个聚合事件,并在基于共享前缀的NFA算法YFilter基础上,提出一种改进算法PolYFilter,实现了聚合事件的谓词计算.实验表明,与YFilter相比,PolYFilter算法减少了大量相同的有限自动机状态转移的中间状态,避免了状态集的重复计算.特别是当XML文档比较大,且重复标记比较多的时候,PolYFilter有较好的过滤性能.     

非确定型有穷自动机的极小化

利用自动机状态集上的等价关系对自动机的状态集进行极小化, 从而得到与原自动机功能等价的极小化自动机. 通过两台确定型有穷自动机（DFA）的连接, 构造一台非确定型有穷自动机（NFA）. 利用这两台确定型有穷自动机状态集上的等价关系, 可以构造这台非确定型有穷自动机状态集上的等价关系, 从而对这台非确定型有穷自动机进行极小化. 结果表明这台非确定型有穷自动机的极小化自动机的状态复杂 度, 不大于对那两台确定型有穷自动机的极小化自动机进行连接得到的非确定型有穷自动机的状态复杂度; 并且自动机在等价关系基础上进行极小化时不改变识别语言.     

两输入非线性前馈系统的镇定方法

为了便于构造两输入非线性前馈系统的镇定控制器,通过变换构造出与原系统等价的复数域低维单输入非线性前馈系统,再利用已有的单输入系统的控制方法对该等价系统设计一个复数域镇定控制器,采用逆变换得到原系统的两个镇定控制器,提出了将原系统转化为等价系统后再进行设计的镇定方法。用Lyapunov稳定性定理证明了闭环控制系统状态的渐进稳定性。结果表明:等价系统比原系统具有更少的输入和更低的维数,基于等价系统的设计方法降低了系统的分析难度,简化了控制器的设计步骤。     

两输入非线性前馈系统的镇定方法

为了便于构造两输入非线性前馈系统的镇定控制器,通过变换构造出与原系统等价的复数域低维单输入非线性前馈系统,再利用已有的单输入系统的控制方法对该等价系统设计一个复数域镇定控制器,采用逆变换得到原系统的两个镇定控制器,提出了将原系统转化为等价系统后再进行设计的镇定方法。用Lyapunov稳定性定理证明了闭环控制系统状态的渐进稳定性。结果表明:等价系统比原系统具有更少的输入和更低的维数,基于等价系统的设计方法降低了系统的分析难度,简化了控制器的设计步骤。     

两均匀康托集双李卜希兹等价的条件

确定两个集是否为双李卜希兹等价是一个复杂的问题 .本文讨论两均匀康托集双李卜希兹等价的必要条件 ,从而说明尽管维数是双李卜希兹不变量 ,但两集仅具有相同的维数远不足以保证它们等价 .     

非方离散时滞奇异系统的观测器设计

讨论了非方离散时滞奇异系统的观测器设计问题.在一系列等价变换下,将该问题转化为一个正常线性离散时滞系统的观测器设计问题,利用线性矩阵不等式(LMI)方法,给出了存在一个与系统状态维数相同的函数观测器的充分条件,并用此观测器对系统的状态进行了估计并讨论了一种特殊情况.     

Virasoro代数的交叉模

通过李代数交叉模的等价定义计算了Virasoro代数的交叉模,证明了Virasoro代数的交叉模等价类只有一个元素,利用Kassel和Loday证明的一一对应关系得到Virasoro代数的三阶上同调群是平凡的.     

一种构造正则表达式更小ε-NFA的方法

基于有限自动机的正则表达式匹配技术在网络信息领域得到了广泛应用,提出了一种构造正则表达式的更小NFA的方法——基于闭包的分片构造法GREC.GREC方法基于正则表达式中同态运算的封闭性以及闭包运算的层次特性和递归性进行构造.首先对正则表达式进行分片处理,然后构造每个分片的NFA,最后利用栈对各分片NFA进行重组获得最终的NFA.GREC方法在正则表达式层次结构复杂或包含有大量闭包运算的情况下,能够快速地构造出空间效率比传统的Thompson构造法高得多的NFA.     

非线性模型抗差最小二乘估计及其应用

以经典最小二乘法为基础,详细阐述了抗差因子的选取。从抵抗粗差的角度出发,抗差最小二乘法可提高非线性模型在有粗差干扰条件下参数估计的精度。以广东森林资源调查的样本资料,对提出的方法进行了检验与应用,结果表明提出的方法具有明显的抗粗差性。     

关于半马尔柯夫系统的信号流图建模问题

本文对用信号流图表示的半马尔柯夫系统的最小化问题作一述评。提出了用级联图表示图行列式的新概念以及解决最小化问题的方法     

三维模型特征笔画的风格化绘制

提出一个基于特征笔画的三维模型风格化绘制方法,能够在风格化绘制的同时,很好地描述三维模型的表面特征。首先定义了基于顶点径向曲率的分割标准函数和能量函数,采用能量最小化的Graph Cuts算法将三维模型表面的特征顶点和非特征顶点进行分割,连接特征顶点构成三维模型的特征笔画。在获取特征笔画后,采用纹理映射的方法生成风格化绘制效果。还提出两种纹理坐标的计算策略,可分别用于生成不同的风格化绘制结果。相比已有的方法,本方法能很好的表现模型的特征,且生成的笔画风格易于控制。     

基于动态贝耶斯规划图的状态安全报警关联

提出状态报警关联的概念以及基于动态贝耶斯规划图的报警关联算法。动态贝耶斯规划图在规划图的基础上结合了动态贝耶斯网络推理,显式地表示系统状态以及状态和攻击动作之间的相互影响。算法用贝耶斯推理处理不确定信息,量化地评估系统安全状态,并且有效地消除误报。     

故障攻击硬件仿真中低成本电路状态控制方法

为了解决基于FPGA的故障注入攻击仿真中,由于使用全扫描方法处理待测电路造成的逻辑资源消耗大的问题,提出一种用部分扫描电路实现电路状态完全可控的方法,即在任何时刻都可以改变电路中所有触发器的值,模拟故障注入攻击,进而在设计阶段对集成电路的安全性进行早期评估。将电路抽象为图,扩展平衡结构部分扫描测试方法,通过扫描触发器选择和触发器使能添加实现对所有触发器的同时控制。采用SAT可满足性算法,基于电路逻辑产生故障测试矢量集,实现故障注入仿真。结果表明,相较于全扫描电路,部分扫描方法以新增少量输入端口为代价,平均减少28.04%的扫描触发器,进而降低故障注入攻击硬件仿真的逻辑资源消耗。     

联图的星色数

为了进一步研究图的星色数,根据与路有关的联图结构的特殊性,运用结构图论的方法分别证明了路与路、路与圈、路与星图及路与扇的联图的星色数,同时,给出了一种简单易行的星染色方法。