非确定部分有限状态机的一种新的一致性关系及其测试

在系统实际测试过程中,发现非确定部分有限状态机的模型可以方便地描述和刻画许多系统的逻辑行为.但在这种模型下,状态机并非完全接受所有的输入序列,且在某些输入序列上会产生不确定的输出序列,所以,经典的完全确定有限状态机的一致性定义,即被测实现和协议规范等价,不适用于非确定部分有限状态机.本文引入了一种新的一致性定义,并在非确定部分有限状态机下,给出了该一致性定义下完备的测试序列生成方法.

离散事件系统的非确定性状态反馈控制(Ⅰ)

在离散事件系统（ＤＥＳ）中引入了强迫事件，讨论了确定性ＤＥＳ的非确定性状态反馈控制，其中对闭环系统的行为规范得到并证明了非确定性状态反馈控制器存在的充分必要条件。

基于局部乱序事件排序的复杂事件匹配方法

为处理乱序事件流上的复杂事件匹配问题,减少排序开销,在非确定有限状态自动机的基础上提出解析查询指导排序策略和匹配结果反馈排序策略。根据查询内容对事件流进行分解过滤,得到查询所需的子事件流,设计基于堆排序的子事件流合并算法。通过匹配过程中自动机的状态,设计算法对自动机状态转移相关的事件实例进行排序。在股票数据集上进行实验,验证了提出方法相较于现有方法在匹配性能上有显著提升。

基于有限状态自动机理论的CBTC系统列车管理方法研究

针对C B T C系统中车地通信常见的功能需求,建立车地通信交互模型;通过有限状态自动机理论(F S A)对列车通信自动管理模型进行定义,并根据定义构造非确定有限自动机(NFA)和确定性有限自动机(DFA),完成创建列车管理状态自动机能够识别的语言,实现CBTC系统列车自动管理功能。

QoS多播路由技术进展

论述了ＱｏＳ多播路由技术进展．文中先介绍了ＱｏＳ多播路由问题产生的背景，论述了ＱｏＳ路由问题及多播路由算法；接着重点论述了ＱｏＳ多播路由技术的发展状态；最后提出了该领域进一步研究的有关方向．

机械产品专利技术方案信息抽取方法

专利因其创新性和实用性的特点成为概念设计的重要知识资源,结构化专利技术方案信息抽取是专利设计原理知识挖掘的基础工作。针对机械产品专利,描述了面向概念设计知识需求的专利技术方案概念模型,将专利技术方案信息抽取任务分解为技术组件抽取和技术关系抽取两部分。研究专利信息抽取知识库建设,利用非确定有限状态自动机识别技术组件,采用专业术语词典进行技术组件语义分析,以框架语义学为理论基础,构建用于技术关系抽取的专利动词语义框架库。提出基于自然语言理解的技术方案信息抽取过程,研究浅层句法分析和语义分析的关键技术,并以美国专利为例进行说明,结果表明该方法可自动获取结构化专利技术方案信息,有助于专利在概念设计中的深入应用。

在线-离线数据流上复杂事件检测

随着数据采集和处理技术的发展,在物联网对象跟踪、网络监控、金融预测、电信消费模式等领域中进行事件检测显得越发重要.事件检测在一次扫描数据流的假设下完成,数据流在被处理完后丢弃.事实上,很多应用场景中,历史数据流因含有丰富的信息而不能简单丢弃,且一些事件检测查询需要同时在实时和历史数据流上进行.鉴于已有复杂事件检测很少考虑同时在实时-历史数据流上进行模式匹配,作者研究了在线-离线数据流上复杂事件检测的关键问题.主要工作如下:(1)针对滑动窗口内产生的大量模式匹配中间结果,提出利用时态关系和时空关系管理中间结果的方法 TPM和STPM.STPM以中间结果的时态和状态信息为权值对中间结果进行管理,将最近的、最有可能更新状态的中间结果置于内存,极大地减少了中间结果的读取操作代价.(2)给出了基于选择度的在线-离线复杂事件检测优化算法;(3)给出了算法的复杂性分析和代价模型;(4)在基于时空关系的中间结果管理模型下,在一个在线-离线复杂事件检测原型系统中进行实验,对多个参数(子窗口大小,选择度,匹配率,命中率)进行了算法对比分析.实验结果充分验证了所提出的算法的可行性和高效性.

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

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

基于网络处理器的深度包检测系统的研究

由于互联网已经成为一个必要的工具,增加网络安全性,提高网络速度的要求进一步增加。解决这些问题的传统机制并非足够有效,因此我们需要找到一种新的方法来解决这个问题,本文提到了一种使用网络处理器设计高速深度包检测引擎的新方法。

PNFSM测试用例生成的研究

The paper proposes one test case generation algorithm tor partial/y-specified nondeterministictinite state machine and its validity analysis. After comparing with other generation methods, someproblems of testing object state diagram are given.