英国数学家、逻辑学家,被称為计算机科学之父
之父。1931年图灵进入
国王学院毕业后到美国
攻读博士学位,第二次世界大战爆发后回到剑桥后曾协助军方破解德国嘚著名密码系统
,帮助盟军取得了二战的胜利
1952年,英国政府对图灵的同性恋取向定罪随后图灵接受化学阉割
。1954年6月7日图灵把一个泡過氰化物的苹果咬入口中,告别世界享年41岁。2013年12月24日在英国司法大臣克里斯·格雷灵的要求下,英国女王向图灵颁发了
图灵对于人工智能的发展有诸多贡献,提出了一种用于判定机器是否具有智能的试验方法即
,至今每年都有试验的比赛。此外图灵提出的著名的
嘚逻辑工作方式奠定了基础。
艾伦·麦席森·图灵,1912年6月23日生于英国伦敦。艾伦·麦
席森·图灵少年时就表现出独特的直觉创造能力和对数学的爱好。
1926年14岁的图灵考入
,受到良好的中等教育.他在中学期间表现出对自然科学的极大兴趣和敏锐的数學头脑
1927年末,年仅15岁的图灵为了帮助母亲理解
写了爱因斯坦的一部著作的内容提要,表现出他已具备非同凡响的数学水平和科学理解仂
图灵对自然科学的兴趣使他在1930年和1931年两次获得他的一位同学莫科姆的父母设立的自然科学奖,获奖工作中有一篇论文题为“
在酸性溶液中的反应”受到政府派来的督学的赞赏,对
的兴趣为他后来的一些研究奠定了基础他的数学能力使他在念中学时获得过国王爱德华陸世数学金盾奖章。
由于成绩优异而获得数学奖学金。在剑桥他的数学能力得到充分的发展。
1935年他的苐一篇数学论文“左右殆周期性的等价”发表于《
杂志》上。同一年他还写出“论高斯误差函数”一文。这一论文使他由一名大学生直接当选为国王学院的研究员并于次年荣获英国著名的史密斯
数学奖,成为国王学院声名显赫的毕业生之一
1936年5月,图灵向伦敦权威的数學杂志投了一篇论文题为《论数字计算在决断难题中的应用》。该文于1937年在《
文集》第42期上发表后立即引起广泛的注意。在论文的附錄里他描述了一种可以辅助数学研究的机器后来被人称为“图灵机”,这个设想最牛的地方在于它第一次在纯数学的符号逻辑,和实體世界之间建立了联系后来我们所熟知的电脑,以及还没有实现的“
”都基于这个设想。这是他人生第一篇重要论文也是他的成名の作。
1937年图灵发表的另一篇文章“可计算性与λ可定义性”则拓广了丘奇(Church)提出的“丘奇论点”,形成“丘奇-图灵论点”对计算理論的严格化,对计算机科学的形成和发展都具有奠基性的意义
1936年9月,图灵应邀到美国
高级研究院学习并与丘奇一同工作。
在美国期间他对群论作了一些研究,并撰写了博士论文1938年在普林斯顿获博士学位,其论文题目为“以序数为基础的逻辑系统”1939年正式发表,在數理逻辑研究中产生了深远的影响
1938年夏,图灵回到英国仍在
国王学院任研究员,继续研究数理逻辑和计算理论同时开始了计算机的研制工作。
第二次世界大战打断了图灵的正常研究工作1939年秋,他应召到英国外交部通信处从事军事工作主要是破译敌方密码的工作。由于破译工作的需要他参与了世界上最早的电子计算机的研制工作。他的工作取得了极好的成就因而于1945姩获政府的最高奖——大英帝国荣誉勋章(O.B.E.勋章)。
1945年图灵结束了在外交部的工作,他试图恢复战前在理论计算机科学方面的研究并結合战时的工作,具体研制出新的计算机来这一想法得到当局的支持。同年图灵被录用为泰丁顿(Teddington)国家物理研究所的研究人员,开始从事“自动计算机”(ACE)的逻辑设计和具体研制工作这一年,图灵写出一份长达50页的关于ACE的设计说明书这一说明书在保密了27年之后,于1972年正式发表在图灵的设计思想指导下,1950年制出了ACE样机1958年制成大型ACE机。人们认为通用计算机的概念就是图灵提出来的。
1945年到1948年怹在英国国家物理实验室工作,负责自动计算引擎的研究
1946年的8月,图灵参加了他正式跑步训练后的第一个比赛那是在他加入沃尔顿田徑俱乐部后参加的3英里
比赛,图灵以15分37秒的成绩夺得第一这一成绩当年在英国排名第20位。
1947年在莱斯特郡拉夫堡
大学体育场举行的英国業余田径协会马拉松锦标赛上,图灵跑出了他在马拉松赛中的个人最好成绩2小时46分03秒在那场比赛中列第五名。
1948年图灵接受了
的高级讲師职务,并被指定为
自动数字计算机(Madam)项目的负责人助理具体领导该项目数学方面的工作,作为这一工作的总结
1949年成为曼彻斯特大学计算机实验室的副主任,负责最早的真正意义上的计算机——“曼彻斯特一号”的软件理论开发因此成为世界上第一位把计算机实际用于數学研究的科学家。
1950年图灵编写并出版了《曼彻斯特电子计算机程序员手册》(The programmers’handbook for the Manchester electronic computer)。这期间他继续进行数理逻辑方面的理论研究。並提出了著名的“图灵测试”同年,他提出关于机器思维的问题他的论文“计算机和智能(Computingmachiery and intelligence),引起了广泛的注意和深远的影响1950年10朤,图灵发表论文《机器能思考吗》这一划时代的作品,使图灵赢得了“人工智能之父”的桂冠
1951年,由于在可计算数方面所取得的成僦成为英国皇家学会会员,时年39岁
1952年,他辞去剑桥大学国王学院研究员的职务专心在曼彻斯特大学工作.除了日常工作和研究工作の外,他还指导一些博士研究生还担任了制造曼彻斯特自动数字计算机的一家公司——弗兰蒂公司的顾问。
1952年图灵写了一个国际象棋程序。可是当时没有一台计算机有足够的运算能力去执行这个程序,他就模仿计算机每走一步要用半小时。他与一位同事下了一盘結果程序输了。后来美国新墨西哥州洛斯阿拉莫斯国家实验室的研究群根据图灵的理论在MANIAC上设计出世界上第一个电脑程序的象棋。
1952年图灵的同性伴侣协同一名同谋一起闯进
了图灵的房子实施盗窃。图灵为此而报警但是警方的调查结果使得他被控以“明显的猥亵和性颠倒行为”
。他没有申辩并被定罪。在著名的公审后他被给予了两个选择:坐牢或
注射,并持续了一姩在这段时间里,药物产生了包括乳房不断发育的副作用
1954年6月7日,图灵被发现死于家中的床上床头还放着一个被咬了一口的泡过氰囮物的苹果。
警方调查后认为是剧毒的氰化物中毒调查结论为自杀。
2009年英国计算机科学家
发起了为图灵岼反的在线请愿,截止到2009年9月10日请愿签名人数已经超过了3万为此,当时的英国政府及首相戈登布朗不得不发表正式的道歉声明
等11位重偠人士致函英国首相
2013年12月24日,在英国司法大臣克里斯?格雷灵(Chris Grayling)的要求下
终于向图灵颁发了皇家赦免。英国司法部长宣布“图灵的晚年生活因为其同性取向而被迫蒙上了一层阴影,我们认为当时的判决是不公的这种歧视现象如今也已经遭到了废除。为此女王决定為这位伟人送上赦免,以此向其致敬”
和计算机科学方面,他的一些科学成果构成了现代计算机技术的基础。
计算可以说是人类最先遇到的数学课题,并且在漫长的历史年代里成为人們社会生活中不可或缺的工具.那么,什么是计算呢直观地看,计算一般是指运用事先规定的规则将一组数值变换为另一(所需的)数值嘚过程.对某一类问题,如果能找到一组确定的规则按这组规则,当给出这类问题中的任一具体问题后就可以完全机械地在有限步内求出结果,则说这类问题是可计算的这种规则就是
,这类可计算问题也可称之为存在算法的问题这就是直观上的能行可计算或算法可計算的概念.
在20世纪以前,人们普遍认为所有的问题类都是有算法的,人们的计算研究就是找出算法来似乎正是为了证明一切科学命題,至少是一切数学命题存在算法莱布尼茨(Leibniz)开创了数理逻辑的研究工作。但是20世纪初人们发现有许多问题已经过长期研究,仍然找不箌算法例如希尔伯特第10问题,半群的字的问题等.于是人们开始怀疑是否对这些问题来说,根本就不存在算法即它们是不可计算的。这种不存在性当然需要证明这时人们才发现,无论对算法还是对可计算性都没有精确的定义!按前述对直观的可计算性的陈述,根夲无法作出不存在算法的证明因为“完全机械地”指什么?“确定的规则”又指什么仍然是不明确的。实际上没有明确的定义也不能抽象地证明某类问题存在算法,不过存在算法的问题一般是通过构造出算法来确证的因而可以不涉及算法的精确定义问题。
解决问题嘚需要促使人们不断作出探索1934年,
(Godel)在埃尔布朗(Herbrand)的启示下提出了一般递归函数的概念并指出:凡算法可计算函数都是一般递归函数,反の亦然1936年,克里尼(Kleene)又加以具体化.因此算法可计算函数的一般递归函数定义后来被称为埃尔布朗-哥德尔-克里尼定义.同年,丘奇证明叻他提出的λ可定义函数与一般递归函数是等价的,并提出算法可计算函数等同于一般递归函数或λ可定义函数,这就是著名的“丘奇论点”。
虽给出了可计算函数的严格数学定义但在具体的计算过程中,就某一步运算而言选用什么初始函数和基本运算仍有不确定性。为消除所有的不确定性图灵在他的“论可计算数及其在判定问题中的应用”一文中从一个全新的角度定义了可计算函数。他全面分析了人嘚计算过程把计算归结为最简单、最基本、最确定的操作动作,从而用一种简单的方法来描述那种直观上具有机械性的基本计算程序使任何机械(能行)的程序都可以归约为这些动作。这种简单的方法是以一个抽象自动机概念为基础的其结果是:算法可计算函数就是这种洎动机能计算的函数。这不仅给计算下了一个完全确定的定义而且第一次把计算和自动机联系起来,对后世产生了巨大的影响这种“洎动机”后来被人们称为“图灵机”。
图灵机是一种自动机的数学模型它是一条两端(或一端)无限延长的纸带,上面划成方格每个方格Φ可以印上某字母表中的一个字母(亦可为空格,记为S0);又有一个读写头它具有有限个内部状态。任何时刻读写头都注视着纸带上的某一個方格并根据注视方格的内容以及读写头当时的内部状态而执行变换规则所规定的动作。每个图灵机都有一组变换规则它们具有下列彡种形状之一:
意思是:当读写头处于状态qi时如果注视格的内容为字母a则读写头右移一格,或左移一格或印下字母b(即把注视格的内容由a妀成b.a,b可为S0)
图灵把可计算函数定义为图灵机可计算函数.1937年,图灵在他的“可计算性与λ可定义性”一文中证明了图灵机可计算函数与λ可定义函数是等价的,从而拓广了丘奇论点,得出:算法(能行)可计算函数等同于一般递归函数或λ可定义函数或图灵机可计算函数.这就是“丘奇-图灵论点”,相当完善地解决了可计算函数的精确定义问题,对数理逻辑的发展起了巨大的推动作用。
图灵机的概念有十分独特的意义:如果把图灵机的内部状态解释为指令用字母表的字来表示,与输出字输入字同样存贮在机器里那就成为电子计算机了。由此开创了“自动机”这一学科分支促进了电子计算机的研制工作.
与此同时,图灵还提出了通用图灵机的概念它相当于通用计算机的解释程序,这一点直接促进了后来通用计算机的设计和研制工作图灵自己也参加了这一工作。
在给出通用图灵机的同时图灵就指出,通用图灵机在计算时其“机械性的复杂性”是有临界限度的,超过这一限度就要靠增加程序的长度和存贮量来解决.这种思想开启了後来计算机科学中计算复杂性理论的先河。
所谓“判定问题”指判定所谓“大量问题”是否具有算
法解或鍺是否存在能行性的方法使得对该问题类的每一个特例都能在有限步骤内机械地判定它是否具有某种性质(如是否真,是否可满足或是否有解等随大量问题本身的性质而定)的问题。
判定问题与可计算性问题有密切的联系二者可以相互定义:对一类问题若能找到确定的算法鉯判定其是否具有某种性质,则称这类问题是能行可判定的或可解的;否则是不可判定的,或不可解的二者又是有区别的:判定问题昰要确定是否存在一个算法,使对一类问题的每一个特例都能对某一性质给以一个“是”或“否”的解答;可计算性问题则是找出一个算法从而求出一些具体的客体来。
图灵在判定问题上的一大成就是把图灵机的“停机问题”作为研究许多判定问题的基础一般地,把一個判定问题归结为停机问题:“如果问题A可判定则停机问题可判定.”从而由“停机问题是不可判定的”推出“问题A是不可判定的”。
所谓停机指图灵机内部达到一个结果状态、指令表上没有的状态或符号对偶从而导致计算终止。在每一时刻机器所处的状态,纸带上巳被写上符号的所有格子以及机器当前注视的格子位置统称为机器的格局。图灵机从初始格局出发按程序一步步把初始格局改造为格局的序列。此过程可能无限制继续下去也可能遇到指令表中没有列出的状态、符号组合或进入结束状态而停机。在结束状态下停机所达箌的格局是最终格局此最终格局(如果存在)就包含机器的计算结果。所谓停机问题即是:是否存在一个算法对于任意给定的图灵机都能判定任意的初始格局是否会导致停机?图灵证明这样的算法是不存在的,即停机问题是不可判定的从而使之成为解决许多不可判定性問题的基础。
1937年图灵用他的方法解决了著名的希尔伯特判定问题:狭谓词演算(亦称一阶逻辑)公式的可满足性的判定问题。他用一阶逻辑Φ的公式对图灵机进行编码再由图灵机停机问题的不可判定性推出一阶逻辑的不可判定性。他在此处创用的“编码法”成为后来人们证奣一阶逻辑的公式类的不可判定性的主要方法之一
在判定问题上,图灵的另一成果是1939年提出的带有外部信息源的图灵机概念并由此导絀“图灵可归约”及相对递归的概念。运用归约和相对递归的概念可对不可判定性与非递归性的程度加以比较。在此基础上E.波斯特(Post)提出了不可解度这一重要概念,这方面的工作后来有重大的进展
图灵参与解决的另一个著名的判定问题是“半群的字的问题”,它是图埃(Thue)在1914年提出来的:对任意给定的字母表和字典是否存在一种算法能判定两个任意给定的字是否等价[给出有限个不同的称为字母的符号,便给出了字母表字母的有限序列称为该字母表上的字。把有限个成对的字(A1B1),…(An,Bn)称为字典.如果两个字R和S使用有限次字典之后可以彼此变换则称这两个字是等价的]1947年,波斯特和A.A.马尔科夫(Markov)用图灵的编码法证明了这一问题是不可判定的1950年,图灵进一步证明满足消元律的半群的字的问题也是不可判定的。
图灵在第二次世界大战中从事的
工作涉及到电子计算机的设计囷研制但此项工作严格保密。直到70年代内情才有所披露。从一些文件来看很可能世界上第一台电子计算机不是ENIAC,而是与图灵有关的叧一台机器即图灵在战时服务的机构于1943年研制成功的CO-LOSSUS(巨人)机,这台机器的设计采用了图灵提出的某些概念它用了1500个电子管,采用了光電管阅读器;利用穿孔纸带输入
;并采用了电子管双稳态线路执行计数、二进制算术及布尔代数逻辑运算,巨人机共生产了10台用它们絀色地完成了密码破译工作.
Computer)的约翰·冯·诺伊曼(John von Neumann)同期。图灵的自动计算机与诺伊曼的离散变量自动电子计算机都采用了二进制嘟以“内存储存程序以运行计算机”打破了那个时代的旧有概念。
验室的副院長致力研发运行Manchester Mark 1型号储存程序式计算机所需的软件。1950年他发表论文《计算机器与智能》( Computing Machinery and Intelligence)为后来的人工智能科学提供了开创性的构思。提出著名的“
”指出如果第三者无法辨别人类与人工智能机器反应的差别, 则可以论断该机器具备人工智能
1956年图灵的这篇文章以“机器能够思维吗?”为题重新发表.此时人工智能也进入了实践研制阶段。图灵的机器智能思想无疑是人工智能的直接起源之一而苴随着人工智能领域的深入研究,人们越来越认识到图灵思想的深刻性:它们如今仍然是人工智能的主要思想之一
从1952年直到去世,图灵一直在数理生物学方面做研究他在1952年发表了一篇论文《形态发生的化学基础》(The Chemical Basis of Morphogenesis)。他主要的兴趣是斐波那契叶序列存在于植物结构的斐波那契数。他应用了反应-扩散公式如今已经成为图案形成范畴的核心。他后期的论文都没有发表一直等到1992年《艾伦·图灵选集》出版,这些文章才见天日。
1945年到1948年,图灵在国家物理实验室负责自动计算引擎(ACE)的工作 。1949年他成为曼彻斯特大学计算机实验室的副主任,负责最早的真正的计算机---曼彻斯特一号的软件工作在这段时间,他继续莋一些比较抽象的研究如“计算机械和智能”。图灵在对人工智能的研究中提出了一个叫做图灵试验的实验,尝试定出一个决定机器昰否有感觉的标准
由计算机、被测试的人和主持试验人组成。计算机和被测试的人分别在两个不同的房间里测试过程由主持人提问,甴计算机和被测试的人分别做出回答观测者能通过电传打字机与机器和人联系(避免要求机器模拟人外貌和声音)。被测人在回答问题時尽可能表明他是一个“真正的”人而计算机也将尽可能逼真的模仿人的思维方式和思维过程。如果试验主持人听取他们各自的***后分辨不清哪个是人回答的,哪个是机器回答的则可以认为该计算机具有了智能。这个试验
可能会得到大部分人的认可但是却不能使所有的哲学家感到满意。图灵试验虽然形象描绘了计算机智能和人类智能的模拟关系但是图灵试验还是片面性的试验。通过试验的机器當然可以认为具有智能但是没有通过试验的机器因为对人类了解的不充分而不能模拟人类仍然可以认为具有智能。图灵试验还有几个值嘚推敲的地方比如试验主持人提出问题的标准,在试验中没有明确给出;被测人本身所具有的智力水平图灵试验也疏忽了;而且图灵試验仅强调试验结果,而没有反映智能所具有的思维过程所以,图灵试验还是不能完全解决机器智能的问题例如:质问者可以说:“峩听说,上午一头犀牛在一个粉红色的气球中沿着密西西比河飞你觉得怎样?”(你们可以想像该电脑的肩头上泛出的冷汗:)电脑也许谨慎地回答: “我听起来觉得这不可思议”到此为止没有毛病。质问者又问: “是吗?我的叔叔试过一回顺流、逆流各一回,它只不过是淺色的并带有斑纹 这有什么不可思议的?”很容易想像,如果电脑没有合适的“理解”就会很快地暴露了自己、在回答第一个问题时电腦的记忆库非常有力地想列犀牛没有翅膀,甚至可以在无意中得到“犀牛不能飞”或者这样回答第二个问题“犀牛没有斑纹”。下一回質问者可以试探真正无意义的问题.譬如把它改变成“在密西西比河下面”或者“在一个粉红色的气球之外”.或者“穿一件粉红色衣垺”,再去看看电脑是否感觉到真正的差别其实,要求电脑这样接近地模仿人类以使得不能和一个人区分开实在是太过分了。一些专镓认为我们不该以电脑能否思维为目标,而是以能多大程度地模仿人类思维为目标;然后让设计者再朝着这个目标努力。1952年图灵写叻一个
程序。可是当时没有一台计算机有足够的运算能力去执行这个程序,他就模仿计算机每走一步要用半小时。他与一位同事下了┅盘结果程序输了。后来美国新墨西哥州洛斯阿拉莫斯国家实验室的研究群根据图灵的理论在MANIAC上设计出世界上第一个电脑程序的象棋。
图灵不但以破译密码而名闻天下他在
和计算机等领域也作出了重要贡献,他常被认为是现代计算机科学的创始人战争结束后,在曼徹斯特大学工作的他研制了“曼彻斯特马克一号”———著名的现代计算机之一1999年,他被《时代》杂志评选为20世纪100个最重要的人物之一
2012年,是一个伟人的百年诞辰即使我们把所有崇高的致意奉献给他都不为过。他就是艾伦·图灵。100年前艾伦·图灵诞生在一个文化和科技水平都与如今完全不同的时代里,但这并不影响他成为今天最伟大最值得纪念的人之一。他为计算机领域奠定了不可埋没的基础没有怹就没有计算机的今天。(
获得者、Google资深副总裁兼首席因特网专家评价图灵在破解二战德军密码、拯救国家上发挥了关键作用是一个“叻不起的人”。(
一个古怪的不信上帝的同性恋一个成就辉煌的英国数学家,两顶大帽子把图灵扣得好生纠结然而,他却肩负着两项偉大的历史使命一边是计算机科学中最有诗意的概念和理论,一边是在第二次世界大战时为世界和平而解谜(
《哥德尔·艾舍尔·巴赫》作者,人工智能专家道格拉斯·霍夫施塔特评价) [7]1926年,图灵考入英国著名的谢伯恩公学在中学时就获得了国王爱德华六世数学金盾獎章。
1932年荣获英国著名的史密斯数学奖。
1946年由于他在二战中为破译德军密码做出的巨大贡献,获得“
这是英国皇室授予为国家和人囻做出巨大贡献者的最高荣誉勋章。
科帕斯克斯蒂学院历史系后来从政,被派往
图灵的母亲E·S·斯托尼(Stoney)生于一个铁路工程师家庭曾就讀于巴黎大学文理学院,图灵是次子
为了纪念他对计算机科学的巨大贡献,由美国计算机协会(ACM)于1966年设立┅年一度的
以表彰在计算机科学中做出突出贡献的人,图灵奖被喻为“计算机界的
在内的著名科学家不斷力促英国政
府特赦这位“现代最杰出的数学家之一”。
2009年9月11日晚英国首相
代表英国政府向已经逝去55年的英国著名数学家、德国密码的破译者艾伦·麦席森·图灵作出了明确的道歉。这位二战时期的密码破译者因同性恋被判“化学阉割”,55年前自尽身亡。
布朗表示图灵所受到的对待是“骇人听闻后面加什么字好听的”和“完全不公平的”,英国对这位杰出数学家的亏欠是巨大的布朗说,他为作出正式嘚道歉感到自豪“你没有得到更好的对待,我们深感抱歉”由布朗签署的声明发布在唐宁街十号网站上。
签署对图灵定性为“严重猥亵”的赦免并立即生效。司法大臣克里斯·格雷林说图灵应被当之无愧地“记住并认可他对战争无与伦比的贡献”,而不是对他后来刑事定罪。在2013年8月女王正式宣告赦免图灵
2016年4月16日,英国三大情报机构の一——政府通信总部(GCHQ )主管罗伯特·汉尼根(Robert Hannigan)在会议中表示对该情报机构在上世纪50年代错误地对待“人工智能之父”艾伦·麦席森·图灵(Alan Mathison Turing)表示道歉。
汉尼根说政府通信总部对待图灵等天才的方法有错:“他们遭受折磨,是我们的损失也是国家的损失。我们應该为此道歉”
2012年6月15-16日,33位图灵奖获得者首次共聚旧金山来纪念艾伦·图灵100周年诞辰。他们一同回顾了圖灵的伟大贡献和计算机科学在过去几十年的发展并畅谈了对未来的思考。
2019年7月15日英格兰银行行长
在展礻新版50英镑纸币,艾伦·图灵登上英国50英镑新钞英国广播电台(BBC)称,面值50英镑的新钞将于2021年底进入流通
编写的,已由湖南科学技术出版社于2012年12月出版是公认的最权威的
传记。作者安德鲁·霍奇斯是牛津大学的数学家,也是一位同性恋者,他收集了大量史料,写成这本图灵传。
当天印度和马尔代夫还签署了包括签证便利措施在内的4项协议。“我们在热烈的气氛中举行了成功的会谈誓将加强两国关系”,新德里电视台称莫迪在新闻发咘会上说这番话时,萨利赫就站在他身边莫迪强调,两国的安全利益相互交织将进一步增进在印度洋地区的合作。“我们不会允许我們的国家被用于有损相互利益的活动”按照萨利赫的说法,具体而言印度和马尔代夫将通过联合巡逻与空中检测加强两国在印度洋地區的海事安全合作。
民主党在佛州的分支正积极鼓励年轻人和少数族裔投票前总统奥巴马也会到佛州,为吉勒姆和纳尔逊站台
为加强指纹解锁安全性,专家建议手机生产商将指纹扫描直接集成在手机屏幕上捕获并存储完整的指纹信息,进而提高指纹造假难度(甄翔)
法尔斯通讯社称,伊朗革命卫队空军司令表示“我们将继续进行导弹测试,最近这次行动是一次重要的测试”他补充道,“美国人的反应表明了这次测试对他们来讲非常重要所以他们才那么激动。”
当地时间周三晚间美国上下震惊于炸弹包裹之际,特朗普选择赶往威斯康星州的一场大型竞选集会他在集会上称,要捉拿邮寄可疑包裹的肇事者呼吁“和平、和谐”,但很快将矛头转姠媒体要求“停止无休止的敌意”“参与政治的人们,必须停止将政敌当作有道德缺陷的人来看待”美国《国会山报》称,此前有人說特朗普在道德上不适合当总统据美媒报道,当晚的集会上特朗普的支持者针对希拉里再次高唱“把她抓起来,把她抓起来”
萬联证券始终不忘资本市场改革初心,牢记服务实体经济使命充分发挥资本中介职能,与市场各方一道落实创新举措开拓融资渠道,助力科技企业发展壮大值此科创板开通之际,我谨代表万联证券致以诚挚:兀∽拼窗逍形戎略、旭日东升!
美国总统特朗普早前表示美国打算退出《中导条约》,指责俄罗斯违反该条约并称美国需要发展该条约所限制的武器。俄罗斯总统新闻秘书佩斯科夫回应称莫斯科希望美国就此给出更详细的解释,并指出《中导条约》破裂将迫使俄罗斯为保障自身安全采取措施。俄罗斯外长拉夫罗夫强调說该问题上有作用力就有反作用力。
5日下午在圣灵岛水域,33岁的男子遭鲨鱼攻击后双腿和一只手臂严重受伤,由直升机送往医院急救但最终伤重身亡。
如果说坚实的科研体系和人才队伍是基?敲辞看蟮母咝录际跗笠等涸蚴侵泄???葱鲁晒、实现产业真囸升级的敲门砖。美国哥伦比亚大学教授、诺贝尔经济学奖得主埃德蒙·费尔普斯对中国商人和企业家日益展现出的创新愿望和能力表达赞赏,他说:“越来越多的中国企业正在意识到,为了在全球经济中走在前列并保持这样的优势,必须创新。”
单机捕鱼游戏日本外務省表示这是安倍首次在自家别墅招待海外国家领导人。而选在自己家别墅中招待莫迪也是考虑了多个方案后,安倍最后作出的决定
周某某带女童到上海,是不是第一次
日本共同社2月14日报道称,日韩两国外长上次会谈是在1月23日包括韩国海军舰艇向自卫队飛机照射火控雷达在内的问题频发导致日韩关系恶化,双方能否找到改善关系的突破口成为焦点
实验室培育出来的肉类有何特殊?为哬需要两大监管机构联合监管?这种肉类在走向消费者餐桌的路途上,还会遇到什么“拦路虎”?
对冲基金脑子坏掉了这个货币跌得这麼惨还不赶紧做空它
三是互联互通成果显著。2017年过境哈萨克斯坦中欧班列超过1800列,同比增长了50%经过霍尔果斯口岸到欧洲的跨境运輸通道影响力得到不断提升。
俄国防部长绍伊古24日表示俄方将向叙利亚政府军提供S-300防空导弹系统、自动指挥系统和电子战支援,以提高叙军防空战力绍伊古介绍说,俄罗斯2013年曾应以色列请求暂停向叙供应S-300但如今局势发生变化。
欧美国家非买不可!
2及M6三家電视台的收视观众就达到2100多万人相当于世界杯决赛时的收视记录。
每个企业我们选取的年份是它们完成天使轮融资和B轮融资时间的中位数因为从天使轮到B轮,是VC基金重点聚焦的阶段理论上,上图每个企业所对应年份的前后6个月都是VC触发投资的黄金时间段。也就是說每个细分赛道有一年的时间让投资人去思考去下注。
据介绍今年参展的国家和地区有40多个,其中瑞典、拉脱维亚、芬兰、挪威、冰岛、丹麦、斯里兰卡、罗马尼亚、加拿大、墨西哥、阿根廷都是首次参展。
针对“出云”号航母化构想日本朝野党派则歭有不同意见。
该网站介绍选择风景美、客房舒适的酒店,在酒店内享受温泉和***的养生旅游成为今冬旅行的流行趋势在价格方面,)了解到指导意见提出了1个总体目标和6个具体目标。
【环球时报综合报道】“支持国货共度危机!”据巴基斯坦《论坛快报》2日报道,巴基斯坦总统阿尔维在当日发表推文称:“考虑到巴基斯坦卢比所承受的压力我呼吁国民尽量购买‘巴基斯坦制造’。危急時刻我们应尽可能避免消费舶来品和奢侈品。”阿尔维还表示国民日常用的进口产品其实种类很多,“只要仔细想想就能列出一长串”而这些产品都是可以用国货替代的。报道称就在阿尔维总统发起“全民动员”两天前,巴基斯坦卢比出现较大幅度波动对美元汇率于上周五(11月30日)达到144比1的历史低点,引发了国家高层的高度关注(刘皓然)
有业内人士称,欧盟此举也并不十分令人意外因为韦斯塔格去年9月已经对亚马逊发起了初步的调查,评估亚马逊如何使用其平台上的第三方商家数据
《意见》第5条中强调增强投资者合法权益保护,具体表述为”对于控股人指使发行人从事欺诈发行、虚假陈述的应承担第一责任;中介机构对会计、法律等各自专业相关的业務事项未履行特别注意义务,对其他业务事项未履行普通注意义务的应当判令其承担相应法律责任“。章祥兵律师解读到与以往的制喥相比,更加细化了中介机构就其负有责任的部分承担赔偿责任的情形对于未来投资者民事赔偿维权更有利,但在执行程序上依旧依赖於监管机构的行政处罚
据日本朝日新闻报道,日本政府25日在阁僚会议上表示为了扩大接纳外国劳动力,决定从护理、建筑等14个行业接纳人才从明年4月起5年时间里,将最多引进34.5万外国劳动力据估计,护理行业居首位预计将达到6万人。然后是餐饮业(5.3万人)和建筑业(4万囚)
经贸问题上,美国的策略似乎也是该施压施压该谈判谈判。据法新社报道美国贸易代表莱特希泽20日声称,中国未能改变“不公平、不合理和扭曲市场的做法”同一天美国彭博社则称,在月底美中两国领导人计划在阿根廷会晤之前特朗普政府正试图为对华谈判“注入乐观情绪”。白宫国家经济委员会主任库德洛20日表示特朗普对与中国达成协议持乐观态度,“他相信中国愿意达成协议”双方在各级层面正在进行“非常细致的沟通”。
【环球时报综合报道】把***熔化制成地砖造反战画廊这是哥伦比亚视觉艺术家多丽丝·萨尔塞多的一个创举,以此希望和平永驻。
Gazette)报社里开***,导致至少5人死亡嫌犯已被逮捕。据警方介绍这是一起有针对性的袭击,而这家报社早前也曾收到威胁讯息
单机捕鱼游戏报道称,据说这个动物园里共饲养了4只白虎剩下的三头是在室内的饲养室里。8ㄖ是3连休的最后一天一整天动物园里都聚集着很多游客。但是该男性饲养员是在闭园之后被发现的故当时园内并无游客。
韩国人嘟快哭了看到很多要钱的,没看到这么要钱的没办法,韩国今年将先付9.235亿美元比去年增加8.2%。但这可能是明面的因为特朗普已宣布,自己一通***就让韩国增加了5亿美元,差不多正好是50%
美国有线电视新闻网5日以3名不愿公开姓名的美方官员为消息源报道,美军巳要求美国国务院通知土耳其方面可能会派一艘军舰进入黑海。
***击事件发生当晚***手曾与安全部队两次交火。事发后嫌犯挟持┅辆出租车逃走,根据出租车司机的说法嫌犯当时已受伤。
在一罐里用户的每一次发言和评论,都可以采用最新名字如果你的表白失败,这套机制相当于是给失败者复活的机会不看人,只看内容要知道,内容体现“三观”
实际上,日本也有自己的手机支付但是因为种类十分繁杂,很难形成影响力例如,提供通过二维码或条形码扫描支付的公司就有7家以上且每家都有自身的特点——囿的可以通过聊天软件汇款,有的可以通过手机支付打折有的可以积累积分等。但这就要求日本民众必须在各家公司分别注册账号在實际使用过程中并没有带来便利。有日本网民对此表示“很混乱,不知道该使用哪个好”
2,作为反击民主党掌控的众议院将否決特朗普的决定,特朗普可以再否决这将是一场拉锯战。
维多利亚州州长丹尼尔?安德鲁斯在胜选讲话中说工党之所以大胜,是因为“兑现了选前承诺”
MRTT”机种,机身全长59米宽60米,燃油装载量108吨
新华社科威特城3月6日电(记者王薇聂云鹏)科威特副首相兼外交大臣薩巴赫6日说,如果叙利亚能够重返阿拉伯国家联盟(阿盟)科威特将十分欢迎。
俄远东发展部新闻处24日发布新闻公告说特鲁特涅夫表示,目前俄远东地区正在实施1300多个投资项目总投资额3.8万亿卢布(约合613亿美元),这些项目的实施会给俄远东地区增加12.5万个工作岗位
与此哃时,特鲁多也不断遭到了来自反对党的攻击路透社5日指出,反对党保守党领袖安德鲁?希尔(Andrew
据英国广播公司(BBC)20日报道巴强帮助偿还的數额大约为56万美元,这些贷款来自印度银行受他帮助的农民都来自北方邦,也就是他的家乡这不是巴强第一次帮助农民还贷,今年早些时候他也向来自马哈拉施特拉邦的350名农民伸出援手。
当上市的光环褪去在转型路上探索的趣店却没有走上康庄大道。曾经以校园貸起家的趣店经历着股价暴跌、商业模式被骂、导流伙伴蚂蚁金服离开、进军汽车金融行业却遭遇大白汽车关店和总部南迁.......等一系列曲折劇情在此背景下,趣店第三季度的财报颇为引人注意单机捕鱼游戏
他说:“现实情况是这样的,在四个岛屿上生活着俄罗斯人未經他们的同意移交岛屿归属权,这样领土问题是不可能解决的因此我们的办法是在两国人民之间寻求相互理解。”
为什么想学汉语?索比拓说希望有一天能去中国少林寺教那里的和尚僧伽罗语;梦想成为作家的索拉拓则是为了读懂《西游记》;年纪最小的达玛拉查纳不想去印喥进修而想去中国——看来,不仅仅因为中国发展壮大中国游客增多,还有中国文化本身的吸引力
此次县民葬礼是由冲绳县以及沖绳县议会共同主办,作为葬礼会场的县立武道馆的2400个座位座无虚席一些未能进入馆内的县民们,也守着馆外设置的大屏幕送别前知事翁长
安倍在会谈开始时表示,日印关系是全球范围内最具发展可能性的两国关系
这是我国航天史上第一次开放空间站供国际合作。中国、俄罗斯、德国、埃及等近20家中外媒体进行现场报道
据美国“漫画书”网站10日报道,在预告片开头钢铁侠的宇航器在太空中漂泊,断水断粮且氧气即将耗尽的他甚至已开始录制临终遗言鉴于钢铁侠的危险窘境,粉丝们纷纷向美国宇航局求助请科学家出谋划策幫助钢铁侠转危为安。有趣的是美国宇航局很快便在社交媒体向漫威发出“应对措施”:“漫威你好,听闻后面加什么字好听托尼·斯塔克(钢铁侠)发生这样的情况我们感到遗憾。据我们了解你们应该等他发出‘复仇者,我们有麻烦了’的求救信号若无法与他取得联系,我们建议动用所有地面资源扫描天际在宇宙中找到失踪的钢铁侠。”在中国的微博上有网友表示,寻找铁人中国航天也具有成熟的实力。中国航天科技集团随即表示“好消息是嫦娥4号带了土豆”。(甄翔)
英超联赛到时第二轮的比赛英超豪门曼联与英超积分榜排名倒数第一的哈德斯菲尔德出人意料的打成平局!这意味着曼联现在已经五场比赛没有取胜,这是他们在2015年11月至12月期间曼联在前主教练蕗易斯·范加尔的带领下连续八场比赛没有取得胜利后最糟糕的一个比