变指数Herz-Morrey空间上的外插定理及其应用

建立了变指数Herz-Morrey空间上的外插定理,并通过此定理得到了参数型Marcinkiewicz积分算子、几何极大算子及极小算子在该空间上的映射性质.

三值逻辑的Craig中插定理与Herbrand定理

作者获得并证明三值命题逻辑MP与MP 、三值谓词逻辑MF与MF 以及带等词的三值谓词逻辑ME与ME 的Craig中插定理与Herbrand定理。

周延理论和内插定理

三段论规则中的周延律一般是指中项在前提中至少周延一次,前提中不周延的项在结论中不得周延。本文把直言命题中作为主项和谓项出现的词项处理成零元模态词,提出一个零元模态逻辑系统来精确定义周延这一概念,并论证这两条规则可以从该系统的内插定理直接导出,由此确立周延律的正确性。

局部紧Vicenkin群上Herz型Hardy空间中的线性算子内插定理

本文得到了 Vilenkin群上 Herz型

Ba空间的内插定理及应用

综述了多种Ba空间的嵌入性质与内插性质,并给出了一些应用,期望得到更加广泛的应用.

关于Z域取样定理和内插公式的进一步研究

z域取样定理和内插公式在数字信号处理领域中有着非常重要的作用 ,但它是基于在单位圆上进行取样的。通过对取样及内插的进一步研究 ,提出并论证了适用面更为广泛的取样定理及内插公式 ,即取样点不在单位圆上 ,而是在与单位圆同圆心而不同半径的圆周上时 。

矩阵特征值内插定理的拓广

推广了一般图邻接矩阵的插值定理 ,在更广泛的意义下给出矩阵特征根的内插定理 ,并得出了一些新的结果 .

一类B_a空间的嵌入性质与内插定理

研究了B ={Lp1(M) ,… ,Lpn(M ) ,… }是一串由比幂函数增长得快的N函数生成的Orlicz空间条件下所成Ba 空间的嵌入定理和内插定理 .

一个新的外插定理

文章建立次线性算子的关于一般权函数的一个外插定理,推广了Cruz-Uribe,SFO和P啨rez等人的有关结果。在证明过程中,利用广义Hlder不等式共轭性讨论建立的加权不等式自身也是有意义的。

权对的外插定理

将单权的外插定理推广到权对的情形。

BL_p（ψ）空间的内插定理

得出是一串由满足Ｍ＿△条件的Ｎ函数所生成Ｏｒｌｉｃｚ空间条件下所成空间的嵌入定理与内插定理。

高斯测度空间上的外插定理

应用局部 A p,a 权理论证明高斯测度空间上对角线型和下三角形型的外插定理,并利用结果推广到函数对。

抛物线内插反应谱计算方法

为减小恢复被采信号所用的内插函数与山农采样定理要求的内插函数ｈａ（ｔ—ｎ·Ｔ）之间的误差，提出了用抛物线内插──ｈａ（ｔ—ｎ．Ｔ）的二阶近似代替常规的线性内插。为充分减小计算量，本文推导了计算绝对加速度反应谱的连锁公式。通过与常规方法的对比发现，抛物线反应谱算法的计算误差明显降低。在保证同样计算精度的条件下，抛物线算法较常规算法允许更低的采样率。为了将反应谱计算的相对误差控制在５％以下，抛物线算法要求采样率为东奎斯特频率的５倍，而不是常规算法要求的１０倍。

内插空间理论的应用

综述了线性算子内插法与内插空间理论在 Banach空间几何学 ,微分算子 ,逼近理论 ,积分算子 ,Fourier分析等领域的一些应用 .

4-带紧支撑对称正交内插尺度函数

提出了设计同时具有紧支撑、正交性、对称性、正则性和内插性5大优点的4-带尺度函数的方法,并给出了一类具有最短支撑的尺度函数的实例.

模态逻辑两个定理的基于向前向后方法的证明

向前向后方法是模型论及其应用研究中的一个新的工具 .本文使用向前向后方法 ,对模态逻辑的两个定理构造了一种简单的证明 .

采样定理的分析及应用初探

本文分析采样定理的过程及应用，并对采样后丢失的信息将如何恢复作了初步的探讨。

利用内插/重采样器实现全数字码元同步

以采样定理和采样恢复为理论依据,分析了利用内插/重采样技术从基带采样信号中恢复数字信号最佳判决点的可行性。给出了采用该技术实现全数字码元同步的方法,并对其关键组成模块:内插/重采样器、码元误差检测、环路滤波器以及DDS等给出了详尽的设计说明和参数计算方法。该方案对软件和硬件实现有着普遍的适用性,其正确性和有效性经过了仿真验证。

三带紧支撑正交内插尺度函数的构造

提出了设计同时具有紧支撑、正交性、内插性和正则性的3-带尺度函数的方法,从而利用Walter小波采样定理能够快速而准确地重构多分辨空间Vj(φ)的信号f(t),除了计算机的有限字长误差外,没有任何截断误差。

向前向后法证明一阶逻辑的几个定理

向前向后方法是模型论及其应用研究中的一个很重要的工具 .一阶逻辑的内插定理和保持定理确定了符合某些条件的公式的存在性 ,经典模型论中对这些的证明较为繁难 .文中使用向前向后方法 ,对有限语言下一阶逻辑的内插定理和保持定理等几个定理 ,给出一种简洁的证明 .