期刊文献+
共找到9篇文章
< 1 >
每页显示 20 50 100
多决策的多粒度标记系统的最优粒度选择 被引量:2
1
作者 刘凤玲 林国平 余晓龙 《重庆理工大学学报(自然科学)》 CAS 北大核心 2020年第5期263-270,共8页
目前查看到的关于多粒度标记信息系统的研究仅是基于单决策情况,较少有关于多决策的研究,而在实际生活中处理的数据表常带有多决策。针对该情况,首先给出了多决策的多粒度标记信息系统的概念,并定义了适用于该系统下的广义决策函数;然后... 目前查看到的关于多粒度标记信息系统的研究仅是基于单决策情况,较少有关于多决策的研究,而在实际生活中处理的数据表常带有多决策。针对该情况,首先给出了多决策的多粒度标记信息系统的概念,并定义了适用于该系统下的广义决策函数;然后,利用广义决策函数探讨协调、不协调两种信息系统的最优粒度选择策略,并根据两者之间的联系给出了同时适用于协调与不协调两种信息系统选择最优粒度的策略;最后,给出了相应的例子帮助说明所提出的方法的可行性。 展开更多
关键词 多决策 多粒度标记 广义决策函数 最优粒度
在线阅读 下载PDF
基于偏序规律的μ-演算一阶谓词界程逻辑模型检测 被引量:4
2
作者 江华 《计算机学报》 EI CSCD 北大核心 2016年第12期2547-2561,共15页
基于μ-演算的一阶谓词界程逻辑,用谓词变量构造不动点公式,方便描述闭环系统的性质,公式语义简洁.该逻辑在有限控制移动界程上的模型检测目前性能最好的算法的时间复杂度与公式中不动点算子交错嵌套深度d呈指数关系,空间复杂度与d呈线... 基于μ-演算的一阶谓词界程逻辑,用谓词变量构造不动点公式,方便描述闭环系统的性质,公式语义简洁.该逻辑在有限控制移动界程上的模型检测目前性能最好的算法的时间复杂度与公式中不动点算子交错嵌套深度d呈指数关系,空间复杂度与d呈线性关系.文中设计了一个基于μ-演算的一阶谓词界程逻辑在有限控制移动界程上的模型检测高效算法,这也是目前已知的第3个同类算法,算法的时间复杂度与d/2+1呈指数关系,空间复杂度与d呈线性关系.文中所做的工作有:(1)找到了基于μ-演算的一阶谓词界程逻辑模型检测计算过程中的中间结果满足的两组偏序关系;(2)利用找到的偏序关系设计了一个快速模型检测算法;(3)分析了算法的复杂度. 展开更多
关键词 模型检测 移动界程 μ-演算 嵌套谓词等式系
在线阅读 下载PDF
基于最小二乘法的标记分布学习 被引量:5
3
作者 李婵 杨文元 赵红 《郑州大学学报(理学版)》 CAS 北大核心 2017年第4期22-27,共6页
多标记学习在一定程度上解决了标记多义性问题,它主要关注实例对应的相关标记或者无关标记,而标记分布能够反映相关标记对于实例的重要程度.从重构标记分布的思想出发,利用最小二乘法建立模型,提出基于最小二乘法的标记分布学习(lsm-LD... 多标记学习在一定程度上解决了标记多义性问题,它主要关注实例对应的相关标记或者无关标记,而标记分布能够反映相关标记对于实例的重要程度.从重构标记分布的思想出发,利用最小二乘法建立模型,提出基于最小二乘法的标记分布学习(lsm-LDL).首先用特征重构标记,通过变换矩阵使得每一个标记能够表示为特征的一个线性组合;然后用最小二乘法建立优化模型;最后引入L_2范数规则化项,防止过拟合,保证泛化能力.在4个实际的数据集上进行实验,并与3种已有的标记分布学习算法在5种评价指标上进行比较,实验结果表明提出的lsm-LDL算法是有效的. 展开更多
关键词 标记分布 最小二乘 规则化项 L2范数
在线阅读 下载PDF
应用k-means算法实现标记分布学习 被引量:8
4
作者 邵东恒 杨文元 赵红 《智能系统学报》 CSCD 北大核心 2017年第3期325-332,共8页
标记分布学习是近年来提出的一种新的机器学习范式,它能很好地解决某些标记多义性的问题。现有的标记分布学习算法均利用条件概率建立参数模型,但未能充分利用特征和标记间的联系。本文考虑到特征相似的样本所对应的标记分布也应当相似... 标记分布学习是近年来提出的一种新的机器学习范式,它能很好地解决某些标记多义性的问题。现有的标记分布学习算法均利用条件概率建立参数模型,但未能充分利用特征和标记间的联系。本文考虑到特征相似的样本所对应的标记分布也应当相似,利用原型聚类的k均值算法(k-means),将训练集的样本进行聚类,提出基于kmeans算法的标记分布学习(label distribution learning based on k-means algorithm,LDLKM)。首先通过聚类算法kmeans求得每一个簇的均值向量,然后分别求得对应标记分布的均值向量。最后将测试集和训练集的均值向量间的距离作为权重,应用到对测试集标记分布的预测上。在6个公开的数据集上进行实验,并与3种已有的标记分布学习算法在5种评价指标上进行比较,实验结果表明提出的LDLKM算法是有效的。 展开更多
关键词 标记分布 聚类 K-MEANS 闵可夫斯基距离 多标记 权重矩阵 均值向量 softmax函数
在线阅读 下载PDF
联合依赖最大化与稀疏表示的无监督特征选择方法 被引量:1
5
作者 李婵 杨文元 赵红 《南京大学学报(自然科学版)》 CAS CSCD 北大核心 2017年第4期775-781,共7页
高维数据分析任务中,无监督特征选择是一项重要并具有挑战性的任务.传统的无监督特征选择算法通过保持流形结构或者特征之间相关性进行特征选择,而没有直接考虑选择特征与原始数据的依赖程度.通过考虑投影后的低维空间数据与原始数据信... 高维数据分析任务中,无监督特征选择是一项重要并具有挑战性的任务.传统的无监督特征选择算法通过保持流形结构或者特征之间相关性进行特征选择,而没有直接考虑选择特征与原始数据的依赖程度.通过考虑投影后的低维空间数据与原始数据信息之间的依赖性,提出有良好性能的特征依赖于原始数据的度量原则.首先利用最大化依赖使投影后数据尽可能保持原始数据的特征信息,据此获得投影矩阵,从而对原始数据达到降维效果.然后联合稀疏表示进行特征选择.提出一种新的无监督特征选择算法,称之为联合依赖最大化与稀疏表示的无监督特征选择方法(DMSR).在4个实际的数据集上进行实验,并与3种已有的无监督特征选择算法进行比较,在两种评价指标聚类精度和互信息上的实验结果表明,提出的DMSR算法是有效的. 展开更多
关键词 依赖最大化 稀疏表示 无监督特征选择 投影
在线阅读 下载PDF
非负稀疏表示的多标签特征选择 被引量:6
6
作者 蔡志铃 祝峰 《计算机科学与探索》 CSCD 北大核心 2017年第7期1175-1182,共8页
在多标签学习中,数据降维是一项重要而又具有挑战性的任务。特征选择是一种高效的数据降维技术,它通过保持最大相关信息选取一个特征子集。通过对子空间学习的研究,提出了基于非负稀疏表示的多标签特征选择方法。该方法可以看成是矩阵... 在多标签学习中,数据降维是一项重要而又具有挑战性的任务。特征选择是一种高效的数据降维技术,它通过保持最大相关信息选取一个特征子集。通过对子空间学习的研究,提出了基于非负稀疏表示的多标签特征选择方法。该方法可以看成是矩阵分解问题,其融合了非负约束问题和L_(2,1)-范数最小优化问题。设计了一种高效的矩阵更新迭代算法求解新问题,并证明其收敛性。最后,对6个实际的数据集进行了测试,实验结果证明了算法的有效性。 展开更多
关键词 多标签学习 特征选择 非负矩阵分解 L2 1-范数
在线阅读 下载PDF
命题μ-演算局部模型检测高效算法设计 被引量:1
7
作者 李前利 江华 《计算机工程与应用》 CSCD 北大核心 2017年第9期51-56,共6页
命题μ-演算局部模型检测算法中,目前最好的算法的时间复杂度与不动点算子交替嵌套深度d呈指数关系。针对命题μ-演算局部模型检测算法的计算过程进行分析,得到迭代计算的中间迭代值间满足的一组偏序关系,然后利用该偏序关系设计了一个... 命题μ-演算局部模型检测算法中,目前最好的算法的时间复杂度与不动点算子交替嵌套深度d呈指数关系。针对命题μ-演算局部模型检测算法的计算过程进行分析,得到迭代计算的中间迭代值间满足的一组偏序关系,然后利用该偏序关系设计了一个局部模型检测算法,算法时间复杂度的指数部分为d/2,大大提高了算法的计算效率。 展开更多
关键词 μ-演算 局部模型检测 不动点 偏序关系
在线阅读 下载PDF
移动界程演算理论及应用研究综述 被引量:1
8
作者 林荣德 江华 黄建新 《计算机应用研究》 CSCD 北大核心 2020年第3期648-654,共7页
移动界程演算通过界程这一核心概念来表达有边界的计算场所,并提供界程移动、认证和授权等能力,从最基础层次刻画移动计算的本质,成为了移动计算系统形式化理论和应用领域内的重要研究分支。对移动界程演算的理论及应用方面的研究和发... 移动界程演算通过界程这一核心概念来表达有边界的计算场所,并提供界程移动、认证和授权等能力,从最基础层次刻画移动计算的本质,成为了移动计算系统形式化理论和应用领域内的重要研究分支。对移动界程演算的理论及应用方面的研究和发展进行了概述,对移动界演算的扩展语义和代数性质的分析方法、移动界演算的空间逻辑和模型检测算法以及移动界程在计算系统建模方面应用现状进行了整理和分析,并对该领域未来进一步研究的方向进行了展望。 展开更多
关键词 移动界程演算 标号互模拟 上下文观察等价 界程逻辑 模型检测
在线阅读 下载PDF
基于等价关系的粗糙拟阵的性质
9
作者 马对霞 祝峰 林姿琼 《南京大学学报(自然科学版)》 CAS CSCD 北大核心 2016年第2期300-305,共6页
粗糙拟阵是同时推广了粗糙集和拟阵的数学工具,它既可以被理解为是借助拟阵研究粗糙集,也可以被当作是通过粗糙集来研究拟阵.粗糙拟阵能够利用粗糙集和拟阵各自的优势处理和分析数据.通过等价关系上可定义集的性质,研究了基于等价关系... 粗糙拟阵是同时推广了粗糙集和拟阵的数学工具,它既可以被理解为是借助拟阵研究粗糙集,也可以被当作是通过粗糙集来研究拟阵.粗糙拟阵能够利用粗糙集和拟阵各自的优势处理和分析数据.通过等价关系上可定义集的性质,研究了基于等价关系的上粗糙拟阵和下粗糙拟阵.事实上,基于等价关系的上粗糙拟阵同时也是基于这个等价关系的下粗糙拟阵.因此给出了基于等价关系的粗糙拟阵的概念.类比拟阵中基的概念,定义了基于等价关系的粗糙拟阵的基,并且研究了这些基的性质.根据基的性质得到一个论域上所有的粗糙拟阵.特别地,讨论了论域的任何一个子集与该论域上的粗糙拟阵之间的某种对应关系. 展开更多
关键词 粗糙拟阵 等价关系 粒计算
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部