形成碳化物。碳化物是指，碳与电负性比它小的或者相近的元素（除氢外）所生成的二元化合物，碳化物都具有较高的熔点，大多数碳化物都是碳与金属在高温下反应得到的。从元素的属性划分为金属碳化物和非金属碳化物，例如残余奥氏体分解会形成碳化物。

⑴单点失效是指由单点故障引起并直接导致违背安全目标的失效，即诊断覆盖率为0的要素的残余失效。

⑵双点失效是指由两个独立故障的组合引起并且会直接导致违背安全目标的失效。也就是说，必须要求两个独立故障发生且直接导致违背安全目标。