By analyzing wrapper roll's AJC action and control, the AJC system is designed and its mathematic modeling, emulation analysis and analogue loading verification are conducted.
通过对卷取机助卷辊的AJC动作及控制的分析，设计出了AJC控制系统，并对其进行了建模及仿真分析、模拟加载验证。
Then, a verification of the function of the model is given according to the modeling and implement in event correlation analysis system.
通过该模型在实际的事件关联性分析系统中的建模和实现情况，对该模型的作用作出了验证。
In addition, the system can draw the relevance picture of experiment data, and make variance analysis and verification of notability of these data.
另外该系统实现了仿真试验数据关系图形的绘制及仿真试验数据的方差分析和因素显著性检验等功能。
The composition, working principle and realization methods from system is feasible by theoretical analysis and experimental verification.
该系统的组成、工作原理及其实现的方法通过理论分析及实验验证是可行的。
This paper discusses the errors in verification system of small volume measurement instrument, and gives a detailed analysis on the test ways of small capacity measuring instruments.
本文论述了小容量计量器具检定系统存在的误差问题，并详细的分析了小容量计量器具的验定方式。
The analysis, design and verification for the electrical power system of deep space prober are given on the basis of "deep impact", and the software of computer aided design is developed.
本文以深空撞击任务为背景，对深空探测器的电源系统进行了分析、设计和仿真验证，并开发了深空探测器电源系统设计软件。
The system under discussion is suited for the naval steam turbine verification calculation and performance analysis for off-design conditions.
该体系适用于舰用汽轮机的校核计算和变工况性能分析。
According to the function, some important qualities were presented to guarantee the correctness of system. The analysis and verification of the model are shown by S_invariants.
根据系统功能，提出了保证系统功能正确性应具有的重要性质，继而用S _不变量对其进行了分析、验证。
It is important to study the efficient modeling and verification methods in system testing, feasibility analysis and so on.
研究有效的形式化分析和验证方法对系统测试和可行性分析等方面具有重要意义。
Finally USES FPGA platform for BIST functions and timing verification, and through design compiler, static timing analysis, automatic placing and routing to achieve a BIST system layout.
最后利用FPGA平台实现了BIST的功能和时序验证，并通过综合、静态时序分析、自动布局布线实现了BIST系统的版图设计。
With this met hod V-type process in current avionics system design and verification is modeled and formally described for computer analysis and identification.
该方法针对目前航空电子系统的系统设计与验证中的“V”型流程进行建模，并对其进行形式化的描述，以供计算机分析、识别。
With this met hod V-type process in current avionics system design and verification is modeled and formally described for computer analysis and identification.
该方法针对目前航空电子系统的系统设计与验证中的“V”型流程进行建模，并对其进行形式化的描述，以供计算机分析、识别。
应用推荐