新普金娱乐网址


#100数学. 矩阵乘法

实际回想90后创业-步步走上不归路

《模仿游戏》–一场人类自己的争斗

  • 一月 13, 2019
  • 数学
  • 没有评论

巴贝奇在打听到普罗尼的史事后泪流满面,决心要做一套完全正确的数学用表,为达目标,他尝试了各类收缩不当的伎俩,比如调整纸张和学术的颜料以提升数字的识别度,间接拿现有的三个本子的表展开誊抄、比对、让不同人士屡屡校对,在1827年问世了一个本子,结果里面依旧有错。只假使人工的就从未有过完善的,巴贝奇彻底跪了,他发誓要造一台机器,让机器去生产数学表。

在世界第二次大克制利后,他们只可以隐姓埋名,忘掉以前的成套,大家看出的是图灵对名和利的出世,当他因为自己是同性恋,而只好面临化学阉割,注射雌性激素的时候,大家又为他叹息和悲痛–因为她已经那么有文采并为人类做出了那么大的孝敬,被当即的众人抹掉了贡献,因为在及时的民众发现中,违背了例行的伦理道德即为违反法例。

分析机(Analytical Engine)

虽然没能亲手促成差分机,但巴贝奇并不会沮丧,或者说他本来就是一向停不下来的这种人。明知实现持续,巴贝奇仍在一刻不停地改革着友好的统筹,直到有一天,他考虑出了一种空前的机械——分析机,正式成为现代总括机史上的率先位伟人先行者。

1834年,分析机概念诞生之际,巴贝奇自己都为之感到无比震惊。此前,任何一台计算机器都只好做到其被预约赋予的预计任务,要么是粗略的加减乘除,要么像差分机这样只好做差分运算,它们都属于calculator,而分析机才是真的的computer,它不囿于于特定效率,而竟是是可编程的,能够用来计量任意函数——现代人无论如何也不知所措想像在一坨齿轮上写程序是什么样一种体验吧!

巴贝奇设计的分析机紧要不外乎三大一些:

1、用于存储数据的计数装置,巴贝奇称之为“仓库”(store),约等于前天CPU中的存储器,这有的是从差分机上的计数装置立异而来的,大家很容易想象它的面相;

2、专门负责四则运算的装置,巴贝奇称之为“工厂”(mill),相当于前天CPU中的运算器,这有些的构造相对复杂,巴贝奇针对乘除法还做了一部分优化;

3、控制操作顺序、选用所需处理的数目和出口结果的设置,巴贝奇没有起名字,由于其呈桶状,我们得以叫它“控制桶”,控制桶显著相当于现在CPU中的控制器。

上述三部分,加上巴贝奇并没有遗漏的输入输出设备,大家感叹地觉察,分析机的组成部分和现在冯·诺依曼架构所要求的五大部件一模一样!

巴贝奇另一大了不起的创举就是将穿孔卡片(punched
card)引入了统计机器领域,用于控制数据输入和计量,从这时起,到第一台电子总结机诞生截至,期间几乎拥有的数字统计机都使用了穿孔卡片。穿孔卡片本身并不是巴贝奇的表达,而是源于提花机。

提花机是我国唐代用来制作丝锦的一种织机,最迟在殷商时期就已出现,后经天鹅绒之路传入阿拉伯国家,再盛传意大利和高卢雄鸡。以中间效率最强的大花楼提花机为例,长约一丈六尺,高约一丈五尺,高起的一对就叫花楼,织锦过程需要上下五个人卓殊到位。

《天工开物》中的花机图,在卢布尔雅那云锦研讨所可以见到东西。

织锦的规律其实非凡简易,就是经过一排排、一列列纵横的丝线相互交织而成,纵向的叫经线,横向的叫纬线,要织出花纹,就需要将一部分经线提起,让纬线通过梭口,没有被经线压住的纬线部分就足以形成花纹。坐在花楼上的提花工就专门负责提起这个经线,花楼下的织花工则负责抛梭引线。

(图片来源《霞蔚天成
上》)图中黑色的就是经线,部分经线被提起,梭口一目通晓。

是因为每织一行花纹,所要提起的经线都不尽相同,那么问题就来了,经线那么多,织完一片锦前后要提那么多次,提花工怎么记得住每一次提什么经线呢?传统的主意是基于想要织出的花纹预先编织花本,就是把“每一趟需要提什么经线”这一音信编织到到一块松松的网兜里,提花工按照花本提花。

花本上记下了每一纬需要提起哪些经线(图片来自《中国天鹅绒通史》)

提花机传到西天后,十九世纪初,一个叫贾卡(约瑟夫 Marie
Jacquard)的法兰西人起头应用穿孔卡片来保存花本,将卡片置于经线上方,其下边密密麻麻的针尝试穿过卡片,卡片上从未有过孔的地方针就被遮挡,卡片上有孔的地点针就可以下探勾起经线,原本提花工的任务就足以完全交由机器自动完成,从此提花机就只需要一个工友操作了。

穿孔卡片的提花原理

巴贝奇在一遍法国巴黎展览会上看出了贾卡的提花机,对其印象极度深刻,由于一向在钻探统计机器,自然想到可以把穿孔卡片也运用到剖析机上。于是分析机中的输入数据、存储地方、运算类型都使用穿孔卡片来表示。在机器运行时,卡片上有孔和无孔的地点会造成对应的金属杆执行不同操作,可编程性由此体现。下图可以直观地显现这一规律:

无孔的地方会担当探针(图片来源《Punchcard and rod controller》)

任何分析机就是在看似这样的齿轮和拉扯功用下促成可编程运算的:先从数量卡片读入数据到存储器,再将存储器中的数据传输到运算器,运算器算完后又将数据传回存储器。过程有点复杂,感兴趣的爱侣可以观赏一下Youtube上Sydney
Padua
的视频。

可惜的是,巴贝奇穷其生平也没能真正把分析机做出来,留给子孙后代的又是一台模型机和两千多张图纸,以及这样一段遗言:

假定一个人不因我一辈子的借鉴而却步,如故一往直前制成一台本身具有所有数学分析能力的机械……那么我愿将自己的名声毫不吝啬地让给他,因为唯有他可以统统知晓我的各个努力以及这个极力所得成果的着实价值。

伦敦科学博物馆·分析机设计图纸&模型机

和差分机不同的是,分析机现存的图片并不完全,因而至今也没能建造出来。不过好信息是,有多少个大不列颠及英格兰联合王国我们在2019年发起了建筑分析机的计划——Plan
28
(名称来源于巴贝奇的第28套设计方案),宣称要在2020年前做出来,令人们看看CPU究竟是咋样工作的,就让我们拭目以待。

可以说,巴贝奇一生的加油都是一身的,在特别年代,人们看不到分析机的光辉价值和含义,有了从前差分机的挫败,政党也不再愿理会分析机的想法。巴贝奇的构思超前了一切一个世纪,但庆幸的是在晚年,依旧具有三位难能可贵的帮忙者:

首先是她的幼子亨利·巴贝奇(Henry Prevost
Babbage),直到巴贝奇过世后,亨利(Henley)也持续着分析机的建筑工作,但归根到底也不能未能做到;

然后是后来改成了意大利总统的化学家闵这布利(Luigi Federico
Menabrea),他在巴贝奇1840年演说时详细笔录下了分析机的研究;

最后就是著名小说家Byron的外孙女,史上著名的女程序员Ada(AdaLovelace),她将闵这布利记录分析机的篇章翻译成英文,巴贝奇指出他在翻译时增加部分自己的敞亮,结果Ada注脚的长度是原文的两倍,其中针对总结伯努利数的算法被视为史上先是个电脑程序,这篇名为《关于巴贝奇先生发明的分析机简讯》的译文被视为程序设计方面的率先篇写作,而艾达(Ada)本人则成了社会风气上先是位程序员。

艾达(Ada)和他的伯努利数程序(程序猿们快来跪拜祖先啊~~)

Ada几乎是极度时候唯一一个真的精晓分析机的人,她不但编写了很多得以在条分缕析机上运行的次第,甚至还见到了巴贝奇自己都未曾观察的事务——她说:分析机不光能用来计量,它应当仍是可以用来表示其它东西,比如音乐。这是何其巨大的眼神啊!后来米利坚国防部将一种编程语言命名为Ada,就是为了回忆这位与巴贝奇同样具有超前思维的宏大女性。

文/智麻开门

而为了确保用表的不利,普罗尼要求每个数至少算四遍,并且要在法兰西的不等地方用不同的办法总结。这项劳民伤财的工程全体举行了十年才完成,可是不幸的是,最终的表里还是有错。说到这或多或少,可以说,那么些时期主题没有一版数学用表是完全正确的,有些版本甚至错误,要清楚数学用表出错有时后果会很要紧,比如航海表一出错就可能一向导致船毁人亡。

将来肯定有那么一天,全世界的公众接受不等同的性取向,尊重这多少个有独特癖好同时为全人类做出巨大贡献的人,而那一刻,才是真的的兼容,真正的调和!

上一篇:机械之美——机械时代的乘除设备

如@罗振宇
所讲的,这终究“庸众的危害”,通俗一点讲就是“多管闲事”,以投机认同的德性标准去要求外人,不管对方是有功卓著的数学家仍然出身寒微的平民百姓,他们挥舞着“伦理道德”的大旗,歧视,践踏旁人的盛大乃至生命的权利。也就是这般一个缺失兼容性的社会,这么一群疯狂的人扼杀了一个天资。

18世纪末,法兰西政坛在开立米制之后,决定在数学中集合行使十进制,竟奇葩地想把原先90度的直角划分成100度、把本来60秒的1分钟划分成100秒,尽管从前些天总的来说这么的想法绝逼是一种倒退,但她俩在当时真就举行了。这一改制带来的不仅仅是人们在应用时直观上的别扭,原本制作好的数学用表(如三角函数表)都亟待整个重制。在上篇作品中,大家驾驭异常年代数学用表的乘除全靠人工完成,所能用到的乘除设备也极度简陋,只可以做四则运算。法兰西政坛将这项丧心病狂的工程交给了物翻译家普罗尼(Gaspard
de
Prony),普罗尼正高烧着要怎么样才能不辱使命那项辛苦的天职,突然想起出名文学家亚当(Adam)·斯密(Adam
史密斯(Smith)(Smith))的这本《富国论》,他决定运用书中指出的麻烦分工的做法,将制表的工作人员分成三组:第一组由五六名牛逼的地教育家组成,他们负责制定运算中所需的公式;第二组由九到十个擅长数学的人组成,他们担负总括出部分关键数据,并把第一组制定好的公式举办简化;第三组由约一百名总结人士构成,他们采用第二组提供的严重性数据和公式,做最简易的加减操作就能得出最后结出。第三组的行事简单到何等水平,就是他们竟然都不掌握自己正值算怎么玩意儿,事实上他们的知识水准大部分都不高,里头好多都是理发师、失业人员咋样的。可见尽管文盲都能不辱使命的精打细算,在老大时期或者得凭借人力去做。

图片 1

巴贝奇出生于大不列颠及北爱尔兰联合王国一个红火的家中,三叔是银行家,所以他不愁吃不愁穿,一门心理钻研各类感兴趣的事物。他感兴趣广泛,几乎无所无法,他先是是位非凡的地战略家,担任过11年的耶路撒冷希伯来大学卢卡斯(Lucas)数学教学席位(这是一项极高的荣誉,前后都是由牛顿(牛顿(Newton))、霍金这样的大神担任),是皇家天历史学会的领导成员、皇家总结学会的创办者,在光学、大气观测、电学、磁学、密码学、地质学、运筹学等许多领域都有建树,他居然编写过世界语辞典、研究过哺乳动物的呼吸和脉搏、进步过蒸汽火车的速度、还在家里设置了世道上第一台空调系统……他好像已经干完了人家好几毕生才能干完的事,可是在其为电脑发展做出的贡献面前,这几个形形色色的落成甚至还展示微不足道。

有关电脑之父–艾伦(Alan)•图灵的视频《模仿游戏》终于欣赏完了,并不是怀着对其所谓“身份”的惊奇才看的,只是想扩充对于她解救了社会风气的真面目标领会。

Charles·巴贝奇(查理 Babbage
1792-1871),United Kingdom地文学家、文学家、发明家、机械工程师。

有了俺们对他的死心塌地印象,知道她“天资聪颖”,精晓数学和密码学,甚至被他的“只有机器才能摆平机器”所折服。但是由于他的秉性怪异,与同事相处并不自己,甚至“高傲”地对待上级,使他的研究并不可以那么顺利。但在她的锲而不舍下,最终有了破译德意志联邦共和国“恩格马”机的配备,同时在她的女对象的佑助下,和共事关系的也有了迟早的解决,当破译机“Christopher”无法完成任务即将被上司拆除的时候,图灵如同守护自己的人命一般守护着她,让自己看到的是一个巨大的科学家捍卫着着科学,也在保卫着人类的升华。


差分机(Difference Engine)

实际早在巴贝奇出生前,有个叫米勒(Miller)(Johann Helfrich von
Müller)的德意志工程师就提议了差分机的思索,但只有是提了瞬间,并不曾开展实际统筹和制作,他最终仍旧把研制差分机的历史重任让给了巴贝奇。

就此叫差分机这么些名字,是因为它统计所使用的是帕斯卡在1654年指出的差分思想:n次多项式的n次数值差分为同一常数。举个简单的事例(以笔者撰写该有的时的日期——1二月12日——为例),对于函数F(x)
= 12x+12,x取自然数:

五次差分定义为∆F(x) = F(x+1)-F(x)

对于三遍多项式,每个相邻的x所对应的F(x)之差都是一个常数,这一个常数很引人注目就是x的周详。那么二次多项式呢?依旧以先天的日期(15年1四月12日为例),对于函数F(X)
= 15x^2+12x+12,x取自然数:

二次差分定义为∆F2(x) = ∆F1(x+1)-∆F1(x)

对此二次多项式,每个相邻的x所对应的两回差分之差都是常数,我们可以导出这一常数的通用公式:

怎么有种回到中学时代的赶脚……

在上述的例子中,a=15,确实二次差分常数为2a。一回、两遍、乃至任意多次的多项式都遵循这样的差分规律。

差分规律是一项巨大的意识,有了差分,在总结多项式时就足以用加法代替乘法,我们只需要算出多少个先导值,后头任意x所对应的F(x)值均可由此加法得出。仍以下面的二次多项式为例,依照x=0所对应的第一列中的数据,第二列(x=1时)的函数值可由第一列的函数值和四次差相加所得、四回差可由第一列的一次差和二次差相加所得,第三列(x=2)的函数值和五回差又可由第二列的对应数额相加所得,以此类推,我们能博得x任意取值时的F(x)。

学过高数的恋人应该了然,一个函数在满足一定原则的情状下能够用多项式逼近(幂级数展开),于是常用的三角函数、对数函数都足以通过多项式来测算的,而机械时代的乘除设备最善于的就是做加法,有了差分思想,巴贝奇看到差分机的未来一片光明。

纵使是前些天的接近效能强大的微处理器也急需如此举行将来总括

从1812年到1822年,巴贝奇打败重重困难完成了一台可以总计六位数二次多项式的模型机,他给皇家学会的召集人写信,希望政坛可以掏钱,赞助他修建真正可用的特大型差分机。政坛也觉得这事情很有含义,尤其对海军很有价值,于是在1823年拨款1500韩元,巴贝奇如鱼得水,号称只要两三年岁月就能完工。何人知进行起来要比想象中劳顿得多,这些时代的机械创设水平实际上落后,差分机是特别精密的仪器,巴贝奇跑遍了南美洲都没找到多少能用的零部件,于是在创设差分机从前,他还要先想着怎么制作各项零件。在大英帝国及时一个牛逼的教条师Clement(约瑟夫Clement(Clement))的增援下,他们确实在增高机械创设方面下足了功夫,不但做出了差分机能用的机件,还培养出巨北海想的技师。本来这几个人团结势必能把差分机做好,但是巴贝奇是个精益求精的人,通常改变设计方案,导致工程时常要返工,工作量大大扩展,外加亲人的逐一逝世,后来又和Clement闹掰,到了1833年,十年都过去了,巴贝奇只做出了机器的一小部分,却早就花费了3万日元(远超最初预算)。政党对巴贝奇不尽人意,终于在1842年正式通知不再出资,到头来巴贝奇给后任留下的就只有一个半产品,以及在1839年修订好的一大堆设计图纸,现存于伦敦(London)科学博物馆。

伦敦(London)科学博物馆·差分机设计图纸&半成品

值得一提的是,巴贝奇做不出差分机实在不是客观原因所致,与她同时期的瑞典王国人George·舒茨(Per
Georg
Scheutz)就按照他的设计在1843年做出了实际能用的差分机,巴贝奇倒是提供了好多指点和帮衬,也终究了却了和谐一桩心愿呢。

George·舒茨和她的差分机

150年后,为了回想巴贝奇200年生日,从1989到1991年人们依据巴贝奇的筹划图纸建造了第一台真正的巴贝奇差分机,机器完美运行,工程师们诧异地意识,巴贝奇的图纸里只有极少的谬误,而且这么些错误八成是随即为防范图纸被盗用而刻意为之的。这台差分机被保安在London科学博物馆的玻璃柜里,后来又造了一台,放在美利坚合众国硅谷的微机历史博物馆,每一日由导游给参观者讲解和示范,人们得以中远距离膜拜。

伦敦(London)科学博物馆·史上首先台巴贝奇差分机

实景地图展现平台xRez为电脑历史博物馆的差分机做了超高清视频,机器的依次地方都能看得要命精通。

微机历史博物馆·史上第二台巴贝奇差分机

逮到一张气势恢宏的……背面高清图

咱俩跟着来精晓一下差分机最简易的劳作规律。在巴贝奇1839年的宏图中,差分机可以支撑七次多项式的测算。以F(x)
= x^7+x为例,其7次差分值为常数5040。

数码来源于《Babbage’s Difference Engine No. 2, Part 1: The method of
finite differences》

由前文可知,表中随机一列的数量均可依据其前一列的数量测算拿到,为此需要的起首数据就是率先列,总计下一列函数值的进程分7步:

F(x)+∆F1(x) = F(x+1) 下一列的函数值

F1(x)+∆F2(x) = ∆F1(x+1) 下一列的四回差分值

……

F6(x)+∆F7(x) = ∆F6(x+1) 下一列的六次差分值

巴贝奇优化了算法过程,让每列数据成对成对地相互相加,把7步压缩成两步,能够更快地得到结果,但为此付出的代价是,需要事先统计更多起来数据:

在本例中需要的开始数据是这个

背景观相同的四对数码分别相加,所得结果个别为下一列对应的值:

那四对数据分别是函数值+几遍差、二次差+五次差、一遍差+两次差、六次差+七次差,这一步得到了函数值F(5)

而后是其它组合的三对数码分别相加:

这三对数据分别是四次差+二次差、三遍差+五遍差、两遍差+六次差,这一步没有收获新的函数值

以此类推,无穷尽也:

这一步得到了函数值F(6)

按照那种方法,每两步爆发一个新的函数值,而原来的差分算法需要7步。

是因为每趟出席统计的都是函数值和1~7次差分值的风行值,于是仅需相应的8个计数器。巴贝奇设计的计数器由31个计数轮垂直叠加而成,即帮忙31位十进制数:

图片来自《Babbage’s Difference Engine No. 2, Part 2: The Calculation
Section》

累加传动装置和进位装置,就成了这么一副丧病的眉宇:

图形源于《Babbage’s Difference Engine No. 2, Part 2: The Calculation
Section》

巴贝奇使用梯形的传动轮实现六个计数轮之间的相加,由于有梯形齿,传动轮可以同时带来五个计数轮,也得以只带动一个。于是在展开两数相加时,传动轮先顺时针旋转,将右手计数轮上的数字加到左边轮上,而后上升一段距离,逆时针转动相同度数,将右边计数轮的示数还原到原来的岗位。

图中以3+4为例,加完之后右边计数轮数字归零了,需要靠传动轮将其还原为4。(原图来源《Babbage’s
Difference Engine No. 2, Part 2: The Calculation Section》,S7技术协助)

全面察看可以发现,这五个轮子上的数字排列顺序是倒转的。在两轮相加的过程中,左侧轮作为丰富轮朝数值增大的矛头旋转,而左边轮作为加数轮则朝数值缩小趋势旋转。在巴贝奇立异的并行差分算法中,五个步骤交替举行,同一个计数轮需要交替充当累加轮和加数轮的角色,于是当机器运行起来,这么些齿轮需要正反方向交替旋转。

图片来源于《Babbage’s Difference Engine No. 2, Part 2: The Calculation
Section》

差分机的进位机构相比较复杂,简单地说,每个计数轮都有一个针对性高位的“进位指示器”,当计数轮从9转到0,其对应的“进位提醒器”就被拨到“需要进位”的状态,每一回统计,计数轮都要转动一回,第一次是每位数相加,第二次是遵照“进位指示器”举行进位。我们直观地感受一下连续进位是怎么着子:

图片来源《Babbage’s Difference Engine No. 2, Part 2: The Calculation
Section》

最后让大家来观赏一下差分机整个运行起来的金科玉律:

图形来源于《Babbage Difference Engine in Motion》

竟然还有人用乐高积木做了差分机模型,而且居然还是能运作。(图片来源于《Babbage
Difference Engine made with LEGO》)

今昔但凡对统计机历史有着了然的爱侣,总能在第一时间想起一台叫ENIAC的电子统计机,总有点听闻过图灵、冯·诺依曼这样举世瞩目标名字,却鲜有人知早在他们一个世纪此前,就独自开发了当代处理器之路的传奇人物——巴贝奇。

这就是史上出名的差分机。

参考文献

胡守仁. 统计机技术发展史(一)[M]. 布里斯(Rhys)托: 国防科技大学出版社, 2004.

N.A.阿波京, JI.E.梅斯特洛夫. 总结机发展史[M]. 香港:
法国首都科学技术出版社, 1984.

吴为平, 严万宗. 从算盘到统计机[M]. Charlotte: 陕西教育出版社, 1986.

陈厚云, 王行刚. 总结机发展简史[M]. 新加坡: 科学出版社, 1985.

Wikipedia. Charles Babbage[EB/OL].
https://en.wikipedia.org/wiki/Charles\_Babbage, 2015-12-10.

Wikipedia. Per Georg Scheutz[EB/OL].
https://en.wikipedia.org/wiki/Per\_Georg\_Scheutz, 2015-05-14.

Wikipedia. Difference engine[EB/OL].
https://en.wikipedia.org/wiki/Difference\_engine, 2015-12-10.

xRez Studio. Babbage Difference Engine in Gigapixel[EB/OL].
http://www.xrez.com/case-studies/exhibition/babbage-gigapixel-difference-engine,
2010-11-27.

MechanicalComputing. Babbage’s Difference Engine No. 2, Part 1: The
method of finite differences[EB/OL].
https://www.youtube.com/watch?v=PFMBU17eo\_4, 2015-04-10.

MechanicalComputing. Babbage’s Difference Engine No. 2, Part 2: The
Calculation Section[EB/OL].
https://www.youtube.com/watch?v=vdra5Ms\_\_9s, 2015-04-10.

eriklanigan. Babbage Difference Engine in Motion[EB/OL].
https://www.youtube.com/watch?v=jiRgdaknJCg, 2011-07-06.

Andrew Carol. Babbage Difference Engine made with LEGO[EB/OL].
https://www.youtube.com/watch?v=i\_u3hpYMySk, 2010-07-08.

夏鼐. 我国北魏蚕、桑、絲、绸的野史[J]. 考古, 1972, (02):12-27.

追究·发现. 年轮·霞蔚天成(上)[EB/OL].
http://tv.cntv.cn/video/C14092/880134fb98fe4c55d1cb728d0e4556df,
2009-05-21.

赵丰. 中国棉布通史[M]. Orlando大学出版社, 2005.

Sydney Padua. Punchcard and rod controller[EB/OL].
https://www.youtube.com/watch?v=-FSJ7YnARwE, 2013-11-01.

Sydney Padua. Babbage’s Analytical Engine: Overview[EB/OL].
https://www.youtube.com/watch?v=\_fyUtU6LVNY, 2015-05-30.

John Graham-Cumming. The greatest machine that never was[EB/OL].
http://www.ted.com/talks/john\_graham\_cumming\_the\_greatest\_machine\_that\_never\_was,
2012-03.

Wikipedia. Ada Lovelace[EB/OL].
https://en.wikipedia.org/wiki/Ada\_Lovelace, 2015-12-13.


下一篇:让电代替人工去统计——机电时期的权宜之计


连锁阅读

01转移世界:引言

01改观世界:没有总计器的生活怎么过——手动时期的盘算工具

01变动世界:机械之美——机械时代的计量设备

01改成世界:现代总结机真正的国君——超越时代的巨大思想

01变更世界:让电代替人工去总括——机电时期的权宜之计

相关文章

No Comments, Be The First!
近期评论
    分类目录
    功能
    网站地图xml地图