查询词典 proof by contradiction

However, people need in order to maintain life, but had to eat the food, which is a great contradiction.

然而，人们的需要，以维持生命，但吃的食物，这是一个很大的矛盾。

To him, the analysis of the internal principal contradiction is consistent with setting of the party's major task.

在他那里，对国内主要矛盾的分析与党和国家主要任务的确立是一致的。

One of outstanding contradiction that manpower capital shortage is change of pattern of growth of Guizhou implementation economy.

人力资本短缺是贵州实现经济增长方式转变的突出矛盾之一。

Luc Domenjoz Le Matin) Regarding costs, isn't there a contradiction between wanting to reduce costs and increasing the number of Grands Prix at the same time?

除了成本，在降低成本和赛事增加之间有没有矛盾呢？多出来的那站你们是怎么看的呢？

A lone woman going on holiday to a honeymoon island like Matlock was a contradiction in terms.

一个孀居女子到马特洛克岛那样的蜜月胜地去度假，真是一件稀罕事。

Compared with Burau representation, node matrix representation has advantages in transforming with figures and calculating the contradiction matrix.

与已有的Burau表示法相比，它在与图形的转化以及矩阵求逆等方面有着一定的优越性。

The thesis focuses on: the bourgeoisie family model and the family contradiction, the soul burden of male and female in civil life, the sins from indulging in money, futility, escape. Mauriac's religion ideas and significance: God's apocalypse and Grace.

探讨重点为：中产阶级家庭模式和家庭纠纷，世俗生活之下男女两性的心灵重负，沉溺与"超脱"之后而来的罪恶，莫里亚克的宗教观念及其作品中的意义，上帝的启示与天恩。

There is mutual contradiction between direction estimation of user's signal and power allocation among all users in the beamforming algorithm. A twice game beamforming algorithm based on game theory is proposed to deal with it. Beamforming game algorithm mathematics model is constructed. During the first game, direction of signal and power allocation are mapped the game theory as "player", which are modeled as the problem of maximin function and obtain direction estimation first. Then during the second game, power allocations of different users are described as a multi-user game. Power updated algorithm is designed. The existence and uniqueness of the Nash equilibrium in the twice game beamforming algorithm based on game theory are proved by mathematics derivation.

摘要针对波束成形算法中，用户的信号方向估计值和用户之间的功率分配存在着相互矛盾，本文提出了一种基于博弈论的二次博弈波束成形算法，构建了波束成形博弈算法数学模型，首先在第一次博弈的时候，将波束成形算法中的信号方向和功率分配映射为博弈论数学模型中的"局中人"，将其建模为函数的极大极小值求解问题，先求解出信号方向；然后在第二次博弈的时候，将不同用户的功率分配过程描述为一个多用户的博弈过程，设计了功率分配更新算法，通过数学推导论证了纳什平衡点的存在性和唯一性。

This paper tris to study the contradiction in Mayne's idea and architecture in the process of designning and innovation,research the complicated and chan

本文研究梅恩个性创作和建筑探新过程中，设计理念和建筑作品的矛盾性表现。

In the multiplex and rapidly variational condition and times, Mayne's design reflects the nature of environments and display complexity and contradiction which appear in variation and innovation.

在多元共生，快速变化的复杂环境和时代背景中，梅恩的创作反映环境特质，在变革和创新中呈现出"复杂性"和"矛盾性"的特点。

However it can often be frust ating for a child when people are unable to pronounce their name.

但它往往可以令人沮丧的一个孩子当人们无法断言他们的名字。

All these compounds were obtained from this genus for the first time. Compound, 4-cumylphenol, was a new nature product.

所有化合物均为首次从本属海藻中分离得到，其中4cumylphenol为新天然产物。