程鹏
- 作品数：17 被引量：14H指数：3
- 供职机构：西南交通大学更多>>
- 发文基金：中央高校基本科研业务费专项资金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术交通运输工程电子电信建筑科学更多>>
- NGN多层三维立体QoS指标体系的研究
- 2008年
- 本文分析了当前NGN QoS指标体系研究中的一些不足,针对NGN的业务和网络特点,提出了一种多维、多层的立体QoS指标体系架构,并对每维、每层的功能、参数定义和指标分配进行了深入的探讨。最后,提出了各层指标描叙之间的参数映射的思想及一些初步的方法。
- 程鹏赵其刚钱硕王舜
- 关键词：下一代网络服务质量指标体系映射
- 新纪网QoS指标体系研究及网络仿真分析
- 本硕士论文紧密结合中国联通的NGN试验网一新纪网的实际网络结构、运行业务、服务质量现状，在对现网进行深入调研、分析的基础上，结合目前国际国内主流QoS指标体系研究的现状，提出了一套适合新纪网QoS的指标运营和评估体系。并...
- 程鹏
- 关键词：多协议标签交换服务质量下一代网络网络仿真
- 文献传递
- 基于B方法的安全苛求数据及功能场景的形式化验证研究
- 安全苛求控制系统是一类对可靠性和安全性要求极高的系统，其正常运行依赖于正确的功能控制逻辑和配置数据。这样的配置数据称为安全苛求数据，这样的功能控制逻辑包含各个安全苛求功能场景。因而使用有效的方法保证安全苛求数据及功能场景...
- 程鹏
- 关键词：形式化方法
- 文献传递
- 基于OMA标准的FOTA技术研究被引量：3
- 2006年
- 本文介绍了近年来出现的以FOTA(固件更新)技术为代表的MDM(移动设备管理)发展现状,主要研究了基于OMA(开放移动联盟)标准的FOTA技术框架和一些关键技术特征,最后对FOTA在中国移动市场所面临的问题进行了分析。
- 王舜程鹏钱硕
- 关键词：开放移动联盟
- 一种基于TDSC的分组网络QoS体系结构研究
- 本文从简化未来网络综合业务应用端到端QoS（Quality of Service）控制的角度,介绍了一种基于三维空间特征参数的QoS参考模型、提出了基于三维空间特征参数TDSC（Three-Dimensional Spa...
- 钱硕王舜程鹏黄言态
- 关键词：服务质量端到端QOS控制
- 文献传递
- 一种基于TDSC的分组网络QoS体系结构研究
- 本文从简化未来网络综合业务应用端到端QoS(Quality of Service)控制的角度,介绍了一种基于三维空间特征参数的QoS参考模型、提出了基于三维空间特征参数TDSC(Three-Dimensional Spa...
- 钱硕王舜程鹏黄言态
- 关键词：QOS
- 文献传递
- 研究生嵌入式系统实验课程改革被引量：1
- 2021年
- 研究生阶段的嵌入式系统实验课程,要为多个专业的学生服务,通常包括计算机、物联网、通信工程、自动化、网络、软件工程等专业。目前使用的实验箱存在实验项目单一、结构不灵活、维护困难、学时不足、成本偏高、学生收获有限等问题,需要对其进行改革。针对这些问题,设计了基于树莓派的嵌入式实验开发平台,具有结构灵活、内容丰富、覆盖面广、维护简单、成本低廉等特点,经实际使用,发现该实验平台能够显著提高学生对嵌入式课程的兴趣,帮助他们快速掌握嵌入式开发的技巧,并能够结合自身专业特点进行实验创新。
- 程鹏徐图张翠芳
- 关键词：嵌入式系统实验教学
- 双块式无砟轨道支承层机械抬升及注浆加固快速修复方法
- 本发明公开了一种双块式无砟轨道支承层机械抬升及注浆加固快速修复方法，从上至下包括道床板、支承层和级配碎石层，所述方法主要包括前期准备、机械抬升、注浆加固、后期监测四个步骤。首先利用全站仪和电子水准仪确定目标抬升板的抬升高...
- 董敏琪苏谦黄志超程鹏王迅
- 文献传递
- 基于改进CORDIC算法的虚拟频谱分析仪设计与实现
- 随着5G和物联网的快速发展，各种无线设备的应用空前广泛，现场调试检修的情况变得越来越普遍，传统频谱分析仪受限于体积、价格和使用条件的限制，无法适应当前的需求，而手持式频谱分析仪又限于体积成本等因素无法扩展功能，为了解决这...
- 程鹏
- 关键词：CORDIC算法虚拟频谱分析仪
- 文献传递
- 基于B方法的轨道交通控制系统配置数据的形式化验证
- 2022年
- 轨道交通控制系统对安全性和可靠性要求极高,其正常运行依赖于正确的配置数据,因而采用有效的方法保证配置数据的正确性显得十分重要。以轨道交通控制系统的配置数据为研究对象,选取道岔、信号机、轨道区段、进路等站场型信号设备数据为研究案例,基于各个配置数据的站场型数据结构,先用自然语言描述各个配置数据和配置数据需要满足的静态规则,再使用B语言形式规约各个配置数据及其所需要满足的静态规则,建立静态形式化模型,最后使用ProB模型检验工具,验证分析已生成的各个配置数据是否满足静态规则。验证结果表明,使用B方法对轨道交通控制系统配置数据进行形式化验证,有效提高配置数据正确性,进而为轨道交通控制系统的正常运行提供可靠保障。
- 程鹏王恪铭王峥姚文华韩程
- 关键词：配置数据B方法形式化验证
