浅谈计算机X线摄影系统（CR）的常见故障和解决方法.doc

浅谈计算机X线摄影系统（CR）的常见故障和解决方法 1、相关定义 1.1、心跳故障检测器的定义 心跳故障检测器D具有如下特点[9]:D在每个进程p的输出是序列(p1,n1), (p2,n2), ,(pn,nn),其中p1,p2, ,pn是p的邻居进程,每个nj是个非负整数。当 pj没有发生故障时,nj增加,否则,nj停止增加。称nj为pj在p的心跳值。D在时刻 t在p的输出,即H(p,t),可以看作下标集合为{p1,p2, ,pk}的一个向量,因此, H(p,t)[pj]= nj。pj在p的心跳序列定义为随时间而变化的pj在p的心跳值的序列。D 满足以下属性: (1) HB-完全性 在每个正确进程 p,系统中每个故障邻居进程 q 的心跳序列都是有界的。形 式地: ?F,?HD(F),?p∈Correct(F),?q∈Crashed(F) ∩neighbor(p),?K ∈Ν , ?t∈Γ:H(p,t)[q] ≤K - 8 - 1.2、心跳故障检测器的扩展定义和实现 为简化本文的算法,我们给出心跳故障检测器的一个扩展,使每个进程 p 的 故障检测器模块能够输出系统中所有进程的心跳值。下面给出 HB 的扩展定义和 实现。 3.2.1 HB 的扩展定义 心跳故障检测器D在每个进程p的输出是序列(p1,n1),(p2,n2), , (pn,nn), 其中,p1,p2, ,pn是Π 中所有的进程,每个n j是个非负整数。当pj没有发生故障时, - 13 - 基于心跳故障检测器的原子提交问题解决方案 nj增加,否则,nj停止增加。称nj为pj在p的心跳值。D在时刻t在p的输出,即H(p,t), 可以看作下标集合为{p1,p2, ,pk}的一个向量,因此,H(p,t)[pj] = nj。pj在p的心跳 序列定义为随时间而变化的pj在p的心跳值的序列。D满足以下属性: (1) HB-完全性: 在每个正确进程 p,系统中每个故障进程 q 的心跳序列都是有界的。即: ?F,?HD(F),?p∈Correct(F),?q∈Crashed(F),?K∈Ν,?t∈ Γ: H(p,t)[q] ≤K (2) HB-精确性: 1) 在每个进程 p,系统中每个进程 q 的心跳序列都是非递减的。即: ?F,?HD(F),?p∈Π,?q∈Π,?t∈Γ:H(p,t)[q]≤H(p,t +1)[q] 2) 在每个正确进程 p,系统中每个正确进程 q 的心跳序列都是无界的。即 : ?F,?HD(F),?p∈Correct(F),?q∈Correct(F),?K∈Ν,?t∈ Γ: H(p,t)[q] K 下面,我们仍用 HB 表示上述定义的扩展后的心跳故障检测器。 3.2.2 扩展 HB 的实现 现在我们给出上面定义的扩展心跳故障检测器 HB 的具体实现,如算法 3.1 所示。 可以看到,每个进程 p 执行两个并发任务。在任务 1 中,进程 p 周期性地 增加自己的心跳值,并向它的所有邻居发送消息(HEARTBEAT,p)。在任务 2 中, 进程 p 处理接收到的形如(HEARTBEAT,path)的消息。当进程 p 从进程 q 收到 这个消息时,p 增加所有在 path 中出现在 p 之后的进程的心跳值;然后 p 把自己 添加到 path 的末尾,并把消息(HEARTBEAT,path)转发给在 path 中至多出现一 次的所有邻居。 下面证明算法 3.1 的正确性。 定理 3.1 算法 3.1 实现了 3.2.1 节定义的扩展心跳故障检测器。 证明:只要证明算法 3.1 中的心跳故障检测器满足扩展的 HB-完全性和 HB- 精确性即可。 (1) HB-完全性: 分三步来证明。 1) 首先,由算法可知,如果进程 p 发送消息(HEARTBEAT,path),那么 p - 14 - 1.3、县级调度自动化系统概念及作用 2.1.1 县级调度自动化系统概念2.1.1 县级调度自动化系统概念 县级调度自动化系统主要功能是收集、处理电网运行实时信息,通过人机联系对电 网运行状况集中而有选择地显示出来进行监控,并完成经济调度和安全分析等功能。主 要作用是对电力系统进行安全监控、提高系统的运行水平、经济运行参数的辅助计算、 报表自动打印等[12]。 SCADA 系统在电网调度自动化系统中应用最为广泛,技术发展也最为成熟,现成 为电力调度不可缺少的工具。它对提高电网运行的可靠性、安全性与经济效减轻调度员 的负担,实现电力调度自动化与现代化,提高调度的效率和水平等面有着不可替代的作 用。在电力系统领域,SCADA 系统之上增加电力系统高级软件(PAS)功能,即构成 EMS 系统[4]。 县级调度自动化系统是电网调度自动化系统在县级调度的应用,是电网调度自动化 的一类特例,它具