在诸多的系统分析和验证方法中，模型检测技术是近二十年来最成功的自动验证技术之一。
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.
为炮兵指挥自动化系统的系统分析和建模提供了有效的途径。
It provides the valid path to the system analysis and modeling of the artillery command automation system.
负荷模型在电力系统分析计算、控制的研究中和安全自动装置的整定中的重要作用已经越来越被我国的电力工作者所认识。
The importance of dynamic load model for transient stability studies, generation control and regulation of automatic apparatus, is increasingly realized by electrical experts of our country.
并以自动导引控制系统为例讨论了应用问题，导出对指数变参数系统分析设计的新方法。
The simplified practical example for homing control system is given. This paper derives a new method for analysis and design of exponential variable parameter control system.
主要工作如下：（1）对安全监测自动化的基本概念、假设和系统模型进行系统分析。
The main contents are as follows:(1) Theory system of safety monitoring automation for Hydrological structure are established, relative concepts and assumptions are also cleared up.
该软件是从自动控制原理教学实际出发，以MATLAB为平台，实现了线性系统分析、线性系统串联校正补偿器设计和PID参数整定。
Using MATLAB as a flat roof, this software implements linear-system analyses, linear-system corrector in series design and PID tuning.
在对消弧线圈的各种自动调谐原理系统分析的基础上，确定了适用于偏磁式消弧线圈的调谐方法。依据偏磁式消弧线圈的工作原理，确定了偏磁式消弧线圈的控制方法。
Based on the detailed analysis of the various automatic tuning principle of the arc-suppression coil (ASC), a tuning method of the magnetic bias ASC is acquired.
功能完善的系统分析软件可以实现自动分析和存档管理，并进行全功能的编辑。
The full function scanner software can analysis automatically and archive with complete editing capabilities.
第三章是嵌入式全自动横机花型准备系统软件的系统分析。
In chapter 3, it is the system analysis of automatic flat knitting machine.
并以自动导引控制系统为例讨论了应用问题，导出对指数变参数系统分析设计的新方法。
The simplified practical example for homing control system is given. This paper derives a new method for…
并以自动导引控制系统为例讨论了应用问题，导出对指数变参数系统分析设计的新方法。
The simplified practical example for homing control system is given. This paper derives a new method for analysis and design of exponential variable par...
并以自动导引控制系统为例讨论了应用问题，导出对指数变参数系统分析设计的新方法。
The simplified practical example for homing control system is given. This paper derives a new method for analysis and design of exponential variable par...
应用推荐