他首先介绍了模块化管道在最大和基本的制造模块化模型。
He first introduces the modular pipeline in Max and the basics of making modular models.
研究了钠冷快堆电厂直管式直流蒸汽发生器可移动边界的模块化模型。
This paper presents the modular modeling of movable boundary in straight tube Once-Though steam generator (OTSG) for sodium cooled fast reactor power plants.
该文针对模型检测过程中所存在的状态爆炸问题，提出了一种基于模型检测工具SPIN的模块化模型检测方法。
To address the state explosion problem in the procedure of model checking, this paper proposes a SPIN - based modularized model checking method.
应用推荐