Finite and Algorithmic Model Theory 有限和算法模型理论
以上来源于: WordNet
The SP mill dynamics model rigid and flexibility with clearance was built using finite element and impact theory.
利用有限元和冲击理论建立了SP压力调宽机含间隙的刚体和弹性体的动力学模型。
Firstly, we introduce the theory of finite mixture model and EM algorithm for maximum likelihood estimation.
首先,介绍了有限混合模型理论及应用EM算法求解极大似然估计。
The compact theorem is proved, which states that theory T has model if and only if any finite subset of T has model.
利用中介逻辑的完备性,本文证明了紧致性定理,即一理论有模型当且仅当其任一有穷子集有模型。
应用推荐