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