资料来源 : pyDict
嵌入
资料来源 : Webster's Revised Unabridged Dictionary (1913)
Embed \Em*bed"\, v. t. [imp. & p. p. {Embedded}; p. pr. & vb. n.
{Embedding}.] [Pref. em- + bed. Cf. {Imbed}.]
To lay as in a bed; to lay in surrounding matter; to bed; as,
to embed a thing in clay, mortar, or sand.
资料来源 : WordNet®
embed
v : fix or set securely or deeply; "He planted a knee in the
back of his opponent"; "The dentist implanted a tooth in
the gum" [syn: {implant}, {engraft}, {imbed}, {plant}]
[also: {embedding}, {embedded}]
embedding
See {embed}
资料来源 : Free On-Line Dictionary of Computing
embedding
1. One instance of some mathematical object
contained with in another instance, e.g. a {group} which is a
subgroup.
2. ({domain theory}) A {complete partial order} F in
[X -> Y] is an embedding if
(1) For all x1, x2 in X, x1 <= x2 <=> F x1 <= F x2 and
(2) For all y in Y, {x | F x <= y} is {directed}.
("<=" is written in {LaTeX} as {\sqsubseteq}).
(1995-03-27)