Two easily verified delay-dependent criteria of mean-square exponential robust stability are obtained by constructing Lyapunov-Krasovskii functional and employing the decomposition technique of the continuous matrix-d...Two easily verified delay-dependent criteria of mean-square exponential robust stability are obtained by constructing Lyapunov-Krasovskii functional and employing the decomposition technique of the continuous matrix-discovered set of grey matrix and Ito formula.A numerical example shows the validity and practicality of the criteria presented in this paper.展开更多
Protected areas(PAs) have experienced explosive growth in Northwest China over the last three decades, but their effectiveness in representing regional ecological system diversity has not attracted considerable attent...Protected areas(PAs) have experienced explosive growth in Northwest China over the last three decades, but their effectiveness in representing regional ecological system diversity has not attracted considerable attention. Low effectiveness would exacerbate the conservation-development conflicts, particularly those that arise as a result of the Great Western Development Strategy(GWDS). Thus, an assessment of the effectiveness of the PA network has become quite important. We proposed natural vegetation communities to represent regional ecological system diversities, and proposed Global 200 Priority Ecoregions, Important Bird Areas, and ecosystem function regions to represent important conservation areas. To determine their effectiveness, we studied the extent to which ecological system diversities and important conservation areas are represented by the existing 96 PAs. Our results indicated that the total coverage of vegetation communities in PAs in Northwest China is not sufficiently comprehensive. As the PA system has expanded, the growth in the total area of the PAs has been greater than that of their vegetation community richness. While most of the important conservation areas are covered by PAs, some regions have not yet reached the 10% threshold; further, PAs are distributed unevenly and conservation gaps remain in the region. Therefore, these regions should receive more attention when planning new PAs. It is vital that more biodiversity datasets and assessment of ecosystem function regions are integrated in order to provide a basis for the government to formulate appropriate protection and development strategies.展开更多
Signcryption, which was introduced by ZHEN~ is a cryptographic primitive that fulfils the functions of both digital signature and encryption and guarantees confidentiality, integrity and non-repudiation in a more effi...Signcryption, which was introduced by ZHEN~ is a cryptographic primitive that fulfils the functions of both digital signature and encryption and guarantees confidentiality, integrity and non-repudiation in a more effi- cient way. Certificateless signcryption and pro- xy signcryption in identity-based cryptography were proposed for different applications. Most of these schemes are constructed by bilinear pairings from elliptic curves. However, some schemes were recently presented without pai- rings. In this paper, we present a certificateless proxy identity-based signcryption scheme with- out bilinear pairings, which is efficient and secure.展开更多
This paper give criterions on finite-time control of fuzzy discrete-time nonlinear system subject to exogenous disturbance.Employing the Lyapunov function theory,several suffcient conditions including relaxed ones are...This paper give criterions on finite-time control of fuzzy discrete-time nonlinear system subject to exogenous disturbance.Employing the Lyapunov function theory,several suffcient conditions including relaxed ones are presented for finite-time stability via fuzzy controller laws.An illustrative example is given to demonstrate the effectiveness of the proposed method.展开更多
基金Supported by the Natural Science Foundation of Henan Province（061105440） Supported by the Natural Science Foundation of the Education Department of Henan Province（2008A1100150）
文摘Two easily verified delay-dependent criteria of mean-square exponential robust stability are obtained by constructing Lyapunov-Krasovskii functional and employing the decomposition technique of the continuous matrix-discovered set of grey matrix and Ito formula.A numerical example shows the validity and practicality of the criteria presented in this paper.
基金Under the auspices of National Science&Technology Pillar Program During the Twelfth Five-year Plan Period(No.2011BAC09B08)
文摘Protected areas(PAs) have experienced explosive growth in Northwest China over the last three decades, but their effectiveness in representing regional ecological system diversity has not attracted considerable attention. Low effectiveness would exacerbate the conservation-development conflicts, particularly those that arise as a result of the Great Western Development Strategy(GWDS). Thus, an assessment of the effectiveness of the PA network has become quite important. We proposed natural vegetation communities to represent regional ecological system diversities, and proposed Global 200 Priority Ecoregions, Important Bird Areas, and ecosystem function regions to represent important conservation areas. To determine their effectiveness, we studied the extent to which ecological system diversities and important conservation areas are represented by the existing 96 PAs. Our results indicated that the total coverage of vegetation communities in PAs in Northwest China is not sufficiently comprehensive. As the PA system has expanded, the growth in the total area of the PAs has been greater than that of their vegetation community richness. While most of the important conservation areas are covered by PAs, some regions have not yet reached the 10% threshold; further, PAs are distributed unevenly and conservation gaps remain in the region. Therefore, these regions should receive more attention when planning new PAs. It is vital that more biodiversity datasets and assessment of ecosystem function regions are integrated in order to provide a basis for the government to formulate appropriate protection and development strategies.
基金supported by the National Natural Science Foundation of China under Grants No.61272499,No.10990011
文摘Signcryption, which was introduced by ZHEN~ is a cryptographic primitive that fulfils the functions of both digital signature and encryption and guarantees confidentiality, integrity and non-repudiation in a more effi- cient way. Certificateless signcryption and pro- xy signcryption in identity-based cryptography were proposed for different applications. Most of these schemes are constructed by bilinear pairings from elliptic curves. However, some schemes were recently presented without pai- rings. In this paper, we present a certificateless proxy identity-based signcryption scheme with- out bilinear pairings, which is efficient and secure.
基金Supported by the NNSF of China(60874006)Supported by the Foundation of Henan Educational Committee(2011A120003)+1 种基金Supported by the Doctoral Foundation of Henan University of Technology(2009BS048)Supported by the Foundation of Henan University of Technology(09XJC011)
文摘This paper give criterions on finite-time control of fuzzy discrete-time nonlinear system subject to exogenous disturbance.Employing the Lyapunov function theory,several suffcient conditions including relaxed ones are presented for finite-time stability via fuzzy controller laws.An illustrative example is given to demonstrate the effectiveness of the proposed method.
