查询词典 equals

A second subnumber is calculated for the second number as the multiplicative inverse of the first number with respect to a second submodule (120) that equals the second prime number minus 1, the first submodule and the second submodule being relatively prime.

计算该第二数的一个第二子数做为该第一数的相对于一个第二子模数(120)的一个倍数逆数，该第二子模数等于第二质数减1，第一子模数与第二子模数互质。

In chapter four, we study the second isoperimetric connectivity of line graphs and line digraphs. For line digraphs, we show that the second isoperimetric connectivity of strongly connected line digraphs with δ≥ 2 equals its connectivity. For line graphs, we give a sufficient and necessary condition for the existence of the second isoperimetric connectivity, and we show that under the condition that the second isoperimetric connectivity exists, the second isoperimetric con

第四章研究线图和有向线图的第二等周点连通度，得到了如下结果：(1)最小度大于等于2的强连通有向线图的第二等周点连通度等于它的点连通度；(2)对于无向线图，我们给出了第二等周点连通度存在的充要条件；(3)对于第二等周点连通度存在的无向线图，它的第二等周点连通度或者等于限制点连通度或者等于最小度和次最小度的和。

The unlucky jackdaw, sorely punished and deeply sorrowing, betook himself to his former companions, and would have flocked with them again as if nothing had happened .But they, recollecting what airs he had given himself, drummed him out of their society, while one of those whom he had so lately despised, read him this lecture :"Had you been contented with what nature made you, you would have escaped the chastisement of your betters and also the contempt of your equals."

不幸的八哥受到了如此重的惩罚，感到非常难过，于是又去投奔自己的老伙伴，满想若无其事地又和他们混在一起，但是他的同伴想起过去他那副骄傲自大的神气劲，就把他从队伍中轰了出来，不久以前曾受过他轻视的一个伙伴教训他说："如果你过去满足于你自己的天生模样，你就不会受到比你美的人的惩罚，也不会受到跟你相同的人的鄙视了。"

They, instantly detecting the intruder, stripped him of his borrowed plumes, and falling upon him with their beaks sent him about his business .The unlucky jackdaw, sorely punished and deeply sorrowing, betook himself to his former companions, and would have flocked with them again as if nothing had happened .But they, recollecting what airs he had given himself, drummed him out of their society, while one of those whom he had so lately despised, read him this lecture :"Had you been contented with what nature made you, you would have escaped the chastisement of you r betters and also the contempt of you r equals ."

他们立刻发觉了这个闯进来的家伙，拔掉了他身上捡来的羽毛，并且用嘴啄他，把他赶了出去，不幸的八哥受到了严重的惩罚，感到非常难过，于是又去投奔自己的老伙伴，满想若无其事地又和他们混在一起，但是他们想起了过去他那副骄傲自大的神气就把他从队伍中轰了出来，不久以前曾受过他轻视的一个伙伴教训他说："如果你过去满足于你自己的天生模样，你就不会受到比你美的人的惩罚，也不会受到跟你相同的人的鄙视了。"

They, instantly detecting the intruder, stripped him of his borrowed plumes, and falling upon him with theirss beaks sent him about his business .The unlucky jackdaw, sorely puniITd and deeply sorrowing, behad himself to his former companions, and will HAs flocked with them one abundance time as if nothing had happened .But them, recollecting what airs he had given himself, drummed him out of theirss society, while one of those whom he had so lately despised, read him the lecture :"Had you be contented with what nature did you, you will HAs escaped the chavetisement of you r preferables and too the contempt of you r equals."

她们立刻发觉了那个闯进来的家伙，拔掉了他身上捡来的羽毛，并且用嘴啄他，把他赶了出去，不幸的八哥受到了重大的惩罚，感到非比寻常难过，于是又去投奔本人的老伙伴，满想若无其事地又和她们混在一起，但是她们想起了过去他那副骄傲自大的神气就把他从队伍中轰了出来，不久以前曾受过他轻视的唯一伙伴教训他说："假如你过去满足于你本人的天生模样，你就不会受到比你美的人的惩罚，也不会受到跟你相同的人的鄙视了。"

Dividing $165.13 by 1,365 equals 0.12, or 12 cents per kilowatt-hour.

165.13除以1365等于0.12，即每千瓦小时12美分。

The charity recommends not drinking alcohol at all in order to prevent cancer but, if people do drink, it says they should limit it to two units a day for a man or one for a woman. One unit equals half a pint of normal strength beer, lager or cider, one 25ml single measure of spirits, or one 125ml small glass of wine.

慈善团体推荐人们不要饮用酒精以防止癌症，但如果，真的要喝的话，那么应该限制在每天男性2单位，女性1单位的量上。1单位等于一半品脱一般浓度的啤酒，贮藏啤酒或苹果酒，一25ml力弱的烈酒，或一125ml小杯葡萄酒。

Based on the outcome of Xu Yang and Qin Keyun about lattice implication algebra and lattice-valued prepositional logic LP with truth-value in a lattice implication algebra, the author studied the properties of lattice implication algebra and the α-automated reasoning method based on α-resolution principle of LP. The specific contents are as follows: The Study of Lattice Implication Algebra On the basis of previous results of lattice implication algebra, this part consists of the following three points: 1. Some properties of lattice implication algebra L were discussed, and some important results were given if L was a complete lattice implication algebra. 2. The properties of left idempotent elements of lattice implication algebras were discussed, and the conclusion that lattice implication algebra L was equals of the directed sum of the range and dual kernel of a left map constructed by a left idempotent element was proved. 3. The properties of the filters of lattice implication algebra were discussed, the theorem was shown that they satisfy the hypothetical syllogism and substitute theorem of the propositional logic. 4. The concept of weak niters of lattice implication algebras and their properties and structures are discussed. It is proved that all weak filters of a lattice implication algebra form a topology and the the implication isomorphism betweem two lattice implication algebras is a topological mapping between their topological spaces. The Study of α-automated reasoning method based on the lattice-valued propositional logic LP In this part, the author given an a-automated reasoning method based on the lattice-valued propositional logic LP.

本文基于徐扬和秦克云的关于格蕴涵代数和以格蕴涵代数为真值域的格值命题逻辑系统LP的研究工作，对格蕴涵代数以及格值命题逻辑系统LP中基于α-归结原理的自动推理方法进行了系统深入的研究，主要有以下两方面的研究成果：一、关于格蕴涵代数的研究 1、对格蕴涵代数的格论性质进行了研究，得到了当L为完备格蕴涵代数时，关于∨，∧，→运算的一些结果； 2、对格蕴涵代数的左幂等元进行了研究，证明了格蕴涵代数L可以分解为任何一个左幂等元所对应的左映射的像集合与其对偶核的直和； 3、对格蕴涵代数的滤子的性质进行了研究，证明了滤子的结构相似于逻辑学中的Hypothetical syllogism规则和替换定理； 4、给出了格蕴涵代数中弱滤子的概念，对弱滤子的性质个结构进行了研究，证明了格蕴涵代数的全体弱滤子构成一个拓扑结构，格蕴涵代数之间的蕴涵同构是相应的拓扑空间之间的拓扑映射。

By a tautology on L we mean a finite expression formed from variables and the lattice operation signs ∪,∩,′ that equals to I identically on L.

正文中谈到了问题的逻辑来源。

For the image with random field feature, the description language is probability distribution model, and the description length equals the negative base-two logarithm of the probability of the image data; For the region homogeneity properties of active contour, the description language is chosen as a sign gradient map, and the description length is the summation of sign gradient inside the active contour; For the active contour regularity, the description language is smoothness, and the corresponding description length is the length of active contour curve.

随机场图像的描述语言采用概率分布模型，描述长度是围道内外区域中图像数据概率的以2为底对数的负数；活动围道区域一致性的描述语言为有符号的梯度图，描述长度是围道内区域有符号梯度的总和；围道形态的描述语言采用平滑性，描述长度正比于围道的长度。

As she looked at Warrington's manly face, and dark, melancholy eyes, she had settled in her mind that he must have been the victim of an unhappy attachment.

每逢看到沃林顿那刚毅的脸，那乌黑、忧郁的眼睛，她便会相信，他一定作过不幸的爱情的受害者。

Maybe they'll disappear into a pothole.

也许他们将在壶穴里消失