林业信息系统模型检测应用方法研究

编号 zgly0000902497

文献类型 期刊论文

文献题名 林业信息系统模型检测应用方法研究

作者 吴迪  纪明宇  谭克山  王慧  张谨 

作者单位 东北林业大学信息与计算机工程学院 

母体文献 智能计算机与应用 

年卷期 2014(2)

页码 117-119

年份 2014 

关键词 模型检测  知识库模型  状态迁移图  时序逻辑 

文摘内容 模型检测作为一种形式化验证技术已成功应用于硬件以及协议的性质验证过程,目前正转向软件验证领域并逐渐扩展其应用范围。针对特定的森林防火专家系统的知识库规则,研究其所需满足的性质规范的形式化验证问题。首先将规则体描述为状态迁移图,通过引入转换函数对状态迁移图的变迁过程及状态性质进行了有效说明,然后将性质规范描述为相应的时序逻辑表达式,最后通过实例对模型检测过程进行了详细说明,本文的研究成果有效地说明了将模型检测应用于森林防火专家系统等林业信息系统的可行性与正确性。