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

电子学报 2009年第4期37卷 804-810页

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

产生所有的极小冲突部件集为基于模型诊断中的一个重要步骤.本文将待诊断系统的行为模型及观测分别使用合取范式(CNF)形式的文件描述,从而提出将判定系统组件子集是否为冲突集的问题转化为:首先提取相关组件的CNF模型及观测,然后调用成... 详细信息

产生所有的极小冲突部件集为基于模型诊断中的一个重要步骤.本文将待诊断系统的行为模型及观测分别使用合取范式(CNF)形式的文件描述,从而提出将判定系统组件子集是否为冲突集的问题转化为:首先提取相关组件的CNF模型及观测,然后调用成熟的SAT求解器判定可满足性.随后,通过有效地结合CSISE-tree等方法来产生所有的极小冲突集.为进一步提高效率,给出了充分利用系统输入/输出结构信息的启发式策略.实验结果表明,使用结合SAT求解器及CSISE-tree等方法能够较快产生所有极小冲突集,并且启发式策略使得求解效率进一步提高(平均提高约21%,最高者甚至达到约48%).

关键词：基于模型的诊断冲突集可满足性 SAT求解器启发式

来源：评论

学校读者我要写书评

暂无评论

简单凹形区域间空间关系的一种表示及推理模型

引用

电子学报 2009年第8期37卷 1830-1836页

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

空间拓扑关系的代表模型有区域连接演算RCC和9-交集模型.针对凹形区域间空间关系的研究工作主要有Cohn提出的***23的表达力相对有限,在实际应用中具有一定的局限性.本文针对简单凹形区域空间关系的表示及推理,基于Egenhofer和El-Geresy... 详细信息

空间拓扑关系的代表模型有区域连接演算RCC和9-交集模型.针对凹形区域间空间关系的研究工作主要有Cohn提出的***23的表达力相对有限,在实际应用中具有一定的局限性.本文针对简单凹形区域空间关系的表示及推理,基于Egenhofer和El-Geresy的空间推理方法,完成了如下工作:扩展9-交集矩阵得到16-交集矩阵;基于16-交集矩阵扩展RCC23提出了RCC62;给出了RCC62的概念邻域图和最近拓扑关系图;提出了RCC62关系复合的推理规则.RCC62比RCC23新增了39种基本关系,表达力更强;RCC62的推理规则可以推导出RCC62的复合表.

关键词：拓扑关系简单凹形区域凸壳 RCC23 9-交集

来源：评论

学校读者我要写书评

暂无评论

基于自动推理技术的智能规划方法

引用

软件学报 2009年第5期20卷 1226-1240页

作者：吕帅刘磊石莲李莹吉林大学计算机科学与技术学院吉林长春130012 吉林大学符号计算与知识工程教育部重点实验室吉林长春130012

对几种智能规划方法中利用的逻辑演绎与推理技术予以分析,分别介绍利用命题逻辑的基于可满足性的规划方法与规划系统,利用模态逻辑与析取推理的Conformant规划方法与规划系统,利用非单调逻辑的规划方法和利用模糊描述逻辑的Flexible规... 详细信息

对几种智能规划方法中利用的逻辑演绎与推理技术予以分析,分别介绍利用命题逻辑的基于可满足性的规划方法与规划系统,利用模态逻辑与析取推理的Conformant规划方法与规划系统,利用非单调逻辑的规划方法和利用模糊描述逻辑的Flexible规划方法,并结合国际规划竞赛和相关论文等的实验结论说明上述方法的有效性和可行性.最后,提出目前基于自动推理技术的智能规划方法所面临的挑战、可能的处理方法以及与之相关的研究热点与趋势.

关键词：智能规划命题逻辑模态逻辑非单调逻辑描述逻辑自动推理可满足性

来源：评论

学校读者我要写书评

暂无评论

基于IMOM和IBOHM启发式策略的扩展规则算法

引用

软件学报 2009年第6期20卷 1521-1527页

作者：李莹孙吉贵吴瑕朱兴军吉林大学计算机科学与技术学院吉林长春130012 吉林大学符号计算与知识工程教育部重点实验室吉林长春130012

基于扩展规则的方法是一种定理证明方法.在IER(improved extension rule)扩展规则算法的基础上,提出了IMOM(improved maximum occurrences on clauses of maximumsize)和IBOHM(improved BOHM)启发式策略,并将两种启发式策略用于IER算法中,有指导性地选择限定搜索空间的子句,设计并实现了算法IMOMH_IER和IBOHMH_IER.实验结果表明,由于这两种启发式策略能够选择较为合适的搜索空间,可以尽快地判定出原问题是否可满足,故其速度平均能够达到原有算法DR(directional resolution)和IER的10～200倍.

关键词：定理机器证明命题逻辑扩展规则启发式策略归结

来源：评论

学校读者我要写书评

暂无评论

改进的语义相似度计算模型及应用

引用

吉林大学学报（工学版） 2009年第1期39卷 119-123页

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

在语义检索中,语义相似度计算模型对信息查全率和查准率至关重要,通过改进传统语义相似度计算模型的不足,提出了新的语义相似度计算模型PHSS,它综合考虑概念的属性约束和层次结构,较之传统模型更能精确描述概念间语义距离。在此基础上,... 详细信息

在语义检索中,语义相似度计算模型对信息查全率和查准率至关重要,通过改进传统语义相似度计算模型的不足,提出了新的语义相似度计算模型PHSS,它综合考虑概念的属性约束和层次结构,较之传统模型更能精确描述概念间语义距离。在此基础上,构建了一个玉米病虫害防治语义检索系统CDPPIRS,能依据查询信息和知识库进行语义推理,可针对用户多种查询方式提供给用户全面准确的文献信息,满足不同层次农业工作者的查询需求。在CD-PPIRS中的测试结果表明,PHSS在查全率和查准率方面均优于传统模型。

关键词：人工智能语义相似度语义检索本体

来源：评论

学校读者我要写书评

暂无评论

求解车间调度问题的自适应混合粒子群算法

引用

计算机学报 2009年第11期32卷 2137-2146页

作者：张长胜孙吉贵欧阳丹彤张永刚东北大学信息科学与工程学院沈阳110004 吉林大学计算机科学与技术学院符号计算与知识工程教育部重点实验室长春130012

针对最小完工时间的流水车间作业调度问题,提出了一种自适应混合粒子群进化算法——AHPSO,将遗传操作有效地结合到粒子群算法中.定义了粒子相似度及粒子能量,粒子相似度阈值随迭代次数动态自适应变化,而粒子能量阈值与群体进化程度及其... 详细信息

针对最小完工时间的流水车间作业调度问题,提出了一种自适应混合粒子群进化算法——AHPSO,将遗传操作有效地结合到粒子群算法中.定义了粒子相似度及粒子能量,粒子相似度阈值随迭代次数动态自适应变化,而粒子能量阈值与群体进化程度及其自身进化速度相关.此外,针对算法运行后期进化速度慢的缺点,提出了一种基于邻域的随机贪心策略进一步提高算法的性能.最后将此算法在不同规模的实例上进行了测试,并与其他几种具有代表性的算法进行了比较,实验结果表明,无论是在求解质量还是稳定性方面都优于其他几种算法,并且能够有效求解大规模车间作业问题.

关键词：粒子群优化车间调度粒子相似度粒子能量贪心策略

来源：评论

学校读者我要写书评

暂无评论

基于广义信息论的贝叶斯分类器动态建模

引用

吉林大学学报（工学版） 2009年第3期39卷 776-780页

作者：王利民李雄飞张海龙吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012

基于广义互信息描述变量之间的条件独立和条件相关性,并根据信息非负递增性原则去除冗余变量,由测试样本而非整个样本空间构造贝叶斯分类子模型。结合局部计算近似推理进行概率密度和条件概率分布估计。在UCI机器学习数据集上的实验结... 详细信息

基于广义互信息描述变量之间的条件独立和条件相关性,并根据信息非负递增性原则去除冗余变量,由测试样本而非整个样本空间构造贝叶斯分类子模型。结合局部计算近似推理进行概率密度和条件概率分布估计。在UCI机器学习数据集上的实验结果证明了该算法的合理性和有效性。

关键词：人工智能贝叶斯网络条件独立局部计算

来源：评论

学校读者我要写书评

暂无评论

制造业中基于UML的产品配置

引用

吉林大学学报（工学版） 2009年第3期39卷 759-763页

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

提出了一个用产品配置知识表示的UML设计方案。为加强产品配置的嵌入能力,广义产品结构采用树形结构描述,同时支持版本管理;为增强配置逻辑的独立性,配置逻辑的设计从广义产品结构中完全剥离开来,不仅方便维护和简化配置推理,同时也为... 详细信息

提出了一个用产品配置知识表示的UML设计方案。为加强产品配置的嵌入能力,广义产品结构采用树形结构描述,同时支持版本管理;为增强配置逻辑的独立性,配置逻辑的设计从广义产品结构中完全剥离开来,不仅方便维护和简化配置推理,同时也为今后配置逻辑的更新和替换提供了接口。

关键词：计算机应用制造业产品配置知识表示 UML设计

来源：评论

学校读者我要写书评

暂无评论

一种新的混合特征选择方法RRK

引用

吉林大学学报（工学版） 2009年第2期39卷 419-423页

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

提出一种新的基于包装方法和过滤器方法的混合特征选择算法RRK。该算法主要包括两个方面:①在特征预选阶段,提出一种基于ReliefF算法的特征加权算法NReliefF和降维算法DR,以实现特征加权并去掉不太重要的特征;②在特征选择阶段,把NReli... 详细信息

提出一种新的基于包装方法和过滤器方法的混合特征选择算法RRK。该算法主要包括两个方面:①在特征预选阶段,提出一种基于ReliefF算法的特征加权算法NReliefF和降维算法DR,以实现特征加权并去掉不太重要的特征;②在特征选择阶段,把NReliefF算法和KNN算法结合起来,将预选特征作为输入,用分类正确率来选择最优特征。分别采用一个实际的乘员类型数据集和UCI上的imagine标准数据集进行了实验。实验结果表明,采用RRK后分类的效率和正确率都有明显提高。

关键词：人工智能特征选择包装方法过滤器方法 ReliefF算法

来源：评论

学校读者我要写书评

暂无评论

基于整数小波变换的三维网格数字水印算法

引用

计算机研究与发展 2009年第S1期46卷 53-56页

作者：易荣庆李文辉王铎曹慕萍吉林大学符号计算与知识工程教育部重点实验室长春130012 吉林省电力有限公司长春130021 吉林大学符号计算与知识工程教育部重点实验室长春130012 中国联通长春分公司长春130033

提出一种整数小波变换的三维网格数字水印算法.网格顶点到网格中心的距离具有全局几何特性,利用整数小波变换把距离序列变化到频域;然后在频域信号上嵌入水印信息,再通过逆整数小波变换转回到空域信号;最后根据新的空域信号的值修改网... 详细信息

提出一种整数小波变换的三维网格数字水印算法.网格顶点到网格中心的距离具有全局几何特性,利用整数小波变换把距离序列变化到频域;然后在频域信号上嵌入水印信息,再通过逆整数小波变换转回到空域信号;最后根据新的空域信号的值修改网格上点的坐标得到加入数字水印的网格.实验结果表明:该算法实现简单,在简化攻击、噪音攻击情况下具有良好的鲁棒性.

关键词：数字水印整数小波变换三维网格

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：