您位于: 首页 新闻动态

新闻动态

网站新闻

群智感知节能技术的论文被IEEE Communications Magazine接收

近日,重点实验室撰写的论文“Energy Saving Techniques in Mobile rowd Sensing:Current State and Future Opportunities",被美国电器和电子工程师学会顶级刊物IEEE Communications Magazine录用(SCI--区,影响因子:10.4)。该工作在分析群智感知电量消耗的类型的基础上,结合不同感知阶段的特点,提出了一个称为ESCrowd的群智感知节能技术整体框架,并对未来可能研究方向进行了展望和讨论。本文作者为重点实验室助理研究员王江涛博士、王亚沙教授、张大庆教授,以及美国佛罗里达大学、英国兰卡斯特大学终身教授Sumi Helal.

王江涛博士应邀参加“智能感知与城市计算论坛”并作报告

2017年10月24--26日,应福州大学邀请,重点实验室助理研究员王江涛博士参加了福州大学和中国计算机学会普适计算专委会联合举办的智能感知与城市计算前沿论坛,并做了题为《群智感知最优任务分配:现状及新视角》的报告。

赵海燕副教授参加了NI Shonan Meeting并访问了日本国立信息学研究所

2017年8月20--24日,赵海燕副教授参加了NII Shonan Meeting on "Software Engineering and Networked Control for Smart Cyber Physical Systems(SENCPS)”,作了题为“What should matter in modeling Cyber-Physical Systems?From a Reuse Perspective"的报告,同与会学者就CPS领域的关键问题进行了广泛而深入的交流和讨论,并主持了”Requirements,Specification@runtime"的分组讨论和总结。25--31日访问了日本国立信息学研究所,与胡振江教授就基金委重点国际合作项目“网构软件的自适应性建模和管理方法研究”进行了合作研究。

周明辉副教授参加了第二届中国软件成本度量大会暨2017ISBSG IT Confidence大会,并作报告

2017年9月20日,周明辉副教授应邀参加了第二届中国软件成本度量大会暨2017 ISBSG IT Confidence大会,在会上作了主题报告“度量开源生态系统的可持续性”,该报告介绍了软件开发活动数据驱动的度量,并从若干维度阐释了大规模复杂开发社区可持续演化的关键要素。

周明辉副教授赴德国参加ESEC/FSE'17并宣读论文

2017年9月6--7日,周明辉副教授参加了在德国召开的软件工程顶级会ESEC/FSE'17,在会上宣读了论文“ON the Scalability of Linux Kernel Maintainers'Work".这篇论文研究了Linux kernel linux maintainer工作负载的可扩展性进行了度量,为大规模复杂系统如何进行可持续扩张提供了量化依据。

谢冰教授、邹艳珍副教授参加第九届网构软件国际会议

2017年9月24日,谢冰教授、邹艳珍副教授等在上海参加了2017年中国软件工程研究与产业峰会)。会议由ACM SIGSOFT-China(aCM CSOFT)和中国计算机学会软件工程专委会(CCF-TCSE)联合举办,复旦大学承办。此次会议上,谢冰教授作了题为“知识驱动的软件开发方法:程序员--企业--终端用户”的学术报告,40余名来自百度、华为、东软、浪潮等企业技术人员,来自中科院软件所、北京航空航天大学等高等研究机构和大学的学者参加了会议。

北京大学--深圳市腾讯计算机系统有限公司协同创新实验室揭牌仪式举行

2017年10月17日,北京大学----深圳市腾讯计算机系统有限公司协同创新实验室在北京大学举行揭牌仪式。北京大学副校长龚旗煌院士、科技开发部姚卫浩,腾讯公司副总裁王巨宏、高校合作总监刘婷婷等出席。仪式由谢冰教授主持。

该实验室由著名计算机软件科学家杨芙清院士出任实验室学术顾问,崔斌研究员担任实验室主任。实验室建设初期的重点将聚焦于大数据与机器学习领域平台的系统工程、算法优化、数据分析与应用等方面的研究。目前,已完成面向机器学习的高性能并行计算框架Angel的开发,并全面对外开源,后续将进一步深化研究如何将大数据和人工智能技术更好地服务于用户,支持国家的经济发展和产业结构升级。

谢冰教授、邹艳珍副教授赴东软集团股份有限公司进行国家重点专项成果推广

2017年10月23--24日,谢冰教授、邹艳珍副教授等赴东软集团股份有限公司大连东软河口软件园进行项目研讨与研究成果推广。此行的主要目标及日程是:进行国家重点专项“基于大数据的软件智能开发方法和环境”的研发工具----软件项目知识图谱自动构造工具、软件项目问答工具的推广与示范应用;与软件架构国家重点实验室的各位专家进行学术分享和交流。谢冰教授作了题为“知识驱动的软件开发方法:程序员--企业--终端用户”的报告,东软集团及软件架构国家重点实验室的技术专家介绍了企业在“微服务的生态及架构实践”、“东软DevOps方法研究与实践”以及“东软大数据分析平台”方面的工作。

刘譞哲副教授担任WWW2018 TPC

日前。刘譞哲副教授应邀担任国际万维网大会(International Conference on World Wide Web)的程序委员会委员(Technical Program Member)。

国际万维网大会(The International Conference of World Wide Web,简称WWW会议),是由国际万维网会议委员会发起主办的顶级国际学术会议,也是中国计算机学会(CCF)推荐的A 类学术会议。创始于1994年,每年举办一届,已举办26届。WWW2018将于2018年4月23--27日在法国里昂召开。刘譞哲副教授团队在2015年至2017年连续在该国际会议上发表论文,此次被邀请担任Research Track的TPC。

黄罡教授在云计算大数据青年科学家专题论坛上作报告

2017年6月16日,第九届中国云计算大会云计算大数据青年科学家专题论坛在国家会议中心顺利举办。此次论坛由中国电子学会主办,中国电子学会青年科学家俱乐部“云计算与大数据”专委会承办,北京大学--神州控股协同创新中心协办。云计算大数据领域的多名专家学者、企业代表等三百多人参加了会议。此次论坛由重点实验室刘譞哲副教授(专委会秘书长)主持,黄罡教授作了报告。

孙艳春副教授参加了ICWS 2017会议

2017年6月26--30日,孙艳春副教授赴美国参加了ICWS2017会议,并做了会议论文“A Map-matching Service Designed for Courier Trajectories"。ICWS会议是服务计算领域的顶级会议,孙艳春副教授在与会期间与各位服务计算的学者进行了深入广泛的交流。

金芝教授访问意大利米兰理工大学,执行基金委重点国际合作项目

2017年7月,金芝教授和博士生李念语访问了意大利米兰理工大学,与Carlo Ghezzi教授和Christos Tsigkanos博士一起进行了合作研究。本次访问的目的,执行基金委重点国际合作项目“网构软件的自适应性建模和管理方法研究”。

金芝教授参加QRS2017并在会上作大会特邀报告

2017年7月25-28日,金芝教授参加了在捷克布拉格举行的2017年IEEE软件质量、可靠性和安全性(QRS2017)国际会议,并在会上作了题为“Engineering Fine-Grained Dependability Requirements"大会特邀报告。

英国开放大学的Yijun Yu教授来访重点实验室

2017年8月8-16日,英国开放大学Yijun Yu博士来访重点实验室,与多位实验室成员进行了学术交流,并就基于问题框架的软件需求建模等问题与金芝教授进行了深入的探讨。与Yu教授一同来访的还有华东师范大学陈小红副教授和广西师范大学的李智教授。

郭耀、郝丹副教授,熊英飞研究员携研究生参加了国际软件工程大会ICSE 2017

2017年5月20--27日,重点实验室郭耀、郝丹副教授,熊英飞研究员携研究生参加了国际软件工程大会ICSE2017。在此次ICSE会上,重点实验室共发表2篇Research Track的论文、1篇Technical Briefing论文。

高可信软件技术引智基地启动

2017年6月6日,高等学校学科创新引智基地(简称111计划),即高可信软件技术引智基地,在梅宏院士和该基地学术大师Carl Chang的共同主持下正式启动了。谢冰、金芝、张路教授,郝丹副教授在北京大学参加了启动会议,并与梅宏院士、Carl Chang教授讨论引智基地的具体举措。

重点实验室程序生成论文被机器学习顶级会议 ICML-17 接受

重点实验室论文《Coupling distributed and symbolic execution for natural language queries》被机器学习顶层会议ICML--17接受。此前该论文曾在ICLR--17研讨会(workshop)上展示。该文将神经网络执行和离散的符号化执行相结合,利用神经网络的可导特性大幅降低了强化学习的难度,实现了自然语言数据库查询程序的生成。本文提出的方法具有较强的学习效率、较强的执行效率、较强的可解释性和较高的准确率。

本文的第一作者为牟力立博士研究生,金芝教授等。

意大利米兰理工学院Carlo Ghezzi教授作客“信息技术与信息化”名家讲坛

2016年4月26日下午,意大利米兰理工学院Carlo Ghezzi教授作客北京大学“信息技术与信息化”名家讲坛,作了题为“Tolerating uncertainty via evolvable--by--design software"的学术报告。报告会由谢冰教授主持,梅宏院士、金芝教授、张路教授、刘譞哲副教授及重点实验室数十名博士生参加了此次报告。

Carlo Ghezzi教授以形式化的方式描述了软件、环境和需求之间的关系,从软件开发和运行过程中常见的不确定性事件出发,介绍了不确定性对软件工程可能带来的诸多影响。基于此,他介绍了在设计阶段基于形式化方法考虑不确定性因素、在运行阶段达到自适应效果、由运行结果向形式化阶段反馈的软件设计开发理论。

报告结束后,Carlo Ghezzi教授是软件工程领域的顶级专家,是ACM Fellow和IEEE Fellow,欧洲科学院院士,意大利科学院院士,曾获ACM SIGSOFT Outstanding Research Award和Distinguished Service Award。现任Informatics Europe主席。同时是软件工程领域多个旗舰会议的PC member,曾担任TOSEM、TSE等顶级期刊的Editor.

第6届亚洲高级软件工程研讨会在重庆成功召开

2017年5月3--5日,由西南大学承办,本重点实验室协办的第6届亚洲高级软件工程研讨会在重庆成功召开,来自四大洲不同国家不同高校的40余名科研工作者参加了此次研讨会。本实验室梅宏院士,金芝教授,赵海燕、周明辉副教授参加了本次研讨会。

研讨会上,来自英国帝国理工大学的Jeffrey Kramer教授作了题为“适应性体系结构”的主题演讲。Jeffrey Kramer教授曾任计算机学院主任、工学院院长,曾获得ACM SISGSOFT杰出研究奖,发表了超过200篇期刊与会议论文,是ACM院士,也是英国皇家工程院、IET、BCS等的院士。他的报告涉及大量不可预知的变化切开下的软件适应性及自管理问题。随后,研讨会紧密围绕软件分析与安全、形式化方法、自适应软件、模型检测、程序分析等软件工程领域展开,共有25位学者报告了他们近期的研究进展。

该研讨会的目的是,为广大研究者搭建一个软件工程领域的经验分享和交流探讨平台,通过国内外专家与同行之间的交流与碰撞,为国内外其他高校和学术机构建立深厚的友谊与学术纽带,为国际合作及校际合作打下良好的基础。

该系列研讨会由北京大学高可信软件技术教育部重点实验室和日本国立情报学研究所于2010年共同创办,此前已经成功举办过5次:

The Ist workshop was held at Peking University in China in 2010

The 2nd workshop was held at Hakone--machi in Japan in 2011

The 3rd workshop was held at National University of Singapore in 2013

The 4th wokshop was held at Peking University in China in 2014

The 5th workshop was held at Todaiji Museum in Japan in 2016

张大庆教授课题组的无线感知新理论作为旗舰杂志封面文章发表

2017年1月5日,由张大庆教授课题组提出的基于菲涅耳区模型的无线感知新理论,以《迈向厘米级的Wi-Fi人体行为感知》(Toward centimeter--scale human activity sensing eith Wi--Fi signals)为题,在IEEE Computer作为封面文章发表。

IEEE Computer是美国电气电子工程师学会计算机协会的旗舰杂志。近年来,无线技术的快速发展使得Wi-Fi射频信号的能力从单纯的无线通信扩展到对人及环境的无接触感知,但基于Wi-Fi的人体行为感知研究多依赖对信号变化模式的观察、分析和利用,缺乏一个通用且细粒度的理论模型作为指导,因此无法给出Wi-Fi信号的感知极限。张大庆教授课题组通过将原用于刻画光波传播的菲涅耳区模型引入无线人体行为导致无线接收信号产生波长级波动的原因,而且揭示了多大幅度的人体行为在何种情况下可被Wi-Fi信号检测,从而得到了Wi-Fi信号在室内环境传播的重要性质,并利用这些性质和多载波特点分别提出了识别厘米级的细粒度微小活动(如呼吸)、分米级的粗粒度活动(如移动方向)的理论和技术,明确了基于菲涅耳区模型的无线感知理论是用Wi--Fi信号实现厘米乃至毫米级人体行为感知的理论基础。

此前,张大庆教授课题组基于这一新理论所做出的无接触人体呼吸检测系统在德国海德堡由美国计算机学会主办的普适计算领域顶级会议UbiComp2016(ACM International Joint Conference on Pervasive and Ubiquitous Computing)上被众多与会者测试,达到国际最佳性能。目前,课题组正在进一步推进、完善该理论,力争在更多无接触感知应用上做到国际最佳且实用化。