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

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

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

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

约化代数自伴的充要条件

约化代数是自伴的吗?这是一个知名的问题,至今没有解决。它的肯定的回答将蕴含可传代数问题及约化算子问题的肯定回答。在这篇文章中,我们找到了约化代数是自伴的几个充要条件。例如,我们得到:约化代数u是自伴的充要条件是对于每个n≥2,u~(n)的每个稠定义的不变图形子空间是约化子空间。     

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

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

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

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

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）（＋））的生成元及生成关系问题。     

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

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

极小代数与最短路问题

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

逻辑代数分析多电源切换的控制模式

逻辑代数亦称布尔代数，由英国数学家乔治·布尔（George Boole）于1849年创立。逻辑代数有一系列的定律和规则，在实际应用中，主要用于对数字电路的简化、变换、分析和设计。笔者认为，逻辑代数同样可以应用于多电源切换的控制逻辑。而且，逻辑代数可以覆盖配电系统的所有状态，即能实现状态控制，又能进行过程控制，对保证配电系统运行的可靠性和安全性有极大的促进作用。     

反映流动曲率影响的非线性湍流模式

本文从一般曲线坐标系下的雷诺应力模式出发，在雷诺应力模式向代数应力模式简化过程中，保留工率项对雷诺应力输运的影响，得到了曲率修正的代数应力模式和非线性κ-ε模式。并且该模式对一典型曲率流动－－U型管道内的湍流流动进行了数值模拟与分析。计算结果显示,率修正的代数应力模式较好地模拟出了凸曲率地雷诺剪切应力的阻滞作用和凹曲率对剪切应力的增强作用，捕捉到了曲率流动的主要特征，是对雷诺应力模式的一个合理而有效的简化。     

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

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

运用关系代数理论解析接口底层实现机制

接口是面向对象范式和工程领域中的重要概念,认识其实现原理和内部机制有利于提高软件实践过程中的设计开发能力。首先,从普通的接口调用语句的汇编命令入手,描述了接口的使用方法和外在特征;其次,运用数据模型和关系代数等关系理论技术,分析探讨了接口底层机制的实现原理;再次,给出了2种可能的接口实现机制,通过对比分析确立了比较接近真实的底层实现机制,并分析了其静态结构、执行过程及其他特点;最后,相关试验结果表明该模型机制能够满足软件底层体系结构要求并解释了软件的相关呈现现象,从而证明了推断过程和结果的正确性。     

基于极大代数的离港航班优化调度

改变以往采用的排队论和线性规划等方法，用极大代数理论研究了航班调度优化问题，将进离港系统的非线性转化为极大代数意义下的线性，结合离散事件动态系统理论(DES)的摄动分析法、鲁棒分析法，论证了不同机型排列对系统性能的影响?运用这一方法，实现了对机型排列的寻优，为科学的航班调度提供了定量的参考：     

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.     

三阶幻方问题的代数解法

介绍了中国古代数学家甄鸾和杨辉关于三阶幻方的一个构造方法。用线性代数的方法构造三阶幻方约束方程组时,当自由未知量分别取1,2,3,…,9时,对应的方程组共有56组整数解,为了找出幻方的全部解,需要确定自由未知量取值的限制条件,由此对方程组中的自由未知量的取值进行了分类探讨,进而求出三阶幻方的全部解。利用线性代数的方法去探求三阶幻方的解法种数显然不是最简捷的,但却有完备的理论做保证。此外,提供了一个如何利用线性代数知识来解决实际问题的实例,并简介了三阶幻方所具有的奇妙的特性。