期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于符号模型检测的符号有向图故障诊断解形式化验证
被引量:
1
1
作者
宁宁
张骏
高向阳
《信息与控制》
CSCD
北大核心
2010年第4期423-429,共7页
由于定量信息和非线性因果关系的丢失,符号有向图(SDG)的故障诊断解需要进一步进行校核与验证.将SDG故障诊断解的验证置于符号模型检测框架中进行研究,提出了基于符号模型检测的SDG故障诊断解形式化验证方法.首先定义了SDG模型的有限状...
由于定量信息和非线性因果关系的丢失,符号有向图(SDG)的故障诊断解需要进一步进行校核与验证.将SDG故障诊断解的验证置于符号模型检测框架中进行研究,提出了基于符号模型检测的SDG故障诊断解形式化验证方法.首先定义了SDG模型的有限状态变迁系统形式化描述,建立了符号模型检测(SMV)模型;其次引入故障传播时间定义了模型观测变量的动态验证信息,提出了基于步进式监控的动态推理验证策略;然后扩展了动态推理验证过程的SMV模型,提出了验证算法SSDGFD SMC;最后,通过一个简单贮水罐系统的SDG模型实例验证了算法SSDGFD SMC的有效性.
展开更多
关键词
SDG模型
符号模型检测
动态
验证
信息
动态验证策略
下载PDF
职称材料
题名
基于符号模型检测的符号有向图故障诊断解形式化验证
被引量:
1
1
作者
宁宁
张骏
高向阳
机构
西北工业大学自动化学院
出处
《信息与控制》
CSCD
北大核心
2010年第4期423-429,共7页
基金
国家自然科学基金资助项目(6080503860725309)
国家863计划资助项目(2006AA04Z258)
文摘
由于定量信息和非线性因果关系的丢失,符号有向图(SDG)的故障诊断解需要进一步进行校核与验证.将SDG故障诊断解的验证置于符号模型检测框架中进行研究,提出了基于符号模型检测的SDG故障诊断解形式化验证方法.首先定义了SDG模型的有限状态变迁系统形式化描述,建立了符号模型检测(SMV)模型;其次引入故障传播时间定义了模型观测变量的动态验证信息,提出了基于步进式监控的动态推理验证策略;然后扩展了动态推理验证过程的SMV模型,提出了验证算法SSDGFD SMC;最后,通过一个简单贮水罐系统的SDG模型实例验证了算法SSDGFD SMC的有效性.
关键词
SDG模型
符号模型检测
动态
验证
信息
动态验证策略
Keywords
SDG model
symbolic model checking
dynamic verification information
dynamic verification strategy
分类号
TP206 [自动化与计算机技术—检测技术与自动化装置]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于符号模型检测的符号有向图故障诊断解形式化验证
宁宁
张骏
高向阳
《信息与控制》
CSCD
北大核心
2010
1
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部