符号函数矩阵判别法在水盐相图计算机成图中的应用Ⅱ.复杂三元水盐体系的W1-W2和m1-m2及X1-X2相图

作者以复杂的三元体系Li+ ,K+ ∥SO2 - 4 H2 O在 2 98.15K和 10 1kPa时的W1 W2 ,m1 m2 和X1 X2 相图为例 ,用符号函数矩阵判别法 (SFM法 ) ,对相图中各曲线的稳定区间及无变度点的稳定性进行了判别 ,所得结果均与实验事实相吻合 ,从而解决了此类相图的预测和计算机成图过程中的相关问题 .     

不动点集为RP(8)∪P(8,2n-1)的对合

设（M，T）是一个在闭流形上的对合，它的不动点集为F＝RP（8）∪P（8，2^n-1)，作者给出了它的所有带对合的协边类。     

亚纯函数的微分多项式的唯一性

讨论了亚纯函数的微分多项式具有一个公共值的唯一性问题，推广了C．C．Yang，仪洪勋及Lahiri.I等人的有关结果。     

运用C++程序辅助求解最短路问题

分析了带权图中求解最短路问题的方法，并设计了一个辅助求解的C++通用程序．     

非线性方程的一种区间迭代算法

把区间算法与正割算法相结合,给出了一种新的区间正割算法．并证明了其收敛性与Newton法相比,具有收敛快,误差小的优点,算例证明了其有效性．     

矩阵与递推关系

讨论了递推关系的矩阵解法.     

关于矩阵方程XB=C的解

本文推广了线性方程组反问题,讨论更一般的矩阵方程XB=C,分别给出这类方程存在对称矩阵解、正定对称矩阵解以及正交矩阵解的判定条件、解集合的结构及其一般解法,较完整地解决了线性方程组反问题与矩阵反问题。     

选主元换基迭代算法

本文用换基迭代的思想对初等变换法进行改进.改进后的算法,只需用初等变换求逆的计算量便可同步求出任一矩阵的秩、向量间的线性关系以及一个最高阶可逆子阵及其逆.若矩阵之间有相同向量,利用本算法可使求逆计算大为简化.     

循环阿达玛组态

本文指出完全循环阿达玛矩阵与参数v=n,k=(n-n~(1/2))/2 λ=(n-2(n~(1/2)))/4且关联矩阵是循环矩阵的(v、k、λ)——组态等价进而与相同参数的完备差集等价.     

半正定Hermite矩阵乘积迹的不等式的推广及应用

本文证明了对半正定Hermite矩阵A_1,A_2,…。A_m成立(3),(4),这里sum from i=1 to m 1/a_1≥1。实现了将离散形式的Hólder不等式和Minkowski不等式推广到矩阵上。