SDG模型

作品数：21被引量：91H指数：7
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：孟冬梅萧德云张贝克刘海鸥刘敏华更多>>
相关机构：北京化工大学北京理工大学清华大学哈尔滨工业大学更多>>
相关期刊：《航空维修与工程》《电源技术》《机械强度》《控制与决策》更多>>
相关基金：国家高技术研究发展计划国家自然科学基金黑龙江省科技攻关计划山西省回国留学人员科研经费资助项目更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=系统工程与电子技术x
共 条 记 录，以下是1-1
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于符号模型检测的SDG模型可诊断性验证被引量：2
《系统工程与电子技术》2011年第2期390-394,共5页宁宁 张骏 高向阳 薛静 
由于定量信息和非线性因果关系的丢失,符号有向图(signed directed graph,SDG)模型的可诊断性需要进一步地进行校核与验证。为此,提出了基于符号模型检测的SDG模型可诊断性形式化验证方法。首先定义了SDG模型的有限状态变迁系统形式化描...
关键词：有向图形学 可诊断性 符号模型检测 符号有向图模型 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部