说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> 器件代换
1)  replacement of device
器件代换
2)  exchanging of parts of an apparatus in electric power and electron
电力电子器件换代
3)  replacement condition
代换条件
4)  Replacement of spare parts
元件代换
5)  replacement filter
代换滤器
6)  code conversion equipment
代码转换器
1.
Application of Bayesian method in reliability demonstration testing of code conversion equipment;
贝叶斯方法在代码转换器可靠性验证试验中的应用
补充资料:代换法则


代换法则
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)项的代换法则是用一个项代换渭同公式中相应类型的个体变元的自由出现(这里也必须避兔变兀碰撞).
  
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条