公共文化服务平台

包云岗: 作品数：84 被引量：128H指数：6; 供职机构：中国科学院计算技术研究所更多>>; 发文基金：国家自然科学基金中国科学院战略性先导科技专项国家重点基础研究发展计划更多>>; 相关领域：自动化与计算机技术经济管理文化科学电子电信更多>>

合作作者

推动国家资助科研项目成果开源开放的国际经验借鉴及思考: 2024年; 数字经济时代,开源创新活动已成为从源头上激发创新活力的动力之源,正在成为数字公共产品高质量供给的重要来源。文章着眼于推动国家资助科研项目成果开源开放的重要性,总结全球主要国家地区对国家财政资助科研项目成果开源开放的实践经验与政策举措,分析我国在推进政府资助科技项目成果开源开放的挑战。在此基础上,提出促进我国构建科技成果开源开放机制的建议。; 隆云滔王哲许哲平王涛包云岗武延军朱其罡顾荣

一种操作系统及操作系统管理方法: 本发明公开了一种操作系统及管理方法。该操作系统，包括：多个在内核态运行的与系统调用类型对应的内核服务模块，分布在至少一个处理器和/或处理器核上；多个用于管理应用程序和应用进程的应用管理模块，分布在与所述内核服务模块不同的...; 包云岗袁清波陈明宇马捷; 文献传递

以RISC-V为目标的动态二进制翻译代码质量优化方法: 2023年; 动态二进制翻译是解决一款指令集面临生态系统壁垒问题的主流技术,通过将二进制程序从源指令集翻译成目标指令集,可以在目标指令集的处理器上运行源指令集的应用程序.动态二进制翻译技术的一大挑战是如何生成高质量的目标指令序列,尤其当源指令集和目标指令集存在差异时.为探究该问题,以RISC-V64指令集为目标指令集,分析了当RISC-V64,RISC-V32,MIPS32,x86分别作为源指令集时,影响动态二进制翻译技术翻译质量的因素.针对这些因素,分别提出相应优化方法,并借助RISC-V B扩展和RISC-V P扩展中的部分指令提升翻译质量.最后,提出一个新的动态二进制翻译程序DBT-FEMU实现优化.在模拟器和FPGA中的评估数据显示,运行SPEC CPU2006的整数基准程序时,优化方法可使目标程序所执行的动态指令数平均减少57%,平均性能达QEMU-i386的4.12倍.; 余子濠陈璐孙凝晖包云岗; 关键词：动态二进制翻译指令集翻译质量

按科研规律办事,在干事创业中成长――谈青年科技人才成长之道被引量：2: 2022年; 我国科技事业发展进入新阶段,创新成为引领发展的第一动力。在本土培养出规模宏大、具有突出创新能力的青年科技人才,是我国科技事业实现可持续发展的动力源泉。文章认为我国的人才培养体制具有较强的革新能力,能根据国家战略需求进行相应的调整,经过中国基础教育培养的青年科研人员具备做出突出创新工作的潜力。鼓励青年科技人员通过认知科研自身规律从而建立若干重要的科研理念,并在实践中将创新潜力释放出来,加速我国科技发展。; 包云岗; 关键词：青年科技人才中国基础教育青年科研人员国家战略需求青年科技人员

面向高密度混部的动态资源分配方法: 2024年; 当前的无服务计算提供商采用了一种灵活度低、固定CPU和内存分配比例的耦合式资源分配策略.随着更多类型应用被部署在无服务计算平台中,该策略已无法满足函数应用的多样化资源需求.由于函数应用的资源分配粒度小、部署密度高,若将CPU与内存资源的分配进行解耦,需解决资源配置空间爆炸问题.提出Semi-Share,一个面向无服务计算的解耦式资源管理系统,为函数寻找最优资源配置的同时降低混部函数之间的干扰.为解决资源配置空间爆炸问题,Semi-Share构建了一个2层资源分配架构,将资源配置空间划分为多个子空间来降低问题复杂度.第1层是函数分组,基于函数的资源使用特征和历史负载信息进行函数分组,根据分组将资源配置空间划分为多个子空间.第2层是资源分配,利用贝叶斯优化和加权打分函数来指导模型在资源配置空间中朝正确的方向搜索,降低时间开销.实验结果显示,Semi-Share相较于被广泛使用的梯度下降搜索法降低了平均85.77%的时间开销,并为函数带来平均42.72%的性能提升;与同样使用贝叶斯优化的耦合式资源分配系统COSE相比,Semi-Share能带来平均32.25%的性能提升.; 郭静胡存琛包云岗; 关键词：服务质量资源分配

K-Query:基于关键点查询的全景分割方法被引量：1: 2023年; 全景分割是图像语义分割与实例分割的融合,在自动驾驶、机器人应用等领域有重要应用价值.在当前基于深度学习的全景分割方法中,基于“查询”的方法在分割流程上统一了语义分割任务和实例分割任务,取得了当前最优全景分割效果.该类方法将自然语言处理中的注意力机制应用到了图像分割领域,然而由于输入图片数据量远大于文本句子数据量,该方法无法直接采用输入数据作为查询向量,为此构建了固定数量的静态向量作为“查询”.但是,该静态查询设计存在查询向量个数不好确定,容易出现实例表示混淆等问题.在基于静态查询的设计中,需要人为地根据经验去设定实例查询向量的个数,但是在实际情况中,输入图片中实例的个数不是固定的,在动态变化.如果把需要的查询向量个数设置的太少,少于图片中的实例数,则多的实例就无法表示.且由于每一个查询向量在解析过程中都会生成一张对应的掩码图片,多一倍的查询向量就会多一倍的资源开销,因此如果设置了太多的查询向量,在一些图片输入下就可能导致大量的资源浪费.另一方面,由于静态设置的查询向量和需要解析的输入图片不相关,在某些情况下,一个静态查询向量可能会得到多个事物的掩码,或者多个静态查询向量得到相同物体的掩码,导致查询向量在事物表示上发生混淆.为了解决该问题,我们期望查询向量是动态的,和输入图片中待查询的事物相关,且每个查询向量之间都具有一定的可区分性,为此本文提出了一种基于目标物体关键点的动态查询全景分割方法,称之为K-Query.为了让实例查询向量与图片中的实例直接关联,并在它们之间具有一定的区分距离,本方法首先将图片中的实例通过深度神经网络映射为可区分的高维嵌入编码,并保证同一个物体对应像素点的编码距离足够近,不同物体间; 姚治成王卅包云岗; 关键词：图像分割聚类

面向处理器功能验证的硬件化System Verilog断言设计: 2024年; 功能验证在处理器芯片开发流程中所占用的时间超过70%,因此优化提升功能验证环节的效率非常必要.软件仿真等传统验证方法提供了包括断言等多种验证机制,以提升验证的细粒度可见性和自检查能力,但是软件仿真运行速度较慢,在高效性方面有明显不足.基于FPGA的硬件原型验证方法能极大地加速验证性能,但其调试能力较弱,虽能快速发现漏洞,但难以定位漏洞出现的具体位置和根本原因,存在有效性不足难题.为同时解决上述功能验证有效性与高效性的问题,提出一种将不可综合的断言语言SVA(SystemVerilog Assertion)自动转换成逻辑等效但可综合的RTL电路的方法,聚焦于断言这一类对设计进行非全局建模、纵向贯穿各抽象层级的验证方式,对基于全局指令集架构(instruction set architecture,ISA)模型的验证能力进行补足.同时,结合FPGA细粒度并行化、高度可扩展的优势,对处理器的验证过程进行硬件加速,提升了处理器的开发效率.实现了一个端到端的硬件断言平台,集成对SVA进行硬件化的完整工具链,并统计运行在FPGA上的硬件化断言的触发和覆盖率情况.实验表明,和软件仿真相比,所提方法能取得超过2万倍的验证效率提升.; 张子卿石侃徐烁翔王梁辉包云岗; 关键词：断言硬件仿真现场可编程逻辑门阵列

产学研融合如何提升科研影响力?——个人与团队视角下的案例剖析被引量：3: 2023年; 当前我国一批产业关键技术面临“卡脖子”困境,而产学研协同不足是导致产业关键技术“卡脖子”问题的原因之一。尽管政府和学界均认可产学研融合对国家科技创新的重要作用,但对产学研融合对个人和团队科研影响力的作用尚未达成共识。借助计划行为理论,在对斯坦福大学图灵奖得主以及加州大学伯克利分校计算机科学系RISC-V科研项目团队的案例进行深入分析基础上发现,制度环境因素,包括产学研融合的创新生态集群、重大产业贡献导向的科研评价体系以及个人与团队贡献互嵌的科研团队管理模式,通过作用于个体行为意愿,强化产学研合作实际行为,在个人和团队科研影响力提升中起到了关键作用。对激发我国科研人员积极参与产学研融合的实践行为具有借鉴意义。; 徐艳茹刘继安包云岗; 关键词：创新生态

一种存储器资源优化方法和装置: 本发明的实施例提供一种存储器资源优化方法和装置，涉及计算机领域，解决了现有多级存储器资源之间存在的相互影响问题，优化了现有单一的划分机制。具体方案为：通过页着色技术获得工作集中各程序的性能数据，结合访存频度得到各程序的分...; 刘磊包云岗吴承勇冯晓兵; 文献传递

分布式环境下保障应用服务质量的方法及系统: 本发明提供一种分布式环境下定位瓶颈节点和保障应用服务质量的方法及系统。定位瓶颈节点的方法包括计算服务的关键路径上的每个节点在其处理阶段的延迟波动值；并且根据延迟波动值确定瓶颈节点。其中，服务的关键路径是根据一段时间内处理...; 任睿马久跃包云岗隋秀峰; 文献传递

包云岗

合作作者

文献类型

领域

主题

机构

作者

传媒

年份

用户反馈

包云岗

合作作者

文献类型

领域

主题

机构

作者

传媒

年份

用户登录

用户反馈