Algorithms of common solutions to quasi variational inclusion and fixed point problems

The purpose of this paper is to present an iterative scheme for finding a common element of the set of solutions to the variational inclusion problem with multivalued maximal monotone mapping and inverse-strongly monotone mappings and the set of fixed points of nonexpansive mappings in Hilbert space.Under suitable conditions, some strong convergence theorems for approximating this common elements are proved. The results presented in the paper not only improve and extend the main results in Korpelevich（Ekonomika i Matematicheskie Metody,1976,12（4）：747-756）,but also extend and replenish the corresponding results obtained by Iiduka and Takahashi（Nonlinear Anal TMA,2005,61（3）：341-350）,Takahashi and Toyoda（J Optim Theory Appl,2003, 118（2）：417-428）,Nadezhkina and Takahashi（J Optim Theory Appl,2006,128（1）：191- 201）,and Zeng and Yao（Taiwanese Journal of Mathematics,2006,10（5）：1293-1303）.     

G-凸空间的择一原理和极大极小不等式

Using a fixed point theorem by Kuo, Jeng and Huang, we obtain in G-convex spaces a very general intersection theorem concerning the values of three maps. From this result we derive successively alternative theorems concerning maximal elements, analytic alternatives and minimax inequalities.     

一种形式化验证方法:模型检验

模型检验作为一种形式化验证方法,近年来在各种硬件、软件设计中得到了广泛应用．文中首先介绍了描述系统行为的Kripke结构和描述系统性质的CTL逻辑,然后介绍了模型检验中常用的两种算法：标记算法和基于固定点的算法,最后介绍了为避免内存爆炸而引入的符号模型检验技术．     

接地式三要素型动力吸振器性能分析

利用固定点理论优化接地类型的动力吸振器得到的结果可能不是全局最优参数,在选择其他参数时主系统可以获得更小的振幅, 接地类型动力吸振器的优化问题值得进一步研究. 因此,以一种接地式三要素型动力吸振器为对象,通过研究系统参数变化对固 定点位置与主系统最大振幅的影响,得到了此吸振器的局部最优参数并分析了它的性能. 首先建立了此系统模型的运动微分方程, 得到了主系统振幅放大因子,发现系统存在3个与阻尼无关的固定点. 固定点中幅值较大点随系统参数变化的趋势可以代表最大振 幅随系统参数变化的趋势,因此利用盛金公式得到了固定点幅值的表达式. 为了更加精确,进一步使用数值算法得到了最大振幅与 系统参数的关系图,发现系统中存在局部最优参数. 通过对比接地式吸振器与接地三要素型吸振器的最大振幅随系统参数变化的趋 势,得到了接地式三要素型吸振器的局部最优参数,并发现当固有频率比小于局部最优频率比时,接地式三要素型吸振器模型主系 统的最大振幅要远小于接地式动力吸振器模型.      

POSITIVE SOLUTIONS TO A SEMILINEAR SYSTEM OF SECOND-ORDER TWO-POINT BOUNDARY VALUE PROBLEMS

By using Krasnosel'skii fixed point theorem of cone expansion-compression type, the results on the existence of one, two and three positive solutions are established for a semilinear second-order system of two-point boundary value problems.     

PERIODIC SOLUTIONS FOR A CLASS OF DEGENERATE NEUTRAL PERIODIC SYSTEM WITH DELAY

In this paper, using fixed point method, discusses the problem of periodic solution for a class of degenerate neutral periodic system with delay, and obtains some sufficient conditions for the existence and uniqueness of periodic solution of the system, the result extends and improves some results of paper [1-2].     

EXISTENCE AND MULTIPLICITY OF POSITIVE SOLUTIONS TO CERTAIN QUASILINEAR ELLIPTIC EQUATIONS IN A BALL

By the fixed point theorem on a cone and monotone iterative technique, the existence and multiplicity of the positive radial solutions to a class of quasilinear elliptic equations are considered. Also, using the monotone iteration method the authors deal with the boundary value problem as the nonlinear term f(t,u) increases in u.     

四维代数环群上无固定点的有理自同构群

本文解决K.Tahara提出的猜想,给出了所有四维代数环群上全部无固定点的有理自同构群.     

Approximate Augmented Lagrangian Functions and Nonlinear Semidefinite Programs

In this paper, an approximate augmented Lagrangian function for nonlinear semidefinite programs is introduced. Some basic properties of the approximate augmented Lagrange function such as monotonicity and convexity are discussed. Necessary and sufficient conditions for approximate strong duality results are derived. Conditions for an approximate exact penalty representation in the framework of augmented Lagrangian are given. Under certain conditions, it is shown that any limit point of a sequence of stationary points of approximate augmented Lagrangian problems is a KKT point of the original semidefinite program and that a sequence of optimal solutions to augmented Lagrangian problems converges to a solution of the original semidefinite program.     

2-一致光滑空间中严格伪压缩映像的弱收敛定理

讨论了严格伪压缩映像的不动点问题.在2-一致光滑一致凸的Banach空间中,通过Mann迭代方法得到严格伪压缩映像的不动点的弱收敛结果.这个结果推广了目前的已知结果.