通过形式化描述和分析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.
应用推荐