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

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