完全样本时,(对数)正态分布未来样本顺序统计量的Bayesian与Fiducial预测下限

在过去样本为完全样本时,本文给出了共轭型先验与群不变先验下,（对数）正态分布的双样Bayes预测下限与Fiducial预测下限,并指出可信水平为γ时,群不变先验下的Bayes预测下限与Fiducial水平为γ时的Fiducial预测下限,与Fertig＆Mann（1977）给出的置信水平为γ时的Frequentist预测下限在数值上相等。     

爱因斯坦光速不变假设的判决性实验检验

爱因斯坦光速不变假设的判决性实验检验是在中国科学院国家授时中心的高精度TWSTT（双向卫星时间传递）设施上完成的。实验检验的原理是基于狭义相对性原理和单程光（电磁）信号同时性定义。检验原理通过对比单程光信号同时性定义和双程光信号同时性定义的测量机制证明：在有相对运动的情况下双程光信号中的“往”和“返”两个单程信号通过的时间是必然不相等的。在本文报告的检验实验中西安临潼观测站和乌鲁木齐观测站的铯原子钟分别通过鑫诺卫星和中卫一号卫星进行双向时间传递。观测数据证明卫星和地面站之间存在1m／s量级的相对速度会造成西安临潼站和乌鲁木齐站之间“往”和“返”两个单程信号通过的时间差在1.5ns量级。观测结果的不确定度在±0.01ns量级。爱因斯坦1905年以定义方式引进的等式,tB-tA=t′A-tB,在有相对运动情况下不成立。     

基于ASIFT的离线签名认证方法

通过分析现有局部不变特征方法及含伪装签名数据集的特点,提出了一种基于具有仿射不变性的尺度不变特征变换(ASIFT)的离线签名认证方法.该方法对签名图像进行预处理(包括灰度化和放缩),对处理后的图像进行ASIFT关键点检测和特征描述符提取,对从查询签名图像和参考签名图像中提取到的描述符进行匹配,对匹配的结果采用随机采样一致性(RANSAC)方法去掉错误匹配,并计算正确匹配点的描述符之间的平均距离;通过比较平均距离及正确匹配点的个数与给定阈值的大小来判断认证是否成功.使用了含伪装签名的数据库对提出的方法进行测试,实验结果表明该方法与现有方法相比等误率降低了5%.      

基于非参数边缘积分估计的局部特征描述子

为提高图像匹配性能提出了关于局部区域特征描述子的统计模型。该模型是一种基于梯度模值及方向分布的边缘积分函数模型。在离散梯度方向的边缘积分函数与梯度矢量场的模值累积方向直方图相同。采用基于核函数的非参数估计,估计了该函数,应用于尺度不变特征变换(SIFT)描述子。为了提高描述子的旋转不变性、独特性,降低运算复杂度,将特征点周围的局部区域作为圆形,由径向采样网格划分为8个子区域。在每个子区域估计边缘积分函数,特征向量由每个小块8个方向的函数值组成。实验表明,该描述子能够提高旋转变换的检测率(查全率),降低运算复杂度。      

椭圆三体问题中的时间周期不变流形

借助有限时间Lyapunov指数（FTLE）定义拉格朗日拟序结构（LCS）,并以单摆系统为例阐述LCS与动力系统中不变流形之间的联系.利用LCS研究椭圆限制性三体问题（ER3BP）中的时间周期不变流形的性质.采用数值方法验证得到了两点结论：时间周期不变流形的内部是穿越轨道集,外部是非穿越轨道集;时间周期不变流形是轨道的不变集.     

Gaussian-Hermite矩旋转不变矩的构建

矩及矩的方程因其较强的表述图像特征的能力在图像处理与模式识别中有着广泛的应用,但目前基于具有正交性质的Gaussian-Hermite矩的研究还比较有限.针对Gaussian-Hermite矩进行深入的研究,将其推广到极坐标下复数空间中,提出Polar-Gaussian-Hermite矩;给出利用升降算符计算矩的方程的方法;并利用极坐标下复数空间中的优势,以及它们之间的一一对应关系,推导Gaussian-Hermite矩的旋转不变矩,并给出其旋转不变矩的独立与完备集.实验结果验证所提出的旋转不变矩的正确性,以及良好的数字稳健性.     

一类混合动态系统的稳定性

混合动态系统是一类同时含有连续时间变量和离散事件变量的系统，在这类系统中，两类变量耦合在一起，具有复杂的动力学特性和时钟关系。本文在一般度量空间上刻画了混合动态系统，并给出了混合动态系统在Ｌｙａｐｕｎｏｖ意义下稳定和渐近稳定的定义及其充分必要条件，同时研究了一类混合动态系统稳定与其连续和离散事件子系统的稳定性之间的关系。     

无人机栖落机动的一种离线鲁棒预测控制算法

针对固定翼无人机栖落机动过程的纵向运动,研究了一种在线计算量小的栖落机动鲁棒预测控制方法。首先将飞行器栖落机动动力学模型沿参考轨迹建立分段线性切换系统模型。考虑外部风扰动,进一步建立张量积模型。然后,利用渐近稳定的椭圆不变集的概念,采用"离线设计、在线综合"的方法设计了在线计算量较小的栖落轨迹跟踪控制律;结合鲁棒预测控制和切换系统全局稳定分析方法分析了系统稳定性。最后,对外部风扰动下的固定翼无人机栖落机动过程进行了仿真。仿真结果表明所设计的跟踪控制器在线计算量小并具有良好的控制效果。     

SE(3)上一般力学控制系统的运动描述与飞行器建模

与Lie群上的简单力学控制系统不同,Lie群上的一般力学控制系统需要考虑势能在位形空间中的变化,故其Lagrange算子不再是左不变的,这意味着根据定义Euler-Poincaré方程不能直接应用于此类系统。为此,本文首先建立矩阵Lie群SE(3)上的一般力学控制系统的数学描述,重新定义Lagrange算子为左不变动能减势能;然后基于连续Lagrange-d’Alembert法则推导得到了含有势能函数的Euler-Poincaré方程,用来刻画SE(3)上一般力学控制系统的动态;最后给出了四旋翼无人直升机和无人飞艇建模的应用实例。     

基于仿射变换的飞机图像的识别

 先基于细胞神经网络提取飞机图像轮廓,再用基于仿射变换方法对多种飞机的轮廓图像做不变特征的提取,把多种飞机的不变特征放在数据库中。进行飞机类型识别时先计算实时图像中飞机(目标) 的不变特征,然后与数据库中的每个不变特征做相关运算,即可识别飞机的型号。