基于旋转四元数的姿态解算算法

为解决传统姿态解算算法无法有效抑制不可交换误差的问题,利用旋转矢量推导出了大运载体小角度运动时的旋转四元数微分方程,并对该算法和加性误差四元数算法的姿态解算效果进行了比较实验。结果证明,在低动态过程中,旋转四元数算法不仅可以有效抑制不可交换误差,而且在大失准角环境下也能够有效工作,更具有算法计算量小、易实现和精度较高等优点。     

边坡滚石水平抛掷距离的多元分析

边坡滚石水平抛掷距离是研究露天边坡组成的重要依据之一，它关系到边坡安全和生产作业安全。本文在多因素多水平试验数据基础上，通过变量的相关性分析，找出影响滚石水平抛掷距离的显著性因素，为垂直下落高度ｘ和边坡坡面角ｙ，并通过多元正交多项式回归，在考虑ｘ与ｙ的交互作用下得出了函数关系式Ｌ（ｘ，ｙ），并对其应用问题进行了讨论。     

油藏脱气流体PVT数据恢复

油藏流体PVT分析中常取得脱气的流体样品。对脱气的流体样品PVT分析数据进行处理, 获得未脱气时的油层流体性质, 使无效样品变为有效, 一个可行的办法就是将脱气样品的PVT分析数据, 依不同的规律, 恢复到原始地层条件下的PVT数据, 这种数据才能应用于油气藏勘探开发中, 实践证明此才法是成功的。     

Z/(m)上线性递归序列的有关问题

本文主要讨论了剩余类环Z/(m)上线性递归序列的周期,计数,分布以及与其相关联的Z/(m)[x]中多项式的有关问题。     

生成符号网络函数的新方法

本文提出一个生成符号网络函数的新方法:广义特征多项式法。该方法具有计算量小和精度高等优点,它优于现有的其它各种解决同类问题的方法。     

一类可控序列的构造和分析

本文通过利用GF(2m)(m2)上L级m序列来控制其上的L级m序列的方法,构造出了一类具有较高线性复杂度的周期序列。这类序列的线性复杂度的下界为L((L+1)mLm)。     

反馈移位寄存器非奇异性判定

本文给出一般有限域GF(q)上次数不超过3的反馈移位寄存器非奇异的充分和必要条件。     

K＿m－非负算子的素性指标

继续文献［５］工作,将非负矩阵的素性指标估计推广到多面体锥上的素性算子。通过对多面体锥上非负算子有向图的引入,讨论了多面体锥上非负算子的有向图Ｇ（Ａ）与Ｋ＿ｍ－不可约算子,Ｋ＿ｍ－素性算子的关系,对非负矩阵素性指标的一些结论进行了推广,主要结果为：若Ａ∈Ⅱ（Ｋ＿ｍ）为素性算子,且Ｇ（Ａ）是强连接的,则对Ａ的素性指标估计有γ（Ａ）≤ｍ＋ｓ（ｍ－２）,其中ｓ是Ｇ（Ａ）中最小简单闭路的长度。这样使得文献［１］中结论成为本文的一个特殊情况。     

有限域上的不可约多项式

通过有限域上的低次本原多项式构造出了同一有限域上的高次不可约多项式。为进而构造有限域上的高阶本原多项式创造了条件。     

线性序约束的规范表达

文中研究了约束数据库中线性序约束关系的规范表达。提出一种线性序约束元组的表结构规约形式,增加了线性冗余和变量可约减两条新的规约原则,并给线性序元组规约算法ＬＣＴＲＡ,探讨了绝对点语义和复杂对象语言下线性序约束关系的规范型。