The idea of using of model programs and state space exploration is a natural extension of finite state machine based techniques that fits well with black-box testing of software.
使用模型编程与状态间隔探测的思想对于以软件黑盒测试技术为基础的有限状态机是一种自然的扩充。
Study Design. Three-dimensional C3-C5 and C3-C4 finite element (FE) models were used to analyze biomechanical responses under compression and extension moments.
研究设计：三维c3 - C5和C3 - C4的有限元模型用于分析其在压缩和伸展运动下的生物力学反应。
Finite time thermodynamics is the extension of classical thermodynamics and a new branch of the modern thermodynamics.
有限时间热力学是经典热力学的延伸和推广，是现代热力学理论的一个新分支。
应用推荐