1) real addition
实数加法
1.
In this paper, a quantifier elimination method for positive real theory with order by Volker Weispfenning is extended to a decision procedure, from which a new and finer decision method for eleminentary theory of real addition with order is given.
推广VolkerWeispfenning关于正的有序实数加法理论的量词消去方法 ,得到有序实数加法理论的一个量词消去的判定过程 。
2) weighting method of physical quantity
实体数量加权法
3) accelerating genetic algorithm
实数编码加速遗传算法
1.
The medium for isoflavone production in Maackia amurensis suspension cells has been optiwised through the artificial neural networks (ANNs) and the real coding based accelerating genetic algorithm (RAGA).
为了获得怀槐悬浮细胞合成异黄酮的最适培养条件 ,采用ANNs(人工神经网络 )结合RAGA(实数编码加速遗传算法 )对培养基组成进行全局寻优。
4) real add
实数加
5) real-weighted
实数加权
1.
The use of real-weighted,and further reduces the computation can be run in real time.
采用实数加权,进一步减小了运算量,可实时运行。
6) addition facts
加法事实
1.
In this article,five models of storage and retrieval of addition facts are introduced.
本文介绍了国外心理学界近年来提出的有关加法事实存储与提取的 5个模型 ,即小值模型、网络恢复模型、联结强度分布模型、网络干扰模型以及比较模型 ,并对其进行了简
补充资料：构造实数
构造实数
constructive real number
而是用于考虑在某种意义下由算法可计算的经典实数 ___~_。，*z、‘、~。。，r:，付云*attal书is))构造实数【constrU由ve real number:~cr叮Kr~月浦cT哪e月“ee，“e月01 用于构造数学(constructive mathemati岛)的实数的概念.在更广的意义下，它是在一些构造方法下可构造的实数.“可计算实数”一词与其具有相近的意义，它不是用于从开始起构造非传统连续统的情况，
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条