The new type of rotary compressor has two key parts, an outer rotor and an inner one which employs isometric curve of trochoid as its profile.

从理论上分析了一种新内、外结构回式压缩机,其内线由短幅外摆线的内线构成。

These observations allow one to formalize the definition of reflection: a reflection is an involutive isometry of an Euclidean space whose set of fixed points is an affine subspace of codimension 1.

这些观察允许们形式化反射的定义: 反射是欧几里得空间的对同构，它的不动点集是余维度为 1 的仿射空间。

The new type of rotary compressor has two key parts, an outer rotor and an inner one which employs isometric curve of trochoid as its profile.

从理论上分析了一种新型内、外转子结构回转式压缩机,其内转子型线短幅外摆线的内等距线构成。

These observations allow one to formalize the definition of reflection: a reflection is an involutive isometry of an Euclidean space whose set of fixed points is an affine subspace of codimension 1.

这些观察允许们形式化反射的定义: 反射是欧几里得空间的对合等距同构，它的不动点集合是余维度为 1 的仿射子空间。

The new type of rotary compressor has two key parts, an outer rotor and an inner one which employs isometric curve of trochoid as its profile.

从理论上分析了一种新型内、外转子结构回转机,其内转子型线由短幅外摆线内等距线构成。

These observations allow one to formalize the definition of reflection: a reflection is an involutive isometry of an Euclidean space whose set of fixed points is an affine subspace of codimension 1.

这些观察允许们形化反射定义: 反射是欧几里得空间对合等距同构，它点集合是余维度为 1 仿射子空间。

The new type of rotary compressor has two key parts, an outer rotor and an inner one which employs isometric curve of trochoid as its profile.

从理论上分析了一种新型内、外转子结构回转式压缩机,其内转子型幅外摆内等距构成。

These observations allow one to formalize the definition of reflection: a reflection is an involutive isometry of an Euclidean space whose set of fixed points is an affine subspace of codimension 1.

这些观察允许们形式化反射定义: 反射是欧几里得空合等距同构，它不动点集合是余维度为 1 仿射子空。

The new type of rotary compressor has two key parts, an outer rotor and an inner one which employs isometric curve of trochoid as its profile.

从理论上分析了一种新型内、外转子结构回转压缩机,其内转子型线由短幅外摆线的内等距线构成。

These observations allow one to formalize the definition of reflection: a reflection is an involutive isometry of an Euclidean space whose set of fixed points is an affine subspace of codimension 1.

这些许们反射的定义: 反射是欧几里得空间的对合等距同构，它的不动点集合是余维度为 1 的仿射子空间。

The new type of rotary compressor has two key parts, an outer rotor and an inner one which employs isometric curve of trochoid as its profile.

理论上分析了一种新型内、外转子结构回转式压缩机,其内转子型线由短幅外摆线的内等距线构成。

These observations allow one to formalize the definition of reflection: a reflection is an involutive isometry of an Euclidean space whose set of fixed points is an affine subspace of codimension 1.

这些观察允许们形式化反射的定义: 反射是欧几里得空间的对合等距同构，它的不动点集合是余维度为 1 的仿射子空间。

The new type of rotary compressor has two key parts, an outer rotor and an inner one which employs isometric curve of trochoid as its profile.

从理论上分析了一种新型内、外转子结构回转式压缩机,其内转子型线由短幅外摆线的内等距线构成。

These observations allow one to formalize the definition of reflection: a reflection is an involutive isometry of an Euclidean space whose set of fixed points is an affine subspace of codimension 1.

察允许们形式的定义: 是欧几里得空间的对合等距同构，它的不动点集合是余维度为 1 的仿子空间。

The new type of rotary compressor has two key parts, an outer rotor and an inner one which employs isometric curve of trochoid as its profile.

从理论上分析了一种新型内、转子结构回转式压缩机,其内转子型线由短线的内等距线构成。

These observations allow one to formalize the definition of reflection: a reflection is an involutive isometry of an Euclidean space whose set of fixed points is an affine subspace of codimension 1.

这些观察允许们形式化反射的定义: 反射是欧几间的对合等距同构，它的不动点集合是余维度为 1 的仿射子间。

The new type of rotary compressor has two key parts, an outer rotor and an inner one which employs isometric curve of trochoid as its profile.

从理论上分析了一种新型内、结构回式压缩机,其内型线由短幅摆线的内等距线构成。

These observations allow one to formalize the definition of reflection: a reflection is an involutive isometry of an Euclidean space whose set of fixed points is an affine subspace of codimension 1.

这些观察允许们形式化反射的定义: 反射是欧几里得空间的对合等距同构，它的不动点集合是为 1 的仿射空间。