Several results on iterative methods for equilibrium problems have been proposed and studied in the literature.Most of these results are obtained when the associated bifunction of the equilibrium problem is either a m...Several results on iterative methods for equilibrium problems have been proposed and studied in the literature.Most of these results are obtained when the associated bifunction of the equilibrium problem is either a monotone or pseudomonotone operator.Results on iterative methods for equilibrium problems without monotonicity conditions on the bifunction are still few in the literature.In this paper,we study equilibrium problems for which the underlined bifunction is not assumed any form of monotonicity.We propose two weakly convergent iterative algorithms and one strongly convergent algorithm.We obtain our convergence results without assuming either monotonicity or pseudomonotonicity condition on the bifunction.Our proposed algorithms are tested numerically to be more efficient and faster than some few available algorithms for equilibrium problems without monotonicity in the literature.展开更多
The scientific achievements of travelling waves in a barotropic atmosphere are introduced, including i) the existence conditions of periodic solutions (wavetrain solutions) and solitary wave solutions (pulse solutions...The scientific achievements of travelling waves in a barotropic atmosphere are introduced, including i) the existence conditions of periodic solutions (wavetrain solutions) and solitary wave solutions (pulse solutions), together with the solution finding methods and a series of related problems, ii) seeking solutions of monotonous wave (wave front) and of nonmonotonous travelling wave (oscillatory wave) by using phase plane shooting technique and hi) progress in the study of travelling wave solution at home and abroad. The investigation of travelling wave solutions in recent years has been found in mathematics, physics, chemistry, biology and other sciences. Over the past decade the problem has been the subject of much interest and become an important area of research. So it is no doubt of great significance to investigate the travelling wave solutions and thereby explain phenomena of weather.展开更多
It is well known that there exists a tight connection between nonmonotonic reasoning and conditional implication. Many researchers have investigated it from various angles. Among th em, C.Boutilier and P.Lamarre hav...It is well known that there exists a tight connection between nonmonotonic reasoning and conditional implication. Many researchers have investigated it from various angles. Among th em, C.Boutilier and P.Lamarre have shown that some conditional implication may b e regarded as the homology of different nonmonotonic consequence relations. In t his paper, based on the plausibility space introduced by Friedman and Halpern, w e characterize the condition logic in which conditional implication is nonmonoto nic, and this result characterizes the conditional implication which may be rega rded as the corresponding object in Meta language for nonmonotonic inference rel ations.展开更多
A new limited memory symmetric rank one algorithm is proposed. It combines a modified self-scaled symmetric rank one （SSR1） update with the limited memory and nonmonotone line search technique. In this algorithm, th...A new limited memory symmetric rank one algorithm is proposed. It combines a modified self-scaled symmetric rank one （SSR1） update with the limited memory and nonmonotone line search technique. In this algorithm, the descent search direction is generated by inverse limited memory SSR1 update, thus simplifying the computation. Numerical comparison of the algorithm and the famous limited memory BFGS algorithm is given. Comparison results indicate that the new algorithm can process a kind of large-scale unconstrained optimization problems.展开更多
In this paper, we present a nonmonotone smoothing Newton algorithm for solving the circular cone programming(CCP) problem in which a linear function is minimized or maximized over the intersection of an affine space w...In this paper, we present a nonmonotone smoothing Newton algorithm for solving the circular cone programming(CCP) problem in which a linear function is minimized or maximized over the intersection of an affine space with the circular cone. Based on the relationship between the circular cone and the second-order cone(SOC), we reformulate the CCP problem as the second-order cone problem(SOCP). By extending the nonmonotone line search for unconstrained optimization to the CCP, a nonmonotone smoothing Newton method is proposed for solving the CCP. Under suitable assumptions, the proposed algorithm is shown to be globally and locally quadratically convergent. Some preliminary numerical results indicate the effectiveness of the proposed algorithm for solving the CCP.展开更多
A trust region method combining with nonmonotone technique is proposed tor solving symmetric nonlinear equations. The global convergence of the given method will be established under suitable conditions. Numerical res...A trust region method combining with nonmonotone technique is proposed tor solving symmetric nonlinear equations. The global convergence of the given method will be established under suitable conditions. Numerical results show that the method is interesting for the given problems.展开更多
In this paper, we propose a modified trust-region filter method algorithm for Minimax problems, which based on the framework of SQP-filter method and associated with the technique of nonmonotone method. We use the SQP...In this paper, we propose a modified trust-region filter method algorithm for Minimax problems, which based on the framework of SQP-filter method and associated with the technique of nonmonotone method. We use the SQP subproblem to acquire an attempt step, and use the filter to weigh the effect of the attempt step so as to avoid using penalty function. The algorithm uses the Lagrange function as a merit function and the nonmonotone filter to improve the effect of the algorithm. Under some mild conditions, we prove the global convergence.展开更多
We deal with anti-periodic problems for differential inclusions with nonmonotone perturbations. The main tools in our study are the maximal monotone property of the derivative operator with anti-periodic conditions an...We deal with anti-periodic problems for differential inclusions with nonmonotone perturbations. The main tools in our study are the maximal monotone property of the derivative operator with anti-periodic conditions and the theory of pseudomonotone perturbations of maximal monotone mappings. We then apply our results to evolution hemivariational inequalities and parabolic equations with nonmonotone discontinuities, which generalize and extend previously known theorems.展开更多
A trust region algorithm for equality constrained optimization is given in this paper.The algorithm does not enforce strict monotonicity of the merit function for every iteration.Global convergence of the algorithm i...A trust region algorithm for equality constrained optimization is given in this paper.The algorithm does not enforce strict monotonicity of the merit function for every iteration.Global convergence of the algorithm is proved under the same conditions of usual trust region method.展开更多
In [3] Liu et al. investigated global convergence of conjugate gradient methods. In that paper they allowed βκ to be selected in a wider range and the global convergence of the corresponding algorithm without suffic...In [3] Liu et al. investigated global convergence of conjugate gradient methods. In that paper they allowed βκ to be selected in a wider range and the global convergence of the corresponding algorithm without sufficient decrease condition was proved. This paper investigates global convergence of nonmonotone conjugate gradient method under the same conditions.展开更多
The trust region method plays an important role in solving optimization problems. In this paper, we propose a new nonmonotone adaptive trust region method for solving unconstrained optimization problems. Actually, we ...The trust region method plays an important role in solving optimization problems. In this paper, we propose a new nonmonotone adaptive trust region method for solving unconstrained optimization problems. Actually, we combine a popular nonmonotone technique with an adaptive trust region algorithm. The new ratio to adjusting the next trust region radius is different from the ratio in the traditional trust region methods. Under some appropriate conditions, we show that the new algorithm has good global convergence and superlinear convergence.展开更多
Nonmonotonic reasoning and nonmonotonic truth maintenance are two important research aspects of artificial intelligence, which have close relations. Existing nonmonotonic truth maintenance systems can be used as the t...Nonmonotonic reasoning and nonmonotonic truth maintenance are two important research aspects of artificial intelligence, which have close relations. Existing nonmonotonic truth maintenance systems can be used as the theorem provers of conventional nonmonotonic logics, but they can't represent and deal with prioritized nonmonotonic reasoning. This paper presented stratified truth maintenance systems which can represent and deal with prioritized justifications. It will be shown that the stratified ATMS can be used as a theorem prover of prioritized nonmonotonic logics.展开更多
In this paper we present a nonmonotone trust region method for nonlinear least squares problems with zero-residual and prove its convergence properties. The extensive numerical results are reported which show that the...In this paper we present a nonmonotone trust region method for nonlinear least squares problems with zero-residual and prove its convergence properties. The extensive numerical results are reported which show that the nonmonotone trust region method is generally superior to the usual trust region method.展开更多
In this paper, we present a nonmonotone algorithm for solving nonsmooth composite optimization problems. The objective function of these problems is composited by a nonsmooth convex function and a differentiable funct...In this paper, we present a nonmonotone algorithm for solving nonsmooth composite optimization problems. The objective function of these problems is composited by a nonsmooth convex function and a differentiable function. The method generates the search directions by solving quadratic programming successively, and makes use of the nonmonotone line search instead of the usual Armijo-type line search. Global convergence is proved under standard assumptions. Numerical results are given.展开更多
Truth maintenance systems become the very useful tools in artificial intelligence. Existing truth maintenance systems can’t deal with nonmonotonic reasoning effectively. They have limitations ...Truth maintenance systems become the very useful tools in artificial intelligence. Existing truth maintenance systems can’t deal with nonmonotonic reasoning effectively. They have limitations in the representation of nonmonotonic justifications. We present stratified truth maintenance systems which introduce priorities among justifications. The stratified truth maintenance systems can deal with nonmonotonic reasoning more effectively and can be applied in many useful areas.展开更多
We study a new class of elliptic variational-hemivariational inequalities arising in the modelling of contact problems for elastic ideally locking materials. The contact is described by the Signorini unilateral contac...We study a new class of elliptic variational-hemivariational inequalities arising in the modelling of contact problems for elastic ideally locking materials. The contact is described by the Signorini unilateral contact condition and the friction is modelled by the nonmonotone multivalued subdifferential condition which depends on the slip. The problem is governed by a nonlinear elasticity operator, the subdifferential of the indicator function of a convex set which describes the locking constraints and a nonconvex locally Lipschitz friction potential. The result on existence and uniqueness of solution to the inequality is shown. The proof is based on a surjectivity result for maximal monotone and pseudomonotone operators combined with the application of the Banach contraction principle.展开更多
In the discipline of artificial intelligence,the problem of emulating higher mental processes such as the cognitive learning still remains open.Here a logical approach to higher mental processes, including insight lea...In the discipline of artificial intelligence,the problem of emulating higher mental processes such as the cognitive learning still remains open.Here a logical approach to higher mental processes, including insight learning and intuition acquisition,is presented.This approach is based on the conventional logic,including deduction, induction,and abduction.The combined deductive reasoning and abductive reasoning or alternatively predicate completion are used for insight learning,and an integrated inductive learning is used to acquire the intuition of the rule-based expert systems.The application of the approach to real-world problems is also described in detail.展开更多
In the paper, a new mixed algorithm combined with schemes of nonmonotone line search, the systems of linear equations for higher order modification and sequential quadratic programming for constrained optimizations is...In the paper, a new mixed algorithm combined with schemes of nonmonotone line search, the systems of linear equations for higher order modification and sequential quadratic programming for constrained optimizations is presented. Under some weaker assumptions,without strict complementary condition, the algorithm is globally and superlinearly convergent.展开更多
The paper presents the formulation and approximation of a static thermoelasticity problem that describes bilateral frictional contact between a deformable body and a rigid foundation. The friction is in the form of a ...The paper presents the formulation and approximation of a static thermoelasticity problem that describes bilateral frictional contact between a deformable body and a rigid foundation. The friction is in the form of a nonmonotone and multivalued law. The coupling effect of the problem is neglected. Therefore, the thermic part of the problem is considered independently on the elasticity problem. For the displacement vector, we formulate one substationary problem for a non-convex, locally Lipschitz continuous functional representing the total potential energy of the body. All problems formulated in the paper are approximated with the finite element method.展开更多
The optimal control problem of parabolic variational inequalities with the state constraint and nonlinear, discontinuous nonmonotone multivalued mapping term and its approximating problem are studied, which generalize...The optimal control problem of parabolic variational inequalities with the state constraint and nonlinear, discontinuous nonmonotone multivalued mapping term and its approximating problem are studied, which generalizes some obtained results.展开更多
文摘Several results on iterative methods for equilibrium problems have been proposed and studied in the literature.Most of these results are obtained when the associated bifunction of the equilibrium problem is either a monotone or pseudomonotone operator.Results on iterative methods for equilibrium problems without monotonicity conditions on the bifunction are still few in the literature.In this paper,we study equilibrium problems for which the underlined bifunction is not assumed any form of monotonicity.We propose two weakly convergent iterative algorithms and one strongly convergent algorithm.We obtain our convergence results without assuming either monotonicity or pseudomonotonicity condition on the bifunction.Our proposed algorithms are tested numerically to be more efficient and faster than some few available algorithms for equilibrium problems without monotonicity in the literature.
基金The work is supported by the National Natural Science Foundation of China and LASG.
文摘The scientific achievements of travelling waves in a barotropic atmosphere are introduced, including i) the existence conditions of periodic solutions (wavetrain solutions) and solitary wave solutions (pulse solutions), together with the solution finding methods and a series of related problems, ii) seeking solutions of monotonous wave (wave front) and of nonmonotonous travelling wave (oscillatory wave) by using phase plane shooting technique and hi) progress in the study of travelling wave solution at home and abroad. The investigation of travelling wave solutions in recent years has been found in mathematics, physics, chemistry, biology and other sciences. Over the past decade the problem has been the subject of much interest and become an important area of research. So it is no doubt of great significance to investigate the travelling wave solutions and thereby explain phenomena of weather.
文摘It is well known that there exists a tight connection between nonmonotonic reasoning and conditional implication. Many researchers have investigated it from various angles. Among th em, C.Boutilier and P.Lamarre have shown that some conditional implication may b e regarded as the homology of different nonmonotonic consequence relations. In t his paper, based on the plausibility space introduced by Friedman and Halpern, w e characterize the condition logic in which conditional implication is nonmonoto nic, and this result characterizes the conditional implication which may be rega rded as the corresponding object in Meta language for nonmonotonic inference rel ations.
基金the National Natural Science Foundation of China(10471062)the Natural Science Foundation of Jiangsu Province(BK2006184)~~
文摘A new limited memory symmetric rank one algorithm is proposed. It combines a modified self-scaled symmetric rank one （SSR1） update with the limited memory and nonmonotone line search technique. In this algorithm, the descent search direction is generated by inverse limited memory SSR1 update, thus simplifying the computation. Numerical comparison of the algorithm and the famous limited memory BFGS algorithm is given. Comparison results indicate that the new algorithm can process a kind of large-scale unconstrained optimization problems.
基金supported by the National Natural Science Foundation of China(11401126,71471140 and 11361018)Guangxi Natural Science Foundation(2016GXNSFBA380102 and 2014GXNSFFA118001)+2 种基金Guangxi Key Laboratory of Cryptography and Information Security(GCIS201618)Guangxi Key Laboratory of Automatic Detecting Technology and Instruments(YQ15112 and YQ16112)China
文摘In this paper, we present a nonmonotone smoothing Newton algorithm for solving the circular cone programming(CCP) problem in which a linear function is minimized or maximized over the intersection of an affine space with the circular cone. Based on the relationship between the circular cone and the second-order cone(SOC), we reformulate the CCP problem as the second-order cone problem(SOCP). By extending the nonmonotone line search for unconstrained optimization to the CCP, a nonmonotone smoothing Newton method is proposed for solving the CCP. Under suitable assumptions, the proposed algorithm is shown to be globally and locally quadratically convergent. Some preliminary numerical results indicate the effectiveness of the proposed algorithm for solving the CCP.
基金Supported by SF of Guangxi University(X061041)Supported by NSF of China(10761001)
文摘A trust region method combining with nonmonotone technique is proposed tor solving symmetric nonlinear equations. The global convergence of the given method will be established under suitable conditions. Numerical results show that the method is interesting for the given problems.
文摘In this paper, we propose a modified trust-region filter method algorithm for Minimax problems, which based on the framework of SQP-filter method and associated with the technique of nonmonotone method. We use the SQP subproblem to acquire an attempt step, and use the filter to weigh the effect of the attempt step so as to avoid using penalty function. The algorithm uses the Lagrange function as a merit function and the nonmonotone filter to improve the effect of the algorithm. Under some mild conditions, we prove the global convergence.
文摘We deal with anti-periodic problems for differential inclusions with nonmonotone perturbations. The main tools in our study are the maximal monotone property of the derivative operator with anti-periodic conditions and the theory of pseudomonotone perturbations of maximal monotone mappings. We then apply our results to evolution hemivariational inequalities and parabolic equations with nonmonotone discontinuities, which generalize and extend previously known theorems.
文摘A trust region algorithm for equality constrained optimization is given in this paper.The algorithm does not enforce strict monotonicity of the merit function for every iteration.Global convergence of the algorithm is proved under the same conditions of usual trust region method.
基金Supported by the National Science Foundation of China(10171055)
文摘In [3] Liu et al. investigated global convergence of conjugate gradient methods. In that paper they allowed βκ to be selected in a wider range and the global convergence of the corresponding algorithm without sufficient decrease condition was proved. This paper investigates global convergence of nonmonotone conjugate gradient method under the same conditions.
文摘The trust region method plays an important role in solving optimization problems. In this paper, we propose a new nonmonotone adaptive trust region method for solving unconstrained optimization problems. Actually, we combine a popular nonmonotone technique with an adaptive trust region algorithm. The new ratio to adjusting the next trust region radius is different from the ratio in the traditional trust region methods. Under some appropriate conditions, we show that the new algorithm has good global convergence and superlinear convergence.
文摘Nonmonotonic reasoning and nonmonotonic truth maintenance are two important research aspects of artificial intelligence, which have close relations. Existing nonmonotonic truth maintenance systems can be used as the theorem provers of conventional nonmonotonic logics, but they can't represent and deal with prioritized nonmonotonic reasoning. This paper presented stratified truth maintenance systems which can represent and deal with prioritized justifications. It will be shown that the stratified ATMS can be used as a theorem prover of prioritized nonmonotonic logics.
基金State Major Key Project for Basic ResearchesDecision Making and Information System Laboratory+1 种基金 Academy of Science of China Natural Science Foundation of Tsinghua University.
文摘In this paper we present a nonmonotone trust region method for nonlinear least squares problems with zero-residual and prove its convergence properties. The extensive numerical results are reported which show that the nonmonotone trust region method is generally superior to the usual trust region method.
文摘In this paper, we present a nonmonotone algorithm for solving nonsmooth composite optimization problems. The objective function of these problems is composited by a nonsmooth convex function and a differentiable function. The method generates the search directions by solving quadratic programming successively, and makes use of the nonmonotone line search instead of the usual Armijo-type line search. Global convergence is proved under standard assumptions. Numerical results are given.
文摘Truth maintenance systems become the very useful tools in artificial intelligence. Existing truth maintenance systems can’t deal with nonmonotonic reasoning effectively. They have limitations in the representation of nonmonotonic justifications. We present stratified truth maintenance systems which introduce priorities among justifications. The stratified truth maintenance systems can deal with nonmonotonic reasoning more effectively and can be applied in many useful areas.
基金supported by the National Science Center of Poland under the Maestro 3 Project No.DEC-2012/06/A/ST1/00262the project Polonium“Mathematical and Numerical Analysis for Contact Problems with Friction”2014/15 between the Jagiellonian University and Universitde Perpignan Via Domitia
文摘We study a new class of elliptic variational-hemivariational inequalities arising in the modelling of contact problems for elastic ideally locking materials. The contact is described by the Signorini unilateral contact condition and the friction is modelled by the nonmonotone multivalued subdifferential condition which depends on the slip. The problem is governed by a nonlinear elasticity operator, the subdifferential of the indicator function of a convex set which describes the locking constraints and a nonconvex locally Lipschitz friction potential. The result on existence and uniqueness of solution to the inequality is shown. The proof is based on a surjectivity result for maximal monotone and pseudomonotone operators combined with the application of the Banach contraction principle.
文摘In the discipline of artificial intelligence,the problem of emulating higher mental processes such as the cognitive learning still remains open.Here a logical approach to higher mental processes, including insight learning and intuition acquisition,is presented.This approach is based on the conventional logic,including deduction, induction,and abduction.The combined deductive reasoning and abductive reasoning or alternatively predicate completion are used for insight learning,and an integrated inductive learning is used to acquire the intuition of the rule-based expert systems.The application of the approach to real-world problems is also described in detail.
文摘In the paper, a new mixed algorithm combined with schemes of nonmonotone line search, the systems of linear equations for higher order modification and sequential quadratic programming for constrained optimizations is presented. Under some weaker assumptions,without strict complementary condition, the algorithm is globally and superlinearly convergent.
基金supported by the Minisitry of Science of the Republic of Serbia (No. 144005)
文摘The paper presents the formulation and approximation of a static thermoelasticity problem that describes bilateral frictional contact between a deformable body and a rigid foundation. The friction is in the form of a nonmonotone and multivalued law. The coupling effect of the problem is neglected. Therefore, the thermic part of the problem is considered independently on the elasticity problem. For the displacement vector, we formulate one substationary problem for a non-convex, locally Lipschitz continuous functional representing the total potential energy of the body. All problems formulated in the paper are approximated with the finite element method.
文摘The optimal control problem of parabolic variational inequalities with the state constraint and nonlinear, discontinuous nonmonotone multivalued mapping term and its approximating problem are studied, which generalizes some obtained results.
