新能源汽车技术专业“1+X”课证融合思考

在《国家职业教育改革实施方案》当中,明确提出了开启"1+X"的证书制度,其主要目的是要利用把学历教育和技能培训进行有效融合,培养出符合时代需求的高素质技术技能人才。以新能源车技术专业作为实例,对"1+X"制度进行积极地探索,找到培养高品质应用型技术人才的新方式,从新能源汽车技术专业的课程内容、考核方式、师资力量等各方面进行探索,为"1+X"课证融合的有效开展寻找高效途径,从而提高人才的质量。     

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

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

云南省民航客运发展预测

民航运输是云南省在进行综合交通运输建设的重点之一,也是该省在未来"十四五"(2021-2025年)和"十五五"(2026-2030年)规划期间的研究热点。本文以云南省为研究范围,以省内民航客运为研究对象,选取省内主要的社会经济因素为影响因子,运用主成分分析法(PCA)、反向传播神经网络算法(BP神经网络算法)和回归分析法,构建了省内民航客运的预测模型,得出省内各主要机场在"十四五"末和"十五五"末的预计旅客吞吐量,对省政府在进行机场改扩建上有一定的指导意义。     

HX_D1G型机车运行中应急故障的处理

在机车运行中发生故障时,应避免长时间停车堵塞区间,为了能更快完成机车运行中故障的处理,文章特从机车应急故障处理注意事项、应急故障处理方法和应急故障处理基本流程等方面进行详细说明。     

HXD1型机车零距离无线重联技术应用

文章介绍了一种基于WiFi通信的零距离无线重联系统,并对系统的组成、无线组网实现原理、编组握手流程、解编流程等做了详细分析。同时从HX_D1型机车运行安全的角度对无线传输的数据加密方式、实时监视无线运行状态的手段、安全解除编组的流程进行了研究。此系统已通过现场验证,实际应用效果可以达到现场运行要求。     

基于AHP-TOPSIS的山区低等级公路路面破损评价方法

以山区低等级公路路面为研究对象,依据不同种类路面的破损危害性不同,拟在公路路面评价中提出路面破损指数概念,对山区低等级公路路面破损程度进行综合评价。所用模型是利用层次分析法(AHP)对不同种类的路面损毁危害性进行赋权,并利用逼近理想解排序法(TOPSIS)计算山区低等级公路路面破损程度与最优情况的贴近度,进而将山区低等级公路路面破损情况转化成区间为[0,1]的路面破损指数,其中路面破损指数越大表示路面的破损程度越高。此模型方法简单,能够运用少量数据对山区低等级公路路面的破损程度进行定量评价,可为山区公路的养护工作提供更准确的数据参照。     

扁平率的含义

您们好!本人从小酷爱汽车，并且立志要成为汽车行业中的一员。在这里我要衷心地感谢“汽车杂志》，它不仅使我的汽车知识与日俱增，更为我的汽车梦想的实现奠定了坚实的基础。 下面想请教老编们几个问题： 1．F1赛车的换挡都是通过按键的方式在方向盘上完成的，是这样吗？其工作原理又是什么？     

IFJ-1型夜间安全辅助驾驶仪

北京艾方科技有限公司为中国电子科技集团公司第十一研究所控股公司，是专业从事红外热成像、安防监控等系统集成的科研、生产与销售的综合性高新技术企业。     

盐湖床冲动：Honda车队速度挑战全纪实

2006年7月17至22日，由Honda F1车队部分成员组成的特别团队前往美国犹他州Bonneville盐湖床，目标就是打破“F1赛车最高速度纪录”的时速400公里的关卡。这空间是怎样一辆令人冲动的战车呢？[编者按]