关键词：随机混成自动机 统计模型检测 随机系统 动态故障树 安全性分析 

摘要：动态故障树(dynamic fault tree,DFT)是对系统进行安全性分析的重要手段,基于马尔可夫链的DFT求解方法存在3个难题:一是仅可分析故障概率为指数分布的系统;二是无法分析共因失效情况;三是可能导致状态空间爆炸。因此提出一种基于统计模型检测的DFT定量分析方法。首先将DFT分解为动态逻辑门、基本构件、共因失效关系、门门和门构件间的逻辑关系;其次将动态逻辑门、基本构件和共因失效关系基于随机混成自动机形式化规约;然后通过逻辑关系重构自动机,形成随机混成自动机网络;最后通过分析一个具有共因失效关系的服从多失效概率分布的飞机结冰探测系统,表明所提方法的有效性。

系统工程与电子技术杂志要求:

{1}来稿需在文章后附上作者姓名、单位、邮箱、详细地址、联系方式以及作者简介。作者简介要求写清作者姓名、性别、出生年月、籍贯、职称（如有），研究方向等。

{2}本集刊刊登的所有文章，未经授权，一律不得转载、摘发、翻译，一经发现，将追究法律责任。

{3}文题要简明地反映文章内容，一般不宜超过20个字，作者姓名排在文题下。

{4}参考文献。在正文引用文献处按顺序以角注形式标出。

{5}摘要文字量50～300字。试验研究和专题研究类论文，应写成报道性摘要。

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