42-DL／T 774-2015 火力发电厂热工自动化系统检修运行维护规程DL/T774—2015 目次 前言… 1汽围 2规范性引川文件 3术语和定义… 4计算机监控系统 4Ⅰ基木检修项目及质量要求 1中■ 4.2试验项目与技术标准… 4.3运行维扩 15 5检测仪表及装置 5.1某本椅修与校验 19 52通用检测仪表检修与校验 22 5.3温度检测仪表检修与校验 …27 下力测量仪表检修与校验 5.5液位测量仪表的检修与校验 35 5.6流量測仪表你检修与校验 39 57氧化锆氢量分析器 5

目前对于通信状态机的研究已经很广泛，但对于通信状态机的错误诊断方法的研究不多，已有的问题模型都是输出错误和转换错误。.为了更好地将错误诊断与实际相结合，本文在一般的通信有限状态机模型上，新增了一种不可执行的情况，并在传统的问题模型中新增一种转.换未执行错误的问题模型。在假设单个错误的情况下，提出了一整套新的错误诊断算法，算法通过分析症状信息进行分步检测，并利用可疑转.换下一步输入输出和用例的转换序列等信息来定位出单个错误。最后，文中给出一个实例，详细描述了算法的诊断过程。