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

软件学报 2018年第1期29卷 1-22页

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

精准执行可达性分析探究计算机程序状态之间的可达性关系,通过分析软件的文档、源代码或二进制程序并进行必要的测试验证,以求出在既定限制下从初始状态到特定代码位置的目标状态的准确触发输入和执行路径.精准执行可达性分析在定向测... 详细信息

精准执行可达性分析探究计算机程序状态之间的可达性关系,通过分析软件的文档、源代码或二进制程序并进行必要的测试验证,以求出在既定限制下从初始状态到特定代码位置的目标状态的准确触发输入和执行路径.精准执行可达性分析在定向测试、静态分析结果核验、错误复现和漏洞POC构造等领域均有广泛的应用.对近年来国内外学者在该研究领域取得的相关研究成果进行了系统的分析、提炼和总结.首先,指出了精准执行可达性分析对应的约束求解问题,以双向符号分析和程序归纳为主线介绍了其主要研究方法,讨论了相关技术难点;其次,对目前已经存在的精准执行可达性应用进行了分类分析;进而,指出精准执行可达性分析应用中程序分析、归纳和约束求解等方面存在的挑战;最后,对可能的解决办法以及未来发展方向进行了展望.

关键词：程序分析可达性分析定向测试双向符号分析程序归纳

来源：评论

学校读者我要写书评

暂无评论

面向RISC-V的软件包适配补丁实证研究

引用

计算机仿真 2025年第3期42卷 390-398页

作者：丁志远朱家鑫吴国全陈志峰广西大学计算机与电子信息学院广西南宁530004 中国科学院软件研究所软件工程技术研究开发中心北京100190 中国电子技术标准化研究院云计算标准与应用工业与信息化部重点实验室北京100007

RISC-V作为新兴CPU指令集架构,开源开放的特点使其受到广泛关注。为使Linux发行版软件包能够在RISC-V架构上运行,开发者需要对软件包进行迁移,过程中涉及软件源代码的修改,软件包的重新构建等适配工作。软件包的构建过程中,源码引起的... 详细信息

RISC-V作为新兴CPU指令集架构,开源开放的特点使其受到广泛关注。为使Linux发行版软件包能够在RISC-V架构上运行,开发者需要对软件包进行迁移,过程中涉及软件源代码的修改,软件包的重新构建等适配工作。软件包的构建过程中,源码引起的构建问题时常发生,且需要人工解决,导致迁移成本高,周期长。如何将构建问题合理分类并确定相应的解决策略,是一个亟待解决的问题。现面向一种主流的Linux发行版软件包格式——RPM,通过分析软件包补丁(patch)中的迁移适配内容,以及SPEC文件中的相关日志和注释,得到软件包构建超时问题和架构支持问题两大类别。对两种类别进一步梳理得出七种构建问题根因,并从中归纳实践相应的解决策略。研究结果有助于开发者更加高效地将Linux发行版软件包迁移适配到RISC-V架构。

关键词：补丁修复补丁分类构建问题分类软件包构建迁移

来源：评论

学校读者我要写书评

暂无评论

面向中学走班制排课的优化遗传算法

引用

计算机系统应用 2020年第12期29卷 80-86页

作者：张永宏王永吉付立军李旭胡胜文中国科学院大学工程科学学院北京100049 中国科学院软件研究所北京100190 中国科学院大学北京100049 中国科学院沈阳计算技术研究所沈阳110168 山东大学大数据技术与认知智能实验室济南250000 北京市中关村中学北京100086

针对新课改走班制教学多约束条件下新的排课问题,本文提出一种新的优化遗传算法策略,并构建出了一套已在某中学试运行的走班制排课系统,新系统集成了学生选课模块、学生成绩模块、学生评测模块.对比传统遗传算法,本文首次提出的冲突染... 详细信息

针对新课改走班制教学多约束条件下新的排课问题,本文提出一种新的优化遗传算法策略,并构建出了一套已在某中学试运行的走班制排课系统,新系统集成了学生选课模块、学生成绩模块、学生评测模块.对比传统遗传算法,本文首次提出的冲突染色体优化策略,在遗传算法中新增冲突染色体算子,在实验中排课效率提升了19.2%.在自适应变异率优化条件下,再通过加入冲突染色体,利用其可以剪掉算法迭代过程中产生的无用解的特性,实现既保证了解的搜索空间又加速算法收敛的效果.在本文的研究和实验中,还就走班制教学下学生自主选科及分班模式对排课影响进行了验证,实验显示按照"选课组合"策略对学生进行分班,再与教师、教室、时间等教育资源组合排课时,效率得到更多的提升.

关键词：冲突染色体算子新的优化遗传算法走班制排课分班策略

来源：评论

学校读者我要写书评

暂无评论

六角格网的弧线矢量数据量化拟合方法

引用

计算机辅助设计与图形学学报 2018年第4期30卷 557-567页

作者：张瀚李静吕品徐永志刘格林中国科学院软件研究所天基综合信息系统重点实验室北京100190 中国科学院软件研究所计算机科学国家重点实验室北京100190

兵棋地图矢量化是指将地理信息因子以属性形式映射到以六角网格为组织结构的兵棋地图中的过程.由于地理信息连通结构复杂,其中包含大量的有向弧段数据,如何在保持原有拓扑连接的前提下快速准确地量化到六角网格一直是一个困难的问题.对... 详细信息

兵棋地图矢量化是指将地理信息因子以属性形式映射到以六角网格为组织结构的兵棋地图中的过程.由于地理信息连通结构复杂,其中包含大量的有向弧段数据,如何在保持原有拓扑连接的前提下快速准确地量化到六角网格一直是一个困难的问题.对此,提出一种串序匹配拟合方法.首先依据有向弧段生成所穿越的匹配单元序列;然后对每个匹配单元依据离散Fréchet距离确定最佳的拟合六角格边;最后寻找并连接各条有向格边序列的连通端点,形成连通图.实验结果表明,文中方法可以在线性时间内完成大量弧段的量化拟合计算;同时,由于在量化中弧段间的连接节点被调整到格点,各弧段间的连接关系可在拟合过程中得以保持;串序匹配拟合方法具有很好的适应性和很高的效率.

关键词：兵棋地图地形量化制图综合串序匹配拟合 Fréchet距离

来源：评论

学校读者我要写书评

暂无评论

Spark协同过滤算法扩展性测试与分析

引用

计算机工程与设计 2019年第6期40卷 1574-1579页

作者：沈雯婷刘财政孙磊李慧许利杰王伟中国科学院软件研究所软件工程技术研究开发中心北京100190 中国科学院大学计算机与控制学院北京100049 中国科学院软件研究所计算机科学国家重点实验室北京100190 天津神舟通用数据技术有限公司天津市海量数据处理技术实验室天津300384

机器学习算法的线性扩展性要求算法的计算性能随节点数增加保持接近线性增长。针对当前ALS算法扩展性测试的不足,提出一种多维度扩展性测试方法,通过横向测试进行扩展性测试,使用纵向测试确定扩展性瓶颈。结合真实数据集在Spark MLlib... 详细信息

机器学习算法的线性扩展性要求算法的计算性能随节点数增加保持接近线性增长。针对当前ALS算法扩展性测试的不足,提出一种多维度扩展性测试方法,通过横向测试进行扩展性测试,使用纵向测试确定扩展性瓶颈。结合真实数据集在Spark MLlib上进行测试,实验结果表明,该算法对节点敏感,会出现任务聚集到某个节点上的问题,同时随着任务并行度增加,算法执行时间增加,效率降低。

关键词：分布式机器学习算法交替最小二乘法扩展性多维度测试测试发现

来源：评论

学校读者我要写书评

暂无评论

面向磁流体动力学方程组的异构众核全隐求解器研究

引用

数值计算与计算机应用 2019年第1期40卷 34-50页

作者：刘芳芳陈道琨杨超赵玉文中国科学院软件研究所并行软件与计算科学实验室北京100190 中国科学院大学北京100049 北京大学数学科学学院北京100871

磁流体动力学方程组被广泛应用于受控核聚变装置托卡马克、天体物理、磁流体发电等问题的研究中,其往往具有非线性、多尺度、多物理等特征,大规模数值难度较大.目前国际上对不可压缩流体问题的大规模数值求解主要采用全隐或半隐方法,但... 详细信息

磁流体动力学方程组被广泛应用于受控核聚变装置托卡马克、天体物理、磁流体发电等问题的研究中,其往往具有非线性、多尺度、多物理等特征,大规模数值难度较大.目前国际上对不可压缩流体问题的大规模数值求解主要采用全隐或半隐方法,但都是在同构的超级计算机而不是目前主流的异构众核系统上进行计算.论文面向国产神威"太湖之光"超级计算机,开展面向磁流体动力学方程组的异构众核全隐求解器研究.针对Newton-Krylov这类全隐求解器,提出了面向申威26010众核处理器的异构众核并行算法,并对其核心函数开展了众核并行和优化.对核心函数稀疏矩阵向量乘采用Matrix Free的方法来提升性能,对稀疏三角求解采用基于几何信息的异构众核并行算法,针对其访存密集的特点提出了存储格式、数据读取与计算依赖分离、核间寄存器通信等多种优化方法,对非线性残差计算等stencil类计算及10多个向量函数进行了异构众核并行,该异构众核并行算法可被其它应用软件重用.论文采用二维磁场重联问题进行测试,实验结果表明16进程时加速比可达13.6倍,能够支持高分辨率长时间模拟,并准确捕捉磁场重联现象.另外整体并行扩展性已经达到53万核,强可扩展性并行效率达到了33.8%,弱可扩展性并行效率达到了80.7%.

关键词：二维磁场重联磁流体动力学异构众核全隐求解器神威太湖之光申威26010处理器

来源：评论

学校读者我要写书评

暂无评论

宽带卫星网络安全态势感知技术研究

宽带卫星网络安全态势感知技术研究

引用

2020年“网络安全技术与应用创新”研讨会

作者：董坤张海霞刘艳梅李洋中国卫通集团股份有限公司中国科学院软件研究所可信计算与信息保障实验室

宽带卫星网络作为新型的网络应用环境,是国家网络安全等级保护制度的重要保护对象。文章将网络安全态势感知技术引入宽带卫星网络中,分析了卫星网络在架构特殊性、专用设备漏洞以及跨网威胁传播方面的安全要素,设计了宽带卫星网络安全... 详细信息

宽带卫星网络作为新型的网络应用环境,是国家网络安全等级保护制度的重要保护对象。文章将网络安全态势感知技术引入宽带卫星网络中,分析了卫星网络在架构特殊性、专用设备漏洞以及跨网威胁传播方面的安全要素,设计了宽带卫星网络安全态势感知技术体系,阐述了多源数据采集、数据治理、知识图谱构建、智能推理等关键技术,为提升宽带卫星网络的主动防御能力提供支撑。

关键词：宽带卫星网络网络空间安全态势感知等级保护

来源：评论

学校读者我要写书评

暂无评论

基于知识图谱的宽带卫星网络异常行为检测技术

基于知识图谱的宽带卫星网络异常行为检测技术

引用

2020中国网络安全等级保护和关键信息基础设施保护大会

作者：董坤张海霞刘艳梅李洋彭媛媛中国卫通集团股份有限公司中国科学院软件研究所可信计算与信息保障实验室

宽带卫星网络作为典型的通信基础设施,属于国家网络安全等级保护制度所重点强调的一类保护对象。针对宽带卫星网络中的异常行为检测问题,引入知识图谱的构建及推理技术,分别以破坏业务信息安全和系统服务安全的典型网络攻击为案例,抽取... 详细信息

宽带卫星网络作为典型的通信基础设施,属于国家网络安全等级保护制度所重点强调的一类保护对象。针对宽带卫星网络中的异常行为检测问题,引入知识图谱的构建及推理技术,分别以破坏业务信息安全和系统服务安全的典型网络攻击为案例,抽取安全实体、属性及其关系,建立宽带卫星网络的安全知识图谱,利用机器学习方法进行图谱推理,实现对网络异常行为的检测。

关键词：宽带卫星网络网络安全等级保护知识图谱异常检测

来源：评论

学校读者我要写书评

暂无评论

基于超图随机游走标签扩充的微博推荐方法

引用

软件学报 2019年第11期30卷 3397-3412页

作者：马慧芳张迪赵卫中史忠植西北师范大学计算机科学与工程学院甘肃兰州730070 广西可信软件重点实验室(桂林电子科技大学) 广西桂林541004 华中师范大学计算机学院湖北武汉430079 中国科学院计算技术研究所智能信息处理重点实验室北京100190

向微博用户推荐对其有价值和感兴趣的内容,是改善用户体验的重要途径.通过分析微博特点以及现有微博推荐算法的缺陷,利用标签信息表征用户兴趣,提出一种结合标签扩充与标签概率相关性的微博推荐方法.首先,考虑到大部分微博用户未给自己... 详细信息

向微博用户推荐对其有价值和感兴趣的内容,是改善用户体验的重要途径.通过分析微博特点以及现有微博推荐算法的缺陷,利用标签信息表征用户兴趣,提出一种结合标签扩充与标签概率相关性的微博推荐方法.首先,考虑到大部分微博用户未给自己添加任何标签或添加标签过少,视用户发布微博为超边,微博中的词视为超点来构建超图,并以一定的加权策略对超边和超点进行加权,通过在超图上随机游走,得到一定数量的关键词,对微博用户标签进行扩充;然后,采用相关性标签权重加权方案构建用户-标签矩阵,利用标签之间的概率相关性,构造标签相似性矩阵,对用户-标签矩阵进行更新,使该矩阵既包含用户兴趣信息,又包含标签与标签之间的关系.以新浪微博公开API抓取的微博信息作为实验数据进行了一系列的实验和分析,结果表明,该推荐算法具有较好的效果.

关键词：超图随机游走标签扩充概率相关性用户-标签矩阵微博推荐

来源：评论

学校读者我要写书评

暂无评论

一种场景内容分布的交互式渲染系统

引用

图学学报 2019年第1期40卷 87-91页

作者：孙昭柳有权张彩荣石剑陈彦云长安大学信息工程学院陕西西安710064 中国科学院自动化研究所模式识别国家重点实验室北京100190 中国科学院软件研究所计算机科学国家重点实验室北京100190

近年来,三维虚拟场景的规模和复杂程度不断提高,受到硬件的限制,一些应用中的超大规模场景(如建筑群,城市等)很难在单机上进行渲染或满足可交互的需求。针对该问题,提出了一种分布式渲染框架,将大规模场景在内容上进行划分,得到单一节... 详细信息

近年来,三维虚拟场景的规模和复杂程度不断提高,受到硬件的限制,一些应用中的超大规模场景(如建筑群,城市等)很难在单机上进行渲染或满足可交互的需求。针对该问题,提出了一种分布式渲染框架,将大规模场景在内容上进行划分,得到单一节点可渲染的子场景。这些子场景被分布到集群中不同的渲染节点进行处理,其渲染结果根据深度信息进行合成得到整个场景的最终渲染结果。为了降低交互响应时间,需对子场景的渲染结果进行压缩传输。实验充分验证了提出的分布式渲染系统能够高效处理超大规模场景的渲染和交互,并且具有良好的可扩展性,能够满足很多领域中对大规模场景交互式渲染的需求。

关键词：渲染分布式系统场景分布交互式

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：