U(sl(■)_((+)))的生成元及生成关系

设sl(2,F)是三维单代数,sl(■)是相应于sl(2,F)的无扭仿型Kac-Moody代数的导代数。讨论了sl(■)的子代数sl(■)(+)的普遍包络代数U(sl(■)_((+)))的生成元及生成关系问题。     

U（sl（2,F）（＋））的生成元及生成关系

设sl（2，F）是三维单代数，sl（2,F）是相应于sl（2，F）的无扭仿型Kac-Moody代数的导代数。讨论了sl（2,F）的子代数sl（2,F）（＋）的普遍包络代数U（sl（2,F）（＋））的生成元及生成关系问题。     

基于空间算子代数的航天器多体动力学递推实时仿真算法

进一步发展了空间算子代数符号体系,给出了一组坐标系无关空间矢量,张量和矢阵符号表示和相应的坐标投影规则.基于空间算子代数符号体系,推导了适用于航天器实时仿真的无根、树状拓扑、开环多体动力学递推算法,并根据投影规则给出了递推算法在惯性坐标系的投影方程.新的空间算子代数符号体系有符号定义严格,推导过程力学概念清晰,推导结果易于实时仿真程序实现的优点.推导的递推算法非常适合于正逆混合问题和变拓扑问题的求解,可以满足多体航天器动力学实时仿真的要求.     

几何代数及其在飞行力学中的应用

介绍了几何代数的基本知识,比较了几何代数与矢量代数、四元数的区别和联系,并推导了它们在表示旋转时的互相转换关系,展示了几何代数在描述空间旋转变换时的便利.最后通过相对姿态运动的分析,展示了几何代数在飞行力学中应用的可行性.     

不完整投影数据情况下的图像重建

给出了代数重建收敛准则和图像重建算法,重构出7幅图像,并对代数重建算法存在的问题进行了讨论和改进.     

关于一般q-李代数的普遍包络代数 的研究

利用张量代数与一般q-李代数思想,研究了一般q-李代数的普遍包络代数U(Lq),以及它的泛性质,并且通过有序齐次基的引入,最终找到了U(Lq)的一组基。     

跑道侵入与冲突检测的共形几何代数描述

提出一种基于共形几何代数(CGA)的跑道侵入与跑道冲突检测描述方法，以弥补欧氏空间中跑道侵入与冲突检测算法的计算结构复杂、语义不清晰及动态计算效率低等不足。首先，建立跑道保护区的共形几何代数描述，基于共形几何代数的外积运算，通过判断飞行器与跑道保护区(RPZ)各边界所在面的位置关系检测跑道侵入。然后，对飞行器保护区进行共形几何代数描述，基于共形几何代数的内积运算，通过判断飞行器保护区是否相交检测跑道冲突。最后，基于ADS-B数据，构造跑道侵入与冲突场景，利用卡尔曼滤波算法预测航迹，通过实验验证了所提方法的有效性：本文跑道侵入与冲突检测算法的运算速度比欧氏空间方法分别快1.5倍和2.2倍以上，可以更快速地准确检测跑道侵入与跑道冲突。     

相应于一类幂零李代数的顶点代数结构

顶点代数和顶点算子代数在物理学领域有着广泛的应用,因此对其研究也有很大的实际意义。主要从有限维幂零李代数g出发,给出了g带有非退化对称不变双线性函数的条件,并构造了相应于g的一个代数结构,从同构的意义上证明了其满足顶点代数的条件,从而给出了一个新的顶点代数结构。     

极小代数与最短路问题

引入了极小代数的概念,建立了其运算法则。对有向赋权图的最短路问题建立了极小代数下的迭代方法。     

素特征域上的顶点代数结构

根据素特征域P的特点,利用一个有单位元的结合代数A,在限定的条件下给出了一个代数结构,证明了其满足顶点代数的定义,从而构造了一个新的顶点代数。     

A Weighted Inner Product Estimator in the Geometric Algebra of Euclidean 3-Space for Source Localization Using an EM Vector-sensor

In this paper, the source localization by utilizing the measurements of a single electromagnetic (EM) vector-sensor is investigated in the framework of the geometric algebra of Euclidean 3-space. In order to describe the orthogonality among the electric and magnetic measurements, two multivectors of the geometric algebra of Euclidean 3-space (G3) are used to model the outputs of a spatially collocated EM vector-sensor. Two estimators for the wave propagation vector estimation are then formulated by the inner product between a vector and a bivector in the G3. Since the information used by the two estimators is different, a weighted inner product estimator is then proposed to fuse the two estimators together in the sense of the minimum mean square error (MMSE). Analytical results show that the statistical performances of the weighted inner product estimator are always better than its traditional cross product counterpart. The efficacy of the weighted inner product estimator and the correctness of the analytical predictions are demonstrated by simulation results.     

时间的模糊区间段表示及其运算

介绍了Allen的区间代数及其扩展--INDU网络,将Heisenberg不确定性原理应用于INDU网络,将INDU的25种基本关系中两区间有端点相等的或区间段相等的这15种关系删除,这15种关系在现实世界中是不可能出现的,就产生了有10种基本关系的FINDU网络,给出了FINDU网络的复合运算表.FINDU网络在军事多自主体系统中可以得到很好的应用.     

用于微机械捷联式航姿系统的四元素算法卡尔曼滤波器

介绍了一种卡尔曼滤波器 ,它适用于由微机械惯性传感器构成的捷联式航姿系统。文中阐述了系统构成和原理 ,基于四元素算法公式推导了姿态算法和系统误差模型 ,并设计了实时卡尔曼滤波器。仿真结果表明 ,当没有横向加速度干扰时系统精度优于 0 .0 4度 ,当出现 0 .1g/1Hz的横向交变加速度干扰时 ,精度降为 0 .4 4度。初步测试结果表明系统的静态精度为 :俯仰和横滚 /-0 .2度 ,航向 /- 0 .3度。