学科分类
/ 2
25 个结果
  • 简介:设S是幺半群含有零元0≠1,且S-系为S0-Act中的对象,本文引进投射S-系,刻划了投射S-系的一些性质和特征.

  • 标签: 可收缩 伪投射S-系 幺半群
  • 简介:为了提高组合导航的精度,提出了一种距/距率/双差分载波相位组合导航方法。通过构造双差分载波相位观测量,以消除组合导航中若干误差源,避免整周模糊度的求解。为了避免组合后误差积累发散,引入距/距率信息,设计了一种新的滤波器。该滤波器能发挥载波相位高精度和距/距率包含绝对信息的优势。最后利用GPS实测数据和仿真惯性导航数据进行组合导航试验。试验中对比了距组合、双差分载波相位组合等常见组合导航方法。两小时试验结果表明,提出的组合导航方法比传统距组合方法的平均水平定位精度高61.13%,方法可行。

  • 标签: 组合导航 捷联惯导 双差分载波相位 伪距 伪距率
  • 简介:对于环R.一个右R模被叫做主内射模。若每一个从M的主子模到M的单同态可以扩张为M的自同态.主内射是主拟内射的推广.在本文中,我们给出了一些主内射的性质并讨论什么情况下主内射模是主拟内射模的问题.

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

  • 标签: 伪单调算子 (S+)型算子 同伦 紧扰动 局部一致凸空间 值域
  • 简介:主要引进了i-内射半模的定义,并根据对偶原则,参照k-投射半模及内射模的结论,得到了i-内射半模的一些很好的性质,从而实现了把环中内射模的某些性质在半环中内射半模方面的部分推广.

  • 标签: i-正则同态 伪i-内射半模 真正合序列 可吸收半模
  • 简介:对于环R.一个右R模被叫做主内射模,若每一个从M的主子模到M的单同态可以扩张为M的自同态.主内射是主拟内射的推广。在本文中,我们给出了一些主内射的性质并讨论什么情况下主内射模是主拟内射模的问题。

  • 标签: 主拟内射 主伪内射 自同态环 CS
  • 简介:概周期函数是1992年在我的博士论文中定义的,大多数人是在1994年我的两篇文章得知此函数的.从那以来,概周期函数引起国内外许多数学工作者的兴趣,成为一个活跃的研究领域.文中将介绍概周期函数是如何定义的,并且综述近20年它的发展.

  • 标签: 概周期函数 伪概周期函数 微分方程 函数空间
  • 简介:为进一步提高飞机精确进场着陆导引能力,减少着陆事故的发生,研究了基于卫星/惯性组合的自主着陆导引技术.在研究卫星布局与数量、时间同步等问题的基础上,利用卫星区域定位系统(RPS)与惯性导航组合的定位技术,不仅精度高、工作连续可靠,而且抗干扰能力强.仿真结果表明了该技术的可行性,对保障航行安全具有重要的意义.

  • 标签: 着陆导引 RPS 伪卫星 INS
  • 简介:在傅立叶分析的一个意义下给出了函数成为概周期的充分必要条件:一个有界性连续函数f是概周期的,当且仅当存在一个概周期函数g使得f和g有相同的傅立叶级数,并且f满足帕斯瓦等式。

  • 标签: 伪概周期函数 傅立叶级数 平均
  • 简介:研究拓扑向量空间到其共轭空间的线性映射和其变分不等式问题,给出线性映射的几个等价形式.并对线性映射的变分不等式解集的特征进行了刻画。

  • 标签: 单调 次连续 伪线性 正则映射 变分不等式
  • 简介:针对风场对临近空间卫星导航精度影响的问题,提出卫星抗风场干扰自主导航算法,以提高卫星的导航精度。首先,将风场模型加入卫星SINS/CNS/SAR组合导航的量测模型中,建立风场干扰下的SINS/CNS/SAR组合导航系统模型;然后,设计自适应UPF非线性滤波算法,将该算法用于SINS/CNS/SAR组合导航解算中,分别在考虑风场干扰和不考虑风场干扰的情况下,利用UKF、UPF和自适应UPF算法对临近空间卫星组合导航系统误差进行估计。仿真结果表明,在考虑风场干扰的条件下,提出的自适应UPF算法在东向、北向和天向的速度误差均控制在±0.21m/s以内,误差大小分别是现有的UKF和UPF的1/5和1/3。该算法能有效抑制风场对导航解算精度的影响,提高卫星的定位精度。

  • 标签: 临近空间 伪卫星 组合导航 风场估计 自适应UPF算法
  • 简介:设H是一实Hillber空间,K是H之一非空间凸子集,设(Ti)i=1^N是N个Lipschitz压缩映象使得F=∩i=1^NF(Ti)≠Ф,其中F(Ti)={x∈K:Tix=x}并且{αn}n=1∞,{βn}n=1^∞包含[O,1]是满足如下条件的实序列(i)∑n=1^∞(1-αn)^2=+∞;(ii)limn→∞(1-αn)=0;(iii)∑n=1^∞(1-βn)〈+∞;(iv)(1-αn)L^2〈1,arbitaryn≥1;(v)αn(1-βn)^2+αm[βn+L(1-βn)-]^2〈1,其中L≥1是{Ti}i=1^N的公共Lipschitz常数,对于x0∈K,设{xn}n=1^∞是由下列定义的复合隐格式迭代xN=αnxn-1+(1-αn)Tnyn,yn=βnxn+(1-βn)Tnxn,其中Tn=TnmodN,则(i)limn→∞||xn-p||存在,对于所有的p∈F;(ii)limn→∞d(xn,F)存在,其中d(xn,F)=infp∈F||xn-p||;(iii)limn→∞inf||xn-Tnxn||=0.本文的结果推广并且改进H—K.Xu和R.G.Ori在2001年的结果和Osilike在2004年的结果,并且在这篇文章中,主要的证明方法也不同与H—K.Xu和Osilike的方法.

  • 标签: 伪压缩映射 复合隐格式迭代 公共不动点
  • 简介:以未来火星探测任务为背景,简要分析了通过气动刹车到达目标轨道方案的优缺点。基于给定的火星大气修正指数模型,建立了气动刹车的动力学模型。针对飞行器自身和轨道限制,设置必要的约束条件,利用高斯谱法求解出气动刹车方案中每个周期所需的维持近火点高度的脉冲速度增量,实现了通过气动刹车的方式到达指定轨道的目标。结果表明,利用高斯谱法优化计算得到的气动刹车方案可以满足要求,可为气动刹车相关的后续研究提供新的思路。

  • 标签: 火星探测 高斯伪谱法 轨道仿真 气动刹车
  • 简介:设X是一致光滑的Banach空间,T:D(T)属于X→2^x是局部严格压缩映射且有不动点.设Q是从X到D(T)上的非扩张保核映射.任取x0∈D(T)归纳定义:xn+1=Qpл,pn∈(1-cn)xn+cnTQyn,yn∈(1-dn)xn+dnTxn.如果存在有界序列{wn}和{zn},wn∈TQyn,zn∈Txn.则{xn}强收敛于T的唯一不动点.其中数列{cn}和{dn}满足适当条件.

  • 标签: 不动点 局部严格伪压缩映射 ISHIKAWA迭代 一致光滑的Banach空间
  • 简介:在一般的实Banach空间中,研究Lipsehitz渐近压缩映象和渐近非扩张映象不动点的迭代逼近问题,给出Ishikawa迭代序列强收敛的充要条件,所得结果改进和推广了张石生,肖建中等人的主要结果,修正和推广了朱玲娣等人的相应结果.

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

  • 标签: 平滑伪距 鲁棒自适应滤波 载波相位 紧组合