Constraint analysis for extended dynamic fault tree
As a new extension of dynamic fault trees,time delay gate was proposed.This new mechanism can be used to model the time delay on the fault propagation from the lower level subsystems to the higher level system.The dynamic Bayesian networks was extend to solve the dynamic fault trees containing time...
Saved in:
| Main Authors: | , , , , , |
|---|---|
| Format: | Article |
| Language: | zho |
| Published: |
Editorial Department of Journal on Communications
2017-09-01
|
| Series: | Tongxin xuebao |
| Subjects: | |
| Online Access: | http://www.joconline.com.cn/zh/article/doi/10.11959/j.issn.1000-436x.2017156/ |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1841539510640312320 |
|---|---|
| author | Qi-xuan WU Jian-feng MA Cong SUN Shuai ZHANG Shuang ZHANG Tao ZHENG |
| author_facet | Qi-xuan WU Jian-feng MA Cong SUN Shuai ZHANG Shuang ZHANG Tao ZHENG |
| author_sort | Qi-xuan WU |
| collection | DOAJ |
| description | As a new extension of dynamic fault trees,time delay gate was proposed.This new mechanism can be used to model the time delay on the fault propagation from the lower level subsystems to the higher level system.The dynamic Bayesian networks was extend to solve the dynamic fault trees containing time delay gates.An algorithm based on SMT to support the optimized failure distribution under the nondeterministic range constraint of basic events was also proposed.The effectiveness is shown by comparison with existing tools on analyzing and solving real systems,and the effects of range constraints and gate parameter on the failure distribution of systems is illustrated. |
| format | Article |
| id | doaj-art-6c16a308ceae47a899e4c68eb14cd97d |
| institution | Kabale University |
| issn | 1000-436X |
| language | zho |
| publishDate | 2017-09-01 |
| publisher | Editorial Department of Journal on Communications |
| record_format | Article |
| series | Tongxin xuebao |
| spelling | doaj-art-6c16a308ceae47a899e4c68eb14cd97d2025-01-14T07:13:02ZzhoEditorial Department of Journal on CommunicationsTongxin xuebao1000-436X2017-09-013815916659712407Constraint analysis for extended dynamic fault treeQi-xuan WUJian-feng MACong SUNShuai ZHANGShuang ZHANGTao ZHENGAs a new extension of dynamic fault trees,time delay gate was proposed.This new mechanism can be used to model the time delay on the fault propagation from the lower level subsystems to the higher level system.The dynamic Bayesian networks was extend to solve the dynamic fault trees containing time delay gates.An algorithm based on SMT to support the optimized failure distribution under the nondeterministic range constraint of basic events was also proposed.The effectiveness is shown by comparison with existing tools on analyzing and solving real systems,and the effects of range constraints and gate parameter on the failure distribution of systems is illustrated.http://www.joconline.com.cn/zh/article/doi/10.11959/j.issn.1000-436x.2017156/time delay gatedynamic fault treedynamic Bayesian networksatisfiability modulo theory |
| spellingShingle | Qi-xuan WU Jian-feng MA Cong SUN Shuai ZHANG Shuang ZHANG Tao ZHENG Constraint analysis for extended dynamic fault tree Tongxin xuebao time delay gate dynamic fault tree dynamic Bayesian network satisfiability modulo theory |
| title | Constraint analysis for extended dynamic fault tree |
| title_full | Constraint analysis for extended dynamic fault tree |
| title_fullStr | Constraint analysis for extended dynamic fault tree |
| title_full_unstemmed | Constraint analysis for extended dynamic fault tree |
| title_short | Constraint analysis for extended dynamic fault tree |
| title_sort | constraint analysis for extended dynamic fault tree |
| topic | time delay gate dynamic fault tree dynamic Bayesian network satisfiability modulo theory |
| url | http://www.joconline.com.cn/zh/article/doi/10.11959/j.issn.1000-436x.2017156/ |
| work_keys_str_mv | AT qixuanwu constraintanalysisforextendeddynamicfaulttree AT jianfengma constraintanalysisforextendeddynamicfaulttree AT congsun constraintanalysisforextendeddynamicfaulttree AT shuaizhang constraintanalysisforextendeddynamicfaulttree AT shuangzhang constraintanalysisforextendeddynamicfaulttree AT taozheng constraintanalysisforextendeddynamicfaulttree |