推

The Lord responded compassionately, My friend, when I asked you to serve Me and you accepted, I told you that your task was to push against the rock with all of your strength, which you have done.

主满怀同情的回答说，我的朋友，当我要求你来服侍我，你答应了。我告诉你，你的任务是尽你的全力去推那岩石，你照此而行了。

To this the Lord responded compassionately, My friend, when long ago Iasked you to serve me, I told you that your task was simply to push againstthe rock with all your strength.

这时上帝慈悲地回答说：「我的朋友，当初我要求你的工作，只是要你尽全力去推那块石头而已，我从未要求你把它移开。

Complete research and induction regarding the special attribute and inherent law of movement of the artificial system is done through constructing the dynamic evolution model of artificial system and etc. Furthermore, guidelines on the analysis and the design of the artificial systems are deducted. Consequently, a set of rather integrated ideology of the engineering system theory is formed. This lays a solid foundation to the development of the engineering system theory, which is a new subject.

文中在讨论系统理论的人工系统领域应用时，提出了工程系统理论的新概念，尝试将抽象的人作为人工系统的重要组成要素，通过构造人工系统的动态进化模型等手段，对人工系统的特有属性及本征运动规律进行了深入研究和归纳，进而推演出人工系统分析、设计准则，形成了一套较完整的工程系统理论思想体系。

Creep properties of BB503 steel, STE355 steel and SM41CN steel are studied by creep test. With the creep test data the surplus-life prediction of BOF shell has been completed by using"θ-Concept Project"method.

对宝钢自产BB503钢、STE355钢以及2#转炉现役炉壳SM41CN钢的蠕变特性进行了试验研究，在对蠕变数据外推的基础上，使用"θ—Concept"法对宝钢2#转炉现役炉壳的残余寿命进行了预测分析。

In this paper we acquaint the reader first with the algebraic semantics which is corre-sponding to the Kripke's semantic having nested domaius. By an application of the completenesstheorem on relational semantics of the quantified normal modal systems with nested domains proved in Hughes and Cresswell's method to prove a completeness theorem on relational algebraic semantics of those system. Next for normal systems with semantics which admits arbi-trarily variable domains we use Henkin's method to prove a c...

本文首先讨论嵌套论域语义的相应代数语义并由Hughes和Cresswell在［5］中建立的关于具有嵌套论域的正规量词模态系统的关系语义完全性定理推出其相应的代数语义完全性定理：然后对于具有任意可变论域语义的正规系统，我们用Henkin方法给出其关于狭义Kripke语义的关系语义完全性定理，由此通过将关系语义转化为代数语义从而亦推得其代数语义完全性定理。

It's a critical component of the movement as all force generated by the chest is pushed down through the elbows.

这是一个由胸部产生的所有力量运动的重要组成部分是通过肘部推下来。

Based on this theory,an analysis of the problem of payoff to the concessionaire in the concession contract when there are not government guarantee s and the concessionaire is risk-averse is carried out by using the backward-induction method.

基于这样一个理论框架，利用逆向递推方法，文章对没有政府担保下，特许权人为风险厌恶的政府特许权合约的报酬设计进行分析，给出了政府特许权人的风险态度和服务定价之间的关系。

Through the review and analysis, it tries to prove that a successful theory is merely logical deduction and concretion of an analyzing method.

本文目的在于通过这种回顾和分析，说明一种成功的理论，只是分析方法的逻辑推演和具体化。

Critics claim that the "Washington consensus" of deregulation and privatisation, preached condescendingly by America and Britain to benighted governments around the world, has actually brought the world economy to the brink of disaster.

批评者声称，美英两国向世界上其他国家的愚昧政府极力鼓吹'华盛顿共识'之自由化和私有化，事实上已将世界推到了灾难的边缘。

The conditional probability density functions of daily precipitation in 16 stations of Guangxi in Summer are estimated and then the probability distributions of maximum amount of daily precipitation in 1-20 days are recurrented by using daily amount of precipitation data set.

对广西16站用6、7月逐日降水量资料估计了日降水量的条件概率密度函数，并递推得1-20天内最大日降水量的概率分布。

She gently rebuff ed him, but agreed that they could be friends

她婉言拒绝了，但同意作为朋友相处。

If in the penal farm, you were sure to be criticized.

要是在劳改农场，你等着挨绳子吧！