卫星耦合运动姿态对星载SAR多普勒参数的影响

为给SAR成像过程的运动补偿提供依据 ,通过建立卫星姿态的运动学方程和姿态的动力学方程 ,离散后获得卫星的姿态变化规律 ,进而分析卫星三姿态 (俯仰、横滚、偏航 )对星载SAR的Doppler参数的影响。最后得出卫星姿态运动对星载SAR的多普勒参数影响的仿真结果 ,从普遍意义上得出了卫星的姿态对星载SAR成像时的影响。     

确定系统级测试性参数的广义随机Petri网模型

测试性设计是近年来发展起来的一门新兴学科 ,对提高复杂系统的可靠性、可维修性和可用性具有重要的意义。在测试性设计的过程中 ,合理地选择和确定测试性参数是实现费效比最优设计的关键之一 ,但目前还没有有效的方法能合理地确定每个参数的门限值或目标值。基于广义随机Petri网的原理 ,将测试看作设备整个生命周期内可靠性、维修性活动的一个有机组成部分 ,建立了系统的测试性模型。采用数值分析的方法得出系统稳态可用度与系统测试性参数之间的关系曲线 ,作为确定测试性参数的依据 ;当系统需待定的参数比较多时 ,将模型转化为一个区间线性方程 ,有效地解决了计算量大的问题。这一方法对解决复杂系统的测试性设计问题具有一定的借鉴意义     

区间系统状态反馈控制的完整性设计

研究了一类不确定区间系统具有完整性的状态反馈控制设计问题 ,其中不确定性描述为系统状态矩阵的各个元素在一些确定的区间内变化。在给出区间系统的一种等价描述后 ,利用Lyapunov稳定性理论 ,导出了闭环区间系统具有完整性的充分条件 ,给出了相应的状态反馈控制器设计方法及具体设计步骤。最后通过数值算例说明了所提设计方法的有效性。     

Radau IIA方法对比例延迟微分方程的渐近稳定性

研究Raudau IIA 方法用于求解比例延迟微分方程时的渐近稳定性。近年来比例延迟微分方程数值解的性质已被数位数学家所研究,他们使用的步长都是定步长,一般情况下将推导出较难分析的递推关系,在本文中出于理论和计算两方面的原因,我们研究强制变步长计算方案,这种解法得到不变阶差分方程。我们证明了Raudau IIA 方法是渐近稳定的。     

LROTH'S THEOREM IN DIFFERENTIAL FIELDS

In this paper, we present a constructive proof of Luroth's theorem in differential case. We also give a method to find the inversion maps for general differential rational parametric equations. As a consequence, we prove that a differential rational curve always has a set of proper parametric equations.     

一个解方程ut＋uux=0满足两个守恒律的有限体积格式

本文采用有限体积方法为方程ut＋uux=0;设计了一种差分格式,它的数值解同时满足两个守恒律,能更好地保持解物理上的守恒性质．     

Boussinesq方程新的精确解

应用扩展的Jacobi椭圆函数有理展开法并辅助符号计算,建立了Boussinesq方程新的Jacobi椭圆双周期波解和相应的三角函数单周期解.     

特征函数在高阶常微分方程特解计算中的应用

通过借助特征函数的导数,得到了非齐次项为特殊函数情形的一类高阶常微分方程的一个特解的一种新的计算方法．运用该方法,还得到了非齐次项为常见情形时方程的一个特解．     

Zp上的四元数代数的矩阵表示

给出模p（p为奇素数）剩余类环Zp上的四元数代数Zp[i,j,k]的一种新的矩阵表示．     

有限延迟差分方程中的平均理论

延迟差分方程的解的研究在实际应用中有着广泛的应用,对其解可以从数值分析、定量定性分析及稳定性分析等方面进行研究.利用平均理论对此类方程的解进行定量分析.