查询词典 proof by contradiction

The writer conceives four models about it. In general, the major contradiction is the forming of the major status of the universities and colleges against the government-dorninated administrative mode, but they try to find a bounder land to live together peacefully and harmoniously.

总而言之，大学主体地位的形成和政府主导型管理模式仍是未来我国政府与高校关系中的主要矛盾，但其目的都是为了寻求一个相互包容的界面或边界。

Reform time in what economy grows quickly especially, the rate that the city is built and grows is very rapid, to town planning the job raises a lot of new questions, the urban communication problem that the issue of urban industry position that reform of the urban dimensions issue that involves like the rapid growth of hobo, state-owend enterprise and bourg industry development bring, auto industry develops and a variety of vehicle place produce, ask town planning branch must study new contradiction, new issue.

特别是在经济快速发展的改革年代，城市建设和发展的速度很快，给城市规划工作提出许多新的问题，如流动人口的快速增长所涉及的城市规模问题、国企改革和村镇工业发展带来的城市工业布局问题、汽车工业发展和多种交通工具所产生的城市交通问题等，都要求城市规划部门必须研究新矛盾、新问题。

The first is internal, that is, the contradiction between the working class and the bourgeoisie.

第一种是国内的，即工人阶级和资产阶级的矛盾。

As William Bowers has pointed out, these country-life reformers were caught in a permanent contradiction.

如William Bowers指出的那样，这些农村生活改革家陷入了一个矛盾的陷阱。

The retaining wall reclining on the slight slope built on soft foundation is usually used in protecting the shore of river, the contradiction between the lack of impartiality in stress of the base and the small stress allowed by the foundation as well as the lack of stabilization of the breast wall is a hard nut to crack in the engineering .

软基上的仰斜式挡土墙在水利工程河道护岸中经常遇到，仰斜式挡土墙基底偏心应力较大和软基土地基容许承载力偏小的矛盾以及挡土墙抗滑稳定不足是工程中难以解决的难题。

At last, burgeon of clan contradiction in Black Africa were introduced in Black Africa.

最后，论述了黑非洲部族矛盾的孕育。

And by the border of Gad, the south side southward: and the border shah be from Thamar, even to the waters of contradiction of Cades, the inheritance over against the great sea.

靠近加得的边界，是南方向阳的边界，由塔玛尔到默黎巴卡德士水，沿河直到大海。

In allusion to the characteristics that Luannan County is a county which majors in agriculture and its area is small and its water resources allocation is relatively easy and the contradiction of water resources allocation among industries is severe and so on, based on the predicted water supply and demand for Luannan County, water resources multi-objective optimal allocation model is founded. The model are made up of primary object which is that the district economical benefit is most and by-end which is that the district social benefit is most and restricts which contain water supply capability and water transportation capability and water demand capability and so on.

更多分配矛盾较为突出等特点，在滦南县供需水预测成果的基础上，建立了以区域经济效益最大为主要目标、区域社会效益最大为次要目标、以区域供水能力、输水能力、需水能力等因素为约束条件的水资源多目标优化配置模型，根据Excel和Matlab的特点，把Excel作为数据输入端，调用Matlab中的linprog工具函数求解该模型，得到了滦南县水资源优化配置成果。

However, crude oil is not only insufficient, but also limited by the temperature in transporting. It is necessary for it to calefacient when it is below the pour point which makes the contradiction more obvious between the supply and demand of crude oil.

然而，原油不仅在供应上不够充分，而且在输送方面还受到温度的限制，当气温达到原油凝点时，就需要加热输送，这就会消耗能源，从而使原油的供求矛盾更为明显。

But with how great an assurance and acquiescence soever this principle may be entertained in the world; yet whoever shall find in his heart to call it in question, may, if I mistake not, perceive it to involve a manifest contradiction.

但是我们要如何证明这个法则适用于世界呢？无论什么人的心中都会对此表示怀疑，如果我没有错，那这个感知之中就包含一个显然的矛盾。

Nowadays, most of research are to build a transmutative Petri Nets through adding controlling place sets, controlling arc sets and controlling policy to the basic Petri Nets, while the Controlled Petri Nets could be used to argue many controlling theory problems conveniently and to induce many logically and physically supervisory and solve the Event Feedback Controlling Problems and State Feedback Controlling Problem in DEDS supervisory theory.

目前大多数的研究表现为在变形后的受控Petri网基础上，利用各种方法求得各种逻辑型、结构型控制器，解决DEDS监控理论中的事件反馈控制问题与状态反馈控制问题。

On one hand, there are discussions with the works council and union about extension of short time working up to the end of September.

一方面，有讨论，工程理事会和联盟关于延长工作时间短至9月底。