列车自动保护安全平台错误检测码及其运算规则的研究与设计

采用错误检测码是欧洲标准EN50128中保证软件安全的重要手段之一.通过对关键数据和校验字检测以满足软件的故障-安全要求,是轨道交通ATP(列车自动保护)安全平台不可或缺的部分.针对错误检测码在安全平台中的应用,依据软件安全完整性等级的要求,结合线路数据的数值特征,采用线性分组码的编码方式,设计了(32,14)错误检测码及其运算规则.利用错误检测码替代安全平台中关键信息的逻辑和数学运算,并对运算结果进行检错和纠错.测试结果表明,错误检测码能很好地满足安全平台实时性和安全性要求.     

田径教学中如何纠正学生的错误动作

田径运动是以走、跑、跳、投等项目组成的运动。在田径教学过程中,为了使学生更好地掌握动作,教师要善于发现学生技术上的错误,分析其产生的原因,采取正确的纠正方法。     

真3维公路设计错误检测算法的研究与实现

由于真3维公路设计与传统2维公路设计的差异,如何在真3维的环境中进行设计错误的检测,至关重要。文章针对该问题,利用数学理论进行了2种检测方法的研究,从编程和精度角度分析其优缺点,利用线段长度比较的方法对平面线设计错误进行检测,达到了很好的应用效果,并能够在进行线位调整的同时,自动给出错误的检测结果,为真3维公路设计提供了参考。     

基于SAT的可逆线路检测集生成算法

可逆逻辑是量子计算的基本特征,也是日益突出的低能耗需求的一种解决方案。根据可逆电路的可控制性和可观测性,论文提出了一种基于逻辑可满足性的算法来自动产生单门失效错误的完备检测集。基于k-NOT门的可逆逻辑线路中的数据传输进行线性建模,用线性时态逻辑描述单门失效错误约束,运用SAT求解器寻求反例的方法自动生成可逆电路的错误检测集。实验结果显示,本方法能够有效的应用于不规则和复杂的基于k-NOT门的可逆逻辑线路,自动化程度高。     

进站信号机错误显示的改进

分析了因ZXJ故障落下而造成进站信号机错误显示的原因及解决措施。     

BCM长编码错误导致新宝来车天窗工作失效

故障现象一辆新宝来轿车,无论在车内用开关还是遥控关闭天窗,天窗均不响应。故障诊断用VAS5052A检查,无故障代码存储;根据电路图(图1),在点火开关点火挡位,测得天窗开关(E325)的端子T6L/1无5 V电压,说明天窗控制单元(J245)没有提供供电电源,其可能原因有J245有故障、J245外围电路故障。根据电路图所示,J245外围控制线路共有5条,其     

浅析如何做好外贸英语词汇翻译

分析了外贸英语中常见的翻译错误及其主要成因,并提出了一些相应的解决办法。     

错缝拼装及土层刚度对盾构隧道横向刚度有效率的影响研究

针对盾构隧道横向刚度有效率取值及其影响因素,借助有限元软件建立三维壳-弹簧模型,计算综合考虑错缝拼装与地层抗力作用下的横向刚度有效率,探讨不同错缝拼装角度和地层抗力系数对隧道横向刚度有效率的影响。结果表明:典型珠三角地区错缝拼装时的横向刚度有效率为0.75,较通缝拼装0.65增加了15%。横向刚度有效率随着错缝角度的增大而增大,当错缝角度超过45°时,刚度有效率的变化趋于稳定。横向刚度有效率随着地基反力系数的增大,呈现线性增长趋势。     

驾车应谨防错觉

<正>新手驾车经验不足,容易因错觉而出现失误,因此驾驶员应注意了解这些不利因素:距离错觉驾车行驶时,路面上各种车辆的车型、颜色、行车状态千差万别,驾驶员有时会对外界车辆的间距及跟车间距产生错觉。常见的是参照物少时感觉偏远;遇雨、雪、雾天气时感觉间距要比实际间距大,车速越高误差越大;车辆越小,颜色     

嵌入式软件静态测试技术

嵌入式软件质量对嵌入式系统可靠性影响大,由软件缺陷引发的后果严重,为有效减少嵌入式软件开发成本,缩短开发周期,提出应尽早在软件编码阶段开展静态测试,并对常用的嵌入式软件静态测试方法及测试工具进行研究分析与对比。实际应用表明,静态测试能有效发现代码质量和安全等特定典型缺陷,促进代码规范清晰与正确。