5872 993 026
Error code list
Ergopower- EST37/A
ZF Passau Gmbh
Donaustraße 25 - 71
D - 94034 Passau
ZF Friedrichshafen AG 03-05-13
Faultcodes ERGO-Control EST37A
TE-AB N:\Astt\Elektrikneu\Fc_37_V912.doc Seite 3 von 53
1 Introduction
1.1 Abbreviations
o.c. open circuit
s.c. short circuit
OP-Mode operating mode
TCU transmission control unit
EEC electronic engine controller
PTO power take off
1.2 ZF - Display:
If a fault is detected, the display shows a spanner symbol (g) for a fault. The display shows the fault code, if
the gear selector is on neutral position.
If more than one fault is detected, each fault code is shown for about 1 second.
S
T
O
Phfed
abcg
(special symbols a-h)leftcharacterrightcharacter
1.3 Display during operation Symbol meaning remarks
1F, 1R
2F, 2R
3F, 3R
4F
5F
6F
LF, LR actual gear and direction
基于锁耦合遍历算法的文件系统终止性验证
邹沫;谢昊彤;魏卓然;陈海波
【期刊名称】《软件学报》
【年(卷),期】2022(33)8
【摘 要】并发文件系统由于复杂的实现,容易产生死锁、无限循环等终止性漏洞,已有的文件系统证明工作都忽视了终止性的证明.证明了一个并发文件系统Atom FS的终止性,保证了每个文件系统接口在公平调度的条件下都能返回.证明Atom FS接口的终止性要说明当其遇到阻碍时,阻碍源头(其他线程)终将产生进展,促使当前线程阻碍的消除,证明的核心在于说明锁耦合(lock coupling)遍历算法的终止性.然而还存在着两点挑战:(1)文件系统的树形结构允许阻碍的线程分布在多条路径上,全局地识别出多个阻碍源头使证明失去了局部性;(2)rename接口由于需要遍历两条路径,会带来“跨路径阻碍”现象,多个rename可能相互跨路径阻碍成环,导致无法找到阻碍源头.提出了两个核心的技术点来应对这些挑战:(1)使用局部思想仅确定单个阻碍源头;(2)使用偏序法解决跨路径阻碍成环问题.成功地构建了一个终止性证明框架CRL-T,并验证了Atom FS的终止性,所有的证明都在Coq中实现.
【总页数】15页(P2980-2994)
【作 者】邹沫;谢昊彤;魏卓然;陈海波
【作者单位】上海交通大学软件学院
【正文语种】中 文
【中图分类】TP311 【相关文献】
1.面向等价性验证的锁存器匹配算法2.基于故障影响遍历的配电网可靠性评估算法研究3.一种基于遍历性的混沌加密新算法4.基于可行性矩阵遍历的重叠多目标角轨迹关联算法5.基于变步长约瑟夫遍历和DNA动态编码的图像加密算法的安全性分析
因版权原因，仅展示原文概要，查看原文内容请购买
变流故障手册
电控部技术支持部 ——郭锐， 3000—error_converter.error_global（变流器故障）
30100—error_converter_monitoring 变流器监测故障
30101—error_converter_not_ready 变流器未准备故障
30102—error_converter_shutdown_after_enable 变流器使能后停机
30103—error_converter_main_contactor 变流器主接触器（主空开）故障
30104—error_converter_precharge_contactor 变流器预充电接触器故障
30105—error_converter_generator_contactor 变流器电机侧接触器（电机侧空
开）故障
30106—error_converter_enable_pulsing 变流器未调制故障
30107—error_converter_contactor_filter_capacitor 网侧滤波电容接触器故障
30200—error_converter_monitoring IGBT IGBT故障监测
30201—error_converter_IGBT_ok 变流器IGBT故障
30202—error_converter_step_up_IGBT 变流器斩波升压IGBT故障
30203—error_converter_chopper_IGBT 变流器斩波制动IGBT故障
30204—error_converter_grid_IGBT 变流器网侧逆变IGBT故障 30300—error_converter_signal_monitoring 变流器检测信号故障
30301—error_converter_signal_DC_current_overcurrent 变流器直流电流（斩波升
技 术 文 件
技术文件名称：LH9127软件需求说明书
版本： V0.2
拟 制 段鹏
审 核
会 签
标准化
批 准
西安龙飞网络科技有限公司LH9128软件需求说明书
第I页 修改记录
文件编号 版本号 拟制人/
修改人 拟制/修改日期 更改理由 主要更改内容
（写要点即可）
V0.1 段鹏 新建/2014-1-22 创建
V0.2 段鹏 新建/2014-2-14 修改 1. 删除遗留LCD字样
2. 更新LTE信号强度定义
、
注1：每次更改归档文件（指归档到事业部或公司档案室的文件）时，需填写此表。
注2：文件第一次归档时，“更改理由”、“主要更改内容”栏写“无”。 LH9128软件需求说明书
第II页 目 录
1 引言 .................................................................................................................................................................. 1
1.1 编写目的 .............................................................................................................................. 1
