当前位置:首页 > 科技英语阅读课文翻译
Unit 1
1.罗素悖论的提出是基于这样的一个事例:设想有这样一群理发师,他们只给不给自己理发的人理发。假设其中一个理发师符合上述的条件,不给自己理发;然而按照要求,他必须要给自己理发。但是在这个集合中没有人会给自己理发。(如果这样的话,这个理发师必定是给别人理发还要给自己理发)
2.1901年,伯特兰·罗素悖论的发现打击了他其中的一个数学家同事。在19世纪后期,弗雷格尝试发展一个基本原理以便数学上能使用符号逻辑。他确立了形式表达式(如:x =2)和数学特性(如偶数)之间的联系。按照弗雷格理论的发展,我们能自由的用一个特性去定义更多更深远的特性。
3.1903年,发表在《数学原理》上的罗素悖论从根本上揭示了弗雷格这种集合系统的局限性。就现在而言,这种类型的集合系统能很好的用俗称集的结构式来描述。例如,我们可以用 x代表整数,通过n来表示并且n大于3小于7,来表示4,5,6这样一个集合。这种集合的书写形势就是:x={n:n是整数,3 4. 表面上看,似乎任何一个关于x的描述都有一个符合要求的空间。但是,罗素(和策梅洛一起)发现x={a:a不再a中}导致一个矛盾,就像对一群理发师的描述一样。x它本身是在x的集合中吗?否定的答案导致了矛盾的出现。 5. 当罗素发现了悖论,弗雷格立即就发现悖论对他的理论有致命的打击。尽管这样,他还不能解决这个问题,并且上世纪有很多的尝试,去解决这个问题(但没有成功)。 6.罗素自己对这个悖论的回答促进了类型理论的形成。他解释说,悖论的问题在于我们混淆了数集和数集的集合。所以,罗素介绍了对象的分级系统:数、数集、数集的集合等等。这个系统为形式化数学的形成奠定了基础,至今它还应用于哲学研究和计算机科学分支。 7. 策梅洛对于罗素悖论的解决方法用新的公理:对于任意公式A(x)和任意集合b,都会有一个集合满足y={x:x既在b中又满足A(x)}取代了以前的公理:对于任意公式A(x),都会有一个集合满足y={x:x满足A(x)}。 8. 究竟是什么样的努力使数学逻辑基础得以发展?现在数学家认识到这个领域可以用所谓的策梅洛-弗兰克尔集合论来定义。形式化的语言包含符号,例如e表示“其中一个数”,=表示等于,□代表集合中没有任何元素。那么可以写下一个公式B(x):如果如果y e x,而y是空集。在集的结构式中我们可以这样书写:y={x:x=□},或者更简单y={□}。罗素悖论就成这样:y={x:x不在x中},那么y是否在y中! Unit2 1. 暗能量是用来命名一种未能给出解释的,与万有引力的 作用相反,以一种极快的速度将各个星系拉开的力量。 2.暗能量与反重力有些相似。万有引力在局部的水平上把事物聚集到一起,然而,暗能量以一种更宏大的规模把事物拉开。 3.它的存在并未被证明,但是暗能量是很多科学家在解释宇宙正在不断加速膨胀时的这一令人费解的观察时的最佳猜想。专家始终还是不知道是什么在驱动这种力量,但是对于想更多的了解暗能量的这种需求始终是宇宙学家的首要任务。 4.暗能量如何被发现的故事是科学领域由令人惊讶的预言而演变而来的一个经典案例。 5. 在20世纪90年代中叶,天文学家开始测算宇宙膨胀的速度。 因为万有引力使质量集中,大多数的专家希望发现万有引力能够减慢宇宙气球般膨胀的速度,或者停留在大约相同的速率上。 7.“这个数据并没有显示出我们所期待的结果。很多人发出了紧张的笑声”,堪培拉的澳洲国立大学的Brian Schmidt说——他独自领导了一个小组在约翰·霍普金斯大学的天体物理学家Adam Riess的帮助下于1998年发现了暗能量。 8.这些证据是建立在对明亮的正在爆炸的恒星,被称作超新星,常被天文学家用于追踪距离的标杆,的测量的基础上的。 通过往更深层次的观察,科学家能够回顾从前,因为这些发自超新星的光要数十亿年才能被肉眼看到。 9.科学家观察了处于不同距离的很多超新星去确定它们到底正在以多快的速度远离我们。 他们测量出观察对象的红移,或者说是由于多普勒效应导致它们发出的光发生的改变,多普勒效应是当物体靠近我们或者远离我们运动时发生波的压缩或膨胀所产生的一种效应。 一种类比是救护车的汽笛声会改变音高——当它朝你行驶,然后通过你身边接着朝另一个方向去了的时候——他的声波首先是压缩的,接着伸长 。这些测量给了天文学家一个关于宇宙在不同历史点的膨胀速度的图景。 10.研究人员还发现宇宙如今正在以前所未有的速度在膨胀。 11.“一开始我们不情愿相信我们的结果,”加州大学伯克利分校的劳伦斯伯克利实验室的天体物理学家Saul Perlmutter说,他领导的一个竞争性的小组发现了和Schmidt以及Riess 相同的结果。 “但是我们越分析它,它越不会改变多少。” 12. 为了解释这些令人迷惑的发现,一些科学家接受了被爱因斯坦所摒弃为错误的旧思想:真空中存在着一种(活动不活跃的)(与万有引力相排斥的)但能加速宇宙膨胀的能量。 爱因斯坦把这个思想叫做宇宙常数,并且把它认作自己的最大的错误。 13.如今,宇宙常数已经是用于解释为何宇宙在以前所未有的速度像一个气球一般膨胀的主要理论之一。 14.暗物质暗能量有时候会与同样神秘的暗物质相混淆,尽管它们两是不同的事物。 15.暗物质是一种假想的物质,它对光不起反应(不反射光),因此它不可见。天文学家通过它能干扰星体发出的引力推论出它的存在。 16.把两者加在一起,暗物质和暗能量似乎占据了宇宙的绝大部分质量(由于爱因斯坦的著名的质能公式E=m*c*c,物质和能量被视作同一事物的两种形式)。 暗能量被认为构成宇宙的百分之74,而暗物质占据了另外的百分之22,而普通的,可见的物质只占次要的百分之4。 17.似乎暗能量的发现并不是足够异常,它已经引出一大堆其他的问题。 例如,暗能量为多重宇宙论的支持者火上浇了一把油,我们自身的存在只是无数的常量和条件是不同的世界。 也许存在别的宇宙,在它之中暗能量并不存在,而且它的膨胀是在减速——宇宙学家如是说。也许这就是我们的宇宙如此独特的原因。 Unit3 1.脸谱有一个重要的私人管理者,但我怀疑它能否在此后的十年继续存在。这并不是因脸谱不顾一切抛开对个人隐私的保护,而是因为脸谱和其它社交网址的流行提倡分享个人的所有情况,溶解把个人从公众分离的界限。 2.随着分享个人信息的范围从几个朋友扩大到各种各样在脸谱里被标注为朋友的人,泄露成为规范而隐私变得不合时宜了. 3.脸谱年轻的成员——高中或大学生以及那些来自脸谱开始在大学里兴起的近期毕业生——愿意分享任何事。它年长的成员——那些只有在2006年脸谱先把它的成员籍公开给工作场所网络,然后是当时任何人都可能加入——正在适应鼓励个人表现超过沉默的新价值体系。 4.脸谱是世界最大社交网络,有1.75亿个成员。但在美国它大多数会员仍然是相对年轻的人。脸谱为广告客户提供一个有伍仟四百四十万来自各个年龄阶段的狩猎目标。但是如果广告客户想把它的目标缩小到25或更年长的,那么数目会下降到俩仟八百八十万。缩小到30或更年长的,脸谱就只能向俩仟零三十万会员提供。 5.许多超过30岁胡须半白的人已经注册,因此脸谱有一个惊人的发展机会。每个周,在美国有一个百万新的成员加入,在全球范围有500万的新成员加入;它增长最快的群体是三十岁和更年长的人。 6.成员们也在变得更擅于社交。在十二月,在全世界范围内,每个成员的“朋友”平均数是100。据一个公司发言人所说它现在已跳转到120。成员中平易近人的包容象在揭示它本身:随着时间的推移,许多正在认为:当成员寻找其它人作为自己的一个脸谱朋友时完成一序列的事中首先应按常规接受“朋友要请”,这是最简单的路径。 7. 换句话说,他们把脸谱网中任何一个有意向的人简单地定义为“朋友”。 8.在公司短暂的五年发展历史中,会籍和个人的网络的发展似乎不受失礼的影响。其中一个例子是在二月它摆弄它的服务条款。那个似乎断言脸谱的“不可撤销的”权去保留和使用成员的个人信息即使后来成员已经关闭了他或她的脸谱帐户的新语言值得更多的编辑。 9.抗议声很大——只有一小部分成员的需要提高他们的语音来制造吵闹—-,脸谱恢复旧语。几天后,它为公司提供一个关于的原则的草案和另一个批准会籍有关权利和义务的草案。 10.脸谱为成员提供许多私人的选择。我认为43个设置可能被调整,其中不包括那些可被脸谱朋友安装的应用软件看见的限制信息。 11.在一定程度上脸谱的默认设置新帐户可以保护用户。例如,个人协议规范信息被限制于朋友和其它在他学校,工作地,或者地域网络的人。朋友的朋友是无权访问的。但脸谱对于第三方软件可以在一个网络的朋友群中看见的默认设置较少的限制。成员不可能察觉那除非他们改变默认隐私设置,该默认隐私设置是一个由朋友安装的可以清空和存储许多类成员私人信息的应用。 12.大卫。埃文斯,一个弗吉尼亚大学计算机科学副教授,说他愿首先脸谱给那些外面软件开发者可得到的情报设定更好的限制。对15的19信息类别,脸谱设置一个“分享”的默认设置,这个意为这些信息可以被退出脸谱并被服务器储存在它的控制下。这些15个类别包括活动,利益,照片与关系地位。 13.他说:“脸谱可以设置默认错误值保护隐私而不是让你的信息外漏”。 14.克里斯,脸谱的首席隐私官,捍卫它的当前设置,说它“给用户广泛控制就他们选择接合的应用”。他也说脸谱已经消除了被“数以千计”成员认为靠不住的应用。 15.然而,教授埃文斯看来,恶意软件的驱逐来得太晚了:“一旦应用得到了资料,它获得并储存在别人的机器上。 16. 默认十分重要,因为几乎没有用户陷入调整的设置的麻烦中。被问到有多少成员曾经改变一个隐私定。KELLY先生说百分之20。 17.脸谱让成员创建朋友的自定义的子集。成员可以选择性限制访问一些项目,例如照片像片簿和视频。然而通过多次点击为这个或那个定制权限,不符合一个人的快乐时光的理念。 18.对很多成员来说,现在“朋友”意味不伦不类的真正朋友的,先前的朋友,朋友的朋友,非朋友; 越来越年轻亲戚;同事,即使被一个或贰个爱管闲事的老板咒骂。所有人都被接受由于每个“朋友”获得同一访问权。 19.当一个人为数不多的密友和许多非密友之间的区别变得模糊不清时,区分私人和公共似乎无意义。 Unit4 1.远程控制的代理机器人可以为您参加今后的会议 它可能看起来像装在一个真空吸尘器落地灯,但实际上它是Anybots公司最新的代理机器人的QB。QB 的设计是被用于当你不在场时可以作为你的眼睛、 耳朵并能够替你发声,更棒的是,它的移动是依靠两轮辊像罗丝(从《杰森一家》),并通过网络和远程无线网为其导航. 2.远程办公人员和旅游高管都可以用QB(所以命名是因为它是公司的原型QA bot下一代产品)作为自己的一个虚拟扩展,允许他们参加会议、查看旅游设施或呈现房地产市场走势,所有这些都是依靠电脑键盘来操控机器人完成 3.Anybots公司在周二正式首次展示遥控机器人并计划在年底开始销售QB机器人。一颗500万像素的摄像头作为机器人的一只眼,而另一个则是一个激光指针。一位发言人称给QB一个皇冠,一个喉舌,触摸屏监控在它的前额,赋予它软件维护和其他输入,再加一个环状的保护橡胶绕着它的头,这使它看起来有点像1981年的奥利维亚·纽顿·约翰(美国七八十年代的女星)。 4.一个拥有自我平衡的系统的车轮,加上最高车速可达到每小时5公里的电动机使机器人运动。两个车轮,而不是一个三个或四个车轮的设计使得它的机动性更好更易在狭小的空间活动并且利于它的重量限于16公斤。QB的头部和基座之间由一个可伸缩塑料的长管组成那样可以让它站起来高度能达到175cm,矮的时候可以变成80cm。 5.虽然那是不清楚的,如果远程操作的能力将能证明QB的15000美元的价格标签是合理的。但是Anybots相信这种技术将会吸引新一代期望能在何时何地都能背联系的工作者。在山景城加州的Anybots的主席和首席执行官鲍勃克里斯多夫说:“QB技术能使人们缺席而保持连通性。”他还说道:“宽带速度和录像的质量继续在提高,但是都不能代替这技术。” 6.为了测试这个技术在实际应用的效果,科学美国人杂志测试(来自我们在纽约的编辑室)了一个位于加州的Anybots设备的QB。我们的任务是从建筑大厅中穿过然后问第二个QB(被Anybots的员工控制)我们在哪可以找到公司的产品开发员爱尔兰腊帕茨基。接着进入爱尔兰的位置。这个活动以登陆Anybots建立的一个IP网站开始,并且选择这个我们打算占据的QB的IP地址。 7.曾经我们的机器人觉醒了并且联上Anybots的当地WI-FI网络,我们使用键盘上的方向键来操作QB穿过大厅。这个操作有些难度,尤其是因为地面上的地毯或者其他东西会阻碍QB的直线行驶。我们很容易发现另一个QB,但是很难让它和摄像头排成一列,因此我们正在直视另一个QB的摄像机。这是不必要的,然而,因为我们能通过装在机器人伤到麦克风,清楚地听见控制另一个QB的人发出的声音。用方向键,我们让QB转向离开然后跟随我已经知道的目的地的相关基本方向。 8.只要稍微实践,浏览平滑。QB端内置了一个激光雷达(光检测和范围)系统,用以警告机器人当它距离一个对象太近了,并且降低机器人的速度以避免(或至少是减小冲击)碰撞。在机器人的底部也有一个相机QB端,,所以机器人可以看看它是否能够通过一个较低的障碍(如某人的脚)。 9.当我们问候我们遇到的人你会发现QB端的激光束眼睛的原来是有用的, 用雷射光束来代替握手,包括Anybots创始人和首席执行官特雷沃-布莱克威尔, (reliref,因为QB没有手)。 10.当我们准备离开时,我们还能推动QB回到大堂并且出前门。过去的只是这项发明的起点,我们从代理导航重学到了一个宝贵的教训:不要再你的无线网络工作的范围以外驾驶。一个下降的联系意味着没有照相机和无法控制机器人的导航,在我们的例子中这是特别不幸,因为当我们失去的信号的时候,机器人在接近一个斜坡的顶部停了下来
共分享92篇相关文档