基于Prover的联锁软件形式化验证过程研究

计算机联锁系统是铁路信号控制系统的核心设备,是有着苛刻安全要求的复杂控制系统。本文采用Prover形式化开发工具对联锁软件安全需求进行形式化验证。通过模型检验的形式化验证方法,遍历系统输入变量的所有状态空间.验证联锁特定应用满足系统安全需求,确保系统的安全性得以正确实现。在保证系统安全性的基础上,以全状态空间查找反例的检验方法进一步提升产品的质量。     

商用车试制PT至SOP快速验证方法研究

目前商用车的开发主要分为骡子车试制、工程试制和试生产几个阶段,与乘用车不同,商用车存在车型配置繁多,而且不同的配置之间可能会对整车在底盘的布置产生影响,进而影响整车在量产线的通过性,因此有必要在PT(工程试制)和SOP(试生产)阶段间加一个验证阶段,文章首先介绍了PT转SOP试制线的布局及工艺编排,然后对PT转SOP快速试制验证流程进行了介绍,最后对PT转SOP量产通过性的判断指标进行了说明,对PT车型如何更好的过渡到量产,减少量产线的停线及线下返工具有一定的参考意义。     

试漏技术在自动变速器生产中的应用

日趋激烈的市场竞争对自动变速器的质量水平提出越来越高的要求。而当前自动变速器市场问题主要集中在异响、漏油及振动噪声三大问题。文章通过从试漏原理以及关键参数设定等方面,对自动变速器生产过程中的试漏检测进行分析。     

一款空调系统风门抖动问题解析

文章针对一款空调系统工程开发过程中出现的除霜风门抖动问题,通过理论分析、设计改善及试验验证,结合实际工艺进行问题解析整改,进一步明确工程开发过程中零件结构设计验证、工艺验证的重要性,以及开发前期充分运用CATIA运动仿真DMU验证的必要性,进而从根本上缩短产品开发周期和产品上市时间。     

新车型开发涂装防腐工艺验证

针对新车型开发涂装防腐工艺验证工作,文中详细介绍了涂装防腐工艺验证过程中的主要验证环节,描述了各项验证环节中出现的问题,针对各项问题制定了整改措施并验证有效闭环。同时,针对验证的问题进行总结,形成组织记忆力并分享,为后期项目提供参考并提前做好预防。     

汽车线束工艺验证浅析

汽车线束企业在对线束图纸工艺分析和线束加工过程中,出现了工艺分解不完整以及工艺分解错误,以致实际生产加工困难以及加工错误。工艺理论分解与实际加工存在脱节问题,这就需要一种将理论分解与实际加工联系起来的措施,因此在企业中推行工艺验证可以很好地将理论分解与实际加工紧密联系起来,在实际加工中将工艺分解错误及时地收集反馈并及时修正,确保工艺文件符合车间生产加工需求,整个信息流程必须合理高效。     

商用车冷却系统匹配探究及实验验证

商用车冷却系统对商用车起着至关重要的作用,将直接影响发动机的动力性、燃油经济型及稳定性等。因此,商用车冷却系统的合理匹配在商用车车型开发过程中具有重大的意义。文章初步通过经典的理论计算求得商用车冷却系统中最主要的三个性能参数:散热量、通风量及水流量,并匹配与之相应规格的散热器、风扇,水泵为发动机自带,初步确定了冷却系统的匹配方案。结合高温环境下冷却系统的热平衡实验测得的实际数据进行对比分析,发现实际测得的水流量高于理论计算值,不符合设计要求。经原因分析优化匹配方案之后,实验值与理论计算值相近,满足设计要求。因此,理论计算并不能完全指导冷却系统的匹配设计,而应结合热平衡实验进行实验验证,找出问题,优化匹配设计,才能使商用车的冷却系统设计合理,发动机性能达到最佳。     

AMT控制器硬件在环测试系统的研究

对电控机械式自动变速器(AMT)控制器的硬件在环测试系统进行了研究。此系统基于dSPACE平台搭建而成,用来验证AMT控制器的控制逻辑。对该系统进行了自动升档、驾驶循环测试和软件功能测试。测试结果表明该硬件在环测试系统搭建成功,能够为后续AMT应用层软件控制策略和故障注入等的验证提供快速、有效的验证手段。     

冷试技术在发动机装配线上的应用分析

冷试技术具有较多优势,为让该项技术可以在汽车行业获得更大的应用空间,文章重点分析了汽车发动机装配线上冷试技术中关键技术的具体运用.文章通过对机油压力、扭矩、进气真空度及排气压力、高速NVH检测与低速NVH、曲轴与凸轮轴正时以及传感器线速进行检测,对冷试技术在发动机装配线上的运用进行了分析.了解到发动机冷试技术可以全方位...