基于符号模型检测的符号有向图故障诊断解形式化验证

宁宁; 张骏; 高向阳

首页> 中文期刊> 《信息与控制》 >基于符号模型检测的符号有向图故障诊断解形式化验证

基于符号模型检测的符号有向图故障诊断解形式化验证

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

由于定量信息和非线性因果关系的丢失,符号有向图(SDG)的故障诊断解需要进一步进行校核与验证.将SDG故障诊断解的验证置于符号模型检测框架中进行研究,提出了基于符号模型检测的SDG故障诊断解形式化验证方法.首先定义了SDG模型的有限状态变迁系统形式化描述,建立了符号模型检测(SMV)模型;其次引入故障传播时间定义了模型观测变量的动态验证信息,提出了基于步进式监控的动态推理验证策略;然后扩展了动态推理验证过程的SMV模型,提出了验证算法SSDGFD SMC;最后,通过一个简单贮水罐系统的SDG模型实例验证了算法SSDGFD SMC的有效性.

著录项

来源
《信息与控制》 |2010年第4期|423-429|共7页
作者
宁宁; 张骏; 高向阳;
展开▼
作者单位

西北工业大学自动化学院;

展开▼
原文格式 PDF
正文语种 chi
中图分类调整、测试;
关键词
SDG模型; 符号模型检测; 动态验证信息; 动态验证策略;

相似文献

中文文献
外文文献
专利

1. 基于符号模型检测的Web服务组合形式化验证 [J] . 张世杰 ,徐鹏 ,刘沛瑶 . 计算机与数字工程 . 2021,第003期
2. 基于定性符号有向图模型的故障诊断方法研究 [J] . 金赛赛 ,黄考利 ,张西山 . 电子器件 . 2014,第002期
3. 基于符号有向图模型的故障诊断方法 [J] . 王伟 ,于达仁 ,赵辉 . 动力工程学报 . 2007,第005期
4. 基于符号有向图节点定量化模型的故障诊断方法 [J] . 曹文亮 ,王兵树 ,马进 . 中国电机工程学报 . 2006,第7期
5. 主元统计法与符号有向图模型相结合的故障诊断方法 [J] . 曹文亮 ,王兵树 ,马良玉 . 动力工程学报 . 2005,第006期
6. 基于符号有向图的建筑能耗模型校验方法 [C] . 杨陶 ,潘毅群 ,谢建彤 . 2017年全国暖通空调模拟学术年会 . 2017
7. 基于分层模糊符号有向图模型的故障诊断方法及其应用 [A] . 赵靓 . 2015

基于符号模型检测的符号有向图故障诊断解形式化验证

摘要

著录项

相似文献

相关主题

期刊订阅