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

导师姓名：

李光辉

性别：

男

出生年月：

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