删除或更新信息,请邮件至freekaoyan#163.com(#换成@)

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

浙江农林大学 免费考研网/2014-03-16

浙江农林大学信息工程学院导师介绍:李光辉
2014-01-02

导师姓名:

李光辉

性别:

出生年月:

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-2015,61万)

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

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

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

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

论文目录:

  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] 李光辉,周素茵,章云,胡海根。《数字电子技术基础》,中国电力出版社,北京:2008年5月。

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

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

科研成果:

1、2004年度中国科学院院长奖学金优秀奖

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

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

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

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

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

学术兼职:

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

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

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

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

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

办公室电话:

0571-63740788

通讯地址:

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

邮政编码:

311300

电子邮件

lgh@zafu.edu.cn





相关话题/浙江农林大学