一种基于XML的复合事件模型及其订阅语言

基于内容的Pub/Sub系统能够为大范围软件集成提供松耦合的、可扩展的集成能力,越来越引起人们的重视.现存的方法主要集中在对单一事件的匹配,缺乏对复合事件模型及其订阅语言的研究.针对此问题,文章给出一种基于XML事件的复合事件模型及其订阅语言,该模型包括事件时序逻辑模型和事件复合模式,并扩展了XMLQL语言得到复合事件订阅语言EXML-QL支持事件复合模型和模式;最后,依据该订阅语言的特点构造复合事件匹配算法,给出该算法的分析和验证.     

基于OBDD的描述逻辑εL循环术语集推理

循环术语集推理是描述逻辑研究中面临的难点问题,尚未得到很好的解决.有序二叉决策图（ordered binary decision diagram,简称OBDD）是一种对布尔函数进行紧凑表示和高效操作的数据结构,适用于表示和处理大规模问题.将OBDD应用于描述逻辑循环术语集的推理.首先,针对描述逻辑εL中的循环术语集,给出了描述图上关于最大模拟关系的重要性质,并借助集合表示和集合运算对该性质进行了表述和证明.在此基础上,应用布尔函数对描述图进行编码,给出了基于OBDD求解最大模拟关系的方法,进而给出了最大不动点语义下基于OBDD对概念包含关系进行判定的算法;接下来,基于OBDD给出了求解描述图中可以到达循环路径的所有结点的方法,进而给出了最小不动点语义下基于OBDD对概念包含关系进行判定的算法;最后,对算法的正确性、复杂度等进行了分析和证明,并对算法进行了编程实现,给出了关于计算性能的实验结果.该工作为循环术语集的推理提供了一条有效途径,也为OBDD在逻辑推理中的应用提供了新的案例.     

约束满足问题求解的符号OBDD桶消元算法

桶消元算法是求解约束满足问题的一种典型推理方法.针对桶消元算法面临的状态空间爆炸问题,将有序二叉决策图( OBDD)技术与该算法结合起来,给出了约束满足问题的一种求解算法.通过对约束满足问题中变量和域值的编码,将CSP问题转化为命题可满足性问题,给出了约束满足问题的OBDD表示方法;基于桶消元的算法思想,在约束满足问题...     

用户行为模式挖掘问题的研究

在软件可用性测试中，分析用户行为模式是一个关键的问题。为解决具有序列长度长、以序列片断为支持度计算依据等特点的用户行为模式挖掘问题，提出了一种有效的基于前缀树的频繁事件序列扩展方法，给出了比特图索引表的构造、事件扩展、事务扩展以及支持度计算的算法。使频繁事件序列能够简单快速地被确定。     

基于OBDD的拆卸几何可行性判别方法研究

在基于割集的拆卸序列生成算法中,对拆卸操作的几何可行性进行判别是频繁的操作.引进有序二叉决策图OBDD合理表示拆卸约束,设计了基于OBDD的几何可行性判别算法,比较了基于OBDD的判别算法与基于移动函数的判别算法的时间复杂度,结果表明基于OBDD的几何可行性判别算法比基于移动函数的判别算法具有更高的判别效率.     

基于图模型的足球视频语义建模方法

视频低层特征和高层语义之间存在的“语义鸿沟”是视频分析与检索应用研究的一个技术瓶颈问题。通过深入分析,提出了足球视频语义内容的时空关联特性,尝试引入图模型方法来建模这种语义关联,提出了视频语义图（VSU)的语义建模方法和基于DFS的视频语义图匹配算法,并分析了算法的复杂性。实验结果显示,该方法能够有效解决视频语义内容建模和分析匹配问题。     

装配序列规划问题的CSP模型及其符号OBDD求解技术

完全、正确的可行装配序列的表示和生成是装配序列评价、优化和选择的前提,为此建立了单调非线性装配意义下的可行装配序列规划问题的约束满足问题(CSP)模型,并给出了基于有序二叉决策图(OBDD)的符号求解算法.首先以装配联接图和移动向量函数为装配体模型,给出了装配联接图模型的共享二叉决策图(SBDD)表示、移动向量函数的OBDD表示,以及装配序列规划问题的CSP描述;然后将生成所有可行装配序列的问题转化为对CSP求解所有可能解的问题,利用回溯算法对CSP问题进行符号OBDD求解,得到了满足几何可行性约束的所有可行装配序列.最后通过装配体实验验证了基于CSP模型和OBDD推理的装配序列生成技术的正确性和可行性.     

用户行为模式挖掘问题的研究

在软件可用性测试中,分析用户行为模式是一个关键的问题。为解决具有序列长度长、以序列片断为支持度计算依据等特点的用户行为模式挖掘问题,提出了一种有效的基于前缀树的频繁事件序列扩展方法,给出了比特图索引表的构造、事件扩展、事务扩展以及支持度计算的算法。使频繁事件序列能够简单快速地被确定。     

基于分布式虚拟环境的装配约束语义模型

装配约束是用来支持分布式虚拟环境中装配交互操作的关键信息．装配约束信息的抽象性关系到对装配单元行为的支持力度，装配约束信息的组织机制决定了分布式虚拟装配计算机实现的效率．针对目前装配约束的抽象和使用方面存在的问题，首先研究装配约束的语义抽象与表达，从产品装配应用域中捕获知识，提取共性，归纳装配约束基本语义并形式化表达；然后提出一种扩展对象语义建模方法，通过该方法对装配约束语义进行组织，赋予其功能行为特性，构建装配约束语义模型．通过VEADAM系统实例，装配约束语义模型能够有效地支持分布式虚拟装配的实现，并能很好地适应应用的变化和扩展．     

基于关键词语义与作用域扩展的事件检测

针对具有关联要素的中文文本事件检测问题,提出一种新的事件检测算法。采用关联关系分析、关键词语义扩展和关键词作用域扩展等方法,将目标事件包含的所有文本作为一个整体进行关键词匹配。该算法将关键词向量分为2个子向量,依次利用关键词子向量对待检测文本进行关键词语义扩展、关键词匹配和关联关系分析,形成目标事件的文本集并提取事件信息。实验结果显示,在关键词较少的条件下,该算法通过关键词语义扩展提高检测到目标事件的概率,在关键词较多时,通过关键词作用域扩展提高检测到目标事件的概率,可降低漏检率。