交换环上的线性方程组可解的一个充分条件

<正> 本文R始终表示有单位元的交换环。我们考虑系数在R中的线性方程组AX=B (1)在R上可解的条件,这里A=(a_(ij))是一个m×n矩阵,X=(x_1,…,x_n)~t,B=(b_1,…,b_m)~t。如果m>n,可以引入变量x_(n+1),…,x_m及a_(ij)=0(1≤i≤m,n+1≤j≤m)。因此,不失一般性,我们总可以假定m≤n。关于线性方程组AX=B有解的充分条件,文献[1]、[2]、[3]中针对一些     

有限交错Lüroth展式Hausdorff维数集的稠密性:TEXAN猜测

对任意的x∈[0,1],考虑它的交错Lüroth展开式一类Hausdorff维数,得到了交错Lüroth展式中数字为有限个的集的Hausdorff维数集在[0,1]上是稠密的.     

几类图的伴随多项式的整除性特征

用Ｐｎ和Ｃｎ依次表示有ｎ个顶点的路和圈．Ｄｎ表示Ｋ３的一个顶点与Ｐｎ－２的一个１度点重迭后得到的图．Ｔ（ｌ，ｍ，ｎ）表示度序列是（１，１，１，２，２，……，２，３）的树，其中ｌ，ｍ，ｎ分别是从它的唯一３度点到３个１度点的３条路的长．图Ｇ的伴随多项式记为ｈ（Ｇ，ｘ），本文证明了当Ｇ＝Ｐｎ，Ｃｎ，Ｄｎ，Ｔ（１，１，ｎ），Ｔ（１，２，ｎ），Ｔ（１，３，ｎ），Ｔ（１，４，ｎ）时，ｈ（Ｇ，ｘ）能被ｈ（Ｐｍ，ｘ）（ｍ≥２）整除的充要条件．     

三相桥式可控整流电路的Matlab仿真分析

对三相桥式半控整流电路和三相桥式全控整流电路进行了理论分析,建立了基于Matlab/Simulink的三相桥式整流电路的仿真模型,并对其带纯电阻负载及电阻电感性负载时的工作情况进行对比分析,Matlab软件自带的Power System工具箱仿真表明所建模型的正确性.     

满足左理想双无限链条件的环

本文就一般结合环定义了满足左理想双无限链条件的环,导出了这类环的一些结构性质,并给出了满足左理想双无限链条件的半素环的结构定理。     

关于复方阵的正定性

本文给出了复方阵(未必是Hermite矩阵)是正定矩阵的定义,讨论了这类正定矩阵的特征值以及其行列式的模的性质,并给出了正定矩阵在合同下的标准形,以及复方阵是正定矩阵的充分必要条件。     

均匀网格下三次样条函数的注记

本文对方程组AM=D和Bm=C的系数矩阵A、B进行了细致的讨论,得到了‖A~(-1)‖、‖B~(-1)‖的有界性以及在λ_0>4+2■,μ>4+2■时均匀网格二点端点条件下三次样条函数的存在唯一及收敛定理。     

两类不可约图的判定方法

本文讨论了Ｆｉｂｏｎａｃｃｉ数列｛Ｆｎ｝,Ｌｕｃａｓ数列｛Ｌｎ｝及数列｛δｎ｜δｎ＝Ｌｎ－１＋Ｆｎ－１｝中的整除关系和素数的判定方法,据此证明了两类图Ｐｎ和Ｄｎ是不可约图的充分条件．为图的色性分析理论奠定了基础．     

准谐振直流环节逆变电路的设计与实现

分析了一种准谐振直流环节逆变电路的基本原理及其不同工作模态,建立了基于MATLAB/Simulink/Power System工具箱的准谐振直流环节逆变电路的仿真模型.结合仿真结果研究了谐振参数变化对准谐振直流环节逆变电路的影响.在全负载范围内谐振电路能正常运行的结果,验证了理论分析和所建模型的正确性.