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

第十六届全国网络与数据通信学术会议(NDCC2008)

作者：王健刘衍珩张瀛戈梅芳吉林大学计算机科学与技术学院吉林长春130012 吉林大学符号计算与知识工程教育部重点实验室吉林长春130012

为解决目前缺乏一种可行的可信修复网络框架问题,提出了一种新的、可行性强的可信修复网络模型,详细说明了该模型提供的功能和工作流程,着重阐明了可信修复网络的通讯机制和认证方法。仿真实验表明,该框架在保证网络系统安全性和可信性... 详细信息

为解决目前缺乏一种可行的可信修复网络框架问题,提出了一种新的、可行性强的可信修复网络模型,详细说明了该模型提供的功能和工作流程,着重阐明了可信修复网络的通讯机制和认证方法。仿真实验表明,该框架在保证网络系统安全性和可信性的同时,实现了为不满足可信网络安全策略的终端用户提供及时可靠的修复服务.

关键词：网络安全可信网络修复网络可信接入认证方法

来源：评论

学校读者我要写书评

暂无评论

一种基于集合符号的自动推理扩展方法

引用

计算机研究与发展 2007年第8期44卷 1317-1323页

作者：刘全伏玉琛孙吉贵崔志明龚声蓉凌兴宏苏州大学计算机科学与技术学院吉林大学符号计算与知识工程教育部重点实验室长春130012

在多值逻辑Tableau推理的基础上,提出了一种基于集合符号的自动推理扩展方法.将符号集合作为真值,减少了Tableau的推理分枝,并可以将适合经典逻辑的推理方法和策略应用于其中,使得非经典逻辑推理经典化.使用SWI-PROLOG语言设计实现了基... 详细信息

在多值逻辑Tableau推理的基础上,提出了一种基于集合符号的自动推理扩展方法.将符号集合作为真值,减少了Tableau的推理分枝,并可以将适合经典逻辑的推理方法和策略应用于其中,使得非经典逻辑推理经典化.使用SWI-PROLOG语言设计实现了基于集合符号的自动推理系统,在系统中使用集合符号方法,只需要在规则库中增加推理规则,即可生成规则程序,系统本身不需要任何的修改,因此一些适合于经典逻辑的推理方法和技巧就可以很容易地应用到多值逻辑、模态逻辑、直觉逻辑等非经典逻辑,也可以进一步推广到无穷值逻辑和含模糊量词(如T-算子和S-算子)的逻辑中,对于无穷值逻辑和模糊逻辑的Tableau方法研究具有一定的借鉴作用.对TPTP中的900个逻辑问题进行了证明,实验结果表明,系统在时间和空间上效率都是较高的.

关键词：集合符号自动推理 Tableau 经典逻辑非经典逻辑

来源：评论

学校读者我要写书评

暂无评论

过程挖掘中一种能发现重复任务的扩展α算法

引用

计算机学报 2007年第8期30卷 1436-1445页

作者：李嘉菲刘大有杨博吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012

基于α-算法,提出了能发现工作流日志中重复任务的过程挖掘算法α**,并给出了正确性证明.该算法先通过机器学习的方法分析重复任务的性质,给出了判定重复任务的定理并证明了其正确性;然后使用这些定理判断并标识出日志中的所有重复任务... 详细信息

基于α-算法,提出了能发现工作流日志中重复任务的过程挖掘算法α**,并给出了正确性证明.该算法先通过机器学习的方法分析重复任务的性质,给出了判定重复任务的定理并证明了其正确性;然后使用这些定理判断并标识出日志中的所有重复任务;最后,采用α-算法从标识后的日志中提取出工作流网,并对其进行调整得到包含重复任务的工作流网模型.通过模拟实验验证了算法的有效性,与现有的重复任务挖掘方法的实验结果相比证实了文中提出的方法具有更高的效率.

关键词：过程挖掘工作流挖掘重复任务 Petri网工作流网

来源：评论

学校读者我要写书评

暂无评论

时空推理中自动生成复合表的通用算法

引用

计算机研究与发展 2007年第8期44卷 1301-1308页

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

时空推理是面向时间/空间问题的研究领域,在人工智能(如语义Web、机器人导航、自然语言处理、物理过程的定性模拟和常识推理等)和其他领域有着广泛的应用前景.复合推理在时空推理中具有重要作用,是约束满足问题等其他定性推理的基础.复... 详细信息

时空推理是面向时间/空间问题的研究领域,在人工智能(如语义Web、机器人导航、自然语言处理、物理过程的定性模拟和常识推理等)和其他领域有着广泛的应用前景.复合推理在时空推理中具有重要作用,是约束满足问题等其他定性推理的基础.复合推理是由R(a,b)和R(b,c)决定R(a,c)的一种演绎推理.一般将关系复合结果放在复合表中备查.但目前复合表的建立需要逐个模型进行手工推导,少数模型给出了独立的复合表生成算法,没有适合多种时空关系模型、能自动生成复合表的通用算法.为此,提出了一种能自动生成复合表的通用算法.首先,给出了基于空间划分的通用时空表示模型.在此基础上,提出了基于场景检测的通用复合表生成算法.通过理论分析和对RCC、宽边界、区间代数等20余种典型时空模型的测试,证明了本算法对于所有以精确区域(或区间)为基础的确定、不确定时空模型均能正确快速地生成复合表.

关键词：时空推理复合表通用时空模型空间划分场景检测

来源：评论

学校读者我要写书评

暂无评论

一个基于最小冲突修补的动态约束满足求解算法

引用

计算机研究与发展 2007年第12期44卷 2078-2084页

作者：孙吉贵高健张永刚吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012

约束满足问题是人工智能中一个重要的研究方向,近年来,对动态变化的约束满足问题的研究逐渐成为该领域的热点.在目前该领域最流行的LC算法基础上,引入禁忌搜索策略,提出了一个基于最小冲突修补的算法Tabu_LC.算法在每次冲突调整时将所... 详细信息

约束满足问题是人工智能中一个重要的研究方向,近年来,对动态变化的约束满足问题的研究逐渐成为该领域的热点.在目前该领域最流行的LC算法基础上,引入禁忌搜索策略,提出了一个基于最小冲突修补的算法Tabu_LC.算法在每次冲突调整时将所有冲突变量看成一个整体,并采用分支定界搜索策略求解冲突变量组成的子问题,极大地提高了求解效率.同时,在约束求解系统'明月1.0'架构下给出了算法的具体实现,并针对大量随机问题进行了对比实验.结果表明,Tabu_LC算法在求解效率和解的质量上都明显优于LC算法.

关键词：最小冲突修补动态约束满足问题禁忌搜索分支定界解重用

来源：评论

学校读者我要写书评

暂无评论

一种Agent通信中逻辑意外信息转换方法

引用

计算机研究与发展 2007年第3期44卷 427-433页

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

在开放动态多Agent网络环境中,不同平台下的移动Agent希望就某个领域的问题进行通信,就需要避免出现逻辑意外现象,也就是必须使描述这一领域的术语取得一致.给出一个具有协作性和社会性的通信方法LOSCM(layer ontology services communi... 详细信息

在开放动态多Agent网络环境中,不同平台下的移动Agent希望就某个领域的问题进行通信,就需要避免出现逻辑意外现象,也就是必须使描述这一领域的术语取得一致.给出一个具有协作性和社会性的通信方法LOSCM(layer ontology services communication model).LOSCM具有以下特点:1)A-gent通信实体中包含的概念采用本体方法进行描述,对本体作分层松散的社会性管理.2)假设本体不隶属于公共数据源且相互之间也没有公共本体,LOSCM给出一种基于概念替代遗失度和概念间替代相关度的有效的分层树状转换方法,有效避免了逻辑意外,确保了通信实体概念的正确理解,解决了在概念转换时的一致性问题.

关键词：移动Agent 逻辑意外本体 Agent通信

来源：评论

学校读者我要写书评

暂无评论

基于潜在局部区域空间关系学习的物体分类算法

引用

计算机学报 2007年第8期30卷 1286-1294页

作者：韩东峰李文辉郭武吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012

提出了一种物体分类模型——潜在局部区域空间关系模型及实现算法.模型描述物体各部分间的潜在空间关系,将抗缩放和仿射变换的特征区域方法与模型相结合,采用变分期望值最大方法进行学习.与同类空间关系模型算法比较,该文模型算法具有... 详细信息

提出了一种物体分类模型——潜在局部区域空间关系模型及实现算法.模型描述物体各部分间的潜在空间关系,将抗缩放和仿射变换的特征区域方法与模型相结合,采用变分期望值最大方法进行学习.与同类空间关系模型算法比较,该文模型算法具有以下优点:(1)为非监督式学习模型;(2)可抵抗几何变换;(3)模型为稠密模型;(4)模型描述的是一种潜在的空间关系,这种关系对物体具有更本质的描述.在标准测试图像库上的实验表明了该算法在抵抗平移、旋转、尺度缩放、仿射变换和部分遮挡等难点问题上具有优势.

关键词：物体分类潜在局部空间关系图模型变分期望值最大化局部特征点

来源：评论

学校读者我要写书评

暂无评论

基于模糊集及RCC理论的区域移动模型

引用

吉林大学学报（工学版） 2007年第3期37卷 591-594页

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

基于RCC理论中的概念邻域结构和模糊集理论,提出了可以表达动态环境下随时间移动或变形的空间区域的区域移动模型,然后基于Allen的路径一致性算法,给出了关于此模型的路径一致性模糊推理算法。

关键词：人工智能时空推理 RCC模型 9交集模型空间区域模糊集理论

来源：评论

学校读者我要写书评

暂无评论

一种基于模板的子句学习算法

引用

电子学报 2007年第11期35卷 2140-2145页

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

针对归纳逻辑程序设计中学习子句所遇到的较大搜索空间问题,提出子句模板的概念.用遗传算法先学习子句模板,再结合标记矩阵和按信息增益抽样的方法将其转化为子句.设计了相应的适应度函数及遗传算子.理论分析与实验对比表明,该算法可有... 详细信息

针对归纳逻辑程序设计中学习子句所遇到的较大搜索空间问题,提出子句模板的概念.用遗传算法先学习子句模板,再结合标记矩阵和按信息增益抽样的方法将其转化为子句.设计了相应的适应度函数及遗传算子.理论分析与实验对比表明,该算法可有效缩小搜索空间,提高学习效率,并且可以学习递归子句,是一种有效的子句学习算法.

关键词：归纳逻辑程序设计子句模板遗传算法递归子句信息增益

来源：评论

学校读者我要写书评

暂无评论

基于多Agent的开放本体服务

引用

吉林大学学报（工学版） 2007年第3期37卷 587-590页

作者：白岩刘大有姜丽吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012

为了对开放本体进行有效管理,协调不同领域的本体,甚至是同领域的本体的语义差异,给出了一个基于多Agent的本体管理体系MOMA(Multi-based Ontology Management Architecture),MOMA具有以下特点:①Agent通讯实体中包含的概念采用本体方... 详细信息

为了对开放本体进行有效管理,协调不同领域的本体,甚至是同领域的本体的语义差异,给出了一个基于多Agent的本体管理体系MOMA(Multi-based Ontology Management Architecture),MOMA具有以下特点:①Agent通讯实体中包含的概念采用本体方法进行描述,对本体做分层松散的社会性管理。②建立一个动态跨平台的开放本体环境,使得Agent能够获取、共享和管理各种本体资源,也可以对Agent提供按需的本体服务,支持Agent间的协同工作、Agent间的协商、Agent的相互通讯等问题。

关键词：人工智能本体移动Agent 本体服务

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：