李宝
- 作品数：141 被引量：122H指数：5
- 供职机构：国防科学技术大学更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术文化科学理学自然科学总论更多>>
- 一种面向云边协同的分布式服务目录管理方法及系统
- 本发明公开了一种面向云边协同的分布式服务目录管理方法及系统，本发明方法包括将应用的服务目录信息进行格式化生成服务摘要和详细信息，将格式化后的应用的服务目录信息存储到分布式存储集群中；将应用的服务目录信息的服务摘要和详细信...
- 李宝谭郁松王晓川张建锋周龙黄辰林丁滟谭霜
- 基于麒麟云计算平台的虚拟机镜像管理方法、系统及介质
- 本发明公开了一种基于麒麟云计算平台的虚拟机镜像管理方法、系统及介质，本发明服务端响应用户上传虚拟机镜像文件请求的步骤包括：获取用户上传的虚拟机镜像文件的镜像指纹，根据镜像指纹进行判断，如果共享存储上尚未存储该虚拟机镜像文...
- 张建锋谭郁松王晓川李宝谭霜
- 基于TEE扩展的操作系统内核强制访问控制方法及系统
- 本发明公开了一种基于TEE扩展的操作系统内核强制访问控制方法及系统，本发明当在REE系统中检测到访问行为时调用TEE系统中访问控制增强验证框架的接口，访问控制增强验证框架根据调用请求中的访问操作类型来调用对应的处理函数，...
- 丁滟黄辰林谭郁松董攀王晓川谭霜李宝张建锋高珑蹇松雷张毅
- 文献传递
- CloneIRD:面向代码溯源的克隆代码继承关系判定方法
- 2024年
- 随着开源软件的广泛使用,代码溯源成为管理软件源代码、降低潜在风险的重要技术手段。基于代码克隆检测的大规模代码溯源分析,从其检测结果中鉴别代码克隆对之间的继承关系,对代码来源追踪、组件依赖关系分析、软件脆弱性分析以及代码缺陷修复等具有重要意义。目前,已有方法在原始代码片段存在微小修改的情况下,会产生许多误判,并且检测克隆对的效率也有待提高。针对上述问题,提出了代码溯源中克隆代码继承关系的判定方法CloneIRD,包括一个基于自研快速分布式克隆检测工具FastDCF的代码溯源分析框架,以及该框架的核心算法——基于代码演化信息的克隆代码继承关系判定算法EIHR。为验证框架和算法的有效性,首先设计并实现了CloneIRD方法,并在Linux内核V4.9和V4.12的开源代码上进行了实验。实验结果表明,CloneIRD方法能够有效判定代码溯源结果中克隆对的继承关系,且基于FastDCF的溯源分析框架能够胜任大规模代码的溯源分析任务。
- 姜智文任怡杨立明管剑波李宝谭郁松
- 关键词：克隆代码克隆检测
- 面向SIMD指令的SM4细粒度切片优化方法及系统
- 本发明公开了一种面向SIMD指令的SM4细粒度切片优化方法及系统，本发明包括将明文分组分段为基本操作单元，顺序排列后采用指定的切片方法利用SIMD指令将其转换为大于1的指定大小的切片窗口宽度的切片存储结构作为切片明文分组...
- 丁滟王闯黄辰林谭郁松李宝董攀王晓川张建锋谭霜郭勇
- 一种基于RANSAC框架的椭球提取算法
- 本文面向点云数据，提出一种椭球的检测和提取算法。本算法采用随机采样一致性框架，通过多次随机采样点云模型，建立多个能够生成椭球体的最小点集，对每个最小点集计算椭球参数，经过验证后建立椭球候选集合，利用分数函数评价各候选，筛...
- 程志全叶永凯李宝
- 关键词：三维重建计算机辅助设计点云数据
- 一种基于RANSAC框架的椭球提取算法被引量：2
- 2012年
- 面向点云数据,提出一种椭球的检测和提取算法。该算法采用随机采样一致性(RANSAC)框架,通过多次随机采样点云模型,建立多个能够生成椭球体的最小点集,对每个最小点集计算椭球参数,经过验证后建立椭球候选集合,利用分数函数评价各候选,筛选出最佳提取椭球。实验结果表明:对于人工合成和扫描仪获取的点云数据,该算法稳定可靠,可有效地提取出正确的椭球。
- 程志全叶永凯李宝
- 关键词：点云模型基元提取椭球RANSAC
- 基于TEE的进程动态完整性度量方法及系统
- 本发明公开了一种基于TEE的进程动态完整性度量方法及系统，包括：在REE环境下利用钩子函数捕捉操作系统将程序的代码段从硬盘加载到内存时引发的缺页异常，若钩子函数捕获到缺页异常，则切换至TEE环境下，利用TEE度量模块通过...
- 丁滟宋连涛董攀李宝谭郁松黄辰林任怡郭勇蹇松雷王怡琦
- 一种基于改进模拟退火算法的程序性能优化参数搜索算法被引量：5
- 2015年
- 高级程序变换是提高程序性能的重要手段,很多涉及到优化参数的选择问题,如为循环分块选择适当的分块因子。由于优化参数搜索问题本身是NP难问题,目前尚没有确定性的算法可以有效解决该问题,针对于此,将该问题转化为一个非线性全局最优化问题,提出一种基于改进模拟退火算法的程序性能优化参数搜索算法,实验结果验证了算法的有效性。
- 陆平静李宝易任娇张英王绍刚庞征斌
- 关键词：程序性能优化模拟退火
- 基于TrustZone的用户级代码和数据安全可信保护方法及装置
- 本发明公开了一种基于TrustZone的用户级代码和数据安全可信保护方法及装置，本发明将关键代码通过加密存储在受保护的内存区域内，只有用户可以加载和访问属于自己的关键代码和数据，其它包括特权软件在内的程序都无法访问用户的...
- 董攀夏锦涛马俊黄辰林谭郁松丁滟任怡谭霜李宝张建锋秦莹
- 文献传递
