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 的仿射空间。