稠密线性方程组的多线程同步算法及其实现

构造线性方程组的若干多线程同步算法，给出它们在Delphi中的实现并用典型计算实例在多CPU计算机上进行测试。     

联合插值限制的实值函数的L2逼近

我们构造一个m次多项式p_(m,n),它是一个在给定的几个不同的结点上对已给实函数f∈L_(1.w)~2。进行联合插值,满足P_(m,n)（x_i）=f(x_(i)),P_(m,n)＇=f＇(x_(i)),i=1,...,n在L_2范数下,在f的所有同样性质的插值多项式中,它又是f的最佳逼近,并且得到当f∈c[a,b],m→∞,‖p_(m,n)-f‖→0。     

相关于挠理论的π－平坦模

设Ｒ是有单位元的结合环，ＵＲ表示一个固定的平坦右Ｒ－模．文［１］中，Ｋｏｏ－Ｇｕａｎｃｈｏｏ给出了π－ｆｌａｔ平坦右Ｒ－模的另一种刻划；文［２］中又研究了ＲΩ是有限τ－平坦右Ｒ－模的环类，Ω是任意集合．本文的主要目的是给出相关于挠理论τ的π－ｆｌａｔ平坦右Ｒ－模的刻划，从而推广了［１］的定理３．１．     

稠密,自反E—半群的局部化和最大幂等分离同余

定义了稠密、自反Ｅ－半群Ｓ，证明了Ｓ’在其幂等元带上的局部化存在且唯一，当Ｅ（Ｓ）是左零带时，给出了Ｓ的最大幂等分离同余。     

格值诱导空间中的权、特征及稠密度

利用格值诱导空间中内部算子的层次刻划,得出了格值诱导空间与其底空间之间权、特征及稠密度的三组不等式,从而对一类较广泛的Fuzzy格(即ω-生成的Fuzzy格),证明了诱导空间是第二可数(第一可数、可分)空间,当且仅当底空间是第二可数(第一可数、可分)空间.并举例说明,对ω_1-生成的Fuzzy格,上述性质不必成立.同时,给出了Fuzzy Smirnovhagata度量化定理必要条件不必成立的一个简单例子.     

范畴中反射和余反射的特征

通过广义的推出和广义的拉回结构，本文主要得到了关于反射及其对偶的一个判别准则，本文还得到其它几个关于反射和余反射范畴的结果。     

完全稠密二叉偏序理论的量词消去(Ⅰ)

给出了完全稠密二叉偏序理论在语言L={≤,R}中的公理集,证明了在语言L={≤,R}中,该理论具有不可量词消去的性质.同时提出了该理论在L={≤,R,*}中的六类基本公式,通过考虑不同基本公式合取的量词消去情况, 来证明完全稠密二叉偏序理论在语言L={≤,R,*}中具有量词消去的性质. 着重考虑了同类基本公式合取的量词消去情况,并给出消去的算法.     

相对Semicocritical模

TatswoIzawa曾给出了相对Noetherian条件、相对Artinian条件及相对co-criti-cal模的概念,研究了相对合成列,用同调代数的方法,对链条件和相对链条件进行了讨论,得到了模为相对Semicocritical模的充要条件     

高阶时段演算及其完备性*

研究如何用时段演算来刻画程序的实时行为. 在实时程序设计里，程序变量被解释成时间的函数. 为了定义局部变量声明的语义，必须引进关于程序变量的量词.因此，建立高阶时段演算是必要的.首先建立了高阶时段演算理论，然后，用高阶时段演算去验证了一些程序的实时性质；最后，在假设所有程序变量均有穷可变的条件下，证明了高阶时段演算在抽象时间域上是完备的.     

取值稠密信息系统的一种属性约简方法

目的 讨论取值稠密信息系统的一种属性约简方法.方法 通过对取值稠密信息系统进行预处理--离散化,把它们转化为经典的信息系统,然后以有向关联信息作为度量标准对转化后所得的经典信息系统进行属性约简.结果 /结论该方法可对取值稠密信息系统有效地进行属性约简,使此类信息系统的规则表示简单直观.