检索结果-内蒙古大学图书馆

计算机研究与发展 2013年第2期50卷 225-239页

作者：刘大有陈慧灵齐红杨博吉林大学计算机科学与技术学院长春130012 符号计算与知识工程教育部重点实验室(吉林大学) 长春130012

近年来,随着全球定位系统、传感器网络和移动设备等的普遍使用,非时空数据和时空数据急剧增加,加之时空数据处理更为复杂,使数据处理任务日趋繁重的形势更加严峻.因此,寻找有效的时空数据挖掘方法具有十分重要的意义.针对这一背景,主要... 详细信息

近年来,随着全球定位系统、传感器网络和移动设备等的普遍使用,非时空数据和时空数据急剧增加,加之时空数据处理更为复杂,使数据处理任务日趋繁重的形势更加严峻.因此,寻找有效的时空数据挖掘方法具有十分重要的意义.针对这一背景,主要围绕时空模式发现、时空聚类、时空异常检测、时空预测、时空分类、时空数据挖掘与推理的结合等方面,对时空数据挖掘研究的现状进行了详细介绍,对其当前所面临的一些主要问题及可能的解决方案进行了探讨.

关键词：时空数据挖掘时空模式发现时空聚类时空异常检测时空预测和分类

来源：评论

学校读者我要写书评

暂无评论

XML空间频繁变化结构挖掘方法

引用

计算机学报 2013年第2期36卷 317-326页

作者：李巍李雄飞郭建芳吉林大学计算机科学与技术学院长春130012 符号计算与知识工程教育部重点实验室长春130012

XML数据在实际使用过程中不断发生改变,针对XML数据动态可变的特点,提出一种根据XML数据变化过程挖掘XML空间频繁变化结构SFCS(Spatial Frequently Changing Structure)的方法,首先提出XML子结构空间度量方法,通过结构空间变化度SSCD、... 详细信息

XML数据在实际使用过程中不断发生改变,针对XML数据动态可变的特点,提出一种根据XML数据变化过程挖掘XML空间频繁变化结构SFCS(Spatial Frequently Changing Structure)的方法,首先提出XML子结构空间度量方法,通过结构空间变化度SSCD、版本空间变化度VSCD和空间变化程度SCD这3个度量值衡量XML子结构的空间变化频繁性并提出SFCS定义.进一步,提出一种用于保存XML空间变化信息和发现SFCS的数据模型SC-DOM,论证了XML编辑操作对子结构空间的影响并据此提出SC-DOM状态动态迁移方式,最后提出根据SC-DOM发现SFCS的算法并讨论算法复杂度.实验结果表明SFCS是频繁变化的结构,使用SC-DOM模型进行SFCS挖掘是有效且可扩展的.

关键词：数据挖掘 XML 频繁模式空间频繁变化结构 SC-DOM

来源：评论

学校读者我要写书评

暂无评论

基于MYCIN方法的用户信任关系判别

基于MYCIN方法的用户信任关系判别

引用

第31届中国数据库学术会议

作者：左祥麟姚远王泊王俊华左万利吉林大学计算机科学与技术学院长春130012 吉林大学计算机科学与技术学院长春130012 符号计算与知识工程教育部重点实验室(吉林大学) 长春130012

网络用户可信性是网络不实信息判别的重要依据,自Web2.0出现以来引起社会广泛关注.提出了基于MYCIN推理的新颖信任关系判别方法,该方法综合利用了现有的信任关系以及用户之间的评分关系,以用户对另一用户的评分记录为证据,基于监督学习... 详细信息

网络用户可信性是网络不实信息判别的重要依据,自Web2.0出现以来引起社会广泛关注.提出了基于MYCIN推理的新颖信任关系判别方法,该方法综合利用了现有的信任关系以及用户之间的评分关系,以用户对另一用户的评分记录为证据,基于监督学习得到的规则集,通过证据合取产生对"信任"和"不信任"的量化表示,推测出用户之间的信任关系.在扩展Epinions数据集对比实验的结果表明,该方法取得较高的准确率和召回率,其综合评价指标F值达到96.92％,比已有最好方法提高7.91％,表明用MYCIN方法解决社会网络中的用户信任关系预测问题是合理和有效的.

关键词：社会网络用户管理信任关系专家咨询系统

来源：评论

学校读者我要写书评

暂无评论

改进的基于逆向流分析的C程序切片算法

引用

吉林大学学报（信息科学版） 2014年第1期32卷 47-55页

作者：李冰雨吕帅何丽莉吉林大学计算机科学与技术学院长春130012 中国科学院信息工程研究所北京100093 吉林大学符号计算与知识工程教育部重点实验室长春130012 吉林大学数学学院长春130012

为解决切片算法时空开销太大的问题,提出一种改进的基于逆向流的静态切片算法。只需通过分析控制依赖,获得程序整体框架,再从切片点开始基于逆向控制流从里向外扩张式扫描,在扫描中不断获得只与切片相关的数据依赖,以此得到程序切片。... 详细信息

为解决切片算法时空开销太大的问题,提出一种改进的基于逆向流的静态切片算法。只需通过分析控制依赖,获得程序整体框架,再从切片点开始基于逆向控制流从里向外扩张式扫描,在扫描中不断获得只与切片相关的数据依赖,以此得到程序切片。该算法减少了计算控制流的工作量,避免计算谓词依赖集的过程,减少了存储资源开销,提高了切片的效率。

关键词：程序切片静态切片控制依赖数据依赖逆向流

来源：评论

学校读者我要写书评

暂无评论

一种球面点投影关系的推理方法

引用

吉林大学学报（工学版） 2013年第5期43卷 1325-1330页

作者：欧阳继红马玲吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012

在详细分析球面特性与模型的基础上,提出了球面点投影关系的推理算法,该算法能得到球面8种投影关系的逆关系与翻转关系以及8种投影关系间的复合关系,并以表格形式给出。通过查表,可以由已知的球面投影关系得到未知的球面投影关系。该推... 详细信息

在详细分析球面特性与模型的基础上,提出了球面点投影关系的推理算法,该算法能得到球面8种投影关系的逆关系与翻转关系以及8种投影关系间的复合关系,并以表格形式给出。通过查表,可以由已知的球面投影关系得到未知的球面投影关系。该推理方法完善了球面投影关系模型,为其实际应用奠定了基础。

关键词：人工智能定性空间推理投影关系推理方法球面几何

来源：评论

学校读者我要写书评

暂无评论

对离散事件系统的共可诊断性验证

引用

吉林大学学报（工学版） 2013年第1期43卷 123-129页

作者：李占山靳志敏杨凤杰徐培治吉林大学符号计算与知识工程教育部重点实验室长春130012 吉林大学计算机科学与技术学院长春130012

提出了一种验证离散事件系统共可诊断性的多项式算法,算法通过构建一个检验自动机来实现,将故障路径和正常路径提取出来进行对比。另外将传统的共可诊断性划分为两种情况分别处理可以提高算法效率。可分别用于验证系统的F-共可诊断性和... 详细信息

提出了一种验证离散事件系统共可诊断性的多项式算法,算法通过构建一个检验自动机来实现,将故障路径和正常路径提取出来进行对比。另外将传统的共可诊断性划分为两种情况分别处理可以提高算法效率。可分别用于验证系统的F-共可诊断性和NF-共可诊断性。复杂性分析和案例分析表明本文算法的计算复杂度更低。实验验证了本文方法的高效性和有效性。

关键词：人工智能基于模型的诊断离散事件系统验证算法 F-共可诊断性 NF-共可诊断性

来源：评论

学校读者我要写书评

暂无评论

扩展度量关系的9-交集模型

引用

吉林大学学报（工学版） 2013年第3期43卷 695-700页

作者：欧阳继红王振鑫景黎吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012

提出了8种分割度量和4种区域间的距离度量,并通过这些度量对传统的拓扑关系模型9交集模型进行扩展:用度量值替换9-交集矩阵中相应的元素,表示对应的度量属性,将度量关系和拓扑关系有机结合起来。扩展后的9-交集模型能同时表达拓扑和度... 详细信息

提出了8种分割度量和4种区域间的距离度量,并通过这些度量对传统的拓扑关系模型9交集模型进行扩展:用度量值替换9-交集矩阵中相应的元素,表示对应的度量属性,将度量关系和拓扑关系有机结合起来。扩展后的9-交集模型能同时表达拓扑和度量信息,增强区域间关系的表达能力,扩展了模型本身对拓扑的表达能力;并且提高了空间数据查询的准确性和效率,同时也更符合人类的认知。

关键词：人工智能拓扑关系度量关系 9-交集分割度量距离度量

来源：评论

学校读者我要写书评

暂无评论

不确定区域间定性方向关系模型

引用

吉林大学学报（工学版） 2013年第1期43卷 111-116页

作者：陈娟刘大有贾海洋吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012

针对现有基于宽边界区域的定性方向关系模型存在关系数目巨大不易处理、空间方向划分不符合人类习惯等不足;采用锥形主方向关系作为基础,用由内、外分明区域间方向关系构成的四元组描述宽边界区域间的方向关系,并给出四元组内部4个基本... 详细信息

针对现有基于宽边界区域的定性方向关系模型存在关系数目巨大不易处理、空间方向划分不符合人类习惯等不足;采用锥形主方向关系作为基础,用由内、外分明区域间方向关系构成的四元组描述宽边界区域间的方向关系,并给出四元组内部4个基本关系间的相互约束;讨论了宽边界方向关系的逆运算和复合运算;在此基础上,给出如何将基于宽边界区域的方向关系约束网转换为基于分明区域约束网的规则。此模型不仅降低了方向关系的数目,而且更符合人类认知。

关键词：人工智能定性空间推理方向关系不确定区域宽边界区域锥形主方向关系

来源：评论

学校读者我要写书评

暂无评论

基于问题结构的边界启发式方法

引用

吉林大学学报（工学版） 2013年第4期43卷 1045-1051页

作者：李占山张良郭劲松张乾吉林大学符号计算与知识工程教育部重点实验室长春130012 吉林大学计算机科学与技术学院长春130012

现有启发式方法在处理Composed问题时会生成过多节点,造成求解效率下降。基于此类问题结构特性,设计并实现了一种新的变量排序启发式方法——边界启发式。针对问题结构,提出了边界变量的概念,在Composed问题上实现了对边界变量的筛选,... 详细信息

现有启发式方法在处理Composed问题时会生成过多节点,造成求解效率下降。基于此类问题结构特性,设计并实现了一种新的变量排序启发式方法——边界启发式。针对问题结构,提出了边界变量的概念,在Composed问题上实现了对边界变量的筛选,检索过程中,同普通变量相比边界变量被赋予更高的实例化优先级,文中给出了新启发式方法的两种实现策略。实验结果表明,新启发式方法在求解效率上明显优于原有启发式方法。

关键词：人工智能边界启发式约束满足问题 Composed问题

来源：评论

学校读者我要写书评

暂无评论

基于缩减信念状态的Conformant规划方法

引用

软件学报 2013年第7期24卷 1557-1570页

作者：魏唯欧阳丹彤吕帅吉林大学计算机科学与技术学院吉林长春130012 符号计算与知识工程教育部重点实验室(吉林大学) 吉林长春130012

Conformant规划问题通常转化为信念状态空间的搜索问题来求解.提出了通过降低信念状态的不确定性来提高规划求解效率的方法.首先给出缩减信念状态的增强爬山算法,在此基础上,提出了基于缩减信念状态的Conformant规划方法,设计了CFF-Lit... 详细信息

Conformant规划问题通常转化为信念状态空间的搜索问题来求解.提出了通过降低信念状态的不确定性来提高规划求解效率的方法.首先给出缩减信念状态的增强爬山算法,在此基础上,提出了基于缩减信念状态的Conformant规划方法,设计了CFF-Lite规划系统.该规划器的求解过程包括两次增强爬山过程,分别用于缩减信念状态和搜索目标.首先对初始信念状态作最大程度的缩减,提高启发函数的准确性;然后从缩减后的信念状态开始执行启发式搜索.实验结果表明,CFF-Lite规划系统通过快速缩减信念状态降低了问题的求解难度,在大多数问题上,求解效率和规划解质量与Conformant-FF相比,都有显著的提高.

关键词： Conformant规划问题信念状态增强爬山启发式搜索

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：