内蒙古大学

内蒙古大学计算机学院研究生李华（博导）导师介绍如下：

邮箱：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。