atics) 基于数组的高性能科学计算(Array-based high performance scientific computing) 自动推导(Automated deduction) 自动推理及其应用(Automated Reasoning and its applications) 算法、移动计算、运筹、容错计算与超大规模集成电路(Des..
基于14个网页-相关网页
键合空间模型如同键合图模型一样可以通过图示符号模型的自动推导而得到系统的状态方程。
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.
应用推荐