首页> 美国政府科技报告 >Synthetic Tree Model: A Formal Methodology for Fault Tree Construction.

【24h】

Synthetic Tree Model: A Formal Methodology for Fault Tree Construction.

机译：综合树模型：故障树构造的形式化方法。

获取原文

页面导航

摘要
著录项
相似文献
相关主题

摘要

For abstract,see NSA 28 03,number 07417.

著录项

作者
fussell, j. b.;
展开▼
作者单位

展开▼
年度 1974
页码 1-118
总页数 118
原文格式 PDF
正文语种 eng
中图分类工业技术;
关键词
computer codes; d codes; reactor safety; fault tree analysis; fault tree analysis; computer calculationsdesign; electric power; failures; optimization; planning; reactor components; reliability; scram;

机译：计算机代码; d代码;反应堆安全;故障树分析;故障树分析;计算机计算设计;电力;故障;优化;规划;反应堆组件;可靠性;急停;

相似文献

外文文献
中文文献
专利

1. Qualitative analysis for state/event fault trees using formal model checking [J] . Jiang Quan, Zhu Chunling, Wang Siqi Systems Engineering and Electronics, Journal of . 2019,第5期

机译：使用形式化模型检查对状态/事件故障树进行定性分析
2. A Formal Transformation Method for Automated Fault Tree Generation From a UML Activity Model [J] . Dickerson Charles E., Roslan Rosmira, Ji Siyuan Fortschritte der Physik . 2018,第3期

机译：从UML活动模型中自动故障树生成的正式转换方法
3. Interpretable logic tree analysis: A data-driven fault tree methodology for causality analysis [J] . Waghen Kerelous, Ouali Mohamed-Salah Expert Systems with Application . 2019,第Deca期

机译：可解释的逻辑树分析：因果关系分析的数据驱动故障树方法
4. Formal semantics of models for computational engineering: a case study on dynamic fault trees [C] . Coppit, D., Sullivan, . 2000

机译：计算工程模型的形式语义：以动态故障树为例
5. METHODOLOGY FOR SYSTEM ANALYSIS USING FAULT TREES, SUCCESS TREES, AND IMPORTANCE EVALUATIONS. [D] . SHARIRLI, MOHSEN. 1985

机译：使用故障树，成功树和重要性评估进行系统分析的方法。
6. Assessing food system vulnerabilities: a fault tree modeling approach [O] . Gwen M. Chodur, Xilei Zhao, Erin Biehl, 2018

机译：评估食品系统漏洞：故障树建模方法
7. Formal Semantics of Models for Computational Engineering: A Case Study on Dynamic Fault Trees [O] . David Coppit, Kevin J. Sullivan 2000

机译：计算工程模型的形式语义：以动态故障树为例

Synthetic Tree Model: A Formal Methodology for Fault Tree Construction.

摘要

著录项

相似文献

相关主题

期刊订阅