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