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

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

基于三焦距张量及BMA的运动估计和补偿

为克服块匹配位移估计方法 (BMA)不能准确描述物体的旋转、相机镜头的推移 (pan)及缩放的缺点 ,引入计算机视觉中的三线性关系及基于三焦距张量的像素转移进行运动估计和补偿。将像素转移与块匹配运动估计和补偿方法相结合 ,通过实际的图像序列比较了这种方法与单纯 BMA方法的运动补偿效果 ,结果表明 ,在有相机平移及景物有深度变化时 ,本文方法的效果明显优于单纯 BMA方法。     

计算机简化逻辑代数式

本文的目的是用计算机对数字电路、模糊数学领域及其他技术领域中广泛使用的逻辑代数式进行简化,以前简化逻辑代数式的方法一般采用公式法、真值图法、观察法及其他方法处理,但是随着科学技术的飞跃发展,逻辑中所含的变量数目越来越多,给人们的简化工作带来了困难。本文为此对逻辑代数式的规律进行分析,提出用计算机计算的公式,并提出减小计算工作量的方法。     

弹道跟踪数据融合处理的快速算法

针对弹道跟踪数据融合处理中的大计算量环节研究了快速算法。用样条函数表示弹道参数,建立了多测元的联合观测模型和弹道参数的非线性融合计算模型,给出了弹道参数的求解算法,分析了弹道参数融合计算中的大型矩阵运算问题,利用基础线性代数函数库提高了大型矩阵的运算速度。建立了样条模型计算的非线性约束优化模型,给出了确定样条节点位置的优化算法,通过分析样条模型的计算原理设计了并行算法,实现了样条模型的并行化计算。仿真结果表明,弹道参数融合计算和样条模型计算的效率都得到了显著提高,计算时间减少了65.47%,对缩短数据处理周期有重要意义。     

对偶网络拓扑法在场问题计算中的应用

网络拓扑法已被实践证明为一种有效实用的数值计算方法。它以数学分析简单、物理概念明确、单元剖分灵活、适用性强等优点,已被越来越多的场计算专家所采用,成为一种较优秀的数值分析方法。本文在普通网络拓扑法的基础上,以温度场计算为例,通过建立其能量泛函并求其极值,导出一种高精度的网络拓扑法——对偶网络拓扑法。在给定的求解精度条件下,由于两组网络计算时产生误差之间的补偿作用,使用该方法能有效地减少计算存贮空间、缩短计算用时。这对用微机求解复杂场问题是很有意义的。本文最后的实例虽然是针对温度场分析的,但对其他场问题完全适用,故具有普遍性。     

Relation algebras over containers and surfaces: An ontological study of a room space

Recent research in geographic information systems hasbeen concerned with the construction of algebras tomake inferences about spatial relations by embeddingspatial relations within a space in which decisionsabout compositions are derived geometrically. Wepursue an alternative approach by studying spatialrelations and their inferences in a concrete spatialscenario, a room space that contains such manipulableobjects as a box, a ball, a table, a sheet of paper,and a pen. We derive from the observed spatialproperties an algebra related to the fundamentalspatial concepts of containers and surfaces and showthat this container-surface algebra holds allproperties of Tarski's relation algebra, except forthe associativity. The crispness of the compositionscan be refined by considering the relative size of theobjects) and their roles (i.e., whether it isexplicitly known that the objects are containers orsurfaces).     

变拓扑多臂航天器高效统一动力学建模

针对多臂航天器在轨操控过程中可能存在的多链、闭环、环链混合等多种拓扑构型及相应的动力学模型变化,提出基于空间算子代数理论(SOA)的高效统一动力学建模方法。首先,提出了描述多臂航天器部件连接关系的构型参数,并基于构型参数提出了多臂航天器拓扑构型描述矩阵的自主生成方法。其次,基于空间算子代数理论,将通路矩阵与空间转移算子相结合,提出了变拓扑多臂航天器统一动力学建模方法。最后,将数值仿真结果与多体动力学仿真软件的仿真结果进行比对,验证所提方法的有效性。仿真结果表明,对于不同的拓扑结构,所提出的O(n)阶统一动力学建模方法能准确描述变拓扑情况下的多臂航天器动力学响应。     

航天器轨迹偏差的非线性非高斯预报方法

针对航天器轨道偏差传播问题,提出一种高斯和模型与状态转移张量结合的预报方法。该方法使用多个子高斯分布加权拟合状态偏差分布,再以高阶状态转移张量分别预报每个子高斯分布,以捕获偏差分布的非高斯性,减小预报误差。将其应用到航天器二体轨道问题中,对比分析不同方法的预报结果。仿真结果表明,该方法可以逼近Monte Carlo仿真的预报精度,并显著提高计算效率,对长时间预报问题,效率提高可达数十倍。该方法面向一般的非线性系统状态偏差预报问题,尤其在长时间仿真预报时兼具很好的精度和计算效率。     

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.     

GO-FLOW法在飞机EHA可靠性分析中的应用

应用GO-FLOW法分析了飞机电静液作动器(EHA)的可靠性。首先在EHA单元功能合理划分的基础上,建立了EHA的GO-FLOW可靠性分析模型,采用布尔代数求解描述反馈环的布尔方程,解决了GO-FLOW图不允许存在循环的难题;其次进行了GO-FLOW运算,得到EHA系统在各时间点的可靠度;再次与GO法的结果比较,验证了GO-FLOW法的可行性和准确性;最后通过MATLAB曲线拟合,得到系统可靠度随时间的变化规律,以便及时对系统进行检修和维护。结果表明GO-FLOW法只需一次运算,就可得到系统在各时间点的可靠度,在减小计算复杂度方面较GO法有优势。