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].展开更多
A generalized Lyapunov function was employed to investigate the ultimate bound and positively invariant set of a generalized Lorenz system.We derived an ellipsoidal estimate of the ultimate bound and positively invari...A generalized Lyapunov function was employed to investigate the ultimate bound and positively invariant set of a generalized Lorenz system.We derived an ellipsoidal estimate of the ultimate bound and positively invariant set for the generalized Lorenz system,for all the positive values of system parameters a,b,and c.Our results extend the related result of Li,et al.[Li DM,Lu JA,Wu XQ,et al.,Estimating the ultimate bound and positively invariant set for the Lorenz system and a unified chaotic system,Journal of Mathematical Analysis and Application,2006,323(2):844-653].展开更多
文摘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].
文摘A generalized Lyapunov function was employed to investigate the ultimate bound and positively invariant set of a generalized Lorenz system.We derived an ellipsoidal estimate of the ultimate bound and positively invariant set for the generalized Lorenz system,for all the positive values of system parameters a,b,and c.Our results extend the related result of Li,et al.[Li DM,Lu JA,Wu XQ,et al.,Estimating the ultimate bound and positively invariant set for the Lorenz system and a unified chaotic system,Journal of Mathematical Analysis and Application,2006,323(2):844-653].