刘清华
- 作品数：10 被引量：22H指数：3
- 供职机构：西南交通大学更多>>
- 发文基金：中央高校基本科研业务费专项资金四川省科技计划项目教育部人文社会科学研究基金更多>>
- 相关领域：建筑科学交通运输工程自动化与计算机技术更多>>
- 基于边权重图神经网络的一阶逻辑前提选择被引量：3
- 2022年
- 为提高自动定理证明器在大规模问题中证明问题的能力,前提选择任务应运而生.由于公式图的有向性,主流的图神经网络框架只能单向地对节点进行更新,且无法编码公式图中子节点间的顺序.针对以上问题,提出了带有边类型的双向公式图表示方法,并提出了一种基于边权重的图神经网络(edge-weight-based graph neural network,EW-GNN)模型用于编码一阶逻辑公式.该模型首先利用相连节点的信息来更新对应边类型的特征表示,随后利用更新后的边类型特征计算邻接节点对中心节点的权重,最后利用邻接节点的信息双向地对中心节点进行更新.实验比较分析表明:基于边权重的图神经网络模型在前提选择任务中表现得更加优越,其在相同的测试集上比当前最优模型的分类准确率高了约1%.
- 刘清华刘清华徐扬李瑞杰
- 大跨高墩连续刚构桥三维动力响应的时程分析
- 预应力混凝土连续刚构桥,因为其地形适应性强、设计、施工技术成熟,跨越能力大,造价合理,近年来被广泛采用,已成为预应力混凝土桥梁的主要桥型.随着大跨高墩连续刚构桥在中国的不断发展和应用,与此桥型相关的问题也在被深入的研究和...
- 刘清华
- 关键词：自振特性时程分析
- 文献传递
- 面向大理论的一阶逻辑前提选择研究
- 自动推理作为计算机科学和数理逻辑的交叉学科，是人工智能的核心部分。其最热门且应用最广泛的研究分支当属自动定理证明。在自动定理证明的研究中，涌现了一大批先进的一阶逻辑自动定理证明器。它们擅长在某些特定领域的小规模问题中自动...
- 刘清华
- 基于符号权重的前提选择方法、系统及电子设备
- 本发明公开了基于符号权重的前提选择方法、系统及电子设备，方法包括初始化相关前提集、相关符号集、无关前提集、选择前提集、相关度集和初始迭代次数；基于限定迭代次数和权重的设计，进行选择和证明；通过自动定理证明器ATP证明相关...
- 李瑞杰刘清华刘晓波蒋阳升唐优化
- 大跨高墩刚构—连续组合梁桥自振特性的分析
- 本文采用大型有限元通用程序ANSYS利用三维实体建模的方法对李子沟特大桥主桥及8、9、10、11号高墩进行了模态分析,得出其振型及自振频率,对于防止结构自振频率中有某个被激励而产生共振有重要作用,同时也为后面的地震谱分析...
- 刘清华祝兵刘名君
- 关键词：连续组合梁桥梁振动
- 文献传递
- 刚度互等原理在李子沟特大桥设计中的运用
- 2004年
- 介绍了内昆铁路李子沟特大桥在桥梁横向自振特性以及超百米高墩自振特性分析过程中如何运用刚度互等原理进行超大群桩基础及超百米高墩墩顶约束刚度等代模拟的方法 ,以期抛砖引玉 ,供广大同行们参考。
- 刘名君马庭林刘清华
- 关键词：内昆铁路李子沟特大桥桥梁设计自振特性群桩高墩
- 基于符号权重的前提选择方法、系统及电子设备
- 本发明公开了基于符号权重的前提选择方法、系统及电子设备，方法包括初始化相关前提集、相关符号集、无关前提集、选择前提集、相关度集和初始迭代次数；基于限定迭代次数和权重的设计，进行选择和证明；通过自动定理证明器ATP证明相关...
- 李瑞杰刘清华刘晓波蒋阳升唐优化
- 文献传递
- 斜吊杆吊桥与竖吊杆吊桥比较研究
- 陈仁福刘清华周瑛
- 关键词：悬索桥刚度
- 悬索桥静力非线性分析
- 刘清华
- 关键词：悬索桥静力荷载
- 基于ANSYS的斜拉桥恒载索力优化被引量：13
- 2006年
- 从结构优化设计的角度出发,介绍利用大型有限元分析软件ANSYS的优化设计及结合其编程语言APDL来确定斜拉桥的初始恒载索力,最后给出具体的应用示例。
- 曹发辉李乔刘清华李贵勋
- 关键词：ANSYS斜拉桥优化设计
