谢冰
- 作品数：141 被引量：860H指数：20
- 供职机构：北京大学信息科学技术学院高可信软件技术教育部重点实验室更多>>
- 发文基金：国家高技术研究发展计划国家自然科学基金国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术电子电信生物学轻工技术与工程更多>>
- EduCoder:大规模开放在线实践教学探索与应用——疫情防控下的在线实践教学新途径被引量：23
- 2020年
- 实践教学是计算机专业教学领域的深水区和制高点,EduCoder平台为疫情防控期间的计算机在线实践教学提供了重要方法和途径。在分析计算机实践教学现状和挑战的基础上,结合软件群体化方法和网构化方法,系统阐释大规模开放在线实践(MOOP)基本模型,提出在线实践教学平台体系结构,构建软件定义的智能化在线实践教学平台EduCoder,并介绍其中超过1000门课程、4万个案例的实践项目形态和课程案例。大规模应用实践表明,EduCoder为疫情防控期间高校实施在线实践教学发挥了重要作用,在实践教学支撑和实践资源构建等方面能够有效满足高校师生的多样化需求,对高校实践教学改革与创新具有重要参考价值。
- 尹刚王涛余跃黄井泉张洋谢冰王怀民
- 关键词：实践教学
- 一种开放共享环境下支持弹性伸缩的并行图处理框架
- 面对大数据大容量、高速率和多样性的特点，传统关系型数据库不再能满足处理海量非结构化数据的需求，越来越多的数据中心开始使用以NoSQL数据库为主，多个数据存储组件相互协同的多存储系统。为了发挥多存储系统中各个存储组件的功能...
- 詹杭龙曹东刚谢冰
- 基于机器学习的编译器测试加速方法
- 本发明公布了一种编译器测试加速方法，采用机器学习方法构造用于预测测试程序触发缺陷的概率的能力模型和用于预测每个测试程序的执行时间的时间模型，通过计算每个测试程序单位时间内触发缺陷的概率，实现对测试程序的排序，从而实现编译...
- 陈俊洁白彦威郝丹熊英飞张洪宇张路谢冰
- 文献传递
- 支持管理在线构件的构件基本描述模型
- 在构件管理中,构件描述起着非常重要的作用随着构件技术的发展和网络技术的发展,在线服务构件日益增多,为了支持对在线构件的管理,急需一种能描述在线构件和离线构件的基本模型.本文提出了一种支持管理在线构件的构件基本描述模型(B...
- 潘颖刘洋谢冰杨芙清
- 关键词：构件库构件管理软件工程
- 文献传递
- 一种支持领域变化性的Web Services组装方法
- 2005年
- 随着Web Services及其相关技术的成熟,软件开发逐渐从基于构件的软件开发转向基于服务的软件开发。因此如何支持适应用户需求的Web Services的组装是当前研究的热点之一。本文提出了一种支持领域变化性的WebServices组装方法,该方法可以较好地适应用户需求的更改。文中引入了领域组装模型,使之能对一族具有领域共性和变化性的系统进行定义与描述。接着论述了如何根据用户的需求来确定Web Services应用的系统组装模型,并转换为可执行的组装描述语言的过程和方法。本文在最后给出了一个应用实例。
- 赵俊峰张路王亚沙谢冰
- 关键词：WEB
- 一种基于氮化镓基材料的自停止刻蚀方法
- 本发明提供一种基于氮化镓基材料的自停止刻蚀方法，其步骤包括：在氮化镓基材料表面淀积保护层；在所述保护层上涂敷光刻胶，并光刻待做刻蚀区域图形；去除待做刻蚀区域的保护层；去除剩余光刻胶；对氮化镓基材料在高温条件下进行氧化处理...
- 徐哲王金延刘洋蔡金宝刘靖骞王茂俊谢冰吴文刚
- 文献传递
- 支持在线构件管理的构件库系统
- 随着企业业务模式和软件开发技术的发展,构件的形态由传统的离线调用发展为在线调用(后者称为在线构件),这对于构件库管理系统提出了新的管理需求.在构件库系统中,需要根据在线构件的描述信息以及调用信息,提供管理和合理调度在线构...
- 刘洋李田潘颖谢冰
- 关键词：构件库软件复用软件开发
- 文献传递
- 一种面向软件升级的软件测试方法
- 一种面向软件升级的软件测试方法，所述方法基于等式描述的蜕变关系自动构造。在软件升级前，测试人员针对现有软件，构造每个程序的蜕变关系；所述程序指的是实现特定函数计算功能的程序代码；在软件升级后，针对修改后的程序，测试人员产...
- 张洁陈俊洁郝丹熊英飞谢冰梅宏
- 文献传递
- 一种支持领域特性的Web服务组装方法被引量：80
- 2005年
- Web服务为软件构件和构架技术的研究也为 Web服务的应用奠定了一定的应用基础.在构件组装中,如何支持适应用户需求的 Web服务的组装是当前研究的热点之一.该文提出了一种基于优化算法的、支持领域特性的Web服务组装方法,该方法的核心是面向 Web服务应用,按照用户确定的功能和QoS需求,基于现有领域模型和Web服务QoS属性,将特定领域的优化组装转化为数学优化问题加以解决.这一方法可以较好地适应用户需求的更改并可以辅助用户选择服务.该文最后给出了支持该方法的原型工具的实验结果,用以说明该方法的可行性与有效性.
- 赵俊峰谢冰张路杨芙清
- 关键词：WEB服务WEB服务组装QOS
- 基于LDA的软件代码主题摘要自动生成方法被引量：5
- 2017年
- 理解软件代码的功能是软件复用的一个重要环节。基于主题建模技术的代码理解方法能够挖掘软件代码中潜在的主题,这些主题在一定程度上代表了软件代码所实现的功能。但是使用主题建模技术所挖掘出的代码主题有着语义模糊、难以理解的弊端。潜在狄利克雷分配(Latent Dirichlet Allocation,LDA)技术是一种比较常用的主题建模技术,其在软件代码主题挖掘领域已取得了较好的结果,但同样存在上述问题。为此,需要为主题生成解释性文本描述。基于LDA的软件代码主题摘要自动生成方法除了利用主题建模技术对源代码生成主题之外,还利用文档、问答信息等包含软件系统功能描述的各类软件资源挖掘出代码主题的描述文本并提取摘要,从而能够更好地帮助开发人员理解软件的功能。
- 李文鹏赵俊峰谢冰
- 关键词：软件代码LDA软件文档
