第二十一

Co-ordination between the railway company has four new Shenzhen Metro Corporation Board on the 1st line of the four target the installation of integrated electrical and mechanical equipment, Anhui Huadian Suzhou water pipeline project, the Shenzhen subway project between the installation of fire doors, Beijing Metro Line IV V standard integrated Electrical equipment installation and equipment engineering and environmental monitoring system, the Beijing Subway Line blanking integrated mechanical and electrical renovation project of Beijing Metro Line Willow on the 10th installation of depot facilities, the Beijing Olympic Park transport links underground access to install the Second Section of the Electrical and Mechanical Engineering , Baotou Coal Chemical Industry apotheosize the second installation of recycled water, the Beijing-Shanghai high-speed rail train Shanghai section.

公司先后配合中铁四局集团公司新建深圳地铁一号线四标的综合机电设备安装工程、安徽宿州华电给水管道工程、深圳地铁一期工程区间防火门安装工程、北京地铁五号线四标综合机电设备安装工程及环境与设备监控系统工程、北京地铁一号线综合机电消隐改造工程、北京地铁十号线万柳车辆段设备安装工程、北京奥林匹克公园地下交通联系通道二标段机电安装工程、包头神化煤化工第二循环水安装工程、京沪高铁上海动车段工程。

For example, in the issue in which Life stated editorially that it would folly the Second International, there were over forty words constructions, and meanings which are in the Third International but not in the Second.

比如，《生活》杂志曾在某一期中发表一篇社论，声明它要以《韦氏国际英语词典》为准，可就在这一期的《生活》杂志上却出现了四十多个见之于第三版却未见于第二版的词汇、结构与意义。

Period of time associates before with go in for sth in a large scale have an informal discussion of a few mayor when, they also speak of person of a lot of villages buying computer to have a main reason is for the child, on one hand the competence that they feel computer is each person should be met, so the child must be gotten learn slowly; The 2nd can seek various information through computer really, can acquire even with the thing with close together and relevant course

前一段时间联想跟大兴几十个村长座谈的时候，他们也谈到很多村里人买电脑有一个重要的原因就是为了孩子，一方面他们觉得电脑是每一个人应该会的本领，所以小孩必须得慢慢学会；第二确实通过电脑可以搜寻到各种各样的信息，甚至可以学到跟课程紧密相关的东西

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定理证明系统；第二章讨论了两种定理证明策略，一种是波动策略，它是一种在证明中通过处理归纳结论来激活归纳假设的策略，由于极大的限制了搜索空间，因此搜索效率高。

Miss Chen Hsi-han presented the second report on Frankenstein, written by British writer Mary Shelley in the early 19th century. The story described the debates and conflicts arising from the man-like creature created by scientist Victor Frankenstein; how Frankenstein who manipulating life with science was proud of the creature but later hated and was even afraid of it; and the frustration, begging for sympathy, revenge and regret of the creature after realizing its difference between human beings. The book was generally considered as the beginning of contemporary sci-fi.

第二场由陈熙函小姐报告《科学怪人》，本书为十九世纪初英国作家Mary Shelley所著之小说，讲述一名科学家Victor Frankenstein创造出一似人的「怪物」所引发的思辨与冲突，以科学操弄生命的Frankenstein，从自鸣得意到后来的嫌恶、惧怕「怪物」，而逐渐理解自身与人类不同的「怪物」，亦经历了挫折、恳求、报复与懊悔的阶段；此书一般被视为首开近代科幻小说文类的先河。

" It was dark, but at eleven o'clock the moon rose in the midst of the ocean, whose every wave she silvered, and then,"ascending high, played in floods of pale light on the rocky hills of this second Pelion.

天很黑，但到了十一点钟，月亮从海上升了起来，把海面上染成了一片银色，然后，又一步步上升，把苍白色的光泻满了这座堪称皮隆［此山为希腊东北境内的高山，山中林木茂盛，景色秀丽，在希腊神话诗等文学记载中十分著名。］第二的岩石山。

And thus I left the Island, the Nineteenth of December, as I found by the Ship's Account, in the Year 1686, after I had been upon it eight and twenty Years, two Months, and 19 Days; being deliver'd from this second Captivity, the same Day of the Month, that I first made my Escape in the Barco-Longo, from among the Moors of Sallee.

这样，根据船上的日历，我在一六八六年十二月十九日，离开了这个海岛。我一共在岛上住了二十八年两个月零十九天。我第二次遇难而获救的这一天，恰好和我第一次从萨累的摩尔人手里坐长艇里逃出来，是同月同日。

When Pi is sixteen, his family emigrates from India to North America aboard a Japanese cargo ship, along with their zoo animals bound for new homes.

尽管家庭背景悬殊，他们却渡过一个热情开心的夏天。直到第二次世界大战爆发，两人被迫分开。。。数十年后一名妇人听到一本手札中的故事，透过这些文字回溯这段爱情的起源。

Taekwondo training at two stages, the first phase of training for the color belt, and the belt is divided into nine levels, and beginners, will be subject to a period of training passed an examination before they can be promoted after, taekwondo 10th white belt, 9th, white-yellow belt, 8th yellow belt, 7 - yellow-green belt, 6th green blelt, 5th green-blue belt, 4th blue belt, 3rd blue-red belt, 2nd red belt, 1st red-black belt, students needs at least a year and a half after completion of the first phase of training to more stringent by the requirement to pass an examination for promotion to the second phase of Ho - Black Belt, Black Belt is divided into nine, a few paragraphs is embroidered in black at both ends, and the other for you, Black Belt to Black Belt for some to accept at least four to seven years hard training, but also need to be more than six taekwondo authorized official in charge of the test invigilator.

跆拳道训练分二个阶段，首阶段的为颜色带训练，而色带分为九个级别，而初学者，必须接受一段时间的培训经考试合格后方可晋升，跆拳道十级－白带，八级－黄带，七级－黄绿带，六级－绿带，五级－绿蓝带，四级－蓝带，三级－蓝红带，二级－红带，一级－红黑带，学员最少也需要一年半时间完成第一个阶段后再接受更严格训练经考试合格，方何晋升第二个阶段－黑带，黑带共分九段，段数是刺绣在黑带两端，而供议别，黑带一段至黑带四段要接受最少七年时间苦练，而且还需要得到跆拳道会授权六段以上的监考官负责监考。

That influential artists 2, age is still hours 3, Please give my greetings to your parents 1, his parents made him very happy things 2, a lot of houses have been built to meet the needs of the people 3, Lincoln is considered one of America's greatest president 4, in the prompt at any time, he has published two novels of the 5, to his 18-year-old, I believe that he was the university examinations into the 6, and sometimes it is hard to refuse the invitation of a friend 7, can turn the radio tube smaller 8, many students shut themselves up in a room to learn 9, most of them have experienced the Second World War 10, many people patronize the Carnival 11, the number of students in this school the school in excess 12, I can not help but laugh with them 13, to hear the exciting news, I could not help but jumped up happy 14, who, as a wise leader will be remembered 15, this book belongs to you do 16, master a foreign language is very difficult to 17, I lived in a remote house, but it does not feel lonely 18, can you imagine JOHN do like fishing in the river 19, he was very hard to learn.

问题补充：后面的 1、他父母对他所作的事情很满意 2、已经建造了好多房子来满足人民的需要 3、林肯被认为是美国最伟大的总统之一 4、在提示随时，他已经出版了两本小说了 5、到他十八岁时，我相信他会考进那所大学 6、有时拒绝朋友的邀请真的很难 7、能不能把收音机管小一点 8、许多学生把自己关在房间里学习 9、他们中的大多数人经历过第二次世界大战 10、许多人光顾了嘉年华 11、这所学校的学生数多余那所学校 12、我忍不住和他们一起笑了 13、听到这令人兴奋的消息，我忍不住开心的跳了起来 14、他作为一位睿智的领导人将被永远铭记 15、这本书属于你吗 16、掌握一门外语是很难的 17、我一人住在偏僻的房子里，但并不感到孤单 18、你能想像JOHN在河边钓鱼的样子吗 19、他很努力学习。

But we don't care about Battlegrounds.

但我们并不在乎沙场中的显露。

Ah! don't mention it, the butcher's shop is a horror.

啊！不用提了。提到肉，真是糟透了。