Binary Decision Diagrams (BDDs) can be graphically manipulated to reduce the number of nodes and hence the area. In this context, ordering of BDDs play a major role. Most of the algorithms for input variable ordering ...Binary Decision Diagrams (BDDs) can be graphically manipulated to reduce the number of nodes and hence the area. In this context, ordering of BDDs play a major role. Most of the algorithms for input variable ordering of OBDD focus primarily on area minimization. However, suitable input variable ordering helps in minimizing the power consumption also. In this particular work, we have proposed two algorithms namely, a genetic algorithm based technique and a branch and bound algorithm to find an optimal input variable order. Of course, the node reordering is taken care of by the standard BDD package buddy-2.4. Moreover, we have evaluated the performances of the proposed algorithms by running an exhaustive search program. Experi-mental results show a substantial saving in area and power. We have also compared our techniques with other state-of-art techniques of variable ordering for OBDDs and found to give superior results.展开更多
"Samuelson's Concern" and "Kindleberger Trap" are cited as justifications for trade protectionism under the Trump administration. After reviewing Samuelson's and Kindleberger's trade th..."Samuelson's Concern" and "Kindleberger Trap" are cited as justifications for trade protectionism under the Trump administration. After reviewing Samuelson's and Kindleberger's trade theories, this paper finds that both Samuelson and Kindleberger are actually proponents of free trade, and that their common concern is falling US competitiveness due to its economic model, domestic institutional rules, and unilateralism. Both the "Samuelson's Concern" and "Kindleberger Trap" are distortions of Samuelson's and Kindleberger's original theories and the arguments' defense of protectionism cannot overcome the challenges confronting the U.S. and will destabilize international economic order.展开更多
文摘Binary Decision Diagrams (BDDs) can be graphically manipulated to reduce the number of nodes and hence the area. In this context, ordering of BDDs play a major role. Most of the algorithms for input variable ordering of OBDD focus primarily on area minimization. However, suitable input variable ordering helps in minimizing the power consumption also. In this particular work, we have proposed two algorithms namely, a genetic algorithm based technique and a branch and bound algorithm to find an optimal input variable order. Of course, the node reordering is taken care of by the standard BDD package buddy-2.4. Moreover, we have evaluated the performances of the proposed algorithms by running an exhaustive search program. Experi-mental results show a substantial saving in area and power. We have also compared our techniques with other state-of-art techniques of variable ordering for OBDDs and found to give superior results.
文摘"Samuelson's Concern" and "Kindleberger Trap" are cited as justifications for trade protectionism under the Trump administration. After reviewing Samuelson's and Kindleberger's trade theories, this paper finds that both Samuelson and Kindleberger are actually proponents of free trade, and that their common concern is falling US competitiveness due to its economic model, domestic institutional rules, and unilateralism. Both the "Samuelson's Concern" and "Kindleberger Trap" are distortions of Samuelson's and Kindleberger's original theories and the arguments' defense of protectionism cannot overcome the challenges confronting the U.S. and will destabilize international economic order.
