1) portion commutation
部分代换
1.
This article presents sufficient and necessary condition when requesting limit by infinitesimal portion commutation.
给出了用无穷小部分代换求极限成立的充要条件 ,从而使无穷小代换求极限更加灵活自如 。
2) partial transformation
部分变换
1.
Idempotent generators in finite partial transformation semigroup;
有限部分变换半群的幂等元生成集
3) Transformed component
转换部分
4) partial shift
部分变换
1.
Pilot-scale research on preparation of synthesis gas for methanol by partial shift of purified yellow phosphorus off-gas;
净化黄磷尾气部分变换制甲醇合成气中试研究
2.
Application of B116 shift catalyst in synthetic gas for methanol by partial shift of purified yellow phosphorus off-gas;
B116型变换催化剂在净化黄磷尾气部分变换中试中的应用研究
5) Partial exchange transfusion
部分换血
6) partial replacement
部分更换
补充资料:代换法则
代换法则
substitution rule
代换法则[s一山stituti叨n此:,10及eT阴oB阴np姗加],亦称代换规则 逻辑一数学演算中的推导法则(derjvation rLde)之一代换法则有各种不同形式.例如,在命题演算(proposit,0,1:LI ealculus)中,代换法则是用一个公式代换命题变兀在命题公式中的所有的出现.在谓词演算戈Pfe山cate calculus)中,它是:a)用一个公式代换谓词公式中的谓词变元(predieatev::riable)(这里需要遵守一系列关于个体变元出现的限制以避免变元碰撞(二1llable collision),即出现在公式中的自由变元通过代换变为约束变元);b)项的代换法则是用一个项代换渭同公式中相应类型的个体变元的自由出现(这里也必须避兔变兀碰撞).
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条