CAJ | 학술논문

针对带路径约束的双端网络可靠性分析问题，即一个数据包从 S 点发送到 T 点，必须经过中间若干个节点，并且经过这些节点的先后顺序具有一定约束，提出了基于 BDD 的可靠性分析算法。该算法基于边扩展图实现路径约束，即在边扩展过程中只保留符合条件的约束路径，然后构建 BDD 以及进行双端网络可靠性分析。实例分析结果验证了算法的可行性和有效性。
침대대로경약속적쌍단망락가고성분석문제，즉일개수거포종 S 점발송도 T 점，필수경과중간약간개절점，병차경과저사절점적선후순서구유일정약속，제출료기우 BDD 적가고성분석산법。해산법기우변확전도실현로경약속，즉재변확전과정중지보류부합조건적약속로경，연후구건 BDD 이급진행쌍단망락가고성분석。실례분석결과험증료산법적가행성화유효성。
For the terminal-pair network reliability analysis with path constraints ,i .e .,a data packet being transmitted from the source node S to the sink node T ,must pass through some nodes between S and T ,which nodes are constraint in sequence .A new reliability analysis algorithm based on BDD is proposed in this paper .The edge expansion diagram is used to implement path constraint ,in which the constraint paths simply are kept ,then the corresponding BDD is constructed and terminal-pair network relia-bility is analyzed .The experimental results show that the proposed algorithm is feasible and effective .