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

软件学报 2016年第11期27卷 2701-2711页

作者：李宏博梁艳春李占山吉林大学计算机科学与技术学院吉林长春130012 符号计算与知识工程教育部重点实验室(吉林大学) 吉林长春130012

广泛弧相容算法(generalized arc consistency,简称GAC),是求解约束满足问题的核心方法.表约束理论上可以表示所有约束关系,在过去10年中,有很多应用于表约束的广泛弧相容算法被提出来.在这些算法中,表缩减算法的效率非常高.但是目前的... 详细信息

广泛弧相容算法(generalized arc consistency,简称GAC),是求解约束满足问题的核心方法.表约束理论上可以表示所有约束关系,在过去10年中,有很多应用于表约束的广泛弧相容算法被提出来.在这些算法中,表缩减算法的效率非常高.但是目前的表缩减算法只能应用于正表约束,无法直接应用于负表约束.首先,提出一种表缩减算法STR-N,可以直接应用于负表约束;然后,给出了STR-N的两个改进版本STR-N2和STR-NIC.实验结果显示,STR-N算法在负表约束上的求解效率具有明显的优势.

关键词：约束满足问题广泛弧相容简单表缩减负表约束

来源：评论

学校读者我要写书评

暂无评论

具有程序的静态结构和动态行为语义的时序逻辑

引用

计算机研究与发展 2016年第9期53卷 2067-2084页

作者：陈冬火刘全金海东朱斐王辉苏州大学计算机科学与技术学院江苏苏州215006 符号计算与知识工程教育部重点实验室(吉林大学) 长春130012

提出一种区间分支时序逻辑——控制流区间时序逻辑(control flow interval temporal logic,CFITL),用于规约程序的时序属性.不同于计算树逻辑(computation tree logic,CTL)和线性时序逻辑(linear temporal logic,LTL)等传统的时序逻辑,CFITL公式的语义模型不是基于状态的类Kripke结构,而是以程序的抽象模型控制流图(control flow graph,CFG)为基础所构建的含序CFG结构.含序CFG是CFG的一种受限子集,它们的拓扑结构可映射为偏序集,这样诱导产生的自然数区间可自然地用于描述定义良好的程序结构.这种结构含有程序的静态结构信息和动态行为信息,换而言之,CFITL具有规约程序实现结构属性和程序执行动态行为属性的能力.在定义CFITL的语法和语义的基础上,详细讨论了CFITL的模型检验问题,包括基于值状态空间可达性计算的模型检验方法和基于SMT(satisfiability modulo theories)的CFITL有界模型检验方法.现代程序都含有复杂且具有无限值域的抽象数据类型及各种复杂的操作,CFITL语义定义相比CTL等时序逻辑更复杂,因此,基于显示状态搜索的方法难以有效进行,而基于SMT的CFITL有界模型检验方法更易实现、更具有可行性.最近开发相关的原型工具,并进行相关的实例研究.

关键词：区间时序逻辑控制流程图程序静态结构模型检验可满足性模理论

来源：评论

学校读者我要写书评

暂无评论

基于多特征融合的绿色通道车辆检测判定

引用

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

作者：张浩刘海明吴春国张艳梅赵天明李寿涛吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012 吉林大学通信工程学院长春130022

为了保证对高速公路绿色通道车辆进行快速、高效的计算机检测,本文提出了一种基于多特征融合的绿色通道车辆检测判定方法 PGM-OCSVM。该方法首先利用主成分分析法(Principal component analysis,PCA)对学习样本的属性进行特征过滤,然后... 详细信息

为了保证对高速公路绿色通道车辆进行快速、高效的计算机检测,本文提出了一种基于多特征融合的绿色通道车辆检测判定方法 PGM-OCSVM。该方法首先利用主成分分析法(Principal component analysis,PCA)对学习样本的属性进行特征过滤,然后利用遗传算法(Genetic algorithm,GA)对one-class SVM的两个重要参数——函数核带宽σ和错误接受率v进行自适应调整,增强方法的易用性,最后构建one-class SVM模型学习样本,并对结果进行分类。通过对大数据样本分析,PGM-OCSVM可以有效地完成绿色通道车辆判定任务。目前该方法已经应用于绿色通道车辆检测系统中,取得了良好效果。

关键词：计算机应用支持向量机多特征融合单类分类器绿色通道车辆检测

来源：评论

学校读者我要写书评

暂无评论

基于可中断Option的在线分层强化学习方法

引用

通信学报 2016年第6期37卷 65-74页

作者：朱斐许志鹏刘全伏玉琛王辉苏州大学计算机科学与技术学院江苏苏州215006 吉林大学符号计算与知识工程教育部重点实验室吉林长春130012

针对大数据体量大的问题,在Macro-Q算法的基础上提出了一种在线更新的Macro-Q算法(MQIU),同时更新抽象动作的值函数和元动作的值函数,提高了数据样本的利用率。针对传统的马尔可夫过程模型和抽象动作均难于应对可变性,引入中断机制,提... 详细信息

针对大数据体量大的问题,在Macro-Q算法的基础上提出了一种在线更新的Macro-Q算法(MQIU),同时更新抽象动作的值函数和元动作的值函数,提高了数据样本的利用率。针对传统的马尔可夫过程模型和抽象动作均难于应对可变性,引入中断机制,提出了一种可中断抽象动作的Macro-Q无模型学习算法(IMQ),能在动态环境下学习并改进控制策略。仿真结果验证了MQIU算法能加快算法收敛速度,进而能解决更大规模的问题,同时也验证了IMQ算法能够加快任务的求解,并保持学习性能的稳定性。

关键词：大数据强化学习分层强化学习 Option 在线学习

来源：评论

学校读者我要写书评

暂无评论

基于隶属度的社会化网络重叠社区发现及动态集群演化分析

引用

电子学报 2016年第3期44卷 587-594页

作者：国琳左万利彭涛吉林大学计算科学与技术学院吉林长春130012 吉林大学符号计算与知识工程教育部重点实验室吉林长春130012

社会化网络中节点的复合属性可能为临时或过时状态,并且节点拥有一定能力维持固有状态,所以不可单纯依据新增数据或节点现有特征确定社区划分.本文提出可重叠社区发现算法及集群动态更新方案,根据网络历史数据分析节点对原始集群的隶属... 详细信息

社会化网络中节点的复合属性可能为临时或过时状态,并且节点拥有一定能力维持固有状态,所以不可单纯依据新增数据或节点现有特征确定社区划分.本文提出可重叠社区发现算法及集群动态更新方案,根据网络历史数据分析节点对原始集群的隶属程度,并结合新增数据确定节点变化趋势,实现网络结构分析及社区动态更新.本文分别在不同数据集中测试聚类效果,实验结果证明算法既保持对新增数据的敏感度,也防止了节点短暂特征或节点维持固有状态的能力对划分结果的负面影响.

关键词：社区发现社会化网络聚类重叠社区自适应算法

来源：评论

学校读者我要写书评

暂无评论

快速递归多阈值分割算法

引用

吉林大学学报（工学版） 2016年第2期46卷 528-534页

作者：申铉京张赫陈海鹏王玉吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012 吉林大学应用技术学院长春130012

针对强调波谷邻域算法在目标区域相对于背景区域较小且其之间的波谷特征并不十分明显的情况下,无法获得正确阈值的问题,提出了一种基于波谷邻域信息和波谷波峰相对特征的全局阈值分割算法。本算法在最大类间方差(OTSU)算法的基础上以直... 详细信息

针对强调波谷邻域算法在目标区域相对于背景区域较小且其之间的波谷特征并不十分明显的情况下,无法获得正确阈值的问题,提出了一种基于波谷邻域信息和波谷波峰相对特征的全局阈值分割算法。本算法在最大类间方差(OTSU)算法的基础上以直方图中波谷邻域灰度值和波谷波峰灰度值的相对关系为权值,改善最大类间方差算法定位阈值的准确性,使算法所确定的阈值在直方图中具有较小的波谷波峰比值,即使最优阈值定位到与临近波峰具有较大高度差的波谷灰度值。为提高分割效率,本文以前述算法为基础,采用递归单阈值方式进行图像的多阈值分割。实验证明,对强调波谷邻域算法存在的问题本算法有明显的改善,且在多阈值分割的效果及运行时间方面本文算法均具有十分良好的表现。

关键词：计算机应用图像分割多阈值分割递归最大类间方差算法波谷

来源：评论

学校读者我要写书评

暂无评论

基于超扩展规则的知识编译方法

引用

计算机学报 2016年第8期39卷 1681-1696页

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

超扩展规则是对扩展规则的扩充,基于超扩展规则能够求得任意两个非互补且不相互蕴含的子句所能扩展出极大项集的交集与差集,并将所得结果以EPCCL理论的形式保存.该文首次提出了扩展反驳方法,是一种新型推理方法,并在该推理方法与知识编... 详细信息

超扩展规则是对扩展规则的扩充,基于超扩展规则能够求得任意两个非互补且不相互蕴含的子句所能扩展出极大项集的交集与差集,并将所得结果以EPCCL理论的形式保存.该文首次提出了扩展反驳方法,是一种新型推理方法,并在该推理方法与知识编译之间建立了联系.基于超扩展规则的性质,该文还提出了两种知识编译算法:求并知识编译算法UKCHER和求差知识编译算法DKCHER,是两种新的知识编译算法.算法UKCHER是目前为止唯一一个可并行的EPCCL理论编译算法,算法DKCHER对于相变点附近的难解问题具有较高的编译效率和编译质量.实验结果表明:UKCHER算法的编译效率和编译质量均优于Lin等人提出的KCER算法;当子句数和变量数的比值较大时,DKCHER算法的编译效率和编译质量是最优的,相比于现有EPCCL理论编译算法,该算法具有较强的竞争力.

关键词：知识编译扩展规则超扩展规则 EPCCL理论扩展反驳

来源：评论

学校读者我要写书评

暂无评论

一种面向建筑节能的强化学习自适应控制方法

引用

计算机工程与应用 2017年第21期53卷 239-246页

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

针对建筑节能领域中传统控制方法对于建筑物相关设备控制存在收敛速度慢、不稳定等问题,结合强化学习中经典的Q学习方法,提出一种强化学习自适应控制方法——RLAC。该方法通过对建筑物内能耗交换机制进行建模,结合Q学习方法,求解最优值... 详细信息

针对建筑节能领域中传统控制方法对于建筑物相关设备控制存在收敛速度慢、不稳定等问题,结合强化学习中经典的Q学习方法,提出一种强化学习自适应控制方法——RLAC。该方法通过对建筑物内能耗交换机制进行建模,结合Q学习方法,求解最优值函数,进一步得出最优控制策略,确保在不降低建筑物人体舒适度的情况下,达到建筑节能的目的。将所提出的RLAC与On/Off以及Fuzzy-PD方法用于模拟建筑物能耗问题进行对比实验,实验结果表明,RLAC具有较快的收敛速度以及较好的收敛精度。

关键词：强化学习马尔科夫决策过程 Q学习建筑节能自适应控制

来源：评论

学校读者我要写书评

暂无评论

计算机专业课程群的网络教学平台建设

引用

计算机教育 2017年第2期 7-9页

作者：黄岚叶育鑫金京姬欧阳丹彤吉林大学计算机科学与技术学院吉林长春130012 吉林大学符号计算与知识工程教育部重点实验室吉林长春130012

当前计算机专业的网络教学课程独立分散,缺乏有效整合,难以形成合力且不可持续性的建设。文章在剖析计算机专业课程整体化建设难点的基础上,针对课程群中不同课程的实际情况,提出分批次原则建设课程群网络平台。同时,在归纳总结不同课... 详细信息

当前计算机专业的网络教学课程独立分散,缺乏有效整合,难以形成合力且不可持续性的建设。文章在剖析计算机专业课程整体化建设难点的基础上,针对课程群中不同课程的实际情况,提出分批次原则建设课程群网络平台。同时,在归纳总结不同课程的课程性质和课程特征的基础上,提出计算机课程群网络平台建设评价标准,并采取滚动式验收策略评价课程群的课程资源。

关键词：计算机学科网络教学课程建设课程群

来源：评论

学校读者我要写书评

暂无评论

基于统计特征的图像篡改评价模型

引用

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

作者：申铉京范子龙吕颖达陈海鹏吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012 吉林大学公共计算机教学与研究中心长春130012

为了实现图像篡改手段的定性分析,构造了基于图像统计特征的篡改评价模型。该模型提取图像的LTP三值模式特征、LBP纹理特征和WLD局部特征,利用SVM分类器,实现对自然图像、计算机生成图像、复制-粘贴图像、拼接篡改图像、重获图像的多分... 详细信息

为了实现图像篡改手段的定性分析,构造了基于图像统计特征的篡改评价模型。该模型提取图像的LTP三值模式特征、LBP纹理特征和WLD局部特征,利用SVM分类器,实现对自然图像、计算机生成图像、复制-粘贴图像、拼接篡改图像、重获图像的多分类。实验结果表明,该模型能够在盲环境下实现图像的有效分类,客观分析图像篡改手段,综合正确检测率为85%。

关键词：计算机应用盲鉴别篡改评价模型 LTP特征向量 LBP特征向量 WLD特征向量

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：