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积,即直和或张量积.     

空间曲线的Crofton公式

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

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

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

非线性大阻尼系统的摄动法

文中提出大阻尼非线性振动系统一种改进的摄动法，并应用这种新的方法研究了大阻尼Vanderpol方程的一次近似解。     

关于Riemann积分的几点注记

用初等的方法证明了[a,b]上的Riemann可积函数的连续点在[a,b]上是稠密的，并在应用上出了积分中值定理的简洁证明。     

基于像素特征的路面裂缝图像自适应滤噪

分析了破损路面图像的像素点区域特征，针对不同区域提出加权邻域滤波和自适加权中值滤波算法。其权值是通过对图像中区域特征的推理得到的，所以算法中能根据图像的区域特征自适应的进行滤波。试验表明，本算法能够有效滤除噪声，并具有很好的细节保护能力。     

中值定理的又一证明方法

本文提出了中值定理的另一种处理意见，并给出了柯西中值定理的一种新的证明方法。     

用Padé逼近构造高阶收敛的方程求根迭代公式

本文用[1/M]Pade逼近构造方程求解迭代公式,其收敛速度为M+2阶。此族公式包括著名的牛顿选代公式和Halley迭代公式。文中还给出了有效的算法。