一阶逻辑中的扩展子句消去原则

对于一阶逻辑定理证明器，子句集化简一直是必不可少的步骤，这将有助于提高后续一阶逻辑定理证明器的证明效率. 针对子句冗余性的判断，提出了一种评估子句冗余性的原则:集合蕴涵模归结原则. 并且证明了该原则在不带等词一阶逻辑上的可靠性，根据该原则删除子句，不会影响原始子句集的不可满足性或者可满足性. 此外，依据该原则提出了两种新型的一阶逻辑预处理方法:集合归结包含消去（set resolution subsumption, SRSE）方法和集合归结不对称恒真消去（set resolution asymmetric tautology elimination, SRATE）方法，并证明了这两种子句消去方法在不带等词一阶逻辑子句集上的可靠性. 最后在理论上比较了SRSE方法和归结包含消去（sesolution subsumption elimination, RSE）方法以及SRATE方法和归结不对称恒真（sesolution asymmetric tautology elimination, RATE）方法之间的有效性，结果表明SRSE方法和SRATE方法分别比RSE方法和RATE方法更为有效.      

关于公布2020年度优秀论文评选结果的通知

各专业委员会:2020年度在《铁道运营技术》、《广西铁道》刊发的参评论文共181篇。经评审评定,2020年度优秀论文40篇,其中一等奖5篇、二等奖12篇、三等奖23篇。评选结果现予公布,并向获奖作者颁发证书及奖金,以资鼓励。希望广西铁道学会各专业委员会自觉坚持以习近平新时代中国特色社会主义思想为指导,积极组织科技工作者和管理人员,继续紧密围绕运输经营、安全生产、铁路建设、大局稳定等工作,深入调研,辛勤笔耕,推出数量更多、质量更优、价值更大的新做法、新经验和新成果,努力在推动南宁局集团公司高质量发展再上新台阶、服务地方社会经济进步再创新成绩中做出新贡献。     

花瓣孔成型凸模设计与改进

花瓣孔一次性成型凸模设计，提高了生产效率，降低了加工成本。     

机车柴油机燃烧分析仪的开发与应用

论述了机车柴油机燃烧系统分析仪研制的必要性及其主要功能和特点、示功图测试的影响因素,并进行了试验分析,对该仪器在使用过程中引发的两个主要问题进行了讨论,指出目前柴油机在新造或大修、中修调整试验时某些调整方法提出了建议.     

机器人分散滑动模跟踪控制

提出一种机器人滑动模跟踪控制方案，使机器人跟踪时变轨迹，采取的方法是将整个系统视为由许多分散的线性子系统所组成，这些子系统又可由一组二次积分器模拟。利用非线性滑动曲面，设计了一个鲁棒控制器，使得输出跟踪误差能够在有限时间内收敛到零。