Banach空间中有限族非扩张映象隐迭代程序的收敛性

在Banach空间的框架下，研究了有限族非扩张映象隐迭代程序的收敛性，其结果不仅改进和发展了最新的有关结果，而且也肯定地回答了Xu提出的一个公开问题。     

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方程的一次近似解。     

伸缩方程Lpc解的讨论

研究一般扩张矩阵伸缩方程L^pc解的性质，相同分形中的选代函数系统构造tile和tiling性质，克服了通用方法中的不足，得到了这类方程存在紧支撑解的充要条件，从而推广了有关的结果．     

Banach空间积-微分方程整体解的存在性

利用上下解的单调迭代方法,采用适当的迭代程序,在较弱的条件下,获得了Banach空间积-微分方程初值问题整体解的存在性结果.