计算机与应用化学
計算機與應用化學
계산궤여응용화학
COMPUTERS AND APPLIED CHEMISTRY
2012年
6期
741-744
,共4页
扩展有限状态机%数据依赖%安全分析
擴展有限狀態機%數據依賴%安全分析
확전유한상태궤%수거의뢰%안전분석
针对化工过程间安全分析问题,结合计算机领域中数据依赖技术,提出一种新的应用于化工过程的安全分析解决方案.以双容水槽液位控制系统为实例,分析工艺流程和变量之间的关系,从中提取9个状态,10个迁移过程以及迁移的条件、事件及执行过程等信息,建立其扩展有限状态机模型.通过考察迁移T8中L2变量,分析其数据依赖关系路径,确定数据依赖正负影响关系,实现基于数据依赖的化工过程安全分析新方法,并通过对T4中L2变量的分析验证了所提方法的有效性,使得扩展有限状态机数据依赖技术成为计算机自动推理来实现化工过程的安全分析的一种新的有效方法.
針對化工過程間安全分析問題,結閤計算機領域中數據依賴技術,提齣一種新的應用于化工過程的安全分析解決方案.以雙容水槽液位控製繫統為實例,分析工藝流程和變量之間的關繫,從中提取9箇狀態,10箇遷移過程以及遷移的條件、事件及執行過程等信息,建立其擴展有限狀態機模型.通過攷察遷移T8中L2變量,分析其數據依賴關繫路徑,確定數據依賴正負影響關繫,實現基于數據依賴的化工過程安全分析新方法,併通過對T4中L2變量的分析驗證瞭所提方法的有效性,使得擴展有限狀態機數據依賴技術成為計算機自動推理來實現化工過程的安全分析的一種新的有效方法.
침대화공과정간안전분석문제,결합계산궤영역중수거의뢰기술,제출일충신적응용우화공과정적안전분석해결방안.이쌍용수조액위공제계통위실례,분석공예류정화변량지간적관계,종중제취9개상태,10개천이과정이급천이적조건、사건급집행과정등신식,건립기확전유한상태궤모형.통과고찰천이T8중L2변량,분석기수거의뢰관계로경,학정수거의뢰정부영향관계,실현기우수거의뢰적화공과정안전분석신방법,병통과대T4중L2변량적분석험증료소제방법적유효성,사득확전유한상태궤수거의뢰기술성위계산궤자동추리래실현화공과정적안전분석적일충신적유효방법.
