常压炉加热系统形式建模的验证

出版年：2010
作者：刘震；方敏；罗来豹；李加良
单位1：合肥工业大学电气与自动化工程学院
单位2：中国科学院固体物理研究所
出生年：1981
学历：硕士
语种：中文
作者关键词：形式验证；常压炉；混合系统；混合自动机
起始页：1501
总页数：5
刊名：合肥工业大学学报（自然科学版）
是否内版：否
刊频：月刊
创刊时间：1956
主管单位：中华人民共和国教育部
主办单位：合肥工业大学
主编：何晓雄
地址：合肥市屯溪路193号
邮编：230009
电子信箱：hefe@chinajournal.net.cn；XBZK@hfut.edu.cn
卷：33
期：10
期刊索取号：P806.6 223
数据库收录：美国《化学文摘》(CA)收录；美国《数学评论》(MR)收录；俄罗斯《文摘杂志》(AJ)收录；德国《数学文摘》(Zbl MATH)收录；美国《剑桥科学文摘》(CSA)收录；中国科技论文统计源期刊（中国科技核心期刊）来源期刊；中国科学引文数据库(CSCD)来源期刊；中国科技论文与引文数据库(CSTPCD)来源期刊；中国期刊全文数据库(CJFD)来源期刊；中国学术期刊综合评价数据库(CAJCED)来源期刊；中文科技期刊数据库来源期刊；中国知网（CNKI)全文收录；万方数据——数字化期刊群全文收录；维普信息资源系

摘要

文章运用基于流管道的混合动态系统形式验证方法，解决了常压炉加热系统工艺参数的验证问题；通过对常压炉加热系统的运行机理进行分析并建立混合自动机模型，应用状态可达集的过近似方法计算近似流管道；通过对近似流管道的分析，验证常压炉加热系统设定的燃料流量是否满足生产工艺要求；经多次验证，最终得到了燃料流量的取值范围。