Long term monitoring of urban subsidence by Permanent Scatterer DInSAR

When using differential SAR interferometry (DInSAR) to monitor the surface deformation over a long time scale, it is often strongly affected by the spatial and temporal decorrelations and atmospheric dishomogeneities. The recently developed Permanent Scatterers (PS) technique proposed by Fertti et al. can overcome these difficulties by interpreting time-series of interferometric phase only at coherent point scatterers. In this study, we apply this PS technique using 25 ERS-1/2 scenes from 1992 to 2000 to monitor the subsidence in Suzhou. By using the linear deformation model, the deformation map in Suzhou urban area over the eight years is obtained. And the calculated results are in good agreement with the measurements of leveling.     

中立型时滞双曲微分方程的振动准则

建立了一类中立型非线性时滞双曲微分方程的若干新的振动准则,结论推广和改进了一些文献中的定理.     

流形上微分方程求解的渐近展开方法

文章陈述了流形上微分方程、渐近级数和渐近展开等概念和相关命题,然后给出了例子,用渐近展开方法求解了微分方程。     

不连续二阶周期边值问题的可解性

考察了一类非线性项含有一阶导数的二阶周期边值问题的解的存在性,其中非线性项是Carathèodory函数.通过构造非线性项的高度函数并且利用Leray-Schauder不动点定理建立了两个存在定理.第一个定理表明只要高度函数的积分是适当的,这类问题至少有一个解.第二个定理表明当非线性项在无穷远处增长的极限是一个无界函数时在适当条件下这问题仍可能有一个解.     

一类简单图的生成树数

利用Cayley公式求解递推关系方程,给出了一类简单图S(p,n)的生成树数的计算公式.     

合金铸铁激光处理的探讨——Ⅱ.激光辐照工艺参数的控制

用热传导方程控制激光辐照温度,建立了一种新回归方程以控制激光辐照硬化深度,选用卡尔丹公式列热传导方程及同归方程联立求解,可得到同时满足一定的硬化深度及表面最高温度双重要求的工艺参数,此种方法可作为激光硬化处理工艺参数的控制或预报,对本合金铸铁的激光硬化处理,其表面温度的下限应大于其熔点温度,即以表面产生微熔的快速冷凝处理为宜,并以选取低功率慢扫描为最佳。     

处理优化约束条件的微分方程法

在文[1]中,作者曾提出求解一般约束优化问题的一种新方法。本文利用微分方程对约束条件做进一步的讨论,证明了从一可行点的某邻域出发的该微分方程组的解关于部分变元总收敛到问题(1.1)的可行点。     

一类对称的Kolmogorov系统的定性研究（Ⅰ）

本文对一类对称的三次微分系统进行探讨，对每个奇点导出表示其鞍结性的型号公式。给出（Ｋ３）所有的六种全局相图。     

固定床电化学反应器模型数值求解方法

文中给出描述固定床电化学反应器内两维电势和浓度分布的普遍化数学模型。该模型为具有混和边界条件的抛物线及椭园微分方程组。作者开发一种新的具有正交配置及有限差分二法优点的数值计算方法,求得了这组非线性偏微分方程的解。文中给出该数值方法的细节及计算程序框图。     

Banach空间中的幂级数方程

本文考虑Banach空间中形如x=u+sum from k=1 to ∞(a_kx~k)的幂级数方程,建立了一个比较定理,并将其应用于一定的非线性积分方程.