多值置信的格值闭包算子及Galois联络     

方进明  张虎  褚晓清 《中国海洋大学学报(自然科学版)》2013,(1):98-101

在多值逻辑的环境下,为进一步完善格值闭包理论的置信化问题,提出多值置信滤子的概念和实例。以多值置信滤子为工具界定了置信格值闭包算子和置信格值Galois联络的概念,并得到它们的等价刻画条件。结果表明:多值置信滤子是十分有用的置信推理工具,其不但可以解决格值闭包算子的置信化问题,而且可以描述置信格值Galois联络现象。  相似文献   

二维均匀剪切湍流的湍涡闭合方案   总被引：1，自引：0，他引：1  

赵建华  张强 《干旱气象》2010,28(1):8-19

通过仔细分析Thorpe与Woods等对湍流的典型实验,得到如下结论:(1)提出了湍流的太极模型;(2)指出了湍流串级的内容包括2个内容,一是湍流外圈层(大涡)在内旋到内部时产生新的圈层(小涡),二是在阴阳旋臂相切的锋面由于依然存在较大切变而产生新的次尺度湍涡;(3)指出湍流的耗散机制是通过湍涡,把具有切变的2流场的交界面通过旋转而无限拉长以增大2者的接触面积,加强了交界面之间的分子交换,从而实现了湍流层层混合的高效率;(4)基于湍涡结构,提出了湍涡闭合方案,给出了Reynolds应力的表达式,闭合了雷诺方程;(5)混合长反映了湍涡的大小,Karman常数则反映了湍涡内外半径比的关系;(6)指出Reynolds方程算子是湍流方程推导的关键,提出了湍流算子的概念;(7)推导出了新型的湍流运动方程;(8)提出了关系不变性原理。  相似文献   

一类奇异边值问题三解的存在性     

姜威  洪子康 《南京气象学院学报》2009,(4):382-384

利用Ｌｅｇｇｅｔｔ Ｗｉｌｌｉａｍｓ不动点定理,研究了一类含有ｐ Ｌａｐｌａｃｉａｎ算子的非线性奇异边值问题３个解的存在性,获得了这类方程存在３个解的充分条件．结果表明：如果非线性奇异项在其定义域内满足适当的条件,那么该问题必存在３个解．  相似文献   

常用图像边缘检测算子定位精度对比研究   总被引：8，自引：0，他引：8  

管海燕  郭建星 《测绘与空间地理信息》2005,28(1):20-24

图像边缘检测一直以来都是图像处理与分析领域的研究热点。这里介绍了几种经典的边缘提取算法及其原理,对各种方法的优缺点进行了分析,并通过试验对不同算子边缘检测结果进行了详细的精度分析与比较,为边缘检测算子的选择提供了一种较好的参考。  相似文献   

基于形态算子构建空间数据综合的数学模型     

晓丰 《武测译文》1997,(2):27-32

空间数据综合是空间数据处理中的一项重要功能。在过去三十年中，空间数据自动综合一直是制图、ＧＩＳ和地理学领域中的一个重要问题。然而，由于大多数转换过程缺少数学基础，该问题进展仍然缓慢。最近Ｌｉ（１９８４）研究表明形态算子是处理空间数据强有力的工具，而且基于这些算子可以建立这方面的数学基础。本文旨在报道数学形态学在这一新的应用领域的研究成果，并将着重讨论区域特征的处理，尤其是区域特征的聚集。文中构建了  相似文献   

退化的Fourier偏移算子及其在复杂断块成像中的应用   总被引：7，自引：4，他引：7       下载免费PDF全文

符力耘  孙伟家  李东平 《地球物理学报》2007,50(4):1241-1250

波动方程宽角抛物逼近得到的通常是非常系数的单程波传播算子，其系数是速度横向变化的函数，因此需要利用有限差分(FD)进行数值实施. 通过对Lippmann Schwinger单程波动积分方程的退化核逼近,本文研究了一类宽角退化算子的偏移成像. 这种退化偏移算子只用快速Fourier变换进行波场延拓，将常规的Fourier分裂步地震偏移方法(SSF)推广适应强速度横向变化介质和大角度传播波场. 退化的Fourier偏移算子通过在两个分裂步项之间作波数域线性插值来实现波场延拓，每延拓一层需要比常规的SSF地震偏移方法多一次快速Fourier变换(FFT). 通过SEG/EAGE盐丘模型和实际地震资料的应用表明，退化Fourier偏移算子能很好地对盐下的陡倾角断层和实际地震剖面上的复杂小断块和大断裂地质构造成像.  相似文献   

单程波算子积分解的象征表示   总被引：7，自引：5，他引：7       下载免费PDF全文

刘洪  王秀闽  曾锐  李幼铭  勾永峰 《地球物理学进展》2007,22(2):463-471

单程波波场延拓算子在地震偏移成像中有重要应用.单程波波场延拓算子按其实现方式可分为Kirchhoff积分、空间隐式有限差分和Fourier变换方法，他们代表了算子的不同表示方法，当截断使用这些方法时会得到不同的精度.象征表示对这些方法的导出和精度分析有重要作用.算子作用于正弦波函数所得函数称为算子的象征.算子的象征是褶积算子Fourier变换的推广.Fourier变换方法则直接用象征函数的可分表示求出.空间隐式有限差分则可以用象征函数的Padè近似或部分分式导出.单程波算子在深度域的积分称为单程波算子积分解.本文推导了单程波算子积分解的象征表达式，给出了算子象征的代数运算的头几阶表达式，这些表达式还未在前人文献中发现.Kirchhoff积分所需格林函数可以通过象征函数和鞍点法导出.基于积分解的象征表达式给出了非对称走时公式，对改善Kirchhoff积分的聚焦性能有重要意义.  相似文献   

地震逆散射波场和算子的谱分解   总被引：13，自引：3，他引：13       下载免费PDF全文

刘洪  袁江华  勾永峰  张向君  李幼铭 《地球物理学报》2007,50(1):240-247

本文对地震逆散射的研究，旨在于为抑制层间多次波和地震波场多重散射对一次反射干扰效应提供理论依据.这对薄互层地层滤波的高频恢复、保幅弹性反演、衍射地震勘探及海洋地震勘探中的干扰消除皆具重要意义.本文基于上下行波分解及弹性波互易定理，导出横向变速介质条件下线性预测算子的表达式和反射数据的广义谱分解方程. 文中先由上覆地层广义反射透射矩阵的元素定义线性预测算子，并将其表示成一系列单程波算子的线性组合,之后将横向变速介质条件下线性预测方程表达为反射数据与线性预测算子及其逆的乘积. 对该方程的求解可获得上覆地层的线性预测算子，从而可借以求出相应的反射透射算子. 本文先将水平层状介质条件下垂直入射的一维线性预测方程推广到斜入射的情况，以此为参照，导出横向非均匀介质条件下反射数据的地震逆散射广义谱分解方程.文中也揭示了单程波地震逆散射算子、反射透射算子的性态.本文还针对水平层状介质条件，给出斜入射的数值结果.  相似文献   

轴对称各向异性介质波动方程深度偏移的对称非平稳相移方法   总被引：6，自引：1，他引：6       下载免费PDF全文

刘礼农  陈小宏  张剑锋  刘洪 《地球物理学报》2007,50(1):277-284

由所建立的三维qP波相速度表示式出发，导出并解析求解各向异性介质中的频散方程，得到三维各向异性介质中的相移算子，进而将以相移算子为基础的对称非平稳相移方法推广到各向异性介质，发展了一个三维各向异性介质的深度偏移方法. 文中使用的各向异性介质的速度模型与现行的各向异性构造的速度估计方法一致，将各向同性、弱各向异性及强各向异性统一在一个模型中. 所建立的各向异性介质对称非平稳相移波场延拓算子可以同时适应速度及各向异性参数横向变化；文中给出的算例虽然是针对二维VTI介质的，但所提出的算法同样适用于三维TI介质.  相似文献   

2n阶微分方程周期解的存在性   总被引：1，自引：0，他引：1  

黄涛  周伟灿 《南京气象学院学报》2006,29(4):540-543

考虑微分方程u^（2a）＋△↓G（u）=M（u）解的存在性问题，运用同胚理论及不动点方法给出在M为有界全连续算子条件下此类方程解的存在性定理。  相似文献