第二十

That was in the late eighties of last century, West Germany, surveying and mapping equipment installation experts to the Hubei Provincial Bureau of Surveying and Mapping mapping equipment, spare time, the experts came to the second chamber to observe the Surveying and Mapping Institute compilation.

那是在上世纪八十年代末期，西德测绘仪器专家到湖北省测绘局安装绘图仪器，闲暇之余，专家们来到第二测绘院编绘室观摩。

Somewhat incongruously, MidAmerican owns the second largest real estate brokerage firm in the U.S. And it's a gem. The parent company's name is HomeServices of America, but our 19,200 agents operate through 18 locally-branded firms. Aided by three small acquisitions, we participated in $64 billion of transactions last year, up 6.5% from 2004. Currently, the white-hot market in residential real estate of recent years is cooling down, and that should lead to additional acquisition possibilities for us. Both we and Ron Peltier, the company's CEO, expect HomeServices to be far larger a decade from now.

有点奇怪的是，美中能源另外还拥有全美第二大的不动产仲介商，而她却是一颗耀眼的宝石，母公司的名称是美国居家服务，不过旗下总共19，200名的仲介在全美18州则以不同的名称营业，包含刚购并的三个据点在内，我们去年总共完成了总值640亿美元的不动产交易，较2004年增加了6.5%，近年来呈现白热化的住宅不动产交易市场有冷却的迹象，这将使得我们有更多购并的机会，包含我们跟该公司的总裁 Ron Peltier 在内，都预期美国居家服务在未来十年内还有非常大的成长空间。

Article 237 Whoever acts indecently against or insults a woman by violence, coercion or any other forcible means shall be sentenced to fixed-term imprisonment of not more than five years or criminal detention.

第二百三十七条以暴力、胁迫或者其他方法强制猥亵妇女或者侮辱妇女的，处五年以下有期徒刑或者拘役。

Moreover, we find the first and second factors are the real indictors and the third factor is the price indictor.

此外利用动态因子模型所产生的十二个因子当中，我们发现第一个与第二个因子可以表示为实质指标，而第三个因子可以表示为物价指标。

Second, that not much can be done unless indoctrination begins before the age of ten.

第二，没有什么可以做的，除非开始灌输岁前十名。

The paper consists of six chapters. Chapter One is the theoretical background, we review the course of mechanical theorem proving and briefly introduce the main mechanical theorem prover of the last decade, Among them, we stress on the Boyer-Moore theorem prover and its throretical foundation a computational logic. In Chapter Two, we discuss two theorem proving tactics. One is the rippling-out tactic, which is a tactic for manipulating the induction conclusion to enable the induction hypothesis to be used in its proof, because it extremely restricts the search space, so it has high efficiency.

全文共分六章，第一章是理论背景知识，回顾了定理机器证明的历程，并对近十年来的主要定理证明器作了扼要的介绍，其中，着重介绍了计算逻辑及Boyer-Moore定理证明系统；第二章讨论了两种定理证明策略，一种是波动策略，它是一种在证明中通过处理归纳结论来激活归纳假设的策略，由于极大的限制了搜索空间，因此搜索效率高。

The first part is the author"s special viewpoint about the thinking ability, such as the meaning, the essence, the classification and the operating process. The second part describes the relations between developing thinking ability and the urgent needs of country, society and individual development from five aspects. The third part is about the connection and differences of thinking ability, intelligence, ability, creativity and the constructivism theory. The forth part analyses the teachers" nine injudicious actions that will influence the students" thinking ability. The fifth part discusses the students" seven bad learning behaviors that will cause the degradation of thinking ability. The sixth part is about the unsuitable policies or actions adopted by school, society or family that will cause the degradation of the students" thinking ability. The seventh part discusses the countermeasures that can maintain and develop the students" thinking ability. The eighth part brings forward twelve countermeasures that can exercise the student"s thinking ability in chemistry teaching. The last part gives a brief account of the task.The author expects that this article can enhance the coteries" attention to the students thinking ability.

本文共分九个部分，第一部分对思考力的含义及其本质、分类和运行过程提出了作者的观点；第二部分从五个方面阐述培养思考力与国家、社会、个人发展的迫切需要之间的关系；第三部分简要叙述了思考力、智力、能力、创造力与建构主义理论之间的联系和区别；第四部分分析了教师的九种不当行为对学生思考力水平的影响；第五部分分析了学生的七种不良学习行为导致思考力下降的因素；第六部分叙述了学校、社会和家庭的不当政策或行为导致学生思考力水平下降的原因；第七部分着重从八个方面阐述了保持和发展学生思考力的对策；第八部分提出了在化学教学中训练学生思考力的十二种对策；最后在结束语中对本课题主要观点进行了概述，以期望引起教育界同仁对学生思考力培养的重视。

That Yao Chin-feng in Row No. 12 had made a mistake and was being insubordinate about it.

是早上九点钟光景，第二号管车王金贞，跑到账房间来报告第十二排车的姚金凤犯了规则，不服管理

An invitation for submission of bid shall clearly contain the particulars set forth in Paragraph 2 of Article 16 of this Law.

投标邀请书应当载明本法第十六条第二款规定的事项。

Sufism characterized the second wave of Chinese Islamization in the seventeenth century.

在十七世纪中国伊斯兰化的第二次浪潮中形成了苏菲。

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。