英文字典中文字典


英文字典中文字典51ZiDian.com



中文字典辞典   英文字典 a   b   c   d   e   f   g   h   i   j   k   l   m   n   o   p   q   r   s   t   u   v   w   x   y   z       







请输入英文单字，中文词皆可：

unification    音标拼音: [j,unəfək'eʃən]
n. 统一,联合,一致

统一,联合,一致

unification
单一化; 统一化; 联合; 一玫化; 合一

unification
统一

unification
n 1: an occurrence that involves the production of a union [synonym:
{fusion}, {merger}, {unification}]
2: the state of being joined or united or linked; "there is
strength in union" [synonym: {union}, {unification}] [ant:
{separation}]
3: the act of making or becoming a single unit; "the union of
opposing factions"; "he looked forward to the unification of
his family for the holidays" [synonym: {union}, {unification},
{uniting}, {conjugation}, {jointure}] [ant: {disunion}]

Unification \U`ni*fi*ca"tion\, n. [See {Unify}.]
The act of unifying, or the state of being unified.
[1913 Webster]

Unification with God was the final aim of the
Neoplatonicians. --Fleming.
[1913 Webster]

135 Moby Thesaurus words for "unification":
Anschluss, addition, affiliation, agglomeration, agglutination,
aggregation, agreement, alignment, alliance, amalgamation,
articulation, assimilation, association, blend, blending, bond,
bracketing, cabal, cahoots, cartel, centralization, clustering,
coadunation, coalescence, coalition, colleagueship, collegialism,
collegiality, combination, combine, combo, communication,
composition, comradeship, concatenation, concourse, concurrence,
confederacy, confederation, confluence, confraternity, congeries,
conglomeration, conjugation, conjunction, connection,
consolidation, conspiracy, convergence, copartnership, copartnery,
copulation, coupling, ecumenism, embodiment, encompassment, enosis,
federalization, federation, fellowship, fraternalism, fraternity,
fraternization, freemasonry, fusion, gathering, hookup,
identification, identity, inclusion, incorporation, individuality,
indivisibility, intactness, integrality, integration, integrity,
intercommunication, intercourse, interlinking, interlocking,
inviolability, irreducibility, joinder, joining, jointure,
junction, junta, knotting, league, liaison, linkage, linking,
marriage, meeting, meld, melding, mergence, merger, merging,
oneness, organic unity, package, package deal, pairing,
particularity, partnership, purity, selfsameness, simplicity,
singleness, singularity, sodality, solidarity, solidification,
solidity, sorority, splice, symbiosis, syncretism, syndication,
syneresis, synthesis, tie, tie-in, tie-up, undividedness,
uniformity, union, uniqueness, unity, univocity, wedding,
wholeness, yoking

The generalisation of {pattern matching} that is
the {logic programming} equivalent of {instantiation} in
{logic}. When two {terms} are to be unified, they are
compared. If they are both constants then the result of
unification is success if they are equal else failure. If one
is a variable then it is bound to the other, which may be any
term (which satisfies an "{occurs check}"), and the
unification succeeds. If both terms are structures then each
pair of sub-terms is unified {recursive}ly and the unification
succeeds if all the sub-terms unify.

The result of unification is either failure or success with a
set of variable bindings, known as a "{unifier}". There may
be many such unifiers for any pair of terms but there will be
at most one "{most general unifier}", other unifiers simply
add extra bindings for sub-terms which are variables in the
original terms.

(1995-12-14)


请选择你想看的字典辞典：
单词字典翻译
Unification查看　Unification　在百度字典中的解释百度英翻中〔查看〕
Unification查看　Unification　在Google字典中的解释Google英翻中〔查看〕
Unification查看　Unification　在Yahoo字典中的解释Yahoo英翻中〔查看〕

安装中文字典英文字典查询工具!


中文字典英文字典工具:
选择颜色:
输入中英文单字

































































英文字典中文字典相关资料:


  • logic: unification of a formula - Mathematics Stack Exchange
    The Unification Algorithm is described at page 84 You have to recall the resolution calculus [page 29] : Resolution is a simple syntactic transformation applied to formulas From two given formulas in a resolution step (provided resolution is applicable to the formulas), a third formula is generated
  • Unification of an expression - Mathematics Stack Exchange
    Unification is not possible for these expressions I wanna know if this Unification failure isn't only due to the chosen Substitution ? For example why they didn't substitute: X f(a) and then X g(y) to get p(X,X) and p(X,X) ?
  • What is How to do Unification - Mathematics Stack Exchange
    In a now deleted answer, sunflower gave a unification algorithm which has an explicit rule to that effect: "The unification of two functors with different name or arity fails " From your comment under the question it seems you have access to textbooks with unification algorithms
  • The Langlands program for beginners - Mathematics Stack Exchange
    $\begingroup$ @ABC, Langlands isn't really a grand unified theory of mathematics - that's just something Edward Frenkel said to convey the importance of the work to convey the importance of the program to the interested non-expert
  • elementary set theory - Prove that the union of countably many . . .
    I am doing some homework exercises and stumbled upon this question I don't know where to start Prove that the union of countably many countable sets is countable Just reading it confuses me
  • Is there a unified description of the geometric derivative?
    The geometric derivative seems like it should offer further unification, because, at least for vectors, it combines the interior and exterior derivatives into one But the question is, how can I describe the meaning of the geometric derivative without resorting to describing each component separately?
  • group theory - What is the algebraic intuition behind Vieta jumping in . . .
    If you wish to develop a deeper understanding of these proofs then I highly recommend that you study them from this more general perspective, where you will find much beauty and unification The group laws on conics can be viewed essentially as special cases of the group law on elliptic curves (e g see Franz Lemmermeyer's "poor man's" papers
  • Why should faithfully flat descent preserve so many properties?
    I think that a "faithfully flat" morphism in algebraic geometry can be thought of as analogous to a surjective map of sets (maybe more accurately as something like a fibration with surjective image)





中文字典-英文字典  2005-2009