释义 |
embedding
em·bed (ĕm-bĕd′) also im·bed (ĭm-)v. em·bed·ded, em·bed·ding, em·beds also im·bed·ded or im·bed·ding or im·beds v.tr.1. To fix firmly in a surrounding mass: embed a post in concrete; fossils embedded in shale.2. a. To cause to be an integral part of a surrounding whole: "a minor accuracy embedded in a larger untruth" (Ian Jack).b. Linguistics To insert or position (a clause or phrase) within a clause or phrase.c. Computers To insert (a virus, for example) into a software program.3. To assign (a journalist) to travel with a military unit during an armed conflict.4. Biology To enclose (a specimen) in a supporting material before sectioning for microscopic examination.v.intr. To become embedded: The harpoon struck but did not embed.n. (ĕm′bĕd′) One that is embedded, especially a journalist who is assigned to an active military unit. em·bed′ment n.embedding (ɪmˈbɛdɪŋ) n (Journalism & Publishing) the practice of assigning a journalist or being assigned to accompany an active military unitTranslationsIdiomsSeeembedembedding
embedding[em′bed·iŋ] (mathematics) An injective homomorphism between two algebraic systems of the same type. embedding (mathematics)One instance of some mathematical objectcontained with in another instance, e.g. a group which is asubgroup.embedding (theory)(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).embedding
embedding [em-bed´ing] fixation of tissue in a firm medium, in order to keep it intact during cutting of thin sections.embedding the process of sealing a specimen in wax which is to be sectioned, usually with a microtome. |