查询词典 propositional variable

Most of them rely on the central limit theorem, that states that the mean of N independent realizations of a random variable with mean u and variance d^2 approaches a normal distribution with mean u and variance d^2/N .

在蒙特卡罗评估框架内大量的各种选择性算法已经被推出，他们中的大部分依赖于中心极限定理，一个均值为U方差为D^2的随机变量的N次独立实现的平均值接近于一个均值为U方差为D^2/N的正态分布。

They discovered almost 800 Cepheid variable stars,a special class of pulsating star used for accurate distance measurement.

他们发现了差不多800个造父变星，一种用于准确测量距离的特殊变星。

Hisfirst great discovery was made when he recognized a Cepheid variable star.

他的第一个伟大的发现是他观察到了可变恒星"瑟福尔的"。

John Learned at the University of Hawaii in Honolulu and his colleagues think that signals could be sent by manipulating Cepheid variable stars.

位于火瑙鲁鲁的夏威夷大学的John Learned和他的同事们认为信号可以通过操纵造父变星来传递。

His first great discovery was made when he recognized a Cepheid variable star.

他识别出造父变星，做出了第一个重大发现，在仙女座星云的外围区域。

Of the great nebula called Andromeda. Cepheid variable stars are stars whose brightness changes at

被称为瑟福尔的可变恒星的亮度都是在一个很有规律的时段里改变。

This view of NGC 3370 was obtained by the Hubble Space Telescope using the Advanced Camera for surveys and is sharp enough to identify individual Cepheid variable stars in the galaxy.

星系NGC 3370的中心分布着轮廓鲜明的尘埃带和一个不太容易辨认的核。

Cepheid variable stars are used to establish extragalactic distances.

这张清晰度非常高的图片是哈勃太空望远镜利用高级测量摄像机拍摄，我们通过它甚至能看到该星系里的单个造父变星。

Astronomers made observations of Cepheid variable stars— pulsating stars used to measure vast distances— in the Virgo and other clusters to establish the expansion rate and the universe's age.

天文学家用哈勃观测到仙女星座和其它星群中的造父变星以确定宇宙的膨胀速度和宇宙的年龄。

Hubble made precise measurements of Cepheid variable stars in the galaxy, highlighted by green circles in the four inset boxes.

哈勃望远镜精确测量了星系中的造父变星（四个小图中用绿色圆圈标出）。

Pachomius manual labour was organized as an essential part of the monastic life; and since it is a principle of the monks as distinguished from the mendicants, that the body shall be self-supporting, external work of one sort or another has been an inevitable part of the life ever since.

根据圣pachomius体力劳动组织作为一个重要组成部分寺院生活；以来，这是一个原则的和尚，作为有别于乞丐，该机构应自支撑，对外工作的这种或那种已一个必然的一部分，生活至今。

In order to study the effects of parametrical rolling on the ship movement and tilts, in allusion to ship's navigating in regular following waves, the equation of ship rolling motion is transformed into normal Mathieu equation by proper variable replacement when strong parametrical excitation in restoring moment varied according to sine or cosine wave.

为研究参数横摇对船舶运动和倾覆的影响，通过对船在规则波上随浪航行时，恢复力矩中出现的1个以正余弦规律变化的强参数激励项进行适当的变量置换，将船舶的横摇运动方程转换成标准形式的Mathieu方程。