关于集合运算的应用

通过多年的教学工作实践，发现集合的运算在多个领域中得到应用，为了方便学习，缩短学习时间，从多个角度来阐述集合运算的应用，旨在提醒学生对简单知识点的学习必须得到重视。     

立方体表示方法及其在多状态系统可靠性分析中的应用

本文介绍一种多状态系统集合的立方体表示方法和运算规则，并结合多状态系统顶事件概率计算，介绍其在多状态系统可靠性分析中的应用。     

无限集合上二元关系的矩阵证明

本文首先定义了无限布尔矩阵的运算,并给出了基本的运算律,利用关系图及关系矩阵与二元关系的一一对应关系,用无限布尔矩阵理论对无限集合上的二元关系进行了研究。     

知识系统决策规则的动态更新策略及等价矩阵计算

专家系统是航天领域中人工智能技术应用的重要形式。学习能力是人工智能、机器学习的本质特征之一。用属性及其取值表述对象的知识系统通常需要从大量样本中获取知识并以决策规则的形式加以表达。当样本集合发生变化时,则需对决策规则集进行动态更新。本文分析了增加和移除学习样本两种情况下调整决策规则的方法,提出了知识系统决策规则动态更新的策略和等价矩阵计算方法,通过算例进行了仿真和验证。结果表明:决策规则的动态更新方法和等价矩阵计算可以解决知识系统的动态学习问题,相较决策规则的全局获取运算,减少了计算量。     

区间卡尔曼滤波算法在高动态导航的研究

针对卡尔曼滤波算法中动力学系统模型以及噪声模型不能精确已知,导致卡尔曼滤波算法在实际中不能实现最优估计。首先分析了传统卡尔曼滤波算法中各种误差源的影响,以及区间矩阵运算的影响,经分析得到,区间运算可以保证集合映射的完全性,但不能体现最优化。通过分析,本文提出了一种新型的区间卡尔曼滤波,将各种误差源归约到先验估计值区间和后验估计值区间中,然后将区间交集运算应用于卡尔曼滤波算法。这种新算法运算量与传统卡尔曼滤波算法相当。通过仿真实验证实,该算法在含时变噪声的高动态导航定位中比传统卡尔曼滤波效果提高2dB。     

非零初末角速度约束下的卫星实时姿态机动规划

针对存在初末角速度非零约束的卫星姿态机动任务,提出了一种基于旋转分解的实时解析规划算法。该方法通过将卫星三维旋转分解为多个绕固定轴的一维欧拉旋转,使非线性规划问题转换为多个一维空间上的线性规划问题,再将各个线性规划的结果通过四元数运算融合为最终的姿态机动规划结果。与过去针对此类问题经常采用的非线性规划方法相比,该规划算法可以通过解析的形式给出,因此不需要通过多次数值迭代得到可行解,运算量少,可以实时进行计算,适合实际在轨应用。     

一种RS码变换域译码算法及关键方程的讨论

提出了RS系统码的一种变换域译码的算法,该算法不用求错误位置多项式的根和错误值,运算结构规则:用Grbner基理论分析证明了关键方程的解是在相似文献   

基于图论Gomory-Hu算法的SAR图像多尺度分割

由于SAR图像含有斑点噪声,很难有效的分割出精确的结果,为此提出一种新的基于图论的SAR图像分割方法,证明了算法具有最优解,分析了算法的复杂度,验证了算法具有实时性。该算法通过构造多尺度结构快速找到收缩图以及初始图的子图集合,然后对其分别应用Gomory-Hu算法得到对应的等价树,最后根据规则得到初始图的等价树,按照割值由小到大依次去边后,可得到对原图的最优划分,映射回图像则可得分割结果。实验结果说明了算法的有效性和实时性。     

基于FPGA的SAR图像Lee滤波器算法实现

在以SAR图像为基础的导弹末制导系统中,对图像匹配的速度要求很高,如果用软件实现去除图像相干斑的Lee滤波算法,处理时间相对较长,失去了其实际应用的价值.为解决这一问题,可以利用FPGA来实现Lee滤波算法,针对算法中运算消耗时间较多的开方运算、指数运算,建立高效的算法模型,本文实现了开方运算仅需要2个迭代周期、指数运...     

运用拓扑方法求取网络传递函数

运用拓扑方法求解校正网络的传递函数,它可直接到写出传递函数分子和分母各项,而不是像过去常用克希荷夫定律求解行列式各项。后者的缺点是要对0项的运算和对对消项的运算。特别是对于复杂的校正网络,主要的计算工作量是对0项和对消项的计算,不仅浪费机时,也降低了计算精度。应用拓扑方法求解校正网络的传递函数就能避免上述缺点。因而它得到越来越广泛的应用。