The support of coal roadways is seriously affected by intense dynamic pressures.This can lead to problems with large deformation of the roof and the two side walls of coal roadways.Rapid convergence of the walls and r...The support of coal roadways is seriously affected by intense dynamic pressures.This can lead to problems with large deformation of the roof and the two side walls of coal roadways.Rapid convergence of the walls and roof,a high damage rate to the bolts and cables,or even abrupt roof collapse or rib spalling can occur during the service period of these coal roadways.Analyzing the main support measures used in China leads to a proposed new cable truss supporting system.Thorough study of the entire structure shows the superiority of this design for roadways suffering under dynamic pressure.A corresponding mechanical model of the rock surrounding the cable truss system is described in this paper and formulas for calculating pre-tightening forces of the truss cable,and the minimum anchoring forces,were deduced.The new support system was applied to a typical roadway affected by intensive dynamic pressure that is located in the Xinyuan Coal Mine.The results show that the largest subsidence of the roof was 97 mm,the convergence of the two sides was less than 248 mm,and the average depth of the loose,fractured layer was only 6.12 mm.This proves that the new support system is feasible and effective.展开更多
In this paper,we consider a new algorithm for a generalized system for relaxed coercive nonlinear inequalities involving three different operators in Hilbert spaces by the convergence of projection methods.Our results...In this paper,we consider a new algorithm for a generalized system for relaxed coercive nonlinear inequalities involving three different operators in Hilbert spaces by the convergence of projection methods.Our results include the previous results as special cases extend and improve the main results obtained by many others.展开更多
In determining the replenishment policy for an inventory system, some researchers advocated that the iterative method of Newton could be applied to the derivative of the total cost function in order to get the optimal...In determining the replenishment policy for an inventory system, some researchers advocated that the iterative method of Newton could be applied to the derivative of the total cost function in order to get the optimal solution. But this approach requires calculation of the second derivative of the function. Avoiding this complex computation we use another iterative method presented by the second author. One of the goals of this paper is to present a unified convergence theory of this method. Then we give a numerical example to show the application of our theory.展开更多
A practical serf-localization scheme for mobile robots is proposed and implemented by utilizing sonar sensors. Specifically, the localization problem is solved by employing Monte Carlo method with a new mechanism prop...A practical serf-localization scheme for mobile robots is proposed and implemented by utilizing sonar sensors. Specifically, the localization problem is solved by employing Monte Carlo method with a new mechanism proposed to calculate the samples＇ weights; the convergence and veracity of the sample set are guaranteed by the designed resampling and scattering process. The proposed serf-localization algorithm is fully implemented on a specific mobile robot system, and experimental results illustrate that it provides an efficient solution for the kidnapped problem.展开更多
The consensus problem of a linear discrete-time multi- agent system with directed communication topologies was investigated. A protocol was designed to solve consensus with an improved convergence speed achieved by de...The consensus problem of a linear discrete-time multi- agent system with directed communication topologies was investigated. A protocol was designed to solve consensus with an improved convergence speed achieved by designing protocol gains. The clo6ed-loop multi.agent system converged to an expected type of consensus function, which was divided into four types： zero, non- zero constant vector, bounded trajectories, and ramp trajectories. An algorithm was further provided to construct the protocol gains, which were determined in terms of a classical pole placement algorithm and a modified algebraic Riccati equation. Finally, an example to illustrate the effectiveness of theoretical results was presented.展开更多
A parallel hybrid linear solver based on the Schur complement method has the potential to balance the robustness of direct solvers with the efficiency of preconditioned iterative solvers.However,when solving large-sca...A parallel hybrid linear solver based on the Schur complement method has the potential to balance the robustness of direct solvers with the efficiency of preconditioned iterative solvers.However,when solving large-scale highly-indefinite linear systems,this hybrid solver often suffers from either slow convergence or large memory requirements to solve the Schur complement systems.To overcome this challenge,we in this paper discuss techniques to preprocess the Schur complement systems in parallel. Numerical results of solving large-scale highly-indefinite linear systems from various applications demonstrate that these techniques improve the reliability and performance of the hybrid solver and enable efficient solutions of these linear systems on hundreds of processors,which was previously infeasible using existing state-of-the-art solvers.展开更多
The general finite difference schemes with intrinsic parallelism for the boundary value problem of the semilinear parabolic system of divergence type with bounded measurable coefficients is studied. By the approach of...The general finite difference schemes with intrinsic parallelism for the boundary value problem of the semilinear parabolic system of divergence type with bounded measurable coefficients is studied. By the approach of the discrete functional analysis, the existence and uniqueness of the discrete vector solutions of the nonlinear difference system with intrinsic parallelism are proved. Moreover the unconditional stability of the general difference schemes with intrinsic parallelism justified in the sense of the continuous dependence of the discrete vector solution of the difference schemes on the discrete initial data of the original problems in the discrete W_2^(2,1) (Q△) norms. Finally the convergence of the discrete vector solutions of the certain difference schemes with intrinsic parallelism to the unique generalized solution of the original semilinear parabolic problem is proved.展开更多
For the Hermitian inexact Rayleigh quotient iteration （RQI）, we consider the local convergence of the inexact RQI with the Lanczos method for the linear systems involved. Some attractive properties are derived for t...For the Hermitian inexact Rayleigh quotient iteration （RQI）, we consider the local convergence of the inexact RQI with the Lanczos method for the linear systems involved. Some attractive properties are derived for the residual, whose norm is ξk, of the linear system obtained by the Lanczos method at outer iteration k ＋ 1. Based on them, we make a refined analysis and establish new local convergence results. It is proved that （i） the inexact RQI with Lanezos converges quadratically provided that ξk ≤ξ with a constant ξ≥） 1 and （ii） the method converges linearly provided that ξk is bounded by some multiple of 1/‖τk‖ with ‖τk‖ the residual norm of the approximate eigenpair at outer iteration k. The results are fundamentally different from the existing ones that always require ξk 〈 1, and they have implications on effective implementations of the method. Based on the new theory, we can design practical criteria to control ξk to achieve quadratic convergence and implement the method more effectively than ever before. Numerical experiments confirm our theory and demonstrate that the inexact RQI with Lanczos is competitive to the inexact RQI with MINRES.展开更多
This paper discusses the relation between the long-time dynamics of solutions of the two-dimensional （2D） incompressible non-Newtonian fluid system and the 2D Navier-Stokes system. We first show that the solutions o...This paper discusses the relation between the long-time dynamics of solutions of the two-dimensional （2D） incompressible non-Newtonian fluid system and the 2D Navier-Stokes system. We first show that the solutions of the non-Newtonian fluid system converge to the solutions of the Navier-Stokes system in the energy norm. Then we establish that the global attractors {.Aε^H}0〈≤1 of the non-Newtonian fluid system converge to the global attractor .A0H of the Navier-Stokes system as ε → 0. We also construct the minimal limit A^H min of the H global attractors {Aε^H}0〈ε≤ as ≤→ 0 and prove that A^Hmin iS a strictly invariant and connected set.展开更多
基金provided by the National Basic Research Program of China (No. 2010CB226802)the Fundamental Research Funds for the Central Universities (No. 2010YZ02)the State Key Laboratory of Coal Resources and Safe Mining (No.SKLCRSM 10B08)
文摘The support of coal roadways is seriously affected by intense dynamic pressures.This can lead to problems with large deformation of the roof and the two side walls of coal roadways.Rapid convergence of the walls and roof,a high damage rate to the bolts and cables,or even abrupt roof collapse or rib spalling can occur during the service period of these coal roadways.Analyzing the main support measures used in China leads to a proposed new cable truss supporting system.Thorough study of the entire structure shows the superiority of this design for roadways suffering under dynamic pressure.A corresponding mechanical model of the rock surrounding the cable truss system is described in this paper and formulas for calculating pre-tightening forces of the truss cable,and the minimum anchoring forces,were deduced.The new support system was applied to a typical roadway affected by intensive dynamic pressure that is located in the Xinyuan Coal Mine.The results show that the largest subsidence of the roof was 97 mm,the convergence of the two sides was less than 248 mm,and the average depth of the loose,fractured layer was only 6.12 mm.This proves that the new support system is feasible and effective.
基金Supported by the NSF of Henan Province(092300410150)Supported by the NSF of Department Education of Henan Province(2009C110002)Supported by the Key Teacher Foundation of Huanghuai University
文摘In this paper,we consider a new algorithm for a generalized system for relaxed coercive nonlinear inequalities involving three different operators in Hilbert spaces by the convergence of projection methods.Our results include the previous results as special cases extend and improve the main results obtained by many others.
文摘In determining the replenishment policy for an inventory system, some researchers advocated that the iterative method of Newton could be applied to the derivative of the total cost function in order to get the optimal solution. But this approach requires calculation of the second derivative of the function. Avoiding this complex computation we use another iterative method presented by the second author. One of the goals of this paper is to present a unified convergence theory of this method. Then we give a numerical example to show the application of our theory.
基金Supported by the National Natural Science Foundation of China (No. 60875055)Natural Science Foundation of Tianjin (No. 07JCY-BJC05400)Program for New Century Excellent Talents in University (No. NCET-06-0210)
文摘A practical serf-localization scheme for mobile robots is proposed and implemented by utilizing sonar sensors. Specifically, the localization problem is solved by employing Monte Carlo method with a new mechanism proposed to calculate the samples＇ weights; the convergence and veracity of the sample set are guaranteed by the designed resampling and scattering process. The proposed serf-localization algorithm is fully implemented on a specific mobile robot system, and experimental results illustrate that it provides an efficient solution for the kidnapped problem.
基金Natural Science Foundation of Shandong Province,China(No.ZR2010FZ001)
文摘The consensus problem of a linear discrete-time multi- agent system with directed communication topologies was investigated. A protocol was designed to solve consensus with an improved convergence speed achieved by designing protocol gains. The clo6ed-loop multi.agent system converged to an expected type of consensus function, which was divided into four types： zero, non- zero constant vector, bounded trajectories, and ramp trajectories. An algorithm was further provided to construct the protocol gains, which were determined in terms of a classical pole placement algorithm and a modified algebraic Riccati equation. Finally, an example to illustrate the effectiveness of theoretical results was presented.
基金supported in part by the Director,Office of Science,Office of Advanced Scientific Computing Research,of the U.S.Department of Energy under Contract No.DE-AC02-05CH11231.
文摘A parallel hybrid linear solver based on the Schur complement method has the potential to balance the robustness of direct solvers with the efficiency of preconditioned iterative solvers.However,when solving large-scale highly-indefinite linear systems,this hybrid solver often suffers from either slow convergence or large memory requirements to solve the Schur complement systems.To overcome this challenge,we in this paper discuss techniques to preprocess the Schur complement systems in parallel. Numerical results of solving large-scale highly-indefinite linear systems from various applications demonstrate that these techniques improve the reliability and performance of the hybrid solver and enable efficient solutions of these linear systems on hundreds of processors,which was previously infeasible using existing state-of-the-art solvers.
基金Project supported by China "National Key Program for Developing Basic Sciences" (No.G1999032801) the National Natural Science Foundation of China (No.19932010) the Science and Technology Foundation of Chinese Academy of Engineering Physics (No.200206
文摘The general finite difference schemes with intrinsic parallelism for the boundary value problem of the semilinear parabolic system of divergence type with bounded measurable coefficients is studied. By the approach of the discrete functional analysis, the existence and uniqueness of the discrete vector solutions of the nonlinear difference system with intrinsic parallelism are proved. Moreover the unconditional stability of the general difference schemes with intrinsic parallelism justified in the sense of the continuous dependence of the discrete vector solution of the difference schemes on the discrete initial data of the original problems in the discrete W_2^(2,1) (Q△) norms. Finally the convergence of the discrete vector solutions of the certain difference schemes with intrinsic parallelism to the unique generalized solution of the original semilinear parabolic problem is proved.
基金supported by National Basic Research Program of China(Grant No.2011CB302400)National Natural Science Foundation of China(Grant No.11071140)
文摘For the Hermitian inexact Rayleigh quotient iteration （RQI）, we consider the local convergence of the inexact RQI with the Lanczos method for the linear systems involved. Some attractive properties are derived for the residual, whose norm is ξk, of the linear system obtained by the Lanczos method at outer iteration k ＋ 1. Based on them, we make a refined analysis and establish new local convergence results. It is proved that （i） the inexact RQI with Lanezos converges quadratically provided that ξk ≤ξ with a constant ξ≥） 1 and （ii） the method converges linearly provided that ξk is bounded by some multiple of 1/‖τk‖ with ‖τk‖ the residual norm of the approximate eigenpair at outer iteration k. The results are fundamentally different from the existing ones that always require ξk 〈 1, and they have implications on effective implementations of the method. Based on the new theory, we can design practical criteria to control ξk to achieve quadratic convergence and implement the method more effectively than ever before. Numerical experiments confirm our theory and demonstrate that the inexact RQI with Lanczos is competitive to the inexact RQI with MINRES.
基金supported by National Natural Science Foundation of China(Grant Nos.10901121,11271290 and 11028102)National Basic Research Program of China(Grant No.2012CB426510)+4 种基金Natural Science Foundation of Zhejiang Province(Grant No.Y6080077)Natural Science Foundation of Wenzhou University(Grant No.2008YYLQ01)Zhejiang Youth Teacher Training ProjectWenzhou 551 Projectthe Fundamental Research Funds for the Central Universities(Grant No.2010ZD037)
文摘This paper discusses the relation between the long-time dynamics of solutions of the two-dimensional （2D） incompressible non-Newtonian fluid system and the 2D Navier-Stokes system. We first show that the solutions of the non-Newtonian fluid system converge to the solutions of the Navier-Stokes system in the energy norm. Then we establish that the global attractors {.Aε^H}0〈≤1 of the non-Newtonian fluid system converge to the global attractor .A0H of the Navier-Stokes system as ε → 0. We also construct the minimal limit A^H min of the H global attractors {Aε^H}0〈ε≤ as ≤→ 0 and prove that A^Hmin iS a strictly invariant and connected set.
