基于开源组件的SDG推理平台.pdf

No．7 第6l卷第7期 化工学报 V01．61 CIESC 2010 20lo年7月 Journal July 基于开源组件的SDG推理平台 王杭州，陈丙珍，何小荣，赵劲松，邱 彤 (清华大学化学工程系，北京100084) 摘要：符号有向图(sDG)是定性研究化工过程中变量问关系的有力工具，利用SDG的正向反向推理机制可以快 速发掘出系统中变量之间影响的因果关系，不仅可以用于在线的故障诊断，还可以用于离线的危险和可操作性 (HAz0P)分析。近年来。随着计算机和信息技术的发展，人们利用GensymG2或者C++开发了一些针对特定研 究体系的SDG模型的计算机辅助推理系统，但是，目前还没有一个通用的SDG推理平台。为促进SDG在科研和 教学中的广泛应用，本文介绍了通过公共组件来搭建的一套开放体系的缸B推理平台系统，这是服务器／浏览器结 构的推理平台，使用方便，维护便捷。使用这套系统，可以方便地绘制特定研究体系的sDG模型的图形；可以快 速建立针对特定研究体系的SDG系统并且进行相应的推理分析。本文通过一个例子演示了如何在SDG推理平台上 建立特定ScG推理系统的方法，之后通过对两个研究体系建立S￡B推理系统来展现该平台的有效性。 关键词：符号有向图；推理机；开源组件；浏览器／服务器结构 018 中图分类号：TQ 文献标识码：A source inferenceframework open signeddigraph WANG HE Hangzhou，CHENBingzhen。Xiaorong，ZHAOJinsong，QIUTong 100084，C^i咒口) (D已pnr￡优P竹to，C^Pmif口ZE咒gi，zP口ri以g，丁li咒g^纰Uhiz孵r5f￡y，BP巧ing causalmodelsare usedtomodelthecauseandeffectbehaviorof Abstract：Digraph—based widely process thedirectionoftheeffectaswell．SDG can the systems．Signeddigraphs(SDG)capture reasoningidentify of acertainnodeoVerwhole asa thedeviationat the S亡IG，and an propagationpath result，playsimportant r01enot inonlinefault butalsoinofflinehazardand only diagnosis， operability(HAZ()P)analysis．In recent various havebeen touseSDG asan t001inthe years， packages devel