yl9193永利(中国)股份公司官网

关永教授

一、个人简介:

关永，男，48岁，工学博士，教授，博士生导师，2013年-2017年教育部教学指导委员会委员，现任yl9193永利经理、“电子系统可靠性与数理交叉”国家国际科技合作基地常务副主任、“高可靠嵌入式系统技术”北京市工程研究中心主任，“电子系统可靠性技术”北京市重点实验室主任。2014年获得国务院政府特殊津贴，2010年获得北京市教学名师奖，2010年入选新世纪百千万人才工程，2009年入选国家级教学团队负责人，2009年入选北京市教学团队负责人，2009年入选北京市拔尖创新人才计划，2009年入选“首都教育先锋”先进个人，2008年被评为永利官网优秀教师。中国电子学会嵌入式系统专委会委员、中国航空学会信息融合分会委员。研究方向为形式化验证、高可靠嵌入式系统。

近5年主持国家科技支撑项目、国家自然科学基金项目、国防科工委卫星型号关键技术攻关项目、北京市自然科学基金重点项目、北京市教委重点项目等10项，2010年北京市自然科学基金优秀项目负责人，发表学术论文1 8 0余篇，其中110余篇论文被SCI、EI检索。2008年获得北京市高等公司产品成果一等奖1项、二等奖1项；2012年获得北京市高等公司产品成果一等奖1项；2008年获得北京市科学技术二等奖；2010年获得北京市科学技术三等奖；2011年获得北京市科学技术二等奖。

研究方向：形式化验证、高可靠嵌入式系统。

联系方式： guanyong@mail.cnu.edu.cn 办公地点：238办公室

更多信息可以浏览： http://scholar.google.com/citations?hl=en&user=yLrZE20AAAAJ

二、主讲课程

主讲《信息科学导论》、《人工智能》、《数据库新技术》等课程。

三、科研项目

项目名称	主持	项目时间	项目来源
苛刻环境大容量MLC型NAND FLASH转换层新机制与算法( 61272103 ) New Mechanism and Arithmetic of Flash Translation Layer Base on High Capacity MultiLevel Cell NAND FLASH in Ruggedly Environment	关永	2013.01-2016.12	国家自然科学基金项目
苛刻环境高可靠电子系统的电源健康状况预测机制研究(61070049)Research Mechanism for the Power Supply Prognostics and Health Management of High Reliability Electronic Systems in Rugged Environment	关永	2011.01-2013.12	国家自然科学基金项目
苛刻环境嵌入式系统高可靠串行通信抗干扰机制及验证(2010DFB10930)Mechanism and Verification of High-speed Embedded Communication Systems in Rugged Environment	关永	2010.01-2012.12	国际科技合作项目
嵌入式系统苛刻环境抗辐照高速通信机制与算法的研究(60873006) Research for Communications Mechanism and Arithmetic of Radiation Hardened High-speed Bus Base on Embedded System in Ruggedly Environment	关永	2009.01-2011.12	国家自然科学基金项目

更多信息可以浏览： http://scholar.google.com/citations?hl=en&user=yLrZE20AAAAJ

专任教师

关永