咨询与建议

限定检索结果

文献类型

  • 56 篇 期刊文献

馆藏范围

  • 56 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 51 篇 工学
    • 37 篇 计算机科学与技术...
    • 27 篇 软件工程
    • 12 篇 控制科学与工程
    • 6 篇 交通运输工程
    • 3 篇 信息与通信工程
    • 3 篇 土木工程
    • 2 篇 机械工程
    • 2 篇 光学工程
    • 2 篇 仪器科学与技术
    • 2 篇 航空宇航科学与技...
    • 2 篇 网络空间安全
    • 1 篇 材料科学与工程(可...
    • 1 篇 公安技术
  • 10 篇 管理学
    • 10 篇 管理科学与工程(可...
  • 9 篇 理学
    • 6 篇 数学
    • 3 篇 物理学
  • 2 篇 哲学
    • 2 篇 哲学
  • 2 篇 艺术学
    • 2 篇 设计学(可授艺术学...

主题

  • 8 篇 sat问题
  • 7 篇 命题逻辑
  • 6 篇 一阶逻辑
  • 6 篇 形式化验证
  • 5 篇 可满足性问题
  • 4 篇 形式化方法
  • 4 篇 子句消去方法
  • 4 篇 学习子句
  • 3 篇 b方法
  • 3 篇 冲突驱动子句学习
  • 2 篇 冲突分析
  • 2 篇 矛盾体分离规则
  • 2 篇 无源定位
  • 2 篇 可满足问题
  • 2 篇 重启
  • 2 篇 人工智能
  • 2 篇 平交道口
  • 2 篇 蕴涵模归结
  • 2 篇 系统设计
  • 2 篇 nusmv

机构

  • 53 篇 西南交通大学
  • 21 篇 系统可信性自动验...
  • 4 篇 四川师范大学
  • 4 篇 四川省数字经济研...
  • 2 篇 系统可信性自动验...
  • 2 篇 北京全路通信信号...
  • 2 篇 四川省无线电监测...
  • 2 篇 通号粤港澳交通科...
  • 1 篇 四川省计算机研究...
  • 1 篇 航天物联网技术有...
  • 1 篇 四川省信息安全测...
  • 1 篇 成都纺织高等专科...
  • 1 篇 西南民族大学
  • 1 篇 北京和利时系统工...
  • 1 篇 系统可信性自动验...
  • 1 篇 深圳开源互联网安...
  • 1 篇 武汉大学
  • 1 篇 西南科技大学

作者

  • 30 篇 徐扬
  • 14 篇 吴贯锋
  • 11 篇 陈树伟
  • 9 篇 徐鹏
  • 9 篇 王恪铭
  • 6 篇 常文静
  • 6 篇 何星星
  • 5 篇 宁欣然
  • 5 篇 王丹琛
  • 4 篇 陈青山
  • 4 篇 姜世攀
  • 3 篇 曹锋
  • 3 篇 柏明强
  • 3 篇 沈雪
  • 3 篇 钟建
  • 3 篇 王峥
  • 2 篇 艾森阳
  • 2 篇 宋振明
  • 2 篇 冯心妍
  • 2 篇 杨振

语言

  • 56 篇 中文
检索条件"机构=系统可信性自动验证国家地方联合工程实验室"
56 条 记 录,以下是1-10 订阅
排序:
基于多属决策的一阶逻辑子句选择方法
收藏 引用
西南交通大学学报 2025年 第1期60卷 185-193页
作者: 曾国艳 徐扬 陈树伟 姜世攀 西南交通大学数学学院 四川成都611756 西南交通大学系统可信性自动验证国家地方联合工程实验室 四川成都611756
基于一阶逻辑的自动定理证明器(ATP)在知识表达和自动推理研究中占据重要地位,而启发式策略则是提升ATP能的关键研究方向.主流的启发式策略通常通过描述子句属来确定属优先级,从而选择子句,但属优先级受人为因素影响,且评估子... 详细信息
来源: 评论
SRMpose:一种多尺度特征提取的关键点检测算法
收藏 引用
计算机工程 2024年
作者: 但崇鸿 韦洪雷 何舟 吴贯锋 西南交通大学数学学院 系统可信性自动验证国家地方联合工程实验室
人体关键点检测在运动行为识别、人机交互等领域的应用越加广泛。为进一步提高人体关键点检测的精度,减少计算量和参数量,本文以跳远运动为例,提出了一种多尺度特征提取的关键点检测算法,并结合算法实现智能距离检测。首先,提出LJD... 详细信息
来源: 评论
一阶逻辑定理证明器CSE中矛盾体分离式的简化方法
收藏 引用
计算机科学 2025年 第5期52卷 235-240页
作者: 吴鑫 陈树伟 姜世攀 西南交通大学数学学院 成都611756 系统可信性自动验证国家地方联合工程实验室 成都611756
一阶逻辑自动定理证明器能够解决大量形式化后的实际问题,具有重要的应用价值。矛盾体分离演绎发展了自动定理证明领域经典的归结原理,具有更强的证明能力。在基于矛盾体分离规则的自动定理证明器CSE(Contradiction Separation Extensi... 详细信息
来源: 评论
一阶逻辑定理证明器中的无效子句删除策略
收藏 引用
计算机应用 2024年 第3期44卷 677-682页
作者: 姜世攀 陈树伟 曾国艳 西南交通大学数学学院 成都611756 系统可信性自动验证国家地方联合工程实验室(西南交通大学) 成都611756
在一阶逻辑定理证明器中,子句预处理是不可或缺的步骤,而子句的消去规则是预处理中极其重要的部分。传统的基于纯文字规则的子句消去方法在理论上存在子句删除过多的问题,在算法实现上又存在子句删除不充分的情况。为了提高子句删除的... 详细信息
来源: 评论
一种基于新型混淆操作的RFID双向认证协议
收藏 引用
计算机工程与科学 2025年 第2期47卷 247-255页
作者: 贾昊洲 徐鹏 王丹琛 徐扬 系统可信性自动验证国家地方联合工程实验室 西南交通大学数学学院 四川省数字经济研究中心
针对RFID系统中存在的隐私和安全问题,提出了一种基于新型混淆操作的超轻量RFID认证协议,通过利用简单的逐位异或、循环左旋转和新提出的超轻量化分组循环操作,达到低复杂度、高安全的目的。此外,由于在协议交互过程中的消息根据... 详细信息
来源: 评论
命题逻辑中的L-型冗余
收藏 引用
计算机科学 2023年 第S01期50卷 43-47页
作者: 刘凌荣 陈树伟 姜世攀 西南交通大学数学学院 成都611756 系统可信性自动验证国家地方联合工程实验室 成都611756
在命题逻辑SAT求解过程中,子句集简化技术是重要的一个环节。冗余质所对应的子句消去方法可以准确识别并删除冗余子句。无论是在预处理阶段还是SAT求解过程中,子句消去方法嵌入到SAT求解器均可加快求解器的求解效率。现有的高效子句... 详细信息
来源: 评论
RFID认证协议安全模型检测验证方法
收藏 引用
信息安全研究 2024年 第11期10卷 1043-1048页
作者: 贾昊洲 徐鹏 王丹琛 徐扬 系统可信性自动验证国家地方联合工程实验室 成都611756 西南交通大学数学学院 成都611756 四川省数字经济研究中心 成都611756
RFID技术作为物联网的核心技术,在各个领域中已被广泛应用.目前RFID系统频繁遭受安全威胁,主要原因在于RFID系统中的读取器和标签使用的是无线通信方式.RFID安全认证协议作为RFID系统通信安全保障的一种重要手段,其内在安全至关重要,同... 详细信息
来源: 评论
基于面积度量的加速退化试验可信性评价方法
收藏 引用
航空学报 2022年 第3期43卷 471-483页
作者: 锁斌 闫英 西南科技大学信息工程学院 绵阳621010 西南交通大学系统可信性自动验证国家地方联合工程实验室 成都611731 西南科技大学经济管理学院 绵阳621010
针对已有方法难以定量给出产品加速退化试验(ADT)结果可信程度的问题,以正常应力下的试验数据为基准,基于面积度量思想提出了一种加速退化试验结果可信性的定量评价方法。基于加速退化试验数据和基准数据的概率分布距离,构建了加速退化... 详细信息
来源: 评论
基于N-list和DiffNodeset结构的频繁项集并行挖掘算法
收藏 引用
计算机科学 2023年 第11期50卷 55-61页
作者: 张阳 王瑞 吴贯锋 刘弘毅 西南交通大学数学学院 西南交通大学系统可信性自动验证国家地方联合工程实验室 航天物联网技术有限公司
频繁项集挖掘是数据挖掘中的一个基本问题,在许多数据挖掘应用中发挥着重要作用。针对并行频繁项集挖掘算法MrPrePost在大数据环境存在密集数据集下算法效率下降、计算节点负载量不均衡和冗余搜索等问题,提出了基于N-lists和DiffNode... 详细信息
来源: 评论
一种车联网V2V认证与密钥交换协议设计与验证
收藏 引用
信息安全研究 2025年 第5期11卷 465-472页
作者: 王秀珍 徐鹏 陈美荣 王丹琛 徐扬 系统可信性自动验证国家地方联合工程实验室 成都611756 成都纺织高等专科学校 成都611731 四川省数字经济研究中心 成都610021 西南交通大学数学学院 成都611756
车联网系统中,车辆行驶过程需与其他车辆通信以实现信息交换,要求必须具备高安全、低延迟、用户匿名等安全特.认证与密钥交换协议以密码算法为基础旨在完成会话密钥协商,用于通信双方后续信息交换,是保证车联网通信安全的重要手段.... 详细信息
来源: 评论