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

软件学报 2019年第2期30卷 244-265页

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

程序自动修复技术能够有效地降低软件维护成本,是近年来学术研究的热点问题.待修复程序规约的刻画,对自动修复过程具有至关重要的作用.从规约的角度对程序自动修复问题和技术进行了分析梳理.从待修复程序是否具有完整的程序规约,将现有... 详细信息

程序自动修复技术能够有效地降低软件维护成本,是近年来学术研究的热点问题.待修复程序规约的刻画,对自动修复过程具有至关重要的作用.从规约的角度对程序自动修复问题和技术进行了分析梳理.从待修复程序是否具有完整的程序规约,将现有修复问题分为不完全规约、完全规约和半完全规约这3大类待修复问题.以3类抽象问题为线索,梳理了不同前提假设下修复技术面临的核心问题、问题之间的联系和技术体系中的逻辑关系.分析了不完全规约程序修复问题中高精度补丁生成、规约补全和补丁择优等问题,梳理了完全规约程序修复问题中内存泄漏、资源泄露、并发错误中的数据竞争、原子性违背、顺序违背和死锁,配置错误以及特定性能错误等具体问题及研究进展,整理了半完全规约程序修复问题中多种形式的修复具体问题及研究进展.最后分析了程序自动修复面临的机遇和挑战.

关键词：程序自动修复静态分析程序规约补丁生成测试集

来源：评论

学校读者我要写书评

暂无评论

基于错误根因的Linux驱动移植接口补丁推荐

引用

计算机研究与发展 2022年第6期59卷 1388-1408页

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

Linux内核版本变更带来驱动程序调用内核接口的不一致性错误非常频繁,其通过手工修复不仅工作量繁重,还可能引入新的错误.针对这个问题,驱动移植中间库辅助适配和驱动移植辅助信息等方面的已有研究提供了辅助示例,但是还需要人工分析和... 详细信息

Linux内核版本变更带来驱动程序调用内核接口的不一致性错误非常频繁,其通过手工修复不仅工作量繁重,还可能引入新的错误.针对这个问题,驱动移植中间库辅助适配和驱动移植辅助信息等方面的已有研究提供了辅助示例,但是还需要人工分析和手工构造补丁,人工修复的工作量依然较大并且效率较低.为此,通过推荐高质量补丁降低人工修复的工作量并提高修复效率.与传统方法通过错误代码形式的相似性识别同类错误不同,提出依据错误发生的相同原因和来源识别同类错误.提出了一种分层搜索算法用于获取待修复错误对应的错误根因,通过错误根因识别同类错误的修复实例,从其中提取并选择针对性修复模板实现同类未修复错误的高质量补丁推荐.在收集的19个真实驱动程序数据集上的实验表明,所提方法相比传统方法的补丁推荐正确率有显著提高.

关键词：驱动移植修复实例引入错误变更修复模板补丁推荐错误根因

来源：评论

学校读者我要写书评

暂无评论

微架构瞬态执行攻击与防御方法

引用

软件学报 2020年第2期31卷 544-563页

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

现代处理器的优化技术,包括乱序执行和推测机制等,对性能至关重要.以Meltdown和Spectre为代表的侧信道攻击表明:由于异常延迟处理和推测错误而执行的指令结果虽然在架构级别上未显示,但仍可能在处理器微架构状态中留下痕迹.通过隐蔽信... 详细信息

现代处理器的优化技术,包括乱序执行和推测机制等,对性能至关重要.以Meltdown和Spectre为代表的侧信道攻击表明:由于异常延迟处理和推测错误而执行的指令结果虽然在架构级别上未显示,但仍可能在处理器微架构状态中留下痕迹.通过隐蔽信道可将微架构状态的变化传输到架构层,进而恢复出秘密数据,这种攻击方式称为瞬态执行攻击.该攻击有别于传统的缓存侧信道攻击,影响面更广,缓解难度更大.深入分析了瞬态执行攻击的机理和实现方式,对目前的研究现状与防御方法进行了总结.首先,介绍了处理器微架构采用的优化技术,并分析了其导致瞬态执行攻击的功能特征;然后,基于触发瞬态执行的原语对瞬态执行攻击进行系统化分析,揭示攻击面上的明显差异;最后,有侧重点地针对攻击模型中的关键步骤和关键组件总结了已有的防御方法,并展望了未来的研究方向.

关键词：处理器微架构优化技术瞬态执行攻击防御方法

来源：评论

学校读者我要写书评

暂无评论

基于领域语义知识库的疾病辅助诊断方法

引用

软件学报 2020年第10期31卷 3167-3183页

作者：陈德彦赵宏张霞东北大学计算机科学与工程学院辽宁沈阳110169 计算机软件国家工程研究中心(东北大学) 辽宁沈阳110179 沈阳东软智能医疗科技研究院有限公司辽宁沈阳110179 东软集团股份有限公司辽宁沈阳110179

健康医疗领域是一个知识密集型的领域,临床诊断的质量主要依赖于医生所掌握的健康医疗知识以及临床经验.然而,单个医生的能力仍然非常有限,所以目前临床诊断的质量并不高.为此,提出一种基于领域语义知识库的疾病辅助诊断方法,基于Freeb... 详细信息

健康医疗领域是一个知识密集型的领域,临床诊断的质量主要依赖于医生所掌握的健康医疗知识以及临床经验.然而,单个医生的能力仍然非常有限,所以目前临床诊断的质量并不高.为此,提出一种基于领域语义知识库的疾病辅助诊断方法,基于Freebase中medicine主题域的知识建立了领域语义知识库,提出计算知识库中症状于疾病诊断的权重、计算与患者输入症状集相关的疾病的相关度和基于患者输入症状集推荐相关症状的算法.最后,基于随机选取的6种常见疾病的临床病历数据对所提出的方法与现有方法进行了对比评价,评价结果一方面表明了所提方法对已有方法存在的问题和不足的改进效果,另一方面也表明所提方法可以避免“冷启动”问题,可以快速支撑对大量常见疾病的辅助诊断.基于所提方法,有望为基层全科医生提供大量常见疾病的辅助诊断服务,或者为患者提供疾病自诊服务.

关键词：本体领域语义知识库疾病辅助诊断症状权重疾病相关度相关症状

来源：评论

学校读者我要写书评

暂无评论

基于已有实例的Linux驱动程序前向移植接口补丁推荐

引用

计算机研究与发展 2021年第1期58卷 189-207页

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

Linux内核版本频繁升级对驱动程序带来的关联影响程度和影响范围都很大,为了修复这种关联影响带来的驱动程序调用内核接口的不一致性错误,不断修改旧版本驱动代码进行前向移植是一个持续和紧迫的问题.驱动演化辅助理解、驱动移植中间库... 详细信息

Linux内核版本频繁升级对驱动程序带来的关联影响程度和影响范围都很大,为了修复这种关联影响带来的驱动程序调用内核接口的不一致性错误,不断修改旧版本驱动代码进行前向移植是一个持续和紧迫的问题.驱动演化辅助理解、驱动移植中间库辅助适配和驱动移植辅助信息等方面的已有研究,通过检索语句级别的辅助信息提高了驱动移植的效率.但是已有方法仅关注了检索辅助信息本身却并没有区分其中包含的有效补丁素材,因此还需要人工分析和手工构造适配性补丁.为了克服上述限制,提出了一种全新的方法旨在推荐驱动前向移植中接口错误的高质量补丁.观察发现,依赖相同内核接口服务的多个不同驱动程序之间存在相同或相似的内核接口调用,内核版本升级后其他驱动的历史开发信息中可能存在这种复用接口及其使用变更的已有实例代码.利用出错接口语句和相似已有实例的共性分析错误问题的特点,通过已有实例的辅助作用抽取针对性的接口修改方式和修改内容等细粒度素材生成待推荐补丁.具体结合分界点识别、相似度计算、细粒度差异比较和频度计算确定有效修改方式.提出了一种基于已有实例差异特征的分类算法,通过区分修改内容的不同类型分别从2种数据源提取.最后使用编辑脚本技术生成推荐补丁列表.在9个不同类型的真实驱动程序上的实验表明,该方法能够推荐驱动移植中7类接口错误补丁,有效补丁占比约67.4%,对现有辅助方法形成了有效补充和拓展.

关键词：驱动移植已有实例接口复用修改方式补丁推荐接口错误

来源：评论

学校读者我要写书评

暂无评论

有效覆盖引导的定向灰盒模糊测试

引用

软件学报 2022年第11期33卷 3967-3982页

作者：杨克贺也平马恒太蔡春芳谢异董柯基础软件国家工程研究中心(中国科学院软件研究所) 北京100190 中国科学院大学北京100049 计算机科学国家重点实验室(中国科学院软件研究所) 北京100190

定向灰盒模糊测试技术在度量种子对目标执行状态的搜索能力时,除了考虑种子逼近目标代码的程度之外,还需要分析种子对多样化执行状态的发现能力,从而避免陷入局部最优.现有的定向灰盒模糊测试主要根据全程序的覆盖统计来度量种子搜索多... 详细信息

定向灰盒模糊测试技术在度量种子对目标执行状态的搜索能力时,除了考虑种子逼近目标代码的程度之外,还需要分析种子对多样化执行状态的发现能力,从而避免陷入局部最优.现有的定向灰盒模糊测试主要根据全程序的覆盖统计来度量种子搜索多样化执行路径的能力.然而,目标执行状态仅依赖于部分程序代码.如果带来新覆盖的种子并未探索到目标状态计算所依赖的新执行状态,其不仅不能扩大种子队列对目标执行状态的搜索能力,而且会诱导测试目标无关的代码和功能,阻碍定向测试向目标代码的收敛.为了缓解该问题,从待发现目标执行状态依赖代码的覆盖统计着手,提出了一种有效覆盖引导的定向灰盒模糊测试方法.利用程序切片技术提取影响目标执行状态计算的代码.通过能量调度(即控制种子后代生成数量),提升引发该部分代码控制流新覆盖变化的种子能量,降低其他冗余种子的能量,使定向灰盒模糊测试专注于搜索目标相关的执行状态.在测试集上的实验结果显示,该方法显著提升了目标状态发现效率.

关键词：定向模糊测试有效覆盖冗余种子能量调度程序切片

来源：评论

学校读者我要写书评

暂无评论

基于动态策略学习的关键内存数据访问监控

引用

计算机研究与发展 2019年第7期56卷 1470-1487页

作者：冯馨玥杨秋松石琳王青李明树中国科学院软件研究所基础软件国家工程研究中心北京100190 中国科学院大学北京100049 计算机科学国家重点实验室(中国科学院软件研究所) 北京100190

在基于虚拟机监控器(virtual machine monitor, VMM)的系统监控中,通常需要截获关键内存访问事件和关键指令执行从而监控细粒度的内存访问行为.然而利用VMM截获内存访问行为使得CPU控制权频繁陷入VMM中,导致性能开销巨大.当前已有的研... 详细信息

在基于虚拟机监控器(virtual machine monitor, VMM)的系统监控中,通常需要截获关键内存访问事件和关键指令执行从而监控细粒度的内存访问行为.然而利用VMM截获内存访问行为使得CPU控制权频繁陷入VMM中,导致性能开销巨大.当前已有的研究为了解决该问题,在内核编译阶段修改内核源码或者直接修改内核二进制文件,将安全关键数据重定向到单独的区域以减小陷入VMM的频率.然而这些方法必须修改被监控系统本身,并且被监控的区域在系统运行阶段不能修改,很大程度上影响了它们的应用场景,并且不够灵活.为了解决以上问题,提出了一种运行时动态调整需要监控的安全关键内存数据的方法DynMon,该方法对被监控的系统透明且不需要修改被监控系统.首先,通过对历史数据的收集和分析,自动学习系统运行状态和安全关键数据访问行为间的关系,将其作为安全关键数据监控策略的依据.然后,对系统运行状态实时监控,根据安全关键数据的监控策略,实时动态调整需要监控的内存访问区域,以减小不必要的监控带来的性能开销.实验结果表明:与没有动态监控策略的方法相比,该方法减小了22.23%的额外性能开销,并且在加大内存监控规模时,并不会过大增加系统的性能开销.

关键词：安全关键数据内存访问监控监控策略序列模式挖掘事件截获

来源：评论

学校读者我要写书评

暂无评论

软接触电磁连铸过程中结晶器及初生坯壳的传热

引用

钢铁研究学报 2005年第5期17卷 31-34,47页

作者：那贤昭王锡钢张兴中干勇钢铁研究总院连铸技术国家工程研究中心北京100081 鞍山科技大学计算机学院辽宁鞍山114000

为了解高频磁场对软接触电磁连铸结晶器及初生坯壳传热行为的影响,用有限元二维数值模拟方法计算了软接触连铸过程中结晶器及初生坯壳的传热。得知在高频磁场(f=20 kHz)作用下,电磁场的感应加热会减少连铸初生坯壳的厚度、提高连铸坯的... 详细信息

为了解高频磁场对软接触电磁连铸结晶器及初生坯壳传热行为的影响,用有限元二维数值模拟方法计算了软接触连铸过程中结晶器及初生坯壳的传热。得知在高频磁场(f=20 kHz)作用下,电磁场的感应加热会减少连铸初生坯壳的厚度、提高连铸坯的表面温度,并大幅度提高分瓣结晶器铜壁的温度。

关键词：软接触电磁连铸结晶器传热有限元法数值模拟

来源：评论

学校读者我要写书评

暂无评论

X264多线程下码率控制算法的优化

引用

计算机工程 2015年第8期41卷 207-211,217页

作者：石艺王中元胡金晖杨乘武汉大学计算机学院国家多媒体软件工程研究中心武汉430079

X264编码器平均比特率(ABR)码率控制算法在单线程下,可以利用前面所有帧的实际偏差来调整量化参数(QP)。但在多线程下,当前帧之前仍有尚未编码完的帧,因此只能用部分已编码帧的实际偏差来调整QP,有可能使实际码率严重偏离目标码率。针... 详细信息

X264编码器平均比特率(ABR)码率控制算法在单线程下,可以利用前面所有帧的实际偏差来调整量化参数(QP)。但在多线程下,当前帧之前仍有尚未编码完的帧,因此只能用部分已编码帧的实际偏差来调整QP,有可能使实际码率严重偏离目标码率。针对该问题,提出一种改进的ABR多线程码率控制方法。该方法通过当前帧之前已编码帧的实际偏差来估计未编码帧的偏差,得到类似单线程下当前帧之前所有帧的偏差,用以调整QP,达到提高多线程码率和控制精度的目的。实验结果表明,改进后视频流的实际码率更接近目标码率,码率误差最高可降低2.27%,平均码率曲线也更为平滑。

关键词：视频编码平均比特率码率控制多线程码率精度

来源：评论

学校读者我要写书评

暂无评论

专家视图与本体视图的语义映射方法

引用

软件学报 2020年第9期31卷 2855-2882页

作者：陈德彦赵宏张霞东北大学计算机科学与工程学院辽宁沈阳110819 计算机软件国家工程研究中心(东北大学) 辽宁沈阳110179 东软集团股份有限公司辽宁沈阳110179 沈阳东软智能医疗科技研究院有限公司辽宁沈阳110179

由于本体具有强大的知识表示和推理能力,本体已经在很多领域得到了广泛应用.然而,本体的深入应用还面临着很多深层次的共性语义映问题,已有的本体建模方法仅仅提出了一些简单的指导原则和基本步骤,使得知识工程师仍然无从下手.在基于领... 详细信息

由于本体具有强大的知识表示和推理能力,本体已经在很多领域得到了广泛应用.然而,本体的深入应用还面临着很多深层次的共性语义映问题,已有的本体建模方法仅仅提出了一些简单的指导原则和基本步骤,使得知识工程师仍然无从下手.在基于领域专家知识构建领域语义知识库时,针对领域专家知识中的一词多义、多元关系和安全需求等3类共性语义映射问题,从5个方面展开了深入研究,提出了相应的语义映射方法,总结了10条本体建模约定.最后构建了一个完整的应用案例,并对所提出的5类语义映射方法进行了评价.

关键词：本体领域语义知识库专家视图本体视图语义映射问题求解

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：