These definitions form the basis for derivation set tracing. At the same time, they are the criterion for verifying the result of tracing.
这些定义和概念是跟踪起源集的基础，也是检验跟踪结果的依据。
Upon verifying weak derivation set, this thesis gives a series of verification algorithms based on the best property of attribute mapping or transformation.
在验证弱起源集阶段，针对不同类型的转换和属性映射，给出了相应的验证算法。
The control parameters and regulation pattern is set up according to the power flow control problem. A detail derivation is made on the equivalent injection power equation of several FACTS devices.
针对潮流控制确定了FACTS的控制参数和调节模式，对几种FACTS装置的等效注入功率模型进行了详细推导。
This paper USES the set theory, derivation principles and probability method to give a direct and simple solution to several important combinatorial identities.
组合恒等式在组合数学中占有重要的地位，它有多种证法，运用集合论的观点，求导法则和概率方法对几个重要的组合等式给出了直观简洁的证明。
In the area of logic synthesis, a procedure of derivation of complements for a given product set is frequently used.
在逻辑综合的领域内，经常使用求给定积项集合补集的过程。
In the area of logic synthesis, a procedure of derivation of complements for a given product set is frequently used.
在逻辑综合的领域内，经常使用求给定积项集合补集的过程。
应用推荐