论文部分内容阅读
SDG—HAZOP(Hazard and Operability Study)建模软件是基于SDG(Single Directed Graph)方法进行建模推理的。该软件的应用领域十分广泛,目前主要应用于化工过程的安全评价。应用该软件对工艺流程进行安全评价后可对生产起到积极的指导作用。但该软件是定性建模,不包含定量信息。针对该软件的不足,本文提出了结合脚本实时解释执行以改进SDG深层知识推理的扩展能力的思路。基于该思路,本文开发实现了基于SDH-HAZOP的类C语言解释器。并将所实现的解释器应用在蒸汽过热炉的SDG-HAZOP安全评价案例中,证明了方案的可行性。在解释器的实现过程中,本文首先研究了编译器技术,在此基础上设计了实现方案,主要包括:设计类C语言;研究词法分析理论和方法,构造词法分析的有穷自动机;设计类C的文法,构造了分析表;讨论了语法树的构造过程以及在语法语义分析过程中使用到的数据结构;设计符号表和函数表。