谢冰
- 作品数：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
- 东北虎豹国家公园东部的野猪生境利用和活动节律初步研究被引量：19
- 2019年
- 野猪是世界上分布最广的大型哺乳动物之一,也是东北虎豹国家公园内主要的有蹄类动物,东北虎主要的猎物之一。本文采集了中国虎豹观测网络架设在东北虎豹国家公园东部区域的红外相机完整一年的拍摄数据(2015年5月至2016年4月),通过占域模型和核密度分析获得不同季节的野猪生境利用情况和日活动节律,探究人为因素、环境因素和生物因素对野猪生境利用的影响。结果显示,野猪偏好于针叶林和针阔混交林,在靠近居民点的区域活动增加。不同物种间的相互作用对野猪的生境利用产生不同影响,受捕食者压力野猪倾向于躲避东北虎,但东北豹对野猪占域显示为正向影响。梅花鹿和狍对野猪的影响在不同季节呈现相反,梅花鹿对野猪的占域在冬季呈负向影响,而狍对野猪的占域则在夏季呈负向影响。本研究区域内的野猪夏季有2个活动高峰,冬季有1个活动高峰,在不同季节都倾向于白天和晨昏活动,在日落前达到活动最高峰。本研究揭示东北虎豹国家公园东部区域的野猪生境利用和活动节律是受到植被生境、大型食肉动物以及人类因素等多种因素相互作用长期相适应的结果。
- 赵国静宫一男杨海涛谢冰王天明葛剑平冯利民
- 关键词：野猪生境利用日活动节律
- 一种基于氮化镓基材料的自停止刻蚀方法
- 本发明提供一种基于氮化镓基材料的自停止刻蚀方法，其步骤包括：在氮化镓基材料表面淀积保护层；在所述保护层上涂敷光刻胶，并光刻待做刻蚀区域图形；去除待做刻蚀区域的保护层；去除剩余光刻胶；对氮化镓基材料在高温条件下进行氧化处理...
- 徐哲王金延刘洋蔡金宝刘靖骞王茂俊谢冰吴文刚
- 文献传递
- 支持在线构件管理的构件库系统
- 随着企业业务模式和软件开发技术的发展,构件的形态由传统的离线调用发展为在线调用(后者称为在线构件),这对于构件库管理系统提出了新的管理需求.在构件库系统中,需要根据在线构件的描述信息以及调用信息,提供管理和合理调度在线构...
- 刘洋李田潘颖谢冰
- 关键词：构件库软件复用软件开发
- 文献传递
- 一种面向软件升级的软件测试方法
- 一种面向软件升级的软件测试方法，所述方法基于等式描述的蜕变关系自动构造。在软件升级前，测试人员针对现有软件，构造每个程序的蜕变关系；所述程序指的是实现特定函数计算功能的程序代码；在软件升级后，针对修改后的程序，测试人员产...
- 张洁陈俊洁郝丹熊英飞谢冰梅宏
- 文献传递
- 一种支持领域特性的Web服务组装方法被引量：80
- 2005年
- Web服务为软件构件和构架技术的研究也为 Web服务的应用奠定了一定的应用基础.在构件组装中,如何支持适应用户需求的 Web服务的组装是当前研究的热点之一.该文提出了一种基于优化算法的、支持领域特性的Web服务组装方法,该方法的核心是面向 Web服务应用,按照用户确定的功能和QoS需求,基于现有领域模型和Web服务QoS属性,将特定领域的优化组装转化为数学优化问题加以解决.这一方法可以较好地适应用户需求的更改并可以辅助用户选择服务.该文最后给出了支持该方法的原型工具的实验结果,用以说明该方法的可行性与有效性.
- 赵俊峰谢冰张路杨芙清
- 关键词：WEB服务WEB服务组装QOS
