An algorithm for decomposing a polynomial system into normal ascending sets

We present an algorithm to decompose a polynomial system into a finite set of normal ascending sets such that the set of the zeros of the polynomial system is the union of the sets of the regular zeros of the normal ascending sets.If the polynomial system is zero dimensional,the set of the zeros of the polynomials is the union of the sets of the zeros of the normal ascending sets.     

Corrected mirror systems with double reflection

We propose objectives consisting of two mirrors with central holes for passage of a light beam. The optical layout ensures multiple reflection of rays from both mirrors. We consider several approaches to calculating the design parameters for which three and four aberrations do not occur. The objectives can be used in optical devices operating in the UV and IR regions of the spectrum. __________ Translated from Zhurnal Prikladnoi Spektroskopii, Vol. 74, No. 2, pp. 267–270, March–April, 2007.     

Pairwise Correlations in a Multicomponent Anisotropic Liquid

We investigate a multicomponent anisotropic liquid system. The first spatial moment of the direct correlation function is taken into account to obtain asymptotic expressions for the pairwise correlation functions. In this approximation, we obtain the pairwise correlation functions that describe the system behavior not only in the critical-state neighborhood but also in the noncritical domain. We show that the critical parameters for the anisotropic system differ from those for the isotropic system.     

数学分析中的一题多解问题

通过两个积分 (一个是不定积分 ,一个是定积分 )及一个极限 ,说明如何灵活使用积分法解决积分问题 ,方法灵活、巧妙 ,适用范围广 .     

Mappings of Domains in Rn and Their Metric Tensors

We consider quasi-isometric mappings of domains in multidimensional Euclidean spaces. We establish that a mapping depends continuously in the sense of the topology of Sobolev classes on its metric tensor to within isometry of the space. In the space of metric tensors we take the topology determined by means of almost everywhere convergence. We show that if the metric tensor of a mapping is continuous then the length of the image of a rectifiable curve is determined by the same formula as in the case of mappings with continuous derivatives. (Continuity of the metric tensor of a mapping does not imply continuity of its derivatives.)     

On new forms of motive differential equations of a mechanical system relative to non-inertial frame

Based on D'Alembert's principle of a mechanical system relative to non-inertial frame and by introducing the concept of the generalized inertial potential, new forms of differential equations of motion of a mechanical system with holonomic and the non-holonomic constraints relative to the non-inertial frame are obtained. The merits and demerits between our method and the Newtonian dynamic method as well as the analytic dynamic method are discussed comparatively. Finally, two examples are given to illustrate the application of the motive differential equations in the new forms.     

Some results on controllability of a nonlinear degenerate parabolic system by bilinear control

In this paper, we discuss the controllability of a nonlinear degenerate parabolic system with bilinear control. Based on the shrinking property of the solutions, we prove that the system is not globally approximately controllable. Furthermore, we give an approximate null controllability result. We also prove that the system is not globally exactly null controllable by a comparison principle.     

一类拟线性大系统的稳定性

本文应用大系统的分解方法和一个推广的不等式,研究了一类拟线性大系统的稳定性问题,所得结果简洁、易于验证,且推导过程不复杂,最后给出了应用实例。     

The circle as an attractor of an iterated function system on the plane

We give an iterated function system (IFS) on the plane with the circle as attractor. In doing this, we also give a sufficient condition for radially contracting functions on the plane (or on Rn) to be a contraction. A counterexample shows that radial contractiveness is not enough to be a contraction.