unification

名词 n.
中文释义
英 /ˌjuːnɪfɪˈkeɪʃn̩/    美 /ˌjunəfəˈkeɪʃən/

英文释义

名词 n.
  1. The act or process of unifying. countable,uncountable
    — The route between Melbourne and Albury is one of the first scheduled, under the great Australian gauge unification scheme, for conversion to 4 ft. 8½ in., and this will permit through running between Melbourne, Sydney and Brisbane.
  2. The state of being unified. countable,uncountable
    — Chinese domination in Manchuria was revived after the unification of China by the Sui Dynasty in a.d. 590, though this could not be called entirely complete because the Kaokouli kingdom could not be subjugated.
  3. An algorithmic process of solving equations between symbolic expressions. countable,uncountable
    — For any two terms or formulas without quantifiers X and Y, the following holds. (i) The unification algorithm UNIF#95;1, applied to X, Y, terminates after a finite number of steps. (ii) #92;#123;X,Y#92;#125; is unifiable iff UNIF#95;1 so indicates upon termination. Moreover, the substitution σ then available as output is a most general unifier of #92;#123;X,Y#92;#125;.

词形变化

unifications plural

词汇关系

衍生词
antiunification deunification disunification grand unification theory Han unification preunification reunification Unificationism unificationist unificatory
相关词
union unionization unison unitedness unity

词源

Either:
* from unify + -ification (suffix forming nouns denoting acts or processes whereby subjects become something else); or
* borrowed from French unification; or
* borrowed from Italian unificazione.
0 次浏览 数据来源: Wiktionary