導(dǎo)師姓名：

李光輝

性別：

男

出生年月：

1970.10

所在學(xué)院：

信息工程學(xué)院

一級學(xué)科：

控制科學(xué)與工程

二級學(xué)科：

檢測技術(shù)與自動化裝置

研究方向一：

無線傳感器網(wǎng)絡(luò)

研究方向二：

容錯計算

研究方向三：

無損檢測技術(shù)

政治面貌：

中共黨員

現(xiàn)任職務(wù)：

副院長（主持工作）

現(xiàn)在職稱：

教授

職稱評定時間：

2007

最后學(xué)歷：

博士研究生

最后學(xué)位：

博士

獲學(xué)位時間：

2005.7

獲學(xué)位單位：

中國科學(xué)院研究生院

在讀碩士：

5

畢業(yè)碩士：

1

工作簡歷：

1996.09-1999.6：湘潭大學(xué)，攻讀碩士學(xué)位

1999.7-至今: 、教授

期間：

2001.09-2005.7: 中國科學(xué)院計算技術(shù)研究所，攻讀博士學(xué)位

2006.05-2008.12：浙江大學(xué)與中控科技集團有限公司，博士后

教學(xué)工作：

給本科生講授過的課程有“高級語言程序設(shè)計”、“離散數(shù)學(xué)”、“計算機前沿技術(shù)講座”、“數(shù)字電路”等。

給研究生開設(shè)課程有“計算機系統(tǒng)與接口技術(shù)”，“農(nóng)業(yè)信息化進展”等。

研究領(lǐng)域：

目前主要開展的研究方向包括：

1、無線傳感器網(wǎng)絡(luò)可靠性、測量數(shù)據(jù)驗證與誤差校正。

2、物聯(lián)網(wǎng)在農(nóng)林業(yè)信息化領(lǐng)域的應(yīng)用。

3、木材無損檢測技術(shù)及其產(chǎn)業(yè)化。

主持的課題

1.  國家自然科學(xué)基金項目：高可靠的環(huán)境傳感器數(shù)據(jù)流異常檢測與校正機制（2012-2015，61萬）

2.   國家自然科學(xué)基金“可信軟件基礎(chǔ)研究”重大研究計劃面上項目：基于模型和規(guī)約的無線傳感器網(wǎng)絡(luò)應(yīng)用系統(tǒng)驗證方法（2009-2011，50萬）

3.   國家863計劃項目：可重構(gòu)的智能無線傳感器平臺和無線控制網(wǎng)絡(luò)研發(fā)（2008-2010，155萬）

4.       浙江省科技廳重點項目：基于應(yīng)力波的木材無損檢測技術(shù)及其產(chǎn)品化研發(fā)（2007-2009，25萬）

5.         浙江省自然科學(xué)基金項目：無線傳感器網(wǎng)絡(luò)測量數(shù)據(jù)驗證與故障檢測關(guān)鍵技術(shù)研究（2011-2012， 8萬）

論文目錄:

1. [1]             李光輝，邵明，李曉維。驗證包含黑盒的電路設(shè)計的有效方法，計算機學(xué)報，2004, 27(6): 803-811.

1. [2]             李光輝，李曉維。基于增量可滿足性的等價性檢驗方法，計算機學(xué)報，2004, 27(10): 1388-1394.

1. [3]             李光輝，邵明，李曉維。一個適于形式驗證的ATPG引擎，計算機研究與發(fā)展，2004, 41(5):  886-893.

1. [4]             李光輝，李曉維。電路寬度制導(dǎo)的布爾推理啟發(fā)式策略，計算機輔助設(shè)計與圖形學(xué)學(xué)報，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設(shè)計驗證中的等價性檢驗方法，計算機輔助設(shè)計與圖形學(xué)學(xué)報，2005, 17 (2): 230-235.

1. [9]             邵明，李光輝，李曉維。求解可滿足問題的調(diào)查傳播算法以及步長的影響規(guī)律，計算機學(xué)報，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]        李光輝，趙軍，王智?；跓o線傳感器網(wǎng)絡(luò)的森林火險監(jiān)測預(yù)警系統(tǒng)，傳感技術(shù)學(xué)報，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]        李光輝，夏其表，李洪。基于滲透理論的林火蔓延模型研究。系統(tǒng)仿真學(xué)報。2008, 20(24): 6595-6598.

1. [14]        李光輝，馮冬芹，曾松偉?；陔娐吠負浣Y(jié)構(gòu)分析的等價性驗證方法。計算機輔助設(shè)計與圖形學(xué)學(xué)報。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]        馮冬芹，李光輝，全劍敏，金建祥?；诖仡^冗余的無線傳感器網(wǎng)絡(luò)可靠性技術(shù)研究。浙江大學(xué)學(xué)報（工學(xué)版）。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] 李光輝，周素茵，章云，胡海根。《數(shù)字電子技術(shù)基礎(chǔ)》，中國電力出版社，北京：2008年5月。

[2] 李曉維，呂濤，李華偉，李光輝。《數(shù)字集成電路設(shè)計驗證》，科學(xué)出版社，北京：2010年5月。

[3]李光輝，周素茵，章云，胡海根?！稊?shù)字電子技術(shù)基礎(chǔ)》修訂版，清華大學(xué)出版社，北京：2012年。

科研成果：

1、2004年度中國科學(xué)院院長獎學(xué)金優(yōu)秀獎

2、2007年度北京市科學(xué)技術(shù)獎三等獎：“集成電路邏輯測試與驗證基礎(chǔ)技術(shù)”

3、2010年度浙江省高校科研成果二等獎：“木材應(yīng)力波無損檢測技術(shù)及其產(chǎn)品化研發(fā)”

4、2005年被評為浙江林學(xué)院“十佳”科技工作者

5、2007年被評選為浙江省高校中青年學(xué)科帶頭人

6、2010年入選浙江省“新世紀151人才工程”第二層次

學(xué)術(shù)兼職：

中國計算機學(xué)會容錯計算專委會常務(wù)委員

中國計算機學(xué)會傳感器網(wǎng)絡(luò)專委會委員

中國計算機學(xué)會普適計算專委會委員

中國自動化學(xué)會系統(tǒng)仿真專委會委員

杭州市工業(yè)企業(yè)信息化專家?guī)斐蓡T

辦公室電話:

0571-63740788

通訊地址:

浙江省杭州市臨安環(huán)城北路88號

郵政編碼:

311300

電子郵件