The Markov power moment problem in problems of controllability and frequency extinguishing for the wave equation on a half-axis

In this paper necessary and sufficient conditions of null-controllability and approximate null-controllability are obtained for the wave equation on a half-axis. Controls solving these problems are found explicitly. Moreover, bang-bang controls solving the approximate null-controllability problem are constructed with the aid of solutions of a frequency extinguishing problem in the restricted band (−a,a) for this equation and the Markov power moment problem.     

Reductions of interval nonlinear programming problem

A general nonlinear programming problem with interval functions is considered. Two reductions of this problem to the deterministic nonlinear programming problem are proposed, and illustrative examples are discussed.     

Numerical analysis of the spiral Couette flow of a rarefied gas between coaxial cylinders

An implicit quasi-monotone second-order accurate method is proposed for analyzing the spiral Couette flow of a rarefied gas between coaxial cylinders. The basic advantages of the method over the conventional method of stationry iterations are that the former is conservative with respect to the collision integral, has a simple software implementation for any types of boundary conditions, and applies to a wide range of Knudsen numbers.     

一阶形式系统K~*及其完备性

模糊命题演算的形式系统L＊已经在模糊逻辑与模糊推理的结合研究中得到了成功的应用.本文考虑与系统L＊相应的一阶逻辑理论,建立了一阶形式系统K＊,并证明了这个系统的完备性.     

Study of an identity

We solve the word problem of the identity x(yz) = (xy)(yz) by investigating a certain group describing the geometry of that identity. We also construct a concrete realization of the one-generated free algebra relative to the above identity. Received March 23, 2001; accepted in final form July 6, 2002.     

Existence and Uniqueness of Endemic States for the Age-structured MSEIR Epidemic Model

The existence and uniqueness of positive steady states for the age-structured MSEIR epidemic model with age-dependent transmission coefficient is considered. Threshold results for the existence of endemic states are established; under certain conditions, uniqueness is also shown.     

A computer-assisted proof of Saari's conjecture for the planar three-body problem

The five relative equilibria of the three-body problem give rise to solutions where the bodies rotate rigidly around their center of mass. For these solutions, the moment of inertia of the bodies with respect to the center of mass is clearly constant. Saari conjectured that these rigid motions are the only solutions with constant moment of inertia. This result will be proved here for the planar problem with three nonzero masses with the help of some computational algebra and geometry.

     

一类NLS-mKdV方程族的扩展可积系统

利用代数变换，构造了与文献［５］中的loop代数₂的子代数等价的loop代数1的一个子 代数₁.再将₁扩展为一个高维的loop代数.利用设计了一个等谱问题 ，结合子代数间的直 和运算和同构关系，得到了NLS_mKdV方程族的一类扩展可积系统.作为约化情形，求得了著 名的Schrdinger方程与mKdV方程的可积耦合系统. 关键词： loop代数 可积系统 等谱问题     

Periodic Optical Pulses in Nonlinear Optical Fibers

We discuss the problem of transmitting polarized pulses along optical fibers with variable dispersion. The dissipation and mean dispersion are assumed to be zero, which allows using the model of the vector nonlinear Schrödinger equation. We consider an optical fiber consisting of arms of equal length, which is assumed to be large. We propose an asymptotic recursive procedure for calculating the amplitude and the phase of an optical pulse propagating along the optical cable with variable dispersion.     

凹整数规划的分枝定界解法

凹整数规划是一类重要的非线性整数规划问题，也是在经济和管理中有着广泛应用的最优化问题．本文主要研究用分枝定界方法求解凹整数规划问题，这一方法的基本思想是对目标函数进行线性下逼近，然后用乘子搜索法求解连续松弛问题．数值结果表明，用这种分枝定界方法求解凹整数规划是有效的．