无反变量输入的逻辑函数的化简

无反变量输入的逻辑函数的化简中,若用非门将输入变量取反来提供反变量往往不能使逻辑函数成为最简形式.可用代数法、并项法和卡诺图法对其进行化简.     

简化电路的一种新方法——独立路径法

介绍一种简化电路的新方法———独立路径法。方法简单，易于掌握     

论复杂性科学的简单性原则

复杂性科学强调世界的复杂性,反对经典科学以简单代替复杂,将复杂约化为简单的简化原则。复杂性科学在抛弃经典科学简单性原则的同时,发现了统一简单与复杂的新途径,给出了简单性原则的新内涵。     

简化剩余系隐性性质探究及应用

定义简化剩余系的隐性性质,提出简化剩余系隐性性质命题并给予证明,在此基础上,探究其应用.     

构造几何图形求最值解问题

本文首先说明构造法所体现的数学思想方法,然后从构造几何图形,利用图形特征的角度谈谈构造法在求解最值问题中的应用。     

基于散乱点云边界提取及简化的单坐标搜索法之改进

针对单坐标搜索法在处理大量点云数据时会出现收敛速率降低、边界提取模糊等缺点,采用一种改进的方法能快速确定点云的紧邻信息。并且在保留所有边界点的基础上,结合测点的曲率特征以及邻域内保留点的情况提取点云的边界特征并进行非均匀化。结果表明,该方法能够在快速、有效地简化点云数据的同时保持原始特征信息。     

编队卫星自主相对导航简化强跟踪UKF滤波算法

针对编队卫星自主相对导航过程中存在模型不确定性及噪声统计特性时变导致EKF滤波算法估计精度降低、鲁棒性较差的问题,以STF为理论框架,设计了简化强跟踪UKF(SSTUKF,simplified strong tracking unscented kalman filter)滤波算法。该算法基于STF的等价表示来计算次优渐消因子,避免了计算Jacobi矩阵,通过在线实时调整滤波增益矩阵,确保系统理论模型偏离实际模型时输出残差序列相互正交,增强算法的鲁棒性,并且对时变的噪声统计特性不敏感。结合CW系统模型线性特点,用标准卡尔曼滤波中的时间更新代替相应的UT变换过程,在提高估计精度的同时有效地降低了运算量,增强算法的实时性。仿真结果验证了该算法的有效性。     

逻辑函数的系统简化法

提出了逻辑函数“系统简化法”的计算机辅助设计方法，从而实现了对多变量逻辑函数的自动简化。