|
|||||
|
|
| 一种基于规则化描述方法的验证技术 | |
| 引用本文： | 肖冰冰,张维勇,毕翔.一种基于规则化描述方法的验证技术[J].合肥工业大学学报(自然科学版),2010,33(5). |
| 作者姓名： | 肖冰冰 张维勇 毕翔 |
| 作者单位： | 合肥工业大学,安全关键工业测控技术教育部工程研究中心,安徽,合肥,230009 |
| 基金项目： | 安徽省重点科研计划资助项目，合肥工业大学科学研究发展基金 |
| 摘 要： | 基于规则化描述方法已经在很多安全关键领域得到了应用,为了保证系统的安全性与可靠性,在系统投入使用之前必须进行验证。文章总结了目前采用的各种验证技术和工具,提出了一种能够检验文中给出的各种结构性错误的简单、高效、易于实现自动化的算法,并以皮带运输控制系统为实例进行了验证。 |
| 关 键 词： | 规则化描述方法 基于规则的系统 逻辑验证 皮带运输控制系统 |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |