• 个人主页: 点击访问
  • 所属院系:计算机学院(软件学院)
年份: ~

全部成果分类

显示更多
导出
  • 排序
  • 显示
1. The ldp protocol formal description and verification based on cpn model SCOPUS EI 期刊论文 会议论文 认领

作者:Sa R.;Xilin B.;Zhao Y.;Menke N.

作者全称:Sa, Rengaowa;Xilin, Baolier;Zhao, Yulan;Menke, Neimule

作者机构:[Sa, Rengaowa ] Computer and Information Engineering College, Inner Mongolia Normal University, Hohhot, China;[Zhao, Yulan ] College of Computer Scien 更多

第一作者:Sa, Rengaowa

通讯作者:Sa, Rengaowa(ciecsrgw@163.com)

通讯作者地址:Sa, R.; Computer and Information Engineering College, Inner Mongolia Normal UniversityChina; 电子邮件: ciecsrgw@163.com

来源:Lecture Notes in Electrical Engineering,2015,Vol.355

教育部学科:轻工技术与工程,冶金工程

摘要:In order to verify the correctness of the label distribution protocol LDP, a function verification model has been constructed for the protocol-integra 更多

2. The Research and Application of Short Message Name and Address System EI SCOPUS CPCI-S 期刊论文 会议论文 认领

作者:Zhang, CG;Zhao, YL;Jiang, FX;Ji, C

作者全称:Zhang, Chenguang;Zhao, Yulan;Jiang, Fengxian;Ji, Chao

作者机构:[Zhang, Chenguang; Zhao, Yulan; Jiang, Fengxian; Ji, Chao] Inner Mongolia Univ, Sch Comp Sci, Hohhot 010021, Peoples R China.

第一作者:Zhang, Chenguang

通讯作者:Zhang, C.(kongzichuyou@163.com)

通讯作者地址:Zhang, CG (reprint author), Inner Mongolia Univ, Sch Comp Sci, Hohhot 010021, Peoples R China.

来源:ADVANCED RESEARCH ON AUTOMATION, COMMUNICATION, ARCHITECTONICS AND/ MATERIALS, PTS 1 AND 2,2011,Vol.225-226,Issue.1-2

基金:International Science and Education Researcher Association (ISER);Yellow River Conservancy Technical Institute;Beijing Gireida Education Co.Ltd.;Beijing Gireida Education Research Center

关键词:short message name and address system; standard; J2ME; client-side; functions and structural model; polish

摘要:With the rapid development of mobile communication technology, the short message name and address system [1] has been developed swiftly nowadays. We m 更多

3. THE DESIGN AND IMPLEMENTATION OF A EDITOR THAT SUPPORTS SYNTAX HIGHLIGHTING OF E-LOTOS SCOPUS CPCI-S 期刊论文 会议论文 认领

作者:Guo, XQ;Zhao, YL;Ji, C;Jiang, FX;Feng, LL

作者全称:Guo, XiaoQing;Zhao, YuLan;Ji, Chao;Jiang, FengXian;Feng, LeLe

作者机构:[Guo, XiaoQing; Zhao, YuLan; Ji, Chao; Jiang, FengXian] Neimongol Univ, Coll Comp Sci, Hohhot, Peoples R China.; [Feng, LeLe] China Shenhu Energy co 更多

第一作者:Guo, XiaoQing

通讯作者:Guo, XQ

通讯作者地址:Guo, XQ (reprint author), Neimongol Univ, Coll Comp Sci, Hohhot, Peoples R China.

来源:ADVANCED RESEARCH ON AUTOMATION, COMMUNICATION, ARCHITECTONICS AND/ MATERIALS, PTS 1 AND 2,2011,Vol.225-226,Issue.1-2

基金:International Science and Education Researcher Association (ISER);Yellow River Conservancy Technical Institute;Beijing Gireida Education Co.Ltd.;Beijing Gireida Education Research Center

关键词:Editor; Syntax Highlighting; E-LOTOS

摘要:Formal methods (FM) are mathematically based techniques that provide a rigorous basis for software development: the application of FMs makes it possib 更多

4. An automatic translation from textual E-LOTOS into graphic E-LOTOS SCOPUS EI 期刊论文 会议论文 认领

作者:Zhao Y.;Ye X.;Jia B.

作者全称:Zhao, Yulan;Ye, Xinming;Jia, Bin

作者机构:[Zhao, Yulan ;Ye, Xinming ] College of Computer Science, Inner Mongolia University, Hohhot, China;[Jia, Bin ] Forge Factory, Inner Mongolia Autonomous 更多

第一作者:Zhao, Yulan

来源:International Conference on Communication Technology Proceedings, ICCT,2000,Vol.2

基金:China Institute of Communications;Chinese Institute of Electronics

教育部学科:信息与通信工程

摘要:E-LOTOS is an enhancement to standard LOTOS. The paper first presents a graphical version, called GE-LOTOS, of E-LOTOS. GE-LOTOS specifies a distribut 更多

5. An automatic translation front textual E-LOTOS into graphic E-LOTOS CPCI-S 会议论文 认领

作者:Zhao, YL;Ye, XM;Jia, B

作者全称:Zhao, YL;Ye, XM;Jia, B

作者机构:[Zhao, YL; Ye, XM; Jia, B]Inner Mongolia Univ, Coll Comp Sci, Hohhot 010021, Peoples R China.

第一作者:Zhao, YL

通讯作者:Zhao, YL

通讯作者地址:Zhao, YL (reprint author), Inner Mongolia Univ, Coll Comp Sci, Hohhot 010021, Peoples R China.

会议名称:16th World Computer Congress (WCC 2000)

会议日期:AUG 21-25, 2000

来源:2000 INTERNATIONAL CONFERENCE ON COMMUNICATION TECHNOLOGY PROCEEDINGS,/ VOLS. I & II,2000

关键词:GE-LOTOS; formal description technology(FDT); router information; protocol

摘要:E-LOTOS is an enhancement to standard LOTOS. The paper first presents a graphical version, called GE-LOTOS, of E-LOTOS. GELOTOS specifies a distribute 更多

6. Research L2TPv3 protocol conformance testing base on CPN model and XML CPCI-S 会议论文 认领

作者:Zhao, YL;Ji, C;Liu, JL;Zhu, KJ

作者全称:Zhao Yu-Lan;Ji Chao;Liu Jian-Long;Zhu Kai-Jian

作者机构:[Zhao Yu-Lan; Ji Chao; Liu Jian-Long; Zhu Kai-Jian] Inner Mongolia Univ, Comp Sci, Hohhot, Peoples R China.

第一作者:Zhao Yu-Lan

通讯作者:Zhao, YL

通讯作者地址:Zhao, YL (reprint author), Inner Mongolia Univ, Comp Sci, Hohhot, Peoples R China.

会议名称:International Conference on Biotechnology, Agriculture, Environment and; Energy (ICBAEE)

会议日期:MAY 22-23, 2014

来源:BIOTECHNOLOGY, AGRICULTURE, ENVIRONMENT AND ENERGY,2015

关键词:L2TPv3; conformance testing; CPN; test sequence

摘要:With the rapid development and wide application of computer network technology, data forwarding is becoming more and more important. As layer 2 VPN so 更多

7. 一种基于UML的面向对象需求分析方法 CSCD 期刊论文 认领

作者:刘玉林;赵玉兰

外文作者:Liu Yulin;Zhao Yulan

第一作者:刘玉林

作者机构:[刘玉林]内蒙古大学计算机学院, 呼和浩特, 内蒙古 010021, 内蒙古.;[赵玉兰]内蒙古大学计算机学院, 呼和浩特, 内蒙古 010021, 内蒙古.;[刘玉林;赵玉兰]内蒙古大学 更多

来源:内蒙古大学学报. 自然科学版,2005,Vol.36,Issue.4

基金:内蒙古大学青年科学基金资助项目;内蒙古大学校科研和教改项目

知网综合影响因子:0.302

知网复合影响因子:0.478

关键词:需求分析; 静态模型; 动态模型;UML;需求分析;静态模型;动态模型;

摘要:在软件开发的过程中,用户需求的准确获取对于软件的成败是非常重要的,然而在以往的开发过程中,常常忽略或简化需求分析的过程,导致软件项目的失败.给出; 一种利用 更多

8. 一种基于UML和CP-net集成描述的面向对象软件的交互测试方法 CSCD 期刊论文 认领

作者:刘玉林;赵玉兰;叶新铭

外文作者:Liu Yulin;Zhao Yulan;Ye Xinming

第一作者:刘玉林

作者机构:[刘玉林]内蒙古大学计算机学院, 呼和浩特, 内蒙古 010021, 中国.;[赵玉兰]内蒙古大学计算机学院, 呼和浩特, 内蒙古 010021, 中国.;[叶新铭]内蒙古大学计算机学院 更多

来源:内蒙古大学学报. 自然科学版,2004,Vol.35,Issue.4

基金:内蒙古大学青年科学基金资助项目;内蒙古大学校科研和教改项目

知网综合影响因子:0.302

知网复合影响因子:0.478

关键词:面向对象; 交互测试;UML;CP-net;面向对象;交互测试;

摘要:面向对象技术在软件工程中的推广使用,使得传统的测试技术和方法受到了极大的冲击.对面向对象技术所引入的消息传递、数据抽象、封装、继承、多态等新特点; ,传 更多

9. 自动产生TTCN测试套以及对RIP协议的应用 CSCD 期刊论文 认领

作者:赵玉兰;曾敏;叶新铭

外文作者:Zhao Yulan;Zeng Min;Ye Xinming

第一作者:赵玉兰

作者机构:[赵玉兰]内蒙古大学计算机学院, 呼和浩特, 内蒙古 010021, 中国.;[曾敏]内蒙古大学计算机学院, 呼和浩特, 内蒙古 010021, 中国.;[叶新铭]内蒙古大学计算机学院, 更多

来源:内蒙古大学学报. 自然科学版,2004,Vol.35,Issue.6

基金:国家自然科学基金项目; 内蒙古自然科学基金资助课题;国家自然科学基金,内蒙古自然科学基金

知网综合影响因子:0.302

知网复合影响因子:0.478

关键词:RIP协议;RIP协议;E-LOTOS;GE-LOTOS;TTCN;

摘要:对协议测试套的产生大部分都是手工寻找的,介绍一个在GE-LOTOS的基础上自动产生TTCN测试套的工具,该工具是基于由形式描述技术语言E-LOT; OS转换成的GE-LOTOS.并 更多

10. 求二元关系传递闭包的新方法 CSCD 期刊论文 认领

作者:赵玉兰;车淑兰

外文作者:赵玉兰;车淑兰;ZHAO Yu-lan;CHE Shu-lan

第一作者:赵玉兰

作者机构:[赵玉兰]内蒙古大学计算机学院, 呼和浩特, 内蒙古 010021, 内蒙古.;[车淑兰]内蒙古大学计算机学院, 呼和浩特, 内蒙古 010021, 内蒙古.;[赵玉兰;车淑兰]内蒙古大学 更多

来源:内蒙古大学学报(自然科学版),2000,Vol.31,Issue.5

知网综合影响因子:0.302

知网复合影响因子:0.478

关键词:关系; 传递闭包; 时间复杂度

摘要:二元关系的闭包运算在网络、语法分析以及开关电路中的故障检测和诊断等领域有着重要的作用.通过求二元关系各幂的并获得关系闭包方法后来被认为是十分困难的和甚为 更多

11. 基于着色Petri网的IS-IS路由协议互操作性测试的研究 CSCD 北大核心刊 期刊论文 认领

作者:赵玉兰;冀超;蒋凤仙;朱洋洋;雷厉霆;张志斌

外文作者:Zhao Yulan;Ji Chao;Jiang Fengxian;Zhu Yangyang;Lei Liting;Zhang Zhibin;ZHAO Yu-lan;JI Chao;JIANG Feng-xian;ZHU Yang-yang;LEI Li-ting;ZHANG Zhi-bin;Department of Computer Science,Inner Mongolia University;

第一作者:赵玉兰

作者机构:[赵玉兰;冀超;蒋凤仙;朱洋洋;雷厉霆;张志斌]内蒙古大学计算机学院,内蒙古呼和浩特

来源:计算机工程与科学,2013,Vol.35,Issue.12

基金:国家自然科学基金资助项目(31360289,31160253)

知网综合影响因子:0.531

知网复合影响因子:0.852

关键词:IS-IS协议;互操作性测试;着色Petri网;CPN;Tools;GNS3模拟器

摘要:网络已经成为我们生活当中不可或缺的一部分,高效稳定的路由协议变得日益重要.对主流内部网关协议IS-IS进行了互操作性测试的研究.首先对IS-IS协议建立了分层的互操 更多

12. 内蒙古工行代理财政国库支付系统的设计及实现 CSCD 期刊论文 认领

作者:段晓萍;赵玉兰

外文作者:DUAN Xiao-ping;ZHAO Yu-lan;DUAN Xiao-ping[1];ZHAO Yu-lan[2]

第一作者:段晓萍

作者机构:[段晓萍]中国工商银行内蒙古分行机构业务部, 呼和浩特, 内蒙古 010050, 内蒙古.;[赵玉兰]内蒙古大学计算机学院, 呼和浩特, 内蒙古 010021, 内蒙古.;[段晓萍]中国 更多

来源:内蒙古大学学报. 自然科学版,2009,Vol.40,Issue.3

知网综合影响因子:0.302

知网复合影响因子:0.478

关键词:代理银行; 财政国库集中支付业务系统; Informix数据库

摘要:为了规范财政收支管理,提高财政资金使用效益,作为代理银行的内蒙古工行设计并开发了"内蒙古工行代理财政国库集中支付业务系统".该系统以数据为核心,; 以JAVA为 更多

13. “数据结构”课程实验环节教学的改革与实践 期刊论文 认领

作者:赵玉兰

外文作者:ZHAO Yu-lan

第一作者:赵玉兰

作者机构:[赵玉兰]内蒙古大学计算机学院,内蒙古呼和浩特

来源:计算机教育,2010,Issue.1

知网综合影响因子:0.487

知网复合影响因子:0.557

关键词:数据结构;实验环节教学;改革;实践

摘要:“数据结构”是计算机专业的一门核心课程,在计算机专业中起着承上启下的作用。本文作者总结多年的教学经验,就这门课实验环节的教学改革与实践进行了分析研究, 更多

14. IS-IS路由协议互操作性测试的研究 期刊论文 认领 增刊

作者:赵玉兰;张弘宇;冀超;雷厉霆;朱洋洋;蒋凤仙

外文作者:ZHAO Yu-lan ZHANG Hong-yu JI Chao LEI Li-ting ZHU Yang-yang JIANG Feng-xian(School of Computer Science,Inner Mongolia University,Hohhot 010021,China)

第一作者:赵玉兰

作者机构:[赵玉兰;张弘宇;冀超;雷厉霆;朱洋洋;蒋凤仙]内蒙古大学计算机学院,呼和浩特

来源:计算机科学,2012,Issue.B06;S1

基金:内蒙古自然科学基金(2010MS0914)资助

知网综合影响因子:0.669

知网复合影响因子:1.087

关键词:IS-IS协议;互操作性测试;Petri网;GNS3模拟器

摘要:网络已经成为人们生活中不可或缺的一部分,高效稳定的路由协议变得日益重要。IS-IS路由协议是一种主流的内部网关协议,在一些大型网络当中得到了越来越多的应用。对 更多

15. 关于路由协议的一致性测试的一种形式方法 CSCD 期刊论文 认领

作者:赵玉兰;刘咏梅;何立强;孟光萌;叶新铭

外文作者:ZHAO Yu-lan;LIU Yong-mei;HE Li-qiang;MENG Guang-meng;YE Xin-ming

第一作者:赵玉兰

作者机构:[赵玉兰;刘咏梅;何立强;孟光萌;叶新铭]内蒙古大学计算机学院,内蒙古,呼和浩特

来源:内蒙古大学学报(自然科学版),2000,Vol.31,Issue.6

基金:国家科技攻关项目

知网综合影响因子:0.302

知网复合影响因子:0.478

关键词:RIP协议;一致性测试;E-LOTOS;GE-LOTOS;TTCN;

摘要:为了一致性测试Internet网上的一个标准路由信息协议(RIP协议),利用形式描述技术语言E-LOTOS对其进行了描述,然后把文本描述的E-LOTOS转换为GE-LOTOS.并在此上产生 更多

16. 一种有效的形式描述技术:GE-LOTOS CSCD 期刊论文 认领

作者:赵玉兰;叶新铭;贾斌

外文作者:ZHAO Yu-lan[1];YE Xin-ming[1];JIA Bin[2]

第一作者:赵玉兰

作者机构:[赵玉兰;叶新铭]内蒙古大学计算机学院,内蒙古,呼和浩特,;[贾斌]内蒙古铸锻厂,内蒙古,呼和浩特

来源:内蒙古大学学报(自然科学版),2000,Vol.31,Issue.3

基金:中国科学院资助项目

知网综合影响因子:0.302

知网复合影响因子:0.478

关键词:协议一致性测试;GE-LOTOS;形式描述技术;路由协议测试;

摘要:利用面向对象程序设计语言Java完善从文体LOTOS到GE-LOTOS的工具软件,使得以抽象层形式体现出来的GE-LOTOS的某一子过程或所有子过程动态展开.而且为了方便用户,满 更多

17. 非确定性系统的动态测试过程 CSCD 期刊论文 认领

作者:刘咏梅;叶新铭;周建涛;赵玉兰

外文作者:LIU Yong mei,YE Xin ming,ZHOU Jian tao,ZHAO Yu lan (College of Computer Science,NeiMongol University,Hohhot,010021,PRC)

第一作者:刘咏梅

作者机构:[刘咏梅;叶新铭;周建涛;赵玉兰]内蒙古大学计算机学院

来源:内蒙古大学学报(自然科学版),1999,Vol.30,Issue.2

基金:国家自然科学基金

知网综合影响因子:0.302

知网复合影响因子:0.478

关键词:相容性测试;带标记转换系统;非确定性;测试序列树;测试路径选择;

摘要:针对非确定性系统,提出一种新的相容性测试方法.即扩展〔1〕中所提出的对确定的有限状态机进行动态测试的方法,使之可应用于非确定的带标记转换系统.与以往方 更多

18. 从E-LOTOS到图形E-LOTOS的一个编辑和自动转换的编译软件 CSCD 期刊论文 认领

作者:赵玉兰;叶新铭

外文作者:ZHAO Yu lan ,YE Xin ming (Department of Computer Science,NeiMongol University,Hohhot 010021,PRC)

第一作者:赵玉兰

作者机构:[赵玉兰;叶新铭]内蒙古大学计算机学院!内蒙古呼和浩特010021

来源:内蒙古大学学报(自然科学版),1999,Vol.30,Issue.6

基金:国家自然科学基金

CSCD被引频次:2

知网综合影响因子:0.302

知网复合影响因子:0.478

关键词:协议一致性测试;E-LOTOS;LOTOS;形式描述技术;

摘要:E-LOTOS是形式描述技术LOTOS的增强版.本文首先提出了一种E-LOTOS的图形表示方法,称为图形E-LOTOS(即GE-LOTOS).然后利用 更多

19. 与时间相关系统的Petri网模型 CSCD 期刊论文 认领

作者:李华;赵玉兰;周雅丽

外文作者:LI Hua+1, ZHAO Yu lan+1, ZHOU Ya|li+2 (1.College of Computer Science, NeiMongol University, Hohhot 010021,PRC;2.Advanced Profession School of Penglai,Penglai 265600,PRC)

第一作者:李华

作者机构:[李华]内蒙古大学计算机学院!内蒙古呼和浩特010021,山东省蓬莱市高级职业学校!山东蓬莱265600;[赵玉兰]内蒙古大学计算机学院!内蒙古呼和浩特010021,山东省蓬莱市 更多

来源:内蒙古大学学报(自然科学版),2000,Vol.31,Issue.1

基金:国家自然科学基金!(69363001)

知网综合影响因子:0.302

知网复合影响因子:0.478

关键词:Petri网;实时系统;多媒体系统;时间Petri网;时控Petri网;

摘要:首先简介一般加时间Petri网模型及其使能规则和点火规则,然后给出几种典型的加时间的Petri网模型及其动态行为及点火规则,其中,通讯时间Petri网 更多

20. 基于CPN的IS-IS路由协议互操作性测试的研究 学位论文 认领

作者:张弘宇

学位授予单位:内蒙古大学

导师:赵玉兰

学位名称:硕士

论文提交日期:2011

学位论文类别:硕士学位论文

更新时间:Mar 28, 2019

共 4 页, 63 条记录

TOP