In this paper, a virus infection model with standard incidence rate and delayed CTL immune response is investigated. By analyzing corresponding characteristic equations,the local stability of each of feasible equilibr...In this paper, a virus infection model with standard incidence rate and delayed CTL immune response is investigated. By analyzing corresponding characteristic equations,the local stability of each of feasible equilibria and the existence of Hopf bifurcations at the CTL-activated infection equilibrium are established, respectively. By means of comparison arguments, it is verified that the infection-free equilibrium is globally asymptotically stable if the basic reproduction ratio is less than unity. By using suitable Lyapunov functional and LaSalle's invariance principle, it is shown that the CTL-inactivated infection equilibrium of the system is globally asymptotically stable if the immune response reproduction ratio is less than unity and the basic reproduction ratio is greater than unity. Numerical simulations are carried out to illustrate the theoretical result.展开更多
We develop an interconnect crosstalk estimation model on the assumption of linearity for CMOS device. First, we analyze the terminal response of RC model on the worst condition from theS field to the time domain. The ...We develop an interconnect crosstalk estimation model on the assumption of linearity for CMOS device. First, we analyze the terminal response of RC model on the worst condition from theS field to the time domain. The exact 3 order coefficients inS field are obtained due to the interconnect tree model. Based on this, a crosstalk peak estimation formula is presented. Unlike other crosstalk equations in the literature, this formula is only used coupled capacitance and grand capacitance as parameter. Experimental results show that, compared with the SPICE results, the estimation formulae are simple and accurate. So the model is expected to be used in such fields as layout-driven logic and high level synthesis, performance-driven floorplanning and interconnect planning.展开更多
基金Supported by the NNSF of China(11371368,11071254)Supported by the NSF of Hebei Province(A2014506015)Supported by the NSF for Young Scientists of Hebei Province(A2013506012)
文摘In this paper, a virus infection model with standard incidence rate and delayed CTL immune response is investigated. By analyzing corresponding characteristic equations,the local stability of each of feasible equilibria and the existence of Hopf bifurcations at the CTL-activated infection equilibrium are established, respectively. By means of comparison arguments, it is verified that the infection-free equilibrium is globally asymptotically stable if the basic reproduction ratio is less than unity. By using suitable Lyapunov functional and LaSalle's invariance principle, it is shown that the CTL-inactivated infection equilibrium of the system is globally asymptotically stable if the immune response reproduction ratio is less than unity and the basic reproduction ratio is greater than unity. Numerical simulations are carried out to illustrate the theoretical result.
基金SupportedbytheNationalHighTechnologyResearchandDevelopmentProgramofChina (863Plan) (863 SOC Y 3 3 2 )
文摘We develop an interconnect crosstalk estimation model on the assumption of linearity for CMOS device. First, we analyze the terminal response of RC model on the worst condition from theS field to the time domain. The exact 3 order coefficients inS field are obtained due to the interconnect tree model. Based on this, a crosstalk peak estimation formula is presented. Unlike other crosstalk equations in the literature, this formula is only used coupled capacitance and grand capacitance as parameter. Experimental results show that, compared with the SPICE results, the estimation formulae are simple and accurate. So the model is expected to be used in such fields as layout-driven logic and high level synthesis, performance-driven floorplanning and interconnect planning.