QTMR系统双微机核的故障检测机构

本文主要描述准三横冗余系统双微机核的硬件故障检测机构及其一些设计细节，并对设置在总线上的双比较器的错误检测性能作了分析。分析表明，双微机核对于单故障和一类有序双故障具有非常类似于FSE（故障保险）的特征。     

基于TAIO变异的CTCS-3列控系统测试案例生成方法

为了研究高覆盖已知故障集的中国列车运行控制系统三级（CTCS-3）测试案例生成方法，提出了一种基于输入输出时间自动机（TAIO）变异分析的测试案例生成方法. 结合列控系统模式转换的故障特点，设计了包含模式转换已知故障的8种变异算子（改变行为、改变目标位置、改变源位置等），形成了15 106个变异体；利用输入输出一致性关系（tioco）和k-Bounded模型检验方法生成了10 843个测试案例；应用一致性关系分数（CRS）、平均一致性关系分数（ACRS）和加权一致性关系分数（WCRS）进行了故障覆盖度的分析. 研究结果表明:该方法设计和生成的测试案例能够有效覆盖改变行为、改变不变量和增加sink位置3种故障模式，而对于约束取反和复位取反的故障模式覆盖度不高，需通过额外的观测信息来检测故障.      

对会计软件中设计恢复记账功能的探讨

对会计软件中设计恢复记账功能进行了简要分析和探讨，作者认为在会计软件中设置恢复记账轼能（或恢复记账前状态功能）在电算化会计信息系统经济业务处理发生错误的情况下有着十分重要的作用，但其使用必须设置严格的限制条件。     

软件测试分析

现在人们已经逐渐认识到所谓的软件危机实际上仅是一种状况，那就是软件中有错误，正是这些错误导致了软件开发在成本、进度和质量上的失控。有错误是软件的属性，而且是无法改变的，因为软件是由人来完成的，所有由人做的工作都不会是完美无缺的。问题在于如何去避免错误的产生和消除已经产生的错误，使程序中的错误密度达到尽可能低的程度。     

基于CLEC的大学生英语写作常见用词错误分析及对教学的启示

中国英语学习者英文写作中的常见问题一般表现在词汇、句法和语篇3个层面。本文基于错误分析理论、借助中国学习者英语语料库（简称CLEC）着重分析大学生英语写作词汇层面上的常见错误,并尝试给大学英语教学一些启示。     

基于大样本数据的中型载货汽车使用可靠性研究

利用大量的实际运行样本数据，借助数理统计手段，揭示了国产典型中型载货汽车的整车运行故障的发生规律，给出了其故障密度函数ｆ（ｌ），故障分布函数Ｆ（ｌ），可靠度函数Ｒ（ｌ）的故障函数λ（ｌ），求取了其若干可靠性特征量的估计值，并相应得出了一些极有意义的结论。     

汽车电动燃油泵控制电路及故障诊断

油泵控制电路出现故障后,应从电源、导线或插接器、保险丝或熔断丝、元器件（继电器、油泵、ECU）四个方面进行检查或分析,以便较快地查出故障所在。     

柴油机瞬时转速的仿真计算与分析

根据柴油机的动力学和运动学，建立了柴油机瞬时转速的计算模型，在LabVIEW软件开发平台上开发了仿真计算软件，进行了柴油机瞬时转速的仿真计算与分析．在实验室进行了柴油机瞬时转速的测量与分析，并与仿真计算结果进行了比较，证实了柴油机瞬时转速计算模型的正确性和对故障的可诊断性．考虑螺旋桨对瞬时转速的影响，分析了瞬时转速分析法用于船舶主机（柴油机）监测与诊断的应用条件．     

CAE技术在轨道交通车辆设计中的应用

本文介绍了在设计前期引入CAE技术对于减少轨道交通车辆设计错误、缩短设计周期、提高产品设计质量的重要意义。介绍了常用CAE软件功能，并从车辆结构强度分析、车辆动力学分析、制动分析、车辆碰撞安全性分析四个方面讲述了CAE技术在轨道交通车辆设计中的应用。     

基于CPN高铁临时限速数据融合方案验证

高速铁路列控系统中C3单元和C2单元相对独立控车,两套系统中的列控数据在系统层之间缺乏共享和约束机制.本文在分析系统结构和数据传输特性的基础上,提出一种基于数据融合,提升高速铁路临时限速安全性的方案,并利用有色Petri网（CPN）对融合方案进行建模.通过仿真软件分层和赋时功能构造系统顶层模型、临时限速生成子模型、故障子模型、融合子模型和时间序列,模拟临时限速信息传输过程中的系统状态和行为.仿真结果表明：在故障注入情况下,数据融合方案在一定程度降低了错误数据的输出,提高了系统的安全性.     

采用改进多尺度符号动力学熵的铁路机车轴承故障诊断

针对铁路机车轴承在真实复杂环境下故障特征难以提取而导致故障诊断困难的问题，提出一种改进多尺度符号动力学熵（IMSDE）的铁路机车轴承故障诊断方法。首先，通过邻域滑移均值化的方式改进多尺度符号动力学熵，克服了传统粗粒化造成的熵值偏差缺陷；然后，利用IMSDE充分提取振动信号在不同尺度下的关键故障特征；最后，结合极限学习机（ELM）实现铁路轴承不同故障类型与程度的识别。在此基础上，分别进行了3组试验分析。结果表明，对人为构造的轴承故障和工程实际产生的轴承故障，该方法都具有精准的故障识别效果，对比其他4种方法故障识别率更高，验证了该方法具有一定的工程实际应用价值。     

柴油机热工故障仿真研究

运用结构模型和功能模型对柴油热工故障作了简要的分析，建立了一个较通用的柴油机热工故障的仿真模型，开发了柴油热工故障仿真软件，并对柴油机典型热工故障在不同故障严重程度下进行仿真计算；对仿真结果进行分析，揭示了柴油机热工故障与热工参数之间的内在联系，为故障诊断提供了参考依据。     

东风4型机车中冷器热应力分析

从东风４Ｂ型机车中冷器裂损故障入手，通过对散热器（铜）、外壳（钢）受热后产生不同热变形，使中冷器扁管组产生交变热应力的分析计算，指出了散热器组扁管疲劳破损的原因，为提高中冷器可靠性与使用寿命的研究提供了新的途径。     

AR（n）时序模型处理方法在内燃机故障诊断中的应用

将ＡＲ（ｎ）时序模型处理方法应用于内燃机活塞－气缸磨损故障和排气阀漏气故障的诊断中，有关问题如定阶检验、ＦＦＴ功率谱ＡＲ（ｎ）自回归谱的各自特点等作了讨论。     

江西原交通厅长蒲日新双规

5月23日，长（春）深（圳）高速公路辽宁境内发生一起特大交通事故，一辆大货车因方向辨别错误，逆向行驶，与一辆正常行驶豪华卧铺大客车相撞起火，事故造成32人死亡，24人受伤。     

基于形态学分形维数的输电线路故障选相方法

输电线路故障信号是一种典型的非线性信号,分形几何理论为描述非线性故障信号的特性提供了一个有力的分析工具。针对传统分形维数的局限性,本文提出了一种基于局域均值分解（local mean decomposition,LMD）-形态学的分形维数-Elman神经网络的输电线路故障选相新方法。该方法通过对故障电流进行相模转换后,对单一线模分量进行LMD分解得到若干乘积函数（product function,PF）分量,然后选取前4个PF分量进行数学形态学的分形维数估计,最后形成特征向量作为Elman神经网络的输入参数。仿真试验表明：提出的故障分类识别方法能快速、准确地识别各类故障,并且不易受故障初始角、故障位置和过渡电阻的影响,与传统的BP神经网络相比,Elman神经网络具有更好的效果,为准确判断输电线路故障选相提供了一种快速有效的新方法。     

麦基嘉克令吊电气控制系统常见故障诊断与排除

麦基嘉克令吊电气控制系统相对复杂,在使用中一旦发生电气故障,会导致其无法正常工作,容易耽误船期。在简要介绍电气控制系统的基础上,结合在实船工作经历中成功解决电气设备故障的经验,分析了控制系统中常见的启动回路故障、电源故障、限位回路故障以及手柄逻辑错误故障等产生原因、诊断思路和排除方法,为麦基嘉克令吊电气控制系统常见故障诊断与排除提供一定参考。     

故障—安全通信（点—点）MAC协议研究

给出了适用于故障－安全（点－点）通信的ＭＡＣ子层协议的体系结构,分析了（点－点）ＭＡＣ协议的服务规范、帧结构、协议规程及其支持故障－安全消息传输的特性,同时描述了部分ＭＡＣ子层协议的接口规程的验证问题。     

力控组态软件在蓄能空调监控系统中的应用

在分析蓄能空调监控系统功能的基础上，利用力控组态软件强大的HMI（人机界面接口）/SCADA（监控和数据采集），开发了一个界面直观、功能齐全的监控系统，实现蓄能空调工况的自动切换，供水温度的恒定控制，设备的远程操作和管理以及系统运行情况的动态显示等功能。     

单向关闭独立维修串联可修系统的一个模型

研究单向关闭独立维数ｎ部件串联可修系统的一个模型，假定当部件ｉ（ｉ＝１，２，…，ｎ－１）故障时关闭其它部件，当部件ｎ故障时其它部件还要继续工作，修理规则为独立维修。利用向量Ｍａｒｋｏｖ过程方法，求出了系统的可靠度、可用度和故障频度。