通过形式化描述和分析CSCM机制的系统模型和运行模型，证明了CSCM具有一阶线性的消息复杂度和收敛时间。
By formalizing description of system model and running model of CSCM mechanism, the usability and extensibility of the system is given, and the message complexity and convergence time is proved.
研究结果表明，原始光谱经均值中心化、一阶微分和正交信号校正预处理后，运用多元线性回归法所建葡萄糖和果糖定量分析模型最优。
The MLR mathematical model that established with orthogonal signal correction plus first derivative and mean centre preprocessed spectra shows the best result for glucose and fructose.
文章用一阶谓词对该模型的访问控制约束规则进行了形式化描述，并讨论了该模型在业务流程管理系统中的实现方法。
The access control rule of the ACBAC model is formalized by the first order predicate logic. The realization method of the model in business process management systems is also discussed.
在实际情况中电机是一个非线性的系统，但是在某一工作区间内完全可以进行线性化，本文采用一阶和二阶电机模型进行讨论。
Motor system is non linear, however it can be linear approximated in an operating point. First order and second order motor model is used in the discussion.
在实际情况中电机是一个非线性的系统，但是在某一工作区间内完全可以进行线性化，本文采用一阶和二阶电机模型进行讨论。
Motor system is non linear, however it can be linear approximated in an operating point. First order and second order motor model is used in the discussion.
应用推荐