內蒙古大學

內蒙古大學計算機學院研究生李華（博導）導師介紹如下：

郵箱：cslihua@imu.edu.cn

主要研究方向：

網絡與云計算的融合，大數據分析與評測方法，軟件服務計算與測試。
曾經研究方向：
基于Web應用系統的建模及測試；新一代因特網協議建模與測試；分布式計算建模與測試工程；TTCN-3測試套設計與開發；基于微內核操作系統形式化分析與測試；協議互操作性測試；協議一致性測試；分布式系統測試。

預計每年招收博士生1名（計算機科學與技術專業）

教育經歷：

內蒙古大學計算機學院，博士，碩士。

內蒙古大學電子系，學士。

國外實習、進修經歷：

2000,09-2001,03，在加拿大渥太華大學（University of Ottawa），訪問學者。

2004,08-2004,12，在英國曼徹斯特大學進修，（University of Manchester）獲得曼徹斯特大學教育學證書。

工作簡歷：

曾承擔課程《PASCAL》《FORTRAN》《C語言》《C語言與AI》《數據結構》《Foxbase》《C語言》《PROLOG與專家系統》《計算機 網絡》《數據通信與計算機網絡》《操作系統》《網絡工程》《計算機專業外語》《網絡原理與開發技術》《計算機網絡》《軟件測試》的教學工作。

目前是內蒙古大學計算機學院的教授，博士生導師，主要承擔本科生的《計算機網絡》《軟件測試》及研究生的《測試理論》的教學工作。是內蒙古自治區《計算機網絡》精品課主持人。內蒙古自治區《計算機網絡系列課教學團隊》主持人。內蒙古大學教學名師。

科研項目：

1）主持項目：國家自然科學基金，內蒙古自然科學基金重點項目，教育部春暉項目等科研項目，內蒙古自治區教學團隊，中國高等教育學會“十一五”教育科學研究規劃課題，內蒙古自治區精品課等教改項目，國家級大學生創新訓練計劃項目, 賽爾創新項目, 內蒙古自然基金項目.

2）以核心成員參加項目：國家自然科學基金，863項目，中歐合作項目1項，內蒙古自然科學基金重點項目等。

3）完成多項橫向科研項目：其中包含公益網站、基于Web的應用系統、電子政務系統、OA系統的開發及功能測試、性能測試、驗收測試。

獲獎：

1） 2018年賽爾網絡下一代互聯網技術大賽三等獎

2）  2016年獲得第三屆全國高校軟件定義網絡（SDN）應用創新開發大賽二等獎。

3）  2016年獲得第二屆下一代互聯網技術創新大賽三等獎。

4）  2016年本科生創新團隊獲得學校互聯網+創新獎。

5）  2015年獲得“第二屆全國高校軟件定義網絡（SDN）應用創新開發大賽”三等獎

6）  2014年獲得“第一屆全國高校軟件定義網絡（SDN）應用創新開發大賽”三等獎。 

7）  2013年內蒙古大學教學二等獎。 

8）2013年獲“第六屆全國高校計算機網絡教學暨網絡工程專業建設研討會”一等獎。

9）2012年獲得內蒙古大學教學名師。

10）2012年度內蒙古自治區自然科學獎三等獎。

11）2009年內蒙古大學教學獎 三等獎

12）2008年獲得內蒙古科技進步二等獎。

13）  2006年內蒙古大學優秀教師。

14）2000年獲得內蒙古科技進步二等獎。

目前研究生： 

博士：阮宏瑋，李元平，鄭冰 

碩士：楊珍，劉亞，劉麒，張筵雍，趙文欣，連超 ,崔雅君，宋丹丹，陳銳銳，劉博煒

發表論文：

2019年論文

[1]. 劉亞, 李華, 鄭冰, 趙文欣. 特征選擇和Logistic回歸相結合的擔保圈風險識別方法[J]. 小型微型計算機系統.已錄用

2018年論文

[2]. 劉亞, 高宇, 李華, 阮宏瑋, 王文遙. OpenDaylight多控制器的性能測試[J]. 計算機應用研究.2018,35（1）:274-277.

[3]. 劉麒, 王璐, 楊曉, 李華. 基于OpenDaylight網絡感知和用戶需求的路徑選擇算法[J]. 小型微型計算機系統, 2018, 39(8): 1737-1743.

[4]. 李元平,李華,趙俊嵐,阮宏瑋.OpenFlow協議IPv6屬性測試研究[J].計算機工程與科學.2018,40(10):1757-1765

[5]. 李元平,李華,阮宏瑋,趙俊嵐,王彪. 基于形式化的測試框架及實例分析[J]. 計算機應用研究,2018,35(6):6):1778-1782。

2017年論文

[1].Lu Wang, Hongwei Ruan, Hua Li, Qi Liu. Combining Neutron and OpenDaylight for Management of Networking[C]. Computer Society Signature  Conference on Computer, Software and Applications (COMPSACW), 2017 IEEE 41th Annual. July 4-8, 2017. Torino, Italy. pp:42-47.

[2].Hongwei Ruan, Lu Wang, Xiao Yang Lulu Dong, Hua Li. OpenFlow Modeling Based on CPN for Evolution Consideration and Executable Test Case Generation[C]. Computer Society Signature  Conference on Computer, Software and Applications (COMPSACW), 2017 IEEE 41th Annual. July 4-8, 2017. Torino, Italy. pp:12-17.

2016年論文

[3].王長忠，董學誠，楊曉，阮宏瑋，李華。基于SDN的校園網動態服務鏈設計與實現。計算機應用與軟件，2016，33(12):80-83。

[4].劉麒，徐陽，呂婷，胡新磊，李華。基于HTML5 WebWorker 組件的DDoS攻擊方式和檢測。計算機應用與軟件，2016，33(12):295-300。

[5].XinLei Hu, XianRong Wang, Lu Wang, Hua Li.Design of Extensible Forwarding Element Architecture and Its Key Technology Verification, Proceedings of 2016 IEEE International Conference on Integrated Circuits and Microsystems, November,2016.page:214-218. EI

[6].李元平, 李華, 趙俊嵐. 有限狀態機模型測試序列生成算法研究[J]. 計算機科學, 2016, 43(11A): 474-481.  

[7].李元平,李華,趙俊嵐.基于時間著色Petri網的OpenFlow協議建模研究.華中科技大學學報(自然科學版)，2016，44卷增刊，pp35-42. EI

[8].李華，孫濤,夏興行。基于CPN對系統的并發行為進行測試[J]。計算機科學，2016,43(1):218-225。

[9].呂亮亮, 阮宏瑋，董路路，李華。測試驅動的 OpenFlow協議建模,《小型微型計算機系統》, 2016(5):966-971。

[10].張玉榮，李華，邢熠，王顯榮，阮宏瑋，張素梅。CPN建模與on-the-fly方法相結合的測試用例生成。軟件學報錄用。

[11].李華，邢熠，張玉榮。基于 Token 選取的 OpenStack 單一平面網絡建模方法。計算機科學，2016(11):66-70.

[12].楊曉,阮宏瑋，王長忠，王顯榮，李華。基于YANG的連網需求的建模（《小型微型計算機系統》期刊已錄用）

2015年論文

[13].劉麒.徐陽，呂婷，李華。針對HTML5的攻擊方式分析及檢測方法[J].中國教育網絡，2015,(117):59-60

[14].李華，盧慧，馬學彬，李茹。師生協作的微課素材建設方法[J]，計算機教育，2015，22期，pp75-78，出版日期：2015-11-25

[15].盧慧,李華。Application of Diversified and phase-based Teaching Method in Teaching of Web Programming。INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE AND ENVIRONMENTAL ENGINEERING(CSEE 2015)，2015-05-17。

[16].王燕,李華。An Integrated Application-oriented Teaching Reform Method of Network and Information Security，2015 International conference on industrial technology and management science，2015-03-27，EI

[17].盧慧,李華，階段式多元化教學法在 Web 程序設計課程中的應用，計算機教育，11卷，22期，2015-11-25

[18].李華,盧慧,馬學彬,李茹，師生協作的微課素材建設方法，計算機教育，22卷，250期，2015-11-25

2014年論文

[19].李華，賀楠，董路路，呂亮亮. 基于層次CPN的OpenFlow建模研究 [J]。計算機科學,2014,41(7):114-118。（Li Hua，He Nan，Dong Lu-Lu，et al，“Research on OpenFlow Modeling Based on Hierarchical CPN”，Computer Science,2014,41(7):pp.114-118）

[20].Sumei Zhang, Hua Li, Yu Xue, Xianrong Wang. Using TTCN-3 to Test SPDY Protocol Interaction Property[C]. Computer Software and Applications Conference Workshops (COMPSACW), 2014 IEEE 38th Annual. July 21-25,2014. Vasteras, Sweden. pp: 541-546.EI.

[21].龐濱，李華，王友義，閆帥，楊智和，校園網服務器安全掃描告警系統的設計與實現，通信學報，2014，第35卷第Z2期，pp10-13.EI。

PANG Bin, LI Hua, WANG You-yi，YAN Shuai, YANG Zhi-he ，Design and Implementation of Server Security Alarm System In Campus Network，Journal on Communications，Vol.35  No. Z2，Page 10-13.

2013年論文

[22].Lulu Dong, Hua Li, Nan He, Yi Xing. Testing OpenFlow Interaction Property Based on Hierarchy CPN, 21st IEEE international Conference on Network Protocols(2013ICNP), Poster, October 7-10,2013,Gottingen,Germany.

[23].Lulu Dong, Hua Li, Sumei Zhang. "Workflow-based Modeling of Web Application and Automatically Generating Test Sequences". The 13th International Conference on Quality Software(2013QSIC),  July 29-30,2013, Nanjing,China. pp378-381.  

[24].董路路、李華、張素梅。 Web應用工作流的CPN建模。內蒙古大學學報自然科學版，2013.5:44(5). pp545-551。

[25].盧慧，李華，王燕。基于科學思維的網絡課程教學法對學生創新能力的培養 [J] 。計算機教育，第7期，2013年，pp1-4。

[26].王燕，李華。網絡工程課實驗教學結構的改革探索 [J]。計算機教育，第 7期，2013 年， pp29-32。

[27].王燕，李華，周建濤。基于Petri 網的移動 IPSec 快速切換的建模與分析 [J] 。計算機研究與發展， 2012,49(supp.):82-89.

[28]. Yan Wang,Hua Li,Jiantao Zhou. A Community Discovery Algorithm Based on Users' Network Effects In Mobile Communication Network[C], CCF Internet Conference of China(ICoC2013),IEEE,2013:200-204.

[29].Xiaoyu Wang, Hongwei Ruan, Yan Wang, Hua Li, Hongji Yang. A Software-Reuse Method from Model1 to SSH2[C]. Computer Software and Applications Conference Workshops (COMPSACW), 2013 IEEE 37th Annual. July 22-26, 2013. Kyoto, Japan. pp469-474.

[30].李華，岳婧媛，龐濱，賀楠。 Minix3 訪問控制的系統調用的 CPN 建模與測試。小型微型計算機， 2013 , 34(12):2828-2832。

[31].LI Hua ， Wang Yan. Experiment Design for a Course Series of Computer Network Based on Problem-based Learning. 2013 International Conference on Information, Business and Education Technology. ICIBET 2013 , March 14-15, Beijing, pp879-882. CPCI-S 收錄, WOS ： 000320283600184.

[32].李華，王燕，謝輝，張俊星。計算機網絡序列課程實驗設置方法探索。計算機教育， 2013 ，第 1 期， pp45-48 。

2012 年論文

[33].李華，郭亞杰。協議可擴展屬性分析及測試方法。中國科技論文。2012，第10期，pp745-750。

[34].阮宏瑋，李華，王燕。基于網絡設備中間指令的通用網絡設備驅動中間件。CERNET第十九屆學術年會論文集，2012，第17卷，pp49-53。

[35].劉鐵鋼，王燕，李華，阮宏偉，吳承勇。基于Hash函數的網頁篡改檢測模塊的實現。CERNET第十九屆學術年會論文集，2012，第17卷，pp87-90。

[36].阮宏瑋，劉鐵鋼，李華，王小雨。主成分分析法的網頁篡改檢測。中國科技論文，2012.7,7(7),pp544-547. ISSN 2095-2783

[37].Hua Li, Yu Xue, Jing-Yuan Yue, Nan He, Hongji Yang and Mohammed Alawairdhi. Interoperability Test Modelling and Generation Based on Extended Petri Net Incorporating with Non-Determinisim. Journal of Computers, 23(3):16-25.

[38].Lu Hui, LiHua, "A P2P Communication Method for IPv4/IPv6 Hybrid Network", Future Computers in Education(ICFCE2012), June 1-2, 2012, Shanghai, China, Volume 24:p23-26.

[39].Lu Hui, Li Hua, "Application of Diversified Teaching Method in the Teaching of Web Programming Based on Stage", Future Computers in Education(ICFCE2012), June 1-2, 2012, Shanghai, China, Volume 24:pp27-30.

[40].夏興行，李華，薛禹，洪有芬。6LoWPAN適配層基本功能分析與實現[J]。內蒙古大學學報自然科學版。2012年7月,43(4):402-408。

[41].Hua Li, Yi Xing, Yu Xue, Xinming Ye. Study of Interaction Property Testing of Distributed System Based on Petri Net. IEEE 2012 Second International Workshop on Formal Methods in Services and Cloud Computing (FM-S&C 2012), June 24-29 2012,pp227-233, Hyatt Regency Waikiki Resort and Spa, Honolulu, Hawaii, USA.

[42].YouFen Hong, Hua Li, XingHang Xia, XianRong Wang. Research and Implementation of 6LoWPAN Adaptation Layer Based on Electronic Technology. 2012 International Conference on Mechanical and Electronic Engineering(ICMEE2012), June 23-24,2012,pp415-422, Hefei,China.

[43].Nan He, Hua Li, Bin Pang, Hui Xie, Hongji Yang, "How to Cope with the Evolution of Classic Software During the Test Generation Based on CPN"[C],the 2012 International Conference on Systems and Informatics (ICSAI 2012), 19 to 20 May 2012,pp1126-1130, Yantai, China.

[44].XUE Yu, LI Hua, XING Yi, YE Xin-ming, "Research on the Interactive Property Testing Based on Petri Net", The 2012 International Conference on Systems and Informatics (ICSAI 2012), 19 to 20 May 2012, pp2466-2470, Yantai, China.

[45].李華，張俊星，謝輝。一種計算機網絡課的教學方法設計。計算機教育，2012，第一期，pp72-74。

2011 年論文

[46].郭亞杰，李華，敖騰河等。DNS服務器解析性能測試方案設計[J]。廣西大學學報，2011.36(增刊):55-60。

[47].阮宏瑋，李華，王小雨等。基于快照輪詢和文本檢測的批量網頁防篡改系統[J]。廣西大學學報，2011.36(增刊):142-148。

[48].Li Hua, Liu Long, Hong Youfen, Ye Xinming,Yang Hongji. Nondeterminism Modeling and Test Generation for Protocol Interoperability Testing Based on Property. CiSE 2011, Wuhan, Dec. to be appeared.

[49].洪有芬，劉龍，李華。基于屬性的協議互操作性測試的TTCN-3實現[J]。內蒙古大學學報自然科學版，2011,42(5): 481-485。

[50].岳婧媛，李華，郭亞杰。基于屬性的Minix3系統調用的建模和測試。內蒙古大學學報自然科學版，2011,42(5):570-575。

[51].郭亞杰，李華，岳婧媛。基于正交實驗的Web表單關聯項測試[J]。內蒙古大學學報自然科學版，2011,42(5):528-532。

[52].李華，葉新銘，吳承勇，王佳，呂東旭。BT協議的形式化建模與測試生成。小型微型計算機，2011,32(4):676-679。

2010年論文

[53].李華，葉新銘，吳承勇，岳婧媛，洪有芬，郭亞杰。基于屬性的網絡協議互操作建模及測試生成。2010年中國計算機大會優秀論文，杭州。

[54].李華，王玲玲，吳承勇，謝輝。可選項對協議互操作影響的研究。中南大學學報自然科學版（增刊）,2010.10,vol 41,pp 166-172。

[55].阮宏瑋，李華，敖騰河，謝輝。基于快照輪詢的批量網站網頁防篡改系統設計。中南大學學報自然科學版（增刊）,2010.10,vol 41,pp 166-172。

[56].呂東旭，李華，王佳。BitTorrent協議可控制問題的研究。東北大學學報，2011,32(6):265-269。

[57].Y.Wang,J.T.Zhou, H.Li, and Y.Hao, "Analyzing and Verifying Petri Net Model of Security Protocol Based on Maria," Proc.IEEE Symp. Computer Application and System Modeling(ICCASM 2010), IEEE Press,Oct.2-24,2010,vol 2,pp.400-405. Shanxi,Taiyuan.

[58].Yan Wang, Hua Li and Jiantao Zhou, "Study and Design of Graphic Petri Nets analyzer Based on Maria," 2010 INTERNATIONAL CONFERENCE ON INFORMATION SECURITY AND ARTIFICIAL INTELLIGENCE (ISAI 2010),IEEE press(ISAI 2010),Chengdu,China,December 17-19.

[59].王燕，李華，常軍。基于文本頻率冗余的單模式匹配算法的研究[J]。內蒙古大學學報，2010,41(6):707-710。

[60].劉龍，李華，葉新銘，杭成寶，王玲玲。OSPF協議互操作性測試建模方法研究。計算機與數字工程，2010,38(8). 145-149。

[61].LI Hua,PENG Yong-guang,YE Xin-ming,YUE Jing-yuan,"Test Sequence Generation from Combining Property Modeling and Program Slicing"[C], 34th Annual IEEE Computer Software and Applications Conference Workshops (Compsac2010), 2010,Seoul, South Korea,pp,45-50.

[62].Pan Bin, Li Hua. Study of Network Traffic Recognition Based on Unsupervised Learning Method. Proceeding of International Conference on Engineering and Business Management(EBM2010), page:5105-5109, March 25-27, Chengdu, China.

[63].李華，敖騰河，龐濱，謝輝，盧慧。基于問題進行學習的計算機網絡課程體系建設研究。計算機工程與科學，32卷，2010，A1期，pp168-171。

2009年論文

[64].阮宏瑋，李華，邢海峰。論盲人摸象帶給計算機教育的新思維[J]。計算機教育，2009,vol(23):110-112。

[65].Ruan Hongwei Li Hua Ao Tenghe Wu Chengyong. Reflection of Network Security Caused by a Wheel. ICCTD 2009(2009 International Conference on Computer Technology and Development) Volume 1, Session 14, Page 566-568, 2009.11.13-15, Kota Kinabalu, Malaysia.

[66].Wang Lingling, Li Hua, Ye Xinming, Wu Chengyong. QE Modeling and Test Selection Based on PNFSM. The 5   th International Conference on Wireless Communication, Networking and Mobile Computing. September 24-26, 2009, Beijing, China.

[67].李華，葉新銘，吳承勇，王龍，王玲玲。一種互操作測試的建模及測試選擇方法。計算機研究與發展，2009,vol 46(6):913-919。

[68].李華，葉新銘，李元平，杭成寶。通用分布式路由協議測試系統的設計。內蒙古大學學報，2009,40(2):208-214。

[69].李華，張巨萍，葉新銘，吳承勇。TTCN-3測試系統的協議相關部分的分析實現。計算機工程，2009,35(21):253-255。

[70].李華，葉新銘，劉靜，劉龍。移動IPv6協議中移動節點的可執行測試序列生成方法研究。計算機科學，2009,36(10):137-140。

[71].武茂春，李華，王龍。一種互操作場景中策略路由的建模與測試。電腦開發與應用，22(8):20-23。

[72].彭永光，李華，葉新銘。基于Petri網程序切片方法的Minix3的分析與測試研究。電腦開發與應用，22(8):1-4。

[73].Hua Li, Xin-ming Ye, Cheng-yong Wu, Long Liu, Ling-ling Wang. Modeling Interactive Property of MIPv6 with Petri Net for Interoperability Testing, The second International Conference on Information and Computing Science(ICIC2009), Manchester, England, 2009, May.21-22, pp313-316.

[74].Li Hua, Ye Xinming, Wu Chengyong, Hang Chengbao, Wang Lingling. Modeling Nondeterministic Feature with Petri Net for Network Protocol in Interoperability Testing, 2009 WRI World Congress on Computer Science and Information Engineering(CSIE2009), Los Angeles, California, USA, 2009, March. 31-April. 2, pp825-829.

2008年論文：

[75].李華，葉新銘，吳承勇，王龍。下一代網絡協議測試數據半自動生成方法研究。計算機科學，2008,35(12):59-62。

[76].李華，張濤，葉新銘，王龍。BGP4+互操作性測試研究。計算機科學，2008,35(7):29-31。

[77].Hua Li, Xingming Ye, Min Zeng. Design and Implementation of a Distributed Conformance Test System based on XML. 2008 International Symposium on Computer Science and Computational Technology (ISISE2008), Shanghai, China, 2008, Dec. 20-22, pp178-182。

[78].Hua Li. Implementation of Problem-Based and Hybrid X Learning in Computer Science. CSSE：International Conference on Information Technology in Education. 2008, Wuhan, China, 2008, Dec.12-14. pp1230-1232.

[79].李華，葉新銘。協議互操作性測試綜述。內蒙古大學學報自然科學版，2008,39(5): 590-596。

[80].王佳，李華，葉新銘，杭成寶。基于NTP協議的時間同步服務的測試設計與實現。CTC2008 第五屆中國測試學術會議。蘇州，中國，2008，5月21-24日，pp140-143。

[81].李華，高光來，魏鳳歧，周建濤，李德才。循序漸進的雙語教學探索與實施。計算機教育，2008，20期，pp135-137。

[82].丁雪蓮，李華。邊界網關協議BGP4+一致性測試。內蒙古大學學報自然科學版，2008,39(3):351-356。

[83].郭怡靜，葉新銘，李華。OSPFv3協議一致性測試序列的自動生成。內蒙古大學學報自然科學版，2008,39(4):475-480。

2007年論文：

[84].李華，張濤，葉新銘。基于XML的OSPFv3一致性測試研究。計算機科學，2007,34(4):59-62。

[85].孫濤，李華。TTCN協議測試執行系統驅動器的協議相關性研究。內蒙古大學學報自然科學版，2007,38(6): 88-93。

[86].劉玉林，李華。基于OOPN的面向對象的集成測試方法。內蒙古大學學報自然科學版，2007,31(1): 702-706。

[87].李華，葉新銘。基于Petri網的測試路徑選擇標準。內蒙古大學學報自然科學版，2007,38(1): 88-93。

李華，吳承勇。基于問題的學習方法在計算機相關課程教學中的運用。高等理科教育，中文核心刊物，2007,1,pp317-319。