师资队伍
李华（博导）
来源:计算机学院发布时间:2013-11-2123:34:22


主要研究方向：
软件理论与服务计算，侧重云服务的关键支撑技术研究及测试评估方法研究；基于Web应用系统的建模及测试；新一代因特网协议建模与测试；分布式计算建模与测试工程；TTCN-3测试套设计与开发；基于微内核操作系统形式化分析与测试；协议互操作性测试；协议一致性测试；分布式系统测试。

教育经历：内蒙古大学计算机学院，博士，硕士。
内蒙古大学电子系，学士。

国外学习、进修经历：
2000,09-2001,03，在加拿大渥太华大学（UniversityofOttawa），访问学者。
2004,08-2004,12，在英国曼彻斯特大学进修，（UniversityofManchester）获得曼彻斯特大学教育学证书。

工作简历：
曾承担课程《PASCAL》《FORTRAN》《C语言》《C语言与AI》《数据结构》《Foxbase》《C语言》《PROLOG与专家系统》《计算机网络》《数据通信与计算机网络》《操作系统》《网络工程》《计算机专业外语》《网络原理与开发技术》《计算机网络》《软件测试》的教学工作。
目前是内蒙古大学计算机学院的教授，博士生导师，主要承担本科生的《计算机网络》《软件测试》及研究生的《测试理论》的教学工作。
是内蒙古自治区《计算机网络》精品课主持人。内蒙古自治区《计算机网络系列课教学团队》主持人。内蒙古大学教学名师。

科研项目：
1）主持项目：14项，其中有国家自然科学基金，内蒙古自然科学基金重点项目，教育部春晖项目等，内蒙古自治区教学团队，中国高等教育学会“十一五”教育科学研究规划课题，内蒙古自治区精品课等教改项目。
2）以核心成员参加项目：16项，其中包含国家自然科学基金，863项目，中欧合作项目1项，内蒙古自然科学基金重点项目等。
3）完成多项横向科研项目：其中包含公益网站、基于Web的应用系统、电子政务系统、OA系统的开发及功能测试、性能测试、验收测试。

获奖：
1)作为主要设计开发人员参加的内蒙古科技攻关项目《网络系统测试工具软件的研究》在2008年获得内蒙古科技进步二等奖。
2)参加国家级项目《非确定性分布式系统测试方法和工具的研究》的研究工作，该项目在2000年获得内蒙古科技进步二等奖。
3)内蒙古大学教学名师。
4)2009年《基于问题式教学方法在计算机本科教学中的运用》评为内蒙古大学教学奖三等奖，排名第一。
5)在教育部2008年举办的英特尔杯全国计算机教育论文大赛中，《循序渐进的双语教学探索与实施》获得优秀论文奖。
6)1999年在内蒙古大学第2届青年教师课堂教学技艺大赛上获得三等奖。

目前研究生：
2010级：薛禹，贺楠，夏兴行，王小雨（专业硕士）
2011级：董路路，刘铁钢
2012级：吕亮亮，张素梅

著书或者翻译：
1）参加翻译《计算机网络-系统方法》第三版，作者LarryPetersen等，机械工业出版社出版，2005年。
2）参加《计算机网络教程》编著，内蒙古大学出版社2004年。
3）参加《计算机专业英语》编著，内蒙古大学出版社2002年。

发表论文：
2012年论文
[1].李华，郭亚杰。协议可扩展属性分析及测试方法。中国科技论文。2012，第10期，pp745-750。
[2].阮宏玮，李华，王燕。基于网络设备中间指令的通用网络设备驱动中间件。CERNET第十九届学术年会论文集，2012，第17卷，pp49-53。
[3].刘铁钢，王燕，李华，阮宏伟，吴承勇。基于Hash函数的网页篡改检测模块的实现。CERNET第十九届学术年会论文集，2012，第17卷，P87-90
[4].阮宏玮，刘铁钢，李华，王小雨。主成分分析法的网页篡改检测。中国科技论文，2012.7，7(7)，pp544-547。ISSN2095-2783
[5].HuaLi，YuXue,Jing-YuanYue,NanHe,HongjiYangandMohammedAlawairdhi.
[6].InteroperabilityTestModellingandGenerationBasedonExtendedPetriNetIncorporatingwithNon-Determinisim.JournalofComputers,23(3):7-17.台湾。
[7].LuHui,LiHua,“AP2PCommunicationMethodforIPv4/IPv6HybridNetwork”,FutureComputersinEducation(ICFCE2012),June1-2,2012,Shanghai,China,Volume24:p23-26
[8].LuHui,LiHua,“ApplicationofDiversifiedTeachingMethodintheTeachingofWebProgrammingBasedonStage”,FutureComputersinEducation(ICFCE2012),June1-2,2012,Shanghai,China,Volume24:p27-30
[9].夏兴行，李华，薛禹，洪有芬.6LoWPAN适配层基本功能分析与实现[J].内蒙古大学学报自然科学版。2012年7月，43(4):402-408。
[10].HuaLi，YiXing，YuXue，XinmingYe.StudyofInteractionPropertyTestingofDistributedSystemBasedonPetriNet.IEEE2012SecondInternationalWorkshoponFormalMethodsinServicesandCloudComputing(FM-S&C2012)，June24-292012,pp227-233，HyattRegencyWaikikiResortandSpa,Honolulu,Hawaii,USA.EI：**671
[11].YouFenHong,HuaLi,XingHangXia,XianRongWang.ResearchandImplementationof6LoWPANAdaptationLayerBasedonElectronicTechnology.2012InternationalConferenceonMechanicalandElectronicEngineering(ICMEE2012),June23-24,2012,pp415-422，Hefei,China.EI**180
[12].NanHe,HuaLi,BinPang,HuiXie,HongjiYang,“HowtoCopewiththeEvolutionofClassicSoftwareDuringtheTestGenerationBasedonCPN”[C],the2012InternationalConferenceonSystemsandInformatics(ICSAI2012),19to20May2012,pp1126-1130,Yantai,China.EI：**200
[13].XUEYu,LIHua,XINGYi,YEXin-ming,“ResearchontheInteractivePropertyTestingBasedonPetriNet”,The2012InternationalConferenceonSystemsandInformatics（ICSAI2012）,19to20May2012,pp2466-2470,Yantai，China.EI：**521
[14].李华，张俊星，谢辉,一种计算机网络课的教学方法设计。计算机教育，2012，第一期，pp72-74。
2011年论文
[15].郭亚杰，李华，敖腾河等.DNS服务器解析性能测试方案设计[J],广西大学学报，2011.36(增刊)：55-60。
[16].阮宏玮，李华，王小雨等.基于快照轮询和文本检测的批量网页防篡改系统[J],广西大学学报，2011.36(增刊)：142-148。
[17].LiHua,LiuLong,HongYoufen,YeXinming,YangHongji.NondeterminismModelingandTestGenerationforProtocolInteroperabilityTestingBasedonProperty.CiSE2011,Wuhan,Dec.tobeappeared
[18].洪有芬，刘龙，李华.基于属性的协议互操作性测试的TTCN-3实现[J].内蒙古大学学报,自然科学版，2011，42(5):481-485.
[19].岳婧媛，李华，郭亚杰。基于属性的Minix3系统调用的建模和测试。内蒙古大学学报，自然科学版，2011，42(5):570-575.
[20].郭亚杰，李华，岳婧媛.基于正交实验的Web表单关联项测试[J],内蒙古大学学报,自然科学版，2011,42(5):528-532.
[21].李华，叶新铭，吴承勇，王佳，吕东旭。BT协议的形式化建模与测试生成，小型微型计算机，2011，32(4):676-679.
2010年论文
[22].李华，叶新铭，吴承勇，岳婧媛、洪有芬，郭亚杰。基于属性的网络协议互操作建模及测试生成。2010年中国计算机大会优秀论文，杭州。
[23].李华，王玲玲，吴承勇，谢辉。可选项对协议互操作影响的研究。中南大学学报(自然科学版)（增刊）,2010.10，vol41，pp166-172。
[24].阮宏玮，李华，敖腾河，谢辉.基于快照轮询的批量网站网页防篡改系统设计.中南大学学报(自然科学版)（增刊）,2010.10，vol41，pp166-172。
[25].吕东旭，李华，王佳。BitTorrent协议可控制问题的研究。东北大学学报，2011，32(6):265-269。
[26].Y.Wang,J.T.Zhou,H.Li,andY.Hao,"AnalyzingandVerifyingPetriNetModelofSecurityProtocolBasedonMaria,"Proc.IEEESymp.ComputerApplicationandSystemModeling(ICCASM2010),IEEEPress,Oct.2-24,2010,vol2,pp.400-405.Shanxi,Taiyuan.
[27].YanWang,HuaLiandJiantaoZhou,"StudyandDesignofGraphicPetriNetsanalyzerBasedonMaria,"2010INTERNATIONALCONFERENCEONINFORMATIONSECURITYANDARTIFICIALINTELLIGENCE(ISAI2010),IEEEpress(ISAI2010),Chengdu,China,December17-19.
[28].王燕，李华，常军.基于文本频率冗余的单模式匹配算法的研究[J].内蒙古大学学报.2010,41(6):707-710。
[29].刘龙，李华，叶新铭，杭成宝，王玲玲,OSPF协议互操作性测试建模方法研究.计算机与数字工程，2010，38(8).145-149。
[30].LIHua,PENGYong-guang,YEXin-ming,YUEJing-yuan,“TestSequenceGenerationfromCombiningPropertyModelingandProgramSlicing”[C],34thAnnualIEEEComputerSoftwareandApplicationsConferenceWorkshops（Compsac2010）,2010,Seoul，SouthKorea，pp,45-50.
[31].PanBin,LiHua，StudyofNetworkTrafficRecognitionBasedonUnsupervisedLearningMethod。ProceedingofInternationalConferenceonEngineeringandBusinessManagement（EBM2010），page:5105-5109,March25-27，Chengdu，China.
[32].李华，敖腾河，庞滨，谢辉，卢慧，基于问题进行学习的计算机网络课程体系建设研究，计算机工程与科学，32卷，2010，A1期，pp168-171。
2009年论文
[33].阮宏玮，李华，邢海峰．论盲人摸象带给计算机教育的新思维[J]．计算机教育，2009，vol(23):110-112。
[34].RuanHongweiLiHuaAoTengheWuChengyong.ReflectionofNetworkSecurityCausedbyaWheel.ICCTD2009(2009InternationalConferenceonComputerTechnologyandDevelopment)Volume1，Session14，Page566-568,2009.11.13-15,KotaKinabalu,Malaysia.
[35].WangLingling,LiHua,YeXinming,WuChengyong.QEModelingandTestSelectionBasedonPNFSM.The5^thInternationalConferenceonWirelessCommunication,NetworkingandMobileComputing.September24-26,2009,Beijing,China.
[36].李华，叶新铭，吴承勇，王龙，王玲玲，一种互操作测试的建模及测试选择方法，计算机研究与发展，2009，vol46(6):913-919。
[37].李华，叶新铭，李元平，杭成宝。通用分布式路由协议测试系统的设计。内蒙古大学学报，2009，40(2):208-214。
[38].李华，张巨萍，叶新铭，吴承勇。TTCN-3测试系统的协议相关部分的分析实现，计算机工程，2009，35(21):253-255。
[39].李华，叶新铭，刘静，刘龙。移动IPv6协议中移动节点的可执行测试序列生成方法研究。计算机科学，2009，36(10):137-140。
[40].武茂春，李华，王龙。一种互操作场景中策略路由的建模与测试。电脑开发与应用，22(8):20-23。
[41].彭永光，李华，叶新铭。基于Petri网程序切片方法的Minix3的分析与测试研究。电脑开发与应用，22(8):1-4。
[42].HuaLi,Xin-mingYe,Cheng-yongWu,LongLiu,Ling-lingWang.ModelingInteractivePropertyofMIPv6withPetriNetforInteroperabilityTesting,ThesecondInternationalConferenceonInformationandComputingScience(ICIC2009),Manchester,England,2009,May.21-22,pp313-316.
[43].LiHua,YeXinming,WuChengyong,HangChengbao,WangLingling.ModelingNondeterministicFeaturewithPetriNetforNetworkProtocolinInteroperabilityTesting,2009WRIWorldCongressonComputerScienceandInformationEngineering(CSIE2009),LosAngeles,California,USA,2009,March.31-April.2,pp825-829.
2008年论文：
[44].李华，叶新铭，吴承勇，王龙。下一代网络协议测试数据半自动生成方法研究，计算机科学，2008,35(12):59-62。
[45].李华，张涛，叶新铭，王龙。BGP4+互操作性测试研究，计算机科学，2008,35(7):29-31。
[46].HuaLi,XingmingYe,MinZeng.DesignandImplementationofaDistributedConformanceTestSystembasedonXML.2008InternationalSymposiumonComputerScienceandComputationalTechnology(ISISE2008),Shanghai,China,2008,Dec.20-22,pp178-182。
[47].HuaLi.ImplementationofProblem-BasedandHybridXLearninginComputerScience.CSSE：InternationalConferenceonInformationTechnologyinEducation.2008,Wuhan,China,2008,Dec.12-14.pp1230-1232.
[48].李华，叶新铭。协议互操作性测试综述。内蒙古大学学报（自然科学版），2008,39(5):590-596。
[49].王佳，李华，叶新铭，杭成宝。基于NTP协议的时间同步服务的测试设计与实现，CTC2008第五届中国测试学术会议。苏州，中国，2008，5月21-24日，pp140-143。
[50].李华，高光来，魏凤歧，周建涛，李德才。循序渐进的双语教学探索与实施。计算机教育，2008，20期，pp135-137。
[51].丁雪莲，李华。边界网关协议BGP4+一致性测试。内蒙古大学学报（自然科学版），2008,39(3):351-356。
[52].郭怡静，叶新铭，李华。OSPFv3协议一致性测试序列的自动生成。内蒙古大学学报（自然科学版），2008,39(4):475-480。
2007年论文：
[53].李华，张涛,叶新铭。基于XML的OSPFv3一致性测试研究。计算机科学，2007,34(4):59-62。
[54].孙涛，李华。TTCN协议测试执行系统驱动器的协议相关性研究。内蒙古大学学报（自然科学版），2007,38(6):88-93。
[55].刘玉林，李华。基于OOPN的面向对象的集成测试方法。内蒙古大学学报（自然科学版），2007,31(1):702-706。
[56].李华，叶新铭。基于Petri网的测试路径选择标准。内蒙古大学学报（自然科学版），2007,38(1):88-93。
[57].李华，吴承勇。基于问题的学习方法在计算机相关课程教学中的运用。高等理科教育，中文核心刊物，2007，1，pp317-319。