次正定复矩阵行列式的一些不等式

在矩阵的次转置矩阵、次正定复矩阵和半次正定复矩阵概念基础上,给出了次正定复矩阵行列式的一些不等式,即次正定Herimite矩阵与半次正定矩阵之间的行列式模的关系.     

关于重行列式的注记

本文指出，四元数矩阵A的重行列式可用一个相应的复行列式来表示，并且A的非异性也可用复行列式来刻划。     

复函数积分中值公式

给出了复函的一个一般性的积分中值公式，由此得到若干结果。     

交换半环上矩阵的一个性质

利用矩阵正、负行列式的思想与方法获得了交换半环上矩阵的一个重要性质，所得结论推广了已有的相关结果．     

分块矩阵的应用

本文详细、全面论述证明了矩阵的分块在《高等代数》中的应用,包括用分块矩阵证明矩阵乘积的秩的定理问题,用分块矩阵求逆矩阵问题,用分块矩阵求矩阵的行列式问题,用分块矩阵求矩阵的秩的问题,利用分块矩阵证明一个矩阵是零矩阵问题.     

Hierarchical Symbolic Analysis of Large Analog Circuits with Totally Coded Method

Symbolic analysis has many applications in the design of analog circuits. Existing approaches rely on two forms of symbolic-expression representation： expanded sum-ofproduct form and arbitrarily nested form. Expanded form suffers the problem that the number of product terms grows exponentially with the size of a circuit. Nested form is neither canonical nor amenable to symbolic manipulation. In this paper, we present a new approach to exact and canonical symbolic analysis by exploiting the sparsity and sharing of product terms. This algorithm, called totally coded method （TCM）, consists of representing the symbolic determinant of a circuit matrix by code series and performing symbolic analysis by code manipulation. We describe an efficient code-ordering heuristic and prove that it is optimum for ladder-structured circuits. For practical analog circuits, TCM not only covers all advantages of the algorithm via determinant decision diagrams （DDD） but is more simple and efficient than DDD method.     

桥梁断面颤振导数识别的协方差块Hankel矩阵法

采用基于协方差块Hankel矩阵（covariance block Hankel matrix，CBHM）方法来处理节段模型风洞试验的二自由度振动衰减信号，通过系统识别来提取桥梁断面的颤振导数．为验证该方法的可行性，进行了实际桥梁断面的节段模型试验，并将识别的颤振导数与Theodorson理想平板解析解、特征系统实现法（eigensystem realization algorithm，ERA）结果进行了比较，颤振导数的一致性证明了本文方法的有效性．     

对角占优矩阵的行列式估计

通过将对角占优矩阵与亚正定矩阵和M-矩阵的有关性质相结合，给出了对角占优矩阵行列式的一个下界估计。     

完全分配格上的两个代数问题

研究了完全分配格上的矩阵及其行列式的性质，给出了完全分配格上矩阵的行列式的Laplace展开计算式：指出了完全分配格上的矩阵及其伴随矩阵与行列式的关系，并用完全分配格上矩阵的行列式给出了以完全分配格上的元素为系数的线性方程组的Cramer法则。结果表明完全分配格上的矩阵、行列式的一些运算、性质与实数域上的矩阵、行列式相应的运算、性质是不同的。     

基于插值法计算Dixon结式

在经典方法中，计算Dixon多项式和结式都要涉及到行列式的计算。由于行列式中的元素通常是符号化的，即其中每个元素都是关于变元(或参数)的多项式，从而导致行列式展开时的中间计算过程膨胀(甚至爆炸)。对此，提出在结式计算过程中将符号计算数值化，即对变元选择不同的插值点，将行列式中的元素数值化。然后，求出在不同插值点下行列式的值。最后，根据Zippel多变元插值法或其他相关插值算法计算出Dixon多项式和结式。采用插值方法有效克服了经典算法的中间计算过程膨胀问题。