In order to study the mechanism of water inrush from a concealed, confined karst cave, we established a fluid–solid coupling model of water inrush from a concealed karst cave ahead of a roadway and a strength reducti...In order to study the mechanism of water inrush from a concealed, confined karst cave, we established a fluid–solid coupling model of water inrush from a concealed karst cave ahead of a roadway and a strength reduction method in a rock pillar for preventing water inrush based on catastrophic theory. Fluid–solid coupling effects and safety margins in a rock pillar were studied. Analysis shows that rock pillar instability, exerted by disturbance stress and seepage stress, is the process of rock pillar catastrophic destabilization induced by nonlinear extension of plastic zones in the rock pillar. Seepage flow emerges in the rock pillar for preventing water inrush, accompanied by mechanical instability of the rock pillar. Taking the accident of a confined karst cave water-inrush of Qiyi Mine as an example, by studying the safety factor of the rock pillar and the relationship between karst cave water pressure and thickness of the rock pillar,it is proposed that rock pillar thickness with a safety factor equal to 1.5 is regarded as the calculated safety thickness of the rock pillar, which should be equal to the sum of the blasthole depth, blasting disturbance depth and the calculated safety thickness of the rock pillar. The cause of the karst water inrush at Qiyi Mine is that the rock pillar was so small that it did not possess a safety margin. Combining fluid–solid coupling theory, catastrophic theory and strength reduction method to study the nonlinear mechanical response of complicated rock engineering, new avenues for quantitative analysis of rock engineering stability evaluation should be forthcoming.展开更多
P-集合(packet sets)是一个动态模型,P-集合是由内P-集合x^F(internal packet set X^F)与外P-集合XF(~Fouter packet set X^F)构成的元素集合对;或者(X^F,X^F)是P-集合.利用内P-集合的结构,给出内P-信息,内P-反动态信息,信息的内P-反动...P-集合(packet sets)是一个动态模型,P-集合是由内P-集合x^F(internal packet set X^F)与外P-集合XF(~Fouter packet set X^F)构成的元素集合对;或者(X^F,X^F)是P-集合.利用内P-集合的结构,给出内P-信息,内P-反动态信息,信息的内P-反动态恢复概念,给出内P-反动态信息的属性合取收缩生成,给出内P-反动态信息与内P-信息同属性定理,给出内P-反动态信息存在与属性合取范式定理,给出信息的内P-反动态恢复属性定理.这些基本理论结果是把内P-集合与一类信息系统故障状态识别交叉,渗透研究得到的.展开更多
In this paper, the authors obtain sharp upper and lower bounds for the heat kernel associatedwith Jacobi transform, and get some analogues of Hardy's Theorem for Jacobi transform byusing the sharp estimate of the ...In this paper, the authors obtain sharp upper and lower bounds for the heat kernel associatedwith Jacobi transform, and get some analogues of Hardy's Theorem for Jacobi transform byusing the sharp estimate of the heat kernel.展开更多
The authors establish the Hilbertian invariance principle for the empirical process of astationary Markov process, by extending the forward-backward martingale decomposition ofLyons-Meyer-Zheng to the Hilbert space va...The authors establish the Hilbertian invariance principle for the empirical process of astationary Markov process, by extending the forward-backward martingale decomposition ofLyons-Meyer-Zheng to the Hilbert space valued additive functionals associated with generalnon-reversible Markov processes.展开更多
This paper aims to study the solvability of vector Ky Fan inequalities and the compactness of its solution sets.For vector-valued functions with the cone semicontinuity and the cone quasiconvexity in infinite dimensio...This paper aims to study the solvability of vector Ky Fan inequalities and the compactness of its solution sets.For vector-valued functions with the cone semicontinuity and the cone quasiconvexity in infinite dimensional spaces,the authors prove some existence results of the solutions and the compactness of the solution sets.Especially,some results for the vector Ky Fan inequalities on noncompact sets are built and the compactness of its solution sets are also discussed.As applications,some existence theorems of the solutions of vector variational inequalities are obtained.展开更多
In this paper, we consider two nonlinear models for viral infection with humoraL immu- nity. The first model contains four compartments; uninfected target cells, actively infected cells, free virus particles and B cel...In this paper, we consider two nonlinear models for viral infection with humoraL immu- nity. The first model contains four compartments; uninfected target cells, actively infected cells, free virus particles and B cells. The second model is a modification of the first one by including the latently infected cells. The incidence rate, removal rate of infected cells, production rate of viruses and the latent-to-active conversion rate are given by more general nonlinear functions. We have established a set of conditions on these general functions and determined two threshold parameters for each model which are sufficient to determine the global dynamics of the models. The global asymptotic stability of all equilibria of the models has been proven by using Lyapunov theory and applying LaSalle's invariance principle. We have performed some numerical simulations for the models with specific forms of the general functions. We have shown that, the numerical results are consistent with the theoretical results.展开更多
A SIR model of epidemiological dynamics with stage-structure and a type of nonlinear incidence rate is considered under the assumption that the susceptible individual satisfy the logistic equation. The global attracti...A SIR model of epidemiological dynamics with stage-structure and a type of nonlinear incidence rate is considered under the assumption that the susceptible individual satisfy the logistic equation. The global attractivity of the model is studied using Lyapunov functions and LaSalle's invariance principle. By the uniform persistence theories, the permanence of the system and the existence of the positive equilibrium are obtained. Moreover, by the normal form theory and the center manifold presented by Hassard, a stability and Hopf bifurcation analysis of the system around positive equilibrium from a local perspective are performed. Numerical simulation is carried out to illustrate our results.展开更多
The last two to three decades have seen significant advances in the mechanics of unsaturated soils.It is now widely recognized that the fundamental principles in soil mechanics must cover both saturated and unsaturate...The last two to three decades have seen significant advances in the mechanics of unsaturated soils.It is now widely recognized that the fundamental principles in soil mechanics must cover both saturated and unsaturated soils.Nevertheless,there is still a great deal of uncertainties in the geotechnical community about how soil mechanics principles well-established for saturated soils can be extended to unsaturated soils.There is even wide skepticism about the necessity of such extension in engineering practice.This paper discusses some common pitfalls related to the fundamental principles that govern the volume change,shear strength and hydromechanical behaviour of unsaturated soils.It also attempts to address the issue of engineering relevance of unsaturated soil mechanics.展开更多
We propose a smoothing trust region filter algorithm for nonsmooth nonconvex least squares problems. We present convergence theorems of the proposed algorithm to a Clarke stationary point or a global minimizer of the ...We propose a smoothing trust region filter algorithm for nonsmooth nonconvex least squares problems. We present convergence theorems of the proposed algorithm to a Clarke stationary point or a global minimizer of the objective function under certain conditions. Preliminary numerical experiments show the efficiency of the proposed algorithm for finding zeros of a system of polynomial equations with high degrees on the sphere and solving differential variational inequalities.展开更多
This paper studies a class of nonlinear singular systems with discontinuous right-hand sides,it develops nonsmooth Lyapunov stability theory as well as LaSalle invariance principle.In this paper,LaSalle invariance pri...This paper studies a class of nonlinear singular systems with discontinuous right-hand sides,it develops nonsmooth Lyapunov stability theory as well as LaSalle invariance principle.In this paper,LaSalle invariance principle of the discontinuous nonlinear singular systems is presented firstly.Furthermore,some sufficient conditions for stability and asymptotic stability of the given systems based on Filippov differential inclusion and Clarke's generalized gradient are given.Finally,these results are illustrated by the given example.展开更多
Simultaneous stabilization of linear systems is a fundamental issue in the system and control theory, and is of theoretical and practical significance. In this paper, the authors review the recent research progress an...Simultaneous stabilization of linear systems is a fundamental issue in the system and control theory, and is of theoretical and practical significance. In this paper, the authors review the recent research progress and the state-of-art results on simultaneous stabilization of single-input single-output linear time-invariant systems. Especially, the authors list the ever best results on the parameters involved in the well known "French Champagne Problem" and "Belgian Chocolate Problem" from the point of view of mathematical theoretical analysis and numerical calculation. And the authors observed that Boston claimed the lower bound of 5 can be enlarged to 0.976461 in 2012 is not accurate. The authors hope it will inspire further study on simultaneous stabilization of several linear systems.展开更多
基金Financial supports for this work, provided by the National Natural Science Foundation of China (No. 51274097)the Scientific Research Fund of Hunan Provincial Education Department of China (No. 13A020)the Open Projects of State Key Laboratory of Coal Resources and Safe Mining, CUMT (No. 13KF03)
文摘In order to study the mechanism of water inrush from a concealed, confined karst cave, we established a fluid–solid coupling model of water inrush from a concealed karst cave ahead of a roadway and a strength reduction method in a rock pillar for preventing water inrush based on catastrophic theory. Fluid–solid coupling effects and safety margins in a rock pillar were studied. Analysis shows that rock pillar instability, exerted by disturbance stress and seepage stress, is the process of rock pillar catastrophic destabilization induced by nonlinear extension of plastic zones in the rock pillar. Seepage flow emerges in the rock pillar for preventing water inrush, accompanied by mechanical instability of the rock pillar. Taking the accident of a confined karst cave water-inrush of Qiyi Mine as an example, by studying the safety factor of the rock pillar and the relationship between karst cave water pressure and thickness of the rock pillar,it is proposed that rock pillar thickness with a safety factor equal to 1.5 is regarded as the calculated safety thickness of the rock pillar, which should be equal to the sum of the blasthole depth, blasting disturbance depth and the calculated safety thickness of the rock pillar. The cause of the karst water inrush at Qiyi Mine is that the rock pillar was so small that it did not possess a safety margin. Combining fluid–solid coupling theory, catastrophic theory and strength reduction method to study the nonlinear mechanical response of complicated rock engineering, new avenues for quantitative analysis of rock engineering stability evaluation should be forthcoming.
文摘P-集合(packet sets)是一个动态模型,P-集合是由内P-集合x^F(internal packet set X^F)与外P-集合XF(~Fouter packet set X^F)构成的元素集合对;或者(X^F,X^F)是P-集合.利用内P-集合的结构,给出内P-信息,内P-反动态信息,信息的内P-反动态恢复概念,给出内P-反动态信息的属性合取收缩生成,给出内P-反动态信息与内P-信息同属性定理,给出内P-反动态信息存在与属性合取范式定理,给出信息的内P-反动态恢复属性定理.这些基本理论结果是把内P-集合与一类信息系统故障状态识别交叉,渗透研究得到的.
基金Project supported by the National Natural Science Foundation of China(No.10001002).
文摘In this paper, the authors obtain sharp upper and lower bounds for the heat kernel associatedwith Jacobi transform, and get some analogues of Hardy's Theorem for Jacobi transform byusing the sharp estimate of the heat kernel.
文摘The authors establish the Hilbertian invariance principle for the empirical process of astationary Markov process, by extending the forward-backward martingale decomposition ofLyons-Meyer-Zheng to the Hilbert space valued additive functionals associated with generalnon-reversible Markov processes.
基金supported by the Science and Technology Foundation of Guizhou Province under Grant No.20102133
文摘This paper aims to study the solvability of vector Ky Fan inequalities and the compactness of its solution sets.For vector-valued functions with the cone semicontinuity and the cone quasiconvexity in infinite dimensional spaces,the authors prove some existence results of the solutions and the compactness of the solution sets.Especially,some results for the vector Ky Fan inequalities on noncompact sets are built and the compactness of its solution sets are also discussed.As applications,some existence theorems of the solutions of vector variational inequalities are obtained.
文摘In this paper, we consider two nonlinear models for viral infection with humoraL immu- nity. The first model contains four compartments; uninfected target cells, actively infected cells, free virus particles and B cells. The second model is a modification of the first one by including the latently infected cells. The incidence rate, removal rate of infected cells, production rate of viruses and the latent-to-active conversion rate are given by more general nonlinear functions. We have established a set of conditions on these general functions and determined two threshold parameters for each model which are sufficient to determine the global dynamics of the models. The global asymptotic stability of all equilibria of the models has been proven by using Lyapunov theory and applying LaSalle's invariance principle. We have performed some numerical simulations for the models with specific forms of the general functions. We have shown that, the numerical results are consistent with the theoretical results.
文摘A SIR model of epidemiological dynamics with stage-structure and a type of nonlinear incidence rate is considered under the assumption that the susceptible individual satisfy the logistic equation. The global attractivity of the model is studied using Lyapunov functions and LaSalle's invariance principle. By the uniform persistence theories, the permanence of the system and the existence of the positive equilibrium are obtained. Moreover, by the normal form theory and the center manifold presented by Hassard, a stability and Hopf bifurcation analysis of the system around positive equilibrium from a local perspective are performed. Numerical simulation is carried out to illustrate our results.
基金supported by the National Natural Science Foundation of China(Grant No.51208519)
文摘The last two to three decades have seen significant advances in the mechanics of unsaturated soils.It is now widely recognized that the fundamental principles in soil mechanics must cover both saturated and unsaturated soils.Nevertheless,there is still a great deal of uncertainties in the geotechnical community about how soil mechanics principles well-established for saturated soils can be extended to unsaturated soils.There is even wide skepticism about the necessity of such extension in engineering practice.This paper discusses some common pitfalls related to the fundamental principles that govern the volume change,shear strength and hydromechanical behaviour of unsaturated soils.It also attempts to address the issue of engineering relevance of unsaturated soil mechanics.
基金supported by Hong Kong Research Grant Council(Grant No.Poly U5001/12p)National Natural Science Foundation of China(Grant No.11101231)
文摘We propose a smoothing trust region filter algorithm for nonsmooth nonconvex least squares problems. We present convergence theorems of the proposed algorithm to a Clarke stationary point or a global minimizer of the objective function under certain conditions. Preliminary numerical experiments show the efficiency of the proposed algorithm for finding zeros of a system of polynomial equations with high degrees on the sphere and solving differential variational inequalities.
基金supported by the National Natural Science Fundation of China under Grant No.60874006
文摘This paper studies a class of nonlinear singular systems with discontinuous right-hand sides,it develops nonsmooth Lyapunov stability theory as well as LaSalle invariance principle.In this paper,LaSalle invariance principle of the discontinuous nonlinear singular systems is presented firstly.Furthermore,some sufficient conditions for stability and asymptotic stability of the given systems based on Filippov differential inclusion and Clarke's generalized gradient are given.Finally,these results are illustrated by the given example.
基金supported by the National Natural Science Foundation under Grant Nos.61370176 and 61571064
文摘Simultaneous stabilization of linear systems is a fundamental issue in the system and control theory, and is of theoretical and practical significance. In this paper, the authors review the recent research progress and the state-of-art results on simultaneous stabilization of single-input single-output linear time-invariant systems. Especially, the authors list the ever best results on the parameters involved in the well known "French Champagne Problem" and "Belgian Chocolate Problem" from the point of view of mathematical theoretical analysis and numerical calculation. And the authors observed that Boston claimed the lower bound of 5 can be enlarged to 0.976461 in 2012 is not accurate. The authors hope it will inspire further study on simultaneous stabilization of several linear systems.