An enhanced finite volume method to model 2D linear elastic structures

This paper details the evaluation and enhancement of the vertex-centred finite volume method for the purpose of modelling linear elastic structures undergoing bending. A matrix-free edge-based finite volume procedure is discussed and compared with the traditional isoparametric finite element method via application to a number of test-cases. It is demonstrated that the standard finite volume approach exhibits similar disadvantages to the linear Q4 finite element formulation when modelling bending. An enhanced finite volume approach is proposed to circumvent this and a rigorous error analysis conducted. It is demonstrated that the developed finite volume method is superior to both standard finite volume and Q4 finite element methods, and provides a practical alternative to the analysis of bending-dominated solid mechanics problems.     

On residually finite groups of finite general rank

Following A. I.Mal’tsev, we say that a group G has finite general rank if there is a positive integer r such that every finite set of elements of G is contained in some r-generated subgroup. Several known theorems concerning finitely generated residually finite groups are generalized here to the case of residually finite groups of finite general rank. For example, it is proved that the families of all finite homomorphic images of a residually finite group of finite general rank and of the quotient of the group by a nonidentity normal subgroup are different. Special cases of this result are a similar result of Moldavanskii on finitely generated residually finite groups and the following assertion: every residually finite group of finite general rank is Hopfian. This assertion generalizes a similarMal’tsev result on the Hopf property of every finitely generated residually finite group.     

GLOBAL FINITE ELEMENT NONLINEAR GALERKIN METHOD FOR THE PENALIZED NAVIER-STOKES EQUATIONS GLOBAL FINITE ELEMENT NONLINEAR GALERKIN METHOD FOR THE PENALIZED NAVIER-STOKES EQUATIONS

1. IntroductionIn the numerical simulation of the Navier-Stokes equations one encounters three seriousdifficulties in the case of large Reynolds numbers f the treatment of the incomPressibility con-dition divu = 0, the treatment of the noIilinear terms and the large time integration. For thetreatment of the incoInPressibility condition, one use the penalty method in the case of finiteelemellts [1--2l and for the treatmen of the noulinar terms and the large tfor integration, oneuse the nonlin…     

g-Quasikörper

A generalization of a construction for finite quasifields by Foulser is given, which yields all finite Dickson-nearfields. This constuction is then used to obtain locally finite quasifields as unions of chains of finite g-quasifields.     

Values and semivalues on subspaces of finite games

It is proved that every value or semivalue on a linear symmetric subspace of finite games is the restriction to this subspace of a semivalue on the space of all finite games.The theorem is proved for the space of all finite games on a fixed finite set of players, and for the space of all games with a finite support on an infinite set of players (the universe of players).     

The Conservation and Convergence of Two Finite Difference Schemes for KdV Equations with Initial and Boundary Value Conditions

Korteweg-de Vries equation is a nonlinear evolutionary partial differential equation that is of third order in space. For the approximation to this equation with the initial and boundary value conditions using the finite difference method, the difficulty is how to construct matched finite difference schemes at all the inner grid points. In this paper, two finite difference schemes are constructed for the problem. The accuracy is second-order in time and first-order in space. The first scheme is a two-level nonlinear implicit finite difference scheme and the second one is a three-level linearized finite difference scheme. The Browder fixed point theorem is used to prove the existence of the nonlinear implicit finite difference scheme. The conservation, boundedness, stability, convergence of these schemes are discussed and analyzed by the energy method together with other techniques. The two-level nonlinear finite difference scheme is proved to be unconditionally convergent and the three-level linearized one is proved to be conditionally convergent. Some numerical examples illustrate the efficiency of the proposed finite difference schemes.     

Comparing Semigroup and Monoid Presentations for Finite Monoids

 It is known that for any finite group G given by a finite group presentation there exists a finite semigroup presentation for G of the same deficiency, i.e. satisfying . It is also known that the analogous statement does not hold for all finite monoids. In this paper we give a necessary and sufficient condition for a finite monoid M, given by a finite monoid presentation, to have a finite semigroup presentation of the same deficiency.     

Some more on the finite automata

Some new problems of the theory of the finite automata are considered. Applying the finite automata in various tasks of the formal languages theory is observed. Special proof of Kleene’s theorem is obtained. This proof is used for the defining the star-height of the finite automaton. The properties of the last object are considered. The star-height of the finite automaton is used for reformulating the star-height problem of regular expressions for finite automata. The method of the reduction of the star-height problem to the task of making special finite automaton is obtained. This reformulating can help to solve the star-height problem by new way.     

最佳等参元

等参元及其参数变换的插值方法。是有限元分析的有力工具之一,在工程计算中,得到广泛的应用. 在有限元分析中,当采用等参元时,一旦单元的等参坐标变换的Jacobi矩阵发生奇异,就要中止计算,下机修改原有的单元剖分,直到所有单元的Jacobi矩阵均非奇异. [1]突破原等参元的规定,给出了八节点Serendipity等参元的修改公式;[2]也给出了类似的修改公式.上述均以数值例子说明新公式的优点.而[3—6]完整、系统地给出     

Finite integration method for partial differential equations

A finite integration method is proposed in this paper to deal with partial differential equations in which the finite integration matrices of the first order are constructed by using both standard integral algorithm and radial basis functions interpolation respectively. These matrices of first order can directly be used to obtain finite integration matrices of higher order. Combining with the Laplace transform technique, the finite integration method is extended to solve time dependent partial differential equations. The accuracy of both the finite integration method and finite difference method are demonstrated with several examples. It has been observed that the finite integration method using either radial basis function or simple linear approximation gives a much higher degree of accuracy than the traditional finite difference method.     

三维Poisson方程特征值的四种有限元解及比较

应用三维EQ1rot元、三维Crouzeix-Raviart元、八节点等参数元、四面体线性元计算三维Poisson方程的近似特征值.计算结果表明:三维EQ1rot元和三维Crouzeix-Raviart元特征值下逼近准确特征值,八节点等参数元、四面体线性元特征值上逼近准确特征值,三维EQr1ot元和三维Crouzeix-Raviart元外推特征值下逼近准确特征值.计算结果还表明三维Crouzeix-Raviart元是一种计算效率较高的非协调元.     

Preconditioning spectral element schemes for definite and indefinite problems

Spectral element schemes for the solution of elliptic boundary value problems are considered. Preconditioning methods based on finite difference and finite element schemes are implemented. Numerical experiments show that inverting the preconditioner by a single multigrid iteration is most efficient and that the finite difference preconditioner is superior to the finite element one for both definite and indefinite problems. A multigrid preconditioner is also derived from the finite difference preconditioner and is found suitable for the CGS acceleration method. It is pointed out that, for the finite difference and finite element preconditioners, CGS does not always converge to the accurate algebraic solution. © 1999 John Wiley & Sons, Inc. Numer Methods Partial Differential Eq 15: 535–543, 1999     

可换幺半群的结构

关于“群”有各种各样的定义 ,本文给出了有限幺半群成为群的一个条件 .并对有限可换幺半群进行了讨论 ,通过对它的商集的研究 ,建立了有限可换幺半群与有限可换幺群之间的联系 ,从而揭示了有限可换幺半群的结构     

The representation dimension of domestic weakly symmetric algebras

Auslander’s representation dimension measures how far a finite dimensional algebra is away from being of finite representation type. In [1], M. Auslander proved that a finite dimensional algebra A is of finite representation type if and only if the representation dimension of A is at most 2. Recently, R. Rouquier proved that there are finite dimensional algebras of an arbitrarily large finite representation dimension. One of the exciting open problems is to show that all finite dimensional algebras of tame representation type have representation dimension at most 3. We prove that this is true for all domestic weakly symmetric algebras over algebraically closed fields having simply connected Galois coverings.     

On lightly and countably compact spaces in ZF

Abstract

Given a topological space X = (X, T ), we show in the Zermelo-Fraenkel set theory ZF that:

1. Every locally finite family of open sets of X is finite iff every pairwise disjoint, locally finite family of open sets is finite.

2. Every locally finite family of subsets of X is finite iff every pairwise disjoint, locally finite family of subsets of X is finite iff every locally finite family of closed subsets of X is finite.

3. The statement “every locally finite family of closed sets of X is finite” implies the proposition “every locally finite family of open sets of X is finite”. The converse holds true in case X is T₄ and the countable axiom of choice holds true.

   We also show:

4. It is relatively consistent with ZF the existence of a non countably compact T₁ space such that every pairwise disjoint locally finite family of closed subsets is finite but some locally finite family of subsets is infinite.

5. It is relatively consistent with ZF the existence of a countably compact T₄ space including an infinite pairwise disjoint locally finite family of open (resp. closed) sets.

     

分层有限偏序集的直积

A new concept Graded Finite Poset is proposed in this paper.Through discussing some basic properties of it,we come to that the direct product of graded finite posets is connected if and only if every graded finite poset is connected.The graded function of a graded finite poset is unique if and only if the graded finite poset is connected.     

特征值问题协调/非协调有限元后验误差分析

本文研究对称椭圆特征值问题的有限元后验误差估计,包括协调元和非协调元,具有下列特色:(1)对协调/非协调元建立了有限元特征函数uh的误差与相应的边值问题有限元解的误差在局部能量模意义下的恒等关系式,该边值问题的右端为有限元特征值λh与uh的乘积,有限元解恰好为uh.从而边值问题有限元解在能量模意义下的局部后验误差指示子,包括残差型和重构型后验误差指示子,成为有限元特征函数在能量模意义下的局部后验误差指示子.(2)讨论了协调有限元特征函数的基于插值后处理的梯度重构型后验误差估计,对有限元特征函数的导数得到了最大模意义下的渐近准确局部后验误差指示子.     

模糊有限状态机的一些性质

讨论模糊有限状态机的一些代数性质,得到模糊有限状态机在同态作用下子系统(强子系统)的前像仍是子系统(强子系统),证明若两个模糊有限状态机之间存在满足一定条件的同态映射时,前一个模糊有限状态机是强连通的(循环的),则后一个模糊有限状态机也是强连通的(循环的),且若这个同态是强满同态,则其中一个模糊有限状态机是完全的当且仅当另一个模糊有限状态机是完全的。对模糊有限状态机的积与原来的模糊有限状态机的完全性、强连通性、循环性、交换性等关系也进行讨论,得到一些结果。     

关于几乎可解群

本文推广了关于局部有限群的Asar定理及p.Hall—Kulatilaka,Kargapolov定理.     

有限秩的可解群的正则自同构

设G是有限秩的剩余有限可解群或是有限秩的剩余有限可解群的有限扩张,α是G的一个索数p阶正则自同构且φ:G→G(g→[g,α])是满射,则G是幂零类不超过h(p)的幂零群,其中h(p)是只与p有关的函数.