姓名: 李光辉
学校: 浙江农林大学
学院: 工程学院
职称:  

<div class> <table cellpadding cellspacing> <tbody> <tr> </tr> <tr> <td width> <p align>导师姓名:<span lang> </span></p> </td> <td colspan width> <p align>李光辉<span lang> </span></p> </td> <td width> </td> </tr> <tr> <td width> <p align>性别:<span lang> </span></p> </td> <td width> <p align>男<span lang> </span></p> </td> <td width> <p align>出生年月:<span lang> </span></p> </td> <td width> <p align><span lang>1970.10 </span></p> </td> </tr> <tr> <td width> <p align>所在学院:<span lang> </span></p> </td> <td width> <p align>信息工程学院<span lang> </span></p> </td> <td width> <p align>一级学科:<span lang> </span></p> </td> <td width> <p align>控制科学与工程<span lang> </span></p> </td> </tr> <tr> <td width> <p align>二级学科:<span lang> </span></p> </td> <td width> <p align>检测技术与自动化装置<span lang> </span></p> </td> <td width> <p align>研究方向一:<span lang> </span></p> </td> <td width> <p align>无线传感器网络<span lang> </span></p> </td> </tr> <tr> <td width> <p align>研究方向二:<span lang> </span></p> </td> <td width> <p align>容错计算<span lang> </span></p> </td> <td width> <p align>研究方向三:<span lang> </span></p> </td> <td width> <p align>无损检测技术<span lang> </span></p> </td> </tr> <tr> <td width> <p align>政治面貌:<span lang> </span></p> </td> <td width> <p align>中共党员<span lang> </span></p> </td> <td width> <p align>现任职务:<span lang> </span></p> </td> <td width> <p align>副院长(主持工作)<span lang> </span></p> </td> </tr> <tr> <td width> <p align>现在职称:<span lang> </span></p> </td> <td width> <p align>教授<span lang> </span></p> </td> <td width> <p align>职称评定时间:<span lang> </span></p> </td> <td width> <p align><span lang>2007 </span></p> </td> </tr> <tr> <td width> <p align>最后学历:<span lang> </span></p> </td> <td width> <p align>博士研究生<span lang> </span></p> </td> <td width> <p align>最后学位:<span lang> </span></p> </td> <td width> <p align>博士<span lang> </span></p> </td> </tr> <tr> <td width> <p align>获学位时间:<span lang> </span></p> </td> <td width> <p align><span lang>2005.7 </span></p> </td> <td width> <p align>获学位单位:<span lang> </span></p> </td> <td width> <p align>中国科学院研究生院<span lang> </span></p> </td> </tr> <tr> <td width> <p align>在读硕士:<span lang> </span></p> </td> <td width> <p align><span lang>5 </span></p> </td> <td width> <p align>毕业硕士:<span lang> </span></p> </td> <td width> <p align><span lang>1 </span></p> </td> </tr> <tr> <td width> <p align>工作简历:<span lang> </span></p> </td> <td colspan width> <p align><span lang>1996.09-1999.6</span>:湘潭大学,攻读硕士学位<span lang> </span></p> <p align><span lang>1999.7-</span>至今<span lang>: </span>浙江农林大学信息工程学院讲师、副教授</a>、教授</p> <p align>期间:<span lang> </span></p> <p align><span lang>2001.09-2005.7: </span>中国科学院计算技术研究所,攻读博士学位<span lang> </span></p> <p align><span lang>2006.05-2008.12</span>:浙江大学与中控科技集团有限公司,博士后<span lang> </span></p> </td> </tr> <tr> <td width> <p align>教学工作:<span lang> </span></p> </td> <td colspan width> <p align>给本科生讲授过的课程有“高级语言程序设计”、“离散数学”、“计算机前沿技术讲座”、“数字电路”等。<span lang> </span></p> <p align>给研究生开设课程有“计算机系统与接口技术”,“农业信息化进展”等。<span lang> </span></p> </td> </tr> <tr> <td width> <p align>研究领域:<span lang> </span></p> </td> <td colspan width> <p align>目前主要开展的研究方向包括:<span lang> </span></p> <p align><span lang>1</span>、无线传感器网络可靠性、测量数据验证与误差校正。<span lang> </span></p> <p align><span lang>2</span>、物联网在农林业信息化领域的应用。<span lang> </span></p> <p align><span lang>3</span>、木材无损检测技术及其产业化。<span lang> </span></p> </td> </tr> <tr> <td width> <p align>主持的课题<span lang> </span></p> </td> <td colspan width> <p align><span lang>1.</span><span lang>  </span>国家自然科学基金项目:高可靠的环境传感器数据流异常检测与校正机制(<span lang>2012-2015</span>,<span lang>61</span>万)<span lang> </span></p> <p align><span lang>2.</span><span lang>   </span>国家自然科学基金“可信软件基础研究”重大研究计划面上项目:基于模型和规约的无线传感器网络应用系统验证方法(<span lang>2009-2011</span>,<span lang>50</span>万)<span lang> </span></p> <p align><span lang>3.</span><span lang>   </span>国家<span lang>863</span>计划项目:可重构的智能无线传感器平台和无线控制网络研发(<span lang>2008-2010</span>,<span lang>155</span>万)<span lang> </span></p> <p align><span lang>4.</span><span lang>       </span>浙江省科技厅重点项目:基于应力波的木材无损检测技术及其产品化研发(<span lang>2007-2009</span>,<span lang>25</span>万)<span lang> </span></p> <p align><span lang>5.</span><span lang>         </span>浙江省自然科学基金项目:无线传感器网络测量数据验证与故障检测关键技术研究(<span lang>2011-2012</span>, <span lang>8</span>万)<span lang> </span></p> </td> </tr> <tr> <td width> <p align>论文目录<span lang>:</span><span lang> </span></p> </td> <td colspan width> <ol> <li><span lang>[1]             </span>李光辉,邵明,李晓维。验证包含黑盒的电路设计的有效方法,计算机学报,<span lang>2004, 27(6): 803-811. </span></li> </ol> <ol> <li><span lang>[2]             李光辉,李晓维。基于增量可满足性的等价性检验方法,计算机学报,2004, 27(10): 1388-1394. </span></li> </ol> <ol> <li><span lang>[3]             李光辉,邵明,李晓维。一个适于形式验证的ATPG引擎,计算机研究与发展,2004, 41(5):  886-893. </span></li> </ol> <ol> <li><span lang>[4]             李光辉,李晓维。电路宽度制导的布尔推理启发式策略,计算机辅助设计与图形学学报,2004, 16 (11): 1568-1574. </strong></span></li> </ol> <ol> <li><span lang>[5]             Li Guanghui, Li Xiaowei. Circuit-Width Based Heuristic for Boolean Reasoning. <em>Proceedings of IEEE 13th Asian Test Symposium</em>, Nov. 2004, 336-341. </span></li> </ol> <ol> <li><span lang>[6]            Li Xiao-wei, Li Guang-hui, Shao Ming. Formal Verification Techniques Based on Boolean Satisfiability Problem,<em> Journal of Computer Science and Technology</em>, 2005, 20 (1): 38-47. </span></li> </ol> <ol> <li><span lang>[7]             Li Guanghui, Li Xiaowei. Formal Verification under Unknown Constraints, <em>Wuhan University Journal of Natural Sciences</em>, 2005, 10 (1): 43-47.  </span></li> </ol> <ol> <li><span lang>[8]             李光辉,邵明,李晓维。通用CPU设计验证中的等价性检验方法,计算机辅助设计与图形学学报,2005, 17 (2): 230-235. </strong></span></li> </ol> <ol> <li><span lang>[9]             邵明,李光辉,李晓维。求解可满足问题的调查传播算法以及步长的影响规律,计算机学报,2005, 28(5): 849-855. </span></li> </ol> <ol> <li><span lang>[10]        Guanghui Li, Ming Shao, Xiaowei Li. Design Error Diagnosis Based on Verification Techniques. <em>Proceedings of IEEE 12th Asian Test Symposium,</em> Nov. 2003, 474-477. </span></li> </ol> <ol> <li><span lang>[11]        李光辉,赵军,王智。基于无线传感器网络的森林火险监测预警系统,传感技术学报,2006, 19(6): 2760-2764. </span></li> </ol> <ol> <li><span lang>[12]        LI Guanghui, FENG Dongqin. Test Generation with Unspecified Variable Assignments. <em>Tshinghua Science and Technology.</em> 2007, 21(S1): 180-185.  </strong></span></li> </ol> <ol> <li><span lang>[13]        李光辉,夏其表,李洪。基于渗透理论的林火蔓延模型研究。系统仿真学报。2008, 20(24): 6595-6598. </span></li> </ol> <ol> <li><span lang>[14]        李光辉,冯冬芹,曾松伟。基于电路拓扑结构分析的等价性验证方法。计算机辅助设计与图形学学报。2008, 20(12): 1557-1562. </span></li> </ol> <ol> <li><span lang>[15]        Guanghui Li, Dongqin Feng. Redundant Cluster-based Routing in Wireless Sensor Networks. <em>Proceedings of the 7th World Congress on Intelligent Control and Automation.</em> 2008. </span></li> </ol> <ol> <li><span lang>[16]        冯冬芹,李光辉,全剑敏,金建祥。基于簇头冗余的无线传感器网络可靠性技术研究。浙江大学学报(工学版)。2009, 43(5): 849-854. </span></li> </ol> <ol> <li><span lang>[17]         Guanghui Li, Changqing Xu, Hailin Feng. Fault Tolerant Scheme in WSN by Finding Minimum FAS. <em>3rd international workshop on matrix analysis</em>. 2009, Vol.1, 126-129. </span></li> </ol> <ol> <li><span lang>[18]        Li Hong, Li Guang-hui, Feng Hai-lin, Wang Zhi. Research on Forest Fire Monitoring Quality Variation with Wireless Sensor Node Density. <em>International Conference on Communications and Mobile Computing</em> (CMC 2010), 2010. </span></li> </ol> <ol> <li><span lang>[19]        Guanghui Li, Qibiao Xia, Hong Li, and Dongqin Feng. Modeling  Forest Fire Spread Process Based on Percolation Theory. <em>Journal of Information and Computational Systems. </strong></em>2010, 7(9):1930-1937. </span></li> </ol> <ol> <li><span lang>[20]        Hailin Feng, Guanghui Li, Wenwei Lu, Leijun Huang<em>.</em>Trust Based Secure in-network Data Processing Schema in Wireless Sensor networks. <em>Journal of Networks</em>. 2011, 6(2): 295-302. </span></li> </ol> </td> </tr> <tr> <td width> <p align>著译目录:<span lang> </span></p> </td> <td colspan width> <p><span lang>[1] </span>李光辉,周素茵,章云,胡海根。《数字电子技术基础》,中国电力出版社,北京:<span lang>2008</span>年<span lang>5</span>月。<span lang> </span></p> <p align><span lang>[2] </span>李晓维,吕涛,李华伟,李光辉。《数字集成电路设计验证》,科学出版社,北京:<span lang>2010</span>年<span lang>5</span>月。<span lang> </span></p> <p align><span lang>[3]</span>李光辉,周素茵,章云,胡海根。《数字电子技术基础》修订版,清华大学出版社,北京:<span lang>2012</span>年。<span lang> </span></p> </td> </tr> <tr> <td width> <p align>科研成果:<span lang> </span></p> </td> <td colspan width> <p><span lang>1</span>、<span lang>2004</span>年度中国科学院院长奖学金优秀奖<span lang> </span></p> <p><span lang>2</span>、<span lang>2007</span>年度北京市科学技术奖三等奖:“集成电路逻辑测试与验证基础技术”<span lang> </span></p> <p><span lang>3</span>、<span lang>2010</span>年度浙江省高校科研成果二等奖:“木材应力波无损检测技术及其产品化研发”<span lang> </span></p> <p><span lang>4</span>、<span lang>2005</span>年被评为浙江林学院“十佳”科技工作者<span lang> </span></p> <p><span lang>5</span>、<span lang>2007</span>年被评选为浙江省高校中青年学科带头人<span lang> </span></p> <p align><span lang>6</span>、<span lang>2010</span>年入选浙江省“新世纪<span lang>151</span>人才工程”第二层次<span lang> </span></p> </td> </tr> <tr> <td width> <p align>学术兼职:<span lang> </span></p> </td> <td colspan valign width> <p align>中国计算机学会容错计算专委会常务委员<span lang> </span></p> <p align>中国计算机学会传感器网络专委会委员<span lang> </span></p> <p align>中国计算机学会普适计算专委会委员<span lang> </span></p> <p align>中国自动化学会系统仿真专委会委员<span lang> </span></p> <p align>杭州市工业企业信息化专家库成员<span lang> </span></strong></p> </td> </tr> <tr> <td width> <p align>办公室电话<span lang>: </span></p> </td> <td colspan width> <p align><span lang>0571-63740788 </span></p> </td> </tr> <tr> <td width> <p align>通讯地址<span lang>: </span></p> </td> <td colspan width> <p align>浙江省杭州市临安环城北路<span lang>88</span>号<span lang> </span></p> </td> </tr> <tr> <td width> <p align>邮政编码<span lang>: </span></p> </td> <td colspan width> <p align><span lang>311300 </span></p> </td> </tr> <tr> <td width> <p align>电子邮件<span lang> </span></p> </td> <td colspan width> <p align><span lang>lgh@zafu.edu.cn</a></span></p> </td> </tr> </tbody> </table> </div>


  • 暂时还没有收录李光辉老师的课程列表,我们将尽快添加。
    • 暂时还没有收录李光辉老师的论文,我们将尽快添加。
    • 暂时还没有收录李光辉老师参与的论文,我们将尽快添加。

    关于李光辉老师的相关提示:以上内容并非是李光辉老师的最新情况,请以李光辉老师的官方公布信息为准。

    反馈/投稿/合作/咨询:13562564(QQ)    邮箱:13562564@qq.com
    投稿 反馈 留言 回顶部