您当前的位置：
首页 >
文章列表页 >
基于子句综合权重的多元动态演绎算法及应用
其他 | 更新时间：2026-06-23

    • 基于子句综合权重的多元动态演绎算法及应用

    • Multi-Clause Dynamic Deduction Algorithm and Application Based on Clause Comprehensive Weight

    • 武汉大学学报（理学版）   2025年71卷第2期 页码：301-312

    • DOI：10.14188/j.1671-8836.2023.0205    

      中图分类号： TP181

    • 收稿：2023-10-31，

      纸质出版：2025-04-24

    移动端阅览

  • 曹锋，徐梓伟，易见兵， 等.基于子句综合权重的多元动态演绎算法及应用［J］.武汉大学学报（理学版），2025，71（2）：301-312. DOI：10.14188/j.1671-8836.2023.0205. DOI：

    CAO Feng，XU Ziwei，YI Jianbing，et al.Multi-Clause Dynamic Deduction Algorithm and Application Based on Clause Comprehensive Weight ［J］.J Wuhan Univ （Nat Sci Ed），2025，71（2）：301-312. DOI：10.14188/j.1671-8836.2023.0205（Ch）. DOI：

  •  
  •  

0

浏览量

537

下载量

0

CSCD

文章被引用时，请邮件提醒。
提交
工具集
下载
参考文献导出
分享
收藏
添加至我的专辑

相关文章

基于单元子句的多元矛盾体分离动态演绎算法及应用
一种形式化的可信平台模块应用编程接口安全性分析方法
基于二阶广义积分器的频率自适应电网同步检测
TLS协议的生物特征认证扩展与形式化安全分析
基于腔-光力相互作用的Werner态直接度量研究

相关作者

潘世成
汪小莉
张焕国
徐士伟
张帆
杨飏
曹锋

相关机构

多维智能感知与控制江西省重点实验室
武汉大学计算机学院
武汉大学软件工程国家重点实验室
空天信息安全与可信计算教育部重点实验室
批量引用
0