Aris and Amundson studied a chemical reactor and obtained the two equationsDaoud showed that at most one limit cycle may exist in the region of interest. Itis showed in this paper that other singular points exist and ...Aris and Amundson studied a chemical reactor and obtained the two equationsDaoud showed that at most one limit cycle may exist in the region of interest. Itis showed in this paper that other singular points exist and that a stable limitt cycle existsaround the singularity (1/2, 2) when K∈(9-δ, 9).展开更多
This paper is concerned with the Hopf bifurcation control of a new hyperchaotic circuit system. The stability of the hyperchaotie circuit system depends on a selected control parameter is studied, and the critical val...This paper is concerned with the Hopf bifurcation control of a new hyperchaotic circuit system. The stability of the hyperchaotie circuit system depends on a selected control parameter is studied, and the critical value of the system parameter at which Hopf bifurcation occurs is investigated. Theoretical analysis give the stability of the Hopf bifurcation. In particular, washout filter aided feedback controllers are designed for delaying the bifurcation point and ensuring the stability of the bifurcated limit cycles. An important feature of the control laws is that they do not result in any change in the set of equilibria. Computer simulation results are presented to confirm the analytical predictions.展开更多
The closed-loop stability issue of finite-precision realizations was investigated for digital control-lers implemented in block-floating-point format. The controller coefficient perturbation was analyzed resultingfrom...The closed-loop stability issue of finite-precision realizations was investigated for digital control-lers implemented in block-floating-point format. The controller coefficient perturbation was analyzed resultingfrom using finite word length (FWL) block-floating-point representation scheme. A block-floating-point FWL closed-loop stability measure was derived which considers both the dynamic range and precision. To facilitate the design of optimal finite-precision controller realizations, a computationally tractable block-floating-point FWL closed-loop stability measure was then introduced and the method of computing the value of this measure for a given controller realization was developed. The optimal controller realization is defined as the solution that maximizes the corresponding measure, and a numerical optimization approach was adopted to solve the resulting optimal realization problem. A numerical example was used to illustrate the design procedure and to compare the optimal controller realization with the initial realization.展开更多
In this work, we will to study the equation of an elliptic curve over the ring An = F2d [E], en = 0.,where d. is a positive integer. More precisely we defined the J-invariant of an elliptic curves over the ring An and...In this work, we will to study the equation of an elliptic curve over the ring An = F2d [E], en = 0.,where d. is a positive integer. More precisely we defined the J-invariant of an elliptic curves over the ring An and we establish re(J) = j, wherej is the j-invariant of an elliptic curve over the field F2d and re is the canonical projection defined over ring An by F2d , see [1].展开更多
The conventional ring signature schemes cannot address the scenario where the rank of members of the ring needs to be distinguished, for example, in electronically commerce application. To solve this problem, we prese...The conventional ring signature schemes cannot address the scenario where the rank of members of the ring needs to be distinguished, for example, in electronically commerce application. To solve this problem, we presented a Trusted Platform Module (TPM)-based threshold ring signature schen. Employing a reliable secret Share Distribution Center (SDC), the proposed approach can authenticate the TPM-based identity rank of members of the ring but not track a specific member's identity. A subset including t members with the same identity rank is built. With the signing cooperation of t members of the subset, the ring signature based on Chinese remainder theorem is generated. We proved the anonymity and unforgeability of the proposed scheme and compared it with the threshold ring signature based on Lagrange interpolation polynomial. Our scheme is relatively simpler to calculate.展开更多
Y98-61305-617 9905972一种 MOSFET-双极非线性负阻振荡器=A class of theMOSFET-bipolar nonlinear negative resistance oscillator[会,英]/Vizireanu,D.N.& Serban,R.//1997 Pro-ceedings of the International Semiconductor Co...Y98-61305-617 9905972一种 MOSFET-双极非线性负阻振荡器=A class of theMOSFET-bipolar nonlinear negative resistance oscillator[会,英]/Vizireanu,D.N.& Serban,R.//1997 Pro-ceedings of the International Semiconductor Conference,Vol.2.—617~620(UV)提出了一种 MOSFET-双极非线性负阻效应。说明了电压-电流方程用数学模型。研究了单模式 LCR网络振荡器的相关非线性微分方程的数学特性。证明了在适合条件下,能够产生小振幅稳定的限定环路振荡。获得了周期解的分析近似值。还将此预计与用数字积分获得的结果进行了比较。展开更多
First it is proved that both the integral of the divergence and the Melnikov function are invariants of the C2 transformation. Then, the problem of the planar homoclinic bifurcation with codimension 3 is considered. I...First it is proved that both the integral of the divergence and the Melnikov function are invariants of the C2 transformation. Then, the problem of the planar homoclinic bifurcation with codimension 3 is considered. It is proved that, in a small neighborhood of the origin in the parameter space of a Cr (r≥5) system, there exist exactly two Cr-1 semi- stable- limit- cycle branching surfaces, and their common boundary is a unique Cr-1 three-multiple- limit-cycle branching curve. The bifurcation pictures and the asymptotic expansions of the bifurcation functions are given. The stability criterion for the homoclinic loop is also obtained when the integral of the divergence is zero. The proof of the auxiliary theorems will be presented in [16].展开更多
The theory of limit cycles was applied to hydraulic hybrid vehicle (HHV) to analyze the dynamic characteristics of the system. The exact mathematical models based on configuration diagram of HHV were built to study on...The theory of limit cycles was applied to hydraulic hybrid vehicle (HHV) to analyze the dynamic characteristics of the system. The exact mathematical models based on configuration diagram of HHV were built to study on equilibrium points, nonexistence of limit cycle and stability of equilibrium points. The analysis showed that if the Young's modulus of fluid is neglected, the equilibrium points of the system will be distributed on both sides of the initial function. In addition, there is a unique equilibrium point according to the practical signification of the system parameters. The nonexistence analysis showed that there is no limit cycle for the system, no matter how the viscosity coefficient B changes. The stability analysis of equilibrium points showed that the system is asymptotically stable about the equilibrium point at B≥0 and the equilibrium point is the center point of the system at B=0. Finally, the phase diagrams of global topological structure of HHV system were entirely described according to qualitative analysis of the singular points at infinity.展开更多
Das et al. [Effect of disease-selective predation on prey infected by contact and external sources, Biosystems 95(3) (2009) 188-199] proposed an eco-epidemiological model where the prey species is infected through...Das et al. [Effect of disease-selective predation on prey infected by contact and external sources, Biosystems 95(3) (2009) 188-199] proposed an eco-epidemiological model where the prey species is infected through the external source of infection and contact of the species. In this present study we have modified their model by assuming that the predator consumes both the susceptible as well as the infected prey following the modified Holling type-Ⅱ functional response. Our main focusing points of this study are the role of infection rate (both internal and external), alternative food, and half-saturation constant in the predator prey dynamics with disease in the prey population. We have shown the local stability of the boundary as well as the interior equilibrium point under certain conditions. We have Mso worked out the permanence of the system. Our simulation results show that the system enters into limit cycle oscillations from stable position for higher values of the contact rate. But it is also shown that the external infection rate, enrichment of the alternative food of the predator population and the half-saturation constant can prevent limit cycle oscillations and stabilize the system. Thus external dis- ease propagation, enrichment of the alternative food resource, and the half-saturation constant are the key factors for preventing the oscillatory behavior of the species.展开更多
We investigate a tagged particle in the exclusion processes on {1,..., N }×Zd, with different densities in different levels {k} × Zd, ? k. Ignoring the level the tagged particle lying in, we only concern its...We investigate a tagged particle in the exclusion processes on {1,..., N }×Zd, with different densities in different levels {k} × Zd, ? k. Ignoring the level the tagged particle lying in, we only concern its position in Zd,denoted by Xt. Note that the whole space is not homogeneous. We define the environment process viewed from the tagged particle, of which Xt can be expressed as a functional. It is called the tagged particle process. We show the ergodicity of the tagged particle process, then prove the strong law of large numbers. Furthermore, we show the central limit theorem of Xt provided the zero-mean condition.展开更多
Model uncertainty directly affects the accuracy of robust flutter and limit-cycle-oscillation (LCO) analysis. Using a data-based method, the bounds of an uncertain block-oriented aeroelastic system with nonlinearity a...Model uncertainty directly affects the accuracy of robust flutter and limit-cycle-oscillation (LCO) analysis. Using a data-based method, the bounds of an uncertain block-oriented aeroelastic system with nonlinearity are obtained in the time domain. Then robust LCO analysis of the identified model set is performed. First, the proper orthonormal basis is constructed based on the on-line dynamic poles of the aeroelastic system. Accordingly, the identification problem of uncertain model is converted to a nonlinear optimization of the upper and lower bounds for uncertain parameters estimation. By replacing the identified memoryless nonlinear operators by its related sinusoidal-input describing function, the Linear Fractional Transformation (LFT) technique is applied to the modeling process. Finally, the structured singular value(μ) method is applied to robust LCO analysis. An example of a two-degree wing section is carded out to validate the framework above. Results indicate that the dynamic characteristics and model uncertainties of the aeroelastic system can be depicted by the identified uncertain model set. The robust LCO magnitude of pitch angle for the identified uncertain model is lower than that of the nominal model at the same velocity. This method can be applied to robust flutter and LCO prediction.展开更多
Ever since HIV was first diagnosed in human, a great number of scientific works have been undertaken to explore the biological mechanisms involved in the infection and progression of the disease. This paper deals with...Ever since HIV was first diagnosed in human, a great number of scientific works have been undertaken to explore the biological mechanisms involved in the infection and progression of the disease. This paper deals with stability and bifurcation analyses of mathematical model that represents the dynamics of HIV infection of thymus. The existence and stability of the equilibria are investigated. The model is described by a system of delay differential equations with logistic growth term, cure rate and discrete type of time delay. Choosing the time delay as a bifurcation parameter, the analysis is mainly focused on the Hopf bifurcation problem to predict the existence of a limit cycle bifurcating from the infected steady state.Further, using center manifold theory and normal form method we derive explicit formulae to determine the stability and direction of the limit cycles. Moreover the mitosis rate r also plays a vital role in the model, so we fix it as second bifurcation parameter in the incidence of viral infection. Our analysis shows that, while both the bifurcation parameters can destabilize the equilibrium E* and cause limit cycles. Numerical simulations are performed to investigate the qualitative behaviors of the inherent model.展开更多
文摘Aris and Amundson studied a chemical reactor and obtained the two equationsDaoud showed that at most one limit cycle may exist in the region of interest. Itis showed in this paper that other singular points exist and that a stable limitt cycle existsaround the singularity (1/2, 2) when K∈(9-δ, 9).
基金Supported by the National Natural Science Foundation of China under Grant No.10672053
文摘This paper is concerned with the Hopf bifurcation control of a new hyperchaotic circuit system. The stability of the hyperchaotie circuit system depends on a selected control parameter is studied, and the critical value of the system parameter at which Hopf bifurcation occurs is investigated. Theoretical analysis give the stability of the Hopf bifurcation. In particular, washout filter aided feedback controllers are designed for delaying the bifurcation point and ensuring the stability of the bifurcated limit cycles. An important feature of the control laws is that they do not result in any change in the set of equilibria. Computer simulation results are presented to confirm the analytical predictions.
文摘The closed-loop stability issue of finite-precision realizations was investigated for digital control-lers implemented in block-floating-point format. The controller coefficient perturbation was analyzed resultingfrom using finite word length (FWL) block-floating-point representation scheme. A block-floating-point FWL closed-loop stability measure was derived which considers both the dynamic range and precision. To facilitate the design of optimal finite-precision controller realizations, a computationally tractable block-floating-point FWL closed-loop stability measure was then introduced and the method of computing the value of this measure for a given controller realization was developed. The optimal controller realization is defined as the solution that maximizes the corresponding measure, and a numerical optimization approach was adopted to solve the resulting optimal realization problem. A numerical example was used to illustrate the design procedure and to compare the optimal controller realization with the initial realization.
文摘In this work, we will to study the equation of an elliptic curve over the ring An = F2d [E], en = 0.,where d. is a positive integer. More precisely we defined the J-invariant of an elliptic curves over the ring An and we establish re(J) = j, wherej is the j-invariant of an elliptic curve over the field F2d and re is the canonical projection defined over ring An by F2d , see [1].
基金Acknowledgements This work was supported by the National Basic Research Program of China under Crant No. 2007CB311100, Core Electronic Devices, High-end General Purpose Chips and Basic Software Products in China under Oant No. 2010ZX01037-001-001 Ph.D. Start-up Fund of Beijing University of Technology under Grants No. X0007211201101 and No. X00700054R1764, National Soft Science Research Program under Crant No. 2010GXQ5D317 and the National Natural Science Foundation of China underGrant No. 91018008 ,Opening Project of Key Lab of Information Network Security, Ministry of Public Security under Crant No. C11610, Opening Project of State Key Laboratory of Information Security (Institute of Sottware, Chinese Academy of Sciences) under Cxant No. 04-04-1.
文摘The conventional ring signature schemes cannot address the scenario where the rank of members of the ring needs to be distinguished, for example, in electronically commerce application. To solve this problem, we presented a Trusted Platform Module (TPM)-based threshold ring signature schen. Employing a reliable secret Share Distribution Center (SDC), the proposed approach can authenticate the TPM-based identity rank of members of the ring but not track a specific member's identity. A subset including t members with the same identity rank is built. With the signing cooperation of t members of the subset, the ring signature based on Chinese remainder theorem is generated. We proved the anonymity and unforgeability of the proposed scheme and compared it with the threshold ring signature based on Lagrange interpolation polynomial. Our scheme is relatively simpler to calculate.
文摘Y98-61305-617 9905972一种 MOSFET-双极非线性负阻振荡器=A class of theMOSFET-bipolar nonlinear negative resistance oscillator[会,英]/Vizireanu,D.N.& Serban,R.//1997 Pro-ceedings of the International Semiconductor Conference,Vol.2.—617~620(UV)提出了一种 MOSFET-双极非线性负阻效应。说明了电压-电流方程用数学模型。研究了单模式 LCR网络振荡器的相关非线性微分方程的数学特性。证明了在适合条件下,能够产生小振幅稳定的限定环路振荡。获得了周期解的分析近似值。还将此预计与用数字积分获得的结果进行了比较。
文摘First it is proved that both the integral of the divergence and the Melnikov function are invariants of the C2 transformation. Then, the problem of the planar homoclinic bifurcation with codimension 3 is considered. It is proved that, in a small neighborhood of the origin in the parameter space of a Cr (r≥5) system, there exist exactly two Cr-1 semi- stable- limit- cycle branching surfaces, and their common boundary is a unique Cr-1 three-multiple- limit-cycle branching curve. The bifurcation pictures and the asymptotic expansions of the bifurcation functions are given. The stability criterion for the homoclinic loop is also obtained when the integral of the divergence is zero. The proof of the auxiliary theorems will be presented in [16].
基金supported by the National Natural Science Foundation of China (Grant No. 50475011)
文摘The theory of limit cycles was applied to hydraulic hybrid vehicle (HHV) to analyze the dynamic characteristics of the system. The exact mathematical models based on configuration diagram of HHV were built to study on equilibrium points, nonexistence of limit cycle and stability of equilibrium points. The analysis showed that if the Young's modulus of fluid is neglected, the equilibrium points of the system will be distributed on both sides of the initial function. In addition, there is a unique equilibrium point according to the practical signification of the system parameters. The nonexistence analysis showed that there is no limit cycle for the system, no matter how the viscosity coefficient B changes. The stability analysis of equilibrium points showed that the system is asymptotically stable about the equilibrium point at B≥0 and the equilibrium point is the center point of the system at B=0. Finally, the phase diagrams of global topological structure of HHV system were entirely described according to qualitative analysis of the singular points at infinity.
文摘Das et al. [Effect of disease-selective predation on prey infected by contact and external sources, Biosystems 95(3) (2009) 188-199] proposed an eco-epidemiological model where the prey species is infected through the external source of infection and contact of the species. In this present study we have modified their model by assuming that the predator consumes both the susceptible as well as the infected prey following the modified Holling type-Ⅱ functional response. Our main focusing points of this study are the role of infection rate (both internal and external), alternative food, and half-saturation constant in the predator prey dynamics with disease in the prey population. We have shown the local stability of the boundary as well as the interior equilibrium point under certain conditions. We have Mso worked out the permanence of the system. Our simulation results show that the system enters into limit cycle oscillations from stable position for higher values of the contact rate. But it is also shown that the external infection rate, enrichment of the alternative food of the predator population and the half-saturation constant can prevent limit cycle oscillations and stabilize the system. Thus external dis- ease propagation, enrichment of the alternative food resource, and the half-saturation constant are the key factors for preventing the oscillatory behavior of the species.
基金supported by National Natural Science Foundation of China(Grant No.11371040)
文摘We investigate a tagged particle in the exclusion processes on {1,..., N }×Zd, with different densities in different levels {k} × Zd, ? k. Ignoring the level the tagged particle lying in, we only concern its position in Zd,denoted by Xt. Note that the whole space is not homogeneous. We define the environment process viewed from the tagged particle, of which Xt can be expressed as a functional. It is called the tagged particle process. We show the ergodicity of the tagged particle process, then prove the strong law of large numbers. Furthermore, we show the central limit theorem of Xt provided the zero-mean condition.
基金supported by the National Natural Science Foundation of China (Grant Nos. 90716006 and 10902006)Specialized Research Fund for the Doctoral Program of Higher Education (Grant No. 20091102110015)the Innovation Foundation of BUAA for PhD Graduates
文摘Model uncertainty directly affects the accuracy of robust flutter and limit-cycle-oscillation (LCO) analysis. Using a data-based method, the bounds of an uncertain block-oriented aeroelastic system with nonlinearity are obtained in the time domain. Then robust LCO analysis of the identified model set is performed. First, the proper orthonormal basis is constructed based on the on-line dynamic poles of the aeroelastic system. Accordingly, the identification problem of uncertain model is converted to a nonlinear optimization of the upper and lower bounds for uncertain parameters estimation. By replacing the identified memoryless nonlinear operators by its related sinusoidal-input describing function, the Linear Fractional Transformation (LFT) technique is applied to the modeling process. Finally, the structured singular value(μ) method is applied to robust LCO analysis. An example of a two-degree wing section is carded out to validate the framework above. Results indicate that the dynamic characteristics and model uncertainties of the aeroelastic system can be depicted by the identified uncertain model set. The robust LCO magnitude of pitch angle for the identified uncertain model is lower than that of the nominal model at the same velocity. This method can be applied to robust flutter and LCO prediction.
文摘Ever since HIV was first diagnosed in human, a great number of scientific works have been undertaken to explore the biological mechanisms involved in the infection and progression of the disease. This paper deals with stability and bifurcation analyses of mathematical model that represents the dynamics of HIV infection of thymus. The existence and stability of the equilibria are investigated. The model is described by a system of delay differential equations with logistic growth term, cure rate and discrete type of time delay. Choosing the time delay as a bifurcation parameter, the analysis is mainly focused on the Hopf bifurcation problem to predict the existence of a limit cycle bifurcating from the infected steady state.Further, using center manifold theory and normal form method we derive explicit formulae to determine the stability and direction of the limit cycles. Moreover the mitosis rate r also plays a vital role in the model, so we fix it as second bifurcation parameter in the incidence of viral infection. Our analysis shows that, while both the bifurcation parameters can destabilize the equilibrium E* and cause limit cycles. Numerical simulations are performed to investigate the qualitative behaviors of the inherent model.