導師姓名：

李光輝

性別：

男

出生年月：

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

電子郵件