GPSNISNAV integrated relative navigation and attitude determination system for ultra-close spacecraft formation flying

For the improvement of accuracy and better fault-tolerant performance, a global position system (GPS)/vision navigation (VISNAV) integrated relative navigation and attitude determination approach is presented for ultra-close spacecraft formation flying. Onboard GPS and VISNAV system are adopted and a federal Kalman filter architecture is used for the total navigation system design. Simulation results indicate that the integrated system can provide a total improvement of relative navigation and attitude estimation performance in accuracy and fault-tolerance.     

一类模式演化方程的全局吸引子及其维数估计

研究了一类源自模式演化问题的非线性发展方程所产生的动力系统,并考虑了其全局吸引子的存在性及维数估计问题.这类模式演化方程与化学反应和火焰燃烧有密切关系,因此具有重要的物理背景,而且因为它含有关于空间变量的四阶微分算子,还具有重要的理论价值.借助插值不等式以及sobolev嵌入定理,可以进行一系列精细的估计,最终根据一个经典的结果,证明了在维数不超过三维的空间中的有界集合上,系统的全局吸引子存在.进一步应用Sobolev-Lieb-Thirring不等式进行估计,可以得到全局吸引子的分形维数的界.     

清场车GPS定位系统的研究

为了总结课题"GPS清场车定位系统研究"的成果,突出系统设计的针对性和实用性。利用目前较成型的GPS(G lobal Position System)车辆管理调度的主要功能和技术规范,进行了清场车GPS定位系统的研制。实现了计算机网络化管理、数字化存储和车辆的快速实时监控和调度,并具有良好的系统兼容性和功能可扩充性。实际测试结果表明,系统完全达到设计要求,且结构简单、安装方便,成本较传统系统降低25%。     

伪Newton-B族算法对一般目标函数的收敛性

针对无约束优化问题,将Goldstein非精确线搜索技术引入伪Newton-B族算法.在假设目标函数f(x)二阶连续可微有下界,水平集L={x|f(x)≤f(x(1))}有界的条件下,证明该算法对一般目标函数的全局收敛性,得到一个条件更弱的结论.     

一个新的非单调自动确定信赖域半径的信赖域算法

将非单调线搜索技术与自动确定信赖域半径的方法相结合,提出了求解无约束优化问题的一个新的非单调自动确定信赖域半径的信赖域算法.在假设对任意x1∈Rn,水平集L(x1)={x|f(x)≤f(x1)}有界,且目标函数f(x)在水平集L(x1)上连续可微;矩阵序列{Bk}一致有界的条件下证明了本算法的全局收敛性.数值结果显示本算法是有效的.     

线性高振荡常微分方程两个数值解法的误差分析

以特殊的线性振荡方程y" g(t)y=0(其中limg(t)= ∞)为例讨论了高振荡微分方程数值解问题.分析了梯形格式的整体截断误差,并对梯形格式做了修改,讨论了修改后格式的整体截断误差,使得整体截断误差中的T9/4变成了T-1/4.     

用于全局优化的一种新辅助函数及其性质

从填充函数法的思想出发,基于启发式想法,提出了一种基于两阶段变换目标函数,进而用于全局优化的新辅助函数法,对新辅助函数的性质和其中的参数进行了理论分析.数值实验表明,与其他辅助函数优化方法相比,新方法放松了对参数的约束,收敛速度更快,解的精度更高.     

n斑块内非自治L-V互惠扩散系统的概周期解和全局稳定性

考虑在n个斑块中,两个互惠物种的非自治L-V模型,并且两个物种中每个物种都能在自己的斑块内部和外部独立地扩散,利用构造Liapunov函数,在适当的条件下得到了该系统存在唯一一个全局渐近稳定的概周期解,推广了已有的结果.     

利用核心态注入技术的防沉迷系统的研究

Windows系统中,大量安全产品的存在,使得众多基于进程监控的客户端反沉迷软件面临严峻的生存环境,它们经常被当作非安全软件而遭到查杀.对此,提出了一种通过在系统核心空间对API函数的执行进行全局钩挂拦截并结合调用门的设计与使用,实现对活动进程的监控的方法.系统测试表明,采用该方法实现的反沉迷监控系统能够与安全产品和平共处,具有较强的健壮性.     

一类非线性差分方程组解的动力学行为

研究了一类非线性差分方程组xn=A+xn-1/sn-p yn-q,yn=A+yn-1/xn-r yn-sn=1,2,…解的动力学性质,包括有界性和解的全局渐近收敛性,其中:{xn},{yn}为正实数数列;p,q,r,s均为正整数,A≥0;初始解x1-max{p,r},x2-max{p,r},…,x0＞0,初始解y1-max{q,s},y2-max{q,s},…,y0＞0.