2_渐近正则映象与不动点

本文引进了2_-渐近正则映象的概念,证明了几个以2_-渐近正则性条件为基础的不动点定理。     

关于Suslin树的两个结果

在公理集合论中,Suslin树(ST)是树中的重点,Jech运用ST证明了著名的Suslin问题的独立性.本文进一步探讨了Suslin树,证明了在Jech的模型M[Ω]中存在着一串逐个包含的ST的ω_1序列,它们的可数交仍是ST,这里Ω是正规完全的二枝ST,并把Jech M[Ω]2=1(不管2在M中的大小)的结果推广到更为广泛的ST.     

ON THE ISOMORPHISMS OF COMPLETE INTERSECTION VARIETIES

ＯＮ　ＴＨＥ　ＩＳＯＭＯＲＰＨＩＳＭＳ　ＯＦ　ＣＯＭＰＬＥＴＥＩＮＴＥＲＳＥＣＴＩＯＮ　ＶＡＲＩＥＴＩＥＳＤＵＨｏｎｇ（ＩｎｓｔｉｔｕｔｅｏｆＳｙｓｔｅｍｓＳｃｉｅｎｃｅ，ＡｃａｄｅｍｉａＳｉｎｉｃａ，Ｂｅｉｊｉｎｇ１０００８０，Ｃｈｉｎａ）Ａｂｓｔ...     

有限结合环类中的S-单环

本文在有限结合环类中得到:对任意一个半单环类,全部S-单环S_r是正则的,且S=SUS_r,并给出半单环类S的一种分解。     

关于群作用下的特征标对应与算子群的交换性的一个证明

文章给出了文献[3]中定理2的一个详细的证明,使得特征标的对应关系和群作用的结果更明朗.     

关于连续函数格C（X，R￣＊）的一个注记

证明了如下结果：若拓扑空间Ｘ的开集格Ω（Ｘ）满足Ｖ－无穷分配律，则连续函数格Ｃ（Ｘ，Ｒ）是完备Ｈｙｔｉｎｇ代数     

The Complete K-Level Tree and Its Application to Data Warehouse Filtering

This paper presents a simple complete K-level tree (CKT) architecture for text database organization and rapid data filtering. A database is constructed as a CKT forest and each CKT contains data of the same length. The maximum depth and the minimum depth of an individual CKT are equal and identical to data‘s length. Insertion and deletion operations are defined; storage method and filtering algorithm are also designed for good compensation between efficiency and complexity. Applications to computer-aided teaching of Chinese and protein selection show that an about 30% reduction of storage consumption and an over 60% reduction of computation may be easily obtained.     

动量插值与完全压力校正算法及交错网格SIMPLE算法的比较

对流体力学数值方法进行了扼要叙述，并比较各自优缺点。概述了有限体积法处理对流项的常用方案，重点描述了近年来为解决速度与压力耙合问题而提出的基于非交错网格(或同位网格)的完全压力校正算法(CPC)，并与同样基于非交错网格动量插值算法(MI)以及传统的基于交错网格的SIMPLE(Semi—imPlicit Method for Pressure—linked Equations)算法进行了比较。最后用二维顶盖驱动方腔流动为例，将CPC算法与传统的SIMPLE算法进行比较。结果表明，CPC算法结果准确，且程序上实现起来容易得多。     

图的一般邻点可区别色指标

给出了完全图Kn、路Pm与完全图Kn的Cartese积Pm×Kn、圈Cm与Kn的Cartese积Cm×Pn等图的一般邻点可区别色指标,并得到2维网格Mm,n2种颜色可染、2维环形网格TMm,n3种颜色可染等结论.