林业信息系统模型检测应用方法研究 |
| |
引用本文: | 吴迪,纪明宇,谭克山,王慧,张谨.林业信息系统模型检测应用方法研究[J].电脑学习,2014(2). |
| |
作者姓名: | 吴迪 纪明宇 谭克山 王慧 张谨 |
| |
作者单位: | 东北林业大学信息与计算机工程学院; |
| |
基金项目: | 全国大学生创新创业训练计划项目(201310225064) |
| |
摘 要: | 模型检测作为一种形式化验证技术已成功应用于硬件以及协议的性质验证过程,目前正转向软件验证领域并逐渐扩展其应用范围。针对特定的森林防火专家系统的知识库规则,研究其所需满足的性质规范的形式化验证问题。首先将规则体描述为状态迁移图,通过引入转换函数对状态迁移图的变迁过程及状态性质进行了有效说明,然后将性质规范描述为相应的时序逻辑表达式,最后通过实例对模型检测过程进行了详细说明,本文的研究成果有效地说明了将模型检测应用于森林防火专家系统等林业信息系统的可行性与正确性。
|
关 键 词: | 模型检测 知识库模型 状态迁移图 时序逻辑 |
本文献已被 CNKI 等数据库收录! |
|