Leibniz公式在矩阵各种乘积上的推广

本文主要论证下列公式:〔AB〕~(·)=ΣC_a~nA(a-b)B(k)k=0〔A·B〕~(a)=ΣC_n~a(a-k)·B(k)k=0〔A×B〕~(a)=ΣC_a~nA(a-k)×B(k)k=0其中A,B为函数项矩阵且有各阶导数,AB代表A与B的通常乘积,A·B代表A与B的Hadamard乘积。A×B代表A与B的Knonecker积,即直和或张量积.     

奇异矩阵的Krylov方法的误差分析比较

Krylov方法是求解线性方程组Ax=b,A∈CN×N,b∈CN的一种迭代方法,当A非奇异时,已有很好研究.而当A奇异或接近奇异阵时,在一定的假定条件下,Krylov方法的解与范教最小的最小二乘解A+b之间的差是可以估计出来的.     

抛物型方程初值问题的概率数值解法

Ｆｒｉｅｄｍａｎ在［１］中给出了一般抛物型方程Ｃａｕｃｈｙ问题解的概率表达式。在此基础上，给出了它的概率数值及其误差估计。     

空间曲线的Crofton公式

这篇文章论述了空间曲线的Crofton公式,将平面上的Cauchy—Crofton公式推广到空间情形。     

高精度星形轮廓面数控加工方法研究

本文提出了计算星形轮廓面数控加工刀位的插补方法和刀具半径补偿方法，以及决定加工方法误差大小的走刀步长和刀具半径的确定准则，从而建立了该曲面的加工方法其理论加工精度为１μｍ．进给速度相对误差小于１％，在３３ＭＨＺ８０３８６ＣＰＵ（带８０３８７协处理器）上每计算一次刀位占用机时小于１．２ｍｓ．具有精度高和实时性好的特点．     

系统设计的正式方法和模型

微电子设计的规模和设计能力之间的鸿沟正在越变越大，需要工具和技术去填补这一鸿沟。另外，我们也需要更新颖的方法以使理论能变为实际。本书正是出于这个目的而编写的。全书总结了以往各种正式的结构分解、抽象和精练的方法，重点强调了系统的行为和结构特性。书中的内容是以一系列学术论文的形式呈现给读者。论文的作者都运用自己的正式方法以完成软硬件设计，提供开发方法和工具的优化，或形成理论公式。     

改变接线减小感应式电能表在低功率因数下的计量误差

对于如电容器回路这样的低功率因数的负载，由于电容器回路的功率因数过小，超出了感应式电能表功率因数正常范围，感应式电能表在低功率因数下起动功率很小，电能表驱动力矩不足，导致感应式电能表计量误差过大。为此我们采用非标准电能表接线，从而来提高计量的准确性。