智能座舱交互式功能测试技术研究

随着汽车电子技术的高速发展，汽车智能化成为发展趋势，而智能座舱作为现阶段汽车智能化程度的重要体现，也是汽车消费者重点关注的配置之一，软件定义汽车的时代，敏捷开发、快速迭代成为智能座舱开发的技术主流，面对日趋复杂、庞大的智能座舱软件系统，如何设计有效的测试方法、应用高效的智能座舱交互式功能测试手段适应快速迭代的软件开发策略、保证座舱开发质量将成为智能座舱发展的重要挑战。     

局部载荷作用下四边固支矩形板弹性解答及其应用

针对局部横向载荷作用下四边刚性固定矩形板,运用能量法推导出板中挠度解答方程组,利用Matlab编程求解,可计算得到任意矩形板尺寸及横向载荷尺寸下弹性阶段的变形,将结果与有限元数值解进行对比,证明了该方法的精确与快速性,并将该公式应用于极地船舶冰区加强区域外板强度的快速校核中。     

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

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

汽车电子标识技术优势及应用前景分析

汽车电子标识作为汽车的"身份证",是无源射频识别技术在交通物联网领域的应用。《机动车电子标识安全技术要求》等六项国家推荐性标准的正式实施以及国内外广泛的应用试点,使得该技术在我国全面推广、应用变得愈发现实。本文阐述了汽车电子标识的系统构架、工作原理、应用现状,通过技术路线、技术对比两个层面的分析阐述了汽车电子标识的技术优势,并基于此对于汽车电子标识的应用前景进行展望。在感知层,汽车电子标识将与视频检测技术有机结合,构建"射频+视频"等具备更高稳定性、可靠性的信息采集体系。而在应用层,汽车电子标识将提升涉车应用的实现水平,为假、套牌等顽固问题提供了解决方案,为诸多潜在应用的实现提供可能性。     

Lyft收购Motivate与Uber角逐成为一站式交通服务平台

著名科技媒体The Information报道称,美国网约车公司Lyft即将收购单车共享租赁平台Motivate,交易价格据称至少为2.5亿美元。Motivate旗下运营着Ford GoBike、Citi Bike、BikeShare、CoGo、Divvy、Blue Bikes和Biketown等单车共享租赁品牌。这笔交易将让Lyft在共享单车领域领先于竞争对手Uber。今年早些时候,Uber以约2.5亿美元的价格收购了无桩共享电动车公司JUMP。     

奥迪200轿车加速无力、撮车

故障现象 一辆奥迪200轿车行驶中换挡加速时有撮车现象,而且提速缓慢,整车动力性能下降。检查与修理 首先验证故障现象。路试中有明显的撮车现象,而且提速困难。发动机怠速运转时,清晰地听到燃油箱中燃油泵运转的“吱、吱”噪音。发动机空载加速时其转速达不到4000r/min。通过测试初步判断,该车动力性能下降的主要原因是燃油泵严重磨损、燃油压力不足而造成的。