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

浙江大学学报（工学版） 2022年第11期56卷 2260-2270页

作者：徐泽鑫段立娟王文健恩擎北京工业大学信息学部北京100124 可信计算北京市重点实验室北京100124 信息安全等级保护关键技术国家工程实验室北京100124 卡尔顿大学计算机学院人工智能与机器学习实验室加拿大渥太华K1S 5B6

针对现有代码漏洞检测方法误报率和漏报率较高的问题,提出基于上下文特征融合的代码漏洞检测方法.该方法将代码特征解耦分为代码块局部特征和上下文全局特征.代码块局部特征关注代码块中关键词的语义及其短距离依赖关系.将局部特征融合... 详细信息

针对现有代码漏洞检测方法误报率和漏报率较高的问题,提出基于上下文特征融合的代码漏洞检测方法.该方法将代码特征解耦分为代码块局部特征和上下文全局特征.代码块局部特征关注代码块中关键词的语义及其短距离依赖关系.将局部特征融合得到上下文全局特征从而捕捉代码行上下文长距离依赖关系.该方法通过局部信息与全局信息协同学习,提升了模型的特征学习能力.模型精确地挖掘出代码漏洞的编程模式,增加了代码漏洞对比映射模块,拉大了正负样本在嵌入空间中的距离,促使对正负样本进行准确地区分.实验结果表明,在9个软件源代码混合的真实数据集上的精确率最大提升了29%,召回率最大提升了16%.

关键词：代码漏洞检测代码块局部特征提取上下文全局特征融合短距离依赖长距离依赖

来源：评论

学校读者我要写书评

暂无评论

遗传归纳逻辑程序设计的个体编码生长现象

引用

计算机研究与发展 2003年第8期40卷 1238-1243页

作者：杨新武刘椿年北京工业大学计算机学院多媒体与智能软件北京市重点实验室北京100022

遗传归纳逻辑程序设计 (GILP)的个体编码生长现象严重影响了算法的性能和规则的可读性通过对变长编码的模式分析 ,解释了GILP的个体编码生长现象并发现 ,若从初始种群开始添加长度惩罚项来解决个体编码生长问题 ,种群会出现退化现象... 详细信息

遗传归纳逻辑程序设计 (GILP)的个体编码生长现象严重影响了算法的性能和规则的可读性通过对变长编码的模式分析 ,解释了GILP的个体编码生长现象并发现 ,若从初始种群开始添加长度惩罚项来解决个体编码生长问题 ,种群会出现退化现象而采取在演化的初期不添加惩罚项 ,在种群的性状有了明显改善后再添加惩罚的策略 ,既可避免种群退化 ,又可有效解决个体编码生长问题 .

关键词：归纳逻辑程序设计遗传归纳逻辑程序设计遗传算法模式分析

来源：评论

学校读者我要写书评

暂无评论

多目标进化算法的污水处理过程优化控制

引用

控制理论与应用 2020年第1期37卷 169-175页

作者：杨壮杨翠丽顾锞乔俊飞北京工业大学信息学部计算智能与智能系统北京市重点实验室

污水处理过程中,能耗与出水水质是两个相互矛盾的评价指标.为了找出这两个目标的最优解,本文在基于分解的多目标进化算法(MOEA/D)的基础上进行改进,期望用更少的进化次数得到分布均匀的近似帕累托前沿.针对MOEA/D算法每一次产生的新解,... 详细信息

污水处理过程中,能耗与出水水质是两个相互矛盾的评价指标.为了找出这两个目标的最优解,本文在基于分解的多目标进化算法(MOEA/D)的基础上进行改进,期望用更少的进化次数得到分布均匀的近似帕累托前沿.针对MOEA/D算法每一次产生的新解,本文中改进的算法从所有子问题中找到最合适新解的子问题,并在其邻域范围内进行种群的更替,在原本子问题的基础上进行二次寻优,提高子代利用率,进而用更少的迭代次数找到优化问题中的近似帕累前沿.实验证明,该算法明显减少了找到帕累托前沿的步数,使得MOEA/D算法的性能明显提升,在污水处理过程优化问题中达到了优化目标的作用.

关键词：污水处理过程智能优化控制多目标遗传算法能耗模型出水水质

来源：评论

学校读者我要写书评

暂无评论

改进的错误诊断算法

引用

高技术通讯 2017年第11期27卷 922-928页

作者：崔玲张建标郑爽李秀云北京工业大学信息学部北京100124 可信计算北京市重点实验室北京100124 信息安全等级保护关键技术国家工程实验室北京100124

考虑到在检测到错误后需诊断错误,而目前的错误诊断算法多是基于单个错误的假设,且算法复杂度较高,在分析主动测试和被动测试中分别采用经典错误诊断算法——Ghedamsi算法和Miller算法的基础上,提出了一种改进的错误诊断算法。该算法基... 详细信息

考虑到在检测到错误后需诊断错误,而目前的错误诊断算法多是基于单个错误的假设,且算法复杂度较高,在分析主动测试和被动测试中分别采用经典错误诊断算法——Ghedamsi算法和Miller算法的基础上,提出了一种改进的错误诊断算法。该算法基于主动测试,先根据测试结果获得初始诊断集,然后由被动测试的逆向判定法得到错误诊断集,最后由测试序列进一步筛选得到最终的错误诊断结果。在生成和验证诊断集时,只对包含可疑转换的测试用例执行遍历操作,使算法更趋高效。算法分析和实例验证结果表明,该算法能够高效地诊断单个错误。

关键词：有限状态机(FSM) 一致性测试主动测试错误诊断

来源：评论

学校读者我要写书评

暂无评论

基于TG–LSTM神经网络的非完整时间序列预测

引用

控制理论与应用 2022年第5期39卷 867-878页

作者：陈中林杨翠丽乔俊飞北京工业大学信息学部计算智能与智能系统北京市重点实验室智能环保北京实验室北京市人工智能研究院北京100124

针对传统模型对含数据缺失的非完整时间序列预测精度不高的问题,利用长短期记忆(LSTM)神经网络强大的时序建模能力,提出一种带时间门的长短期记忆(TG-LSTM)神经网络.首先,提出一种能同时对输入值在线估计和输出值实时预测的TG-LSTM单元... 详细信息

针对传统模型对含数据缺失的非完整时间序列预测精度不高的问题,利用长短期记忆(LSTM)神经网络强大的时序建模能力,提出一种带时间门的长短期记忆(TG-LSTM)神经网络.首先,提出一种能同时对输入值在线估计和输出值实时预测的TG-LSTM单元结构;其次,基于TG-LSTM结构设计一种网络的前向传播算法,实现输入填补和输出预测同步进行;然后,建立TG-LSTM神经网络的学习算法来对输入填补和输出预测任务整体训练;最后,通过在Mackey-glass基准数据集,月平均气温数据集和污水处理出水氨氮预测中的实验结果表明:与传统方法相比,TG-LSTM神经网络模型能以更高精度对非完整时间序列进行填补和预测.

关键词：数据缺失非完整时间序列长短期记忆神经网络前向传播算法学习算法

来源：评论

学校读者我要写书评

暂无评论

基于动态聚类的有限状态机多错误诊断

引用

北京工业大学学报 2021年第6期47卷 607-615页

作者：崔玲张建标北京工业大学信息学部北京100124 可信计算北京市重点实验室北京100124 信息安全等级保护关键技术国家工程实验室北京100124

为了解决多错误诊断时枚举数量过大的问题,提出一种基于动态聚类分析的方法.首先,按照是否具有相同的初始症状冲突集对失败用例进行聚类,并计算初始症状冲突集及其转换的可疑度;然后,按照可疑度的大小枚举可能发生错误的转换组合,在枚... 详细信息

为了解决多错误诊断时枚举数量过大的问题,提出一种基于动态聚类分析的方法.首先,按照是否具有相同的初始症状冲突集对失败用例进行聚类,并计算初始症状冲突集及其转换的可疑度;然后,按照可疑度的大小枚举可能发生错误的转换组合,在枚举过程中进行再次聚类;最后,用测试集验证错误可能,生成错误诊断集.实验结果表明,该方法可以有效减少错误枚举数量,提高诊断效率.

关键词：多错误诊断动态聚类初始症状冲突集错误诊断集诊断效率

来源：评论

学校读者我要写书评

暂无评论

基于用户隐式兴趣模型的信息推荐

引用

山东大学学报（理学版） 2017年第1期52卷 15-22页

作者：杨震司书勇李超阳北京工业大学计算机学院北京100124 可信计算北京市重点实验室北京100124 桂林电子科技大学广西高校云计算与复杂系统重点实验室广西桂林541004

信息推荐技术能够帮助用户从海量网络信息中提取有用信息,因而得到研究者的广泛关注。通过建立用户隐式特征兴趣模型,即将用户-行为矩阵分解为用户-隐式兴趣-行为矩阵,在充分挖掘用户隐式兴趣的基础上,研究并实现了基于隐式特征兴趣模... 详细信息

信息推荐技术能够帮助用户从海量网络信息中提取有用信息,因而得到研究者的广泛关注。通过建立用户隐式特征兴趣模型,即将用户-行为矩阵分解为用户-隐式兴趣-行为矩阵,在充分挖掘用户隐式兴趣的基础上,研究并实现了基于隐式特征兴趣模型的协同过滤算法。在Movielens语料集上进行测试的结果表明,隐式特征能够更加精准地表述用户兴趣,有效提升信息推荐性能。

关键词：信息推荐个性化推荐用户兴趣模型隐语义模型协同过滤

来源：评论

学校读者我要写书评

暂无评论

基于显著稀疏强关联的脑功能连接分类方法

引用

浙江大学学报（工学版） 2022年第11期56卷 2232-2240,2250页

作者：李明段立娟王文健恩擎北京工业大学信息学部北京100124 可信计算北京市重点实验室北京100124 信息安全等级保护关键技术国家工程实验室北京100124 卡尔顿大学计算机学院人工智能与机器学习实验室加拿大渥太华K1S 5B6

针对脑功能连接数据维度过高、冗余特征过多影响神经网络分类准确率的问题,提出一种基于显著稀疏强关联的脑功能连接分类方法.该方法利用显著特征稀疏模块对原始特征进行筛选增强;采用稀疏强关联特征上下文融合模块对不同感受野内的显... 详细信息

针对脑功能连接数据维度过高、冗余特征过多影响神经网络分类准确率的问题,提出一种基于显著稀疏强关联的脑功能连接分类方法.该方法利用显著特征稀疏模块对原始特征进行筛选增强;采用稀疏强关联特征上下文融合模块对不同感受野内的显著特征信息进行聚合;使用全连接神经网络进行分类预测.在ABIDE以及ADHD-200数据集上的实验结果表明,所提方法相较于现有的脑功能连接分类算法在准确率上分别提升了10.41%和12.50%.重要特征的可视化结果表明所提方法能准确定位与疾病相关的脑区,具有一定实际应用价值.

关键词：显著特征识别特征筛选特征增强特征融合脑功能连接分类

来源：评论

学校读者我要写书评

暂无评论

流密码的设计与分析:回顾、现状与展望

引用

密码学报 2016年第6期3卷 527-545页

作者：张斌徐超冯登国中国科学院软件研究所计算机科学国家重点实验室可信计算与信息保障实验室北京100190

流密码的设计与分析一直都是密码学中的核心问题之一.上世纪40年代,Shannon证明了一次一密体制在唯密文攻击下在理论上的完善保密性,激发了流密码研究的热潮,自此流密码的设计都是围绕着如何产生接近完全随机的密钥流序列来进行,发展出... 详细信息

流密码的设计与分析一直都是密码学中的核心问题之一.上世纪40年代,Shannon证明了一次一密体制在唯密文攻击下在理论上的完善保密性,激发了流密码研究的热潮,自此流密码的设计都是围绕着如何产生接近完全随机的密钥流序列来进行,发展出了基于线性反馈移位寄存器(LFSR)的若干设计范例,许多基于此而设计的流密码纷纷被提出,比如用于GSM通信安全的A5/1和蓝牙加密算法E0等,同时也出现了像RC4等基于随机洗牌的设计范式.在欧洲NESSIE和e STREAM计划之后,流密码的设计日趋多样化,大量基于非线性反馈移位寄存器(NFSR)和基于分组密码扩散与混淆模块而设计的算法相继被提出,以抵抗基于LFSR线性性质而发展的(快速)相关攻击与(快速)代数攻击等.本文将首先回顾流密码设计与分析的发展历程,系统地综述流密码设计与分析中的若干关键技术与方法,同时介绍了目前最新的研究成果,以及这个方向上目前需要解决的一些关键问题,最后试着展望了一下未来流密码的发展方向.

关键词：流密码流密码分析流密码设计

来源：评论

学校读者我要写书评

暂无评论

基于状态机理论的可信平台模块测试研究

引用

武汉大学学报（信息科学版） 2008年第10期33卷 1067-1069页

作者：詹静张焕国徐士伟向騻武汉大学计算机学院武汉市430079 武汉大学软件工程国家重点实验室武汉市430072 武汉大学空天信息安全及可信计算教育部重点实验室武汉市430079

可信平台模块(trusted platform module,TPM)作为可信计算关键部件,对其进行规范符合性测试非常有必要。基于TPM规范进行了一致性测试建模,提出了相关测试策略和测试系统框架。

关键词：状态机理论符合性测试可信平台模块

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：