单项选择题 在电力机车上使用的DK-1型电空制动机，其用于控制全列车的制动和缓解的器件为（）。

单项选择题 在故障树诊断方法中，基本门不包括（）。

单项选择题 在几种常见的故障诊断方法中，（）故障诊断方法在构建故障模型时，通过使用布尔函数来表示设备状态。