键合空间模型如同键合图模型一样可以通过图示符号模型的自动推导而得到系统的状态方程。
The models of bond space, just like the models of bond graph, can gain systemic state functions by means of the automatic derivation of the models of graph symbols.
文章指出，话语理解并不是一个意义推导过程，而实质上它更应是一个意义范畴中原型意义在具体语境下的自动认知激活过程。
We hold that utterance understanding is not a process of meaning inferring, but an automatic cognitive activation of the meaning category's prototypical meaning member.
推导空气预热器漏风的一般性计算公式，分析影响漏风的因素，提出了采用双密封技术，新结构静密封，安装漏风自动控制系统等降低漏风的对策。
The general prediction of leakage rate is presented. Influencing factors are analyzed. Countermeasures such as double seals, new structure of static seal, automatic control system are introduced.
其中阐述了自动化立体仓库设计中，堆垛机作业循环时间的数学计算进行了推导。
Have explained among them in the three-dimensional design of warehouse of automation, the mathematical measurement of time of homework circulation of the stacker has been derived.
介绍几种自动控制系统中典型环节传递函数的理论推导及简化分析方法。
Several theoretical deductions and simple analytical methods of the typical link transfer function in the automatic control system are introduced in this article.
阐述自动调高技术应用背景，推导自动调高数学模型，具有一定的应用价值。
This paper describes the application background of shearer auto-steering technology and deduces its mathematic model which has certain applicable value.
在进行公理推导的基础上，本文还利用工具SPV对更多的公钥认证协议进行了自动化验证，与协议推导取得了一致的验证结果。
On the ground of deduction, the paper chose a more serials of public key authentication protocols to use the tool SPV for automatic verification, and got expected results.
在进行公理推导的基础上，本文还利用工具SPV对更多的公钥认证协议进行了自动化验证，与协议推导取得了一致的验证结果。
On the ground of deduction, the paper chose a more serials of public key authentication protocols to use the tool SPV for automatic verification, and got expected results.
应用推荐