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

构造线性方程组的若干多线程同步算法，给出它们在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。     

一种基于并不可约元的建格新方法

目的研究形式背景的建格问题。方法由形式背景中对象集的每一个等价类所拥有的属性子集之间的包含关系出发构建Hasse图。结果由此Hasse图可直接得到形式背景的概念格和面向属性概念格的并稠密子集。结论提出的方法能较快速地找到概念格和面向属性概念格的并稠密子集,进一步利用并不可约元的性质得到全部的概念。     

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

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

相对Semicocritical模

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

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

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

多项式函数的判定及其在概率系统辨识中的应用

讨论了一类特殊的函数方程,证明满足方程的函数为次数不超过某一估计值的多项式函数,并且用这个结果讨论了一类随机系统中的辨识问题,对已有的结果作了一定的推广。     

稠密性对微尺度与稀薄气体流动相似性的影响

基于Enskog稠密气体理论,通过考察密度对气体物性及流动特性的影响,分析了微气体流动与稀薄气体流动相似性成立的条件.结果显示,若微气体流动中需要考虑稠密性对气体物性和宏观流动参数的影响时,表征微气体流动和稀薄气体流动的3个量纲一的特征数(Kn、Re和Ma)不可能同时对应相等,两种流动不可能相似.研究了稠密性对徽气体流动特性和输运系数的影响,同时,分别以基于稠密气体理论的声速相对偏差小于5%和基于热力学分析的压力相对偏差小于0.5%为限,计算得出各种气体在两种流动相似性失效时的密度值.     

时标意义下delta微分性质的证明

根据时标意义下delta微分的相关定义,可得到delta微分的很多定理和性质,在证明delta微分其中的一些定理和性质时,可根据点t是稠密点或是发散点而分情形来证明,针对delta微分的这些定理和性质给出不同的证明．     

连续Domain的特征与浓度

引入了连续Domain的局部基和稠密子集的概念，在此基础上定义了连续Domain的特征及浓度，给出了局部基的刻画，并讨论了连续Domain的特征、浓度与连续Domain带上Scott拓扑或Lawson拓扑的拓扑空间的特征、浓度之间的关系。证明了连续Domain的特征、浓度分别与它带上Scott拓扑时的拓扑空间的特征、浓度相等，它们分别小于连续Domain带上Lawson拓扑时的拓扑空间的特征、浓度。