您的位置: 专家智库 > >

马元飞

作品数:11 被引量:6H指数:2
供职机构:内蒙古大学更多>>
发文基金:内蒙古自治区自然科学基金国家教育部博士点基金国家自然科学基金更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 9篇期刊文章
  • 1篇学位论文
  • 1篇专利

领域

  • 11篇自动化与计算...

主题

  • 4篇NS2
  • 3篇PETRI网
  • 2篇着色PETR...
  • 2篇网络
  • 2篇基于NS2
  • 2篇SIP
  • 1篇形式化
  • 1篇形式化验证
  • 1篇性能分析
  • 1篇虚拟化
  • 1篇虚拟环境
  • 1篇训练集
  • 1篇样本数据
  • 1篇拥塞
  • 1篇拥塞控制
  • 1篇语义
  • 1篇正则
  • 1篇正则表达式
  • 1篇数据集
  • 1篇数据库

机构

  • 8篇集宁师范学院
  • 5篇内蒙古大学

作者

  • 11篇马元飞
  • 5篇王顺利
  • 2篇马燕林
  • 2篇刘靖
  • 1篇叶新铭
  • 1篇张培方
  • 1篇于艳东

传媒

  • 2篇计算机时代
  • 2篇计算机与现代...
  • 1篇计算机科学
  • 1篇软件导刊
  • 1篇电脑与电信
  • 1篇中国管理信息...
  • 1篇集宁师范学院...

年份

  • 1篇2021
  • 2篇2014
  • 6篇2013
  • 2篇2012
11 条 记 录,以下是 1-10
排序方式:
NS2条件网络性能分析实践被引量:2
2013年
通过对网络性能进行分析,可以有效整合、充分利用现有的网络资源,完善网络结构,使现有网络达到最高效能。NS2作为流行的网络仿真工具,具有仿真结果真实、构件丰富、可扩展性强等特点,但是其中并未集成性能分析工具,无法对网络的关键性能指标进行测量分析。本文通过编写性能分析脚本对NS2仿真结果进行处理,最终以直观的方式展现了仿真过程中网络性能的变化趋势,为进一步的研究提供了基础。
马元飞
关键词:性能分析网络NS2
ACM/ICPC培训管理系统的设计与实现被引量:1
2014年
鉴于ACM国际大学生程序设计竞赛(ACM/ICPC)在人才选拔和培养方面的显著作用,如何将ACM/ICPC竞赛活动嵌入常规教学,创新教学模式,结合专业教学,加强训练管理,提高培训效益,已成为人们关注的热点问题。针对这一应用需求,本文设计并开发了基于ACM/ICPC机制的大学生程序设计培训管理系统。系统采用B/S架构,以SQL Server 2005作为后台管理数据库,Visual Studio和ASP.NET为前端开发工具。在分析系统功能的基础上,着重阐述了该系统设计与实现的关键技术。该系统实际运行稳定、可靠,为开展ACM/ICPC竞赛培训和教学提供了一种有效管理途径。
王顺利刘宝娥马元飞
关键词:ACMICPCWEB开发数据库技术
一种新的BT协议激励机制
2013年
BT系统的健壮性与稳定性受到参与节点合作程度的影响,然而大多数参与者的行为是自私的,常以最大化下载量和最小化上传量的方式进行下载,这种"搭便车"行为对BT系统的负载均衡及整体性能会产生严重的影响。本文从BT协议激励机制角度出发,提出一种新的激励算法,并将它集成到BT协议的CPN模型中,通过CPN TOOLS仿真模拟和验证分析说明该算法可以有效抑制搭便车行为,提升BT系统性能。
马元飞王顺利马燕林
关键词:BT协议激励机制CPN搭便车
基于时间着色Petri网的SIP协议形式化验证与分析
随着云计算和物联网技术的兴起,联网设备逐渐向移动化、小型化、功能集成化发展,会话初始化协议/(Session Initiation Protocol, SIP/)协议以其无缝、灵活、可扩展的特性顺应了技术发展的要求,在许...
马元飞
关键词:SIP正则表达式
文献传递
虚拟环境下网络实验平台搭建方法实例研究
2013年
高校中传统的网络实验课堂,受场地、设备成本、课时长度的限制,很多实验流于形式或根本无法开展,严重影响学生对于网络基本原理的理解与实际操作能力的锻炼。本文通过基于GNS3虚拟条件下的网络负载均衡实验平台搭建与实例配置,详细描述虚拟环境下网络实验如何开展,以解决传统网络实验课堂面临的问题。
马元飞马燕林
关键词:网络实验GNS3虚拟化负载均衡
基于NS2的TCP拥塞控制原理演示平台搭建实例研究
2013年
高校传统的计算机网络课堂以理论讲授和做题实践为主要教学手段,该方法缺少形象直观的实例场景再现和动态的仿真模拟,以及详实的数据分析,对于一些较复杂的网络运行原理机制,该方法弊端尤为突出,严重影响了教学效果。以TCP拥塞控制原理中的慢启动算法为例,全过程详细描述NS2环境下的演示教学平台搭建方法。实践证明,该方法可以在有效解决上述问题的同时激发学生对网络课程的学习兴趣,在课堂教学中取得了良好的效果。
马元飞王顺利张培方于艳东
关键词:TCP拥塞控制慢启动算法NS2
Petri网语义研究综述被引量:1
2012年
Petri网作为一种有完备自动化理论的形式描述语言,既有严格的数学表述方式,也有直观的图形表达方式。在科学研究与实践工程中得到了广泛运用。Petri网自身也在不断的变化发展之中,在基本Petri网的基础上,添加了很多新的语法特性,增强了Petri网的描述能力。新特性的加入在丰富了语义概念的同时,也带来了兼容性、完备性、一致性的问题,所以有必要对Petri网语义方面的研究做一个梳理,为今后研究角度的选取与内容的甄别做前期铺垫。本文综述了Petri网语义方面的研究现状,主要集中在Petri网语义的转换、扩充及其在具体运用中的语义。
马元飞
关键词:PETRINET语义
FTP条件下CSMA/CD协议信道访问公平性研究被引量:2
2013年
在共享式局域网环境下,信道的惟一性与主机接入的随机性构成了一对矛盾,这必然导致从不同主机发送的数据帧在共享信道上发生碰撞,为了降低碰撞所引发冲突的机率,数据链路层采用了CSMA/CD协议,但是该协议能否保证信道分配的公平性是一个鲜有研究的课题。文章结合应用层FTP协议,在NS2仿真环境下搭建实验拓扑并仿真模拟,通过性能分析,证明CSMA/CD可以有效保障信道访问公平性并维持FTP性能。
马元飞王顺利
关键词:CSMACDFTPNS2
一种样本数据集的预测方法及混合预测模型
本发明提供了一种样本数据集的预测方法及混合预测模型,其中样本数据集的预测方法包括以下步骤:加载获取样本数据集data,对样本数据集data预处理后得到训练集train及测试集test,将训练集train进行处理后定义为数...
刘靖孙赫董建敏马元飞
文献传递
基于时间着色Petri网的SIP协议验证与分析
2014年
随着SIP(Session Initiation Protocol)被3G通信选择为下一代移动网络的会话控制机制,保证SIP协议设计和实现无缺陷、运行稳定可靠成为SIP协议应用过程中亟需研究和解决的关键问题。充分利用时间着色Petri网(Timed Colored Petri Nets,TCPN)在描述和分析具有复杂交互行为及时间约束的系统方面的优势,给出了SIP协议的层次TCPN模型,并集成多种模型分析技术,完成SIP协议设计的正确性验证;同时通过正则表达式完成协议模型的生成路径分析,指出其中存在的死锁状态并分析原因。提出了相应的协议设计改进方案,验证了设计方案的正确性,从而有效增强了SIP协议在实际应用中的可行性和可靠性。
刘靖叶新铭马元飞
关键词:SIP死锁分析
共2页<12>
聚类工具0