论文部分内容阅读
由负定二次型的定义引出负定矩阵的定义,然后得出负定矩阵的12个相关性质,并给出了相应的证明.
负定矩阵的性质及其证明
【摘 要】
：
由负定二次型的定义引出负定矩阵的定义,然后得出负定矩阵的12个相关性质,并给出了相应的证明.
【机 构】
：
郑州华信学院基础教学部
【出 处】
：
伊犁师范学院学报：自然科学版
【发表日期】
：
2014年3期
其他文献
根据Gibbs自由能最小原理,利用BKW状态方程程序对新型高能不敏感离子型含能材料HATO的爆轰性能进行了计算.通过测定爆速对计算结果进行了验证.结果表明,该方法的理论计算值与
若群G有一个幂零的正规子群日使得商群G／H幂零，并不能推出G幂零．但对正规子群加强条件由商群的幂零性可以得出原群的幂零性，主要讨论了一些特殊的正规子群构成的商群，比如z（G），φ（G）等．
根据野外试验采样调查研究,通过5种植物对江西定南县钨矿废渣地土壤的重金属含量的吸收试验,定量分析矿区狗牙根(Cynodondactylon)、弯叶画眉草(Eragrostiscurvula)、百喜草(
为了在更加贴近实际的环境下研究D2D用户的工作模式选择,提出一种新的异构小蜂窝网络中的D2D模式选择方法.该方法通过分析D2D链路的传输功率和信道开销,给出了D2D链路的传输
论文主要研究了基于MobiLink的数据同步技术及其应用，在基于MobiLink技术的基础上，运用Java语言学习编写比较通用的同步逻辑脚本，并将同步技术应用于UltraLite数据库来开发应用
为解决立体匹配过程中匹配模板选取问题,该文对匹配模板的自适应选取方法进行研究,并提出三种选取的方法,第一、二种方法根据像素所处位置的匹配模板越界情况,对图像进行不同的区域划分并选取相应模板,第三种方法在匹配模板越界的情况下,以匹配点的未越界的相关点作为匹配模板,不同点的匹配模板大小是可变的。将不考虑越界的匹配方法及三种方法获得的视差图及运行时间进行比较,实验结果表明,该文提出三种方法均获得了图像的
在计划生育工作中，经常出现瞒报、漏报现象，上报数据往往失真。为了解真实生育现状，有必要借助相关数据探究真相。产妇住院记录数据包含生育状况信息，借助分布拟合方法，得到该地区