现代逻辑三题

现代逻辑是综合运用多种一般思维方法，广泛联系其他科学技术领域，深入研究不同类型推导形式的逻辑学科群．相对于传统逻辑来说，它具有两大特征：一是形式化，二是实用性。     

ZnWo4：Cr^3＋的吸收光谱研究

本文通过对ZnWo4:Cr^3 晶体的光学吸收谱的观测资料^[1]的分析，假定Cr^3 杂质的有效晶场的八面体结构的变形后的D4晶场。采用Oh点群表象准对角型简化强场方案，导出了d^3-D4强场能量矩阵。首次计算了ZnWo4:Cr^3 的自旋允许谱精细结构。理论计算结果与实验吻合较好。     

正定阵的理论在行列式中的应用

正定阵的理论应用很多，本文给出其在行列式中的两点应用。     

正交拉丁矩阵的上下界

引进了一般形式的拉丁矩阵,并讨论了相互正交的拉丁矩阵个数的上下界。     

结构动力分析中Kuhar方法的改进和收敛性

本文介绍了结构动力分析中基于Ｋｕｈａｒ方法的动力缩减迭代法，应用矩阵摄动理论证明了其收敛性，算例说明了方法的有效性     

广义正定矩阵的特殊乘积

设H_n={A|A∈C~(n×n),A~*=A,且对所有的0≠x∈C~n,(x,Ax)=x~*Ax>0}。C_n={A|A∈C~(h×n),且对所有0≠x∈C~n,(x,Ax)= x~*Ax>0}。本文证明了下面事实:如果A∈H_n,B∈G_n,那么A(?)B,B(?)A和A·B∈G_n,同时我们有反例来说明如果A,B∈G_n,那么A(?)B,A·B∈G_n是不正确的。