The Computational Complexity of the Chow Form

We present a bounded probability algorithm for the computation of the Chowforms of the equidimensional components of an algebraic variety. In particular, this gives an alternative procedure for the effective equidimensional decomposition of the variety, since each equidimensional component is characterized by its Chow form. The expected complexity of the algorithm is polynomial in the size and the geometric degree of the input equation system defining the variety. Hence it improves (or meets in some special cases) the complexity of all previous algorithms for computing Chow forms. In addition to this, we clarify the probability and uniformity aspects, which constitutes a further contribution of the paper. The algorithm is based on elimination theory techniques, in line with the geometric resolution algorithm due to M. Giusti, J. Heintz, L. M. Pardo, and their collaborators. In fact, ours can be considered as an extension of their algorithm for zero-dimensional systems to the case of positive-dimensional varieties. The key element for dealing with positive-dimensional varieties is a new Poisson-type product formula. This formula allows us to compute the Chow form of an equidimensional variety from a suitable zero-dimensional fiber. As an application, we obtain an algorithm to compute a subclass of sparse resultants, whose complexity is polynomial in the dimension and the volume of the input set of exponents. As another application, we derive an algorithm for the computation of the (unique) solution of a generic overdetermined polynomial equation system.     

Local Existence and Continuation Criterion for Solutions of the Spherically Symmetric Einstein-Vlasov-Maxwell System

Using the iterative scheme we prove the local existence and uniqueness of solutions of the spherically symmetric Einstein-Vlasov-Maxwell system with small initial data. We prove a continuation criterion to global in-time solutions.     

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.     

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.     

大焦深成像系统仿真实验研究

如何增大非相干光学成像系统的焦深是应用光学研究领域的热点问题.本文对采用高次非球面光学掩模板与图像处理相结合增大成像光学系统焦深的新方法进行了深入分析,建立了大焦深成像系统仿真实验模型,并进行了大焦深成像系统仿真实验.实验结果证明了该方法在维持原相对孔径的同时使光学系统在较大的离焦范围内有好的成像质量.实际应用中还要综合考虑模板参量、信噪比等关键因素.     

Bush连续不可微函数的分形性质

本文对用递推关系确定的Bush连续不可微函数,找出了迭代函数系(IFS),从而得到它的级数表达式和所具有的自仿射分形的有关性质.最后还计算出函数图象的Hausdorff 维数的准确值.     

Lyapunov-type inequalities for nonlinear systems

In this paper, by using elementary analysis, we establish some new Lyapunov-type inequalities for nonlinear systems of differential equations, special cases of which contain the well-known equations such as Emden-Fowler-type and half-linear equations. The inequalities obtained here can be used as handy tools in the study of qualitative behaviour of solutions of the associated equations.     

Unsteady MHD flow of a non-Newtonian fluid on a porous plate

This paper deals with the study of the MHD flow of non-Newtonian fluid on a porous plate. Two exact solutions for non-torsionally generated unsteady hydromagnetic flow of an electrically conducting second order incompressible fluid bounded by an infinite non-conducting porous plate subjected to a uniform suction or blowing have been analyzed. The governing partial differential equation for the flow has been established. The mathematical analysis is presented for the hydromagnetic boundary layer flow neglecting the induced magnetic field. The effect of presence of the material constants of the second order fluid on the velocity field is discussed.     

Investigating laser rapid manufacturing for Inconel-625 components

This paper presents an investigation of laser rapid manufacturing (LRM) for Inconel-625 components. LRM is an upcoming rapid manufacturing technology, it is similar to laser cladding at process level with different end applications. In general, laser-cladding technique is used to deposit materials on the substrate either to improve the surface properties or to refurbish the worn out parts, while LRM is capable of near-net shaping the components by layer-by-layer deposition of the material directly from CAD model. In the present study, a high-power continuous wave (CW) CO₂ laser system, integrated with a co-axial powder-feeding system and a three-axis workstation were used. The effect of processing parameters during LRM of Inconel-625 was studied and the optimum set of parameters for the maximum deposition rate was established employing Orthogonal L9 array of Taguchi technique. Results indicated that the powder feed rate and the scan speed contributed about 56% and 26%, respectively to the deposition rate, while the influence of laser power was limited to 10% only. Fabricated components were subjected to non-destructive testing (like—ultrasonic testing, dye-penetrant testing), tensile testing, impact testing, metallographic examinations and micro-hardness measurement. The test results revealed defect-free material deposition with improved mechanical strength without sacrificing the ductility.     

Left, right, and inner socles of associative systems

We investigate the basic properties of the different socles that can be considered in not necessarily semiprime associative systems. Among other things, we show that the socle defined as the sum of minimal (or minimal and trivial) inner ideals is always an ideal. When trivial inner ideals are included, this inner socle contains the socles defined in terms of minimal left or right ideals. This revised version was published online in June 2006 with corrections to the Cover Date.