Let X be a metric space with an ordering structure,A: X→X is a operator and x≤Ax for any x∈X. In this paper we prove a new fixed point theorem, which generalizes famous caristi fixed point theorem.
This paper deals with the existence of positive solutions of the equation u'+f(t, u)=0 with linear boundary conditions. We show the existence of at least one positive solution if / is neither superlinear nor subli...This paper deals with the existence of positive solutions of the equation u'+f(t, u)=0 with linear boundary conditions. We show the existence of at least one positive solution if / is neither superlinear nor sublinear on u by a simple application of a fixed point Theorem in cones.展开更多
The existence of solutions for second order three-point boundary value problems with nonlinear growth at resonance is studied by using Mawhin continuation theorem. The result shows that theorem 1 and 2 at least have o...The existence of solutions for second order three-point boundary value problems with nonlinear growth at resonance is studied by using Mawhin continuation theorem. The result shows that theorem 1 and 2 at least have one solution in c1[0,1]展开更多
The coceptions of two element α-concave convex and mixed α-concave convex operators are introduced. The fixed point theorems of the two type operators are obtained. By these theorems,the existence and uniquence of s...The coceptions of two element α-concave convex and mixed α-concave convex operators are introduced. The fixed point theorems of the two type operators are obtained. By these theorems,the existence and uniquence of solution of three type nonlinear integral equations is studied.展开更多
We consider a statically determinate structural truss problem where all of the physical model parameters are uncertain： not just the material values and applied loads, but also the positions of the nodes are assumed ...We consider a statically determinate structural truss problem where all of the physical model parameters are uncertain： not just the material values and applied loads, but also the positions of the nodes are assumed to be inexact but bounded and are represented by intervals. Such uncertainty may typically arise from imprecision during the process of manufacturing or construction, or round-off errors. In this case the application of the finite element method results in a system of linear equations with numerous interval parameters which cannot be solved conventionally. Applying a suitable variable substitution, an iteration method for the solution of a parametric system of linear equations is firstly employed to obtain initial bounds on the node displacements. Thereafter, an interval tightening （pruning） technique is applied, firstly on the element forces and secondly on the node displacements, in order to obtain tight guaranteed enclosures for the interval solutions for the forces and displacements.展开更多
In view of the movable hook structure on zero position,the traditional system could not recognize the zero scale.According to the essential requirements of the measurement,a new system based on machine vision was prop...In view of the movable hook structure on zero position,the traditional system could not recognize the zero scale.According to the essential requirements of the measurement,a new system based on machine vision was proposed.Standard datum planes and standard scales were designed as standard component,and the indication error can be calculated by comparing the standard component and the measured value between zero position and 500 mm scale.The alignment of scribed lines was realized by machine vision,and the float pixel equivalent method was applied in image process.Experimental results prove that this system meets the requirement of national standard steel tape verification regulation,and the repeatability of zero error can reach 0.006 mm after zero calibration.展开更多
Wet oxidation procedure,i.e.,Walkley-Black (WB) method,is a routine,relatively accurate,and popular method for the determination of soil organic matter (SOM) but it is time-consuming,costly and also has a high potenti...Wet oxidation procedure,i.e.,Walkley-Black (WB) method,is a routine,relatively accurate,and popular method for the determination of soil organic matter (SOM) but it is time-consuming,costly and also has a high potential to cause environmental pollution because of disposal of chromium and strong acids used in this analysis.Therefore,loss-on-ignition (LOI) procedure,a simple and cheap method for SOM estimation,which also avoids chromic acid wastes,deserves more attention.The aims of this research were to study the statistical relationships between SOM determined with the LOI (SOMLOI) and WB (SOMWB) methods to compare the spatial variability of SOM in two major plains,Shahrekord and Koohrang plains,of Chaharmahal-va-Bakhtiari Province,Iran.Fifty surface soil samples (0-25 cm) were randomly collected in each plain to determine SOM using the WB method and the LOI procedure at 300,360,400,500 and 550 ℃ for 2 h.The samples covered wide ranges of soil texture and calcium carbonate equivalent (CCE).The general linear form of the regression equation was calculated to estimate SOM LOI from SOM obtained by the WB method for both overall samples and individual plains.Forty soil samples were also randomly selected to compare the SOM and CCE before and after ignition at each temperature.Overall accuracy of the continuous maps generated for the LOI and WB methods was considered to determine the accordance of two procedures.Results showed a significant positive linear relationship between SOM LOI and SOM WB.Coefficients of determination (R2) of the equations for individual plains were higher than that of the overall equation.Coefficients of determination and line slopes decreased and root mean square error (RMSE) increased with increasing ignition temperature,which may be due to the mineral structural water loss and destruction of carbonates at higher temperatures.A temperature around 360 ℃ was identified as optimum as it burnt most organic carbon,destroyed less inorganic carbon,caused less clay structural water loss,and used less electrical energy.Although the trends of SOM in the kriged maps by the two procedures accorded well,low overall accuracy was observed for the maps obtained by the two methods.While not suitable for determination where high accuracy is required,determination of organic carbon through LOI is likely suitable for exploratory soil surveys where rough estimation of organic matter is required.展开更多
Abstract Mehrotra-type predictor-corrector algorithm is one of the most effective primal-dual interior- point methods. This paper presents an extension of the recent variant of second order Mehrotra-type predictor-cor...Abstract Mehrotra-type predictor-corrector algorithm is one of the most effective primal-dual interior- point methods. This paper presents an extension of the recent variant of second order Mehrotra-type predictor-corrector algorithm that was proposed by Salahi, et a1.（2006） for linear optimization. Basedon the NT direction as Newton search direction, it is shown that the iteration-complexity bound of thealgorithm for semidefinite optimization is which is similar to that of the correspondingalgorithm for linear optimization.展开更多
We define the notion of special automorphisms on Shimura curves. Using this notion, for a wild class of elliptic curves defined over Q, we get rank one quadratic twists by discriminants having any prescribed number of...We define the notion of special automorphisms on Shimura curves. Using this notion, for a wild class of elliptic curves defined over Q, we get rank one quadratic twists by discriminants having any prescribed number of prime factors. Finally, as an application, we obtain some new results on Birch and Swinnerton-Dyer(BSD) conjecture for the rank one quadratic twists of the elliptic curve X_0(49).展开更多
In this paper, a reaction-diffusion model describing temporal development of tumor tissue, normal tissue and excess H＋ ion concentration is considered. Based on a combi- nation of perturbation methods, the Fredholm t...In this paper, a reaction-diffusion model describing temporal development of tumor tissue, normal tissue and excess H＋ ion concentration is considered. Based on a combi- nation of perturbation methods, the Fredholm theory and Banach fixed point theorem, we theoretically justify the existence of the traveling wave solution for this model.展开更多
KAM theorem of reversible system is used to provide a sufficient condition which guarantees the stability of a parabolic fixed point of reversible mappings. The main idea is to discuss when the parabolic thed point is...KAM theorem of reversible system is used to provide a sufficient condition which guarantees the stability of a parabolic fixed point of reversible mappings. The main idea is to discuss when the parabolic thed point is surrounded by closed invariant curves and thus exhibits stable behaviour.展开更多
The purpose of this paper is to give a refinement of the Atiyah-Singer families index theorem at the level of differential characters. Also a Riemann-Roch-Grothendieck theorem for the direct image of flat vector bundl...The purpose of this paper is to give a refinement of the Atiyah-Singer families index theorem at the level of differential characters. Also a Riemann-Roch-Grothendieck theorem for the direct image of flat vector bundles by proper submersions is proved,with Chern classes with coefficients in C/Q. These results are much related to prior work of Gillet-Soule, Bismut-Lott and Lott.展开更多
In this article, the authors establish the local null controllability property for semilinear parabolic systems in a domain whose boundary moves in time by a single control force acting on a prescribed subdomain. The ...In this article, the authors establish the local null controllability property for semilinear parabolic systems in a domain whose boundary moves in time by a single control force acting on a prescribed subdomain. The proof is based on Kakutani＇s fixed point theorem combined with observability estimates for the associated lineaxized system.展开更多
文摘Let X be a metric space with an ordering structure,A: X→X is a operator and x≤Ax for any x∈X. In this paper we prove a new fixed point theorem, which generalizes famous caristi fixed point theorem.
文摘This paper deals with the existence of positive solutions of the equation u'+f(t, u)=0 with linear boundary conditions. We show the existence of at least one positive solution if / is neither superlinear nor sublinear on u by a simple application of a fixed point Theorem in cones.
文摘The existence of solutions for second order three-point boundary value problems with nonlinear growth at resonance is studied by using Mawhin continuation theorem. The result shows that theorem 1 and 2 at least have one solution in c1[0,1]
文摘The coceptions of two element α-concave convex and mixed α-concave convex operators are introduced. The fixed point theorems of the two type operators are obtained. By these theorems,the existence and uniquence of solution of three type nonlinear integral equations is studied.
文摘We consider a statically determinate structural truss problem where all of the physical model parameters are uncertain： not just the material values and applied loads, but also the positions of the nodes are assumed to be inexact but bounded and are represented by intervals. Such uncertainty may typically arise from imprecision during the process of manufacturing or construction, or round-off errors. In this case the application of the finite element method results in a system of linear equations with numerous interval parameters which cannot be solved conventionally. Applying a suitable variable substitution, an iteration method for the solution of a parametric system of linear equations is firstly employed to obtain initial bounds on the node displacements. Thereafter, an interval tightening （pruning） technique is applied, firstly on the element forces and secondly on the node displacements, in order to obtain tight guaranteed enclosures for the interval solutions for the forces and displacements.
文摘In view of the movable hook structure on zero position,the traditional system could not recognize the zero scale.According to the essential requirements of the measurement,a new system based on machine vision was proposed.Standard datum planes and standard scales were designed as standard component,and the indication error can be calculated by comparing the standard component and the measured value between zero position and 500 mm scale.The alignment of scribed lines was realized by machine vision,and the float pixel equivalent method was applied in image process.Experimental results prove that this system meets the requirement of national standard steel tape verification regulation,and the repeatability of zero error can reach 0.006 mm after zero calibration.
文摘Wet oxidation procedure,i.e.,Walkley-Black (WB) method,is a routine,relatively accurate,and popular method for the determination of soil organic matter (SOM) but it is time-consuming,costly and also has a high potential to cause environmental pollution because of disposal of chromium and strong acids used in this analysis.Therefore,loss-on-ignition (LOI) procedure,a simple and cheap method for SOM estimation,which also avoids chromic acid wastes,deserves more attention.The aims of this research were to study the statistical relationships between SOM determined with the LOI (SOMLOI) and WB (SOMWB) methods to compare the spatial variability of SOM in two major plains,Shahrekord and Koohrang plains,of Chaharmahal-va-Bakhtiari Province,Iran.Fifty surface soil samples (0-25 cm) were randomly collected in each plain to determine SOM using the WB method and the LOI procedure at 300,360,400,500 and 550 ℃ for 2 h.The samples covered wide ranges of soil texture and calcium carbonate equivalent (CCE).The general linear form of the regression equation was calculated to estimate SOM LOI from SOM obtained by the WB method for both overall samples and individual plains.Forty soil samples were also randomly selected to compare the SOM and CCE before and after ignition at each temperature.Overall accuracy of the continuous maps generated for the LOI and WB methods was considered to determine the accordance of two procedures.Results showed a significant positive linear relationship between SOM LOI and SOM WB.Coefficients of determination (R2) of the equations for individual plains were higher than that of the overall equation.Coefficients of determination and line slopes decreased and root mean square error (RMSE) increased with increasing ignition temperature,which may be due to the mineral structural water loss and destruction of carbonates at higher temperatures.A temperature around 360 ℃ was identified as optimum as it burnt most organic carbon,destroyed less inorganic carbon,caused less clay structural water loss,and used less electrical energy.Although the trends of SOM in the kriged maps by the two procedures accorded well,low overall accuracy was observed for the maps obtained by the two methods.While not suitable for determination where high accuracy is required,determination of organic carbon through LOI is likely suitable for exploratory soil surveys where rough estimation of organic matter is required.
基金supported by Natural Science Foundation of Hubei Province under Grant No.2008CDZ047
文摘Abstract Mehrotra-type predictor-corrector algorithm is one of the most effective primal-dual interior- point methods. This paper presents an extension of the recent variant of second order Mehrotra-type predictor-corrector algorithm that was proposed by Salahi, et a1.（2006） for linear optimization. Basedon the NT direction as Newton search direction, it is shown that the iteration-complexity bound of thealgorithm for semidefinite optimization is which is similar to that of the correspondingalgorithm for linear optimization.
文摘We define the notion of special automorphisms on Shimura curves. Using this notion, for a wild class of elliptic curves defined over Q, we get rank one quadratic twists by discriminants having any prescribed number of prime factors. Finally, as an application, we obtain some new results on Birch and Swinnerton-Dyer(BSD) conjecture for the rank one quadratic twists of the elliptic curve X_0(49).
文摘In this paper, a reaction-diffusion model describing temporal development of tumor tissue, normal tissue and excess H＋ ion concentration is considered. Based on a combi- nation of perturbation methods, the Fredholm theory and Banach fixed point theorem, we theoretically justify the existence of the traveling wave solution for this model.
文摘KAM theorem of reversible system is used to provide a sufficient condition which guarantees the stability of a parabolic fixed point of reversible mappings. The main idea is to discuss when the parabolic thed point is surrounded by closed invariant curves and thus exhibits stable behaviour.
文摘The purpose of this paper is to give a refinement of the Atiyah-Singer families index theorem at the level of differential characters. Also a Riemann-Roch-Grothendieck theorem for the direct image of flat vector bundles by proper submersions is proved,with Chern classes with coefficients in C/Q. These results are much related to prior work of Gillet-Soule, Bismut-Lott and Lott.
文摘In this article, the authors establish the local null controllability property for semilinear parabolic systems in a domain whose boundary moves in time by a single control force acting on a prescribed subdomain. The proof is based on Kakutani＇s fixed point theorem combined with observability estimates for the associated lineaxized system.
