有一种光明叫坚守初心

他是80后创新型人才的优秀代表,他所承担的科研项目曾经荣获2018年中国航海学会科学技术一等奖,在2019年荣获由交通运输部海事局和中国海员建设工会联合授予的"最美验船师"称号,他坚守安全底线,服务绿色发展,矢志技术攻关,在应用技术创新征途上从未停止,坚守初心,从未改变.他就是刘光明,中国船级社的一名验船师.     

定义到统一模型的船舶三维工艺信息集成

针对基于自主造船CAD系统实施三维工艺信息集成仍属空白的现状,以国产船舶产品设计系统SPD为基础,分析解决了船舶三维工艺信息集成过程中的信息集成策略、模型轻量化、三维标注生成等问题,将分散的船舶工艺信息集成定义到统一的数字化三维模型上,生成集成数据文件,并在自研三维作业指导平台上使用工程实例对集成效果进行了验证。结果表明,上述问题的解决措施有效,集成技术路线可行。     

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

对于一阶逻辑定理证明器，子句集化简一直是必不可少的步骤，这将有助于提高后续一阶逻辑定理证明器的证明效率. 针对子句冗余性的判断，提出了一种评估子句冗余性的原则:集合蕴涵模归结原则. 并且证明了该原则在不带等词一阶逻辑上的可靠性，根据该原则删除子句，不会影响原始子句集的不可满足性或者可满足性. 此外，依据该原则提出了两种新型的一阶逻辑预处理方法:集合归结包含消去（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方法更为有效.      

货车自动驾驶技术及标准法规发展分析

目前,自动驾驶技术在乘用车领域已获得突破性发展;为提高通行效率和出行安全起到了极大的作用。自动驾驶技术在商用车领域的应用,有望较好解决高昂的人力成本和难以提高的效率等问题。然而,目前自动驾驶技术在货车的应用大多采用跟乘用车同样的标准进行规范,这在实际应用中存在着诸多的问题;例如,在FCW和AEB功能中货车在相同车速的制动距离要远大于乘用车,而其所采用标准规定的碰撞预警时间却并无多大不同,这在实际场景中存在着较大的安全隐患[1,2]。此外,货车质量和体积较大,且较多应用于长途运输,运输过程中会经历包括高温、严寒、山区等多种复杂气候场景,这些都将对货车自动驾驶技术在车辆制动效能、能耗以及多场景应用等方面提出更有针对性规范的要求。本文针对货车的应用场景特点,为其自动驾驶技术应用标准化提出了建议。     

专业力量齐发力 复工复产有实招——北海航海保障中心抗疫情保复工侧记

疫情阻击战到了最关键的阶段,保复工、稳发展迫在眉睫。北海航海保障中心(简称“中心”)主动作为,有效履职,积极加强与属地海事、引航、气象、港口等单位的协调沟通,针对辖区LNG、煤炭能源运输提供定制化优先服务,保障各类导助航设施、系统平稳正常运行。新冠肺炎疫情期间,共计为辖区1.7万余艘次船舶航行和13.5万人次旅客安全运送提供了及时、高效的航海保障服务。     

强化铁路检修车管理的思考

如何准确、均衡地扣修铁路运用车辆,既保证维修单位任务完成,又满足提高运输效率要求,是铁路运输管理的难点之一。本文以南宁局集团公司为例,总结分析针对检修车扣车不均衡、检修车超定量问题,采取集成数据,编制检修车管理指导子系统,强化检修车的监控与预测、扣车追踪、动态管控、均衡扣车等措施的落实效果,旨在为有效提升检修车管送能力,确保运输用车需求提供借鉴。     

新形势下高速铁路标准化管理研究——以中国铁路郑州局集团有限公司郑州桥工段为例

近年来,铁路系统不断推进安全风险管理,夯实管理基础,积极探索管理模式。中国铁路郑州局集团有限公司郑州桥工段(简称"郑州桥工段")通过优化维修组织模式、创建高铁示范线、推进数字工务应用等多种手段,努力实现高铁管理标准化。