赵玉兰 - 内蒙古大学

个人简介

1986年毕业于内蒙古大学电子系计算机专业，留校任教至今，期间获得硕士学位，硕士研究生，副教授，硕导。专门从事计算机网络及应用的研究，发表论文 16篇。主持3项内蒙自然科学基金，1项内蒙古自治区高等学校科学研究项目，参加多项国家级科研项目、省部级科研项目以及横向项目，具有较高学术水平和组织科研攻关的能力。在教学方面，主讲本科生《COBOL》,《图论及其算法》、《组合算法》、《计算机硬件基础知识》、《图论及其算法》、《组合算法》、《C语言》、《PASCAL语言》、《操作系统》、《离散数学》及《算法与数据结构》。有关的主要项目有：（1）内蒙自然科学基金，基于E-LOTOS的IS-IS网络协议的互操作行测试的研究 2010.06~2012.12 项目编号为：2010MS0914 （2）内蒙自然科学基金，协议一致性测试形式描述语言的研究（主持），2001.9~2003.12，20010901-01 (3) 内蒙古自治区高等学校科学研究项目，基于形式描述技术语言E-LOTOS的网络路由协议BGP测试的研究（主持），2006.9~2008.12，NJ05028 （4）内蒙自然科学基金，基于形式描述技术语言E-LOTOS的网络路由协议BGP的动态测试的研究及应用（主持），2006.1～2008.12，200607010804 （5）863项目，高速示范网络路由协议测试（参加），1999.9-2000.6，863-300-02-08-99 （6）内蒙自然科学基金，网络协议的形式描述与测试方法（参加），1999.1-2001.1，990304-1 （7）内蒙古科技厅“十五”攻关，网络系统测试工具软件的研究（参加），2002.1-2003.1，2002061002 （8）内蒙古大学青年科学基金，基于PN的OO软件的测试（参加），2003.1~2004.12，20030801 （9）国家自然科学基金，下一代网络协议的形式验证和测试方法的研究（参加），2003.1~2006.1，60263002 成果名称： [1]“网络系统测试工具软件的研究”在2005年12月已通过科学技术委员会成果鉴定。 [2] 叶新铭，王俊义，石立新，吴承勇，李华，周建涛，赵玉兰，网络系统测试工具软件的研究，获2008年度自治区自然科学技术进步二等奖。 [3] 主编高等院校信息技术规划教材《数据结构与算法》教材，2008,10由清华大学出版社出版。 [4] “离散数学课程建设与教学改革”或高等教育教学成果二等奖（排名第二）。

近期论文

查看导师新发文章（温馨提示：请注意重名现象，建议点开原文通过作者单位确认）

[1] 赵玉兰,曾敏,叶新铭.自动产生TTCN测试套以及对RIP协议的应用，内蒙古大学学报（自然科学版）2004，35(6). [2] 赵玉兰，刘莹泽，萨仁高娃，海春梅.基于TTCN-3的IS-IS协议一致性测试的研究. 计算机科学专刊，2009，36(8)，47~49. [3] ZHAO Yulan, LIU Yingze, HAI Chunmei, SA Rengaowa.Research on the Conformance Testing of the IS-IS Routing Protocol on TTCN-3, 2009 International Conference on Computational Intelligence and Software Engineering (CISE 2009), 被EI收录。 [4] ZHAO Yulan, Liu Bo.TTCN-3 Abstract Test Suite Generator of BGP-4 Protocol, 2009 International Conference on Computational Intelligence and Software Engineering (CISE 2009), 被EI收录。 [5] 赵玉兰. 数据结构课程实验环节教学的改革与实践计算机教育，2010,01，总第109期，70～72. [6] ZHAO Yulan , ZHANG Hongyu. The Design and Implementation of Protocol Test Cases Automatically Generating System Based on TTCN-3 ICFCC 2010,05被EI收录. [7] HAI Chunmei , ZHAO Yulan, SA Rengaowa.The Design and Implementation of Automatically Generating XML Abstract Test Cases System From E-LOTOS，iTAP 2010,08，被EI收录. [8] SA Rengaowa , ZHAO Yulan, HAI Chunmei .Research on the LDP Protocol Verification Based on Coloured Petri Nets，iTAP 2010,08，被EI收录. [9] ZHAO Yulan, LIU Yingze, GUO Xiaoqing, ZHANG Chenguang. Conformance Testing for IS-IS Protocol Based on E-LOTOS, ICITIS 2010,12，被EI收录. [10] HAI Chunmei , ZHAO Yulan .The Formal Description of the Protocol and the Design and Implementation of Automatically Generating Protocol Test Suite，CiSE 2010,12，被EI收录. [11] SA Rengaowa，ZHAO Yulan，JIA Yazhe，GUO Xiaoqing，ZHANG Chenguang. The LDP protocol description and verification based on CPN model, 2011 International Conference on Information and Industrial Electronics ICIIE 2011,01, 被EI收录. [12] Chenguang Zhang, Yulan Zhao, Fengxian Jiang, Chao Ji.The Research and Application of Short Message Name and Address System. ACAM2011,06, 被EI收录. [13] Guo Xiaoqing, Zhao Yulan, Ji Chao, Jiang Fengxian and Feng Lele.THE DESIGN AND IMPLEMENTATION OF A EDITOR THAT SUPPORTS SYNTAX HIGHLIGHTING OF E-LOTOS. 被EI收录. ACAM2011,06, 被EI收录.