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.     

拟线性可化约的双曲型方程组的奇性分析

In this paper we investigate the formation of singularities of hyperbolic systems. Employing the method of parametric coordinates and the existence of the solution of the blow-up system, we prove that the blow-up of classic solutions is due to the envelope of characteristics of the same family, analyze the geometric properties of the envelope of characteristics and estimate the blowup rates of the solution precisely.     

Boundary Shape Control of the Navier-Stokes Equations and Applications

In this paper, the geometrical design for the blade's surface in an impeller or for the profile of an aircraft, is modeled from the mathematical point of view by a boundary shape control problem for the Navier-Stokes equations. The objective function is the sum of a global dissipative function and the power of the fluid. The control variables are the geometry of the boundary and the state equations are the Navier-Stokes equations. The Euler-Lagrange equations of the optimal control problem are derived, which are an elliptic boundary value system of fourth order, coupled with the Navier-Stokes equations. The authors also prove the existence of the solution of the optimal control problem, the existence of the solution of the Navier-Stokes equations with mixed boundary conditions, the weak continuity of the solution of the Navier-Stokes equations with respect to the geometry shape of the blade's surface and the existence of solutions of the equations for the Gateaux derivative of the solution of the Navier-Stokes equations with respect to the geometry of the boundary.     

The unconditional stable and convergent difference methods with intrinsic parallelism for quasilinear parabolic systems

A kind of the general finite difference schemes with intrinsic parallelism forthe boundary value problem of the quasilinear parabolic system is studied without assum-ing heuristically that the original boundary value problem has the unique smooth vectorsolution. By the method of a priori estimation of the discrete solutions of the nonlineardifference systems, and the interpolation formulas of the various norms of the discretefunctions and the fixed-point technique in finite dimensional Euclidean space, the exis-tence and uniqueness of the discrete vector solutions of the nonlinear difference systemwith intrinsic parallelism are proved. Moreover the unconditional stability of the generalfinite difference schemes with intrinsic parallelism is justified in the sense of the continu-ous dependence of the discrete vector solution of the difference schemes on the discretedata of the original problems in the discrete w_2~(2,1) norms. Finally the convergence of thediscrete vector solutions of the certain differe     

UNCONDITIONAL STABLE DIFFERENCE METHODS WITH INTRINSIC PARALLELISM FOR SEMILINEAR PARABOLIC SYSTEMS OF DIVERGENCE TYPE

The general finite difference schemes with intrinsic parallelism for the boundary value problem of the semilinear parabolic system of divergence type with bounded measurable coefficients is studied. By the approach of the discrete functional analysis, the existence and uniqueness of the discrete vector solutions of the nonlinear difference system with intrinsic parallelism are proved. Moreover the unconditional stability of the general difference schemes with intrinsic parallelism justified in the sense of the continuous dependence of the discrete vector solution of the difference schemes on the discrete initial data of the original problems in the discrete W_2~(2,1) (Q△) norms. Finally the convergence of the discrete vector solutions of the certain difference schemes with intrinsic parallelism to the unique generalized solution of the original semilinear parabolic problem is proved.     

On the Growth of Components of Meromorphic Solutions of Systems of Complex Differential Equations

This paper investigates the problem of the growth of the components of meromorphic solutions of a class of a system of complex algebraic differential equations, and generalized some of N. Toda＇s results concerning the growth of differential equations to the case of systems of differential equations. The paper considers the existence of admissible solutions of the system of differential equations.     

The Maximal Graded Left Quotient Algebra of a Graded Algebra1)

We construct the maximal graded left quotient algebra of every graded algebra A without homogeneous total right zero divisors as the direct limit of graded homomorphisms （of left A-modules） from graded dense left ideals of A into a graded left quotient algebra of A. In the case of a superalgebra, and with some extra hypothesis, we prove that the component in the neutral element of the group of the maximal graded left quotient algebra coincides with the maximal left quotient algebra of the component in the neutral element of the group of the superalgebra.     

Stability and Hopf bifurcation analysis of a predator-prey model with time delayed incomplete trophic transfer

A new nonlinear predator-prey model with incomplete trophic transfer is introduced. In this model,we assume that the rate of the trophic absorption of the predator is less than the rate of the conversion of consumed prey to predator in the Ivlev-type functional responses. The existence and uniqueness of the positive equilibrium of the model and the stability of the equilibrium of the model are studied under various conditions.Hopf bifurcation analysis of the delayed model is provided.     

Motivic Milnor Fibre of Cyclic L_∞-algebras

We define the motivic Milnor fiber of cyclic L_∞-algebras of dimension three using the method of Denef and Loeser of motivic integration. It is proved by Nicaise and Sebag that the topological Euler characteristic of the motivic Milnor fiber is equal to the Euler characteristic of the étale cohomology of the analytic Milnor fiber. We prove that the value of Behrend function on the germ moduli space determined by a cyclic L_∞-algebra L is equal to the Euler characteristic of the analytic Milnor fiber. Thus we prove that the Behrend function depends only on the formal neighborhood of the moduli space.     

有理插值的扩展方程组与约束方程组

Firstly, using the elementary solution, this paper provides the fundammental structure of the general solution of the (m/n)f system of equations in the rational interpolating problem, and points out the significance of the elementary solution. Secondly, it introduces the systems of extended equations and of constrained equations, analyses their properties, gives the structures of their general solution, obtains the relations of both them and the elementary solution, reveals the importance of their describing the elementary solution. And lastly , it computes an example for the two kinds of svstems.     

Noncommutative geometry and motives: The thermodynamics of endomotives

We combine aspects of the theory of motives in algebraic geometry with noncommutative geometry and the classification of factors to obtain a cohomological interpretation of the spectral realization of zeros of L-functions. The analogue in characteristic zero of the action of the Frobenius on ?-adic cohomology is the action of the scaling group on the cyclic homology of the cokernel (in a suitable category of motives) of a restriction map of noncommutative spaces. The latter is obtained through the thermodynamics of the quantum statistical system associated to an endomotive (a noncommutative generalization of Artin motives). Semigroups of endomorphisms of algebraic varieties give rise canonically to such endomotives, with an action of the absolute Galois group. The semigroup of endomorphisms of the multiplicative group yields the Bost-Connes system, from which one obtains, through the above procedure, the desired cohomological interpretation of the zeros of the Riemann zeta function. In the last section we also give a Lefschetz formula for the archimedean local L-factors of arithmetic varieties.     

基于综合重要度的动车组多部件系统机会维修策略研究

针对我国动车组列车现行维修方式,提出基于综合重要度序列的动车组多部件系统机会维修策略,对提高系统可靠度贡献大的关键部件进行准时优先维修。建立部件综合重要度指数计算模型,并依据其对部件维修优先级进行排序。以维修总成本最低为目标计算单部件最优维修周期及时刻,以系统维修总成本最低为目标,以关键部件的维修时刻为系统停机时刻建立考虑重要度的多部件系统机会维修模型。算例选取某型动车组四级修时更换的四部件系统为研究对象,讨论机会维修里程窗的大小及其偏移量对维修效果的影响,对比结果表明,考虑综合重要度的机会维修策略能够在维修费用基本持平的条件下,保证对系统可靠性贡献大的关键部件的可靠性,进而保证系统的整体可靠性。     

Analysis of the Stress State of the Surface Layer of a Polymeric Mass upon Filling of Bulky Compression Molds

The stress state of the surface layer of a polymeric mass during filling of bulky compression molds is analyzed. It is shown that, at particular rheological characteristics of the mass, temperature, and filling rates, cracking of the surface layer occurs, which leads to defects in the finished products. A physical analysis of this process makes it possible to conclude that the cracks arise due to the normal stresses operating in the front region of the moving polymeric mass. It is found that, under certain flow conditions, areas with a pressure lower than the atmospheric one appear on the surface of the polymer. If the tensile stresses arising in these local regions are higher than the tensile strength of the mass, the continuity of the composition is broken in the direction determined by the greatest rate of the normal deformation. To confirm the reliability of the crack-formation mechanism proposed, the distribution of the pressure and normal stresses over the free surface is calculated based on a numerical method. These calculations show that, by comparing the stress level achieved in the front region with the tensile-strength characteristics of the polymeric composition, it is possible to predict, with a sufficient accuracy, the possibility of crack formation in the surface layer of such a mass under given flow conditions and thus to solve the question on flawless manufacturing of products.     

The Dirichlet divisor problem,traces and determinants for complex powers of the twisted bi-Laplacian

Estimating the counting function for the eigenvalues of the twisted bi-Laplacian leads to the Dirichlet divisor problem, which is then used to compute the trace of the heat semigroup and the Dixmier trace of the inverse of the twisted bi-Laplacian. The zeta function regularizations of the traces and determinants of complex powers of the twisted bi-Laplacian are computed. A formula for the zeta function regularizations of determinants of heat semigroups of complex powers of the twisted bi-Laplacian is given.     

Peridynamics via finite element analysis

Peridynamics is a recently developed theory of solid mechanics that replaces the partial differential equations of the classical continuum theory with integral equations. Since the integral equations remain valid in the presence of discontinuities such as cracks, the method has the potential to model fracture and damage with great generality and without the complications of mathematical singularities that plague conventional continuum approaches. Although a discretized form of the peridynamic integral equations has been implemented in a meshless code called EMU, the objective of the present paper is to describe how the peridynamic model can also be implemented in a conventional finite element analysis (FEA) code using truss elements. Since FEA is arguably the most widely used tool for structural analysis, this implementation may hasten the verification of peridynamics and significantly broaden the range of problems that the practicing analyst might attempt. Also, the present work demonstrates that different subregions of a model can be solved with either the classical partial differential equations or the peridynamic equations in the same calculation thus combining the efficiency of FEA with the generality of peridynamics. Several example problems show the equivalency of the FEA and the meshless peridynamic approach as well as demonstrate the utility and robustness of the method for problems involving fracture, damage and penetration.     

Creep of polymer concrete in the nonlinear region

Two polyester-based polymer concretes with various volume content of diabase as an extender and aggregate are tested in creep under compression at different stress levels. The phenomenological and structural approaches are both used to analyze the experimental data. Common features of changes in the instantaneous and creep compliances are clarified, and a phenomenological creep model which accounts for the changes in the instantaneous compliance and in the retardation spectrum depending on the stress level is developed. It is shown that the model can be used to describe the experimental results of stress relaxation and creep under repeated loading. Modeling of the composite structure and subsequent solution of the optimization problem confirm the possibility of the existence of an interphase layer more compliant than the binder. A direct correlation between the interphase volume content and the instantaneous compliance of the composite is revealed. It is found that the distinction in nonlinearity of the viscoelastic behavior of the two polymer concretes under investigation can be due to the difference in their porosity. Submitted to the 11th International Conference on Mechanics of Composite Materials (Riga, June 11–15, 2000.) Translated from Mekhanika Kompozitnykh Materialov, Vol. 36, No. 2, pp. 147–164, 2000.     

Clustering Methods in Microarrays

Summary DCT Given a finite set of points in an Euclidean space the \emph{spanning tree} is a tree of minimal length having the given points as vertices. The length of the tree is the sum of the distances of all connected point pairs of the tree. The clustering tree with a given length of a given finite set of points is the spanning tree of an appropriately chosen other set of points approximating the given set of points with minimal sum of square distances among all spanning trees with the given length. DCM A matrix of real numbers is said to be column monotone orderable if there exists an ordering of columns of the matrix such that all rows of the matrix become monotone after ordering. The {\emph{monotone sum of squares of a matrix}} is the minimum of sum of squares of differences of the elements of the matrix and a column monotone orderable matrix where the minimum is taken on the set of all column monotone orderable matrices. Decomposition clusters of monotone orderings of a matrix is a clustering ofthe rows of the matrix into given number of clusters such that thesum of monotone sum of squares of the matrices formed by the rowsof the same cluster is minimal.DCP A matrix of real numbers is said to be column partitionable if there exists a partition of the columns such that the elements belonging to the same subset of the partition are equal in each row. Given a partition of the columns of a matrix the partition sum of squares of the matrix is the minimum of the sum of square of differences of the elements of the matrix and a column partitionable matrix where the minimum is taken on the set of all column partitionable matrices. Decomposition of the rows of a matrix into clusters of partitions is the minimization of the corresponding partition sum of squares given the number of clusters and the sizes of the subsets of the partitions.     

Nonlinear Electromagnetic Delay of Electromagnetic Signals Propagating in the Magnetic Meridian Plane of Pulsars and Magnetars

We analyze the propagation of electromagnetic waves in the magnetic meridian planes of neutron stars with a strong magnetic field in the framework of the parameterized post-Maxwellian electrodynamics of the vacuum. The origin of these electromagnetic waves is the curvature emission of X-rays and gamma rays from high-energy electrons in the vicinity of the magnetic poles of neutron stars. We show that in the case of a slowly varying intensity of X-ray and gamma-ray emission, the delay of the slow normal mode of electromagnetic waves relative to the fast mode results in a shift of the time dependence of the intensity of the detected radiation with one polarization relative to that of the radiation with the orthogonal polarization. In the case of single X-ray or gamma-ray pulses, the delay effect results in the polarization of the detected pulse varying during the pulse length, the leading edge of all pulses being polarized normally to the magnetic equator plane of the neutron star. We note that the modern level of the experimental technique, in principle, allows observing the manifestations of the delay effect for signals of different polarizations.     

Mario Pieri’s address at the University of Catania

The contributions made by the Italian mathematician Mario Pieri (1860-1913) are well known in the field of geometry. Pieri was a member of the School of Peano at the University of Turin. There he became engaged both by the problems of logic and by the philosophical aspects of Peano’s epistemology. This article was motivated by Pieri’s address given at the University of Catania, at the inauguration of the 1906-1907 academic year. My aim is to identify Pieri’s philosophical premises as found in his works and to present them in the general framework of the historical development of the Peano School.     

异常情况时的Liapunov-Kozlov法

Kozlov将Liapunov第一方法推广到非线性力学系统,用来研究保守力和耗散力场中,运动力学系统平衡位置的不稳定性.在平衡位置分析惯性张量的异常,或者Rayleigh耗散函数系数矩阵的异常.在稳定性分析中,实际上不可能应用Liapunov逼近法,因为平衡位置的存在条件,和运动微分方程解的唯一性条件,均无法得到满足.Kozlov的广义Liapunov第一方法,不仅适用上面提及的条件,此外,还知道同样的代数表达式得到满足.给出了3个关于平衡位置的不稳定性定理.用一个例子,举例说明了得到的结果.