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

约束满足问题(CSP-Constraint Satisfaction Problem)是人工智能研究领域的一个重要问题。在求解过程中，相容性技术(consistency technique)所起的作用是十分巨大的，该技术通过移走不相容的值和尽可能早地发现将来会产生冲突的值，来降低搜索空问、加速求解过程。研究约束求解中的相容性技术,针对目前已有相容性的传播级别,提出一种新的相容性概念——基于序列的子问题相容性(SSAC),并给出相应实现算法,而后分析其时空、空间复杂性及正确性,证明SSAC化简不改变原约束满足问题的解集,同时证明SSAC的约束传播能力介于SAC和AC之间通过对随机问题和.composed问题的测试表明:新提出算法的效率是已有算法SAC-SDS和SAC-3的2-3倍.

关键词：人工智能约束满足问题相容性约束传播能力

来源：评论

学校读者我要写书评

暂无评论

面向中文自然语言文档的自动知识抽取方法

引用

计算机研究与发展 2013年第4期50卷 834-842页

作者：车海燕冯铁张家晨陈伟李大利符号计算与知识工程教育部重点实验室(吉林大学) 长春130012 吉林大学计算机科学与技术学院长春130012

自动知识抽取方法可以自动识别并抽取Web文档中与本体匹配的事实知识。利用这些事实知识既可以构建基于知识的服务,也能够为语义Web的实现提供必要的语义数据。但面向自然语言特别是中文自然语言的自动知识抽取非常困难.提出了基于语义... 详细信息

自动知识抽取方法可以自动识别并抽取Web文档中与本体匹配的事实知识。利用这些事实知识既可以构建基于知识的服务,也能够为语义Web的实现提供必要的语义数据。但面向自然语言特别是中文自然语言的自动知识抽取非常困难.提出了基于语义Web理论和中文自然语言处理(natural language processing,NLP)技术的自动知识抽取新方法AKE,用聚集体知识概念刻画N元关系知识,能够在不使用大规模语言知识库和同义词表的情况下自动识别中文自然语言文档内容中显式和隐含的简单事实知识和N元关系复杂事实知识.实验结果表明该方法优于目前已知的其他方法.

关键词：自动知识抽取中文自然语言文档 AKE 语义Web 聚集体知识概念 N元关系

来源：评论

学校读者我要写书评

暂无评论

时空数据挖掘研究进展

引用

计算机研究与发展 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

来源：评论

学校读者我要写书评

暂无评论

车载自组网移动模型综述

引用

计算机学报 2013年第4期36卷 677-700页

作者：魏达王沿锡王健刘衍珩邓伟文吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012 吉林大学汽车仿真与控制国家重点实验室长春130012

车载自组网已经在学术界和工业界受到广泛重视,新型应用和协议在实际工况条件下的测试需要很多人力和物力,并且不易控制,因此通常采用软件模拟方式进行实验验证.准确的移动模型是提高车载自组网模拟结果置信度的关键技术之一.文中从对... 详细信息

车载自组网已经在学术界和工业界受到广泛重视,新型应用和协议在实际工况条件下的测试需要很多人力和物力,并且不易控制,因此通常采用软件模拟方式进行实验验证.准确的移动模型是提高车载自组网模拟结果置信度的关键技术之一.文中从对交通特征的刻画粒度、移动模型的依赖与限制条件和移动模型的建立方法3个方面对已有的移动模型进行综合分析,提出若干面向宏观行为的统计特征量,并选取典型移动模型对其设计原理、微观特征和宏观特征等进行详细对比分析.微观方面,分析了各移动模型车辆的单次移动时间、单次移动距离、单次暂停时间和单次连接时间等特征量,结果发现不同模型在上述特征量的补累积分布下具有相似特征,而对应特征量的概率分布则具有一定差别.宏观方面,分析了各移动模型单个车辆的平均速度、总移动距离、总移动时间、平均邻居数量和平均加速度等特征量,结果表明不同模型在上述特征量的补累积分布下也体现出近似的相变行为,但各自的相变点不同,各模型对应特征量的概率分布具有明显的泊松分布特征,但均值差异较大.另外,也分析了各移动模型所有车辆的瞬时平均速度、瞬时移动距离、瞬时移动车辆数目、瞬时平均邻居节点数和瞬时平均加速度等特征量,结果表明各移动模型瞬时特性曲线的抖动强度和抖动趋势均不同,各模型特征量的平均值对车辆数量变化的敏感度也不尽相同.

关键词：车载自组网移动模型交通模拟性能分析

来源：评论

学校读者我要写书评

暂无评论

改进的基于逆向流分析的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-交集分割度量距离度量

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：