基于极大代数的航空器无冲突放行时间推测

针对同一终端区不同机场航空器离场汇聚,给出了问题的具体描述,建立了相应的单航路极大代数模型,并在此基础上设计了航路汇聚交叉模型,解决了同高度航空器离场的冲突问题,最后对模型进行了算例验证。结果表明,极大代数能够较好地解决航空器航迹冲突问题,实现航空器到关键点的无冲突放行。     

决策表的逻辑表达式分析

用泛布尔代数系统作为逻辑工具,证明了条件属性完全决策表的两种逻辑表达式(蕴涵式和析取范式)是逻辑等价的,但是决策属性相容和不相容决策表的蕴涵式表达式有所不同。继而证明了不完全决策表在1型解释下,其析取范式表达式仍与完全决策表的析取范式表达式形式相同,但与其等价的蕴涵式表达式却比完全决策表的蕴涵式表达式多了一串乘积;而不完全决策表在2型解释下,其蕴涵式表达式仍与完全决策表的蕴涵式表达式形式相同,但与其等价的析取范式表达式却比完全决策表的析取范式表达式多了一串和式。     

广义热传导方程族及其Hamilton结构

寻求新的可积系统一直是可积系理论中的一个重要课题 ,生成可积系统的关键是由 Lie代数确定一个适当的 loop代数 (即不带中心元的仿射 Lie代数 )。现在通行的构造模式是屠规彰格式。人们通过构造 loop代数 A1的不同形式的基已求得了许多著名的方程族 ,如 AKNS族、KN族、TC族等。可是 ,为了使辅助方程 Vx=[U,V]的解可用循环算子表出 ,要求 U中 λ的次数不能过高与过低 ,这就限制了等谱问题的建立。一个解决途径是 :寻求 A1 的子代数 ,使其相邻基元中λ的次数差大于 1。为此 ,本文选用 loop代数 A1 的一个子代数 ,使其基元中λ的次数差大于 1 ,由此建立了一个新的线性等谱问题 ,利用屠规彰格式导出了一类广义热传导方程族及其Hamilton结构 ,并证明了该方程族是 Liouville可积的。最后求出了此方程族的公共守恒密度。     

矩阵特征值反问题的若干进展

给出矩阵特征值反问题若干进展的一个概述。涉及的专题包括含参数的特征值反问题．Ｊａｃｏｂｉ矩阵和实对称带状矩阵特征值反问题和线性（谱）约束下矩阵（束）逼近问题。这些问题出现在各种应用领域，如粒子物理的核光谱光、结构设计、振动反问题、Ｓｔｕｒｍ－Ｌｉｏｕｖｉｌｌｅ反问题和 数学物理反问题的离菜化以及结构动力模型的校正。最近２０年，对这些问题的提法逐渐完善，解的慧生和数值方面已取得了许多重要进展。本文评     

基于全张量磁场梯度的磁偶极子定位及误差分析

为了对磁偶极子进行高精度的磁性定位,文章从磁偶极子模型出发,推导出磁偶极子的空间坐标与其产生的磁场及磁场梯度之间的关系式;针对模型及关系式,设计了一种全张量磁场梯度传感器,能够一次测量出精确定位所需的9个磁场梯度值和3个磁场强度值;对比仿真结果和实验结果,发现二者具有较好的一致性,证明了该理论模型的有效性。对于磁偶极子,用半径为0.05 m的梯度传感器对磁矩为2 A·m~2的磁偶极子进行定位测量,在0.5~1 m距离内定位误差不大于10%。文章还对定位测量误差的原因进行了分析,包括梯度测量基线距离及传感器半径对定位误差的影响。     

基于磁场梯度张量的航天器内部多磁场源探测技术

基于磁场梯度张量的探测技术具有高分辨率、高精度等优点,是航天器多磁源分辨的有效方法。文章建立了航天器磁场源模型,提出了航天器多磁场源模型拟合方法,利用磁场梯度张量的主不变量的极值确定磁场源个数和水平位置,然后联合欧拉方程计算磁场源深度,完成航天器内部多磁场源仿真与计算,分辨率最高可达0.012 m,满足工程需求。该研究开辟了航天器内部多磁场源目标探测的新途径。     

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

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

A new grid deformation technology with high quality and robustness based on quaternion

Quality and robustness of grid deformation is of the most importance in the field of aircraft design, and grid in high quality is essential for improving the precision of numerical simulation. In order to maintain the orthogonality of deformed grid, the displacement of grid points is divided into rotational and translational parts in this paper, and inverse distance weighted interpolation is used to transfer the changing location from boundary grid to the spatial grid. Moreover, the deformation of rotational part is implemented in combination with the exponential space mapping that improves the certainty and stability of quaternion interpolation. Furthermore, the new grid deformation technique named ‘‘layering blend deformation' is built based on the basic quaternion technique, which combines the layering arithmetic with transfinite interpolation(TFI) technique. Then the proposed technique is applied in the movement of airfoil, parametric modeling, and the deformation of complex configuration, in which the robustness of grid quality is tested. The results show that the new method has the capacity to deal with the problems with large deformation, and the ‘‘layering blend deformation' improves the efficiency and quality of the basic quaternion deformation method significantly.     

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

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