ON THE ACCURACY OF THE QUASICONFORMING AND GENERALIZED CONFORMING FINITE ELEMENTS

It is observed in practice that the numerical accuracy of the two unconventional plate elements, i. e., the nine parameter quasi-conforming and generalized conforming elements, is better than that of the usual Zienkiewicz in compatible cubic element and of a new element proposed recently by Specht, although all these elements have the same asymptotical rate of convergence O(h) in the energy norm. In the paper a careful error analysis for the quasi-conforming and generalized conforming elements is given. It is shown that the consistency error due to nonconformity of the two unconventional elements is of order O(h~2), one order high than that of other conventional nonconforming elements with nine parameters.     

ON THE ALGORITHM TO REALIZE THEOREM PROVING AND SOLVING PROBLEM

This paper describes the algorithm and concrete process with BASIC program to realize theorem proving and solving some artificial intelligence problem. For theorem proving we introduce "subsumptiontest", "omiting method" and "programing technics" to speed up for finding proofs of theorem as the previous paper.     

ON THE ACCURACY OF THE LEAST SQUARES AND THE TOTAL LEAST SQUARES METHODS

Consider solving an overdetermined system of linear algebraic equations by both the least squares method (LS) and the total least squares method (TLS). Extensive published computational evidence shows that when the original system is consistent. one often obtains more accurate solutions by using the TLS method rather than the LS method. These numerical observations contrast with existing analytic perturbation theories for the LS and TLS methods which show that the upper bounds for the LS solution are always smaller than the corresponding upper bounds for the TLS solutions. In this paper we derive a new upper bound for the TLS solution and indicate when the TLS method can be more accurate than the LS method.Many applied problems in signal processing lead to overdetermined systems of linear equations where the matrix and right hand side are determined by the experimental observations (usually in the form of a lime series). It often happens that as the number of columns of the matrix becomes larger, the ra     

REMARK ON UNIQUE CONTINUATION OF SOLUTIONS TO THE STOKES AND THE NAVIER-STOKES EQUATIONS

1IntroductionUnique continuation of solutions to the linear partial di?erential equations with analyticcoe?cients is well known.There are more general results in elliptic,parabolic and hyperbolicequations(cf.[8-10,12-13]and references therein).The continu…     

ON THE EXISTENCE AND UNIQUENESS OF THE SOLUTION TO THE NAVIER－STOKES EQUATIONS

ＯＮＴＨＥＥＸＩＳＴＥＮＣＥＡＮＤＵＮＩＱＵＥＮＥＳＳＯＦＴＨＥＳＯＬＵＴＩＯＮＴＯＴＨＥＮＡＶＩＥＲ－ＳＴＯＫＥＳＥＱＵＡＴＩＯＮＳＴａｎｇＸｉａｎｊｉａｎｇ（Ｄｅｐｔ．ｏｆＭａｔｈ．，Ｓｉｃｈｕａｎｕｎｉｖｅｒｓｉｔｙ，Ｃｈｅｎｇｄｕ６１００６４...     

NEW RESULTS ON THE EXISTENCE OF PERIODIC SOLUTIONS TO LINARD EQUATION

In this paper, a Liénard equation with a deviating argument has been studied by means of Mawhin's continuation theorem. A new result guaranteeing the existence of periodic solutions is obtained.     

ON THE BOUNDEDNESS AND THE STABILITY OF SOLUTION TO THIRD ORDER NON-LINEAR DIFFERENTIAL EQUATIONS

In this paper we investigate the global asymptotic stability,boundedness as well as the ultimate boundedness of solutions to a general third order nonlinear differential equation,using complete Lyapunov function.     

ON THE ABSOLUTE STABILITY OF DIRECT CONTROL SYSTEMS

ＯＮＴＨＥＡＢＳＯＬＵＴＥＳＴＡＢＩＬＩＴＹＯＦＤＩＲＥＣＴＣＯＮＴＲＯＬＳＹＳＴＥＭＳＷａｎｇＪｉｚｈｏｎｇ(王继忠)（ＬｉｎｙｉＴｅａｃｈｅｒ＇ｓＣｏｌｌｅｇｅ,临沂师专，邮编：２７６００５）Ａｂｓｔｒａｃｔ：Ｉｎｔｈｉｓｐａｐｅｒ，ｗｅｉｎｖｅｓ?..     

A NEW UNIFIED FIELD THEORY OF GRAVITATION AND ELECTROMAGNETISM BASED ON THE PRINCIPLE OF IDENTlFICATION

Einstein's Unified Field Theory (UFT) lacks the elegance and simplicity of General Relativity and Gravitation (GRG) in that latter,he uses purely geometric concepts and, by identifying the objects with appropriate geomtric objects,he finds that the necessary fietd equation are automatically implied in the basic geometric stru-     

A NEW APPROACH TO THE LINEARITY OF TESTING PLANARITY OF GRAPHS

In testing planarity of graphs,there are many criteria.The earliest one as known is the Kuratowski's theorem,then Whitney's,Maclane's, and so forth.Since the early sixties,people have begun researches on algorithms.Up to 1974,Hopcroft and Tarjan found an algorithm with a computing time being a linear function of the order of a graph.This is the linearity concerned here.This paper presents a new approach to the linearity by means of transforming the problem of testing planarity of a graph G into that of finding a spanning tree on another graph H,called an auxiliary graph of G,with the order of H being a linear function of that of G.And moreover,we can also make the size of H be a linear function of that of G.The whole procedure is based on the building up of a theory of linear equations on GF(2)related to G.     

ON THE EXISTENCE AND THE UNIQUENESS OF SOLUTIONS TO STOCHASTIC INTEGRAL EQUATIONS WITH TWODIMENSIONAL TIME PARAMETER

In this paper the following stochastic integral equation is considered where A is a continuous increasing process, M is a continuous martingale. Mappings φ, F, G map continuous adapted processes into continuous adapted processes. We will prove equation (*) has a unique continuous solution under some conditions.     

ON THE COMPLEXITY OF A PL HOMOTOPY ALGORITHM FOR ZEROS OF POLYNOMIALS

A PL homotopy algorithm is modified to yield a polynomial-time result on its computational complexity.We prove that the cost of locating all zeros of a polynomial of degree n to an accuracy of ε(measured by the number of evaluations of the polynomial)grows no faster than O(max{n~4,n~3log_2(n/ε)}).This work is in response to a question raised in a paper by S.Smale as to the efficiency of piecewise linear methods in solving equations.In comparison with a few results reported,the algorithm under discussion is the only one providing correct multiplicities and the only one employing vector labelling.     

ON THE CLASSIFICATION OF AF-ALGEBRAS AND THEIR DIMENSION GROUPS （Ⅱ）

ＯＮＴＨＥＣＬＡＳＳＩＦＩＣＡＴＩＯＮＯＦＡＦ－ＡＬＧＥＢＲＡＳＡＮＤＴＨＥＩＲＤＩＭＥＮＳＩＯＮＧＲＯＵＰＳ（Ⅱ）￥ＨＵＡＮＧＺＨＡＯＢＯＡｂｓｔｒａｃｔ：Ｔｈｉｓｐａｐｅｒｉｓａｃｏｎｔｉｎｕａｔｉｏｎｏｆ［１］．Ｉｔｇｉｖｅｓｓｏｍｅａｐｐｌｉ...     

ON THE REASONING EXPRESSIONS AND THE NATURE OF DEDUCTION RULES

Reasoning expressions are those which express the reaasoning procedure by means ofonly deduction rules and the initial formulas(axioms or assumptions)without the helpof any intermediate results.They express the procedure systematically,completely andconcisely.The deduction rules are mappings from formulas(premises)to formula(conclusion).The elementary rules are certain propositional connectives(but notnecessarily truth functions)while the higher rules are certain quantifiers.Besides,thedetachment rule is an inverse of the connective implication,and is itself the kernel ofdeduction method;while another inverse of implication(i.e.the suggestion rule)is thekernel of induction method.     

ON THE FINITE VOLUME ELEMENT VERSION OF RITZ-VOLTERRA PROJECTION AND APPLICATIONS TO RELATED EQUATIONS

In this paper, we present a general error analysis framework for the finite volume element (FVE) approximation to the Ritz-Volterra projection, the Sobolev equations and parabolic integro-differential equations. The main idea in our paper is to consider the FVE methods as perturbations of standard finite element methods which enables us to derive the optimal L2 and H1 norm error estimates, and the L∞ and W∞1 norm error estimates by means of the time dependent Green functions. Our disc ussions also include elliptic and parabolic problems as the special cases.     

ON THE EXISTENCE AND UNIQUENESS OF ALMOST PERIODIC SOLUTIONS TO DISCRETE TWO-SPECIES COMPETITIVE SYSTEMS

In this paper, we consider almost periodic discrete two-species competitive sys-tems. By using Lyapunov functional, the existence conditions and uniqueness of almost periodic solutions for the this type of systems are obtained.     

ON THE DIFFERENTIAL AND DIFFERENCE INDEPENDENCE OF Γ AND ζ

In this paper, we study the algebraic differential and the difference independence between the Riemann zeta function and the Euler gamma function. It is proved that the Riemann zeta function and the Euler gamma function cannot satisfy a class of nontrivial algebraic differential equations and algebraic difference equations.     

ON EXISTENCE， UNIQUENESS AND REGULARITY OF STEADY STATE SOLUTIONS TO THE BASIC SEMICONDUCTOR EQUATIONS

ＯＮＥＸＩＳＴＥＮＣＥ，ＵＮＩＱＵＥＮＥＳＳＡＮＤＲＥＧＵＬＡＲＩＴＹＯＦＳＴＥＡＤＹＳＴＡＴＥＳＯＬＵＴＩＯＮＳＴＯＴＨＥＢＡＳＩＣＳＥＭＩＣＯＮＤＵＣＴＯＲＥＱＵＡＴＩＯＮＳＷａｎｇＹｕａｎｍｉｎｇ（王元明）ＦａｎＪｉｓｈａｎ（樊继山）（Ｄｅｐｔ...     

ON THE EXISTENCE AND UNIQUENESS OF CLASSICAL GLOBAL SOLUTION TO A TYPE OF B0USSINESQ EQUATIONS

The existence and uniqueness of classical global solutions to a type of Boussinesq equations withinitial and boundary values are studied in this paper. The existence of such solutions is proved bymeans of compactness theorem and Schauders fixed point theorem, and its uniqueness by the so calledenergy method.     

ON UNIQUENESS OF SOLUTION TO POINTWISE LANDAU PROBLEM ON THE FINITE INTERVAL

1. Introduction Let W_∞~((r)) (β) = {f| f∈W_∞~((r)) [-1,1], ||f||_(C[-1,1]) β, ||f~((r))||_∞ 1}.In this paper, we will consider the following Landau problem:λf~((k))(ξ) + μf~((k-1)) (ξ) →inf, f∈W_∞~((r)) (β), (1.1)where ξ∈[-1,1], 1(?)k(?)r-1, and λ, μ real and not all zero, (if k=1,suppose λ≠0 in addition ). A. Pinkus studied it first. To begin with, we introduce some fundamental definitions anddenotions. The perfect spline f, which satisfies || f~((r))||_∞ = 1 andhas n knots and n+r+1 points of equioscillation in [-1,1], isdenoted by x_(nr), which is refered as Tchebyshev perfect spline. And