查询词典 hilbert cube

Proof theory grew out of David Hilbert 's ambitious program to formalize all the proofs in mathematics.

证据理论中衍生出来的大卫希尔伯特的雄心勃勃的计划，正式的所有证据在数学。

In the twentieth century, David Hilbert employed axiomatic reasoning in his attempt to update Euclid and provide modern foundations of geometry.

古典文书允许在几何结构的指南针和直尺。

David Hilbert was particularly interested in the foundations of mathematics.

大卫希尔伯特特别有兴趣在数学的基础。

On one occasion, Hilbert squeaked to the assembly: There have been two great crises in the Foundations of Mathematics.

有一天，希尔伯特对它的听众说：数学基础存在两个极大的危机。

A method based on wavelet threshold denoising and Hilbert-Huang Transform was proposed to solve the fault diagnosis problem of four-way valves.

提出一种基于小波阈值去噪和希尔伯特－黄变换的故障诊断方法。

It is shown that many of the existing integral transforms (including their logically equivalents) such as chirplet transform, dispersion transform, wavelet transform, chirp-Fourier transform, short-time Fourier transform, Gabor transform, Fourier transform, cosine transform, sine transform, Hartley transform, Laplace transform, z transform, Mellin transform, Hilbert transform, autocorrelation function, cross-correlation function, and the energy and mean of a signal, can each be considered as a special case of the FMmlet transform with specific parameters. In fact, an inventory of subspaces of FMmlet transform runs into countless numbers. The subspaces mentioned above are merely a few among a zoo of subspaces. They are essentially obtained by cutting the transform space of FMmlet transform at different positions, and can be likened to the computed tomography in medical diagnosis. Through these subspaces we actually see different slices or profiles of the FMmlet transform.

将现有诸多变换置于统一的 FMmlet 变换中加以审视，发现 chirplet 变换、频散变换、小波变换、 chirp-Fourier 变换、短时 Fourier 变换、 Gabor 变换、 Fourier 变换、余弦变换、正弦变换、 Hartley 变换、 Laplace 变换、变换、 Mellin 变换、 Hilbert 变换、自相关函数、互相关函数、能量和均值等，均为 FMmlet 变换在其参数取特定值时的特例；上述诸变换之间的差别，主要在于变换空间的维数有别，以及在不同空间维上取值的不同；这些变换有如医学诊断中的 CT，均由压缩 FMmlet 变换域空间所致，可以说我们通过这些变换看到的，是 FMmlet 变换的不同剖面。

Subsequent chapters develop measure theory, point-set topology, Fourier series for the Lebesgue integral, and the basics of Banach and Hilbert spaces

制定措施以后各章的理论，点集拓扑学，傅立叶的勒贝格积分系列，与Banach和Hilbert空间的基本知识

Using the method of approximating the Lipschitz functions by the convex functions, we give a sufficient condition for the set where Lipschitz functions on a Hilbert space are Frechet differentiable is a residual set.

我们利用Lipschitz函数空间中凸函数的逼近性质来分析Lipschitz函数的微分性质，得到Hilbert空间上Lipschitz函数的Frechet可微点集是剩余集的一个充分条件，以标题"Lipschitz函数与凸函数之间的一些联系"在中国科学杂志上发表。

Thesolutions compose self-contained inner product space (weight function is constant 1),i.e., they are basic series of Hilbert space; hence any internal waves could beexpanded into generalized Fourier series. With difference method, Sturm-Liouvilleequation is transformed to matrix eigenvalue problem. Each eigenvalue is related to ahorizontal wave number, and relevant solution is a certain mode of internal wave.

其解系构成完备的加权(权函数为1)内积空间，即Hilbert空间，从而内波现象可以展成该解系的广义Fourier级数；采用差分方法，将 Sturm-Liouville 方程转化为矩阵特征值问题，每一个特征值对应一个内波波数，该特征值对应的解则是内波的某一模态。

We first give the expression of the generalized inverse of the perturbed operatorin Hilbert spaces.

1.6中我们第一次给出Hilbert空间扰动算子广义逆的表达式，这个结果就是在矩阵问题中也未被得到过。

Our design this month is on Betsy Ross ...

我们的设计，这一个月是对贝齐罗斯。。。

Quello che distingue il cervello umano da quello di un computer è la componente "non-logica".

与众不同之处是什么人脑从一个计算机部分是&非逻辑&。