The influencing factors and principle for the process category selection in green manufacturing are discussed and the evaluation model and method studied in this article.

According to the specific conditions of line-like traces,we can infer the types of instrument forming traces to a certain extent.

Two isomorphism theorems of many-sorted algebras;