学科分类
/ 15
282 个结果
  • 简介:证明了在正则空间中闭Lindelof映射保持且逆保持submeso性,这改进了林寿关于正则空间完备映射保持且逆保持submeso性这一结果;同时我们引用一个反例说明原象空间的正则性是必要的.

  • 标签: submeso紧空间 闭Lindelof映射 meso映射
  • 简介:设X是自反Banach空间且X和X^*均为局部一致凸空间,D是X的开、有界、凸子集,T:D→X^*是伪单调算子(pseudo-monotone),C:D→X^*是算子或全连续算子。利用(S+)型算子的度理论,我们建立了T+C值域性质的几个结果,这些结果对研究各类方程问题有所应用。

  • 标签: 伪单调算子 (S+)型算子 同伦 紧扰动 局部一致凸空间 值域
  • 简介:许多常微分方程教材关于解的整体连续依赖性的讨论都用到了一个“性”事实:欧氏空间中的集上一个局部Lipschitz函数一定在该集上是全局Lipschitz的.然而这一事实在教学中并非显然,不少学生在试图给出证明时都走入了一个误区.本文对这一问题从正反两方面进行了讨论.

  • 标签: 局部LIPSCHITZ条件 全局Lipschitz条件 紧集 管形邻域
  • 简介:证明了正则空间中闭Lindelof映射逆保持序列式meso性,从而改进了MancusoVJ关于正则空间中完备映射逆保持meso性这一结果;进一步我们指出定理条件中原象空间的正则性不可被省略而象空间的正则性可以用原象空间的正规性来替代.

  • 标签: 序列式meso紧 序列式meso紧映射 闭Lindelof映射
  • 简介:本利用几何不等式和曲率估计的方法,证明了黎曼流形N^n+p,上的具有平行平均曲率的子流形M^n上的一个拼挤定理。若N上的截曲率KN满足-1≤KN≤δ≤0,且‖S-nH2‖n/2,‖S-nH^2‖n/n-s满足一些不等式,则δ=-1。

  • 标签: 拼挤定理 子流形 非负截曲率
  • 简介:设X是一个实Banach空间,X*为其对偶空间,G是X的开、有界子集.T:D(T)(属于)X→2^x是m-增生算子,C:D(T)→X是有界算子.分别在C(T+I)-1非扩张与C(λT+I)-1的情况下,利用凝聚映射的度理论,考虑了方程0∈-R(T+C)的可解性问题.定理4中在边界条件只为(I-(T+C))(D(T)∩(э)G)(∪)(^-G)的情况下用L-S度理论考虑了方程0∈-(T+C)(D(T)∩G)的可解性问题.这些定理推广了一些已有结果.

  • 标签: M-增生算子 凝聚映射 严格集压缩映射 凝聚映射同伦
  • 简介:文章基于线性中心致差分格式,通过非线性加权插值的方法来求解网格中心处的函数值.这类格式保持了原有中心致差分格式的高阶精度和低耗散特性,同时其分辨率也非常高,由于其非线性插值的机制,使得这类格式能够捕捉强激波,所以这类新的高阶非线性致格式是一种较好的模拟湍流和气动声学等多尺度问题的方法.

  • 标签: 紧致格式 非线性加权插值 高阶 高分辨率 计算气动声学
  • 简介:考虑有限维空间Rn(n>1)中目标映射是仿凸锥映射的向量优化问题.通过对偶锥的端方向和标量函数的0-强制性给出了弱有效解集非空性和性的刻画.

  • 标签: 向量优化 弱有效解 仿凸锥映射 0-强制性
  • 简介:设(M^3,90)是非三维Riemann流形,其Ricci曲率非负,单射半径有正的下界,且当x→∞时数量曲率R(x)→0。则以(M^3,go)为初始值的Ricci流在M^3×[0,∞)上有长期解。这推广了马和朱最近的一个结果.在高维情形我们也有相应的结果,并且我们给Chau,Tam和Yu在Ktihler情形的类似定理一个新的证明。

  • 标签: RICCI流 无局部塌缩定理 拟局域定理 渐近体积比
  • 简介:本文仅用Malgrange预备定理和Haar积分得到了下述结果:设G为线性地作用于Rn上的李群,σ1,…,σk是P(Rn)G的一组极小齐次Hilbert基,并用<σ1,…,σk>表(Rn)由σ1,…,σk生成的理想。若(Rn)/>σ1,…,σk>作为实向量空间是有限维的,则芽f∈(Rn)G当且仅当存在芽g∈(Rk)使得f(X)=g(σ1(X),…,σk(X)),X=(x1,…,xn),即σ*(Rk)=(Rn)G.

  • 标签: 紧李群 不变量 函数芽 预备定理 注记 向量空间
  • 简介:传统惯性/卫星组合导航系统采用载波相位平滑伪距可以有效提高伪距观测量精度,但平滑伪距后观测量噪声不符合白噪声特性而导致卡尔曼滤波器容易发散;同时由于周跳的存在会更加严重影响滤波器的稳定性。针对上述问题,分析了平滑伪距噪声特性并建立了噪声模型,在此基础上设计了鲁棒自适应滤波算法对观测噪声进行实时估计和补偿,结合抗差估计理论进行滤波以减小观测量噪声水平和模型不确定对滤波器带来的影响。理论分析和仿真结果表明,在复杂环境下,基于载波相位平滑伪距的鲁棒自适应组合导航系统定位精度提高了一倍以上。

  • 标签: 平滑伪距 鲁棒自适应滤波 载波相位 紧组合
  • 简介:传统的使用伪距和相位组合进行周跳探测的方法受限于伪距精度,在多路径效应严重和载体高动态下不可靠。针对该问题,构建北斗/INS组合模型,利用惯性辅助北斗三频信号线性组合构造了周跳探测量,兼顾错探率和漏探率,确定探测阈值系数为2.5768。基于卫星高度角采用正弦函数模型确定载波噪声,分析了载波噪声和卫地距误差对周跳探测和修复的影响。在此基础上选择组合量(0,-1,1),(1,3,-4),(-3,4,0)联合进行周跳探测和修复。使用车载组合导航实测数据验证周跳探测模型的效果。实验结果表明,对于模拟的密集小周跳,所有卫星错探率低于1.75%,漏探率低于0.11%,除低高度角卫星C05,所有卫星修复错误率低于0.35%。对于北斗信号中断的场景,在75s部分中断内或18s完全中断内都能够正确修复所有卫星的所有类型周跳。

  • 标签: 北斗卫星导航系统 北斗/惯性紧组合 三频信号 周跳探测和修复 卫星导航系统 惯性导航系统
  • 简介:惯性/卫星超组合技术核心将卫星导航接收机基带信号处理过程中的环路非线性信息与惯性导航信息进行深层次互耦合。在研究超组合多信息源异型耦合架构特征及互耦合机理的基础上,对比分析了超组合非相干及相干互耦合方法,总结了不同超组合观测矢量提取方法及环路模型,然后设计了超组合互耦合信息处理流程及信号NCO(数控振荡器)控制方法。最后,利用仿真平台对非相干及相干方式进行了卫星信号受干扰及载体动态变化环境下的试验对比分析,结果表明超组合相干方法相较于非相干方式具有更优的观测矢量提取性能及抗干扰性能。

  • 标签: 超紧组合 组合导航 卫星接收机 抗干扰
  • 简介:本文研究抽象空间中一类具有非半群的半线性发展方程非局部问题.在非线性项满足适当增长条件的情形下,运用算子半群理论、Sadovskii不动点定理及凝聚映射的拓扑度不动点定理获得了所研究问题mild解的存在性.特别地,我们发现本文所得结论对抽象空间中的常微分方程非局部问题同样成立.最后,我们给出一个具体的抛物型偏微分方程非局部问题的例子来说明本文所得抽象结果的可行性.

  • 标签: 发展方程 非局部问题 算子半群 MILD解 非紧性测度 存在性