用时序和逻辑规则形成动态故障树的紧缩Markov链

文件格式： PDF文档
文件大小： 321.9 KB
资源类别： 计算机
关键词： 紧缩   故障   逻辑   动态   规则
进入标准下载页面
本资源下载需 1 点

论文简介

用时序和逻辑规则形成动态故障树的紧缩Markov链
相关推荐