英和和英

動詞

precompact (third-person singular simple present precompacts, present participle precompacting, simple past and past participle precompacted)

1. To compact partially in preparation for full compaction or extrusion.
   • 1994, T. S. Srivatsan, Karthik Ramani, Mamidala Ramulu, Processing, Design, and Performance of Composite Materials:

     The mixture finally moves to the compaction chamber where the auger motion precompacts the mixture to remove as much void space as possible prior to extrusion through a shaped die.

形容詞

precompact (not comparable)

1. (topology) Forming a relatively compact subspace; Having a closure that is compact.
2. (topology) Totally bounded; Having a cover that consists of finitely many finite subsets.

派生語