基于网络状态的入侵行为描述及存储方法

提出了一种基于正则语言描述的网络状态入侵行为方法。谊方法结合网络入侵的目标和特点,利用有穷自动机理论,基于网络协议来实现进程和操作系统的状态建立,从而可以发现未知的入侵。论证了应用谊方法的可行性,利用通用入侵检测框架CIDF对应用这种方法的入侵检测系统进行了描述,并讨论了该系统实现时攻击描述的判断和存储方式,最后与其它入侵行为方法进行了比较。     

基于稀疏矩阵存储的状态表压缩算法

正则表达式匹配对于网络安全应用至关重要。将稀疏矩阵和索引表引入确定的有限自动机的状态转换表,提出了一种稀疏矩阵索引的状态压缩表算法,并给出了稀疏矩阵和索引表的构造方法。而后同字母压缩表算法结合,给出了该算法的优化策略。最后在实际规则集上进行评估,实验结果证明了算法的压缩效果,并进一步得出了算法的适用范围。     

有限状态自动机的并行确定化及过程分析

本文通过对并行环境下非确定有限自动机和确定有限自动机的等价性和转换进行研究，详细分析了非确定有限自动机到确定有限自动机的并行转换方法及算法，并以实例给出了其间并行转化的过程。     

正则表达式匹配引擎性能分析

正则表达式具有强大的描述能力,在计算机领域,正则表达式匹配技术应用十分广泛。目前,已经有多个正则表达式匹配引擎,在实际应用中,对于不同的匹配规则集和正则语法,不同的匹配引擎会有不同的性能表现。本文通过对PCRE、Greta、Boost、RE2四种常用正则表达式匹配引擎的性能测试,给出在不用的正则语法情况下的匹配速度,并深入分析不同坏境下适用的正则表达式匹配引擎。对实际系统设计中正则表达式库的选择有指导意义。     

一种适于XPath查询的自动机最小化算法

近年来,XM L数据流的查询处理引起了国内外学者的广泛兴趣。如何在XM L流中有效地查询大量XPath表达式是当今研究的一个热点问题。先将多个XPath式通过共享前缀处理,构造一个非确定的有穷自动机（NFA）模型,再将其转化为确定的有穷自动机（DFA）,以实现状态转移的确定性,然后对DFA进行最小化,提出了一种普遍适用的改进的最小化算法,在执行效率和空间代价方面它都优于一般性算法。     

树莓派的多个视频矩阵控制系统设计

介绍了一种基于树莓派的视频矩阵控制系统的设计方法,描述了系统的硬件组成和软件架构,并着重讲述了多个视频矩阵的串并联组合以及基于确定有穷自动机的键盘控制程序.测试结果表明该系统稳定可靠,在兼容市场上现有视频矩阵控制系统的同时具有自己独特的功能.该系统已经成功的运用于视频监控领域.     

确定自动机上的XML数据过滤算法改进

XML数据过滤过程中存在的缓存失效会导致过滤效率的降低,因此研究基于确定有限自动机的XML数据过滤过程中如何减少缓存失效对于改进过滤的性能具有重要意义.对已有的Lazy DFA执行算法进行改进,引入了频繁访问区的概念,对缓存中的状态增加一个状态转换计数器,然后通过设定该计数器的访问阈值对缓存中的数据进行筛选,超过该阈值的状态被确定为频繁访问区中的状态.并通过实验证明该访问机制可以减少自动机中状态转移过程在缓存大量状态中的搜索时间,从而有效地提高过滤和查询的时间性能.     

过程装备的装配建模技术

对装配模型的信息内容和描述方式进行了研究 ,提出了产品的层次关系装配模型 ,并参照并行工程的思想提出了过程装备装配建模系统的主要结构及其功能模块 ,为并行工程在过程装备设计中的应用奠定了基础     

并行工程下的产品设计策略

并行工程是一种在设计的早期阶段就综合考虑产品生命周期各个环节的工作模式。本文从ＤＦＡ的角度，论述了在并行工程思想指导下进行产品设计的基本原理，实现方法及其发展方向。     

面向装配设计的三维实体造型系统的研制

针对国内的三维实体造型系统难以描述装配关系的现状，在研究了装配建模技术和参数化造型技术的基础上，提出了一种新的建模方法，利用VB6．0和Pro／E的软件研制出了以轴为主控零件面向装配设计的三维实体造型系统，并总结出了一般流程。