徐鹏

作品数：61被引量：414H指数：10
导出分析报告
供职机构：西南交通大学数学学院更多>>
发文主题：永磁同步电机加筋土挡墙路基形式化验证多采样率更多>>
发文领域：交通运输工程自动化与计算机技术电气工程电子电信更多>>
发文期刊：《铁道建筑》《计算机与数字工程》《铁道学报》《西南交通大学学报》更多>>
所获基金：国家自然科学基金重庆市教育委员会科学技术研究项目中央高校基本科研业务费专项资金重庆市自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种基于新型混淆操作的RFID双向认证协议
《计算机工程与科学》2025年第2期247-255,共9页贾昊洲 徐鹏 王丹琛 徐扬 
国家自然科学基金(61976130);中央高校基本科研业务费专项资金(2682021GF012)。
针对RFID系统中存在的隐私和安全问题,提出了一种基于新型混淆操作的超轻量RFID认证协议,通过利用简单的逐位异或、循环左旋转和新提出的超轻量化分组循环操作,达到低复杂度、高安全性的目的。此外,由于在协议交互过程中的消息根据随机...
关键词：RFID认证协议 混淆操作 分组循环操作 形式化验证 
RFID认证协议安全性模型检测验证方法被引量：1
《信息安全研究》2024年第11期1043-1048,共6页贾昊洲 徐鹏 王丹琛 徐扬 
中央高校基本科研业务费专项资金项目(2682021GF012)。
RFID技术作为物联网的核心技术,在各个领域中已被广泛应用.目前RFID系统频繁遭受安全威胁,主要原因在于RFID系统中的读取器和标签使用的是无线通信方式.RFID安全认证协议作为RFID系统通信安全保障的一种重要手段,其内在安全至关重要,同...
关键词：RFID 认证协议 模型检测 NUSMV 形式化验证 
EAP-TLS协议的形式化验证研究被引量：1
《计算机科学》2022年第S02期685-689,共5页陈丽萍 徐鹏 王丹琛 徐扬 
国家自然科学基金(61976130);四川省科技计划项目(2020YJ0270);中央高校基本科研业务费专项资金(2682021GF012);四川省无线电监测站科研计划([2019]4)
EAP-TLS是5G标准定义的在特定物联网环境中提供密钥服务的安全协议,然而EAP-TLS协议无法提供用户设备与网络之间的双向认证,存在设计缺陷的协议在运行时将危害系统安全,因此在协议实施之前分析其安全性,尽可能找到潜在缺陷并将其改进是...
关键词：认证协议 EAP-TLS 形式化验证 Proverif 非安全信道 
网络空间安全可信性测评关键技术研发与应用
《中国科技成果》2021年第22期43-44,76,共3页王丹琛 徐鹏 王颉 徐扬 冯暄 
网络空间安全可信性测评是保障国家网络空间安全的基础核心手段,其技术先进性事关发展与安全大局,面临测评理论与方法的系统性不足、测评过程可靠性和测评结果准确性不足,以及对电磁威胁的测评方法缺失等难题,研究基于形式化的可信性验...
关键词：可信性验证 软件系统安全 电磁信息安全 可信性测评 
基于多种方位角计算方法的超短波AOA定位比较被引量：4
《西南交通大学学报》2021年第4期713-719,共7页马方立 徐扬 徐鹏 
国家自然科学基金(61673320,61976130);中央高校基本科研业务费专项资金(2682021GF012);四川省教育厅自然科学基金(18ZB0589);教育部人文社会科学研究项目(20XJCZH016);四川省科技计划(2020YJ0270)。
考虑到方位角计算是AOA(angle of arrival)定位的基础之一,首先,提出了以大地坐标计算方位角的球面近似法和正轴圆柱投影-平面法;进而,建立了球面精确AOA定位方程、球面近似AOA定位方程和正轴圆柱投影-平面AOA定位方程;最后,采用无约束...
关键词：无源定位 AOA定位 方位角计算 最优化模型 大地坐标 
基于符号模型检测的Web服务组合形式化验证被引量：1
《计算机与数字工程》2021年第3期496-501,520,共7页张世杰 徐鹏 刘沛瑶 
国家自然科学基金项目“基于矛盾体分离的动态自动演绎推理研究”(编号:61673320);四川省教育厅项目(编号:18ZB0589)资助。
随着经济的发展和市场竞争的加剧,企业必须能够快速且准确地满足市场和用户的各种需求。Web服务组合正是由于单个Web服务不能满足企业及用户的需求而产生的一种技术,而如何确保组合的正确性来实现服务增值是一个尚未完全解决的问题。针...
关键词：WEB服务组合 符号模型检测 有限状态自动机 形式化定义 NUSMV 
考虑填土强度的加筋土挡墙动位移计算被引量：4
《岩土力学》2019年第5期1841-1846,1853,共7页徐鹏 蒋关鲁 雷涛 刘琪 王智猛 刘勇 
中国铁路总公司科技研究开发计划项目(No.2014G003-C);中铁二院工程集团有限责任公司科研项目(No.KYY2018066(18-19));四川省科技计划项目(No.2018GZ0057)~~
加筋土挡墙在地震荷载作用下的位移大小对结构的抗震性能影响显著。为了计算地震荷载作用下加筋土挡墙的位移,Newmark滑块法通常被用于设计中。由于传统的Newmark滑块法在计算中忽略了填土强度的变化,因而采用单一峰值或残余强度的计算...
关键词：加筋土挡墙 地震 位移 应变软化 Newmark滑块法 
基于大地经纬度的二维TDOA无源定位被引量：10
《通信学报》2019年第5期136-143,共8页马方立 徐扬 徐鹏 
国家自然科学基金资助项目(No.61673320);中央高校基本科研业务费专项资金资助项目(No.2682018ZT10;No.2682018CX59);四川省教育厅科研基金资助项目(No.18ZB0589)~~
因地球表面并非平面,采用平面坐标的传统TDOA无源定位模型可能存在一定的误差。为了直接利用大地经纬度坐标进行TDOA定位,提出了基于球面两点间距离计算的一系列球面距离计算TDOA定位模型。通过最优化建模,以网格逐点搜索求解法进行模...
关键词：无源定位 到达时间差 经纬度 球面精确计算 球面近似计算 
面板对加筋土挡墙影响的离心模型试验研究被引量：9
《岩土力学》2019年第4期1427-1432,共6页徐鹏 蒋关鲁 王珣 黄昊威 黄哲 王智猛 
中国铁路总公司科技研究开发计划项目(No.2014G003-C)~~
加筋土挡墙因其特有的景观性能、协调变形性能而日益受到设计者青睐。面板作为加筋土挡墙的组成部分,对墙体的承载能力影响显著。针对现有设计规范无法考虑面板形式对结构自身力学变形特性的影响,设计并开展了整体式与分块式面板的离心...
关键词：加筋土挡墙 面板 离心模型试验 位移 摩擦系数 
基于OpenMP的并行遗传算法求解SAT问题被引量：6
《西南交通大学学报》2019年第2期428-435,共8页吴贯锋 徐扬 常文静 陈树伟 徐鹏 
国家自然科学基金资助项目(61673320);中央高校基本科研业务费专项资金资助项目(2682017ZT12)
为了提高SAT (boolean satisfiability)问题求解效率,在OpenMP (open multi-processing)编程框架下,将遗传算法与局部搜索算法结合,改进了混合遗传算法中的选择算法,将原有选择操作的时间复杂度降低到O(N)级别.算法采用OpenMP中的编译...
关键词：SAT问题 OPENMP 并行混合遗传算法 粗粒度模型 
全选清除导出
共7页<1234567>
检索报告 对象比较 聚类工具 使用帮助 返回顶部