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

吉林大学学报（工学版） 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可以有效地完成绿色通道车辆判定任务。目前该方法已经应用于绿色通道车辆检测系统中,取得了良好效果。

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

来源：评论

学校读者我要写书评

暂无评论

负表约束的简单表缩减广泛弧相容算法

引用

软件学报 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算法在负表约束上的求解效率具有明显的优势.

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

基于滑动窗口的量子秘钥管理算法

引用

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

作者：韩家伟刘衍珩孙鑫宋立军吉林大学计算机科学与技术学院长春130012 长春大学量子通信技术实验室长春130022 吉林大学符号计算与知识工程教育部重点实验室长春130012

针对量子秘钥分发(QKD)技术应用在经典网络加密时量子秘钥管理的问题,提出了一种基于滑动窗口的量子秘钥管理算法(RSQKW)。算法首先引入滑动窗口机制控制量子秘钥的消耗;然后通过探测到的量子网络的状态和量子秘钥生成速率协商滑动窗口... 详细信息

针对量子秘钥分发(QKD)技术应用在经典网络加密时量子秘钥管理的问题,提出了一种基于滑动窗口的量子秘钥管理算法(RSQKW)。算法首先引入滑动窗口机制控制量子秘钥的消耗;然后通过探测到的量子网络的状态和量子秘钥生成速率协商滑动窗口的控制参数;最后利用量子秘钥本身的随机特性计算滑动窗口的滑动步长,滑动窗口中的量子秘钥序列作为新生成的用于经典加密算法的秘钥。与传统方法相比,该算法能够在应用量子加密到经典网络环境时更好的动态管理量子秘钥。在真实的量子秘钥分发网络中的实验结果证明了该算法的可行性和有效性。

关键词：计算机应用量子密钥分发滑动窗口秘钥管理 QKD协议

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

基于排序树的频繁项集挖掘算法

引用

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

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

提出了排序树的概念以及用排序树存储频繁项集的思想,证明了末项剪枝性质,以O(1)的时间实现了与Apriori算法同样的连接和剪枝操作,采用祖先兄弟表示法存储排序树,在某事务不包含祖先时跳过具有共同祖先的所有兄弟结点,提高了计算支持度... 详细信息

提出了排序树的概念以及用排序树存储频繁项集的思想,证明了末项剪枝性质,以O(1)的时间实现了与Apriori算法同样的连接和剪枝操作,采用祖先兄弟表示法存储排序树,在某事务不包含祖先时跳过具有共同祖先的所有兄弟结点,提高了计算支持度的时间性能。理论分析和实验结果均表明,在时间性能方面本文算法与Apriori算法相比有较大提高。

关键词：人工智能频繁项集末项剪枝排序树祖先兄弟表示

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

教学与科研关系的思考及其在数据结构课程建设中的实践

引用

计算机教育 2017年第2期 38-40页

作者：贾海洋杨博虞强源朱允刚刘大有吉林大学计算机科学与技术学院吉林长春130012 吉林大学软件学院吉林长春130012 符号计算与知识工程教育部重点实验室吉林长春130012

分析教学与科研对立与统一的关系问题,指出二者关系对于社会发展、高校发展以及教师个人发展的重要意义,结合国家级精品课数据结构的建设过程说明如何做到教学与科研的统一,介绍两则实验题目和创新实验的设计原则。

关键词：教学与科研数据结构实验教学

来源：评论

学校读者我要写书评

暂无评论

高级语言程序设计课程的慕课建设与思考

引用

计算机教育 2017年第1期 9-13页

作者：陈娟张长海邓春燕李河吉林大学计算机科学与技术学院吉林长春130012 吉林大学软件学院吉林长春130012 符号计算与知识工程教育部重点实验室吉林长春130012

高级语言程序设计作为国家级精品和资源共享课程,率先完成慕课建设工作并持续推进课程建设。文章从大纲制订、视频资源制作和文本资源准备3方面,详细介绍慕课建设的具体措施和工作内容;针对课程实施,从慕课和传统课堂、慕课与实践教学... 详细信息

高级语言程序设计作为国家级精品和资源共享课程,率先完成慕课建设工作并持续推进课程建设。文章从大纲制订、视频资源制作和文本资源准备3方面,详细介绍慕课建设的具体措施和工作内容;针对课程实施,从慕课和传统课堂、慕课与实践教学两方面,讨论建立慕课与传统混合教学模式的必要性;最后说明高级语言程序设计课程建设和改革的未来规划。

关键词：慕课程序设计课程建设教学内容

来源：评论

学校读者我要写书评

暂无评论

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

引用

计算机研究与发展 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有界模型检验方法更易实现、更具有可行性.最近开发相关的原型工具,并进行相关的实例研究.

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：