Transputer并行处理系统在反坦克导弹实时仿真图像生成中的应用

本文概述了反坦克导弹实时仿真系统组成及采用Ｔｒａｓｎｓｐｕｔｅｒ ＩＭＳ Ｔ８００芯片构成并行处理机，在实时仿真图像生成中的应用。对图像系统的体系结构，软件特点和并行处理技术在图像生成中的具体实现作了简要介绍。     

矩阵迹的几个不等式

本文推广了实对称矩阵理论中的Ｗｉｅｌａｎｄｔ—Ｈｏｆｆｍａｎ定理到复数矩阵上．利用这个结果给出了两正定厄米特矩阵乘积的特征值的新估计．最后，还给出了算术平均一几何平均不等式，Ｈｏｌｄｅｒ不等式和Ｍｉｎｋｏｗｓｋｉ不等式在矩阵迹上的类似．     

关于积分C—半群的几点性质及其对抽象Cauchy问题的应用

用积分Ｃ－半群的方法讨论了抽象Ｃａｕｃｈｙ问题的解，从而推广了Ｃ－半群的相应结果。     

可分拟满Steiner树的结构与生成算法

本文给出可分拟满Ｓｔｅｉｎｅｒ树的结构性质及生成算法，利用此算法可直接构造出具有这类结构的Ｓｔｅｉｎｅｒ最小树。     

n-扩张图的度和与可迹性

研究了n-扩张图的度和与可迹性,利用度和证明了对于n-扩张图G且S(∈)V(G),如果σ3(S,G)≥(3)/(2)(p-2n)-4,则S在G中可迹,或c(S,G)≥p(S,G)-1.     

Galois环GR(q~m)上循环码的迹表示

讨论了剩余类环GR(qm)[x]/(xn-1)的理想的结构,利用GR(qmk)的Frobenius映射和迹映射,证明h(x)∈GR(qm)[x]在GR(qmk)中能被惟一的分解,这里h(x)是k次基本不可约多项式。给出了GR(qm)上的循环码C=(g(x))的迹表示,其中g(x)∈GR(qm)[x]是码C的生成多项式。这些结果将有利于Galois环上的循环码理论的研究。