arrow
返回

Verifying signed directed graph models for process plants

delete1999-06-01
delete4
PRE
AI
C
Claire Palmer *
P
P.W.H. Chung
DOI:10.1016/S0098-1354(99)80096-9delete
delete原文链接
delete原文求助
delete分享
delete收藏
摘要

摘要

En 中文
Qualitative modelling using signed directed graphs is briefly described. The need for verification is discussed and the verification techniques for signed directed graph models of process plants are detailed.
Keyword:
qualitative modelling
signed directed graphs
verification
AI总结

AI总结

对已上传原文的论文进行重点信息的提取,主要内容包括:简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。

期刊

C
Computers and Chemical Engineering
IF:
3.9
论文数:
8.1K
被引数:
1.7W

机构

暂无机构信息
引用论文

引用论文

err分享
err收藏
Superficial Vein Thrombosis (SVT), Diffusion of Thrombotic Diseases, and Increased Global Thrombogenicity: SVT as an Important Spy Disease Indicating Environmental Contamination by Estrogens: Introduction
err2007-04-01
err0
PREAI
errGianni Belcaro; Maria Rosaria Cesarone; M. Corsi; Bruno Maria Errichi; Umberto Cornelli; Edmondo Ippolito; Silvia Errichi; Andrea Di Renzo; Andrea Ledda; Marisa Cacchio; Angelica Bottari; Maria Giovanna Grossi
err分享
err收藏
没有更多内容