自然数集上一类函数方程的通解

李建潮先生在《数学通报》2 0 0 2年第 6期上提出的问题 1 380 ,本质上是一类自然数集上函数方程之求解问题 .李先生在随后给出的解答中 ,其解法略显特殊性 ,兹将此一类问题抽象为一般形式 ,并得到了一般的求解方式 .定理　设N是自然数集 ,k是固定的自然数 ,函数f:N →N满足 f(n+ 1 ) >f(n) fk(n) =(k + 1 )n其中fk表示f的k次迭代 ,其定义为fk(n) =f(fk- 1 　(n) ) ,则f(m) =(k+ 1 ) n(i+ 1 ) +l,当m =(k+ 1 ) ni+l(k + 1 ) [(k+ 1 ) n+l],当m =(k+ 1 ) nk +l其中 0≤l≤ (k+ 1 ) n,0≤i≤k- 1 .证明　由 知fk( 1 ) =k+ 1 .如果f( 1 ) =1…     

半连续格的刻画和映射

本文讨论了半连续格的一些性质,在半连续格中引入半Scott开集族,用半Scott开集族来刻画半连续格,同时定义了半连续格之间的半连续映射,得到闭包算子的像仍是半连续格的条件.最后,研究了半连续格上的半连续映射的全体不动点之集的性质。     

REGULAR RELATIONS AND MONOTONE NORMAL ORDERED SPACES

In this paper the classical theorem of Zareckii about regular relations is generalized and an intrinsic characterization of regularity is obtained. Based on the generalized Zareckii theorem and the intrinsic characterization of regularity, the authors give a characterization of monotone normality of ordered spaces. A new proof of the Urysohn-Nachbin lemma is presented which is quite different from the classical one.     

WEIERSTRASS REPRESENTATION FORSURFACES WITH PRESCRIBED NORMALGAUSS MAP AND GAUSS CURVATURE IN H~3

The author obtains a Weierstrass representation for surfaces with prescribed normal Gauss map and Gauss curvature in H3. A differential equation about the hyperbolic Gauss map is also obtained, which characterizes the relation among the hyperbolic Gauss map, the normal Gauss map and Gauss curvature. The author discusses the harmonicity of the normal Gauss map and the hyperbolic Gauss map from surface with constant Gauss curvature in H3 to S2 with certain altered conformal metric. Finally, the author considers the surface whose normal Gauss map is conformal and derives a completely nonlinear differential equation of second order which graph must satisfy.     

Stone代数的Cayley表示定理

首先通过集代数得到了Stone代数的表示定理,然后证明了每一个Stone代数均嵌入到某个集合X上的一个Stone映射类S中.     

四维Minkowski空间中类时超曲面的de Sitter Gauss映射的奇点分类

本文通过类时超曲面与超平面的切触关系, 对类时超曲面的de Sitter Gauss映射的奇点进行了分类.     

一般AR(p)过程参数LS估计的收敛速度

对一般的自回归过程（ＡＲ（ｐ））ｙｎ＝β１ｙｎ－１＋…＋βｐｙｎ－ｐ＋εｎ，记（ｚ）＝１－β１ｚ－…－βｐｚｐ为其特征多项式，当该特征多项式在单位圆上无重根时，讨论了参数β＝（β１，…，βｐ）Ｔ的最小二乘估计βｎ的收敛速度，并给出了其收敛的重对数律．     

BAHADUR ASYMPTOTIC EFFICIENCY IN A SEMIPARAMETRIC REGRESSION MODEL

ＢＡＨＡＤＵＲＡＳＹＭＰＴＯＴＩＣＥＦＦＩＣＩＥＮＣＹＩＮＡＳＥＭＩＰＡＲＡＭＥＴＲＩＣＲＥＧＲＥＳＳＩＯＮＭＯＤＥＬ￥ＬＩＡＮＧＨＵＡ；ＣＨＥＮＧＰＩＮＧＡｂｓｔｒａｃｔ：ＴｈｅａｕｔｈｏｒＳｇｉｖｅＭＬＥθ１ＭＬｏｆθ１ｉｎｔｈｅｍｏｄｅｌＹ＝θ...     

基于第二类Chebyshev多项式零点的Pal-型插值多项式的逼近

设{x_k}_(k-0)~n是n 1次多项式U_n(x)=(1-x~2)U_n(x)的零点,其中U_n(x)是第二类Chebyshev多项式。设是的零点。根据Pal的插值理论,对函数f∈C~1[-1,1],存在唯一的2n 1次多项式满足条件: 本文研究用Pal型插值多项式对函数f∈C~r[-1,1](r≥1)和它的导函数的逼近。     

真值维护系统的语义研究

本文研究了带有CP(Conditional Proof)验证式 TMS(Truth Maintenance System)理论的形式语义,证明了TMS理论J转换为新理论J*后,原指称的有效性;讨论了U. Junker和Kurt Konolige所定义的不带CP验证式 TMS理论的扩充在我们的语义模型中的有效性。此外,本文还讨论了CP验证式的一些性质,结论是:CP验证式和非单调可证明性、逻辑真有着密切的关系。