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不动点定理建立了两个存在定理.第一个定理表明只要高度函数的积分是适当的,这类问题至少有一个解.第二个定理表明当非线性项在无穷远处增长的极限是一个无界函数时在适当条件下这问题仍可能有一个解.     

商空间的基

通过引入一个熟知的线性空间作桥梁，揭示了商空闻R^n／S基与矩阵A之间的关系。     

绿洲-荒漠生态系统演化因素及其非线性探讨——以新疆为例

对立统一于干旱区的绿洲—荒漠生态系统在降水等自然因素和人类活动等人为因素的影响下不断进行着演化.从长期看,这一演化过程具有不可预测性,短期内却有细微可预见性.现如今在绿洲扩展同时,荒漠也在扩展,整体趋势仍是荒漠在扩展.为维持绿洲的稳定性,促使绿洲—荒漠系统处于一种稳定的发展趋势,本文从分析绿洲-荒漠这对对立统一的生态系统入手,在探讨引起这对生态系统演化的自然因素和人为因素的基础上,确定了自然因素中的降水和人为因素中的政府调控行为为演化的主导因素,初步探索了促使这对生态系统统演化的主导因素作用所具有的非线性关系,这对维持绿洲的稳定性,抑制荒漠扩展有一定的实际意义.     

边界拟合坐标系中的流动方程

本文提出了流体力学解析边界拟合坐标系方法，及建立在这种坐标系基础上对流动方程进行摄动处理的方法，并列举几种流动建立了解析边界拟合坐标系中的方程。     

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

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

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

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

第二类非线性Fredholm型积分方程数值解的超收敛性

本文讨论第二类非线性Ｆｒｅｄｈｏｌｍ型积分方程数值解的超收敛性，以Ｇａｌｅｒｋｉｎ方法为基础建立了该类方程的Ｇａｌｅｒｋｉｎ算法、小波Ｇａｌｅｒｋｉｎ算法以及它们相应的迭代校正格式，证明了两种算法数值解的超收敛性，不仅将Ｈａｍｍｅｒｓｔｅｉｎ积分方程的结果推广到第二类非线性Ｆｒｅｄｈｏｌｍ型积分方程，而且应用小波分析工具得到了更精确的结果．     

考虑摩擦时机构力分析的简化线性方程解法

考虑摩擦时机构力分析是一个求解非线性方程组的问题。目前常用的三种解法都属于迭代法,求解速度慢,而且对高级机构求解困难。本文建立了一种无须迭代的简化线性方程解法。这种方法比通常的迭代法收敛速度提高3—10倍。算例结果表明,采用本文解法所得结果具有相当高的精度,最大相对误差只有0.84％。