关键词：故障树分析 安全性分析 最小割集 可满足性问题 

摘要：故障树分析广泛应用于核工业、航空航天和交通控制等安全攸关领域的安全性分析。求解故障树的最小割集是故障树分析的关键步骤。目前，对于大规模故障树的最小割集的求解方法主要是将故障树转化为二元决策图之后求解，其主要缺点在于算法在时间和空间上的消耗严重依赖良好的变量顺序。为了减少存储资源并加快求解速度，提出了一种基于可满足性问题的故障树最小割集求解算法。首先，将求解故障树最小割集问题转化为求解布尔可满足性问题。然后，利用可满足性问题求解器，通过迭代分析求得最小可满足解集合，即为对应故障树的最小割集。实验表明，本文算法求得的最小割集准确、有效并且在空间和时间上的消耗均要优于传统的基于二元决策图的故障树最小割集求解算法。

计算机工程与科学杂志要求:

{1}参考文献是论文引文的出处或参阅的各种书刊资料，其文献项目和要素须集中列在论文的文末。

{2}切勿一稿两投，一旦发现一稿两投，将立即退稿；而一旦发现一稿两用，本刊将刊登该文系重复发表的声明，并在2年内拒绝以该文第一作者为作者的任何来稿。

{3}稿件投往本刊3个月后未被采用，作者可另行处理。

{4}文题应恰当，简明地反映文章的主题，尽量不用外文缩略语，一般不设副题，中文题名不超过20个汉字，英文题名应与中文题名含义一致，一般不超过10个实词，通栏居中书写。

{5}作者单位：单位全称、邮政编码及单位所在地名，并提供第一作者的年龄、性别、籍贯、技术职称、学历等信息。

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社