合肥工业大学学报（自然科学版）
閤肥工業大學學報（自然科學版）
합비공업대학학보（자연과학판）
JOURNAL OF HEFEI UNIVERSITY OF TECHNOLOGY(NATURAL SCIENCE)
2010年
10期
1501-1505
,共5页
刘震%方敏%罗来豹%李加良
劉震%方敏%囉來豹%李加良
류진%방민%라래표%리가량
形式验证%常压炉%混合系统%混合自动机
形式驗證%常壓爐%混閤繫統%混閤自動機
형식험증%상압로%혼합계통%혼합자동궤
文章运用基于流管道的混合动态系统形式验证方法,解决了常压炉加热系统工艺参数的验证问题;通过对常压炉加热系统的运行机理进行分析并建立混合自动机模型,应用状态可达集的过近似方法计算近似流管道;通过对近似流管道的分析,验证常压炉加热系统设定的燃料流量是否满足生产工艺要求;经多次验证,最终得到了燃料流量的取值范围.
文章運用基于流管道的混閤動態繫統形式驗證方法,解決瞭常壓爐加熱繫統工藝參數的驗證問題;通過對常壓爐加熱繫統的運行機理進行分析併建立混閤自動機模型,應用狀態可達集的過近似方法計算近似流管道;通過對近似流管道的分析,驗證常壓爐加熱繫統設定的燃料流量是否滿足生產工藝要求;經多次驗證,最終得到瞭燃料流量的取值範圍.
문장운용기우류관도적혼합동태계통형식험증방법,해결료상압로가열계통공예삼수적험증문제;통과대상압로가열계통적운행궤리진행분석병건립혼합자동궤모형,응용상태가체집적과근사방법계산근사류관도;통과대근사류관도적분석,험증상압로가열계통설정적연료류량시부만족생산공예요구;경다차험증,최종득도료연료류량적취치범위.
