深度包检测中一种高效的正则表达式压缩算法

提出一种基于确定的有穷状态自动机(deterministic finite automaton,简称DFA)的正则表达式压缩算法.首先,定义了膨胀率DR(distending rate)来描述正则表达式的膨胀特性.然后基于DR提出一种分片的算法RECCADR (regular expressions cut and combine algorithm based on DR),有效地选择出导致DFA状态膨胀的片段并隔离,降低了单个正则表达式存储需求.同时,基于正则表达式的组合关系提出一种选择性分群算法REGADR(regular expressions group algorithm based on DR),在可以接受的存储需求总量下,通过选择性分群大幅度减少了状态机的个数,有效地降低了匹配算法的复杂性.     

基于阻抗幅值波动差异的新型参数识别方向元件

针对故障分量方向元件在大规模双馈风机并网不适用的问题,提出了基于正序阻抗幅值波动差异的新型参数识别方向元件。首先,将风电场正序阻抗波动量化,分析阻抗波动对正序故障分量方向元件影响,得到正序故障分量方向元件在风电场送出线路的拒动边界。其次,基于Prony算法结合带通滤波器提取工频量,分析送出线路风电侧正、反方向故障正序阻抗幅值变化特征。最后,引入去趋势波动分析(detrended fluctuation analysis, DFA)计算波动函数,构造新型参数识别方向元件动作判据,实现故障方向判别。仿真结果表明,提出的参数识别方向元件不受风电场运行工况、故障类型和系统振荡的影响。当过渡电阻达到100?W?时,仍能正确判别故障方向,具有较强的抗干扰性能,适用于含风电接入的弱馈型电力系统。     

An efficient query learning algorithm for ordered binary decision diagrams

In this paper, we propose a new algorithm that exactly learns ordered binary decision diagrams (OBDDs) with a given variable ordering via equivalence and membership queries. Our algorithm uses at most n equivalence queries and at most 2n (log₂ m + 3n) membership queries, where n is the number of nodes in the target-reduced OBDD and m is the number of variables. The upper bound on the number of membership queries is smaller by a factor of O(m) compared with that for the previous best known algorithm proposed by [R. Gavaldà, D. Guijarro, Learning Ordered Binary Decision Diagrams, Proceedings of the 6th International Workshop on Algorithmic Learning Theory, 1995, pp. 228–238].     

面向装配设计的建模技术

面向装配设计(DFA)的建模技术是并行工程的关键技术之一，在分析DFA主要内容的基础上，为了对设计者提供一个友善的集成化DFA分析环境和工具，提出了一种适合于对产品可装配性进行分析和评价的集成化的产品信息模型。该模型能完整地储存产品的装配信息，有效地为面向装配设计的各个活动提供集成化的信息支持。     

基于维修的DFA/D系统设计

 DFX 是实现产品并行设计的重要工具，考虑到产品维修活动中的拆卸与装配问题，指出研究面向维修的DFA／D)的必要性．在借鉴传统DFA，DFD研究的基础上，阐明面向维修的DFA／D的结构设计及其关键技术，初步证明了面向维修的DFA／D作为设计工具实现维修性并行设计具有现实可行性．     

基于自动机模型的构件集成软件测试要素的提取

分析了构件化软件接口、事件、上下文及内容依赖关系在集成测试中的作用，以及提取该四要素的难度；针对构件化软件的自身特点提出了一种有限状态自动机模型，利用该模型实施对四要素的提取，并通过实例验证了该模型的有效性。     

Web环境下面向装配的设计系统的研究

提出了基于Web的面向装配的设计系统集成框架,设计了DFA的分析流程和评价体系,并采用Java和Web技术建立了基于网络的WebDFA原型系统．该系统为异地环境下的设计人员提供了产品装配分析和评价手段,最后通过实例验证了系统的有效性．     

面向装配工艺规划与评价的装配特征建模

面向装配的设计是并行工程中的一项重要的使能技术。探讨了面向装配工艺规划与评价的产品建模方法。为了解决从CAD模型中提取装配关系的问题,阐述了基于装配特征建立产品装配模型的方法。     

一种用于深度报文检测的DFA状态表压缩方法

基于正则表达式进行深度报文检测在IDS/IPS、应用层协议识别等网络应用中具有重要作用。然而,采用DFA实现正则表达式需要大量的存储空间,限制了它的实际应用。将DFA状态转换表拆分成3个表,使用run-length编码进行压缩,并对压缩方法进行了优化。采用l7-filter中几个常用应用程序的正则表达式进行测试,结果表明该方法压缩效果一般在90%以上。     

一种快速高效的模式匹配算法的应用研究

提出一种高性能的模式匹配算法——MAC算法,它通过使用从确定性有限状态机（DFA）中得到的特征等同态,在保证高速匹配的前提下,极大地减少了内存需求。同时,该算法具有高度的灵活性,即通过调整就可以适应不同的特定性能和资源限制的要求。在软件使用环境中的实验结果表明,MAC算法的内存使用性能相对目前先进的模式匹配算法提高了1.51~2.40倍。