基于PSInSAR和GIS空间分析的南通市区地面沉降监测

为提高永久散射体雷达差分干涉测量(PS-InSAR)技术中大气延迟相位提取精度,在采用滤波方法从残余相位中提取大气延迟相位时,提出了基于结构函数的最佳滤波方法及滤波窗口大小的自动确定方法;并对PS(permanentscatterer)点的线性形变速率进行空间分析,了解其数据分布,探测离群值,然后进行Kriging插值,以获得高分辨率的沉降速率图.为验证方法的有效性,以江苏南通市区为试验区域,采用2006—2007年间15幅Envisat卫星SAR(synthetic aperture radar)图像进行地面沉降监测.结果表明,该方法有利于确保大气延迟相位的提取精度,获得了南通市区高分辨率的沉降速率图,发现南通市区存在多个沉降漏斗,但在2006—2007年间没有出现沉降速率特别大的沉降漏斗,大部分区域的沉降速率不超过11 mm.年-1.     

基于投影面由三维地心坐标系到区域性坐标系的转换

由于现有的基于重合点上两组三维坐标求解空间转换参数的模型不适用于数千平方公里的整个区域,提出了一种基于投影面直接求解由三维地心坐标系到区域性坐标系的空间转换参数的方法.该方法只需利用GPS控制点上经由水准联测所得到的正常高,在确定与既有投影面最优拟合的区域性椭球面过程中,就能解得其椭球参数和空间转换参数,而且此空间转换模型并不涉及现有的平面坐标,因此在维持现有平面坐标不变的情况下也能获得应用.     

空间薄壁梁完全拉格朗日格式几何刚度矩阵

根据Timoshenko梁理论和Vlasov薄壁杆件理论,通过设置单元内部节点,对弯曲转角和翘曲角采取独立插值的方法,建立了可以考虑剪切变形、弯扭耦合和二次剪应力影响的空间薄壁截面梁几何非线性有限元模型。以拉格朗日格式描述几何非线性应变推得几何刚度矩阵.算例表明所建立模型具有良好的精度,适用于空间薄壁结构的几何非线性有限元分析.     

带源项的非线性扩散方程的高阶Lie-Bcklund对称

研究一类在物理学及其相关领域中具有重要意义的带源项的非线性扩散方程.运用条件Lie-Bcklund对称和不变子空间相结合的方法,得到带源项的非线性扩散方程的非线性分离变量解,并对方程进行了完全分类.     

Banach空间中一阶非线性微分方程组无穷边值问题解的存在性

利用一个新的比较结果和M(o)nch不动点定理,研究了Banach空间中一阶非线性微分方程组无穷边值问题,在较宽松的条件下获得了正解的存在性定理,改进了某些已知的结果.     

常数H(a,X)与一致正规结构

主要得到常数H(a,X)=sup{‖x+y ‖∧‖(a+1)x-y ‖:x∈S(X),y,y-ax∈B(X),a≥0}的一些性质,并证明了其与一致正规结构的关系定理:若X满足H(a,X)＜(3+a)/2,则对某个a∈[0,1],X具有一致正规结构.     

多线性奇异积分算子构成的交换子在Hardy空间的有界性

通过Hardy空间的原子分解的性质及Lp空间的有界性,证明了齐型空间中多线性奇异积分算子构成的交换子的(Hpb,Lp)有界性,从而推广了欧氏空间的性质.     

再生核空间中求解一类变系数偏微分方程

利用共轭算子给出了一类变系数偏微分方程的级数形式解的逼近解.避免了施密特正交化.证明了逼近解的收敛性.数值算例验证了本方法不仅有效而且精度高.     

W-空间上的广义收缩型映射族的唯一公共不动点

介绍了比度量空间和对称空间更弱的W-空间的概念,并在W-空间上引进了若干个具有广义收缩型条件的映射族,得到了三个具有反交换性的广义收缩型映射族的唯一公共不动点的存在性定理.     

钱塘江流域极端气温和最大降水事件的时空变化

基于1951-2008年钱塘江流域内外15个气象站月极端高温、月极端低温和月最大降水量资料,采用Mann-Kendall趋势分析方法和协克里金插值方法分析了不同区域、不同季节的极端气温和最大降水量的空间分布及变化趋势特征.结果表明:钱塘江流域最大降水量总体呈缓慢减少的状态,而极端气温都有上升的趋势;季节分布上,夏季最大...