Yuchang Mo
Recently, Z. Tang, and J. B. Dugan proposed a new algorithm (DEP-BDD) based on binary decision diagrams (BDD) for reliability analysis of phased-mission systems (PMS) with multimode failures. Although the variable ordering is very important from a practical point of view, it has not been treated dir...
Yuchang Mo, Jianmin Han, Zhizheng Zhang, Zhusheng Pan et al.
Modern distributed systems may nowadays consist of hundreds of thousands of computing elements, and system design will go hand-in-hand by means of a partly bottom-up approach in which computing elements are glued together into a full-fledged system that can scale beyond imagination. This new kind of...
Yuchang Mo, Farong Zhong, Huawen Liu, Quansheng Yang et al.
In BDD-based fault tree analysis, the size of BDD encoding fault trees heavily depends on the chosen ordering. From a theoretical point of view, finding the best ordering is an intractable task. So, heuristics are used to get good orderings. The most simple, and often one of the best heuristics is d...