浙江农林大学信息工程学院导师:李光辉

发布时间:2021-11-05 编辑:考研派小莉 推荐访问:
浙江农林大学信息工程学院导师:李光辉

浙江农林大学信息工程学院导师:李光辉内容如下,更多考研资讯请关注我们网站的更新!敬请收藏本站,或下载我们的考研派APP和考研派微信公众号(里面有非常多的免费考研资源可以领取,有各种考研问题,也可直接加我们网站上的研究生学姐微信,全程免费答疑,助各位考研一臂之力,争取早日考上理想中的研究生院校。)

浙江农林大学信息工程学院导师:李光辉 正文

导师姓名:

李光辉

 

性别:

出生年月:

1970.10

所在学院:

信息工程学院

一级学科:

控制科学与工程

二级学科:

检测技术与自动化装置

研究方向一:

无线传感器网络

研究方向二:

容错计算

研究方向三:

无损检测技术

政治面貌:

中共党员

现任职务:

副院长(主持工作)

现在职称:

教授

职称评定时间:

2007

最后学历:

博士研究生

最后学位:

博士

获学位时间:

2005.7

获学位单位:

中国科学院研究生院

在读硕士:

5

毕业硕士:

1

工作简历:

1996.09-1999.6:湘潭大学,攻读硕士学位

1999.7-至今: 、教授

期间:

2001.09-2005.7: 中国科学院计算技术研究所,攻读博士学位

2006.05-2008.12:浙江大学与中控科技集团有限公司,博士后

教学工作:

给本科生讲授过的课程有“高级语言程序设计”、“离散数学”、“计算机前沿技术讲座”、“数字电路”等。

给研究生开设课程有“计算机系统与接口技术”,“农业信息化进展”等。

研究领域:

目前主要开展的研究方向包括:

1、无线传感器网络可靠性、测量数据验证与误差校正。

2、物联网在农林业信息化领域的应用。

3、木材无损检测技术及其产业化。

主持的课题

1.  国家自然科学基金项目:高可靠的环境传感器数据流异常检测与校正机制(2012-201561万)

2.   国家自然科学基金“可信软件基础研究”重大研究计划面上项目:基于模型和规约的无线传感器网络应用系统验证方法(2009-201150万)

3.   国家863计划项目:可重构的智能无线传感器平台和无线控制网络研发(2008-2010155万)

4.       浙江省科技厅重点项目:基于应力波的木材无损检测技术及其产品化研发(2007-200925万)

5.         浙江省自然科学基金项目:无线传感器网络测量数据验证与故障检测关键技术研究(2011-20128万)

论文目录:

  1. [1]             李光辉,邵明,李晓维。验证包含黑盒的电路设计的有效方法,计算机学报,2004, 27(6): 803-811.
  1. [2]             李光辉,李晓维。基于增量可满足性的等价性检验方法,计算机学报,2004, 27(10): 1388-1394.
  1. [3]             李光辉,邵明,李晓维。一个适于形式验证的ATPG引擎,计算机研究与发展,2004, 41(5):  886-893.
  1. [4]             李光辉,李晓维。电路宽度制导的布尔推理启发式策略,计算机辅助设计与图形学学报,2004, 16 (11): 1568-1574.
  1. [5]             Li Guanghui, Li Xiaowei. Circuit-Width Based Heuristic for Boolean Reasoning. Proceedings of IEEE 13th Asian Test Symposium, Nov. 2004, 336-341.
  1. [6]            Li Xiao-wei, Li Guang-hui, Shao Ming. Formal Verification Techniques Based on Boolean Satisfiability Problem, Journal of Computer Science and Technology, 2005, 20 (1): 38-47.
  1. [7]             Li Guanghui, Li Xiaowei. Formal Verification under Unknown Constraints, Wuhan University Journal of Natural Sciences, 2005, 10 (1): 43-47. 
  1. [8]             李光辉,邵明,李晓维。通用CPU设计验证中的等价性检验方法,计算机辅助设计与图形学学报,2005, 17 (2): 230-235.
  1. [9]             邵明,李光辉,李晓维。求解可满足问题的调查传播算法以及步长的影响规律,计算机学报,2005, 28(5): 849-855.
  1. [10]        Guanghui Li, Ming Shao, Xiaowei Li. Design Error Diagnosis Based on Verification Techniques. Proceedings of IEEE 12th Asian Test Symposium, Nov. 2003, 474-477.
  1. [11]        李光辉,赵军,王智。基于无线传感器网络的森林火险监测预警系统,传感技术学报,2006, 19(6): 2760-2764.
  1. [12]        LI Guanghui, FENG Dongqin. Test Generation with Unspecified Variable Assignments. Tshinghua Science and Technology. 2007, 21(S1): 180-185.  
  1. [13]        李光辉,夏其表,李洪。基于渗透理论的林火蔓延模型研究。系统仿真学报。2008, 20(24): 6595-6598.
  1. [14]        李光辉,冯冬芹,曾松伟。基于电路拓扑结构分析的等价性验证方法。计算机辅助设计与图形学学报。2008, 20(12): 1557-1562.
  1. [15]        Guanghui Li, Dongqin Feng. Redundant Cluster-based Routing in Wireless Sensor Networks. Proceedings of the 7th World Congress on Intelligent Control and Automation. 2008.
  1. [16]        冯冬芹,李光辉,全剑敏,金建祥。基于簇头冗余的无线传感器网络可靠性技术研究。浙江大学学报(工学版)。2009, 43(5): 849-854.
  1. [17]         Guanghui Li, Changqing Xu, Hailin Feng. Fault Tolerant Scheme in WSN by Finding Minimum FAS. 3rd international workshop on matrix analysis. 2009, Vol.1, 126-129.
  1. [18]        Li Hong, Li Guang-hui, Feng Hai-lin, Wang Zhi. Research on Forest Fire Monitoring Quality Variation with Wireless Sensor Node Density. International Conference on Communications and Mobile Computing (CMC 2010), 2010.
  1. [19]        Guanghui Li, Qibiao Xia, Hong Li, and Dongqin Feng. Modeling  Forest Fire Spread Process Based on Percolation Theory. Journal of Information and Computational Systems. 2010, 7(9):1930-1937.
  1. [20]        Hailin Feng, Guanghui Li, Wenwei Lu, Leijun Huang.Trust Based Secure in-network Data Processing Schema in Wireless Sensor networks. Journal of Networks. 2011, 6(2): 295-302.

著译目录:

[1] 李光辉,周素茵,章云,胡海根。《数字电子技术基础》,中国电力出版社,北京:20085月。

[2] 李晓维,吕涛,李华伟,李光辉。《数字集成电路设计验证》,科学出版社,北京:20105月。

[3]李光辉,周素茵,章云,胡海根。《数字电子技术基础》修订版,清华大学出版社,北京:2012年。

科研成果:

12004年度中国科学院院长奖学金优秀奖

22007年度北京市科学技术奖三等奖:“集成电路逻辑测试与验证基础技术”

32010年度浙江省高校科研成果二等奖:“木材应力波无损检测技术及其产品化研发”

42005年被评为浙江林学院“十佳”科技工作者

52007年被评选为浙江省高校中青年学科带头人

62010年入选浙江省“新世纪151人才工程”第二层次

学术兼职:

中国计算机学会容错计算专委会常务委员

中国计算机学会传感器网络专委会委员

中国计算机学会普适计算专委会委员

中国自动化学会系统仿真专委会委员

杭州市工业企业信息化专家库成员

办公室电话:

0571-63740788

通讯地址:

浙江省杭州市临安环城北路88

邮政编码:

311300

电子邮件

以上老师的信息来源于学校网站,如有错误,可联系我们进行免费更新或删除。建议导师将更新的简历尤其对研究生招生的要求发送给我们,以便考研学子了解导师的情况。(导师建议加QQ-1933508706,以便后续随时更新网页或发布调剂信息。考研派网站和APP流量巨大)联系方式

添加浙江农林大学学姐微信,或微信搜索公众号“考研派小站”,关注[考研派小站]微信公众号,在考研派小站微信号输入[浙江农林大学考研分数线、浙江农林大学报录比、浙江农林大学考研群、浙江农林大学学姐微信、浙江农林大学考研真题、浙江农林大学专业目录、浙江农林大学排名、浙江农林大学保研、浙江农林大学公众号、浙江农林大学研究生招生)]即可在手机上查看相对应浙江农林大学考研信息或资源

浙江农林大学考研公众号 考研派小站公众号
浙江农林大学

本文来源:http://www.okaoyan.com/zhejiangnonglindaxue/yanjiushengdaoshi_512612.html

推荐阅读