MIMD计算机上的一个稳定并行算法

在MIMD计算机上解稠密线性方程组的问题,见[1]与[2].这两篇文章研究了基于高斯消去法和G-J消去法以及Givens变换法的实用并行算法,推得这三个并行算法的效率分别为2/3,4/7和4/9,且以并行高斯消去法为最佳.     

双代数余循环的余同调变换

在[8]中,作者讨论余循环交叉积和扭积之间的关系(见定理5.3).设A#xH为余循环交叉积,γ∈Hom(H,A)是卷积可逆的,且γ(1)=1.在[6]中,s.Majid对任意地余循环x定义了余同调变换xγ.在本文中,首先证明了[8]中的定理5.3以及它的对偶在一般情况下成立.s.Majid在[5]中给出了余循环交叉积和余循环交叉余积形成双代数的充要条件,这种结构称为Bicrossproduct积.这里讨论了余循环余同调变换如何具体地保持这种双代数结构.     

哈密顿圈的H-变换

对求解流动售货员问题,S.Lin 设计了二线和三线调整法,在计算机上试算得到较好结果(见[1]).事实上,这种调整可以说是哈密顿圈的一种变换.本文研究哈密顿图中一切可能的变换,给出它的一般模式——哈密顿圈的 H- 变换,从而证明了哈密顿图中任一对哈密顿圈均可由 H-变换互相转化,并进而得到哈密顿图具有唯一哈密顿圈的充要条件。关于唯一哈密顿圈问题在国内外受到人们的一定注意,见[2],其极图性质见[3]、[4]。本文结果平行于 J.Abrham and A.Kotzig 关于欧拉迹的变换的工作(见[5])。     

离散余弦变换(DCT)及离散富里叶变换(DFT)的快速算法

离散余弦变换(DCT)是在信号处理中有广泛应用的正交变换。Z.Wang利用DCT的变换矩阵[C_N~Ⅳ]([2]中称为DCT-Ⅳ)的稀疏分解得到各类DCT和DST的快速算法。与[1]比较,运算量有所减少,但与[3]利用FFT计算DCT的方法比较,乘法量有所增加。最近[4]对[2]的方法进行了修改,得到了DCT-Ⅳ的更好的算法,从而使各类DCT与DST的运算量有所减少,Z.Wang本人在[7]中导出了用DCT-Ⅲ来计算DCT-Ⅳ的方法,与[2]中方法结合也可得到各类DCT及DST的快速算法。但是[2],[3],[7]均是利用DCT—Ⅳ来计算各类DCT和DST的,每一步运算均需不断地把一种形式变换为另一种形式,计算     

广义扩展原则和F幂集自同态

设f是普通集合X上的变换,文献[1]、[2]给出的扩展原则可以把f扩展为X上的F幂集F(X)的变换。本文的工作推广了[1]、[2]的结果,并利用所得结论对Fuzzy化的一类基本问题,即运算保持关系进行了探讨。得到的主要结果为: 1.给出X的幂集P(X)到F(X)的变换扩张为F(X)的变换的法则,它是比[1]、[2]的情形更广泛的F化方法。2.研究了这种扩张前后集合的运算关系的保持问题(以下称为同态),这是有关文献尚未涉及的F集理论的另一类基本问题。3.给出了和F集分解定理相对应的F(X)的自同态的分解和合成定理。     

求反对称阵特征值的新算法

1971年,M.H.C.Paardekooper将对称阵的Jacobi思想推广到反对称阵,给出一个求反对称阵特征值的实用算法(简称P算法).但P算法仅考虑到矩阵的反对称性,未利用其纯虚数特征值共轭成对的性质,而且也未探讨特征值共轭对相重与否对运算量的影响.鉴于此,本文提出一个新算法,其运算量比P算法少得多. 我们先用Givens相似变换(其快速算法见§3之3.2)化反对称阵A为三对角反对称     

FGFT的并行算法及其应用

常见的离散Fourier变换(DFT)的推广均定义在一个交换环上。我们在[1]、[2]中给出了DFT在一类非交换环上的推广(FGFT),并将它应用于一些快速线性计算问题。本文将不加证明地列出这些快速算法的并行计算效率。结果表明,这些计算问题亦具有很好的并行性。     

r-循环阵的逆阵或广义逆阵

在应用数学和其他学科(如数理统计、固态物理等)中,都将遇到求循环阵的逆阵或广义逆阵的问题.如何求非奇异循环阵的逆阵?文[1]提出了一种算法而无证明,文[2]则给出了这种算法的一个证明,文[3]又提出一种新算法,但上述两种算法的计算量大,实际使用时是很繁的.针对这一情况,文[4]除了对[1]中提出的方法重新给了一个初等证明外,还导出了一些特殊循环阵的逆阵公式.关于求奇异循环阵的广义逆阵的问题,则除了[3]中给出了某类特殊的奇异循环阵的 Moor-Penrose 逆阵外,还未见到有文章论述求奇异循环阵的广义逆阵的一般方法.本文给出了 r-循环阵的逆阵或一个反射 g 逆阵的公式和具体算法.特别,这个公式可用来求通常的循环阵及反循环阵的逆阵和 Moor-Penrose 逆阵.文[3]、[4]中的各个公式可用本文的统一方法推广到 r-循环阵的情形.     

具有重节点的分段Pade''逼近的一个算法

Baker在[1]中提出了具有重节点的Pade’逼近问题,但提供的算法很繁.我们发现,具有重节点的Pade’逼近和有理切触插值有关.基于这种想法,我们先给出分段Pade’逼近的概念,然后给出一个一般算法.     

关于Bent序列构造的一点注记

本文讨论文献[4]给出的构造bent序列的方法,指出该方法可以通过对级联序列进行下标变换实现,从而大大增加了[4]中给出的由两个已知bent序列构造出的bent序列的个数。     

抛物线到圆锥曲线的另两个变换

笔者曾在文[1]中给出抛物线到圆锥曲线的如下一个变换（文[1]中的定理5）：     

指定根的最小树形图的一个算法

文[1]给出了求有向图的最小树形图的算法,[2]中给出了求有指定根的最小树形图的算法.本文采用了[1]和[2]中的收缩回路的方法,给出了求有指定根的最小树形图的一个算法.设有向图G=(X,U),其中X={x_1,x_2,…,x_n}是顶点的集合,     

奇数阶亚循环p-群分类的一个证明

一个有限p群p称为亚循环的,如果P有一个循环的正规子群A,使得PA是循环的.1973年King在文[2]中对亚循环p群进行了分类;在文[4,5]中M.F.NewmanandMingYaoXu发现了这些群的新的表示,给出了新的分类方法,这种方法是由p群生成算法(见文[3])得到的.本文的目的是给这些结果的另一种证明,与p群生成算法是不相关的.     

一族非线性约束条件下的摄动梯度投影法

对问题(P),堵丁柱改变了以往的做法,利用对约束切空间的摄动技巧,给出了一个收敛的梯度投影方法.本文推广了[1]中方法,给出了一个更一般的收敛算法,它无需[1]中对约束函数的凸性假设,也不须多次求投影梯度.本文中算法的收敛性证明是建立在[3]中引理10.2.6的简单推广得到的引理3的基础上的.本文引理3减弱了引理10.2.6中的条件3,因而更具实用性.可以简化许多算法的收敛性证明.     

HAKOPIAN插值的弱收敛性

1　引　　言在 1 982年 ,Ｈａｋｏｐｉａｎ[1 ]提出了一种新的多元插值 这种插值是Ｋｅｒｇｉｎ插值的一种发展 ( [2 - 4 ]) 王和来 [5]在 1 984年给出了这种插值的余项估计 梁在 [6 ]的基础上于 86年给出了二元Ｈａｋｏｐｉａｎ插值的Ｌａｇｒａｎｇｅ型表达式并对定义于单位圆盘上足够光滑的插值函数给出了它的收敛速度估计 [7] 圆盘上的二元Ｈａｋｏｐｉａｎ插值的导数收敛性在 [8]中进行了讨论 最近 ,在 97年 ,梁和吕 [9]进一步研究了Ｈａｋｏｐｉａｎ插值的积分收敛性 我们在这篇文章中对Ｈａｋｏｐｉａｎ插值的弱收敛性进行了研…     

关于实矩阵束广义特征值排序的一点注记

在[1]中对广义特征值问题的排序给出了矩阵对的推广Rube算法,它很便于实际计算.由于排序算法的应用日益广泛,我们在实际应用中发现原算法可稍作改变而大大改进其数值稳定性,现列举如下(参见[1]中Ⅱ§1.):     

关于矩阵乘法与整数卷积最佳算法运算量的估计

§1.引言 [1]通过构造一个大整数然后作整数乘除法给出了用于有理数矩阵相乘的算法,运算量为O(n~2),达到了矩阵乘法复杂性下界,是最佳算法。[2]曾指出[1]中忽略了不同字长有不同运算量这一事实。但对[1]中算法复杂性未作具体讨论和质疑。最近,[3]—[4]采用类似于[1]中的大整数乘除法分别提出整数向量卷积的算法,并认为运算量级为     

求解非线性互补问题的一个下降算法

在[1]中,Soldov将非线性互补问题等价地转化成一个带非负约束的优化问题,基于这种转化形式,我们给出了一种求解非线性互补问题的下降算法,在映射为强单调时,证明了算法的全局收敛性。     

求解非线性互补问题的一个下降算法(英文)

在[1]中,Solodov将非线性互补问题等价地转化成一个带非负约束的优化问题.基于这种转化形式,我们给出了一种求解非线性互补问题的下降算法.在映射为强单调时,证明了算法的全局收敛性.     

复合型分数阶微分方程初值问题的解

首先给出分数阶积分和微分的定义和性质;然后利用Laplace变换、Laplace逆变换公式和T函数汉克尔积分表达式改正了文献[1]和[9]中错误,给出了解的存在性和非存在性定理;最后用Laplace变换和逐次逼近法给出复合型分数阶变系数微分方程的初值问题的显式解.