Multiplicity results for positive solutions of some semi-positone three-point boundary value problems

In this paper, some multiplicity results for positive solutions of some singular semi-positone three-point boundary value problem be obtained by using the fixed point index method.     

Global Solution of Optimization Problems with Parameter-Embedded Linear Dynamic Systems

This paper develops a theory for the global solution of nonconvex optimization problems with parameter-embedded linear dynamic systems. A quite general problem formulation is introduced and a solution is shown to exists. A convexity theory for integrals is then developed to construct convex relaxations for utilization in a branch-and-bound framework to calculate a global minimum. Interval analysis is employed to generate bounds on the state variables implied by the bounds on the embedded parameters. These bounds, along with basic integration theory, are used to prove convergence of the branch-and-bound algorithm to the global minimum of the optimization problem. The implementation of the algorithm is then considered and several numerical case studies are examined thoroughly     

束流线性耦合效应的初步研究

在储存环的束流传输系统中,斜四极场和纵向螺线管场是引起束流线性耦合的主要原因.由于这种耦合,使得束流的幅度和发射度发生交换,引起束流横向包络的增大,严重的将造成束流损失.从Betatron运动方程出发研究了斜四极场和螺线管场存在时束流的幅度耦合效应,分析了斜四极场存在时束流发射度的变化.     

A technique to construct symmetric variable-stepsize linear multistep methods for second-order systems

Some previous works show that symmetric fixed- and variable-stepsize linear multistep methods for second-order systems which do not have any parasitic root in their first characteristic polynomial give rise to a slow error growth with time when integrating reversible systems. In this paper, we give a technique to construct variable-stepsize symmetric methods from their fixed-stepsize counterparts, in such a way that the former have the same order as the latter. The order and symmetry of the integrators obtained is proved independently of the order of the underlying fixed-stepsize integrators. As this technique looks for efficiency, we concentrate on explicit linear multistep methods, which just make one function evaluation per step, and we offer some numerical comparisons with other one-step adaptive methods which also show a good long-term behaviour.

     

On quasi-solution to infeasible linear complementarity problem obtained by Lemke’s method

For a linear complementarity problem with inconsistent system of constraints a notion of quasi-solution of Tschebyshev type is introduced. It’s shown that this solution can be obtained automatically by Lemke’s method if the constraint matrix of the original problem is copositive plus or belongs to the intersection of matrix classes P ₀ and Q ₀.     

On the advantage over a random assignment

We initiate the study of a new measure of approximation. This measure compares the performance of an approximation algorithm to the random assignment algorithm. This is a useful measure for optimization problems where the random assignment algorithm is known to give essentially the best possible polynomial time approximation. In this paper, we focus on this measure for the optimization problems Max‐Lin‐2 in which we need to maximize the number of satisfied linear equations in a system of linear equations modulo 2, and Max‐k‐Lin‐2, a special case of the above problem in which each equation has at most k variables. The main techniques we use, in our approximation algorithms and inapproximability results for this measure, are from Fourier analysis and derandomization. © 2004 Wiley Periodicals, Inc. Random Struct. Alg., 2004     

一般线性模型下方差最小范数二次无偏估计的稳健性

本文给出了一般线性模型下,由最小二乘得到的方差估计与最小范数二次无偏估计相等的充分必要条件,并且当Gauss-Markov估计与最小二乘估计相等时,可以得到一个简单的等价条件。     

用单一驱动变量同步混沌与超混沌的一种方法

为减少混沌或超混沌同步过程中所需同步信号的个数以及提高同步的效率，提出了用线性可逆变换的方法重组系统，从而使原来不能同步的系统实现了只用单一信号就可同步的目的-另外，也大大提高系统的同步速率- 关键词： 线性可逆变换 混沌和超混沌同步 最大条件Lyapunov指数     

一个来自振动理论反问题的矩阵方程

§ 1　ＩｎｔｒｏｄｕｃｔｉｏｎＬｅｔＲｎ×ｍｄｅｎｏｔｅｔｈｅｒｅａｌｎ×ｍｍａｔｒｉｘｓｐａｃｅ ,Ｒｎ×ｍｒ ｉｔｓｓｕｂｓｅｔｗｈｏｓｅｅｌｅｍｅｎｔｓｈａｖｅｒａｎｋｒ ,ＯＲｎ×ｎｔｈｅｓｅｔｏｆａｌｌｎ×ｎｏｒｔｈｏｇｏｎａｌｍａｔｒｉｃｅｓ,ＳＲｎ×ｎ(ＳＲｎ×ｎ≥ ,ＳＲｎ×ｎ>)ｔｈｅｓｅｔｏｆａｌｌｎ×ｎｒｅａｌｓｙｍｍｅｔｒｉｃ (ｓｙｍｍｅｔｒｉｃｐｏｓｉｔｉｖｅｓｅｍｉｄｅｆｉｎｉｔｅ ,ｐｏｓｉｔｉｖｅｄｅｆｉｎｉｔｅ)ｍａｔｒｉｃｅｓ.ＴｈｅｎｏｔａｔｉｏｎＡ>0 (≥ 0 ,<0 ,≤ 0 )ｍ…     

Positive set‐operators of low complexity

The powerset operator, ??, is compared with other operators of similar type and logical complexity. Namely we examine positive operators whose defining formula has a canonical form containing at most a string of universal quantifiers. We call them ?‐operators. The question we address in this paper is: How is the class of ?‐operators generated ? It is shown that every positive ?‐operator Γ such that Γ(??) ≠ ??, is finitely generated from ??, the identity operator Id, constant operators and certain trivial ones by composition, ∪ and ∩. This extends results of [3] concerning bounded positive operators.