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

计算机科学 2017年第4期44卷 24-29页

作者：周文博刘洪佳刘磊张鹏吕帅吉林大学计算机科学与技术学院长春130012 符号计算与知识工程教育部重点实验室(吉林大学) 长春130012 辽阳石化公司研究院辽阳111000 吉林大学数学学院长春130012

为了提高服务消息接口的规范性和交互行为的正确性,提出了一种服务消息交互的元建模方法。基于工作流模型对服务进行建模,通过对消息操作模式予以分析,给出了接口形式化表示和接口相容性检查方法。采用推理规则和递归函数刻画消息传递... 详细信息

为了提高服务消息接口的规范性和交互行为的正确性,提出了一种服务消息交互的元建模方法。基于工作流模型对服务进行建模,通过对消息操作模式予以分析,给出了接口形式化表示和接口相容性检查方法。采用推理规则和递归函数刻画消息传递的语义,讨论了服务交互时各种环境的变化情况。实例分析表明,该方法可以规范服务接口模式,有效地对消息的交互情景进行建模,进而保障服务建模的可靠性。

关键词：服务交互元建模工作流模型消息接口形式语义

来源：评论

学校读者我要写书评

暂无评论

基于函数逼近的冗余值迭代算法

引用

模式识别与人工智能 2017年第7期30卷 663-672页

作者：陈建平胡文傅启明苏州科技大学电子与信息工程学院苏州215009 苏州科技大学江苏省建筑智慧节能重点实验室苏州215009 苏州科技大学苏州市移动网络技术与应用重点实验室苏州215009 吉林大学符号计算与知识工程教育部重点实验室长春130012

针对值迭代算法存在算法收敛不稳定及收敛速度慢的问题,文中提出改进的基于函数逼近的冗余值迭代算法.结合值迭代算法与贝尔曼冗余值迭代算法,引入权重因子,构建值函数参数更新向量.同时从理论上证明,利用此更新向量更新值函数参数可以... 详细信息

针对值迭代算法存在算法收敛不稳定及收敛速度慢的问题,文中提出改进的基于函数逼近的冗余值迭代算法.结合值迭代算法与贝尔曼冗余值迭代算法,引入权重因子,构建值函数参数更新向量.同时从理论上证明,利用此更新向量更新值函数参数可以保证算法收敛,解决值迭代算法收敛不稳定的问题.此外,算法引入遗忘因子,加快权重向量的更新速率和算法收敛速度.在Grid World问题上的实验表明,文中算法收敛性能较好,具有较好的鲁棒性.

关键词：强化学习值迭代函数逼近梯度下降贝尔曼冗余

来源：评论

学校读者我要写书评

暂无评论

无线传感器网络簇半径自适应调整策略

引用

吉林大学学报（工学版） 2016年第3期46卷 876-883页

作者：张婧刘衍珩张晋东孙庚吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012

首先,基于节点的剩余能量对节点簇半径进行周期性调整,将网络划分为大小非均匀的若干簇。其次,设计了簇头选举策略,使得网络中簇头分布更加合理,提升簇头节点能量利用率,均衡节点的能耗。实验结果表明:与UCR算法和CUCRA算法相比,本文提... 详细信息

首先,基于节点的剩余能量对节点簇半径进行周期性调整,将网络划分为大小非均匀的若干簇。其次,设计了簇头选举策略,使得网络中簇头分布更加合理,提升簇头节点能量利用率,均衡节点的能耗。实验结果表明:与UCR算法和CUCRA算法相比,本文提出的算法将网络生命周期分别延长了55.2%和38.2%,同时具有较低的传输延时。

关键词：计算机应用无线传感器网络非均匀分簇簇头选举生命周期

来源：评论

学校读者我要写书评

暂无评论

基于局部邻域约束的空间验证方法

引用

吉林大学学报（工学版） 2016年第1期46卷 265-270页

作者：赵宏伟李清亮汤寰宇臧雪柏吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012

提出了用基于局部邻域约束的空间验证方法去验证错误的匹配特征。首先,计算匹配特征对的局部邻域范围,根据局部邻域内相关匹配特征对的数量定义该匹配对的局部邻域约束值,并判断是否满足局部邻域的约束条件。若满足,则基于局部邻域内的... 详细信息

提出了用基于局部邻域约束的空间验证方法去验证错误的匹配特征。首先,计算匹配特征对的局部邻域范围,根据局部邻域内相关匹配特征对的数量定义该匹配对的局部邻域约束值,并判断是否满足局部邻域的约束条件。若满足,则基于局部邻域内的所有相关匹配特征的排列顺序,验证其是否满足一致的几何变换关系。实验结果表明:SVLRC方法具有较低的时间复杂度,改善了最终检索结果的精确度。

关键词：计算机应用图像检索 Bag of Words模型局部邻域空间约束后验证

来源：评论

学校读者我要写书评

暂无评论

引入极值非相邻连接的连接聚类方法

引用

吉林大学学报（工学版） 2016年第5期46卷 1616-1621页

作者：王贵参黄岚王岩宋立明欧歌吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012

针对在连接相似度的计算过程中原始连接聚类(LC)方法并未考虑非相邻连接的相似关系,本文提出的极值非相邻连接相似度策略,弥补了原有连接相似度的不足。新的极值非相邻连接相似度(MLS)策略考虑了连接之间相似关系的邻居节点集合的最大... 详细信息

针对在连接相似度的计算过程中原始连接聚类(LC)方法并未考虑非相邻连接的相似关系,本文提出的极值非相邻连接相似度策略,弥补了原有连接相似度的不足。新的极值非相邻连接相似度(MLS)策略考虑了连接之间相似关系的邻居节点集合的最大、最小情况。在此基础上,结合EQ评估策略,给出了新的引入极值非相邻连接的连接聚类(MLC)方法。在3组测试数据集上的实验结果表明:本文MLC方法相比原始LC、经典重叠社区发现(CPM)方法和扩展的连接聚类ELC方法在多种评估指标上表现优异。

关键词：人工智能连接聚类连接相似度重叠社区发现相邻连接非相邻连接

来源：评论

学校读者我要写书评

暂无评论

结合SE-Tree结构特征的极小碰集求解算法

引用

计算机研究与发展 2016年第11期53卷 2556-2566页

作者：刘思光欧阳丹彤王艺源贾凤雨张立明吉林大学计算机科学与技术学院长春130012 符号计算与知识工程教育部重点实验室(吉林大学) 长春130012

在结合SE-Tree计算集合簇极小碰集的过程中,现有算法会对大量不会产生碰集的冗余节点进行访问.这无疑将影响算法的效率,冗余节点比例越高,影响越大.通过对SE-Tree中叶节点的特殊性质的分析,并结合现有碰集算法有解空间中冗余节点的特征... 详细信息

在结合SE-Tree计算集合簇极小碰集的过程中,现有算法会对大量不会产生碰集的冗余节点进行访问.这无疑将影响算法的效率,冗余节点比例越高,影响越大.通过对SE-Tree中叶节点的特殊性质的分析,并结合现有碰集算法有解空间中冗余节点的特征,提出非解冗余节点概念.在对SE-Tree的结构特征进行深入分析基础上,根据非碰集的子集也不是碰集的特点,提出辅助剪枝的概念,通过在剪枝树上设置剪枝判定节点,减少对极小碰集求解过程中无解空间的访问;针对较大规模问题,还提出结合多级辅助剪枝树的极小碰集求解算法,进而较大程度地减少对非解冗余节点的访问;根据多级辅助剪枝树及SE-Tree的结构特征,给出提前终止算法的判定条件,并证明了此算法的正确性.实验结果表明:与效率较高的Boolean算法相比,该算法高效且易于实现,尤其是对规模较大的问题,效率能提升1个数量级.

关键词：基于模型诊断极小碰集集合枚举树辅助剪枝树无解空间剪枝

来源：评论

学校读者我要写书评

暂无评论

一种基于加权非负矩阵分解的多维用户人格特质识别算法

引用

计算机学报 2016年第12期39卷 2562-2577页

作者：王萌萌左万利王英王鑫吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012

随着社会媒体的普及,用户信息的爆炸式增长为深入理解在线用户行为提供了非常丰富的信息源.由于用户人格特质是用户行为的主要驱动力,人格特质的差异可能会对用户的在线行为产生一定的影响,因此,用户人格特质识别问题近年来受到了众多... 详细信息

随着社会媒体的普及,用户信息的爆炸式增长为深入理解在线用户行为提供了非常丰富的信息源.由于用户人格特质是用户行为的主要驱动力,人格特质的差异可能会对用户的在线行为产生一定的影响,因此,用户人格特质识别问题近年来受到了众多学者的关注.首先,基于用户网络结构信息和用户发布内容信息序列构建用户人格特质识别特征,并根据特征重要性为其分配权重.然后,以用户人格特质相关因子约束目标函数,从用户社会网络结构特征、语言学特征和情感特征三个维度利用非负矩阵分解方法识别社会网络中用户的五大人格特质.最后,在真实的数据集上验证了提出框架的有效性,并通过实验以更细的粒度进一步验证了用户人格特质之间相关性的存在,同时证明了特征权重和用户人格特质间的相关性在用户人格特质识别问题中的重要性.文中为社会网络中的多维用户人格特质识别问题提供了一种新思路.

关键词：多维用户人格特质识别非负矩阵分解用户人格特质相关因子五大人格特质社交网络

来源：评论

学校读者我要写书评

暂无评论

互联网远程实时控制系统短时间窗口往返时延测量、分析与建模

引用

西安交通大学学报 2016年第2期50卷 26-32页

作者：于赫秦贵和孙铭会李滨吴星辰吉林大学计算机科学与技术学院长春130022 吉林大学符号计算与知识工程教育部重点实验室长春130022

为了得到准确地描述互联网远程实时控制系统时延的分布模型,对短时间窗口往返时延(round-trip time,RTT)进行了测量、统计和分析,提出了一种短时窗RTT时延混合威布尔(Weibull)模型。该混合模型满足网络控制系统的实时性需求,具备对短期... 详细信息

为了得到准确地描述互联网远程实时控制系统时延的分布模型,对短时间窗口往返时延(round-trip time,RTT)进行了测量、统计和分析,提出了一种短时窗RTT时延混合威布尔(Weibull)模型。该混合模型满足网络控制系统的实时性需求,具备对短期非平稳的短时间窗口RTT时延样本随机聚类特性的描述能力,并利用期望最大化(expectation-maximization,EM)算法估计模型的混合分量密度及混合分量模型参数。实验结果表明:使用二重混合威布尔模型建模短时窗RTT时延样本能够很好地反映时延的随机聚类特性,K-S检验显示该模型对样本匹配效果评价可接受,该模型为互联网远程控制系统的优化控制提供了一种更准确的参考模型。

关键词： RTT时延网络控制系统混合威布尔模型期望最大化算法

来源：评论

学校读者我要写书评

暂无评论

结合互补度的基于扩展规则#SAT问题求解方法

引用

计算机研究与发展 2016年第7期53卷 1596-1604页

作者：欧阳丹彤贾凤雨刘思光张立明吉林大学计算机科学与技术学院长春130012 符号计算与知识工程教育部重点实验室(吉林大学) 长春130012

#SAT问题又称模型计数(model counting)问题是人工智能领域的研究热点之一,在人工智能领域被广泛应用.在对基于扩展规则的#SAT问题求解方法 CER(counting models using extension rules)深入研究的基础上,提出一种结合互补度的#SAT问题... 详细信息

#SAT问题又称模型计数(model counting)问题是人工智能领域的研究热点之一,在人工智能领域被广泛应用.在对基于扩展规则的#SAT问题求解方法 CER(counting models using extension rules)深入研究的基础上,提出一种结合互补度的#SAT问题求解方法.在计算给定子句集的模型个数时,利用SE-Tree(set enumeration tree)形式化地表达计算过程,逐步生成需要计算的子句集合,并在SE-Tree中添加终止结点,避免大部分含互补文字子句集合的生成,且不会因剪枝而导致求解不完备.提出互补度的概念,在扩展SE-Tree结点时按照互补度由大到小的顺序扩展,较早地生成含互补文字且长度较小的子句集合,有效减少枚举树生成的结点个数,进而减少对子句集合判断是否含互补文字的计算次数.实验结果表明:与CER方法相比该方法效率较好,且进一步改进了CER方法在互补因子较低时求解效率低下的不足.

关键词：扩展规则模型计数 CER方法互补度集合枚举树

来源：评论

学校读者我要写书评

暂无评论

支持大规模流数据处理的弹性在线MapReduce模型及拓扑协议

引用

吉林大学学报（工学版） 2016年第4期46卷 1222-1231页

作者：魏晓辉李翔李洪亮李聪庄园于洪梅吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012

针对现阶段大规模流数据在线处理的广泛需求,本文提出了弹性在线MapReduce流数据处理模型及相关的动态拓扑结构协议。该模型兼容现有MapReduce模型,采用内存计算模式,并具有动态的作业拓扑结构,支持大规模流数据处理作业在运行过程中的... 详细信息

针对现阶段大规模流数据在线处理的广泛需求,本文提出了弹性在线MapReduce流数据处理模型及相关的动态拓扑结构协议。该模型兼容现有MapReduce模型,采用内存计算模式,并具有动态的作业拓扑结构,支持大规模流数据处理作业在运行过程中的弹性调整,从而满足流数据的时效性、动态性和突发性等特殊要求。在弹性在线MapReduce模型的基础上建立了流数据处理作业动态拓扑结构管理机制,设计了作业在线初始化协议和在线调整协议。为进一步提高系统灵活性和整合资源,提出了作业间的操作共享概念,设计了作业共享协议。通过协议分析,本文提出的在线初始化协议、在线动态调整协议及作业共享协议的最大复杂度均为O(n);在数据流量发生突发性变化时,系统具有良好的可伸缩性。

关键词：计算机系统结构流数据处理内存计算 MapReduce 拓扑结构操作共享

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：