地基SAR图像与地形数据的几何映射三维匹配方法

地基合成孔径雷达(GB-SAR)系统具有全天时、全天候、定点连续监测等特点,在矿山及山体滑坡、桥梁沉降、地震形变等领域具有广阔的应用前景.地基SAR图像与上述领域中地形数据的几何映射三维匹配是系统与实际应用相结合的关键技术.本文建立地基SAR系统与地形数据的关系模型及地基SAR系统与雷达图像的关系模型,提出基于距离向和方位向条件的几何映射三维匹配方法;分析几何映射三维匹配过程的误差特性.通过实测数据验证了本文模型及几何映射三维匹配方法的有效性.     

从属的双调和映射序列{f_n}的收敛性研究

研究从属的双调和映射序列{fn}的收敛性.首先,讨论满足fn相似文献   

集值映射导数的一致性探究

集值映射的导数形式众多,常见的如相依导数、相邻导数、约切导数,给出了一个满足合理假设的集值映射,借助该映射探究了集值映射上述三种导数的一致性,并利用该假设得到"preinvex映射必是伪凸映射"的简单证明.     

半线性椭圆型偏微分方程反问题解的整体惟一性

研究了半线性椭圆型偏微分方程-Δu+B.gradu+a(x,u)=0u|Ω=g∈W2-1/p,p(Ω)的反问题的解的整体惟一性.证明过程中应用了线性化方法和Dirichlet——Neumann映射.     

定性映射诱导的转化及逆转化程度函数

文献[6～9]提出有关属性量—质特征转化关系,归结为一个定性映射的观点,并指出定性映射诱导出一个E R(QM)的等价关系,使得任一满足E R(QM)的转化程度函数(CDF),都构成一个能对该量—质转化进行模糊评判的隶属度函数。本文进一步给出了逆转化程度函数的概念。     

单调自映射的迭代

自映射的迭代和迭代根构成离散动力系统的核心内容,并且也是函数方程的重要内容之一。它研究了连续单调自映射的迭代问题。讨论了这类连续自映射经过迭代后的变化情况,其所得结果不仅指出了递增自映射迭代过程中依然保持递增性,递减自映射经过偶数次迭代变为递增自映射,而经过奇数次迭代依然保持递减性,而且讨论了它们经过迭代之后的变化趋势,得到了在不断迭代之下的极限状态。     

UML在数据库设计中的应用研究

UML是目前最流行的建模语言,教据库系统的设计是软件开发的一项非常重要的任务.本文主要讨论了使用模型映射的方法来进行数据库系统的设计,使用模型映射方法进行数据库设计使得数据结构清晰,便于实现OOP;数据库对象具有独立性,便于维护需求变更时程序与数据库重用率高,修改少.并在此基础上对使用UML的设计模式思想设计数据库方法进行了探讨.     

Hopf纤维上的次椭圆调和映射

研究由Hopf纤维诱导的次椭圆调和映射,证明次椭圆调和映射的存在性和不存在性。     

在调和映射空间上的Dressing作用

得到Dressing作用的一些性质,证明标准的nuniton扩张解在Dressing作用下仍然是标准的n uniton扩张解,因而Dressing作用保持有限调和映射的极小uniton数不变 (后面的结论已被Guest和Ohnita证明)。特别证明对于全纯映射,Dressing作用仅与群元素在零点值有关。此性质表明Loop群在全纯映射上的作用与复线性群在复Grassman nians上的标准作用是等价的。     

基于EMD时间尺度的去噪方法研究

研究了经验模式分解(EMD)与希尔伯特变换(Hilbert)相结合提取信号瞬时参数的EMD/HS法。通过EMD分解将信号分解为不同特征尺度上的分段固有模态函数(IMF),而这些IMF体现了信号能量在时间、空间等各种尺度上的分布规律,从而构造了时间尺度滤波器,再通过选取各个特征尺度参数进行重构,达到非平稳信号去噪的目的。最后通过仿真实验,验证了该算法的可行性。     

模糊映射下隶属度函数的传递

首先在一元模糊反映射存在一对多的情况下,给出隶属度函数的一种求取算法,用以改善模糊映射为一元函数时的模糊性传递;其次,在一定假设条件下,提出一般多元函数的模糊性传递原理,并给出证明;最后,借鉴边际概率分布的计算公式,针对多元隶属度函数已知的情形,给出求取单个变量的隶属度函数公式,并进行了相应证明.     

一种用于可见光通信的自适应OFDM系统设计与实验

可见光通信（visible light communication,VLC）作为一种新兴的无线通信技术,是目前针对无线频谱资源紧张的有效解决方案之一。根据VLC接收机电域接收信噪比的频域包络不变特性,提出一种低复杂度的自适应正交频分复用链路设计方案,并进行实验验证。结果表明,与已有的自适应等比特传输方案相比,本设计方法更好地利用了无线光信道的带宽资源,传输速率和BER性能等指标有明显提升。     

无线网络下的动态分块校验机制（英文）

由于无线链路易受到外界干扰,导致数据传输的误码率较高,从而使得数据包成功传输概率降低。而误码所造成的丢包会使无线链路上的TCP传输自动降速,从而对正常的TCP数据传输造成较大影响。针对上述问题,本文在802.11协议的MAC层提出了一种新的校验机制,采用动态分块校验的方法对数据包进行验证,并采用新的方法来计算重传次数。实验表明,本校验机制可以有效提高数据包成功传输概率,进而改善了无线链路上的TCP传输性能,同时保证了多个数据流传输的公平性和数据的正确性。     

简报基于感兴趣区域的HEVC会话视频容错编码新方案

在计算和传输资源受限的智能手机上编码传输实时会话视频一直是引人关注的关键技术。在采用肤色、运动和纹理信息快速提取感兴趣区域并且使用丢包率修正感兴趣区域权重的基础上,提出一种HEVC会话视频容错编码方案。仿真结果表明,该方案在丢包率5%~20%的网络中编码传输时,会话视频的感兴趣区峰值信噪比PSNR比现存的随机帧内刷新方法至少提高0.7 dB,编码时间减少20%~40%。实际比特率符合目标比特率要求。     

随机微分方程的几种参数估计方法

提出3种基于离散观测数据的随机微分方程参数估计的方法。第1种方法应用于线性随机微分方程。推导出这类方程的真解的相关运算服从的分布,使观测数据的运算也服从此分布,由此来估计漂移系数与扩散系数中的未知参数。第2种方法用于Itô型随机微分方程。推导出Euler-Maruyama格式的数值解的相关运算服从的分布,使观测数据的运算服从此分布,由此来估计参数。第3种方法用于Stratonovich型随机微分方程。推导出中点格式的数值解的相关运算服从的分布,使观测数据的运算服从此分布,以此来估计参数。数值实验验证了这3种方法的有效性。数值实验显示,Euler-Maruyama格式参数估计的误差约为O（h^0.5）阶,中点格式参数估计的误差约为O（h）阶,其中h是数值方法的时间步长。我们提出的3种估计方法均比文献中已有的EM-MLE方法更精确。     

基于双频共轭的外辐射源雷达多普勒徙动的解决方法

长时间相参积累是外辐射源雷达提高目标增益的主要方法。然而,在信号积累的过程中,由于外辐射源雷达双基构型下目标切向运动状态的影响,目标出现多普勒单元徙动,严重影响目标增益,降低目标探测距离。在外辐射源雷达双基构型的基础上,分析运动目标出现多普勒徙动问题成因,首次引入双频共轭算法。此方法使合成信号的等效波长大大增长,实现了多普勒二次项调频率趋于零,从而解决多普勒徙动问题。同时,提出压缩方位向信号重频的改进方式,进一步改善了双频共轭处理微弱目标的能力。该算法具有实现简单、计算量小,可应用于多目标场景的优势。仿真和实测数据表明,该算法可以解决运动目标检测中出现的多普勒徙动问题,提高目标信噪比。     

卫星扩频通信中一种窄带干扰抑制的组合方案

针对基于OQPSK调制的卫星扩频通信系统,研究了一种基于重叠加窗DFT的窄带干扰抑制技术.对满足条件的若干窗函数分别进行了仿真,并详细分析了其性能与旁瓣特性的内在联系. 从有效性与实现复杂度上分析了最新的几种变换域处理算法,如CME、预切除算法与FCME等,对它们的性能进行了仿真和比较. 最后得到了Hann窗与预切除算法相结合的干扰抑制方案. 结果表明,与传统的Capozza方案相比,该方案能有效提高系统的误码性能,约5dB.     

无线传感器网络的分布式用户认证机制

本文针对无线传感器网络的用户认证问题给出了一套分布式的认证方案。此方案利用自我验证密码系统（self-certified key cryptosystems）来建立对等密钥,在对等密钥建立的基础上给出了两种不同类型的认证：本地认证和远端认证。我们的认证方案不但具有很强的安全性,而且由于具有较低的通信与计算代价,从而很容易在传感器网络中实现。     

基于中心差分法的理想水体三维运动效果的模拟

在兼顾真实感和效率的前提下,采用中心差分方法建立了理想水体的运动方程,进而提出一种模拟水面三维运动效果的方法.该方法首先将水体网格化,使用分形布朗运动的形态构建整个水面.接着利用简化的流体力学方程作为水体运动的驱动因子控制各网格处的水体高度,再通过中心差分法平滑水柱之间的高度差,从而得到连续波动的水波模型.最后,从纹理映射与LOD层次模型的建立2个方面,讨论大规模运动水面的仿真方法.实验表明,该方法的计算效率能够满足大规模三维水面动态仿真的要求.该方法还具有很好的可视化效果.