徐鹏 作品数:98 被引量:463 H指数:10 供职机构: 西南交通大学数学学院 更多>> 发文基金: 国家自然科学基金 重庆市教育委员会科学技术研究项目 中央高校基本科研业务费专项资金 更多>> 相关领域: 交通运输工程 电子电信 自动化与计算机技术 电气工程 更多>>
基于符号模型检测的Web服务组合形式化验证 被引量:1 2021年 随着经济的发展和市场竞争的加剧,企业必须能够快速且准确地满足市场和用户的各种需求。Web服务组合正是由于单个Web服务不能满足企业及用户的需求而产生的一种技术,而如何确保组合的正确性来实现服务增值是一个尚未完全解决的问题。针对此问题,提出了一种基于符号模型检测器NuSMV对Web服务组合进行验证的方法,并提出了基于消息会话的Web服务有限状态自动机的形式化定义。最后实例验证了Web服务组合交互的正确性和有无死锁状态现象,进一步证明了方法的可行性。 张世杰 徐鹏 刘沛瑶关键词:WEB服务组合 符号模型检测 有限状态自动机 形式化定义 NUSMV 基于多种方位角计算方法的超短波AOA定位比较 被引量:4 2021年 考虑到方位角计算是AOA(angle of arrival)定位的基础之一,首先,提出了以大地坐标计算方位角的球面近似法和正轴圆柱投影-平面法;进而,建立了球面精确AOA定位方程、球面近似AOA定位方程和正轴圆柱投影-平面AOA定位方程;最后,采用无约束非线性规划方法建立了基于大地坐标的分别与上述方程相对应的3个最优化AOA定位模型,并以网格逐点搜索求解法进行了模型验证.验证结果的分析表明:在不考虑测向误差时,球面精确AOA定位模型的精度最高,且与纬度无关,但其定位运算时间最长;球面近似AOA定位模型和正轴圆柱投影-平面AOA定位模型的精度均较高,后者的定位误差略大于前者,定位运算时间也长于前者;要提高AOA定位网的定位精度,既可提高各站点的测向精度,也可增加测向站点数,并应综合考虑定位时效性要求和精度要求选择合适的AOA定位模型. 马方立 徐扬 徐鹏关键词:无源定位 一种燕尾榫机对刀校靠测量计算尺 本发明公开了一种燕尾榫机对刀校靠测量计算尺,包括竖直基板、水平基板、梯形固定尺板和梯形动尺板;水平基板固定设置在竖直基板的顶部,水平基板上设置一缺口;梯形固定尺板竖直设置在竖直基板上,梯形固定尺板和梯形动尺板的斜腰与其对... 钱微 章治国 杨倩 施帮立 徐鹏 张莲不同轴重作用下有砟道床动力特性离散元研究 2025年 为探究轴重对有砟道床动力特性的影响,文章基于真实道砟颗粒轮廓,采用离散元法建立有砟道床模型。在此基础上,分析轴重对道床能量耗散、道砟颗粒运动模式以及接触力的影响。研究结果表明:加载初期道床能量出现陡增现象,随着循环荷载次数的增加,道床能量呈近似线性增长。摩擦能耗散占比约为阻尼能耗散占比的2倍。对于道砟颗粒横向位移,轴重由13t增长到40t时,砟肩下方区域横向位移影响范围从砟肩先向下部扩散,随后呈逆时针方向朝道砟坡面与砟肩外侧扩散。在轴重作用下,向外侧移动的道砟颗粒数量约为向内侧移动道砟颗粒数量的两倍,并且两者均随轴重的增加而增大。对于道砟颗粒旋转量,轴重超过25t后其影响区域逐渐由砟肩下方区域转移至轨枕下方区域。与道砟颗粒产生的转动动能相比,平动动能更大,并且两者差距随轴重增大而增大。轴重荷载主要由轨枕下方梯形区域内的道砟承担,其中轴重较小时,力链主要集中在加载区域下方。 徐鹏 徐鹏 李婷 杨广庆关键词:离散元法 轴重 丘陵山地全履带拖拉机调平结构 本发明涉及一种丘陵山地全履带拖拉机调平结构,包括上机架,上机架的两侧下方分别设有行走机架,上机架的侧边通过相互平行的主动连杆和从动连杆与对应侧的行走机架相连以形成四杆机构,两行走机架和上机架之间还分别设有用于调节行走机架... 杨岩 文兴娅 徐鹏 丁小兵 刘良豪 陈行多组态模拟放大电路实验开发板 本实用新型公开了多组态模拟放大电路实验开发板,包括反相输入端、同相输入端、输出端一、运算放大器和若干个端子,其特征在于:端子一、三、四、五、八、二十九的一端连接;端子二、六、二十、三十一的一端同时与端子四的另一端连接;端... 彭小峰 万文略 徐鹏 张里 杨奕 陈新岗文献传递 整体刚性面板加筋土挡墙基频影响因素计算分析 被引量:10 2018年 作为一种柔性支挡结构,加筋土挡墙相较于传统重力式挡墙具有优越的抗震性能。由于结构在地震等动荷载作用下的动力响应大小与其自身的固有频率大小有关,因此,固有频率的研究显得尤为重要,特别是其最小值基频。以整体刚性面板加筋土挡墙为研究对象,分别用弹性地基梁模型、线性弹簧模型表示面板、填土及筋材,提出了一种加筋土挡墙固有频率计算方法。计算求得的基频值与既有瑞利能量法计算值具有较好的一致性。参数分析表明:填土中铺设筋材可以增大墙体的基频;对于加筋土挡墙,筋材长度以及筋材-填土界面摩擦系数对墙体基频影响较小;随着筋材竖向间距的增大,加筋密度对加筋土挡墙基频的影响逐渐减小;墙体基频随着面板宽度的增大先减小后增大;随着面板模量的减小,墙体基频趋于恒值。 徐鹏 徐鹏 蒋关鲁 胡耀芳 王智猛关键词:加筋土挡墙 基频 高速铁路扣件弹条动力学分析 被引量:53 2013年 为了研究扣件弹条在高速列车动荷载作用下的振动特性,以我国高速铁路采用的Vossloh扣件弹条为研究对象,采用ABAQUS有限元软件建立详细的扣件系统有限元模型,基于非线性接触理论与车辆-轨道耦合动力学理论,研究弹条在安装过程中的受力及列车动荷载作用下的振动特性,并与现场实测结果进行了对比验证。结果表明:螺栓预压力施加到33kN时,弹条达到正常安装状态,此时弹条中圈环位移为20.3mm,弹条扣压力为13.8kN;考虑钢轨波磨情况下,弹条加速度和振动位移最大值分别约为3g、0.05mm,计算结果与实测结果在振动形态与幅值上均基本一致,弹条振动加速度与不考虑钢轨波磨下的结果相比约增大10倍,明显加剧了扣件弹条的振动,从而会加速弹条的疲劳损伤。 朱胜阳 蔡成标 尹镪 徐鹏关键词:列车 耦合动力学 钢轨波磨 一种轮轨两点接触数值计算方法 被引量:3 2010年 根据轮轨几何约束方程的典型解得到轮轨两点接触的判断条件,运用该条件并结合迹线法给出了一种轮轨两点接触数值计算方法。 徐鹏 蔡成标 罗世辉关键词:轮轨关系 一种燕尾榫机对刀校靠测量计算尺 本发明公开了一种燕尾榫机对刀校靠测量计算尺,包括竖直基板、水平基板、梯形固定尺板和梯形动尺板;水平基板固定设置在竖直基板的顶部,水平基板上设置一缺口;梯形固定尺板竖直设置在竖直基板上,梯形固定尺板和梯形动尺板的斜腰与其对... 钱微 章治国 杨倩 施帮立 徐鹏 张莲文献传递