查询词典 be in for it

Disjunction normal form theorem in the modal logic system S5 is inductively proved, which can be used for representing complex modal formulas by means of conjunction and disjunction of simplest modal formulas with depth at most 1 in the system S5. As application, it is proved that a knowledge base could answer KB-queries if and only if it could answer queries of non-modal propositions and their negations, which is a basic problem on knowledge base.

研究了模态逻辑系统S5中的析取范式定理的归纳证明，给出了在S5中用深度至多等于1的最简模态公式通过析取与合取运算表示含有多重模态词的公式的方法，作为范式定理的应用，讨论了知识库中的一个基本问题，证明了知识库能够回答KB命题式问题的充要条件是该知识库能够回答相关的非模态命题及其否定命题的问题。

Secondly, a method based on SCADA to revise the parameter of transformers is proposed, in which the data is obtained from the substation SCADA system and is processed by least orthogonal square method, then the fitting calculation of the curve is performed, finally the actual parameters of the transformer can be derived and it can be used as the basic data for the economic operation of the transformer.

通过变电站监控系统得到SCADA实时数据，采用最小正交二乘法，对变压器损耗曲线进行拟合计算，得到变压器实际参数和功率损耗特性，并以此作为变压器经济运行的基础数据。

I I should not be disappointed in the panorama spread out before me, for it would be a vision of another world.

我确信，我对展现在我面前的景观不会失望，因为它对我来说是另一个世界的景象。

They went to work at once, plowing, barrowing,rolling, furrowing, in admirable order, as if they were bent on making this a model farm; but when I was looking sharp to see what kind of seed they dropped into the furrow, a gang of fellows by my side suddenly began to hook up the virgin mould itself, with a peculiar jerk, clean down to the sand, or rather the water —— for it was a very springy soil —— indeed all the terra firma there was ——and haul it away on sleds, and then I guessed that they must be cutting peat in a bog.

他们立刻工作了，耕着，耙着，滚着，犁着，秩序井然，好像他们要把这里变成一个模范的农场：可是正在我睁大了眼睛看他们要播下什么种子的时候，我旁边的一群人突然开始钩起那处女地来了，猛的一动，就一直钩到沙地上，或者钩到水里，因为这是一片很松软的土地，——那儿的一切的大地都是这样，——立刻用一辆雪车把它载走了，那时候我猜想，他们一定是在泥沼里挖泥炭吧。

It is true that we have been leading a difficult life , for we need not only to be under various external pressures , but also to be in the face of internal perplexity .

这是事实，我们一直在领导一个困难的生活，我们不仅需要受到各种外部压力，但也将在面对内部的困惑。

Therefore, based on the analysis in pianism, it will be helpful for us to perform this work. Hopefully,our intention is to be familiar with ethical emotion and romanticism.

目的是通过对这部作品的钢琴技术分析，使我们能够更好的学习和演奏这部作品，并且了解民族风格和浪漫主义手法。

HPLC method was proved to be sensitive, fast and accurate. It can be used for the determination of ursolic acid and oleanolic acid in different colour Rhododendron simsii Planch flowers.

本方法灵敏、准确，重现性好，可用于不同花色映山红花中熊果酸和齐墩果酸含量的测定。

IT者网站提供英文翻译,未经授权请勿转载】 Be in on April 8 " lasting tower " pop of open test fire is opened, the unusually fervent game that this media that be mixed by orgnaization of many professional sport fries opens wide a gate to mainland area player eventually, for a short while " lasting tower " if server stream emerges, royal respect is adding a server ceaselessly all the time, satisfy into the player group that geometrical multiple adds.

就在4月8日《永恒之塔》开放测试火爆开启，这款被多家专业游戏机构和媒体炒的异常火热的游戏终于向大陆地区玩家敞开大门，一时间《永恒之塔》的服务器人潮如涌，盛大方面一直在不停加开服务器，满足成几何倍数增加的玩家群体。

Finally, if more people use C++ for developing cross-platform applications this is good for wxWidgets even if they use Qt because the whole idea of writing portable programs is unfortunately still not as entrenched in mass conscience as it should be in our opinion.

最后，非常遗憾的是写一个跨平台程序的整个想法，还不是扎根于大众的共识。如果更多的人使用的C++开发跨平台应用程序，即使他们使用的是 Qt，这对wxWidgets这样的跨平台GUI库来说也没什么坏处的。这才应该是我们的看法。

Accordingly, accuser also must explain in the indictment, this is not adjudgement of a politics, also not be the right that privative people enjoys knowledge, not be the development that adjudgement prohibits sharing a technology more, accuse they are offerred for pilfer edition behavior however go to the lavatory and gain profit from which.

因此，原告在起诉书中也不得不说明，这不是一个政治审判，也不是剥夺人民享受知识的权利，更不是审判禁止共享技术的发展，而是指控他们为盗版行为提供方便并从中获利。【以下内容为IT者网站提供英文翻译，未经授权请勿转载

In the negative and interrogative forms, of course, this is identical to the non-emphatic forms.

。但是，在否定句或疑问句里，这种带有"do"的方法表达的效果却没有什么强调的意思。

Go down on one's knees;kneel down

屈膝跪下。。。下跪祈祷