在诸多的系统分析和验证方法中，模型检测技术是近二十年来最成功的自动验证技术之一。
Among the solutions to the analysis and verification of such systems, model checking is one of the most successful automatic verification techniques in the past two decades.
在对消弧线圈的各种自动调谐原理系统分析的基础上，确定了适用于偏磁式消弧线圈的调谐方法。
Based on the detailed analysis of the various automatic tuning principle of the arc-suppression coil, a tuning method of the magnetic bias ASC is acquired.
在对汽车纵向动力学控制系统分析的基础上，探讨基于两车的纵向自动跟踪的控制问题。
Based on the analysis of the system of vehicle longitudinal dynamics control, the longitude control of track homing for the platoon of the two vehicles is discussed.
应用推荐