用布尔代数化简法求事故树最小割集的步骤为（）。

根据编制的事故树的分析、评价结果来编制安全检查表。通过事故树进行定性分析，求出事故树的最小割集，按最小割集中基本事件的多少，找出系统中的薄弱环节，以这些薄弱环节作为安全检查的重点对象，编制成安全检查表。这种编制方法称为（）。

某事故树的割集有5个，分别为{X1，X2，X2}，{X1，X2，X4}，{X3，X4}，{X2，X4}和{X3}，则该事故树的最小割集有（）个

为了提高系统的可靠性和安全性，采取增加事故树最小割集数量或减少最小割集中基本事件个数的方法，降低顶上事件的发生概率。

求出事故树的（），就可明确只要控制住哪些其本事件，即可控制顶上事件不发生。

根据考试的目的和用途，考试可以分为学业考试、水平考试、个别考试。

为了保证天车的合理使用、安全运行和防止事故的发生，（）工必须了解天车的技术参数。

集团工单下载附件时，可以同时选择现同一工单的（）附件，同时下载。

时速250km有砟轨道路基工后沉降，一般地段工后沉降（）cm。

时速350km有砟轨道路基工后沉降，一般地段工后沉降（）cm。

提出立法、司法、行政、考试和监察工权分立思想的是（），他建立了五院分立制度。

调车专项整治中要求站段组织（）进行事故案例考试，真正吸取事故教训，增强干部职工责任心。