Fault detection method based on principle component analysis ( PCA ) which uses linear arithmetic is not appropriate for nonlinear systems because of inaccuracies in the fault mismatch detection and data rebuilding. 由于主成分分析(PCA)方法是一种线性算法,基于PCA的故障检测方法若直接运用于非线性系统的传感器故障检测和重构,会导致明显的故障误报和数据重构错误。
A Linear Arithmetic(LA) for Robust Fundamental Matrix Estimation 一种基础矩阵线性估计的鲁棒方法
This approach uses linear arithmetic constraints to model possibly infinite sets of global states. Using symbolic model checker DMC [ DP99 ], it automatically verifies safety properties for parameterized Leader Election protocols. 并提出了一种自动验证参数化LE协议的方法,用线性算数约束来模拟可能无限的全局状态集合,利用符号模型检测工具DMC[DP99],文章实现了对参数化LE协议safety性质的自动验证。
The linear predicate function on a given path is directly used as linear arithmetic representation to construct linear constrains of predicate functions for input variables. Only if the predicate function is nonlinear, the linear arithmetic representation needs to be computed. 该算法将路径中的线性谓词函数直接作为线性算术(LA)表示来构造谓词函数关于输入变量的线性约束,仅当谓词函数是输入变量的非线性函数时,才计算其线性算术(LA)表示。
Study on 6-DOF robot linear interpolation arithmetic with trapezoidal velocity 6自由度机器人梯形速度控制直线插补算法研究