路径函数相关硕士博士期刊学术论文 - 信丰网

路径函数相关论文

基于路径函数和BDD的网络可靠度分析

现有的二终端网络可靠度评估方法，多数基于不交积和，由于没有充分利用普遍存在的同构子网特性，导致存在大量冗余计算，无法适用于大型网......

期刊

二终端可靠性路径函数二叉决策图 terminal-pair reliability path function Binary Decision Diag

STFM需求规格说明及测试用例生成方法研究

目前需求工程中需求的描述方法主要分为三类：自然语言描述、半形式化方法和形式化方法。自然语言所描述的需求易于理解，但存在着描述......

学位

路径函数形式化方法需求规格说明测试用例测试方法

看过本文同时还关注