您位于: 首页 新闻动态

新闻动态

网站新闻

重点实验室获2017年北京市高等教育教学成果奖

近日,北京市教育委员会公布了2017年北京市高等教育教学成果奖的获奖项目,重点实验室成员为主要获奖人情况:“普惠中拔尖”:面向优秀学生的本科计算机人才国际化培养体系获一等奖,主要获奖人:李文新、郭耀、张铭、陈一峯、王韬、梅宏、谢昆青、邓志鸿、陈钟、黄铁军、杨朝晖、董晓晖、李享;

“信息学科本科生创新科研训练体系的探索与实践”获二等奖,主要获奖人:王源、李文新、王韬、邓志鸿、謝昆青、胡薇薇、王志军、陈一峯、陈章渊、杨朝晖、董晓晖、李享;“面向创新型和个性化人才培养需求的软件工程课程体系建设””获二等奖,主要获奖人:孙艳春、黃罡、刘譞哲、陈泓婕;“赛课合一”创新实践教育模式的实践与探索获二等奖,主要获奖人:张海霞、陈江、尚俊杰、黄文彬、叶蔚、李戈、路江涌

 

云-端融合系统的资源反射机制及高效互操作技术”获中国电子学会技术发明特等奖

根据《中国电子学会科学技术奖管理办法》,经过评审和公示,2017年中国电子学会科学技术奖日前揭晓,共评出特等奖2项、一等奖18项、二等奖29项和三等奖59项。

以北京大学为第一完成单位,高可信软件技术教育部重点实验室梅宏院士、黄罡教授、刘譞哲副教授、郭耀教授、熊英飞研究员等为主要完成人的项目“云-端融合系统的资源反射机制及高效互操作技术”技术发明特等奖。作为云计算和大数据应用繁荣与融合发展的重大需求,打破信息孤岛,实现其业务数据和功能与第三方系统的高效互操作,既是国际学术与产业前沿的关键挑战,也是我国云计算和大数据发展的主要瓶颈。传统互操作技术路线是白盒式内部手工改造,在全面分析理解系统源码、数据库表、安全机制及各种相关文档的基础上,对整个系统进行二次开发、测试、编译和部署,时间和人力成本高且难控。该项目发明了一套黑盒式外部反射的自动化互操作技术,形成颠覆性的通用解决方案,支持信息系统高效互连互通和融合管理,开发效率提升数十至数百倍;具有完整的自主知识产权,其发明点被国际学者认为开创或首次;研制了云-端融合系统互操作平台“燕云”。

论文《Multi-Task Allocation in Mobile Crowd Sensing with Individual Task Quality Assurance》被美国电气和电子工程师协会移动计算汇刊录用

该论文针对智慧城市中多任务群智感知优化展开研究。已有工作往往将优化目标设定为多个任务的整体效用,并不考虑单个任务的感知质量。以上思路在感知资源有限的情况下,尽管多个任务的整体效用得到优化,但单个任务往往无法达到所需的感知质量要求,导致所采集的城市感知数据不可用。而该论文创新地提出一种考虑个体任务质量的整体效用优化方法。该方法综合利用多目标优化理论、城市移动轨迹分析算法、子模函数性质,提出一种逆向贪心迭代优化算法,实现了整体效益个体利益的联合协同优化。 本文主要完成人为我所助理研究员王江涛、王亚沙教授、张大庆教授,其他作者包括美国密苏里科技大学助理教授熊昊一博士、美国科罗拉多大学吕琴教授,以及重庆大学陈超副教授等。

王江涛博士访问澳大利亚新南威尔士大学并作报告

应澳大利亚新南威尔士大学Salil Kanhere副教授邀请,王江涛博士于212日至224日访问该校计算机系,在群智感知(Mobile Crowd Sensing)方面与相关教授开展合作研究。访问期间,王江涛博士做了题为"Task Allocation in Mobile Crowd Sensing: New Perspectives"的报告,并与Salil Kanhere副教授所领导的团队进行了深入交流

金芝教授负责承担的国家自然科学基金重点项目“互联网环境下基于知件的需求驱动知识服务理论和技术研究”顺利通过结题验收

2018314日,国家自然科学基金委在北京西郊宾馆举行重点基金结题验收会,金芝教授代表项目组汇报了基金重点项目互联网环境下基于知件的需求驱动知识服务理论和技术研究的结题报告,并回答了验收专家的提问。该项目顺利通过结题验收,验收结论为 软件所金芝教授和李戈副教授是本项目的主要研究骨干,参与单位包括北京大学、中科院数学所和东北大学。项目的主要成果包括:在Elsevier出版专著1部,在AAAIACLCOLINGEMNLP 等知识工程领域知名国际会议和期刊上发表论文40 余篇,获得授权发明专利8 项和软件著作权7 项。研究成果《基于知件的知识获取、管理和服务平台》获教育部高等学校优秀科技成果科技进步一等奖。

“面向创新型和个性化人才培养需求的软件工程课程体系建设”获得2017年北京市高等教育教学成果二等奖

20183月,面向创新型和个性化人才培养需求的软件工程课程体系建设获得2017年北京市高等教育教学成果二等奖,完成人为软件所孙艳春、黃罡、刘譞哲和陈泓婕老师。

IOWA State University的Carl K. Chang教授来访重点实验室

2018313-318IOWA State UniversityCarl K. Chang教授(欧洲科学院院士、IEEE Fellow)访问软件所,与谢冰教授、金芝教授、张路教授、孙艳春副教授和郝丹副教授商讨引智基地2018年工作计划以及暑期课程的具体事宜。

意大利米兰理工大学Carlo Ghezzi教授来访重点实验室

应金芝教授邀请,意大利米兰理工大学的Carlo Ghezzi教授,和他的学生现维也纳理工大学的Christos Tsignakos博士,于2018416日到421日访问了重点实验室,访问期间,Carlo Ghezzi教授和Christos Tsignakos博士与自适应网构软件课题的老师和同学一起进行了深入的课题研讨。随后,他们还和课题组的老师和同学一起参加了由浙江理工大学组织的自适应系统联合项目研讨会。Carlo Ghezzi教授是我所高可信软件技术引智基地的专家。

王腾蛟教授获2017年度日本大川研究助成奖

日前,日本大川情报通信基金财团(以下简称大川财团)举办了2017年度颁奖仪式。重点实验室副主任王腾蛟获大川研究助成奖(Okawa Foundation Research Grant)资助,以表彰其在大数据查询处理等研究方向取得的成果和新探索。

大川财团成立于1986年。作为日本政府认可的公益性基金,该奖项旨在奖励优秀高等学校和科研机构在信息、通信领域所做的基础研究和应用研究,推动国际学术发展与文化交流;最初只授予日本科学家,2006年起授奖范围扩大到中国、美国和韩国等。

刘譞哲副教授课题组论文入选《电气电子工程师学会软件工程汇刊》亮点文章

近日,北京大学信息科学技术学院、高可信软件技术教育部重点实验室刘譞哲副教授课题组关于移动互联网软件的用户情境分析和理解的长文《基于大规模应用商店服务日志数据的移动软件使用模式挖掘研究》(Understanding diverse usage patterns from large-scale appstore-service profiles)被软件工程领域顶级学术期刊《电气电子工程师学会软件工程汇刊》(IEEE Transactions on Software Engineering, TSE)选为20184月号的亮点文章(featured as the spotlight paper)。

该项工作从应用程序信息、人机交互行为、系统运行日志三方面建立一个移动互联网软件的情境模型,结合千万级安卓用户的情境数据收集,采用多种机器学习技术,深度挖掘用户使用移动互联网软件和服务的行为模式,揭示了若干重要规律,如交互频度幂律分布、服务社区结构、链式调用等,进一步提出移动互联网软件开发、测试、发布、运行、维护等中尚未发掘的若干新的重要研究问题,为软件工程研究拓展了新的研究方向。刘譞哲副教授,博士研究生李豁然、陆璇为论文主要作者,美国伊利诺伊大学厄巴纳-香槟分校计算机科学系谢涛教授、密歇根大学电子工程与计算机科学系梅俏竹副教授、梅宏院士、豌豆荚实验室联合创始人冯锋为共同作者。

据悉,这是TSE 创刊44年以来,中国大陆学者作为第一作者的论文第二次被选为亮点文章。该论文自去年3月在线预发表(online access, DOI: 10.1109/TSE.2017.2685387)以来,得到相关领域研究者的高度关注,短期内被下载数百次。这表明北京大学在互联网软件方面的研究已达到国际领先水平。

陈钟教授团队获全球区块链黑客马拉松东京站一等奖

2018年4月20--22日,全球区块链黑客马拉松东京站LongHash Tokyo Hackathon竞赛在日本东京举行。陈钟教授团队的学生刘超、李安然、陈继业获一等奖。

参赛的137名选手来自全球12个国家和地区,以25人为单位组成32支队伍,针对当前区块链领域的热点问题展开讨论和研发。本次大赛围绕“去中心化”和“安全”两大主题,确立了去中心化交易平台、区块链+人工智能、区块链+物联网三个开发比赛目标。

陈钟教授团队的6名学生分为两组报名参赛,其中Abba Graba、王珂、李悦小组以区块链+物联网背景下的共识协议为题,刘超、李安然、陈继业小组以去中心化交易平台下的原子交换为题。经过48小时的连续工作,后者针对去中心化交易平台Cybex中加密货币交换所存在的问题,提出改进方案,进行代码开发,成功晋级第二阶段六支队伍的公开展示环节;最终,凭借深刻的问题理解、完善的方案设计和出色的临场表现,成为唯一的一等奖得主。

本次赛事由LongHash主办,CYBEXTARAXA协办,HACKx予以黑客马拉松策划服务。

基于情境的安全攸关软件的构造方法与运行机理研究“青年973项目举行年度总结会

2018年1月27日,由熊英飞研究员负责,郝丹、刘譞哲副教授参研的青年973项目“基于情境的安全攸关软件的构造方法与运行机理研究”在北京大学召开年度总结会。梅宏院士、吕荣聪、钱德沛、张健、黄罡教授等专家和周扬帆、郑子彬副教授等项目骨干出席了会议。会上,熊英飞研究员代表课题组汇报了项目进展,目前项目已针对模型中的情境问题和模型外的情境问题形成了测试容错和缺陷自动修复两套处理途径,在学术界产生一定影响,在产业界得到应用。与会专家充分肯定了项目的目前进展,并对项目结题提出建议。

金芝、张大庆教授入选2017年度中国计算机学会杰出演讲者

2018年2月1日,中国计算机学会(CHina Computer Federation,CCF)发布了2017年度杰出演讲者名单,金芝和张大庆教授入选。

自2017年12月启动候选人征集和评审工作以来,工作组统计了2017年CCF活动中的演讲者情况,经过评议、征求意见和理事长批准,最终确定52人入选杰出演讲者计划(Distinguished Speaker Program,Dsp)。

为鼓励更多专家为学会和会员服务贡献学识与智慧,并对其学术水平和贡献给予认可,CCF从2013年起实施杰出演讲者计划。凡具有会员身份,在其专业领域达到相当水平和取得公认成就,以志愿者身份在CCF组织的活动上演讲并达到所要求力度和数量的专家学者,均可成为候选杰出演讲者。CCF杰出演讲者将受邀为CCF义务演讲,亦可本人申请演讲。

屈婉玲教授获中国计算机学会2017年度“CCF夏培肃奖”

2018年1月26日,中国计算机学会(China Computer Federation,CCF)公布了2017年度“CCF夏培肃奖”评选结果。曲婉玲教授因其在离散数学和算法课程的建设与教学中所做出的杰出贡献获此殊荣。

屈婉玲教授长期专注于“离散数学”和“算法”基础课程建设与教学,建立了适合研究型大学和一般大学的离散数学课程体系,以及以设计策略为主导的算法课程体系:独立开设”算法设计与分析“MOOC课程,为优质教学资源共享做出重要贡献。她的课程深受学生喜爱,出版的40余部离散数学及算法类教材被全国多所大学采用。曾获北京市高等教育教学成果一等奖、国家级精品课程、普通高等教育国家级规划教材、教育部普通高等教育精品教材、北京高等教育精品教材、北京大学十佳教师等荣誉。

”CCF夏培肃奖“设立于2014年,旨在表彰在学术、工程、教育及产业等领域,为推动中国计算机事业做出杰出贡献、取得突出成就的女性科技工作者。

汪定博士获得2017年度CCF优秀博士学位论文

2018年1月3日,中国计算机学会(China Computer Federation ,CCF)发布了2017年度CCF优秀博士学位论文奖获奖者名单,汪定博士(导师王平教授)“口令安全关键问题研究”论文入选。"CCF优秀博士学位论文奖“授予在计算机科学与技术及其相关领域的基础理论或应用基础研究方面有重要突破,或在关键技术和应用技术方面有重要创新的中国计算机领域博士学位论文的作者。该奖项2006年设立,今年,CCF奖励委员会决定授予10位博士2017”CCF优秀博士学位论文奖“,以表彰他们的博士论文在创新及学术影响力方面的突出表现。

金芝教授等访问日本国立信息学研究所并在GRACE Symposium 2017上做特邀报告

2017年12月15-21日金芝教授访问了日本国立信息学研究所,召开了重点国际合作项目年度工作会议,参加人员包括重点实验室焦文品教授、赵海燕副教授和博士生李念语,意大利理工大学Carlo Ghezzi教授和Christos Tsigkznos博士,日本国立信息学研究所胡振江教授等,共同讨论了项目目前正在进行的“面向Cyber Space的自适应系统建模和验证”的工作。

金芝教授还应邀参加了由日本国立信息研究所组织举办的GRACE Symposium2017--Next Ten Years of Software Engineering,并在会上做了题为:“The Importance of Environment Models in Requirements Identification and Determination"的特邀报告。

高可信软件技术学术研讨会在北大召开

2017年12月13--14日,由重点实验室主办的第七届高可信软件技术研讨会暨高可信软件技术学科引智基地学术研讨会在北京大学召开,会议由引智基地的国内外重要成员共同主持。

首先,高可信软件技术研讨会的主席谢涛、张路教授致欢迎词。高可信软件技术教育部重点实验室每年召开高可信软件技术研讨会,旨在召集海内外专家,一同研讨高可信软件技术的构造和运行机理等重要挑战性问题。今年创新地与引智基地专家的学术研讨相结合,明显增加了国际交流与合作的机会。

随后,高可信软件引智基地学术大师张可昭教授和引智基地国内负责人谢冰教授就引智基地和基地建设平台做了简要的介绍。

会议期间,多位引智基地专家,英国兰卡斯特大学教授Sumi Helal(IEEE Fellow)、卡耐基梅

郝丹副教授获2017年CCF NASAC-东软青年软件创新奖

2017年11月7日,第十六届全国软件与应用学术会议(NASA 2017)在哈尔滨召开,会议由中国计算机学会(CCF)主办,CCF系统软件专业委员会、CCF软件工程专业委员会、哈尔滨工业大学承办。会议来自全国100余家单位的611位代表注册参会,创下了NASAC会议举办以来的历史新高。本次会议共开展11种类型的活动,包括特邀报告、软件学报专刊报告、博士生论坛、本地软件工程论坛、短文poster、SATE2017等,合计45个sessions、164场报告。会上,重点实验室金芝教授作为CCF软件工程专业委员会主任致大会开幕词,郝丹副教授获“CCFNASAC--东软青年软件创新奖”,刘芳、李戈、金芝等撰写的论文《一种基于层次LSTM的程序自动补全方法》获最佳论文奖,硕士研究生组参加了大会组织的原型系统竞赛并获优秀奖。

 

陈薇副研究员-王腾蛟教授课题组在人文社科大数据交叉研究中取得重要成果

陈薇副研究员--王腾蛟教授课题组提出观点感知知识图谱中文名称(Opinion-aware knowledge graph)模型及其哦构建和推理方法。该模型能够有效融合客观事实和主观信息,同时实现对情感立场和客观主题的联合推理计算,且当用于政治学研究中的政治意识形态思想(political ideology)分析和检测时,效果显著。以陈薇副研究员作为第一论文作者“Opinion-aware knowledge graph for political ideology detection"被人工智能领域顶级会议IJCAI(International Joint Conference on Artificial Intelligence)录用,为近年来该会议所录用的首篇政治学理论与人工智能交叉研究的学术论文。

王江涛博士赴美国参加CSCW17并宣读论文

2017年2月24日至3月4日,王江涛博士赴美国波特兰参加了普适计算和人机交互领域顶级会议CSCW2017(CCF A类),在会上宣读了论文“PSA11ocator:Multi-Task Allocation for Participatory Sensing with Sensing Capability Constraints的论文”。该论文研究了资源受限条件下的多任务群智感知最优任务分配技术,有效支撑了群智感知模式在大规模、复杂智慧城市感知场景下的应用。本人的第一作者为重点实验室助理研究员王江涛,其他合作作者王亚沙、张大庆教授。