The properties of the paths in an ROBDD representation of a Boolean function are presented and proved in the present paper, and the applications of ROBDD in calculating signal probability are also discussed. By this m...The properties of the paths in an ROBDD representation of a Boolean function are presented and proved in the present paper, and the applications of ROBDD in calculating signal probability are also discussed. By this method, the troublesome calculation of the correlation among the nodes, which is caused by the re-convergent fan-out in digital system, can be avoided and power estimation can be faster than simulation-based method in [1].展开更多
An enhanced ordered binary decision diagram （EOBDD） algorithm is proposed to evaluate the reliability of wireless sensor networks （WSNs）, based on the considerations of the common cause failure （CCF） and a large...An enhanced ordered binary decision diagram （EOBDD） algorithm is proposed to evaluate the reliability of wireless sensor networks （WSNs）, based on the considerations of the common cause failure （CCF） and a large number of nodes in WSNs. The EOBDD algorithm analyzes the common cause event （CCE） and the network structure when CCE takes place according to the stochastic graph and the CCF model of WSNs. After constructing the ordered binary decision diagram （OBDD） of the original network with node expansion, it uses a set of OBDD variables （SOV） to guide reliability computations along this OBDD. The two steps about OBDD can decrease the cost of OBDD constructions and storage. Furthermore, the efficient OBDD structure and Hash tables can greatly decrease redundant computations of isomorphs. The experiment results show that the EOBDD can be used to evaluate the reliability of WSN efficiently.展开更多
A short-time scaling criterion of variable ordering of OBDDs is proposed. By this criterion it is easy and fast to determine which one is better when several. variable orders are given, especially when they differ 10%...A short-time scaling criterion of variable ordering of OBDDs is proposed. By this criterion it is easy and fast to determine which one is better when several. variable orders are given, especially when they differ 10% or more in resulted BDD size from each other. An adaptive variable order selection method, based on the short-time scaling criterion, is also presented. The experimental results show that this method is efficient and it makes the heuristic variable ordering methods more practical.展开更多
文摘The properties of the paths in an ROBDD representation of a Boolean function are presented and proved in the present paper, and the applications of ROBDD in calculating signal probability are also discussed. By this method, the troublesome calculation of the correlation among the nodes, which is caused by the re-convergent fan-out in digital system, can be avoided and power estimation can be faster than simulation-based method in [1].
基金supported by the National Natural Science Foundation of China (60672086)the Hi-Tech Research and Development Program of China (2007AA01Z2A1, 2008AA01A316)the EUFPT Project EFIPSANS (215547), and the Foundation for Western Returned Chinese Scholars of the Ministry of Education
文摘An enhanced ordered binary decision diagram （EOBDD） algorithm is proposed to evaluate the reliability of wireless sensor networks （WSNs）, based on the considerations of the common cause failure （CCF） and a large number of nodes in WSNs. The EOBDD algorithm analyzes the common cause event （CCE） and the network structure when CCE takes place according to the stochastic graph and the CCF model of WSNs. After constructing the ordered binary decision diagram （OBDD） of the original network with node expansion, it uses a set of OBDD variables （SOV） to guide reliability computations along this OBDD. The two steps about OBDD can decrease the cost of OBDD constructions and storage. Furthermore, the efficient OBDD structure and Hash tables can greatly decrease redundant computations of isomorphs. The experiment results show that the EOBDD can be used to evaluate the reliability of WSN efficiently.
文摘A short-time scaling criterion of variable ordering of OBDDs is proposed. By this criterion it is easy and fast to determine which one is better when several. variable orders are given, especially when they differ 10% or more in resulted BDD size from each other. An adaptive variable order selection method, based on the short-time scaling criterion, is also presented. The experimental results show that this method is efficient and it makes the heuristic variable ordering methods more practical.
