On parabolic equations with a small parameter

A singularly perturbed parabolic equation with a nonlinear right-hand side of a special form is examined. A numerical analytical study of such equations is performed.     

Gevrey properties of real planar singularly perturbed systems

By applying geometric techniques to real analytic singularly perturbed vector fields on the plane, we develop a way to give a bound on the Gevrey type of the Taylor development of canard manifolds at degenerate planar turning points. By blowing up the phase space at the turning point, we find asymptotic estimates even when such expansions w.r.t. traditional phase space variables do not exist. The asymptotic estimates are then used to give a sufficient and necessary condition on the existence of (local) canard solutions.     

Mathematical modelling and analytical solution for workpiece temperature in grinding

This paper deals with modelling the workpiece temperature field produced during the grinding process. The proposed model is given in terms of a two-dimensional boundary-value problem where the interdependence among the grinding wheel, the workpiece and the coolant is described by two variable functions in the boundary condition. An explicit integral form solution is constructed using the Laplace and Fourier transforms and the Green’s function method.     

A numerical experimental study of inverse preconditioning for the parallel iterative solution to 3D finite element flow equations

Integration of the subsurface flow equation by finite elements (FE) in space and finite differences (FD) in time requires the repeated solution to sparse symmetric positive definite systems of linear equations. Iterative techniques based on preconditioned conjugate gradients (PCG) are one of the most attractive tool to solve the problem on sequential computers. A present challenge is to make PCG attractive in a parallel computing environment as well. To this aim a key factor is the development of an efficient parallel preconditioner. FSAI (factorized sparse approximate inverse) and enlarged FSAI relying on the approximate inverse of the coefficient matrix appears to be a most promising parallel preconditioner. In the present paper PCG using FSAI, diagonal and pARMS (parallel algebraic recursive multilevel solvers) preconditioners is implemented on the IBM SP4/512 and CLX/768 supercomputers with up to 32 processors to solve underground flow problems of a large size. The results show that FSAI may allow for a parallel relative efficiency larger than 50% on the largest problems with p=32 processors. Moreover, FSAI turns out to be significantly less expensive and more robust than pARMS. Finally, it is shown that for p in the upper range may be much improved if PCG–FSAI is implemented on CLX.     

Multiple doubly periodic solutions of semi-linear damped beam equations

The purpose of this work is to investigate the weakened Ambrosetti–Prodi type multiplicity results for weak doubly periodic solutions of damped beam equations. By using the topological degree theory, the author obtains a result which is similar to the result for damped wave equations in the literature.     

一类两点边值问题的多重非负解

该文考虑两点边值问题[1/q(t)][q(t)y′(t)]′+p(t)f(y(t))= 0,λ_1 y(α)-λ_2y′(α)=0 and y(β)=B非负解的存在性, 其中p(t)可能在t=α或t=β附近具有奇异性, f(0)≥0, lim_(y→+∞)f(y)/y=+∞, 并且存在y>0, 使得f(y)<0.      

脉冲微分方程的上、下解及其在常微分方程上的应用

In this paper, we establish the existence of upper and lower solutions for a periodic boundary value problems (PBVP for short) of impulsive differential equations. which guarantees the existence of at least one solution for the problem. As an application, these results are applied to PBVP of ODE and some examples are given to illustrate our results.     

A parametric representation of linguistic hedges in Zadeh’s fuzzy logic

This paper proposes a model for the parametric representation of linguistic hedges in Zadeh’s fuzzy logic. In this model each linguistic truth-value, which is generated from a primary term of the linguistic truth variable, is identified by a real number r depending on the primary term. It is shown that the model yields a method of efficiently computing linguistic truth expressions accompanied with a rich algebraic structure of the linguistic truth domain, namely De Morgan algebra. Also, a fuzzy logic based on the parametric representation of linguistic truth-values is introduced.     

受迫广义KdV-Burgers方程行波解的存在唯一性

本文研究具有受迫性的广义二维KdV-Burgers方程的周期行波解,为了获得周期行波解的存在唯一性定理,使唤用特定系数法和Schauder不动点定理获得了受迫广义KdV-Burgers方程周期行波解存在唯一性的条件.并获得了周期行波解的一些先验估计式.