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].展开更多
Selection of the crusher required a great deal of design regarding to the mine planning. Selection of suitable primary crusher from all of available primary crushers is a multi-criterion decision making(MCDM) problem....Selection of the crusher required a great deal of design regarding to the mine planning. Selection of suitable primary crusher from all of available primary crushers is a multi-criterion decision making(MCDM) problem. The present work explores the use of technique for order performance by similarity to ideal solution(TOPSIS) with fuzzy set theory to select best primary crusher for Golegohar Iron Mine in Iran. Gyratory, double toggle jaw, single toggle jaw, high speed roll crusher, low speed sizer, impact crusher, hammer mill and feeder breaker crushers have been considered as alternatives. Also, the capacity, feed size, product size, rock compressive strength, abrasion index and application of primary crusher for mobile plants were considered as criteria for solution of this MCDM problem. To determine the order of the alternatives, closeness coefficient is defined by calculating the distances to the fuzzy positive ideal solution(FPIS) and fuzzy negative ideal solution(FNIS). Results of our work based on fuzzy TOPSIS method show that the gyratory is the best primary crusher for the studied mine.展开更多
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.展开更多
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.展开更多
文摘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].
文摘Selection of the crusher required a great deal of design regarding to the mine planning. Selection of suitable primary crusher from all of available primary crushers is a multi-criterion decision making(MCDM) problem. The present work explores the use of technique for order performance by similarity to ideal solution(TOPSIS) with fuzzy set theory to select best primary crusher for Golegohar Iron Mine in Iran. Gyratory, double toggle jaw, single toggle jaw, high speed roll crusher, low speed sizer, impact crusher, hammer mill and feeder breaker crushers have been considered as alternatives. Also, the capacity, feed size, product size, rock compressive strength, abrasion index and application of primary crusher for mobile plants were considered as criteria for solution of this MCDM problem. To determine the order of the alternatives, closeness coefficient is defined by calculating the distances to the fuzzy positive ideal solution(FPIS) and fuzzy negative ideal solution(FNIS). Results of our work based on fuzzy TOPSIS method show that the gyratory is the best primary crusher for the studied mine.
文摘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.
基金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.
