根据水均衡和盐分运动的基本原理，考虑到在实际情况下不动水体的存在，提出了一种简单的区域水盐动态预测预报模型。
A simple prediction model for regional ground water and soll water concentration, in which the immobile water is taken into account, is proposed based on water movement and solute transport.
传统的抗风柱计算模型为上端不动铰，即认为厂房纵向刚度为无穷大。
For the traditional calculation model of wind column, the top is fixed hinge. It means that the longitudinal stiffness of workshop is infinite.
最后，根据可分层术语集合的特性，证明了循环不动点理论在本体知识库下可用于计算可分层术语集合的语义模型。
Finally, this thesis proves that the recursion fixed point theory can also be used for the semantic model computation of a stratified TBox in ontology knowledge base.
应用推荐