基于边权重图神经网络的一阶逻辑前提选择

为提高自动定理证明器在大规模问题中证明问题的能力,前提选择任务应运而生.由于公式图的有向性,主流的图神经网络框架只能单向地对节点进行更新,且无法编码公式图中子节点间的顺序.针对以上问题,提出了带有边类型的双向公式图表示方法,并提出了一种基于边权重的图神经网络（edge-weight-based graph neural network,EW-GNN）模型用于编码一阶逻辑公式.该模型首先利用相连节点的信息来更新对应边类型的特征表示,随后利用更新后的边类型特征计算邻接节点对中心节点的权重,最后利用邻接节点的信息双向地对中心节点进行更新.实验比较分析表明：基于边权重的图神经网络模型在前提选择任务中表现得更加优越,其在相同的测试集上比当前最优模型的分类准确率高了约1%.     

剑指高端——国产大排量摩托车兴起之路

技术突破 迎战高端 技术落后,一直是我国摩托车行业最致命的软肋.因为技术限制,我国摩托车生产技术水平仍停留在中小排量低档车阶段,大排量高档车一直都被国外摩托车企业垄断着.虽然,在技术开发上我们一些企业也拿出了"攻关不怕艰,攀峰莫畏难"的勇气和精神,但能否开花结果得到回报并非定数.所以,在没有几家企业真正掌握核心技术的前提下,依靠用钱买技术搞生产终非长久之计.     

同舟共济扬帆奋进——长江航运文化的基石

精神文化是行业文化的灵魂，具有激励心志，统一思想、启迪智慧、凝聚力量的重要作用，是促进行业和谐发展的强大动力源泉。长江航运精神文化，体现着长江航运人在实现行业发展过程中特有的共同理想、价值取向，精神风貌和道德规范。“以人为本”是精神文化的前提和基础，“创新超越”是精神文化的目标和精髓。     

互联网技术

第六讲中国铁路NSP的建设规划 NSP(网络服务提供商)的建设规划,首先要从网络体系结构入手.总的来说,用体系结构指导网络建设,就如同人们建造房屋,首先要有轮廓图,然后按照设计图去搭建不同的功能模块,设计人员应周密计划,以保证每个建筑模块都有一个定义明确的功能和接口,这样才能理顺它们之间的关系,从而可由独立的工程单位按图纸具体实施完成.     

国际贸易理论在中国现阶段的适用性分析

20世纪80年代以来产生的新贸易理论及其政策建议--战略性贸易政策,引起了国内学者的广泛关注。部分学者提出,传统的比较优势理论在我国已经过时,应紧跟国际潮流,用战略性贸易政策来指导我国对外贸易发展战略;另一些学者则认为,我国发展对外贸易还是应该以比较优势理论为基础。本文将从分析两个理论的前提假设条件入手,研究两个理论在中国的适用性问题。     

基于Granger法的交通投资与经济发展的相关性分析

由于交通在国民经济中的重要作用,通常认为,交通基础设施建设的投资必能促进经济的发展,我国目前在制定交通投资与交通发展政策时,把交通投资与经济增长具有因果关系作为前提,但这一前提尚缺乏严格统计意义上的逻辑论证.文中从计量经济学的角度出发,通过Granger因果关系检验对我国新时期的交通基础设施建设固定资产投资与经济发展之间的关系进行检验,得出交通投资并不总是促进经济发展的结论.     

船舶高级消防培训的策略

针对船舶高级消防培训教学，就船舶高级消防培训的方法进行了讨论。在提高教学质量的前提下，培训的目的是培养学生的综合能力，满足船舶消防的需要，减少火灾给船舶造成的损失。     

全家“富”——富士重工全系列

在几年前提级富士重工（SUBARU），或许有人会问“富士也生产汽车？”但如果说港京拉力赛的宣传版中一直出现的那辆蓝色赛车，人们或许会若有所思地说“哦，知道了”。     

高校后勤部门如何开展育人工作

近年来，随着后勤改革工作的不断深化，我院在抓好后勤服务与保障的前提下，积极探索高校后勤管理育人和服务育人的方法和途径，并取得了一定的成效。     

浅谈建筑工程项目的成本控制

前言随着建筑市场的日趋成熟,建筑施工企业在建筑项目上的竞争越来越激烈,项目的利润空间也越来越低。"企业是利润中心,项目是成本中心",施工企业要想从项目的建设中获得利润,就必须在保证安全、质量和工期的前提下,加强自身的成本管理,在成本价格一定的情况下,开源节流,严格实行成本控制。企业的成本控制环节众多,一般有成本预测、成本计划、成本核算