Title :
Parallel Implementation of OBDD-Based Splitting Surface Search for Power System
Author :
Li, Xiao ; Zhao, Qianchuan
Author_Institution :
Tsinghua Univ., Beijing
Abstract :
Parallel computational structure is helpful for many complicated problems, especially those which can be divided into multiple independent simpler sub-problems. The ordered binary decision diagrams (OBDD)-based splitting surface search algorithm owns this kind of dividability, derived from the associative law of Boolean expression and the dividability of matrix operation. We have implemented the algorithm with the parallel computation structure MPI to save up computing time. Customized verification is available on our interactive illustrative website http://obdd.cfins.au.tsinghua.edu.cn/ (login user name: mag, password: 199707).
Keywords :
Boolean functions; binary decision diagrams; power system analysis computing; Boolean expression; OBDD; customized verification; ordered binary decision diagrams; parallel computational structure; parallel implementation; power system; splitting surface search algorithm; Boolean functions; Clustering algorithms; Concurrent computing; Control systems; Data structures; Parallel processing; Partitioning algorithms; Power system analysis computing; Power systems; Testing; Controlled system separation; message-passing interface; ordered binary decision diagram; parallel computation; splitting surface; system splitting;
Journal_Title :
Power Systems, IEEE Transactions on
DOI :
10.1109/TPWRS.2007.907956
