1) quantifier elimination
量词消去
1.
It is shown that if ring theory is added to a new theory which has quantifier elimination,any model of this new theory is an inductive ring.
证明了环理论扩充到具有量词消去理论时,其任意模型都是归纳环,而且带有一阶可定义序关系的环理论扩充到具有量词消去时,其模型是双向归纳环。
2.
Based on the theoretic model of algebraical prime and simple closed properties,a new short proof for quantifier elimination of the theory of complete dense binary orders was presented.
利用理论的代数素模型和简单闭性质,给出了完全稠密二叉偏序理论可量词消去的新的简短的证明。
3.
Basing on the model-theoretic properties of having algebraically prime models and being simply closed for first-order theories,we present new proofs for quantifier elimination of theories of complete forked trees,including theory of complete k(k<ω)-ary trees and of complete infinite-ary trees, which simplify original proofs extremely.
利用理论的代数素模型和简单闭性质,我们给出了完全k(k<ω)-叉树理论和完全无穷叉树理论可量词消去的新的证明,很大程度上简化了原有证明。
2) complete quantifier elimination
量词消去法
1.
The following new theorems are obtained: Theorem 1 The Theory of Boolean algebra without atomic elements has a complete quantifier elimination i.
得到了下面的新定理 :定理 1 无原子布氏代数理论Δ具有完全的量词消去法 ,也就是说每一个式子都Δ等价于一个开式子 。
3) elimination of quantifier
量词的消去
4) quantifier elimination algorithm
量词消去算法
1.
To raise efficiency of the quantifier elimination algorithm, parallelization of the quantifier elimination algorithm on the Distributed Maple environment is proposed and taking the characteristics of the Distributed Maple system and the algor.
本文提出了基于分布Maple系统下量词消去算法的并行化,并针对分布Maple系统的特点以及算法的特点,通过实例分析,给出了两种并行策略,以达到在Maple软件环境下提高处理器利用率,提高量词消去算法的效率的目的。
5) the rule of elimination of the universal quantifier
全称量词消去规则
6) the rule of elimination of the existential quantifier
存在量词消去规则
补充资料：人工消云消雾武器
人工消云、消雾是指采用加热、加冷开播撒催化剂等方法，消除作战空域中的浓雾，以提高和改善空气中的能见度，保证已方目视观察、飞机起飞、着陆和舰艇航行等作战行动的安全。在第二次世界大战中，英军曾使用一种名为“斐多”的加热消雾装置，成功地保障了2500架次飞机在大雾中安全着陆。1968年，美军为保障空军飞机安全着陆，曾使用过人工消雾武器。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条