马元飞 作品数:11 被引量:6 H指数:2 供职机构: 内蒙古大学 更多>> 发文基金: 内蒙古自治区自然科学基金 国家教育部博士点基金 国家自然科学基金 更多>> 相关领域: 自动化与计算机技术 更多>>
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竞赛培训和教学提供了一种有效管理途径。 王顺利 刘宝娥 马元飞关键词:ACM ICPC WEB开发 数据库技术 一种新的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网语义的转换、扩充及其在具体运用中的语义。 马元飞关键词:PETRI NET 语义 FTP条件下CSMA/CD协议信道访问公平性研究 被引量:2 2013年 在共享式局域网环境下,信道的惟一性与主机接入的随机性构成了一对矛盾,这必然导致从不同主机发送的数据帧在共享信道上发生碰撞,为了降低碰撞所引发冲突的机率,数据链路层采用了CSMA/CD协议,但是该协议能否保证信道分配的公平性是一个鲜有研究的课题。文章结合应用层FTP协议,在NS2仿真环境下搭建实验拓扑并仿真模拟,通过性能分析,证明CSMA/CD可以有效保障信道访问公平性并维持FTP性能。 马元飞 王顺利关键词:CSMA CD FTP NS2 一种样本数据集的预测方法及混合预测模型 本发明提供了一种样本数据集的预测方法及混合预测模型,其中样本数据集的预测方法包括以下步骤:加载获取样本数据集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 死锁分析