Computable logic function (LCF), ML and the parallel theory (CCS) which highlighted three areas and perfect.
由于在可计算函数逻辑(LCF)、ML和并行理论(CCS)这三个方面突出和完美的贡献。
In this paper, the computable model and function of pounding between the suspended part and the core-wall of the suspension structure was brought forward.
针对核筒悬挂结构悬吊楼层与芯筒之间的碰撞问题，提出了计算模型并推导了相应的计算公式。
In this paper, the computable model and function of pounding between the suspended part and the core-wall of the suspension structure was brought forward.
针对核筒悬挂结构悬吊楼层与芯筒之间的碰撞问题，提出了计算模型并推导了相应的计算公式。
应用推荐