基于构造导向滤波的多道反褶积方法及应用

传统线性反褶积方法无法大幅度提高地震资料的分辨率,因此逐渐被非线性的稀疏反褶积方法替代。然而大多数非线性反褶积方法是基于单道反演的,没有考虑道与道之间的空间结构关系,得到高分辨率的结果容易产生横向不一致或者不连续问题,而且当地震资料品质较差时,单道反演方法的结果很不稳定。为此,提出一种基于数据驱动和反演策略的多道反褶积方法,即从地震数据本身出发,利用局部倾角获取构造信息,构建构造导向滤波算子,再将其作为正则化算子引入稀疏多道反褶积中,通过分裂Bregman优化算法求解得到稀疏反射系数系列,在提高分辨率的同时,改善了传统非线性反褶积结果的空间连续性。模型试验和实际地震资料处理结果验证了该方法的有效性和实用性。

描述逻辑μALCQO的语义及推理

循环术语集是描述逻辑长期以来的研究难点,其最基本的问题即语义及推理问题没有得到合理的解决.基于混合分级μ-演算将不动点构造算子引入到含有枚举构造算子的描述逻辑ALCQO中,提出了一种允许包含循环术语集的描述逻辑μALCQO.给出了μALCQO的语法、语义和不动点构造算子的性质,证明了μALCQO的可满足性推理等价于混合分级μ-演算的可满足性推理.基于混合分级μ-演算可满足性推理算法,并利用完全强化自动机给出了μALCQO的可满足性推理算法,以及给出了推理算法正确性证明和复杂性定理.μALCQO为进一步给出同时含有不动点构造算子和枚举构造算子的表达能力强的描述逻辑推理算法提供了理论基础.

描述逻辑μALCIO的语义及推理

循环术语集是描述逻辑长期以来的研究难点,它的最基本的问题即语义及推理问题没有得到合理的解决.分析了描述逻辑循环术语集的研究现状和存在的问题,基于混合μ-演算将不动点构造算子引入到含有枚举构造算子的描述逻辑ALCIO中,提出了一种允许包含循环术语集的描述逻辑μALCIO.给出了μALCIO的语法和语义,证明了μALCIO的可满足性推理等价于混合μ-演算的可满足性推理,并利用树自动机理论给出了μALCIO的可满足性推理算法以及给出了推理算法正确性证明和复杂性定理.

f-SHOIQ_N:一种模糊非单调描述逻辑

针对描述逻辑无法表示语义网中模糊和非单调知识的问题,在模糊描述逻辑f-SHOIQ基础上增加弱否定构造算子,提出模糊非单调的描述逻辑f-SHOIQN。使用弱否定标记模糊非单调原子概念,进而表示模糊非单调规则。将模糊非单调规则引入模糊描述逻辑f-SHOIQ,用来表示模糊和非单调知识。构建f-SHOIQN的知识库,给出该知识库中模糊非单调知识和模糊单调知识处理方式。为处理模糊非单调知识库中规则的竞争并满足描述逻辑中概念包含、相等的问题,提出f-SHOIQN中竞争规则的优先级判定算法。分析f-SHOIQN具有的性质,并给出相关证明。

平面波最小二乘逆时偏移方法的优化

基于平面波编码的最小二乘逆时偏移(PLSRTM)具有较高的计算效率,而且能够通过降低超道集之间的相干性压制串扰噪声,但其成像结果中存在偏移假象,影响了最终的成像精度和收敛速度。为此,对平面波最小二乘逆时偏移方法进行了优化,利用局部倾角获取构造信息计算构造导向滤波算子,并将其作为正则化算子引入平面波最小二乘逆时偏移,在不影响构造信息的前提下,压制每次迭代梯度的偏移假象,从而提高观测数据与计算数据的匹配程度,最终达到加快收敛速度和提高成像精度的目的。二维简单模型和HESS模型数据试算结果表明:该方法可以在提高计算效率的同时压制串扰噪声,消除偏移假象,加快收敛速度,提高复杂构造的成像精度。

Implicit Variational Inclusions and Algorithms Involving （A, η）-monotone Operators in 2-uniformly Smooth Banach Spaces

This paper deals with a new class of nonlinear set valued implicit variational inclusion problems involving （A, η）-monotone mappings in 2-uniformly smooth Banach spaces. Semi-inner product structure has been used to study the （A, η）-monotonicity. Using the generalized resolvent operator technique and the semi-inner product structure, the approximation solvability of the proposed problem is investigated. An iterative algorithm is constructed to approximate the solution of the problem. Convergence analysis of the proposed algorithm is investigated. Similar results are also investigated for variational inclusion problems involving （H, η）-monotone mappings.

Lawson紧的代数L-domain递归方程的逻辑形式

本文的目的是为Lawson紧的代数L-domain递归方程及其解提供一种逻辑刻画。基于N-序列演算上的子系统关系,证明了N-序列演算之集是定向完备的,并在这一定向完备偏序集上引入了三种连续构造算子:提升,联结和以及分离和。从而求解domain结构递归方程的问题可归结为如何构建连续映射的不动点。