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

• 作者: 吴迪 张谨 王慧 纪明宇 谭克山
• 来源期刊: 智能计算机与应用
• 学科: 工学
• 关键词: 模型检测 知识库模型 状态迁移图 时序逻辑
• 年，卷（期）: 2014,（2）
• 页码范围: 117-119
• 页数: 3页
• 分类号: TP311
• 字数: 2229字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王慧	东北林业大学信息与计算机工程学院	50	251	8.0	13.0
2	吴迪	东北林业大学信息与计算机工程学院	43	196	7.0	13.0
3	纪明宇	东北林业大学信息与计算机工程学院	11	15	3.0	3.0
4	谭克山	东北林业大学信息与计算机工程学院	1	0	0.0	0.0
5	张谨	东北林业大学信息与计算机工程学院	1	0	0.0	0.0