2024年8月19日
星期一
|
欢迎来到贵州省图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
王慧
作品数:
1
被引量:0
H指数:0
供职机构:
东北林业大学信息与计算机工程学院
更多>>
发文基金:
国家大学生创新性实验计划
更多>>
相关领域:
自动化与计算机技术
更多>>
合作作者
吴迪
东北林业大学信息与计算机工程学...
张谨
东北林业大学信息与计算机工程学...
纪明宇
东北林业大学信息与计算机工程学...
作品列表
供职机构
相关作者
所获基金
研究领域
题名
作者
机构
关键词
文摘
任意字段
作者
题名
机构
关键词
文摘
任意字段
在结果中检索
文献类型
1篇
中文期刊文章
领域
1篇
自动化与计算...
主题
1篇
知识库
1篇
知识库模型
1篇
时序逻辑
1篇
状态迁移图
机构
1篇
东北林业大学
作者
1篇
纪明宇
1篇
张谨
1篇
王慧
1篇
吴迪
传媒
1篇
智能计算机与...
年份
1篇
2014
共
1
条 记 录,以下是 1-1
全选
清除
导出
排序方式:
相关度排序
被引量排序
时效排序
林业信息系统模型检测应用方法研究
2014年
模型检测作为一种形式化验证技术已成功应用于硬件以及协议的性质验证过程,目前正转向软件验证领域并逐渐扩展其应用范围。针对特定的森林防火专家系统的知识库规则,研究其所需满足的性质规范的形式化验证问题。首先将规则体描述为状态迁移图,通过引入转换函数对状态迁移图的变迁过程及状态性质进行了有效说明,然后将性质规范描述为相应的时序逻辑表达式,最后通过实例对模型检测过程进行了详细说明,本文的研究成果有效地说明了将模型检测应用于森林防火专家系统等林业信息系统的可行性与正确性。
吴迪
纪明宇
谭克山
王慧
张谨
关键词:
知识库模型
状态迁移图
时序逻辑
全选
清除
导出
共1页
<
1
>
聚类工具
0
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张