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