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

软件学报 2020年第1期31卷 20-46页

作者：李晓卓贺也平马恒太中国科学院软件研究所基础软件国家工程研究中心北京100190 中国科学院大学北京100049 计算机科学国家重点实验室(中国科学院软件研究所) 北京100190

缺陷理解是针对缺陷本身及衍生产物建立完整认知过程的研究.由于调试的连贯性及完美缺陷理解假设不合理性,深入分析缺陷传播过程及缺陷间关系、研究关键信息检测及理解信息表达方式,提取及表达面向缺陷研究不同场景不同需求下的可理解... 详细信息

缺陷理解是针对缺陷本身及衍生产物建立完整认知过程的研究.由于调试的连贯性及完美缺陷理解假设不合理性,深入分析缺陷传播过程及缺陷间关系、研究关键信息检测及理解信息表达方式,提取及表达面向缺陷研究不同场景不同需求下的可理解性信息,最终达到优化缺陷分析结果及辅助调试各过程缺陷知识复用及积累的目的成为必然.由定位与修复之间存在的知识割裂问题出发,思考缺陷理解研究的本质,明确缺陷处理过程中缺乏知识挖掘及互用问题.通过工程实例分析及文献成果梳理,提炼总结缺陷理解领域的研究方向及技术方法,探讨缺陷理解研究中的特点及难点,思考缺陷理解研究中存在的问题及未来的研究方向,对缺陷理解的研究趋势进行了展望.

关键词：软件调试程序分析软件缺陷缺陷理解

来源：评论

学校读者我要写书评

暂无评论

格密码关键运算模块的硬件实现优化与评估

引用

北京大学学报（自然科学版） 2021年第4期57卷 595-604页

作者：陈朝晖马原荆继武中国科学院大学计算机科学与技术学院北京100049 中国科学院信息工程研究所信息安全国家重点实验室北京100093 中国科学院大学网络空间安全学院北京100049 北京大学软件与微电子学院北京102600

为提高格密码在实际应用中的运算效率,提出一种格密码中多项式乘法运算的优化实现技术。该技术采用乒乓结构存储多项式系数,用以提升存取带宽,通过消除预缩放运算,减少10.5%的模乘运算和16.7%的存储空间占用,采用移位寄存器和三输入加... 详细信息

为提高格密码在实际应用中的运算效率,提出一种格密码中多项式乘法运算的优化实现技术。该技术采用乒乓结构存储多项式系数,用以提升存取带宽,通过消除预缩放运算,减少10.5%的模乘运算和16.7%的存储空间占用,采用移位寄存器和三输入加法器的结构,有效地减少逻辑资源占用。同时,设计具有可选层级的流水线结构,使多项式乘法中的蝶形运算模块可以满足不同密码硬件系统的时序要求。评估结果表明,采用优化技术的低面积、均衡型和高性能实现的蝶形运算模块最大工作频率分别可达到150,250和350 MHz以上。与现有实现技术相比,优化的多项式乘法硬件实现能够以更小的电路面积实现更高的工作频率,使电路效率提升22.8%。

关键词：后量子密码多项式乘法数论变换蝶形运算 FPGA

来源：评论

学校读者我要写书评

暂无评论

基于四元数色度距离的对比度保持灰度化方法

引用

南京理工大学学报 2021年第4期45卷 472-480页

作者：赵宇晓李剑飞朱志亮段润涛黄晓生华东交通大学软件学院江西南昌330013 中国科学院软件研究所计算机科学国家重点实验室北京100190

传统对比度保持灰度化方法采用欧氏距离计算彩色图像的对比度。这种方式只考虑了通道整体的相关性,没有考虑到通道之间的相关性,可能导致灰度化后的结果出现噪声或者细节丢失的情形。针对上述问题,利用四元数相关理论,提出基于色度面投... 详细信息

传统对比度保持灰度化方法采用欧氏距离计算彩色图像的对比度。这种方式只考虑了通道整体的相关性,没有考虑到通道之间的相关性,可能导致灰度化后的结果出现噪声或者细节丢失的情形。针对上述问题,利用四元数相关理论,提出基于色度面投影的四元数色度距离度量公式;利用该度量公式进一步提出基于随机差分的全局色度对比度度量方法和基于水平和垂直方向差分的局部对比度度量方法;利用该对比度度量方法构造对比度保持的目标函数;采用离散近似求解的思路来确定最优的用于灰度化映射的组合系数。实验结果表明,该方法具有较好的实时性,得到的灰度化结果能够更好地保持原彩色图像中的色彩细节对比度信息。

关键词：四元数色度距离色度对比度彩色图像灰度化对比度保持

来源：评论

学校读者我要写书评

暂无评论

模糊测试改进技术评估

引用

计算机系统应用 2022年第10期31卷 1-14页

作者：张阳佟思明程亮孙晓山中国科学院大学北京100049 中国科学院软件研究所可信计算与信息保障实验室北京100190

模糊测试技术在发现真实程序漏洞中具有突出效果.近年来,模糊测试改进技术受到了相关学者的广泛关注,大量的优化模糊测试工具被相继提出,被提出的优化模糊测试工具多数结合了多种改进技术以期望达到更好的效果.然而,当前仍然缺乏对单一... 详细信息

模糊测试技术在发现真实程序漏洞中具有突出效果.近年来,模糊测试改进技术受到了相关学者的广泛关注,大量的优化模糊测试工具被相继提出,被提出的优化模糊测试工具多数结合了多种改进技术以期望达到更好的效果.然而,当前仍然缺乏对单一模糊测试改进技术的系统性评估与分析.本文首先基于4个指标,设计建立了一个针对单一模糊测试改进技术的评估体系,然后基于所提出的评估体系,对近年提出的先进模糊测试工具中集成的多个单一模糊测试改进算法进行了多组实验以评估不同改进技术类别中各个单一改进技术的改进效果,并结合实验数据与实际算法设计和代码实现进行分析.我们希望通过对单一模糊测试改进技术的评估与分析能够对未来的模糊测试改进研究工作提供帮助.

关键词：漏洞挖掘模糊测试评估改进技术信息安全

来源：评论

学校读者我要写书评

暂无评论

复杂系统规约、分析与验证发展现状与展望

引用

前瞻科技 2023年第1期2卷 7-22页

作者：詹乃军王戟中国科学院软件研究所天基综合信息系统重点实验室中国科学院软件研究所计算机科学国家重点实验室国防科技大学计算机学院国防科技大学高性能计算国家重点实验室

形式化方法包括计算系统（软硬件和网络）的规约、构造、分析与验证的数学基础、技术和工具。随着安全攸关系统在国民经济和国防等关键领域的应用越来越多，复杂系统可信性问题日益凸显。形式化方法已经成为开发安全可靠的安全攸关系统... 详细信息

形式化方法包括计算系统（软硬件和网络）的规约、构造、分析与验证的数学基础、技术和工具。随着安全攸关系统在国民经济和国防等关键领域的应用越来越多，复杂系统可信性问题日益凸显。形式化方法已经成为开发安全可靠的安全攸关系统的关键技术之一，也是解决中国“缺芯少魂”的核心技术之一，同时也是国际学术前沿。文章回顾国内外形式化方法研究现状，分析国内外研究差距，并提出加强中国这方面基础研发的若干建议。

关键词：形式化方法安全攸关系统形式规约形式分析与验证

来源：评论

学校读者我要写书评

暂无评论

面向开放文本的逻辑推理知识抽取与事件影响推理探索

引用

中文信息学报 2021年第10期35卷 56-63页

作者：刘焕勇薛云志李瑞任红萍陈贺张鹏中国科学院软件研究所智能软件研究中心北京100190 中国科学院软件研究所计算机国家重点实验室北京100190 数据地平线(广州)科技有限公司广东广州511458

开放文本中蕴含着大量的逻辑性知识,以刻画事物之间逻辑传导关系的逻辑类知识库是推动知识推理发展的重要基础,研发大规模逻辑推理知识库有助于支持由实体或事件等传导驱动的决策任务。该文围绕逻辑推理知识库,论述了知识库的概念、类... 详细信息

开放文本中蕴含着大量的逻辑性知识,以刻画事物之间逻辑传导关系的逻辑类知识库是推动知识推理发展的重要基础,研发大规模逻辑推理知识库有助于支持由实体或事件等传导驱动的决策任务。该文围绕逻辑推理知识库,论述了知识库的概念、类别和基本构成,提出了一种面向大规模开放文本的实体描述、事件因果逻辑知识快速抽取方法;面向金融领域,探索了一套基于逻辑推理知识库的可解释性路径推理方法和金融实体影响生成系统。算法模型和系统均取得了不错的效果。

关键词：逻辑推理描述性知识推理系统知识抽取

来源：评论

学校读者我要写书评

暂无评论

基于可解释基拆解和知识图谱的深度神经网络可视化

引用

计算机学报 2021年第9期44卷 1786-1805页

作者：阮利温莎莎牛易明李绍宁薛云志阮涛肖利民软件开发环境国家重点实验室北京100191 北京航空航天大学计算机学院北京100191 中国科学院软件研究所北京100190 中国专利信息中心北京100088

近年来,以卷积神经网络(CNN)等为代表的深度学习模型,以其深度分层学习,无标签化学习等优势,已在图像识别为代表的各个领域得到日益广泛的应用.然而,深度神经网络模型由于其内在的黑盒原理,对其内部工作机制的解释仍然面临巨大挑战,其... 详细信息

近年来,以卷积神经网络(CNN)等为代表的深度学习模型,以其深度分层学习,无标签化学习等优势,已在图像识别为代表的各个领域得到日益广泛的应用.然而,深度神经网络模型由于其内在的黑盒原理,对其内部工作机制的解释仍然面临巨大挑战,其可解释性问题已成为了研究界和工业界的前沿性热点研究课题.针对现有研究存在的缺乏基于图谱的可解释性方法的问题,以及可解释基模型的图谱构建优势,本文提出了一种基于可解释基拆解和知识图谱的深度神经网络可视化方法.首先采用一种面向可解释基模型特征拆解结构的知识图谱构建方法,构建了场景和解释特征之间的解释关系和并列关系等图谱信息;利用场景-特征的解释关系网络,提出了一种基于Jaccard系数的场景间相似度聚类方法;针对现有可解释基模型对相似的场景,其解释特征重合率可能很高的问题,提出了一种基于场景的判别性特征提取方法,在特征拆解结果中能对每一类样本分别提取出能够区别此类和其他类并且拥有同等重要性的拆解特征(即判别性特征);针对现有可解释基的深度网络可视化测试缺乏保真度测试的问题,提出了一种适于深度神经网络的保真度测试方法.保真度测试和人类置信度测试,均表明本文所提方法可取得优异效果.

关键词：深度神经网络可视化可解释基拆解模型知识图谱解释深度学习模型

来源：评论

学校读者我要写书评

暂无评论

物联网应用中访问控制智能合约的形式化验证

引用

计算机应用 2021年第4期41卷 930-938页

作者：包玉龙朱雪阳张文辉孙鹏飞赵颖琪计算机科学国家重点实验室(中国科学院软件研究所) 北京100190 中国科学院大学北京100049

蓝牙、WiFi等网络技术的进步推动物联网(IoT)的发展,然而IoT在方便了人们生活的同时也存在严重的个可信任的中心节点,不适合节点分散的IoT环境。区块链及智能合约的出现为IoT应用的访问控制提供了更有效的解决方案,但用一般测试方法难... 详细信息

蓝牙、WiFi等网络技术的进步推动物联网(IoT)的发展,然而IoT在方便了人们生活的同时也存在严重的个可信任的中心节点,不适合节点分散的IoT环境。区块链及智能合约的出现为IoT应用的访问控制提供了更有效的解决方案,但用一般测试方法难以保证实现IoT应用的访问控制智能合约的正确性。针对这个问题,提出一种利用模型检测工具Verds对访问控制智能合约进行形式化验证从而保障合约正确性的方法。该方法利用状态迁移系统定义从而形成Verds的输入模型及所要验证性质,然后利用Verds验证待测性质的正确性。方法核心是Solidity合约子集到Verds输入模型的转换。对两个IoT资源访问控制智能合约的实验结果表明,该方法可以对访问控制合约的典型场景及期望性质进行验证,提升了智能合约的可靠性。

关键词：物联网访问控制智能合约形式化验证模型检测

来源：评论

学校读者我要写书评

暂无评论

一种鲁棒的基于对抗结构的生物特征ROI提取方法

引用

自动化学报 2023年第6期49卷 1339-1353页

作者：刘凤刘浩哲张文天陈嘉树沈琳琳王磊深圳大学计算机与软件学院深圳518060 深圳市人工智能与机器人研究院深圳大学分部深圳518060 广东省智能信息处理重点实验室深圳大学分部深圳518060 陕西科技大学电子信息与人工智能学院西安710021 中国科学院深圳先进技术研究院深圳518055

感兴趣区域(Region of interest,ROI)提取在生物特征识别中,常用于减少后续处理的计算消耗,提高识别模型的准确性,是生物识别系统中预处理的关键步骤.针对生物识别数据,提出了一种鲁棒的ROI提取方法.方法使用语义分割模型作为基础,通过... 详细信息

感兴趣区域(Region of interest,ROI)提取在生物特征识别中,常用于减少后续处理的计算消耗,提高识别模型的准确性,是生物识别系统中预处理的关键步骤.针对生物识别数据,提出了一种鲁棒的ROI提取方法.方法使用语义分割模型作为基础,通过增加全局感知模块,与分割模型形成对抗结构,为模型提供先验知识,补充全局视觉模式信息,解决了语义分割模型的末端收敛困难问题,提高了模型的鲁棒性和泛化能力.在传统二维(2D)指纹、人脸、三维(3D)指纹和指纹汗孔数据集中验证了方法的有效性.实验结果表明,相比于现有方法,所提出的ROI提取方法更具鲁棒性和泛化能力,精度最高.

关键词：感兴趣区域提取语义分割对抗结构生物特征

来源：评论

学校读者我要写书评

暂无评论

网络安全挂图作战实践

引用

数据与计算发展前沿 2024年第1期6卷 125-135页

作者：胡威张海霞夏昂魏家辉连一峰国家电网有限公司信息通信分公司北京100761 中国科学院软件研究所可信计算与信息保障实验室北京100190

【目的】随着当前网络空间与物理空间和社会空间逐步融合的趋势,重要行业部门在网络安全保护工作中积累了大量的网络安全数据,数据和业务驱动的网络安全挂图作战对掌握资产底数、改善数据治理成效、提升网络安全保护效能具有非常明显的... 详细信息

【目的】随着当前网络空间与物理空间和社会空间逐步融合的趋势,重要行业部门在网络安全保护工作中积累了大量的网络安全数据,数据和业务驱动的网络安全挂图作战对掌握资产底数、改善数据治理成效、提升网络安全保护效能具有非常明显的作用,可全方位支撑网络安全保护和保障工作。【方法】本文以重要行业开展网络安全挂图作战能力建设为驱动,提出了包含要素抽取层、图谱设计层和智能认知层在内的整体技术架构,包括针对威胁情报信息的实体/关系抽取技术、针对网络资产的自动测绘技术、网络行为监测与建模技术、智能挖掘推理技术以及可视化表达技术等关键技术方法,并在电力行业某部门进行了实践应用。【结果】该技术框架可用于构建面向网络安全保护业务的网络空间地理图谱,支撑全方位、跨空间的网络安全监测发现、态势感知、事件处置和应急响应实战。【结论】基于网络安全地理图谱的挂图作战应用具有很好的应用价值和推广前景,能够直观展示跨空间的数据、要素和业务关系,但仍需要探索业务实战领域的新方法和新模型,以提升网络安全挂图的实战效能。

关键词：网络空间安全网络安全挂图知识图谱资产测绘技术

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：