公共文化服务平台

共 1 条记录，以下是 1-1

全选清除导出

排序方式：

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

全选清除导出

共1页<1>

国家自然科学基金(6080503860725309)