命题逻辑系统L*的有效集

针对命题逻辑系统L*,以及增加一元联结词△后的系统L*△,研究了该逻辑系统有效集的特征,进而以有效集为工具得到公式集F(S)的一类分划,即可将L*与L*△中的公式集F(S)分别分为16和20个等价类;最后给出了L*中对M P规则封闭的有效集的特征。     

D.C.隶属函数模糊集及其应用(II)——D.C.隶属函数模糊集的万能逼近性

本文是D.C.隶属函数模糊集及其应用系列研究的第二部分。指出在实际问题中普遍选用的三角形、半三角形、梯形、半梯形、高斯型、柯西型、S形、Z形、π形隶属函数模糊集等均为D.C.隶属函数模糊集,建立了D.C.隶属函数模糊集对模糊集的万有逼近性。探讨了D.C.隶属函数模糊集与模糊数之间的关系,给出了用D.C.隶属函数模糊集逼近模糊数的-εC e llina逼近形式,得到模糊数与D.C.函数之间的一个对应算子,指出了用模糊数表示D.C.函数的问题。     

Weighted Commutator and Weighted BMO Martingales

ＷｅｉｇｈｔｅｄＣｏｍｍｕｔａｔｏｒａｎｄＷｅｉｇｈｔｅｄＢＭＯＭａｒｔｉｎｇａｌｅｓＹｕＨｏｎｇｑｉ（于红旗）ａｎｄＷａｎｇＪｉａｎ（王健）（ＤｅｐａｒｔｍｅｎｔｏｆＭａｔｈｅｍａｔｉｃｓ，ＸｉａｎｇｔａｎＵｎｉｖｅｒｓｉｔｙ，Ｘｉａｎｇｔａｎ，Ｈ...     

C-cosine Operator Functions and the Second Order Abstract Cauchy Problem

Ｃ－ｃｏｓｉｎｅＯｐｅｒａｔｏｒＦｕｎｃｔｉｏｎｓａｎｄｔｈｅＳｅｃｏｎｄＯｒｄｅｒ　ＡｂｓｔｒａｃｔＣａｕｃｈｙＰｒｏｂｌｅｍＷａｎｇＨａｉｙａｎ（王海燕）（ＤｅｐａｒｔｍｅｔｎｏｆＭａｔｈｅｍａｔｉｃｓａｎｄＭｅｃｈａｎｉｃｓ，Ｓｏｕｔｈｅａｓｔ...     

On an Error Term Related to the r-th Power of the Euler Totient Function

ＯｎａｎＥｒｒｏｒＴｅｒｍＲｅｌａｔｅｄｔｏｔｈｅｒ－ｔｈＰｏｗｅｒｏｆｔｈｅＥｕｌｅｒＴｏｔｉｅｎｔＦｕｎｃｔｉｏｎＬｉｕＪｉａｎｙａ（刘建亚）（ＤｅｐａｒｔｍｅｎｔｏｆＭａｔｈｅｍａｔｉｃｓ，ＳｈａｎｄｏｎｇＵｎｉｖｅｒｓｉｔｙ，Ｊｉｎａｎ，２５...     

Stream function finite element solution of Stokes flow with penalties

A finite element method for solution of the stream function formulation of Stokes flow is developed. The method involves complete cubic non-conforming (C⁰) triangular Hermite elements. This element fails the patch test. To correct the element and produce a convergent method we employ a penalty method to weakly enforce the desired continuity constraint on the normal derivative across the inter-element boundaries. Successful use of the method is demonstrated to require reduced integration of the inter-element penalty with a 1-point Gauss rule. Error estimates relate the optimal choice of penalty parameter to mesh size and are corroborated by numerical convergence studies. The need for reduced integration is interpreted using rank relations for an associated hybrid method.     

Adjacency on polymatroids

This paper characterizes adjacency for extreme points of a polymatroid. Two extreme points of a polymatroid are adjacent if and only if they either differ in exactly one component or differ in exactly two components with the two components satisfying a certain ordering relation. A polynomial algorithm generates and lists all extreme points adjacent to a given extreme point of a polymatroid. Similar results hold for the core of a convex game.     

Selective lumping finite element method for nearshore current

A finite element method for the analysis of nearshore current, which is one of the principal currents in coastal seas, is presented in this paper. Because the nearshore current is induced by the variable distribution of the surface waves, it is necessary to analyse two main characteristics of the wave, i.e. direction and height. The current can be computed using the resulting wave characteristics. The present method makes it possible to employ procedures for which the same methods of solution are applicable for all basic equations of wave direction, height and current flow. The linear interpolation function is used for the discretization of spatial variables and a selective lumping two step explicit scheme is employed for the numerical integration in time. The numerical solutions obtained are compared with analytical, experimental and observed ones. From these comparative studies, it is concluded that the present finite element method provide a useful tool for the analysis of nearshore current.     

Feigenbaum函数方程的C~∞偶解

本文对Feigenbaum函数方程的一般偶连续解作了一些构造性的研究,进而对任意的 0<λ<1给出了C~∞偶解.