具有种内互惠作用的Lotka-Volterra互惠共存模型

对具有种内互惠作用的Lotka-Volterra互惠共存模型进行了完整的全局分析，得到了一些新的结果。     

IMPULSIVE CONTROL OF A FISHERY SYSTEM

This paper uses the method of linear approximation for impulsive systems and gets a theorem which guarantees a fishery modei to be asymptotically stable at its equilibrium point and gives the ecological explanation.     

Three methods for analyzing forced vibration of a fluid-filled cylindrical shell

The forced vibration of an infinite elastic circular cylindrical shell filled with fluid is studied. Three methods are employed to analyze the forced vibration problem of this shell-fluid coupled system, that is, wave propagation approach (wave mode superposition), theorem of residues and a numerical integral method. In order to explain these methods more explicitly, before being used to investigate the vibration of an infinite fluid-filled elastic circular cylindrical shell, all these three methods are employed firstly to analyze the forced vibration problem of an infinite beam and an infinite elastic circular cylindrical shell in vacuo. Advantage and disadvantage of these three methods are discussed and their interesting relationship is revealed. That is, to any circumferential wavenumber and frequency of the external force, there is an unchangeable relationship between the general coordinates of various waves in the wave propagation approach and the residuals in the theorem of residues.     

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     

衍射光学透镜色散特性的仿真研究

在白光照射下,衍射光学透镜的焦距不仅同材料色散和波长色散有关,而且还同孔径因子有关。基于折射率随波长变化的经验公式,利用自编的仿真计算程序包,得到了透镜焦距、材料色散、波长色散、孔径因子之间的关系曲线。所获得的理论分析和仿真计算结果为进一步设计消色差的纯衍射目视光学系统提供了理论依据,具有一定的指导意义。     

Unique continuation along curves and hypersurfaces for second order anisotropic hyperbolic systems with real analytic coefficients

In this paper we prove the following kind of unique continuation property. That is, the zero on each geodesic of the solution in a real analytic hypersurface for second order anisotropic hyperbolic systems with real analytic coefficients can be continued along this curve.

     

Sagnac Effect of Gödel's Universe

We present exact expressions for the Sagnac effect of Gödel's Universe. For this purpose we first derive a formula for the Sagnac time delay along a circular path in the presence of an arbitrary stationary metric in cylindrical coordinates. We then apply this result to Gödel's metric for two different experimental situations: First, the light source and the detector are at rest relative to the matter generating the gravitational field. In this case we find an expression that is formally equivalent to the familiar nonrelativistic Sagnac time delay. Second, the light source and the detector are rotating relative to the matter. Here we show that for a special rotation rate of the detector the Sagnac time delay vanishes. Finally we propose a formulation of the Sagnac time delay in terms of invariant physical quantities. We show that this result is very close to the analogous formula of the Sagnac time delay of a rotating coordinate system in Minkowski spacetime.     

Sequent calculi for propositional star-free likelihood logic

We consider classical, multisuccedent intuitionistic, and intuitionistic sequent calculi for propositional likelihood logic. We prove the admissibility of structural rules and cut rule, invertibility of rules, correctness of the calculi, and completeness of the classical calculus with respect to given semantics.__________Published in Lietuvos Matematikos Rinkinys, Vol. 45, No. 1, pp. 3–21, January–March, 2005.     

Second Order Nonlinear Evolution Inclusions Ⅰ： Existence and Relaxation Results

This is the first part of a work on second order nonlinear, nonmonotone evolution inclusions defined in the framework of an evolution triple of spaces and with a multivalued nonlinearity depending on both x（t） and x（t）. In this first part we prove existence and relaxation theorems. We consider the case of an usc, convex valued nonlinearity and we show that for this problem the solution set is nonempty and compact in C^1 （T, H）. Also we examine the Isc, nonconvex case and again we prove the existence of solutions. In addition we establish the existence of extremal solutions and by strengthening our hypotheses, we show that the extremal solutions are dense in C^1 （T, H） to the solutions of the original convex problem （strong relaxation）. An example of a nonlinear hyperbolic optimal control problem is also discussed.