一种基于规则化描述方法的验证技术
- 出版年：2010
- 作者：肖冰冰；张维勇；毕翔
- 单位1：合肥工业大学安全关键工业测控技术教育部工程研究中心
- 出生年：1985
- 学历：硕士生
- 语种：中文
- 作者关键词：规则化描述方法；基于规则的系统；逻辑验证；皮带运输控制系统
- 起始页：674
- 总页数：5
- 经费资助：安徽省2007年度重点科研计划资助项目（7020303064）；合肥工业大学科学研究发展基金资助项目（070503F）
- 刊名：合肥工业大学学报（自然科学版）
- 是否内版：否
- 刊频：月刊
- 创刊时间：1956
- 主管单位：中华人民共和国教育部
- 主办单位：合肥工业大学
- 主编：何晓雄
- 地址：合肥市屯溪路193号
- 邮编：230009
- 电子信箱：hefe@chinajournal.net.cn；XBZK@hfut.edu.cn
- 卷：33
- 期：5
- 期刊索取号：P806.6 223
- 数据库收录：美国《化学文摘》(CA)收录；美国《数学评论》(MR)收录；俄罗斯《文摘杂志》(AJ)收录；德国《数学文摘》(Zbl MATH)收录；美国《剑桥科学文摘》(CSA)收录；中国科技论文统计源期刊（中国科技核心期刊）来源期刊；中国科学引文数据库(CSCD)来源期刊；中国科技论文与引文数据库(CSTPCD)来源期刊；中国期刊全文数据库(CJFD)来源期刊；中国学术期刊综合评价数据库(CAJCED)来源期刊；中文科技期刊数据库来源期刊；中国知网（CNKI)全文收录；万方数据——数字化期刊群全文收录；维普信息资源系
- 核心期刊：中文核心期刊；中国科技核心期刊
摘要
摘要：基于规则化描述方法已经在很多安全关键领域得到了应用，为了保证系统的安全性与可靠性，在系统投入使用之前必须进行验证。文章总结了目前采用的各种验证技术和工具，提出了一种能够检验文中给出的各种结构性错误的简单、高效、易于实现自动化的算法，并以皮带运输控制系统为实例进行了验证。