嵌入式软件静态测试技术

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

城市轨道交通行车配线冗余设计研究

结合配线设置原则与依据、典型城市已运营线路配线布置和故障情况,从辅助配线布置形式、救援方式等角度分析配线设置与故障发生的关系并反思配线设计的不足,提出后续线路配线设计中应坚持运营功能为主的原则,并给出提高配线冗余设计的相关建议。     

南京地铁四号线车辆ATC系统参考值冗余接收方案分析

介绍了南京地铁四号线车辆ATC系统参考值的输出形式、要求以及为此设计的2种接收方案,对不同的冗余方案进行了分析比较,确定了最终方案。     

2009款上海大众波罗电动玻璃不工作

<正>行驶里程:76000km。故障现象:除左前门电动玻璃工作正常外,其他3个车门的电动玻璃均不工作。无论是通过左前门开关控制还是通过各个门上的开关控制,均不起作用。据客户介绍,前一天发现右前门电动玻璃曾出现过失效,但后来又自己恢复正常,第二天,则出现上述故障现象。故障诊断:首先确认不是因为操作引起的故障,检查左前门电动玻璃开关上的玻璃锁开关,反复操作,其     

可快速编码的多码率原模图LDPC码设计

原模图LDPC码的实际应用涉及到两个问题：快速编码和编码复杂性.与其他LDPC码相比,原模图LDPC码的结构适合快速解码,但不一定能够实现快速编码.现有的原模图LDPC码的编码是根据生成矩阵进行编码,因其生成矩阵不是稀疏的,所以存在编码复杂性问题,这给编码器的硬件实现带来较大的困难.为了降低原模图LDPC码编码复杂度,本文提出一种可快速编码的多码率原模图LDPC码的设计,提出的多码率原模图LDPC码不存在4环,无低码重码,其快速编码算法能够降低编码复杂性,使编码器的硬件易于实现.在AWGN信道仿真结果表明,提出的可快速编码的多码率LDPC码的误码率性能和纠错性能优于GB20600 LDPC码.     

分层结构热备冗余系统的可靠性分析

热备冗余结构在安全苛求系统中应用广泛．智能化输入输出模块和逻辑处理模块的分离形成了分层结构,层内两个模块相互热备,层与层串联后实现系统功能．采用Markov分析方法,考虑模块失效率和维修率,对分层热备冗余系统的可靠性进行了研究．按照优先恢复系统功能的维修策略建立了系统状态转移图,并由此得出了系统可靠性计算方法．依据仿真计算结果,不同模块的失效率和维修率对系统可靠性的影响程度相似,低优先级修复的模块对系统可靠性的影响程度增大．     

一种基于编码的OBDD模型检测的算法实现

文章根据OBDD模型检测的基本思想并结合一个微波炉模型实例来介绍一种基于状态编码的OBDD模型检测算法实现。该算法实现通过介绍自行开发的OBDD模型检测器,具体描述了OBDD的生成、化简以及使用OBDD进行模型检测的具体实现算法以及OBDD模型检测的全过程,该算法实现简洁易读,可以直接应用于相关程序的开发。     

目标回声分类特征的冗余性评价

对目标回声分类特征的冗余性进行评价与分析.对于2个特征维之间的冗余性,采用基于特征间线性相关系数作为冗余性度量,通过特征的相关系数矩阵分析了特征维之间的冗余度.此外,本文提出了基于特征协方差矩阵近零特征值的冗余性度量,据此可以进一步分析特征组内部的多维组合冗余.最后,利用以上2种冗余性度量,对5种目标回声分类特征各自的...     

基于三模冗余DSP控制器的船舶电站自动并车装置研究

本文介绍了基于模块化的三模冗余DSP结构设计的船舶电站自动并车装置,应用动态调整采样间隔的交流采样算法来计算交流电量并推导了最小二乘曲线拟合算法来精确预报同期点.装置在硬件上采用多数表决输出的三模冗余结构和在软件上实现数据的冗余处理,能保证在电网品质恶劣的船舶电站中使用时也具有较高的可靠性.