一类时间可逆系统的逆积分因子

由于含有系统的许多有用信息,逆积分因子被认为是解决常微分方程定性理论中两大公开问题:中心焦点问题、希尔伯特第十六问题的统一工具.而且逆积分因子与常微分方程的李对称性和Darboux可积性有密切的联系.因此对某些解析微分系统建立其逆积分因子的结构定理是重要的.对于一类时间可逆解析微分系统,建立了逆积分因子的系数递推公式.利用此递推公式得到其具有给定形式逆积分因子的充要条件.为了说明我们的结论,对于一个具体的时间可逆五次微分系统,利用系数递推公式直接给出系统的多项式型逆积分因子和初等首次积分.     

连通交换环上的上三角矩阵代数保持矩阵逆的模自同构

设R是有单位元1的连通交换环(R中除0和1外无其它幂等元),f是R上n阶上三角矩阵模Tn(R)到Tn(R)上的模自同构,如果对于任意的可逆矩阵A∈Tn(R),都有f(A)可逆,且满足(f(A))-1=f(A-1),则称f是保矩阵逆的模自同构.本文刻画了Tn(R)上保持矩阵逆的模同构.     

弦方程密度函数的确定性

利用Liouville变换,得到弦方程密度函数的1/4次幂的朗斯基行列式与弦方程特征函数之间的关系,从而确定了弦方程的密度函数.     

星载SAR地面目标回波模拟的RTPC与2DFFT算法对比

对经典的RTPC算法进行了仿真实验。分别对静态点、点阵和面目标进行回波模拟,用多普带力法成像算法验证了回波的正确性和有效性。对2DFFT算法进行了仿真实验,模拟了静态点、点阵、面和分布目标的回波数据,并通过成像验证了算法的正确性和有效性。对比上述两种算法的原理、误差、计算量、数据所需存储空间和仿真运行时间,结果表明:距离时域脉冲相干法(RTPC)算法从SAR原理出发,简单易懂,但运算速度较慢,适用于目标较简单的情况。二维频域快速傅氏变换法(2DFFT)算法从系统角度出发,应用二维FFT计算回波,速度较快,适用于模拟较大、较复杂的目标场景。     

定数截尾样本场合三重威布尔分段模型的统计分析

考虑定数截尾样本场合下三重威布尔分段模型,提出了一个优选准则,从而得到参数的逆矩估计和区间估计,并通过实例说明本文方法的简便易行。     

广义逆下线性方程组的解结构及其推广

当rank(A)=rank(A,b)时,线性方程组Ax=b有解。利用广义逆矩阵表述了线性方程组的解并推广到矩阵方程的情形。     

分块矩阵的Drazin逆和平方幂零矩阵

Campbell提出的寻找形如(ABC0)分块矩阵的广义逆的表达式的问题至今没有完全得到解决.本文对如下特殊情形的2×2分块矩阵(AA* A A 0),(AA* AA* A 0),(AA* A*A A 0),其中A为平方幂零矩阵,A*为A的共轭转置矩阵,利用Drazin逆和Moore-Penrose逆的关系及平方幂零矩阵性质,给出了这些分块矩阵的Dra-zin逆的表达式.     

Pre-processing for time domain image formation in SS-BSAR system

A pre-processing procedure is designed for a space-surface bistatic synthetic aperture radar (SS-BSAR) system when a time domain image formation algorithm is employed. Three crucial technical issues relating to the procedure are fully discussed. Firstly, unlike image formation algorithms operating in the frequency domain, a time domain algorithm requires the accurate global navigation satellite system (GNSS) time and position. This paper proposes acquisition of this information using a time-and-spatial transfer with precise ephemeris and interpolation. Secondly, synchronization errors and compensation methods in SS-BSAR are analyzed. Finally, taking the non-ideal factors in the echo and the compatibility of image formation algorithms into account, a matched filter based on the minimum delay is constructed. Experimental result using real data suggest the pre-processing is functioning properly.     

再分配伪逆算法分配效率研究

多操纵面先进战斗机在进行舵面分配设计时,分配效率是衡量分配算法优劣的一个重要指标.再分配伪逆算法(RPI)的分配效率取决于伪逆阵的选择,其可达转矩集是一个复杂的非凸多面体.本文利用"微元"的求解思路,对二维及三维RPI算法的分配效率进行了研究,给出一种近似求解RPI可达转矩集的方法.将RPI分配效率作为适应度函数,通过遗传算法来选择具有最优分配效率的广义逆阵,从而提高RPI算法的分配效率.以某飞机的数据进行基于RPI的分配器设计,结果显示此方法显著提高了算法的分配效率.     

基于路面垂直轮廓建模的一般路面逆透视变换

摘要：
提出了一种由单帧立体图像实现一般路面图像逆透视变换的方法.针对双目视觉得到的路面垂直轮廓进行B样条建模，利用建模得到的路面高度代入路面图像成像过程中，从而实现一般路面的逆透视变换.实验表明，通过该方法能有效地实现上下坡等一般路面图像的逆透视变换. 关键词：
逆透视变换; 鸟瞰图; 道路建模; 双目视觉 中图分类号： TP 391.4; TB 133
文献标志码： A