On the Upper Bound of Second Eigenvalues for Uniformly Elliptic Operators of any Orders

Abstract Let Ω R~m(m≥1)be a bounded domain with piecewise smooth boundary Ω.Let t and r bepositive integers with t>r+1. We consider the eigenvalue problems(1.1)and(12),and obtain Theorem 1and Theorem 2, which generalize the results in[1,2.5].     

A note on the spectrum of an upper triangular operator matrix

Let be a upper triangular operator matrix acting on the Banach space . We investigate the set of the operators for which , where denotes the spectrum.

     

Non-compact generalized variational inequalities for quasi-monotone and hemi-continuous operators with applications

Some results are obtained for non-compact cases in topological vector spaces for the existence problem of solutions for some set-valued variational inequalities with quasi-monotone and lower hemi-continuous operators, and with quasi-semi-monotone and upper hemi-continuous operators. Some applications are given in non-reflexive Banach spaces for these existence problems of solutions and for perturbation problems for these set-valued variational inequalities with quasi-monotone and quasi-semi-monotone operators. This revised version was published online in June 2006 with corrections to the Cover Date.     

New Relaxation Method for Mathematical Programs with Complementarity Constraints

In this paper, we present a new relaxation method for mathematical programs with complementarity constraints. Based on the fact that a variational inequality problem defined on a simplex can be represented by a finite number of inequalities, we use an expansive simplex instead of the nonnegative orthant involved in the complementarity constraints. We then remove some inequalities and obtain a standard nonlinear program. We show that the linear independence constraint qualification or the Mangasarian–Fromovitz constraint qualification holds for the relaxed problem under some mild conditions. We consider also a limiting behavior of the relaxed problem. We prove that any accumulation point of stationary points of the relaxed problems is a weakly stationary point of the original problem and that, if the function involved in the complementarity constraints does not vanish at this point, it is C-stationary. We obtain also some sufficient conditions of B-stationarity for a feasible point of the original problem. In particular, some conditions described by the eigenvalues of the Hessian matrices of the Lagrangian functions of the relaxed problems are new and can be verified easily. Our limited numerical experience indicates that the proposed approach is promising.     

杆型SFRFQ结构的研究

RFO加速结构是一种非常巧妙的低能强流加速结构,但是它存在能量上限问题.而杆型SFRFQ加速结构是一种改进的无反场的SFRFQ结构.对分离作用杆型RFQ加速结构在能量增益和横向稳定性两个方面进行了研究,最后还和光阑型SFRFQ结构进行了一些简单的比较 关键词： 能量上限问题 RFQ 杆型SFRFQ 反场 光阑型SFRFQ     

统计数据采样算法

将集中式控制系统常用的结构二层结构改进为智能化的三层结构的设计方案,即传感器、智能巡检仪和上位机。上位机既可以直接读取传感器的数据也可读取智能巡检仪的数据。此方案较好地解决了二层结构所出现的问题,并且也适合交大规模的其它类型的控制系统。这种设计方案存在当规模时上位机采集数据出现丢失现象。本文提出了利用数据库的历史数据及控制曲线的线性特征的数据采集算法,较好地解决了数据丢失的问题。并以温控系统为例仿真了在较大规模控制环境下的试验结果。     

关于丢番图方程x^2±2^m=y^n

本文证明了：方程ｘ２＋２ｍ＝ｙｎ，ｘ，ｙ，ｍ，ｎ∈Ｎ，ｇｃｄ（ｘ，ｙ）＝１，ｎ＞２仅有有限多组解（ｘ，ｙ，ｍ，ｎ），而且当（ｘ，ｙ，ｍ，ｎ）≠（５，３，１，３），（１１，５，２，３），（７，３，５，４）时，ｎ是适合ｎ≡７（ｍｏｄ８）以及２３≤ｎ＜８．５·１０６的奇素数，ｍａｘ（ｘ，ｙ，ｍ）＜Ｃ１；方程ｘ２－２ｍ＝ｙｎ，ｘ，ｙ，ｍ，ｎ∈Ｎ，ｇｃｄ（ｘ，ｙ）＝１，ｙ＞１；ｎ＞２仅有有限多组解（ｘ，ｙ，ｍ，ｎ），而且这些解都满足ｎ＜２·１０９炉以及ｍａｘ（ｘ，ｙ，ｍ）＜Ｃ２，这里Ｃ１，Ｃ２是可有效计算的绝对常数．     

有界变量线性规划的基线算法

本文对有界变量线性规划的算法进行了研究，得到了一种解此问题的新算法。文中根据基线算法的算法原理，通过对BL表的旋转，在各变量满足界约束的条件下，使目标函数值不断增大，直至得到有界硬上界，从而得到问题的最优解。文中给出了有界变量线性规划基线算法的计算步骤，并给出了一个例子。与单纯形法相比，采用基线算法解有界变量线性规划操作更简单。迭代次数少，解题速度更快。     

无容量限制设施选址问题的降阶回溯算法

无容量限制设施选址问题(uncapacitated facility location problem, UFLP)是经典组合优化中NP-Hard问题之一,在诸多领域具有广泛的应用价值。本文首先研究UFLP的数学性质,并进行了数学证明。运用这些数学性质不仅可以确定某些设施必定开设或者关闭,还可以确定某些连接边是否在服务集中,从而缩小问题的规模,加快求解速度;在此基础上设计出一个新的基于上下界的回溯算法来求解UFLP。最后,通过一个示例进一步阐述该算法的原理,结果表明该算法具有明显的可行性和有效性。     

Existence of homoclinic solutions for nonlinear second-order coupled systems

This work presents sufficient conditions for the existence of homoclinic solutions for second order coupled discontinuous systems of differential equations on the real line without the usual growth condition in the literature.The arguments apply the fixed point theory, Green's functions technique, $L^1$-Carathéodory functions, lower and upper solutions and Schauder's fixed point theorem.