首页> 外文OA文献 >Formal Semantics of Models for Computational Engineering: A Case Study on Dynamic Fault Trees

【2h】

Formal Semantics of Models for Computational Engineering: A Case Study on Dynamic Fault Trees

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

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
David Coppit; Kevin J. Sullivan;
展开▼
作者单位

展开▼
年度 2000
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Research on a knowledge modelling methodology for fault diagnosis of machine tools based on formal semantics [J] . Zhou Qiang, Yan Ping, Xin Yang Advanced engineering informatics . 2017,第apra期

机译：基于形式语义的机床故障诊断知识建模方法研究
2. Towards a sound semantics for dynamic fault trees [J] . Rauzy Antoine, Bleriot-Fabre Chaire Reliability Engineering & System Safety . 2015,第octa期

机译：建立动态故障树的合理语义
3. 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期

机译：使用形式化模型检查对状态/事件故障树进行定性分析
4. Formal semantics of models for computational engineering: a case study on dynamic fault trees [C] . Coppit, D., Sullivan, . 2000

机译：计算工程模型的形式语义：以动态故障树为例
5. Numerical modeling and analysis of neotectonics in New Zealand: An integrated study of faults, lithosphere dynamics, continental collision and orogeny, and coupling of surface erosion with mantle processes. [D] . Liu, Zhen. 2003

机译：新西兰新构造的数值模拟和分析：断层，岩石圈动力学，大陆碰撞和造山作用以及地表侵蚀与地幔过程耦合的综合研究。
6. Dynamic Causal Modeling of Hippocampal Links within the Human Default Mode Network: Lateralization and Computational Stability of Effective Connections [O] . Vadim Ushakov, Maksim G. Sharaev, Sergey I. Kartashov, 2016

机译：人类默认模式网络内海马链接的动态因果模型：有效连接的横向化和计算稳定性
7. DEMONIC programming: a computational language for single-particle equilibrium thermodynamics, and its formal semantics. [O] . Samson Abramsky, Dominic Horsman 2015

机译：DEmONIC编程：单粒子平衡热力学的计算语言及其形式语义。
8. Synthetic Tree Model: A Formal Methodology for Fault Tree Construction. [R] . fussell, j. b. 1974

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

Formal Semantics of Models for Computational Engineering: A Case Study on Dynamic Fault Trees

著录项

引文网络

相似文献

相关主题

期刊订阅