基于层叠条件随机场的网络入侵识别

为了能够在网络环境中从大量底层入侵警报信息中正确有效地识别其背后隐藏的攻击意图和规划,提出了基于层叠条件随机场模型的网络入侵识别方法.该方法首先在低层条件随机场中解决对简单的入侵识别,并将结果传递到高层的条件随机场模型以进行对复杂的入侵识别,实现了自适应、智能化的入侵检测系统.实验结果表明,该方法有较低的误报率,综合看来比传统方法优越.     

一种应用规划识别建立自然语言接口的方法

提出了一种应用规划识别来建立制图领域的自然语言接口的方法,使用本体来表示领域知识,拓展了Henry Kautz及Guy Cam illeri的规划识别假设,在EXA、D JA、CUA、ELA等假设的基础上提出同义、合并、构图、确定四个规划识别法则,用PROLOG语言实现了这个自然语言接口,实验结果表明对于特定的领域,应使用特定的规划识别过程才能取得较好的效果。     

基于区间矩阵的时态关系的简化方法

用区间代数能表示不确定的时态关系,可以方便地应用于时态推理,表达能力强。将区间代数及区间矩阵中有端点相等的基本关系去掉,只保留现实世界中真正可能发生的基本关系,大大降低了问题的复杂性,然后,对每个原子矩阵建立一个特征集,用特征集的并运算来取代矩阵的复合运算,提高了计算效率。     

模型-理论框架中算子泛化后的保持性和相容性研究

对传感器数据融合的模型-理论框架中模型算子的保持性和相容性等概念的定义进行了泛化研究推广,对相关特性在算子作用下的不变性或守恒性进行了分析探讨,得到了十九个定理结果.     

一个建立分子结构的子分子结构库的算法

给出了一个建立分子结构的子分子结构库的算法：将分子结构视为一种特殊的结点可同名的连通无向图，然后求出该图的所有连通子图。     

一个建立分子结构的子分子结构库的算法

给出了一个建立分子结构的子分子结构库的算法将分子结构视为一种特殊的结点可同名的连通无向图,然后求出该图的所有连通子图.     

INDU网络的解析表达及其一致性计算

INDU网络在区间代数的基础上引入了时间区间的长度,细化了时间区间之间的定性关系,使得时间定性推理的精确性有所提高。本文给出了INDU网络的0维、1维及2维的共计25个解析公式,用解析的方法来刻画INDU网络,并用它来实现INDU网络全局解的一致性计算。     

INDU网络的解析表达及其一致性计算

INDU网络在区间代数的基础上引入了时间区间的长度，细化了时间区间之间的定性关系，使得时间定性推理的精确性有所提高。本文给出了INDU网络的0维、1维及2维的共计25个解析公式，用解析的方法来刻画INDU网络，并用它来实现INDU网络全局解的一致性计算。