不变性在线性代数中应用两例

本介绍数学中“不变性”思想，讨论了线性代数中某种条件下秩数不变、特征多项式带征值不变；对称性、半正定、正定性不变；以及度量性不变，一以初等变换为首要方法，解决线性代数中一类重要问题，阐述了矩阵或线性方程组线性变换的本质。     

饱和土中波传播的二相动力分析模型

将饱和土作为二相介质,考虑土骨架和孔隙流体之间的摩阻力,建立了饱和土中一维压缩波传播的二相动力分析控制微分方程,采用有限差分法求解。该模型可以计算地表面爆炸冲击荷载作用下饱和土中波的传播和波在不动障碍上的反射问题。该模型可考虑饱和土土体的非线性塑性力学性质及土性随深度变化或土介质的分层情况。     

真值维护系统的语义研究

本文研究了带有CP(Conditional Proof)验证式 TMS(Truth Maintenance System)理论的形式语义,证明了TMS理论J转换为新理论J*后,原指称的有效性;讨论了U. Junker和Kurt Konolige所定义的不带CP验证式 TMS理论的扩充在我们的语义模型中的有效性。此外,本文还讨论了CP验证式的一些性质,结论是:CP验证式和非单调可证明性、逻辑真有着密切的关系。     

半线性抛物型方程初边值问题解的性态

1.引言对于半线性抛物型议程的初边值问题■解的性质有许多作者进行了讨论,设λ_0是-T(D(x)T)所对应的最小特征值,φ(x)为对应的特征函数,则λ_0>0,且可取φ(x)>0,x∈Ω它们是如下问题的解     

一类广义差分方程组与CDS方法的收敛性

本文首先证明了基于 ILMM 的 CDS 格式是不收敛的,然后对一类广义差分方程组给出了解的估计式,最后,在这个基础上,对基于 IMLMM 的 CDS 格式建立了收敛性定理,给出的收敛阶也是最佳的。     

非线性最优化的广义梯度投影法

梯度投影法已有许多有效算法,但这些算法还存在三个问题:1)为了保证算法的收敛性,在算法的每一迭代步,需要选取δ-主动约束集,计算量较大.2)在迭代过程中,需要跟踪主动约束集.3)只能处理非线性不等式约束问题.本文讨论非线性等式与不等式约束的优化问题,给出了一个广义梯度投影法,证明了算法的收敛性并且完满地解决了上述三个问题.本文算法结构简单且其处理技巧有普遍意义.     

顶部籽晶法生长磁光晶体硼酸铁

本文首次采用顶部籽晶泡生法在敞开体系中生长了出了磁光晶体硼酸铁单晶。选用Ｂ２Ｏ３作自助溶剂，ＬｉＦ作稀释剂，确定了原料配方。对长出的晶体作了初步的物化性能测试。讨论了晶体生长的结果。