導(dǎo)師姓名：

李光輝

性別：

男

出生年月：

1970.10

所在學(xué)院：

信息工程學(xué)院

一級(jí)學(xué)科：

控制科學(xué)與工程

二級(jí)學(xué)科：

檢測(cè)技術(shù)與自動(dòng)化裝置

研究方向一：

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

研究方向二：

容錯(cuò)計(jì)算

研究方向三：

無(wú)損檢測(cè)技術(shù)

政治面貌：

中共黨員

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

副院長(zhǎng)（主持工作）

現(xiàn)在職稱(chēng)：

教授

職稱(chēng)評(píng)定時(shí)間：

2007

最后學(xué)歷：

博士研究生

最后學(xué)位：

博士

獲學(xué)位時(shí)間：

2005.7

獲學(xué)位單位：

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

在讀碩士：

5

畢業(yè)碩士：

1

工作簡(jiǎn)歷：

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

1999.7-至今: 、教授

期間：

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

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

教學(xué)工作：

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

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

研究領(lǐng)域：

目前主要開(kāi)展的研究方向包括：

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

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

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

主持的課題

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

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

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

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

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

論文目錄:

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

1. [2]             李光輝，李曉維?；谠隽靠蓾M足性的等價(jià)性檢驗(yàn)方法，計(jì)算機(jī)學(xué)報(bào)，2004, 27(10): 1388-1394.

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

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

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

1. [14]        李光輝，馮冬芹，曾松偉?；陔娐吠?fù)浣Y(jié)構(gòu)分析的等價(jià)性驗(yàn)證方法。計(jì)算機(jī)輔助設(shè)計(jì)與圖形學(xué)學(xué)報(bào)。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ú)線傳感器網(wǎng)絡(luò)可靠性技術(shù)研究。浙江大學(xué)學(xué)報(bào)（工學(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ǔ)》，中國(guó)電力出版社，北京：2008年5月。

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

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

科研成果：

1、2004年度中國(guó)科學(xué)院院長(zhǎng)獎(jiǎng)學(xué)金優(yōu)秀獎(jiǎng)

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

3、2010年度浙江省高?？蒲谐晒泉?jiǎng)：“木材應(yīng)力波無(wú)損檢測(cè)技術(shù)及其產(chǎn)品化研發(fā)”

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

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

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

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

中國(guó)計(jì)算機(jī)學(xué)會(huì)容錯(cuò)計(jì)算專(zhuān)委會(huì)常務(wù)委員

中國(guó)計(jì)算機(jī)學(xué)會(huì)傳感器網(wǎng)絡(luò)專(zhuān)委會(huì)委員

中國(guó)計(jì)算機(jī)學(xué)會(huì)普適計(jì)算專(zhuān)委會(huì)委員

中國(guó)自動(dòng)化學(xué)會(huì)系統(tǒng)仿真專(zhuān)委會(huì)委員

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

辦公室電話:

0571-63740788

通訊地址:

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

郵政編碼:

311300

電子郵件