登录|注册
当前位置:首页>资讯中心>图灵奖 (Turing award)

图灵奖 (Turing award)

发布时间:2020-10-07 19:13   阅读量:2303

Turing奖最早设立于1966年,是美国计算机协会在计算机技术方面所授予的最高奖项,被喻为计算机界的诺贝尔奖。它是以英国数学天才Alan Turing先生的名字命名的,Alan Turing先生对早期计算的理论和实践做出了突出的贡献。图灵奖主要授予在计算机技术领域做出突出贡献的个人,而这些贡献必须对计算机科学与技术有长远而重要的影响。1966年,A. J. Perlis因其在新一代编程技术和编译架构方面的贡献成为图灵奖的第一个得主。
每年,美国计算机协会将要求提名人推荐本年度的图灵奖候选人,并附加一份200到500字的文章,说明被提名者为什么应获此奖。任何人都可成为提名人,美国计算机协会将组成评选委员会对被提名者进行严格的审核,并最终确定当年的获奖者。

年份 姓名 贡献领域
1966年 艾伦·佩利 高级程序设计技巧,编译器构造
1967年 莫里斯·威尔克斯 存储过程式计算机EDSACEDSAC 2,程序
1968年 理查德·卫斯里·汉明 数值方法,自动编码系统,错误检测和纠错码
1969年 马文·闵斯基 人工智能
1970年 詹姆斯·维尔金森 数值分析,线性代数,倒退错误分析
1971年 约翰·麦卡锡 人工智能
1972年 艾兹格·迪科斯彻 程序设计语言的科学与艺术
1973年 查理士·巴赫曼 数据库技术
1974年 高德纳 算法分析、程序设计语言的设计、程序设计
1975年 艾伦·纽厄尔 人工智能,人类认知心理学和列表处理(list processing)
赫伯特·西蒙
1976年 迈克尔·拉宾 非确定性自动机
达纳·斯科特
1977年 约翰·巴克斯 高级编程系统,程序设计语言规范的形式化定义
1978年 罗伯特·弗洛伊德 设计高效可靠软件的方法学
1979年 肯尼斯·艾佛森 程序设计语言和数学符号,互动系统的设计,运用APL进行教学,程序设计语言的理论与实践
1980年 东尼·霍尔 程序设计语言的定义与设计
1981年 埃德加·科德 数据库系统,尤其是关系型数据库
1982年 史提芬·古克 计算复杂度
1983年 肯·汤普逊 UNIX操作系统和C语言
丹尼斯·里奇
1984年 尼克劳斯·维尔特 程序设计语言设计、程序设计
1985年 理查德·卡普 算法理论,尤其是NP-完全性理论
1986年 约翰·霍普克洛夫特 算法和数据结构的设计与分析
罗伯特·塔扬
1987年 约翰·科克 编译理论,大型系统的体系结构,及精简指令集(RISC)计算机的开发
1988年 伊凡·苏泽兰 计算机图形学
1989年 威廉·卡韩 数值分析
1990年 费尔南多·考巴托 CTSSMultics
1991年 罗宾·米尔纳 LCFML语言CCS
1992年 巴特勒·兰普森 分布式,个人计算环境
1993年 尤里斯·哈特马尼斯 计算复杂度理论
理查德·斯特恩斯
1994年 爱德华·费根鲍姆 大规模人工智能系统
拉吉·瑞迪
1995年 曼纽尔·布卢姆 计算复杂度理论,及其在密码学和程序校验上的应用
1996年 阿米尔·伯努利 时序逻辑,程序与系统验证
1997年 道格拉斯·恩格尔巴特 互动计算
1998年 詹姆斯·尼古拉·格雷 数据库与事务处理
1999年 弗雷德里克·布鲁克斯 计算机体系结构操作系统软件工程
2000年 姚期智[4] 计算理论,包括伪随机数生成,密码学与通信复杂度
2001年 奥利-约翰·达尔 面向对象编程
克利斯登·奈加特
2002年 罗纳德·李维斯特 公钥密码学RSA加密算法
阿迪·萨莫尔
伦纳德·阿德曼
2003年 艾伦·凯 面向对象编程
2004年 文特·瑟夫 TCP/IP协议
罗伯特·卡恩
2005年 彼得·诺尔 Algol 60语言
2006年 法兰西斯·艾伦 优化编译器
2007年
[5]
爱德蒙·克拉克 开发自动化方法检测计算机硬件和软件中的设计错误
艾伦·爱默生
约瑟夫·斯发基斯
2008年 芭芭拉·利斯科夫 编程语言和系统设计的实践与理论
2009年 查尔斯·萨克尔 帮助设计、制造第一款现代PC
2010年 莱斯利·瓦伦特 对众多计算理论所做的变革性的贡献
2011年 朱迪亚·珀尔 通过概率论因果推理英语Causal reasoning人工智能领域作出的根本性贡献
2012年 莎菲·戈德瓦塞尔 在密码科学领域里,于复杂理论的基础之上,做出变革性工作;并领先发展出新的具有数学可证明性的有效验证机制[6]
希尔维奥·米卡利
2013年 莱斯利·兰波特 对于分布式及并形系统的理论与实践具有基础性贡献,尤其是诸如因果逻辑时序(causality and logical clocks)、安全性与存活度(safety and liveness)、复制状态机(replicated state machines)及循序一致性英语sequential consistencysequential consistency)等理论概念的发明[7]
2014年 迈克尔·斯通布雷克 对现代数据库的概念和实践作出的根本性贡献
2015年 惠特菲尔德·迪菲 发明迪菲-赫尔曼密钥交换,对公开密钥加密技术有重大贡献[8]
马丁·赫尔曼

1966 A. J. Perlis因在新一代编程技术和编译架构方面的贡献而获奖
1967 Maurice V. Wilkes因设计出第一台具有内置存储程序的计算机而获奖
1968 Richard W. Hamming因在计数方法、自动编码系统、检测及纠正错码方面的贡献被授予图灵奖
1969 Marvin Minsky 因对人工智能的贡献被授予图灵奖
1970 J. H. Wilkinson因在利用数值分析方法来促进高速数字计算机的应用方面的研究而获奖
1971 John McCarthy因对人工智能的贡献被授予图灵奖
1972 Edsger W. Dijkstra因在编程语言方面的出众表现而获奖
1973 Charles W. Bachman因在数据库方面的杰出贡献而获奖
1974 Donald E. Knuth因设计和完成TEX(一种创新的具有很高排版质量的文档制作工具)而被授予该奖
1975 Allen Newell和Herbert A.Simon因在人工智能、人类心理识别和列表处理等方面进行的基础研究而获奖
1976 Michael O. Robin和Dana S. Scott因他们的论文"有限自动机与它们的决策问题"中所提出的非确定性机器这一很有价值的概念而获奖
1977 John Backus因对可用的高级编程系统设计有深远和重大的影响而获奖
1978 Robert W. F编程的算法方面的深远影响,并开创了包括剖析理论、编程语言的语义、自动程序检验、自动程序合成和算法分析在内的多项计算机子学科而被授予该奖
1979 Kenneth E. Iverson因对程序设计语言理论、互动式系统及APL的贡献被授予该奖
1980 C. Anthony R. Hoare因对程序设计语言的定义和设计所做的贡献而获奖
1981 Edgar F. Codd因在数据库管理系统的理论和实践方面的贡献而获
1982 Steven A. Cook因奠定了NP-Completeness理论的基础而获奖
1983 Ken Thompson和Dennis M. Ritchie因在通用操作系统理论方面的突出贡献, 特别是对UNIX操作系统的推广的贡献而获奖
1984 Niklaus Wirth因开发了EULER, ALGOL-W, MODULA和PASCAL一系列崭新的计算语言而获奖
1985 Richard M. Karp因对算法理论的贡献而获奖
1986 John E. Hopcroft因在算法及数据结构的设计和分析中所取得的决定性成果而获奖
1987 John Cocke因在面向对象的编程语言和相关的编程技巧方面的贡献而获奖
1988 Ivan E. Sutherland因在计算机图形学方面的贡献而获奖
1989 William V.Kahan因在数值分析方面的贡献而获奖
1990 Fernando J.Corbato因在开发大型多功能,可实现时间和资源共享的计算系统,如CTSS和Multics方面的贡献而获奖
1991 Robin Milner因在可计算的函数逻辑(LCF)、ML和并行理论(CCS)这三个方面的贡献而获奖
1992 Butler Lampson因在个人分布式计算机系统方面的贡献而获奖
1993 Jurlis Hartmanis和Richard E. Stearns因奠定了计算复杂性理论的基础而获奖
1994 Raj Reddy和Edward Feigenbaum因对大型人工智能系统的开拓性研究而获奖
1995 Manuel Blum因奠定了计算复杂性理论的基础和在密码术及程序校验方面的贡献而获奖
1996 Amir Pnueli因在中引入临时逻辑和对程序及系统检验的贡献而获奖
1997 Douglas Engelbart因提出交互计算概念并创造出实现这一概念的重要技术而获奖
1998 James Gray因在数据库和事务处理方面的突出贡献而获奖
1999 Frederick P. Brooks, Jr. 由于在计算机体系架构、操作系统以及软件工程方面所做出的具有里程碑式意义的贡献。《人月神话》的作者
2000 Andrew Chi-Chih Yao(姚期智) 由于在计算理论方面的贡献而获奖,包括伪随机数的生成算法、加密算法和通讯复杂性
2001 Ole-Johan Dahl, Kristen Nygaard 由于面向对象编程始发于他们基础性的构想,这些构想集中体现在他们所设计的编程语言SIMULA I 和SIMULA 67中
2002 Ronald L. Rivest, Adi Shamir, Leonard M. Adleman 由于在公共密钥理论和实践方面的基础性工作而获奖
2003 Alan Kay 由于在面向对象语言方面原创性思想,领导了Smalltalk的开发团队,以及对PC的基础性贡献。至理名言:预测未来的最好方法是创造它
2004 Vinton G. Cerf, Robert E. Kahn 由于在互联网方面开创性的工作,这包括设计和实现了互联网的基础通讯协议,TCP/IP,以及在网络方面卓越的领导
2005 Naur Peter 因他在设计Algol 60语言于其定义的清晰性,Algol 60成为了许多现代程序设计语言的原型。在语法描述中广泛使用的BNF范式,其中的“N”便是来自Peter Naur的名字
2006 Frances E. Allen因其在编译器优化理论和实践方面做出的开创性贡献而获奖。Allen是该奖项创立40年来的第一位女性得主。
2007 Edmund M. Clarke,Allen Emerson和Joseph Sifakis因为“在将模型检查发展为被硬件和软件业中所广泛采纳的高效验证技术上的贡献”而荣获该奖
2008 Barbara Liskov因在计算机软件更加可靠、安全和更具一致性方面的贡献而获奖。她也成为历史上第二位获得图灵奖的女性
2009 Chuck Thacker以表彰他对第一台现代个人计算机——施乐帕克(Xerox PARC)Alto的先驱性设计,以及在局域网(包括以太网)、多处理器工作站、窥探高速缓存一致性协议和平板PC等方面的杰出成就与贡献。他是以太局域网的发明者之一,也是世界是第一台激光打印机发明者之一
2010 Leslie G. Valiant因对众多的计算理论,包括PAC学习、枚举复杂性和代数计算和并行与分布式计算所做的变革性的贡献而获奖
2011 Judea Pearl因在人工智能领域的基础性工作获奖,他提出的概率和因果性推理演算法,彻底改变了人工智能当初基于规则和推理的方向

TURING奖获得者分类(1966–2010)

硬件
Maurice V. Wilkes (1967) ——第一台具有内部存储程序的计算机EDSAC
John Cocke (1987) —— RISC & 编译优化
Vinton Gray Cerf (2004) —— Internet基础通讯协议
Chuck Thacke(2009)—— 局域网
Frances E. Allen(2006)—— 编译器优化理论
Edmund M. Clarke,Allen Emerson和Joseph Sifakis(2007)——模型验证

程序语言设计与实现
Alan J. Perlis (1966) ——ALGOL
John McCarthy (1971) —— LISP
Edsger Wybe Dijkstra (1972) —— ALGOL
John W. Backus (1977) —— FORTRAN
Kenneth Eugene Iverson (1979) ——APL程序语言
Niklaus Wirth (1984) —— PASCAL
John Cocke (1987) ——RISC & 编译优化
Ole-Johan Dahl,Kristen Nygaard (2001) —— Simula语言和面向对象概念 (获奖前30年)
Alan Kay(2003) ——SmallTalk语言和面向对象程序设计
Peter Naur(2005) —— ALGOL60以及编译设计
Barbara Liskov(2008) ——数据抽象与分布式计算
Edmund M. Clarke,Allen Emerson和Joseph Sifakis(2007)——模型验证

算法
Richard Hamming (1968) —— 汉明码
James Hardy Wilkinson (1970) —— 数值分析
Donald E. Knuth —— art of computer programming
John E. Hopcroft,Robert Endre. Tarjan (1986) ——数据结构和算法设计
William (Velvel) Morton Kahan (1989) —— 浮点运算IEEE标准主要设计师
Andrew Chi-Chih Yao (姚期智) (2000) ——伪随机数复杂性,密码系统和通讯复杂性
Ronald L. Rivest, Adi Shamir, Leonard M. Adleman(2002) ——公钥密码技术

自动机和可计算性
Dana Stewart Scott (1976) —— 自动机
Michael Oser Rabin (1976) ——自动机
Stephen Arthur Cook (1982) —— NP完全性
Richard Manning Karp (1985) —— 证明一个问题是否是属于NP完全
Juris Hartmanis,Richard Edwin Stearns (1993) —— 计算复杂性
Manuel Blum (1995) —— 计算复杂性,密码系统和程序检查验证
Leslie G. Valiant(2010)——计算复杂性

人工智能
Marvin Lee Minsky (1969) —— 神经元网络
John McCarthy (1971) —— LISP
Allen Newell,Herbert Simon (1975) —— Logic Theory Machine
Raj Reddy,Edward Feigenbaum(1994) ——专家系统
Leslie G. Valiant(2010)——机器学习
Judea Pearl(2011)—— 概率和因果性推理演算法

操作系统
Dennis MacAlistair Ritchie,Ken Thompson (1983) —— UNIX
Fernando Jose Corbato (1990) ——分时系统
Frederick P. Brooks(1999) —— IBM System360 操作系统

数据库
Charles W. Bachman (1973) —— 数据库
Edgar Frank Codd (1981) ——关系数据模型
James Gray(1998) —— 数据库和事务处理

图像处理和交互式系统
Ivan Edward Sutherland (1988) ——图像处理,CAD
Douglas Engelbart(1998) —— 交互式系统,鼠标发明人

程序语言语义
Dana Stewart Scott (1976) ——自动机
Robert W. Floyd (1978) —— 编程语言语义,自动程序验证
C. Antony R. Hoare (1980) —— Hoare Logic, CSP
Robin Milner (1991) —— LCF,ML,CCS,PI-calculus
Amir Pnueli (1996) —— 时序逻辑和系统验证

创意侠网是专业的发布大赛信息的平台;提供工业设计大赛、文创设计大赛、平面设计大赛、文案创作大赛、环境设计大赛、建筑设计大赛、服饰设计大赛、数字影视大赛等作品征集服务。

2019年图灵奖公布!从阿凡达到图灵奖,皮克斯元老的动画梦

【新智元导读】去年,图灵奖颁给了熬过寒冬的人;今年,图灵奖颁给了点亮创意之光的人。斯坦福大学计算机图形学实验室教授Patrick Hanrahan和计算机科学家、皮克斯动画工作室联合创始人Edwin Catmull斩获图灵奖!他们的工作对电影制作产生了革命性的影响,并为当今 3D 动画电影铺平了道路,一起来了解好莱坞大片背后的这两个男人。「新智元急聘主笔、编辑、运营经理、客户经理,添加HR微信(Dr-wly)了解详情。」

2019年图灵奖公布!

斯坦福大学计算机图形学实验室教授Patrick Hanrahan和计算机科学家、皮克斯动画工作室联合创始人Edwin Catmull获得了这一计算机领域最高荣誉!二人均为Pixar(皮克斯)的创始成员。

Pat Hanrahan

Ed Catmull

图灵奖授予Hanrahan和Catmull是为了表彰他们对 3D 计算机图形学的贡献,以及这些技术对电影制作和计算机生成图像(CGI)等应用的革命性影响。这也意味着图形学第二次获图灵奖,首位是1988年图灵奖获得者Ivan Sutherland。

二人将分享100万美元的奖金,他们将在2020年6月20日在加利福尼亚州旧金山举行的ACM年度颁奖宴会上正式获得2019 ACM AM图灵奖。

Catmull:和乔布斯共事26年为CG界带来革命

去年,图灵奖颁给了熬过寒冬的人。今年,图灵奖颁给了点亮创意之光的人。

恐怕很多做AI的同行不是很了解Hanrahan和Catmull这两位CG界的泰斗,但你一定看过《阿凡达》。

《阿凡达》中40%的画面由真实场景拍摄,60%完全由电脑动画生成,拍摄立体画面使用的全新3D Fusion Camera系统也耗费了大量的成本。每帧画面平均耗费4万个人工小时,所以,在影片结束时,那缓缓升起的巨型演职员表里,我们可以看到一共有48家公司,1858位工作人员。

《阿凡达》是有史以来最复杂的一次电影制作,卡梅隆说,“我们要做的CG角色不止一个,而是几百个,都要有照片般的真实感。而这种真实感就来自Catmull的创新技术。

Edwin E. Catmull教授从小就创造力旺盛,3D立体思维能力超群。既喜欢在课堂上画画,也喜欢修理汽车。曾经在一次采访中谈到自己的家庭时,自称是家中的“Black Sheep”。

然而这位所谓的“差生”,是犹他大学物理学和计算机科学理学学士、计算机科学博士,ACM和视觉效果学会(Visual Effect Society)成员,也是美国电影艺术与科学学院和美国国家工程院双院士。

他师从计算机图形学之父、1988年图灵奖获得者Ivan Sutherland,创办了纽约理工学院(NYIT)的计算机图形学实验室,和星球大战导演乔治卢卡斯共同创建了Pixar,并担任过沃尔特·迪斯尼动画工作室(Walt Disney Animation Studios)总裁。

在获得图灵奖之前,Catmull教授曾获1993年ACM SIGGRAPH Steven A. Coons计算机图形学杰出创意贡献奖,2006年IEEE John von Neumann奖章等。

Catmull 在他的博士论文中用了两种开创性的技术来显示曲面而不是用多边形:z 缓冲和纹理映射,前者处理图像深度坐标,后者处理二维表面在三维对象上的纹理映射。

Z 缓冲算法也叫深度缓冲器算法,属于图像空间消隐算法,该算法有帧缓冲器和深度缓冲器。

假定 xoy 面为投影面,z 轴为 观察方向,过屏幕上任意像素点(x,y) 作平行于 z 轴的射线 R,与物体表面相交于 p1 和 p2 点,p1 和 p2 点的 z 值称为该点的深度值。

z-buffer 算法比较 p1 和 p2 的 z 值,将最大的 z 值存入 z 缓冲器中,显然 p1 在 p2 前面,屏幕上(x,y)这一点将显示 p1 点的颜色。

算法思想:先将 Z 缓冲器中各单元的初始值置为最小值。当要改变某个像素的颜色值时,首先检查当前多边形的深度值是否大于该像素原来的深度值(保存在该像素所对应的 Z 缓冲器的单元中)。如果大于原来的 z 值,说明当前多边形更靠近观察点,用它的颜色替换像素原来的颜色。

在犹他求学期间,Catmull 还创建了一种通过粗糙多边形网格来表示光滑曲面的方法。毕业后,他与 Jim Clark 合作,后者在 Catmull-Clark 细分曲面基础上创建了 Silicon Graphics 和 Netscape,该曲面现已成为动画和电影特效中使用的最出色的曲面补丁。Catmull 的技术在开发逼真图形技术,消除“锯齿”(形状周围的粗糙边缘)方面起着重要作用,而锯齿是原始计算机图形的标志。

离开犹他大学后,Catmull 成立了纽约理工学院(NYIT)计算机图形实验室,这是美国最早的专用计算机图形实验室之一。在那个时候,Catmull 就梦想着制作一部计算机动画电影。1979 年,乔治·卢卡斯(George Lucas)聘请了 Catmull,他离自己的电影梦又进了一步。之后,Catmull 又聘用了许多致力于将计算图形推向逼真图像的技术人员。在 LucasFilm 基础上,Catmull 及其同事继续着 3D 计算机图形动画的创新,而当时这个行业仍然被传统的 2D 技术所主导。

加入皮克斯,结识 Hanrahan ,开启计算机图形学的黄金时代

天选之人,终究要相遇。

1986 年,史蒂夫·乔布斯(Steve Jobs)收购了卢卡斯电影公司(LucasFilm)的计算机动画部门,并将其更名为皮克斯(Pixar),并让 Catmull 担任皮克斯的总裁。

Pat Hanrahan 就是 Catmull 在皮克斯的第一批员工。Hanrahan 于 1985 年获得了威斯康星大学麦迪逊分校的生物物理学博士学位,在加入 Pixar 之前曾在 NYIT 的计算机图形学实验室短暂工作过。

Hanrahan 作为首席架构师,与 Catmull 还有 Pixar 团队的其他成员一起创建了一种新的图形系统的,该图形系统可以使用真实的材质和照明来渲染弯曲的形状。此系统(后来称为 RenderMan)的一个关键思想是着色器(用于着色 CGI 图像)。RenderMan 的功能将光的反射行为与几何形状分开,并计算了形状上各点的颜色,透明度和纹理。RenderMan 系统还结合了 Catmull 早前在该领域开创的 Z 缓冲和细分曲面技术。

在皮克斯工作期间,Hanrahan 还开发了立体渲染技术,该技术使 CGI 艺术家可以渲染 3D 数据集(例如一团烟)的 2D 投影。Hanrahan 和 Marc Levoy 共同发表了一篇介绍光场渲染的论文,这也是他被引用次数最多的论文。

光场渲染可从任意点生成新视图而无需深度信息或特征匹配,使观看者感觉它们正在穿越真实场景。接着,Hanrahan 开发了使用次表面散射来描绘皮肤和头发的技术,以及使用蒙特卡罗光线追踪绘制复杂光影效果的技术,就是现在所谓的全局光源或 GI。

1990 年,Hanrahan 在 ACM SIGGRAPH 会议上发表了一篇开创性的论文,分享了他对 RenderMan 的研究。然而,要让计算机硬件发展到可以使用 Hanrahan 的 RenderMan 系统制作完整的 3D 计算机动画电影《玩具总动员》的程度,还需要 5 年的时间。

在 Catmull 的领导下,皮克斯使用 RenderMan 制作了一系列成功的电影。皮克斯还将 RenderMan 授权给其他电影公司。

此后,几乎每一部好莱坞电影的CG渲染,都能见到RenderMan的身影

最近 47 部奥斯卡视觉效果提名影片中有 44 部使用了该软件,包括《阿凡达》、《泰坦尼克号》、《美女与野兽》、《魔戒电影三部曲》、《星球大战前传》等。时至今日,Renderman 仍然是 CGI 视觉效果的标准工作流。

1989 年离开皮克斯后,Hanrahan 在普林斯顿大学和斯坦福大学担任学术职务。从 20 世纪 90 年代开始,他和他的学生扩展了 RenderMan 的规范,使其可以在功能强大的 GPU 上实时工作。Hanrahan 和他的学生开发的 GPU 编程语言促进了 OpenGL 等商业版本的发展,从而彻底改变了视频游戏的编写方式。

GPU 上使用的各种着色语言的流行和多样性,要求 GPU 硬件设计者开发更灵活的体系架构构,这些架构反过来又允许 GPU 在各种计算环境中使用,包括运行高性能计算的算法,以及为人工智能应用程序在海量数据集上训练机器学习算法。特别是,Hanrahan 和他的学生开发了一种 GPU 语言 Brook,而 Brook 最终构成了 NVIDIA 的 CUDA

Catmull 在皮克斯已有 30 多年了,皮克斯后来成为迪士尼动画工作室的子公司。在他的领导下,这些实验室的数十名研究人员发明并发布了很多基础技术(包括图像合成,运动模糊,布料模拟等),这些技术为计算机动画电影和计算机图形学做出了了更大的贡献。

Catmull和Hanrahan有很多相似之处:都曾因其卓越的技术贡献而获得 ACM SIGGRAPH 以及美国电影艺术与科学学院的奖项,都在Pixar待过,都对世界充满了好奇心,都是跨专业天才。以及,都是一副理工直男的形象却在视觉艺术领域做出了巨大贡献。

下一次再看好莱坞大片时,相信你会想起这两位背后的男人。


工业产品文创设计赛群:546975142
标志广告语征集赛群:499797200
大赛咨询微信:zhengjifabu
Copyright © 2009 - 2021 苏州创仁企业管理咨询有限公司 版权所有   网站备案号:苏ICP备18007333号-2