GEM/xwikis huggingface dataset:
伽玛射线暴

title: 伽玛射线暴的研究历史.
title: 发现及早期研究.
content: 20世纪60年代,美国发射了船帆座卫星,上面安装有监测伽玛射线的仪器,用于在签署部分禁止核试验条约之后,监视苏联进行核试验时产生的大量伽玛射线。1967年,这颗卫星发现来自宇宙的伽玛射线突然增强,随即又快速减弱,这种现象是随机发生的,大约每天发生一到两次,强度可以超过全天伽玛射线的总和,并且来源不在地球,而是宇宙空间。由于保密原因,关于伽玛射线暴的首批观测资料直到1973年才发表,并很快得到苏联Konus卫星的证实。  由于伽玛暴的持续时间非常短暂,而且方向不好确定,起初对伽玛暴的研究进展十分缓慢,连距离这样的基本物理量都难以测定。1980年代,基于Ginga卫星的观测结果,许多人相信伽玛射线暴是发生在银河系中的一种现象,成因与中子星有关,并围绕中子星建立起数百个模型。20世纪80年代中期,美籍波兰裔天文学家玻丹·帕琴斯基提出,伽玛射线暴发生在银河系外,是位于宇宙学距离上的遥远天体,然而这种观点并没有得到普遍认可。
title: 宇宙学起源的证实.
content: 1991年美国发射了康普顿伽玛射线天文台(英语:CGRO),这颗卫星的八个角上安装了八台同样的仪器英语:BATSE,能够定出伽玛射线暴的方向,精度大约为几度。几年时间里,对3000余个伽玛暴的系统巡天发现,伽玛射线暴在天空中的分布是各向同性的,支持了伽玛射线暴是发生在遥远的宇宙学尺度上的观点,并且引发了帕琴斯基与另一位持相反观点的科学家拉姆的大辩论。  如果伽玛射线暴确实位于宇宙学尺度上,那么由它的亮度可以推断,伽玛暴必定具有非常巨大的能量,往往在几秒时间里释放出的能量就相当于几百个太阳一生中所释放出的能量总和,是人们已知的宇宙中最猛烈的爆发。例如1997年12月14日发生的一次伽玛暴,距地球120亿光年,在爆发后一两秒内,其亮度就与除它以外的整个宇宙一样明亮,它在50秒内释放出的能量相当于银河系200年的总辐射能量,比超新星爆发还要大几百倍。在它附近的几百千米范围内,再现了宇宙大爆炸后千分之一秒时的高温高密情形。而1999年1月23日发生的一次伽玛暴比这还要猛烈十倍。
title: 余辉的发现.
content: 1996年,意大利和荷兰合作发射了BeppoSAX卫星,这颗卫星能够准确地测定伽玛射线暴的方位,定位精度约为50角秒,这就为地面上的望远镜在伽玛暴未消逝之前寻找其光学对应体提供了强有力的支持。在它的帮助下,天文学家们率先发现了1997年2月28日爆发的一个伽玛暴的光学对应体,称为伽玛暴的“光学余辉”。后来又陆续发现数个类似的余辉,不仅有可见光波段的,还有射电波段、X射线波段,并且还证认出了伽玛暴的宿主星系。对宿主星系红移的观测证实,伽玛暴远在银河系以外,是宇宙学距离上的天体。余辉的发现使人们能够在伽玛暴发生后数月甚至数年的时间里对其进行持续观测,大大推动了伽玛暴的研究。
title: 雨燕时代.
content: BeppoSAX号卫星一直运作直到2002年,和CGRO(与BATSE)在2000年脱离轨道。但是,伽马射线暴研究的革命激励开发一些专门设计的附加工具的来探索伽玛射线暴的性质,尤其是在紧随爆炸以后的最早时刻。其中至今最成功的太空飞行任务,雨燕卫星,在2004年被发射,截至2014年仍处于运行状态。2004年11月20日,美国国家航空暨太空总署发射了用于探测伽玛暴的雨燕卫星,它最大的特点是反应迅速,能够对转瞬即逝的伽玛暴进行快速的响应。
title: 费米时代.
content: 2008年6月,费米卫星成功发射,它搭载了伽玛射线爆发监控仪器(Gamma-Ray Burst Monitor,缩写为GBM),可以每年数百次爆发的速度探测,其中有一些是有极高的能量足够亮到可以用费米大面积望远镜(Large Area Telescope,缩写为LAT)进行观察。
title: 伽玛射线的观测特征.
title: 时标和能谱.
content: 伽玛射线的持续时间一般在0.01秒到1000秒左右,以2秒为界,大致可以分为长暴(long burst)和短暴(short burst)两类,典型的持续时间分别为30.0秒和0.3秒。时变的轮廓比较复杂,往往具有多峰的结构。长暴的能谱较硬,短暴的能谱较软。
title: 余辉.
content: 伽玛射线暴爆发过后会在其它波段观测到辐射,称为伽玛射线暴的余辉。根据波段不同可分为X射线余辉、光学余辉、射电余辉等。余辉通常是随时间而指数式衰减的,X射线余辉能够持续几个星期,光学余辉和射电余辉能够持续几个月到一年。
title: 在天球上的分布.
content: 伽玛射线暴在天空中的分布是各向同性的,但远距离的伽玛射线暴明显少于近距离的,显示出非均匀各向同性,可以被膨胀宇宙学模型所支持,表明伽玛射线暴是发生在宇宙学距离上的。
title: 伽玛暴的成因.
title: 长暴.
content: 一般认为长暴产生于大质量恒星塌缩为黑洞的过程。  1998年发现伽玛暴GRB 980425与一个超新星SN Ib/Ic 1998bw 相关联。这是一个重要的发现,暗示伽玛暴的成因可能是大质量恒星的死亡。2002年,一个英国的研究小组研究了由XMM-牛顿卫星对2001年12月的一次伽玛暴的长达270秒的X射线余辉的观测资料,发现了伽玛暴与超新星有关的证据,发表在2002年的《自然》杂志上。进一步的研究揭示,普通的超新星爆发有可能在几周到几个月之内导致伽玛射线暴。目前大质量恒星的死亡会产生伽玛暴这一观点已经得到普遍认同。
title: 短暴.
content: 短暴产生于两个致密天体如中子星或黑洞的并合。GW170817/GRB 170817A的发现证实了这一模型。

Summary: 伽玛射线暴(英语:Gamma Ray Burst,缩写英语:GRB),又称伽玛暴,是来自天空中某一方向的伽玛射线强度在短时间内突然增强,随后又迅速减弱的现象,持续时间在0.01-1000秒,辐射主要集中在0.1-100 MeV的能段。伽玛暴发现于1967年,数十年来,人们对其本质了解得还不很清楚,但基本可以确定是发生在宇宙学尺度上的恒星级天体中的爆发过程。伽玛暴是目前天文学中最活跃的研究领域之一,曾在1997年和1999年两度被美国《科学》杂志评为年度十大科技进展之列。
米南德

title: 生平与创作.
content: 米南德生于雅典,家境富裕。父亲可能是狄摩西尼曾为之辩护的希腊将军狄欧皮赛斯,中期喜剧诗人阿莱克西斯是他的叔父,曾教过他写戏。米南德曾和伊壁鸠鲁一起服过兵役,并一起在逍遥学派代表泰奥弗拉斯托斯主持的吕克昂学园学习过<rp|page=2>,熟悉亚里士多德和泰奥弗拉斯托斯的戏剧理论。  米南德从前321年开始创作剧本,其《愤怒》曾在戏剧比赛中上演。前316年他的《古怪人》在勒奈亚节的戏剧比赛中获奖。次年又在酒神节的比赛中得奖。在米南德三十年的创作生涯中,他共写了约108个剧本,曾在勒奈亚节获奖八次,这在当时并不多,说明米南德的喜剧并不很受当时民众欢迎。米南德同时代的最大对手是腓勒蒙,后者的喜剧更受雅典民众欢迎。但是米南德坚信他比后者更优秀,按照格利乌斯在《阿提卡之夜》中的说法,米南德曾问腓勒蒙“难道你不为战胜我而羞耻吗?”  公元前307年,米南德的朋友雅典僭主法勒鲁姆的德米特里被流放,马其顿人德米特里执政。米南德也受到审判,他的喜剧一度被拒绝上演,不过在他的剧本中并没有专门描写这一政治事件。埃及统治者托勒密一世曾资助他,并希望他来亚历山大里亚居住写作,但是米南德宁可留在比雷埃夫斯在情人格吕克拉的陪伴下过独立的生活,他拒绝了托勒密一世的邀请。他和情人的亲密关系也成了后世作家的创作主题,曾虚拟两人之间的通信。按照奥维德在《ibis》里的说法,米南德是在游泳时溺死的,雅典人之后将他埋葬在通向雅典的大路上
title: 评价与流传.
content: 生前不太受欢迎的米南德不断受到后世作家如琉善等人的赞赏。昆提利安称米南德为“人生的镜子”,普鲁塔克在《道德论集》中曾比较米南德和早期希腊喜剧的代表阿里斯托芬,对米南德赞赏有加,他写道:“米南德吸引了所有的人,人们可以在剧场里、交谈中、宴会时,聆听他、阅读他、背诵他,在剧场里欣赏演出,这些都能给所有的人带来享受。”并认为凯撒的那句名言“Alea iacta est”(骰子已然掷出)就是来自于米南德的喜剧。普劳图斯和泰伦提乌斯十分崇敬米南德,并将米南德的作品改编成自己的作品。  公元八世纪以后,米南德所著的剧本逐渐失传,但剧本中的部分称引和台词却以《米南德箴言》的形式流传甚广。按照11世纪作家米海尔·普塞洛斯的说法,米南德的剧本在当时只有二十四个可以读到了。11世纪之后,米南德的剧本很少见于记载,研究者只能完全根据《米南德箴言》和受他影响的泰伦提乌斯剧作的风格来推断米南德的风格。直到20世纪初,这种情况才发生改变。  1905年法国学者古斯塔夫·勒费尔在埃及内陆发掘一座拜占庭人房屋时,发现了一间存有希腊抄本的房间,其中不少莎草纸上记录的是米南德的剧本。1907年勒费尔将共一千五百行的残诗发表,包括《公断》、《萨摩斯女子》、《割发》的一部分。1950年代瑞士收藏家马丁·波德梅尔购入了一些抄本,整理后发现其中有米南德的完整喜剧《古怪人》,这也是米南德目前传世的唯一完整剧本。2013年,通过研究一份九世纪的重写羊皮纸手稿,研究者发现这份羊皮纸原来是一份四世纪的希腊抄本,其中包括了米南德《古怪人》的一部分和其他一部喜剧中的200行.  在古希腊喜剧作家中,只有阿里斯托芬和米南德有完整作品传世,但两人喜剧的题材和表现形式都不同,研究者就此将古希腊喜剧分为阿里斯托芬所代表的早期和米南德所代表的晚期,以及两人之间的中期。早期喜剧倾向于在自己的作品里发表对当时政治事件和社会风气的看法,技巧多用讽刺与插科打诨。但在米南德生活的时代,雅典的政治风气已经不如以前那样自由,已经禁止喜剧讽刺个人。他的喜剧主要以爱情故事和家庭关系为题材,提倡平等、宽大、仁慈的社会道德。他擅长创造性格复杂的人物,突破了很多喜剧的旧模式。两者的喜剧的另一个重要区别是歌队的作用,歌队在早期喜剧中是重要参与者,推动着情节的发展,而到了米南德的喜剧中,歌队只是一种形式,起到分幕的作用

Summary: 米南德(希腊文:,前342年-前291年),古希腊剧作家,被认为是古希腊新喜剧的代表,其剧本多以爱情故事和家庭生活为主题,塑造出性格丰富的人物形象,提倡人与人之间互相真诚宽容相待的社会道德,其代表作有《古怪人》和《公断》。中世纪起,米南德的剧本逐渐散佚失传,只保留下一些片断和箴言,直到20世纪才被重新发现。
普鲁士蓝

title: 历史.
content: 狄斯巴赫把草木灰和牛血混在一起,制成亚铁氰化钾,其三水合物俗称黄血盐,后与三氯化铁或其他能够提供三价铁离子的物质反应后产生。  formula_1
title: 制造.
content: 普鲁士蓝是由亚铁氰化钾和三氯化铁反应后产生。在反应过程中,能见度和颜色会立刻转变。
title: 物质信息.
content: 普鲁士蓝是经典的配合物。其配体为六个氰基,中心离子为二价铁离子。氰基与二价铁离子共同通过配位键组成六氰合铁(II)酸根(整体显-4价)作为普鲁士蓝的内配位层(内界)。而外层的三价铁离子与钾离子作为普鲁士蓝的外配位层(外界)通过离子键与六氰合铁(II)酸根以离子键的形式相连接。结构方面,普鲁士蓝为六面立(正)方结构。氰基作为立(正)方的各条棱连结处于顶点的铁离子,其中相同价态的铁离子在各面上均互为对角,而每间隔一个立(正)方,钾离子会被包裹在其中。
title: 化学作用.
content: 在医疗上铊可置换普鲁士蓝上的钾后形成不溶性物质随粪便排出,对治疗经口急慢性铊中毒有一定疗效。用量一般为每日250mg/kg,分4次,溶于50ml 15%甘露醇中口服。(适量补充氯化钾,高钾能增加肾对铊的清除能力,可能与钾竞争性阻断肾小管对铊的吸收有关,同时钾可动员细胞内的铊到细胞外,使血铊含量增加,可使临床病情加重,因此要慎用)

Summary: 普鲁士蓝(英语:Prussian blue;;化学名称:亚铁氰化铁;分子式:Fe(CN)⋅14HO,或书写成 · "x"简称:PB)是一种深蓝色的颜料,在画图和青花瓷器中应用。普鲁士蓝由狄斯巴赫(Johann Jacob Diesbach)在意外中发现,他原本是打算制造红色颜料的。滕氏蓝(英语:Turnbull's blue)与普鲁士蓝是同一种物质,只是由不同试剂制取的。
明基電通

title: 历史.
title: 早期历史.
content: 明基电通公司最初名为「明碁电脑」(Continental Systems Inc.),成立于 1984 年,为宏碁(acer)集团旗下公司。初期的明碁电脑是一间纯粹的PC代工厂商,主要业务是美国国际电报电话公司的PC代工订单。1989年,明碁电脑开始引入一些新的「电脑周边产品」技术,选择了「电脑周边产品」作为新的发展方向,也开始思考让明碁和宏碁能够更清楚地切割开来,并于1996年7月22日正式在台挂牌上市,开启了集团化的发展。  2000年,宽带网络及其相关应用在当时日渐兴盛,3W(无线Wireless、宽带Wideband、网络Web)产业前景的评估下,成立宽带事业部,研发网通相关技术并开发网通相关产品。其后随着经营策略的改变以及网络、通讯事业占公司营收比重不断增加的情况下,明碁于同年6月正式将公司名称更改为「明碁电通股份有限公司」,产品线更趋完整。  2001年12月5日,明碁电脑推出自有品牌BenQ,并将英文企业名称更名为BenQ Corporation。  2002年5月,明碁电脑更名为明基电通,由李焜耀担任董事长。
title: 明基西门子.
content: 2005年9月,明基在德国设立明基电通子公司(BenQ Mobile GmbH & Co OHG),以无出资方式并购德国西门子手机部门,出产的手机将挂上BenQ-Siemens双品牌五年,预估成为全球第四大手机厂牌。  2006年9月28日,明基宣布停止投资其德国子公司。过去明基因西门子手机部门导致大量亏损,总计金额高达六亿欧元(约新台币250亿元)。
title: 后西门子.
content: 明基不再投资德国手机子公司之后,董事会通过品牌与代工分家,明基更名为佳世达科技,专职产品代工;同时成立现在的明基电通,沿用BenQ商标,专注于品牌的经营,为佳世达电通旗下100%持有的子公司。  明基将进行中的手机产品推完后,一度暂时停止手机产品线。目前以液晶显示器、液晶电视、投影机、电视上网精灵、蓝牙扬声器、LED萤幕阅读灯、大型商用显示器等为主要产品线。产品特色为设计创新与科技整合,以人为本,得过无数奖项。
title: 获得Zowie Gear.
content: ZOWIE成立于2008年,为全球专业电竞装备制造商,致力于专业电竞设备的设计与开发。2015年,BenQ投资ZOWIE,使ZOWIE成为BenQ旗下电竞产品的专业品牌,继续深耕电竞领域并带给玩家更多符合需求的产品与服务。
title: 品牌发展策略.
content: 品牌经营发展(2001-2008)  多元化品牌经营(2008-至今)  BenQ持续将企业愿景「实现科技生活的真善美」延伸事业布局至LIFE,扩展至人们生活中重要的领域...如新事业医疗服务、医材、软件服务、整合服务平台、企业解决方案。

Summary: 明基电通(英语:BenQ Corporation)为佳世达科技的一间子公司,其英文简称是BenQ,为该公司的核心品牌事业。佳世达科技隶属于明基友达集团。明基电通集团原本是属于宏碁集团内的一分子,为一代工兼具自有品牌公司。因2000年,宏碁集团陷入亏损,当时的宏碁董事长施振荣展开品牌与代工分家策略,将宏碁集团切割成「宏碁集团」、「明基电通集团」、与「纬创集团」等,合称「泛宏碁集团」,被施振荣形容为「兄弟登山,各自努力」。2007年9月,明基电通正式更名为佳世达科技,同时将其品牌业务成立新公司,即现在的明基电通。
鳕鱼战争

title: 起因.
content: 自18世纪60年代以来,欧洲尤其是英国对于鳕鱼的捕捞量越来越大,当时欧洲鳕鱼最主要的产区就位于冰岛海域,许多欧洲国家在该海域对鳕鱼进行疯狂的捕捞。冰岛非常担心他们赖以生存的鳕鱼资源在这样的疯狂捕捞中被破坏殆尽。
title: 鳕鱼战争的过程.
title: 第一次鳕鱼战争.
content: 1944年,冰岛从丹麦的统治下终于由保护国的地位获得独立。他们决定依靠冰岛丰富的渔业资源(特别是鳕鱼资源)把国家建成繁荣富强的现代化国家。为了充分的保护鳕鱼资源,并保护冰岛渔民的经济利益,冰岛政府先后多次宣布扩大领海区域,并于1958年宣布将领海扩展到距海岸12海里的范围。1958年8月30日是冰岛政府要求其他国家船只离开该海域的最后期限,当时除了英国的拖网渔船,各国渔船都离开了冰岛12海里界限。为了保护自己的渔船,英国皇家海军派遣了37艘舰艇、约7000名水手为渔船护航。当时的英国皇家海军刚刚经历过第二次世界大战的洗礼,装备精良、经验丰富,相对于冰岛只有一些旧渔船改造而成的土制炮艇,而战士则是完全没有作战经验的警员,甚至是普通渔夫,而且冰岛的总人口不足30万,二者之间的力量对比极为悬殊。英国政府认为冰岛不可能进行抵抗。虽然冰岛武器装备、军队质素、国力等各方面都远逊于英国,但是冰岛果断地开炮驱逐来犯的英国渔船以捍卫自己的国家利益。历史上颇为有名的鳕鱼战争就此爆发。不过冰岛也明白两国之间实力的巨大差距,为了不过度刺激英国,冰岛战舰虽然向英国船艇开炮,但却刻意避免伤到船员。英国政府考虑到两国同为北大西洋公约(北约)成员国,如果冲突升级,恐怕引起美国等其他北约国家的干涉或者外交战,因而不敢对冰岛大动干戈,其结果就是英国渔船在冰岛人的干扰下几乎捕捞不到鳕鱼。英国不得不坐下来与冰岛开始谈判。  1961年,英国正式承认冰岛12海里领海线。但是冰岛还是不满足,宣称要进一步扩大领海,并礼节性的给予英国3年的调整时间。
title: 第二次鳕鱼战争.
content: 1971年,冰岛再次宣布禁渔界限扩大为50海里。英国对于冰岛这种得寸进尺的做法忍无可忍,于是鳕鱼战争再次爆发。在为期1年的冲突中,冰岛舰艇和渔船用割断渔网、炮轰船只的方法驱逐外国渔船,共有69艘英国渔船严重受损。英国政府对此十分恼火,于是派遣7艘主力舰恫吓冰岛,但冰岛非但不让步,还扬言要与英国断交。北约意识到冲突的严重性,于是对英国施压,英国无奈只能再次让步。
title: 第三次鳕鱼战争.
content: 1974年,由于冰岛鳕鱼捕捞量大幅下降,为保护日渐枯竭的鳕鱼资源,冰岛宣布禁渔区域扩大到200海里。1975年12月,英冰两国再次开战。此次冲突持续了5个月,欧洲共同体也紧锣密鼓地进行调停。但是英国依仗自身强大的海军实力,毫不让步。  1976年2月,欧洲共同体在等待中失去耐心,公开宣布欧洲各国的海洋专属区均限定在200海里。在这种情况下,英国不得不最终承认200海里的经济专属区。冰岛宣称的200海里的海洋界限,被定义成专属经济区后在1976年获得广泛承认,此后大多数国家也宣布自己的200海里海界,此战结束后,冰岛开始了对此处海底石油的开采。

Summary: 鳕鱼战争(冰岛文:,英文:英语:Cod Wars)指的是1958年至1976年冰岛与英国之间的渔业冲突。
戀青少年

title: 词源.
content: 恋青少年(英语:Ephebophilia)这个单词由词根“英语:Ephebo”和后缀“英语:-philia”构成,英语:Ephebo源自古希腊语“”(英语:ephebos),其含义比较丰富,包括“长成青春期”、“接受了任职资格审查并注册为雅典公民的18岁青年”等;而英语:-philia则是“”,意为“爱”。 荷兰心理学家早在1950年使用过, 并于1960年在同性恋支持杂志《友谊》()以化名“维克多·瑟法斯(英语:Victor Servatius)”转载, 把这个名词首创权给了马格努斯·赫希菲尔德。 这个词第一次出现其实是在法语()中,在乔治·圣保罗(英语:Georges Saint-Paul)于1896年出版的书籍《缺陷和毒药:性偏离与性反常()》之中。  这个名词在1980年被法国人菲利克斯·比费耶尔() 和巴基斯坦学者 引用过。拉赫曼认为这代表新波斯语、土耳其语和乌尔都语的古典文献中成年男性对于青春期少年的审美和性兴趣。这个名词被重新使用,用来指代那些对15岁至19岁有性偏好的人群。
title: 特点.
content: 青春期中后期的青少年在身体体征上基本与完全成年的男性相近(或在某些情况下相同);精神病学家与性学家认为,大多数人可以在这个年龄段找到适合自己的性吸引力,但是“当然,这并不意味着他们会采取行动。一些与青少年有复杂联系的人可能不会变的特别困难。机会或其他因素可能会促使他们去做这样的事情。”  恋青少年只用于描述对青春期中后期性伴侣的性偏好,而不仅仅是某种程度的性吸引力。一般来说,心理学家并不认为恋青少年会干扰到当事人的生活领域的其他主要方面,因此在《精神疾病诊断与统计手册(第五版)》和《国际疾病伤害及死因分类标准(第十版)》中,恋青少年与性偏好一样没有被列为精神疾病。但是,如果因此导致功能障碍或剥削行为的后果,那么可以根据《精神疾病诊断与统计手册》中的“”诊断为精神疾病。  研究人员指出,对前青少年期少年有主要持续性偏好的恋少年可能会与对青春期中后期的青少年有主要持续性偏好的恋青少年的定义混淆;即便在长期与性犯罪者打交道的专业人士中,恋少年这个名词也没有被广泛应用。 结论是,“很少有人会将对青春期后期或青春期中期青少年的性兴趣当作心理学病态来标记,因而恋少年混在恋青少年中一起被人忽略掉了。”

Summary: 恋青少年()是指对青春期中期和晚期的青少年(通常是15岁到19岁)有着性偏好的行为。 这个名词最初是在19世纪末到20世纪初被使用。 它是年龄偏好下针对不同年龄组性偏好中的一个亚型。恋青少年严格来说是指对青春期中晚期性伴侣的性偏好,而不是某种程度性吸引力。
托马什·加拉塞克

title: 生平.
title: 球会.
content: 加拉塞克出身于捷克国内球会俄斯特拉发,但其球员生涯主要是在荷甲联赛中度过。他于1996年起加盟了荷兰球会威廉二世,其间上阵了110场联赛,取得12个入球。  至2000年他加盟了荷兰联赛班霸阿积士。这段期间是他成绩最出色的年代──他赢得两届荷甲联赛冠军,并参与了欧洲联赛冠军杯,上阵26次。  2006年,加拉塞克加盟德甲球队纽伦堡。在德国效力了2年后,他于2008年自由转会返回俄斯特拉发。2008年底以自由转会方式重返德甲,与门兴格拉德巴赫签约至赛季结束。  加拉塞克协助门兴格拉德巴赫成功护级后一度宣布退役,但于2009年8月31日加盟德国第五级巴伐利亚州高级联赛(Oberliga Bayern)的业余球会埃尔朗根-布鲁克(Erlangen-Bruck),这球会距离加拉塞克在纽伦堡的家只有15分钟火车车程。
title: 国家队.
content: 加拉塞克早于1995年已经为国家队上阵。他在国际赛最佳成莫过于2004年欧洲国家杯,当届捷克国家队打入了四强。但此后他在国际赛成绩已无以为继。2006年世界杯和2008年欧洲国家杯时捷克均在小组赛出局。2008年6月,加拉塞克在欧洲杯结束后宣布退出国家队。

Summary: 托马什·加拉塞克(捷克语:,1973年-1月15日),捷克足球运动员,司职中场,已退出职业球员生涯,退出前效力于德甲俱乐部慕逊加柏。
联想集团

title: 名称.
content: 在1984年至2004年间,联想的英文名称为「Legend」。2002年,杨元庆认为由于「Legend」在国外已经使用,因此决定将公司英文名改为「Lenovo」。  2003年4月1日,联想集团的英文名称由「Legend」改为现在的「Lenovo」。「Lenovo」是个混成词,「Le」来自「Legend」,「-novo」是一个假的拉丁语词,从「新的(nova)」而来,联想为更名宣传花了2亿人民币。  联想集团在台湾的分支机构名为「荷兰商联想股份有限公司」,2005年2月成立,成立时公司名为「荷兰商思惟个人电脑产品股份有限公司。在此之前联想集团已在2003年10月于台湾成立「英属维京群岛商精华资讯有限公司台湾分公司」做为国际采购办公室。
title: 收购记录.
title: IBM个人电脑及服务器.
content: 收购IBM个人电脑事业以前的联想在中国以外的地区相对不太知名,却在2004年12月因此收购案件而登上媒体头条。联想集团希望借此拓展西方市场,跃升为全球第三大个人电脑厂商。并购前,联想集团已占有亚洲市场的25%,主要原因是联想集团在价格以及品质方面的优势。联想集团因为此次收购而须向IBM支付12.5亿美元,包括6.5亿美元现金及6亿美元联想集团股份(不包含台式机硬盘业务,该项业务已出售给日立)。  2005年3月9日,联想集团宣布美国海外投资委员会完成交易审查。 2005年5月1日,IBM与联想集团完成交易。并购后,联想集团的生产线包括ThinkPad、ThinkCentre、ThinkVision、ThinkVantage、IBM Aptiva、NetVista。消息虽然令中国媒体感到鼓舞,但市场对这场收购并未雀跃。联想集团在香港上市的股票,每股平均月价曾高达17.5港元,但科网潮爆破后,其股价大幅滑落2004年的2.5元。  2014年1月23日,联想集团宣布斥资23亿美元收购IBM x86服务器硬件及相关业务。  2014年10月1日,联想集团正式完成收购,并进行业务交接,该交易将使联想成为全球x86服务器市场的第三大供应商,仅次于惠普(HP)及戴尔(Dell)。
title: 摩托罗拉移动.
content: 2014年1月29日,联想集团宣布斥资29.1亿美元购买谷歌旗下摩托罗拉移动,并将全面接管摩托罗拉移动的产品规划。联想期望以此进入竞争激烈的欧美市场。  根据港交所公布的一项公告文件,谷歌已于2014年1月30日斥资7.5亿美元买下联想集团5.94%股权。杨元庆表示,并购将帮助联想在移动领域把握快速增长的机会,加速成长为全球性的移动设备厂商。  2014年10月30日,联想集团宣布收购摩托罗拉移动已通过各国政府的审批,正式成为旗下资产,收购完成后,联想集团将成为全球第三的智能手机厂商。
title: 财政状况.
content: 在2003年的销售额为25.9亿,少于美国的电脑生产商,如IBM(928.4亿美元)、惠普(783.7亿美元)、戴尔电脑(453.8亿美元)及苹果电脑(62亿美元)。 十年后,于2013年起,销售额超越所有生产商,成为世界最大个人电脑生产商。。
title: 争议事件.
content: 918日本军旗事件

Summary: 联想集团有限公司(英语:Lenovo Group Ltd.;;),是中国一家的跨国科技公司,成立于1984年,由中国科学院计算技术研究所投资20万元人民币、11名科技人员创办,当时称为“中国科学院计算所新技术发展公司”。1989年,更名为“北京联想计算机集团公司”。
艾爾伯圖斯·麥格努斯

title: 生平.
content: 大阿尔伯特于1193年到1206年之间出生于多瑙河畔的劳因根(位于今德国巴伐利亚)。他本来姓de Groot,翻译成拉丁语这个姓就成为Magnus(意为“大的”),因此他名字“大阿尔伯特”的“大”实际上是他的姓,而不是对他的尊称。  大阿尔伯特在意大利帕多瓦上学,在这里他也接触到了亚里士多德的著作。据说他受圣母玛利亚感受加入教会。1223年(或1221年他加入多明我会,并在博洛尼亚和其它地方学神学。此后他被派往科隆的修道院作教师。他在科隆、雷根斯堡、弗莱堡、斯特拉斯堡和希尔德斯海姆教书数年。1245年他赴巴黎并在那里获博士学位。他在那里教书,名声很好。  1254年他被任命为多明我会的教省长官(provincial),他对这个职务非常尽责,而且他的工作效率非常高。在这段时间里他发表文章维护多明我会,反对巴黎大学世俗系对多明我会的批评,他还发表关于施洗约翰的文章,以及更正阿拉伯哲学家阿维洛伊著作中的错误。  1260年大阿尔伯特被教宗亚历山大四世任命为雷根斯堡主教,此后他部分时间周游巴伐利亚布道,部分时候则隐居在多明我会的多个修道院里。1270年他赴奥地利为第八次十字军东征布道。大阿尔伯特晚年的作品包括对他的学生托马斯·阿奎纳的理论的辩护。阿奎纳1274年的早逝使大阿尔伯特非常沉痛。从1278年开始大阿尔伯特的健康情况骤降。1280年11月15日他逝世于科隆,他被葬在科隆多明我会圣安德肋教堂的地下墓室中。  但丁在他的作品中多次提到大阿尔伯特并将达阿尔伯特的自由意志的理论作为他的道德系统的基础。在他的《神曲》中但丁将大阿尔伯特与阿奎纳一起当作知识的热爱者(Spiriti Sapienti)并将他们放在天堂的太阳层中。  1931年,教宗庇护十一世将大阿尔伯特列入教会圣师。
title: 著作.
content: 1899年整理出版的大阿尔伯特的全著包括38卷,显示了他的多产和他广泛的知识,这些作品涉及到的领域包括逻辑学、神学、植物学、地理学、天文学、矿物学、化学、动物学、生理学、颅相学和更多其它知识。所有这些作品全部是他逻辑推导或者观察出来的。他是当时被阅读最多的作者。大阿尔伯特阅读、理解、系统化了当时所有翻译成拉丁语的亚里士多德的著作以及阿拉伯学者的评论并将它们与教会教条联合到一起。有人甚至称大阿尔伯特为“亚里士多德的猴子”来显示他与亚里士多德之间的关系。  大阿尔伯特的著作偏重于哲学,对神学的理论比较少。他的哲学著作基本上按照亚里士多德对科学的分类来分类,其中包括对亚里士多德的著作的理解和考虑,有时还包括辅助的讨论,偶尔大阿尔伯特会与亚里士多德意见相左。  大阿尔伯特的神学著作主要包括三卷对伦巴第人彼得的《四部语录》的注释和两卷综合,后者主要是重复了前者的内容,但使用了更加教育性的格式。
title: 科学家.
content: 大阿尔伯特对物理学的知识非常丰富,对于当时的情况来说也非常精确。虽然他的理论体系包含着对于当时来说典型的缺陷,但是他对亚里士多德的研究给予他非常系统化的思维逻辑。直到今天在他作品中所体现出来的逻辑性和系统性是值得赞美的。从这些作品中我们也可以看得出为什么当时的人将他称为是“万知博士”。不过今天也看得出大阿尔伯特对许多东西的理解是错误的。他对亚里士多德的著作的理解也包含着许多谬误。比如他将柏拉图和斯彪西波错认为是斯多亚派。  大阿尔伯特对炼金术和化学也有研究并教授过这些学科。1250年他分离了砷。他同代的敌人多次控告他施巫术、与魔鬼交谈、制造会说话的魔术机器。他是少数被说成发现贤者之石的炼金术士之一。
title: 音乐.
content: 在音乐史中大阿尔伯特也占有一席之地。他对当时的音乐的注释拥有启蒙作用。在他对亚里士多德的《诗学》的注释中他描写了许多他本人的观察。他反对“天层之音”的说法,他认为行星的运动不会产生声音。他还细致地描写了音乐的成分和结构。他认为歌唱对人的灵魂有三个作用:驱逐不纯,明洁导致静观,静观导致完美。对20世纪的音乐理论家尤其有异议的是大阿尔伯特将安静看作是音乐的一部分。
title: 其它.
content: 传说大阿尔伯特制造过一台机器人。

Summary: 大阿尔伯特(,约1200年-1280年-11月15日)是一位中世纪欧洲重要的哲学家和神学家,他是多明我会神父,由于他知识丰富而著名,他提倡神学与科学和平并存。有人认为他是中世纪时期德国最伟大的哲学家和神学家。他也是首位将亚里士多德的学说与基督教哲学综合到一起的中世纪学者。罗马天主教将他列入36位教会圣师之一。
验证码

title: 简介.
content: CAPTCHA这个词最早是在2002年由卡内基梅隆大学的路易斯·冯·安、Manuel Blum、Nicholas J.Hopper以及IBM的John Langford所提出。卡内基梅隆大学曾试图申请此词使其成为注册商标, 但该申请于2008年4月21日被拒绝。一种常用的CAPTCHA测试是让用户输入一个扭曲变形的图片上所显示的文字或数字,扭曲变形是为了避免被光学字符识别之类的计算机程序自动辨识出图片上的文数字而失去效果。由于这个测试是由计算机来考人类,而不是标准图灵测试中那样由人类来考计算机,人们有时称CAPTCHA是一种反向图灵测试。  为了无法看到图像的身心障碍者,替代的方法是改用语音读出文数字,为了防止语音辨识分析声音,声音的内容会有杂音或仍可以被人类接受的变声。  根据CAPTCHA测试的定义,产生验证码图片的算法必须公开,即使该算法可能有专利保护。这样做是证明想破解就需要解决一个不同的人工智能难题,而非仅靠发现原来的(秘密)算法,而后者可以用逆向工程等途径得到。
title: 运用.
content: CAPTCHA技术广泛用于网站的留言板以及注册账号。许多网站为了防止有人利用计算机程序大量在留言板上张贴广告或其他垃圾讯息,因此会放置CAPTCHA要求留言者必需输入图片上所显示的文数字或是算术题才可完成留言。而一些网络上的交易系统(例如:订票系统、网络银行)为了避免被计算机程序以暴力破解大量尝试交易也会有CAPTCHA的机制。  相关的技术有:
title: 破解.
content: 一些曾经或者正在使用中的验证码系统已被破解。这包括Yahoo验证码的一个早期版本 EZ-Gimpy、PayPal、LiveJournal和phpBB使用的验证码,很多金融机构(主要是银行)使用的网银验证码以及很多其他网站使用的验证码。  俄罗斯的一个黑客组织使用一个自动识别软件在2006年破解了Yahoo的CAPTCHA。准确率大概是15%,但是攻击者可以每天尝试10万次,相对来说成本很低。而在2008年,Google的CAPTCHA也被俄罗斯黑客所破解。攻击者使用两台不同的电脑来调整破解进程,可能是用第二台电脑学习第一台对CAPTCHA的破解,或者是对成效进行监视。  也有一种类似分布式的人工识别方法,多用于在自动化运行程序防止被反自动化机制拦截,如游戏自动外挂等,就是通过将需要验证的图片等数据转发到有人值勤的终端,由其他人类代为识别回答后再把答案转发回验证发送端回答。Gmail邮箱注册验证系统的破解可能即是经由此方法。已经有专门的公司提供专门的人员识别服务。reCAPTCHA()的一种,由CAPTCHA的发明者之一Luis von Ahn所发起。)亦是人工破解验证码的应用。  关于破解,也有一些使用新算法和AI结合的算法。

Summary: 全自动区分计算机和人类的公开图灵测试(英语:Completely Automated Public Turing test to tell Computers and Humans Apart,简称CAPTCHA),俗称验证码,是一种区分用户是机器或人类的公共全自动程序。在CAPTCHA测试中,作为服务器的计算机会自动生成一个问题由用户来解答。这个问题可以由计算机生成并评判,但是必须只有人类才能解答。由于机器无法解答CAPTCHA的问题,回答出问题的用户即可视为人类。
伊瓜苏瀑布

title: 成因.
content: 伊瓜苏瀑布群位于伊瓜苏河上。伊瓜苏河在与巴拉那河会合前的约23公里前有一段高崖,因而造成落差为72米的瀑布群。其实,此高崖的成因是由于巴拉那河的河谷是由南至北走,而伊瓜苏河的河床岩层却正好与巴拉那河垂直。因此,巴拉那河承受的河水冲刷远较伊瓜苏河高。在积年累月的侵蚀下,巴拉那河渐渐变得越来越低,从而造成宽达2700米的伊瓜苏瀑布群的形成。
title: 旅游.
content: 伊瓜苏瀑布群所在的阿根廷伊瓜苏国家公园和巴西伊瓜苏国家公国先后在1984年及1986年被列为联合国世界遗产。自此巴西政府当局在1990年代末开始发展该瀑布为旅游区,亦吸引到企业投入了大量资金,修建了约20公里长的游览栈道,铺设了电气铁路,旅游设施焕然一新。  由于旅游业带旺经济,由伊瓜苏瀑布地区附近的伊瓜苏河口一带辐射开去的三国边境地区:包括巴西的伊瓜苏市(Foz do Iguaçu)、阿根廷的伊瓜苏港市(Puerto Iguazú)及巴拉圭的东方市(Ciudad del Este),都有受惠于日渐增长的旅客量。
title: 瀑布的传说.
content: 关于伊瓜苏瀑布,当地有流传着以下两个传说:

Summary: 伊瓜苏瀑布(葡萄牙语:,西班牙语:,当地的瓜拉尼语意为“大水”)是由位于巴西巴拉那州和阿根廷边界上的伊瓜苏河从巴西高原辉绿岩悬崖上落入巴拉那峡谷形成的瀑布。现时成为联合国世界自然遗产的一部分。
日本國家足球隊

title: 历史.
content: 过去多年,日本国内最受大众欢迎的体育项目是相扑及棒球,足球运动在上世纪九十年代之前并不太受日本人重视,而当时日本足球只属亚洲二流水准,实力不如韩国、中国甚至香港等东亚邻国或地区。  直至1980年代连载的《足球小将》漫画及同期播映的电视动画掀起日本青少年对足球的兴趣,日本在1990年代初期开始广泛发展足球运动,足球运动开始受到大众关注和喜爱。自1992年首夺亚洲杯足球赛锦标开始,日本队渐成为亚洲一支实力非凡的国家足球队。1998年首次晋级世界杯决赛周,4年后与韩国合办2002年世界杯,并在分组赛压倒比利时及俄罗斯两支欧洲球队晋级世界杯十六强,可惜在十六强被该届季军土耳其淘汰出局。  2010年世界杯,日本队在首圈分组赛战胜喀麦隆及丹麦,继2002年之后再次晋级决赛周十六强,但被巴拉圭以互射十二码淘汰。  近年来日本在亚洲杯足球赛取得优异的成绩,8次参加比赛有4次夺得冠军,分别在1992年及2000年击败沙特阿拉伯,2004年在北京击败中国,以及2011年在多哈击败澳洲。  2014年世界杯外围赛第三轮分组赛,日本与乌兹别克斯坦及北韩两支劲旅同组,日本取得小组次名出线第四轮分组赛,与澳洲、伊拉克、约旦及阿曼争逐出线决赛周资格,最终以小组首名,并提早一轮比赛取得2014年巴西世界杯出线权,亦成为首支透过外围赛晋身2014年世界杯的国家队。于2014年世界杯中,日本首战对上科特迪瓦,虽上半场由本田圭佑踢进一球使得领先对手,但于下半场却遭科特迪瓦连进两球,最后便以1-2饮恨。第二场迎战希腊,日本控球率将近七成,但仍然无法实现破门,最终以0-0和局收场。第三场则碰上哥伦比亚,然而最终以1-4不幸落败,使得本届世界杯无缘晋级十六强。  2015年亚洲杯,卫冕的日本在分组初赛取得三战全胜成绩晋级八强,但八强赛只能与阿联酋在连加时在内的120分钟打成1-1平手,日本在互射十二码中以4-5遭到队手淘汰,宣告卫冕亚洲杯失败。  2018年世界杯外围赛第三轮分组赛,日本与同组的叙利亚一同晋级第四轮分组赛,与澳洲、伊拉克、沙特阿拉伯、阿联酋及泰国争逐出线决赛周资格,最终日本再次以小组首名,并提早一轮比赛取得2018年俄罗斯世界杯出线权。  在2018年世界杯小组赛上第一轮以2:1胜过哥伦比亚,成为世界杯史上第一支赢过南美球队的亚洲球队;同时日本与塞内加尔完成全部小组赛比赛后同得4分,同样入4球及失4球,两队对赛成绩也以和局作收,结果以公平竞技分数决定晋级资格,日本因比塞内加尔少领两面黄牌而取得较高的公平竞技分数,最后晋级16强赛,而这也是世界杯首次出现需要以公平竞技分数来决定的状况。  在2018年世界杯16强赛中与当时排名世界第三的比利时相遇。虽然两队实力有明显差距,但上半场打成0-0。下半场开始不久日本更领先对手2-0,但因比利时之后改变战术,令日本一度被追平至2-2。在伤停时间结束前遭到比利时绝杀入球,最后以2-3落败结束比赛,虽然日本最后并没有历史性晋级,但3度晋级世界杯淘汰赛也同样写下亚洲球队最佳的记录。  2019年亚洲杯,日本在首轮分组赛三战全胜以小组首名出线,再先后皆以1-0击败沙特阿拉伯及越南晋级四强,再在准决赛以3-0大胜伊朗,第五次晋身亚洲杯决赛,成为夺标大热,有望刷新五夺亚洲杯冠军的纪录,但决赛日本以1-3不敌首次晋身亚洲杯决赛的卡塔尔,球队首次在亚洲杯决赛败阵,屈居亚军。  2019年11月28日,日本国际足总世界排名超越伊朗上升至28名,睽违五年再度登上亚洲第一。 2019年东亚杯足球赛,日本分别2:1及5:0击败中国及香港,但最后一场0:1可惜的败于宿敌韩国,无缘冠军
title: 队徽.
content: 日本国家足球队的队徽采用八咫乌的形象,现时使用的队徽于2017年11月启用。
title: 历届球衣.
content: 日本的球衣赞助商是adidas。
title: 美洲国家杯成绩.
content: 从1993年起,南美足协开始邀请来自其他洲协会的球队参加美洲杯;而日本则被邀请2次。
title: 国际A级赛事纪录.
title: 近期比赛.
content: <nowiki>*</nowiki> "日本队入球数目在前"
title: 球员.
title: 一年内曾入选球员.
content: !colspan=9 bgcolor=#EFEFEF| 门 将 !colspan=9 bgcolor=#EFEFEF| 后 卫 !colspan=9 bgcolor=#EFEFEF| 中 场 !colspan=9 bgcolor=#EFEFEF| 前 锋

Summary: 日本国家足球队()是日本的足球代表队,日本是亚洲的强队之一,由日本足协负责管辖。
彼得·金兹

title: 生平.
content: 他的父亲奥托·金兹(英语:Otto Ginz)是布拉格的纺织品出口公司经理,也是一位重要的世界语者,他的母亲是玛丽·金兹(英语:Marie Ginz)。他的父母是在世界语者大会上结识的。他的母亲来自Hradec Kralove,他的外祖父在那做乡村教师。圣诞节期间,包括在Jungamovo广场开古董店卖珍本书的祖父在内的亲戚常常去看小彼得。彼得很聪明,从8岁到14岁间他写了5本小说:《从布拉格到中国》、《阿勒泰山的男巫》、《地心之旅》、《一秒环球》、《史前来客》,现在除了最后一本,别的四本都亡佚了。这五本小说是模仿儒勒·凡尔纳的风格写的,附有他自己作的插图。彼得还对科学有兴趣,有很强的求知欲。受他父亲对世界语的热爱的影响,他也能流利地讲世界语。  根据纳粹德国反犹太法令,混血家庭的孩子14岁要被关进集中营。因此父亲是犹太人的彼得在1942年10月被关进Terezín集中营。
title: 在集中营中.
content: 在集中营里他仍然保持着对科学和知识的饥渴。他常常在他能进入的满是被查抄书籍的图书馆读书。他创建并准备出版他自己的期刊杂志Vedem,意为“我们引路”。他还编过世界语捷克语词典,和其他几部已经散佚的小说。他的一篇有意思的文章叫《集中营漫步》,在其中他写进了他对集中营的人、建筑、焚化室的评述。  他的兴趣爱好性格特点可以从他的残存书稿中看出,也有一些幸存的朋友的见证。他爱好文学、历史、绘画、地理、社会学,也喜欢科技领域。他的杂志Vedem每周五出版,坚持了两年。  进入Terezín集中营不久他就建立了杂志Vedem,与他同住的几个男孩也参与了编辑。彼得担任总编,笔名nz和Akademie。在彼得搬到奥斯维辛前他把他大部分文章和画作给了他的姐妹,所以大多得以流传今日。他的那个姐妹是在1944年被关进Terezín集中营,万幸她活了下来。  在搬出Terezín前,彼得写过两年的日记(1941-1942)。该日记写实,。此日记曾亡佚然而后来被发现,并由他的姐妹Eva(现在是Chava Pressburger)出版,标题为《我兄弟的日记》,该日记原文是捷克语,以捷克语、西班牙语、加泰罗尼亚语、世界语出版,2007年四月,他的日记以英文出版,标题为《彼得·金兹1941-1942日记》  他有一幅画描绘从月球上看地球,以色列宇航员伊兰·拉蒙(Ilan Ramon)把这幅画的复制品带到了美国哥伦比亚号航天飞机上,2003年2月1日,飞船在重返大气层时崩毁了,连带画也毁了,那天本该是彼得的七十五岁生日。
title: 遗产.
content: 彼得的画作和画作的奇特遭遇激起了其他艺术家的灵感,一个实例就是《彼得·金兹月面变奏曲》。  小行星50413以彼得·金兹的名字命名。

Summary: 彼得·金兹(英语:Petr Ginz)(1928年-2月1日-1944年-9月28日),生于捷克斯洛伐克的布拉格,是捷克斯洛伐克的犹太血统的男孩,他在纳粹大屠杀期间被关进Terezín集中营,后迁至并死于波兰奥斯维辛集中营,时年16岁。
阿拉斯加雪橇犬

title: 外形.
content: 美国犬业俱乐部(AKC)对阿拉斯加雪橇犬的品种标准描述是:雌性身高为58cm,体重为34公斤。雄性身高为64cm,体重为39公斤。较大体型的狗(41公斤)和较小体型的狗(34公斤)也是很常见的。雌性和雄性之间的体型大小差异明细。也有部分阿拉斯加雪橇犬的体重超过45公斤。 阿拉斯加雪橇犬的毛有两层。下层毛可以厚达两英寸,而且油亮柔软。上层毛粗糙但不会超过一英寸。耳朵占头部比例小,当阿拉斯加雪橇犬注意力集中的时候,耳朵会坚挺竖立。阿拉斯加雪橇犬比西伯利亚雪橇犬更大更重,在天性和结构上也比西伯利亚雪橇犬更加强大。西伯利亚雪橇犬身材矮小且修长,眼睛的颜色是棕色或者蓝色,而且拥有很快的奔跑速度。阿拉斯加雪橇犬的选育以耐力和力量为目标,这是因为最初的驯养者需要拥有较好耐力和力量犬种。其颜色通常有:灰白相间、黑白相间、红白相间和纯白色。阿拉斯加雪橇犬的眼睛是杏仁状,颜色是不同程度的棕色,但黑色是首选。其体质结实,骨骼和脚掌很大。 根据美国犬业协会的标准,阿拉斯加雪橇犬的尾巴形态华美,像“挥动的羽毛”。也有部分个体的尾巴是螺旋状的,但属于有瑕疵的品种(通常秋田犬的尾巴是螺旋状的)。当它们蜷缩在雪地里的时候,尾巴能保持其温暖。它们把尾巴包围在鼻子和脸部周围,这样有助于抵抗如暴风雪这样的恶劣天气。其鼻腔深而且宽,整个鼻子呈尖状。阿拉斯加雪橇犬的鼻子和牙龈是黑色的,但也有一些是雪鼻。雪鼻的颜色是黑色和粉红色相间,而且会随着季节的变化黑色的深浅度也有变化。
title: 性格.
content: 阿拉斯加雪橇犬现在仍用于雪橇旅游和托运货物;也有些用于滑雪游戏、卡丁车和越野赛。然而大多数的阿拉斯加雪橇犬是作为家养宠物或者动物表演。相比那些小型的赛犬,阿拉斯加雪橇犬的在长距离雪橇竞赛中速度更慢。它们可以帮助人类在短距离内移动重物。 相比许多其他现代品种,阿拉斯加雪橇犬保持了更多原始的形态和作用。阿拉斯加雪橇犬的独立性很强而且运动量相当大。如果狗主人不能应付这种不听命令的狗,那么应该选择合适的品种来喂养。这种狗长期生活在一个很恶劣的环境中,为了达到“适者生存”的目的,它们的许多行为逐步演化成为了今天我们所看到的。独立、机智和自然是阿拉斯加雪橇犬共有的特性。因为它们的机智,阿拉斯加雪橇犬是一种很难训练的狗。但是,如果训犬者了解这种狗而且懂得如何去让他们保持积极性,那么也是可以训练成功的。 阿拉斯加雪橇犬很难与小动物相处,包括其他犬科动物。其狩猎的本能会导致它们去追逐小动物,如,兔子、松鼠和猫。许多狗主人注意到了这一行为,有人猜测该行为是由于阿拉斯加雪橇犬有狼的血统。 在自然进化的最开始,阿拉斯加雪橇犬往往比其他驯养的犬类有更加强烈的捕猎欲望。因此阿拉斯加雪橇犬和周围的人特别亲热,而且主人可以教会它们容忍其他的宠物。 阿拉斯加雪橇犬非常的喜欢人类,这一特性使它们成为了很受欢迎的家养犬。主人需要花大量的户外时间来满足它们对运动的渴望。 如果是常年在户外饲养阿拉斯加雪橇犬,可在夏天让它们在水池里避暑。在冬天的时候,它们非常喜欢雪地。阿拉斯加雪橇犬不适合作为看门犬,因为他们对陌生人也很友好。 阿拉斯加雪橇犬通常会保持安静,很少会叫。当阿拉斯加雪橇犬叫的时候,经常会发出“呜呜呜”的声音,它们也会像狼一样嚎叫。
title: 健康.
title: 寿命.
content: 目前已知关于阿拉斯加雪橇犬的健康调查是2004年英国犬业协会的14只犬小样本调查。 其平均寿命在10.7年。 主要致死因素是癌症(36%)。然而,在美国阿拉斯加雪橇犬的寿命要长,遗传疾病要比英国的更少,因为最开始进入英国的阿拉斯加雪橇犬数量较小,近亲繁殖的比例高。
title: 疾病.
content: 阿拉斯加雪橇犬常见的疾病有髋骨发育不良和遗传性白内障。其他的疾病还有,癫痫症、先天性心脏问题、肾脏问题、皮肤疾病、遗传性多发性神经病变 、软骨发育异常、心脏缺损和眼部疾病(特别是白内障和视网膜萎缩)。
title: 历史.
content: 阿拉斯加雪橇犬是生活在阿拉斯加地区因纽特人马拉谬特部族饲养犬的后裔。它们的祖先在马拉谬特人的生活、工作、狩猎中扮演了一个非常重要的角色。 这些狗一卓越的狩猎能力而闻名,常被用来狩猎大型的食肉动物(比如熊)。它们还帮助主人来寻找海豹,一旦发现海豹,它们会呼叫主人。马拉谬特人与他们的狗之间相互依存的关系让他们在北极圈这块荒凉的土地上蓬勃发展。 在1896年,克朗代克地区(加拿大)淘金热那个时期,阿拉斯加雪橇犬和其他雪橇犬对勘探者和新移民来说是非常宝贵的,而且在那时,阿拉斯加雪橇犬频繁地与其他进口犬种杂交。这似乎并没有长期影响到现代的阿拉斯加雪橇犬,最近DNA分析显示,阿拉斯加雪橇犬是最古老的犬种之一,从遗传学角度来看,其基因不同于其他犬种。  阿拉斯加雪橇犬有着辉煌的历史:协助海军少将理乍得.伯德(Richard Byrd)到南极;帮助了1896年淘金热时期来到阿拉斯加地区淘金的矿工;第二次世界大战中在军队服役,主要在格陵兰岛进行搜救工作;也被用来在欧洲托运货物。  在2010年,阿拉斯加雪橇犬被评为阿拉斯加州最具代表性的狗。

Summary: 阿拉斯加雪橇犬(英语:Alaskan Malamute)又称阿拉斯加马拉穆,是最古老的雪橇犬之一。这种犬与同在阿拉斯加的其它犬种不同,四肢强壮有力,培育它的目的是为了耐力而不是速度,因而它们的主要用途是拉雪橇。阿拉斯加雪橇犬有时候会被误认为西伯利亚雪橇犬,这是由于这两者的颜色和条纹相似,但实际上两者在大小、结构和特性等方面完全不同。作为宠物,阿拉斯加雪橇犬一旦成熟后有着非常安静、高雅的气质,而且它们忠于主人。它的名字来自爱斯基摩人的伊努伊特族的一个叫做马拉谬特的部落,这个部落生活在北美阿拉斯加西部一个叫做扣赞伯(Kotzebue)的岸边。欧洲人到来之前,最早发现此地的俄国人是在白令海峡航行时被风暴吹到这块西伯利亚北部的土地的。水兵们返回俄国之后,就把他们在这里印象深刻的事情告诉了其他的俄国人,这当然包括了这里的特色——阿拉斯加雪橇犬。
.tk

title: 关于.
content: Dot TK是一家由三方合办的合资企业:托克劳政府,托克劳国家通信公司Teletok,以及私人控股公司BV Dot TK。托克劳政府已授权BV Dot TK作为独家注册实体进行商务活动。而BV Dot TK实质上由Freenom Registry管理,注册业务也由Freenom负责。另外,Freenom还提供.ml、.gq、.ga、.cf四个顶级域名供免费注册,并提供其他一些顶级域的付费注册。 .tk域名可以在dot.tk进行免费注册申请。大部分域名可以免费注册1-12个月,但溢价域名或注册局保留域名需付费注册。
title: 含义.
content: “tk”在英文中,可延伸出“talk”(谈话、对话)、“talker”(谈话的人)等含义;同时也是“天空”“太空”“题库”“图库”等词的汉语拼音首字母。
title: 里程碑.
content: 2000年,Joost Zuurbier建立了Freedom Registry公司,开始提供.tk域名注册。  2010下半年,全球网络钓鱼调查(Global Phishing Survey 2H2010)的报告中显示:89%的恶意域名注册集中除了集中在“.info”、“.com”、“.net”这三个历史悠久的通用顶级域以外,剩下的就是在“.tk”了。  2011年早些时候,反钓鱼工作小组(APWG) 报告称,在2011年上半年有6333个钓鱼攻击和6214个独立的域名使用.TK域名作为钓鱼域名,是所有顶级域名中最高的。  2012年,统计显示,托克劳六分之一的收入来自于.tk域名,这其中包括.tk域名的域名授权费、广告投放费等。  2017年12月,威瑞信第三季度简报显示,“.tk”域名注册量达到1910万,成功超越“.de”域名,成为世界注册量第三的顶级域名。2018年注册数量2120万,是注册数量最多的国家顶级域名。
title: 评价.
title: 正面评价.
content: Dot TK Registry认为:Dot TK能够对托克劳人民的生活产生很大的影响。他们的首要目标是提高Tokelau在世界上的知名度以及与大型企业建立良好的关系。这些公司可为这个地区提供通信,教育和医疗专业知识,并且通过支付域名费来直接资助Tokelau岛国。通过这种方法,Tokelau政府可以朝着财政上更加独立的状况发展。而.tk域名的免费注册,也给一些站长带来了零成本搭建网站的机会。
title: 负面评价.
content: .tk域名的免费注册让一些垃圾站的站长瞄上了它。有媒体将.tk域名被评为“全球十大危险域名”之首。而“.tk”域名由于这一原因,.tk域名搭建的网站很难提升权重与在各类搜索引擎的排名。

Summary: .tk域名为托克劳(ccTLD)的国家和地区顶级域。.tk域名已经由托克劳政府授权BV Dot TK作为独家注册实体。
关塔那摩湾

title: 历史.
content: 1898年,美西战争接近尾声时,美国从西班牙帝国手中夺走全部古巴,将其纳为保护国,并在关塔那摩湾建立了美国海军关塔那摩基地(U.S. Naval Station Guantanamo Bay)。1901年2月,美国总统威廉·麦金莱签署《普拉特修正案》,法案规定美国有权对古巴实行军事干涉,并要求古巴让岀部分领土给美国建立军事基地和开采煤矿等。《普拉特修正案》作为附录写入了古巴宪法。根据这一法案,美国在1903年从第一任古巴总统托马斯·埃斯特拉达·帕尔马手中获得一份租借关塔那摩湾部分土地的永久性租契,起始日期为1903年2月23日,这成为了今日租约的依据。  然而好景不长,1905年,帕尔马再次当选总统后,反对人士质疑选举程序合法性,进而发动起义。为支持当时政府,1906年美国再次岀兵占领古巴,直到1909年才结束。古巴人认为《普拉特修正案》允许美国入侵其领土,因此1934年巴蒂斯塔上台后此法案便告废弃。同年两国签署一项新的条约,保留了美军对关塔那摩湾的租契,并允许古巴和其贸易伙伴免费使用此湾。租金原来为一年2000美元,以金币形式支付;1934年改成相当于1934年4085美元的等值通货。除此之外还加入一项条件,规定只有当美国和古巴政府均同意后才能废止这项租契,或美国放弃基地财产,当初并没有想到古巴革命变成社会主义国家,导致后来极为特殊的现象,美军可「合理」的声称自己有权驻扎在社会主义国家古巴。而为了保护领地,关塔那摩湾海军基地目前驻紥1000名美军,是美国唯一设在敌对社会主义国家领土上的军事基地,也是实际上军事占领有关土地。  自然古巴人对美国占领自己的领土一直极为不满。1969年的《维也纳条约法公约》第52条规定,如果一款条约是在一方威胁或强行施加的情况下签署的(在这里就是指1903年美国将普拉特修正案写入古巴宪法),则此条约无效。古巴政府以此公约为据,强烈谴责这款条约和关塔那摩美军基地的存在。卡斯特罗上台后,除唯一一次外,一直坚决拒绝从美国政府那里兑现租金支票,原因在于他认为这个基地是非法的。不过古巴碍于美国的威胁能量,只能屈从于政治现实,保持约定好的这种紧张平衡,尽管美国和古巴之间没有外交关系直到2015年,美国的条件是同意将古巴的通缉犯遣返,古巴也同意将在关塔那摩湾犯罪的嫌犯押送至美国。  1964年古巴政府切断了通向基地的水源供给,迫使美国首先从牙买加运水,后来又建立了海水淡化设备。时至今日,此基地能够在水电方面自给自足。美国在冷战期间岀于担心古巴袭击基地,在周围布满地雷,地雷带长达几十公里,是世界上最恐怖的雷区之一。  20世纪后期,基地的主要作用是收留在公海上拦截的古巴和海地难民,不过从2002年起,基地的一小部分设为关塔那摩湾拘留营,被用来关押在阿富汗和其他地区捕获的基地组织和塔利班嫌犯。2006年3月3日,美国五角大楼公布了被关押在关塔那摩监狱的数百名恐怖活动嫌疑犯的姓名和国籍等身份信息,是美军方首次公布该监狱囚犯身份。  2009年1月21日,美国总统巴拉克·奥巴马刚上任后曾计划于一年内关闭关塔那摩湾拘留营,但被国会反对,加上现实不可行的情况下(多数美国人反对囚禁中的恐怖分子转至美国本土),因而到现在该拘留营仍继续运作。

Summary: 关塔那摩湾(西班牙文:Bahía de Guantánamo;英文:Guantanamo Bay)位于古巴东南端关塔那摩省。北纬19.54度,西经75.9度。湾中设有一属于美国海军的关塔那摩湾海军基地,占地116平方公里。近年来该基地被美军用于拘留和审讯在阿富汗与伊拉克等地区的战事中捕获的恐怖活动嫌疑人、战俘。此地因为算是租借的古巴领土,法理上受刑人的权利不受联邦法律保护与监管,美国政府便可以为所欲为向受刑人迫供,因而再度受到媒体与民间人权团体的关注。
G-14

title: 发展与结束.
content: 2004年欧洲冠军联赛决赛是自1992年以来的第一场欧联决赛入围者其中之一不是G-14成员; 2004年的决赛以非G-14成员AS摩纳哥对G-14成员FC波图。  于2007年5月16日在格拉斯哥举行的年会后,除选出里昂主席奥拉斯(Jean-Michel Aulas)出任G-14会长外,更宣称有意将会员数目在年底前增加一倍,据报切尔西有意加入但被拒绝,而凯尔特人及流浪者更是排名较高的新申请球队。  2008年1月15日G-14与欧洲足协达成协议,国际足协及欧洲足协将支付球员因入选世界杯及欧国杯名单,参加国际赛而受伤的赔偿,而G-14则同意在2008年2月15日解散,由新成立的欧洲足球会协会(European Club Association)取代。欧洲足球会协会由欧洲足协全部53个成员国的100个球会组成,每个成员国最少有一队参加。

Summary: G-14(2000年-2008年2月15日)是一个由欧洲顶级足球俱乐部组成的机构,曾经于2000年至2008年成立,在2000年由14支欧洲足协顶级球队成立,以建立一个共同的声音与UEFA及FIFA谈判及争取共同利益。只有获邀请的球队才可以加入成为新成员,在2002年增加四个成员使成员数目达到18个,但G-14仍然保留原有的名字。于2008年宣布解散。
格 (数学)

title: 序理论定义.
content: 考虑任意一个偏序集合("L",≤),如果对集合L中的任意元素a,b,使得a,b在L中存在一个最大下界,和最小上界,则("L",≤)是一个格。  这里对于取a,b的最大下界的操作用formula_1表示;  对于取a,b的最小上界操作用 formula_2表示。  有界格有一个最大元素和一个最小元素,按惯例分别指示为1和0(也叫做顶和底)。任何格都可以通过增加一个最大元素和最小元素而转换成有界格。  使用容易的归纳论证,你可以演绎出任何格的所有非空有限子集的上确界(并)和下确界(交)的存在。一个很重要的格的种类是完全格。一个格是完全的,如果它的所有子集都有一个交和一个并,这对比于上述格的定义,这里只要求所有非空有限子集的交和并的存在。
title: 抽象代数定义.
content: 另一种定义格的方式是将格定义为一种代数结构。一个格是一个代数结构formula_3,其中formula_4和formula_5是定义在集合formula_6上的二元运算,且对于所有的formula_7满足: 从上述三个公理恒等式可以得出重要的:  这些公理断言了("L",formula_4)和("L",formula_5)都是半格。吸收律是唯一交和并都出现了的公理,把格同一对半格区别开来并确保这两个半格正确的交互。特别是,每个半格都是另一个半格的对偶。“有界格”要求交和并都有一个零(neutral)元素,分别习惯叫做1和0。参见半格条目。  格与广群家族有一些联系。因为交和并都符合交换律和结合律。格可以看作由有相同的承载者的两个交换半群组成的。如果格是有界的,这些半群也是交换幺半群。吸收律是特定于格理论的唯一定义恒等式。  "L" 闭包于交和并之下,通过归纳,蕴涵了"L"的任何有限子集的交和并的存在性,有着一个例外:空集的交和并分别是最大元素和最小元素。所以格只在它是有界的条件下包含所有有限(包含空)交和并。为此有些作者定义格的时候要求0和1是"L"的成员。而以这种方式定义格不损失一般性,因为任何格都可以被嵌入一个有界格中,这里不接受这种定义。  格的代数解释在泛代数中扮演根本性角色。
title: 两个定义的等价性.
content: 格的代数定义蕴涵了序理论的定义,反之亦然。  明显的,序理论的格引发了两个二元运算formula_4和formula_5。容易看出这些运算使("L", formula_4, formula_5)变成代数意义上的格。反之亦真:考虑代数定义的格("M", formula_4, formula_5)。现在定义在"M"上的偏序≤如下,对于"M"中的元素"x"和"y"  或等价的  吸收律确保了两个定义实际上是等价的。你现在可以检查以这种方式介入的关系≤定义了在其中二元交和并是通过最初运算formula_4和formula_5而给出的一个偏序。反过来,由得出自上述序理论公式的代数定义的格("L", formula_4, formula_5)引发的次序一致于"L"的最初次序。  因为格的两个定义是等价的,你可以随意调用任何定义的适合你用的方面。
title: 格的态射.
content: 在两个格之间的适当的态射概念可以轻易的同上述代数定义得出。给定两个格("L", formula_4, formula_5)和("M", formula_24, formula_25),"格的同态"是一个函数"f" : "L" → "M"使得  所以"f"是两个底层半格的同态。当考虑带有更多结构的格的时候,这个态射也应当注意这个额外结构。所以在两个有界格"L"和"M"之间的态射"f"还有下列性质:  在序理论公式中,这些条件只声称格的同态是保持二元交和并的一个函数。对于有界格,最小和最大元素的保持只是空集的并和交的保持。  格的任何同态必然关于相关的次序关系是单调的;参见极限的保持。反过来当然不是真的:单调性决不蕴涵要求的保持性质。  假定同构作为可逆态射的标准定义,格的同构就是双射格同态。格和它们的态射形成了一个范畴。
title: 子格.
content: 格"L"的子格是"L"的非空子集,它是带有同"L"一样的交和并运算的格。就是说,如果"L"是一个格,而"M"formula_30是"L"的子集使得对于"M"中的所有元素对"a", "b"有"a"formula_5"b"和"a"formula_4"b"在"M"中,则"M"是"L"的子格。  格"L"的子格"M"是"L"的凸子格,如果"x ≤ z ≤ y"和"x", "y"在"M"中蕴涵了"z"属于"M",对于在"L"中的所有元素"x, y, z"。
title: 对偶原理.
content: 设formula_33是含有格中的元素以及符号formula_34的逻辑命题,令formula_35是将formula_33中的formula_37替换为formula_38,将formula_38替换为formula_37,将formula_4替换为formula_5,将formula_5替换为formula_4后所得到的命题。则称formula_35是formula_33的对偶命题。  设formula_33是含有格中的元素以及符号formula_34的逻辑命题,若formula_33对于一切格为真,则formula_33的对偶命题formula_35也对于一切格为真。
title: 引用.
content: 可在线免费获得的专著:  Elementary texts recommended for those with limited mathematical maturity:  The standard contemporary introductory text:  The classic advanced monograph:  Free lattices are discussed in the following title, not primarily devoted to lattice theory:  The standard textbook on free lattices:

Summary: 在数学中,格是其非空有限子集都有一个上确界(称为并)和一个下确界(称为交)的偏序集合(poset)。格也可以特征化为满足特定公理恒等式的代数结构。因为两个定义是等价的,格理论从序理论和泛代数二者提取内容。半格包括了格,依次包括海廷代数和布尔代数。这些"格样式"的结构都允许序理论和抽象代数的描述。
递归可枚举语言

title: 形式定义.
content: 递归可枚举语言定义:设"S" ⊆ Σ为一个语言,"E"是一个枚举器,若"L"("E") = "S",则称"E" 枚举了语言"S"。若存在这样 的"E","S"就称为递归可枚举语言。  注意,枚举器"E"可以以任意的顺序枚举语言"L"("E"),而且"L"("E") 中的某个串可能会被"E"多次重复地打印。  图灵可识别语言定义:设formula_1是一台图灵机,若在输入串formula_2上formula_1运行后可进入接受状态并停机,则称formula_1接受串formula_2。formula_1所接受的所有字符串的集合称为formula_1所识别的语言,简称formula_1的语言,记作formula_9。  设formula_10是一个语言,若存在图灵机formula_1使得formula_12,则称图灵机formula_1 识别formula_14,且formula_14称为图灵可识别语言。
title: 两个定义的等价性.
content: 下列定理揭示了递归可枚举语言和图灵可识别语言的联系。  定理:一个语言是图灵可识别的,当且仅当它是递归可枚举的。  证明:若有枚举器"E"枚举语言"S",构造一个图灵机"M"如下:  "M" = 对于输入ω  注意当ω ∉ "S"时,"M"可能永不停机,但"M"所接受的语 言集合恰好是"S",所以"M"识别了"S"。  假设我们有图灵机"M"识别语言"S",构造一个枚举器"E"如下:  "E" = 忽略输入  显然,这样构造的枚举器"E"最终输出的语言恰好就是"S"。注意"S"中的字符串并 没有在"E"中按字典序输出,而且同一个串可能会被"E"输出多次,但根据枚举器的定义,这些都是允许的。
title: 闭包性质.
content: 递归可枚举语言在下列运算下是闭合的。就是说,如果"L"和"P"是两个递归可枚举语言,则下列语言也是递归可枚举的:  注意递归可枚举语言不闭合于差集和补集之下。
title: 图灵可识别语言与图灵可判定语言的关系.
content: 注意图灵可识别语言和图灵可判定语言的区别:若formula_14是图灵可识别语言,则只需存在一台图灵机formula_1,当formula_1的输入formula_23时,formula_1一定会停机并进入接受状态;当formula_1的输入formula_26时,formula_1可能停机并进入拒绝状态,或者永不停机。而若formula_14是图灵可判定语言,则必须存在图灵机formula_1,使得对于任意输入串formula_30,formula_1总能停机,并根据formula_2 属于或不属于 formula_14分别进入接受或拒绝状态。  并不是所有的语言都是图灵可识别的,可以证明存在图灵不可识别语言。

Summary: 在数学、逻辑和计算机科学中,递归可枚举语言是也叫做部分可判定语言或图灵可识别语言的形式语言类型。它在形式语言的乔姆斯基层级中叫做类型-0语言。所有递归可枚举语言的类叫做RE。
宣告式編程

title: 定义.
content: 声明式编程通常被定义为除命令式以外的编程范式。同时存在一些其他的定义,这些定义不是简单的将宣告式编程和命令式编程做对比,例如:  这些定义有一些是重合的。
title: 子编程范式.
content: 声明式编程是一个大的概念,其下包含一些有名的子编程范式。
title: 约束式编程.
content: 在约束式编程()中,变量之间的关系是在约束中说明的,定义了问题的解的范围。这些约束然后被应用程序来求解,以使得每个变量获得一个值,并让最多的约束得到满足。  约束式编程经常被用作函数式编程、逻辑编程甚至命令式编程的补充。
title: 领域专属语言.
content: 一些著名的声明式领域专属语言(DSLs)包括yacc语法分析器,编译说明语言Make,Puppet管理配置语言,正则表达式和SQL的一些子集(例如Select queries等)。DSLs有时非常有用,并且不需要是图灵完全的,这往往让其很容易以一种纯宣告式的方式来表达。  很多文本标记语言例如HTML、MXML、XAML和XSLT往往是声明式的。
title: 函数式编程.
content: 函数式编程,特别是纯函数式编程,尝试最小化状态带来的副作用,因此被认为是宣告式的。大多数函数式编程语言,例如Scheme、Clojure、Haskell、OCaml、Standard ML和Unlambda,允许副作用的存在。
title: 逻辑式编程.
content: 逻辑式编程语言如Prolog声明关系并且对关系进行提问。同函数式编程一样,许多逻辑编程语言允许副作用的存在。
title: 外部链接.
content: 「宣告式」与「指令式」

Summary: 宣告式编程(英语:Declarative programming)是一种编程范式,与指令式编程相对立。它描述目标的性质,让电脑明白目标,而非流程。声明式编程不用告诉电脑问题领域,从而避免随之而来的副作用。而指令式编程则需要用算法来明确的指出每一步该怎么做。
递归语言

title: 定义.
content: 递归语言有两种等价的主要定义:  递归语言是在形式语言的字母表上的所有可能的字的集合的递归子集。  设 "S" ⊆ Σ 是一个语言,"M" 是一台图灵机, 若对于任何字符串 ω ∈ Σ,有 则称 "M" 判定语言 "S"。 若存在这样的 "M","S" 就称为图灵可判定语言。
title: 闭包性质.
content: 递归语言是在下列运算下是闭合的。就是说,如果 "L" 和 "P" 是两个递归语言,则下列语言也是递归的:
title: 图灵可判定语言与图灵可识别语言的关系.
content: 注意图灵可判定语言和图灵可识别语言的区别:若 "S" 是图灵可识别语言,则只需存在一 台图灵机 "M",当 "M" 的输入 ω ∈ "S" 时,"M" 一定会 停机并进入接受状态;当 "M" 的输入 ω ∉ "S" 时,"M" 可能停 机并进入拒绝状态,或者永不停机。而若 "S" 是图灵可判定语言,则必须存在图灵机 "M", 使得对于任意输入串 ω ∈ Σ,"M" 总能停机,并根据 ω 属于或不属于 "S" 分别进入接受或拒绝状态。  定理:存在图灵不可判定语言。  证明: 定义语言 HALTING 如下:  其中 <"M", "x"> 表示将 "M" 的编码和串 "x" 以某种方式配对而得到的串。 可以证明 HALTING 是图灵不可判定语言,参见停机问题。 Q.E.D.  下列定理表明了图灵可判定语言和图灵可识别语言的关系。  定理:一个语言是图灵可判定的当且仅当它和它的补语言都是图灵可识别的。  证明: 若 "S" 是图灵可判定的,显然 "S" 和 "S" 的补都是图灵可识别的。 下面假设存在图灵机 "M" 和 "M" 分别识别"S" 和 "S" 的补,我们可以构造一个图灵机 "M" 如下:  "M" = 对于输入 ω  很显然,对于任何 ω,它要么属于"S",要么属于 "S" 的补, 所以 "M" 和 "M" 中必然有且仅有一个 可以在有限步执行内接受 ω 。 若 "M" 在 "k" 步内接受 ω,说明 ω 属于 "S", 则当 "i" = "k" 时,"M" 会接受 ω 并停机; 同理,若 "M" 在 "k" 步内接受 ω, 说明 ω 属于 "S" 的补,则当 "i" = "k" 时, "M" 会拒绝 ω 并停机。于是 "M" 就判定了语言 "S"。 Q.E.D.  根据上述定理直接可得下述引理:  定理: HALTING 的补语言是图灵不可识别的。  证明: 很显然 HALTING 是图灵可识别语言,若它的补语言也是图灵可识别的, 则根据上述定理知 HALTING 是图灵可判定的,这和停机问题中证明的结论矛盾。

Summary: 在数学、逻辑和计算机科学中,递归语言或递回语言是也叫做可判定语言或图灵可判定语言的形式语言类型。所有递归语言的类经常被称为 R。这种语言类型在乔姆斯基层级中没有定义。
罗贝尔·舒曼

title: 生平.
content: 罗贝尔·舒曼的父亲为法国公民,出生于卢森堡市,母语为卢森堡语。1871年随着洛林被德意志帝国兼并,他的父亲成为德国公民。罗贝尔·舒曼的母亲出生于卢森堡,和他的父亲结婚后取得德国国籍。虽然罗贝尔·舒曼在卢森堡市出生,但他出生时的国籍是德国,母语是卢森堡语。德语是他的第一外语,而法语直到他上学之后才开始学习,因此他一生当中说法语时都带有口音。  1896年-1903年,罗贝尔·舒曼在卢森堡上文科高中,并在梅斯取得高中毕业证书。1904年他开始在波恩大学学习法律,后来又相继在慕尼黑、柏林和斯特拉斯堡学习。1908年他在梅斯通过了德国第一国家考试(在德国要成为律师必须进行两次国家考试,两次考试期间为律师实习期)并在那里进行律师实习。1910年以24岁的年龄在柏林取得法学的博士学位。1912年他通过第二国家考试并在梅斯成为一名律师。
title: 政治生涯.
content: 第一次世界大战中罗贝尔·舒曼担任德意志帝国军队出租车官,但并没有参加战斗而是做民事工作。1918年成为梅斯市议会成员。  1919年阿尔萨斯-洛林重归法国之后罗贝尔·舒曼接受了法国国籍,并作为洛林共和联盟的成员,成为法国议会中代表洛林的议员。1928年至1936年,他担任议会中阿尔萨斯-洛林小组的组长并曾经有一段时间担任议会的副议长。他担任议员一直到1941年在第二次世界大战中被盖世太保逮捕。1942年他得以逃脱。  二战结束后,罗贝尔·舒曼重新担任法国议会的议员并成为议会中财政小组的组长。1946年他成为财政部部长,1947年至1948年短暂担任法国总理。其后出任法国外交部长。  1950年5月9日罗贝尔·舒曼公布了重新组建欧洲的历史性的舒曼宣言。1951年4月18日建立欧洲煤钢共同体的条约在巴黎签署。欧洲煤钢共同体被其视为欧洲在政治上走向联邦的重要一步。然而,由于二战刚刚结束,德国和法国之间的仇恨在民众当中还并未消除,因此罗贝尔·舒曼的欧洲共同体思想在法国并没有得到理解,以致他不得不于1953年辞职。  1953年,26个欧洲国家签署了《人权和公民基本自由斯特拉斯堡公约》,这一公约受到了罗贝尔·舒曼的很大影响。从1953年至1958年,他在很多地方作报告宣传一个联合的欧洲的思想。1955年他出任法国司法部长。  1957年的罗马条约将欧洲重新带回到这位“欧洲之父”早在1950年5月9日其宣言中就阐述的道路上。1958年他被任命为欧洲议会第一任议长。

Summary: 罗贝尔·舒曼(,1886年-6月29日-1963年-9月4日,台湾旧部编版课本又翻译为徐满)是一位法国政治家,曾担任法国总理和外交部长,以他名字命名的舒曼计划为欧盟的前身欧洲煤钢共同体的建立铺平了道路。他和让·莫内一起被称为“欧盟之父”。他出任了欧洲议会的第一任议长。
康维尔

title: 起源.
content: Consolidated Vultee Aircraft Corporation它的名字随着时间变化为Convair、Convair Corporation或其它相似的名称。它是一家美国飞机、火箭、航天器公司,它能设计、开发、生产这些高科技的航天产品或这些产品的一些零部件。它也是一些大公司的子公司。作为一家公司在于于1943至1994年,虽然其前身团结飞机公司在此之前已经成立,而且生产过一些第二次世界大战早期很重要的飞机,特别是为美国海军和皇家加拿大空军、英国空军等生产的PBY卡特琳娜,该机型一直生产到1945年5月,生产量超过4000架。  很快被改称为"Convair"的公司(一开始是非正式的,后来就改为正式的)是由 团结飞机公司与伏尔提飞机公司合并而来,这一合并产生的一个在当时已算十分巨大的 飞机制造公司,虽然它还是比这个行业的巨人,如 麦道、波音、洛克希德要小一些。康维尔总是在南加州圣地亚哥及附近完成大部分的研究、设计和制造工作,虽然也有一些在其它地区完成。
title: 喷射时代、冷战和太空时代.
content: 在1953年3月,康维尔公司被通用动力公司完全购买,从而正式成为这个军事和高科技集团的一个部门——Convair Division  在军用战斗机和轰炸机进入喷射时代后,康维尔公司与法国的Dassault飞机公司一样,成为了三角翼飞机设计的先驱,后者设计和制造了幻影战斗机。  康维尔最著名的产品之一是十个引擎的Convair B-36战略轰炸机。该机型使用4台涡轮喷发动机和6台驱动推进螺旋桨的Pratt & Whitney R-4360 Wasp Major星形活塞发动机。Convair B-36是世界上最大的陆基活塞引擎轰炸机。Atlas missile、F-102 Delta Dagger、F-106 Delta Dart三角翼截击机和三角翼的超音速洲际核弹轰炸机B-58 Hustler都是康维尔公司的产品。在1960年代的一段日子里,康维尔生产了自己的喷商用客机系列——Convair 880和Convair 990,但它们被证明不是一笔挣钱的买卖。然而康维尔发现,如果做为一个航空子承包商帮助一些大的客机公司,如 McDonnell Douglas、Boeing和Lockheed制造大的分段,如机身等,会是一个好买卖。  直到1965年为止,康维尔生产自己设计的飞机,如几种客机。后来他们转型为为其它公司制造机身/航空结构的子承包商,同时公司也将更多的钱和精力投放到它们的外层空间产品上,特别是火箭助推器。康维尔为美国空军制造的使用低温燃料Atlas missile洲际弹道导弹很快就被废弃,取而代之的是使用室温液态燃料的Titan II missile和固体燃料的Minuteman missile。  注释:美国海军与空军飞机型号以“X”开头的表示其为生产了很少几架的实验型号。军用飞机型由“Y”开头的表示其为生产了几个批次的开发型,可能有也可能没有能够进入大规模生产。
title: 产品.
title: 飞机.
content: 在海军和海军陆战队以前使用的型号系统里,型号的最后一个字母为“Y”就表示是康维尔或团结公司的产品,如PBY-5水上飞机。
title: 遗产.
content: 位于多伦多皮尔逊国际机场的"Convair Drive"据信是为纪念Convair company而命名的。

Summary: 康维尔(英语:Convair)是一家美国飞行器制造公司,后来扩展其业务至火箭和航天器。公司成立于1943年,由伏尔提飞机公司与团结飞机公司合并而来,公司生产了大量先驱型飞行器,如Convair B-36轰炸机、F-102 Delta Dagger和F-106。公司也制造了第一台擎天神火箭,包括用于先驱性的载人轨道飞行计划——水星计划中使用的火箭。公司随后设计的Atlas-Centaur也十分成功,其衍生型号一直使用到2010年。1994年公司的大部分部门被其业主——通用动力分别卖给了麦道和洛歇,剩下部分也于1996年停止运营。
直接記憶體存取

title: 直接内存存取.
content: DMA是所有现代电脑的重要特色,它允许不同速度的硬件装置来沟通,而不需要依于中央处理器的大量中断负载。否则,中央处理器需要从来源把每一片段的资料复制到暂存器,然后把它们再次写回到新的地方。在这个时间中,中央处理器对于其他的工作来说就无法使用。  DMA传输常使用在将一个内存区从一个装置复制到另外一个。当中央处理器初始化这个传输动作,传输动作本身是由DMA控制器来实行和完成。典型的例子就是移动一个外部内存的区块到芯片内部更快的内存去。像是这样的操作并没有让处理器工作拖延,使其可以被重新排程去处理其他的工作。DMA传输对于高效能嵌入式系统算法和网络是很重要的。 举个例子,个人电脑的ISA DMA控制器拥有8个DMA通道,其中的7个通道是可以让计算机的中央处理器所利用。每一个DMA通道有一个16位元位址暂存器和一个16位元计数暂存器。要初始化资料传输时,装置驱动程序一起设定DMA通道的位址和计数暂存器,以及资料传输的方向,读取或写入。然后指示DMA硬件开始这个传输动作。当传输结束的时候,装置就会以中断的方式通知中央处理器。  "分散-收集"(Scatter-gather)DMA允许在一次单一的DMA处理中传输资料到多个内存区域。相当于把多个简单的DMA要求串在一起。同样,这样做的目的是要减轻中央处理器的多次输出输入中断和资料复制任务。 DRQ意为DMA要求;DACK意为DMA确认。这些符号一般在有DMA功能的电脑系统硬件概要上可以看到。它们表示了介于中央处理器和DMA控制器之间的电子讯号传输线路。
title: 缓存一致性问题.
content: DMA会导致缓存一致性问题。想像中央处理器带有缓存与外部内存的情况,DMA的运作则是去存取外部内存,当中央处理器存取外部内存某个位址的时候,暂时先将新的值写入缓存中,但并未将外部内存的资料更新,若在缓存中的资料尚未更新到外部内存前发生了DMA,则DMA过程将会读取到未更新的资料。  相同的,如果外部装置写入新的值到外部内存内,则中央处理器若存取缓存时则会存取到尚未更新的资料。  这些问题可以用两种方法来解决:  第二种的方法会造成DMA的系统负担。
title: DMA引擎.
content: 除了与硬件交互相关外,DMA也可为内存耗费减负。如Intel I/O加速技术(IOAT)。IOAT的后续者是Xeon E5处理器的Data Direct I/O(DDIO)技术。

Summary: 直接内存存取(英语:Direct Memory Access,英语:DMA)是计算机科学中的一种内存访问技术。它允许某些电脑内部的硬件子系统(电脑外设),可以独立地直接读写系统内存,而不需中央处理器(英语:CPU)介入处理 。在同等程度的处理器负担下,英语:DMA是一种快速的数据传送方式。很多硬件的系统会使用英语:DMA,包含硬盘控制器、绘图显卡、网络卡和声卡。
方濟各·馬哈爾斯基

title: 生平.
content: 马哈尔斯基出生于1927年5月20日,波兰第二共和国小波兰省的首府克拉科夫。二战期间,他曾被纳粹德国成为劳工。随后进入克拉科夫神学院,在那里他还学习神学。  于1950年4月2日,在克拉科夫总教区晋铎。后来到瑞士弗里堡继续神学研究。他于1960年获得博士学位。  1978年10月16日,克拉科夫总教区总主教卡罗尔·约泽夫·沃伊蒂瓦当选成为第264任教宗,名为若望·保禄二世。同年12月29日新任教宗若望·保禄二世任命马哈尔斯基出任克拉科夫总教区总主教。1979年1月6日由若望·保禄二世亲自晋牧,并于同年1月28日正式就任。  同年6月30日,又被时任教宗册封为司铎级枢机。他曾参与2005年教宗选举秘密会议,当时选出的是教宗本笃十六世。  2005年6月3日荣休,由斯坦尼斯瓦夫·济维齐接替担任克拉科夫总教区正权总主教。  在2016年7月28日,时任教宗方济各在出席世界青年日期间到克拉科夫医院探望处于昏迷状态的马哈尔斯基。他于8月2日去世,享年89岁。

Summary: 方济各·马哈尔斯基(,1927年-5月20日-2016年-8月2日)是波兰籍天主教司铎级枢机及克拉科夫总教区荣休总主教。
特里亞農條約

title: 匈牙利之边界.
content: 1918年11月11日德国投降,同日奥皇卡尔一世退位,11月16日,匈牙利宣布脱离奥匈帝国独立,与奥地利分离。10月31日时,巴纳特共和国在蒂米什瓦拉(今罗马尼亚西部城市)成立。匈牙利政府确认它的独立。匈牙利的边界在11月至12月初步确立。与匈牙利王国比较,新匈牙利的领土不包括:  根据特里亚农条约,匈牙利失去以下的领土:  条约把原本归于南斯拉夫的匈牙利城市佩奇、莫哈奇、包姚及锡盖特堡重新拨归匈牙利。  匈牙利总共失去72%的领土,人口由二千零八十万大幅减少,也丧失统治了八百年的唯一海港里耶卡(今克罗地亚海港)。  匈牙利在纳粹德国崛起后日渐向德国靠拢,1938年德国占领捷克苏台德地区,匈牙利亦因慕尼黑协定夺得斯洛伐克南部,1940年在纳粹德国和意大利主持下的两次维也纳仲裁裁决而获得喀尔巴阡鲁塞尼亚北部和罗马尼亚的北特兰西瓦尼亚,1941年4月匈牙利参与了南斯拉夫战役,占领了部分伏伊伏丁那和斯洛文尼亚地区。随着苏联在1944年大规模反攻纳粹德国,8月苏军进入罗马尼亚使其倒戈退出轴心国,苏军于10月攻入北特兰西瓦尼亚和德匈军队激战,10月16日匈牙利退出轴心国,随即被德国出兵占领全境沦为傀儡国,苏军于1945年包围布达佩斯,最终匈牙利全国被苏联军队占领。根据巴黎和平条约,匈牙利的边界与1920年的相若,一直至今。

Summary: 《特里亚农条约》是1920年一项制定匈牙利边界的条约。第一次世界大战结束前,奥匈帝国灭亡,奥地利帝国的伙伴匈牙利王国宣布独立。由于奥匈帝国包含数个不同种族,故此需要重新划定匈牙利、奥地利及其他刚刚独立之新国家的边界。条约在6月4日于法国凡尔赛的大特里亚农宫由数个国家签署,分别是战胜国美国、英国、法国与意大利,以及刚独立的罗马尼亚、塞尔维亚人、克罗地亚人和斯洛文尼亚人王国与捷克斯洛伐克;战败国就是代表奥匈帝国的匈牙利。
CompactFlash

title: 概述.
content: 由于使用的NOR型闪存存储密度低于较新的NAND闸闪存,CF卡的体积是90年代初期出现的三种存储卡中最大的(另两种是Miniature Card—MiniCard和SmartMedia卡)在之后,CF卡也改用了NAND型闪存,另外,IBM的微型硬盘使用CF II型接口,但并不是固态硬盘。日立和希捷也有制造微型硬盘。  CompactFlash的电气特性与PCMCIA-ATA接口一致,但外形尺寸较小。  连接器为43毫米宽,外壳的深度是36毫米,厚度分3.3毫米(CF I型卡)和5毫米(CF II型卡)两种  CF I型卡可以用于CF II型卡插槽,但CF II型卡由于厚度的关系无法插入CF I型卡的插槽中。CF闪存卡多数是CF I型卡。  CF卡比早期的PC卡(PCMCIA)I型更细小,然而厚度则和PC卡I及II型相同。CF卡是早期记忆卡规格之中最成功的,受欢迎程度比Miniature Card、SmartMedia卡及PC卡I型更胜一筹。在应用在体积较小的器材时,SmartMedia卡曾经是CF卡的主要竞争对手,从市场渗透率而言甚至一度超越CF卡。不过,SmartMedia的优势,受制于其最大128MB的容量,逐渐被其他新制式的记忆卡淘汰(大约于2002-2005年时)。  九十年代末至廿一世纪初出现的记忆卡制式(如SD/MMC/Secure Digital High Capacity(SDHC),各种Memory Stick,xD图像卡等等)有着激烈竞争。新款记忆卡的体积比CF卡小数倍,某程度上与当时CF比PC Card的相差还要大。新制式已主导掌上电脑,手提电话以及消费级数码相机,特别是超迷你型号。  虽然如此,CF卡目前依然是一些顶级专业数码相机的标准配置。在2007年出产的半专业级数码相机(专业消费级之数码相机、单镜反光相机)中,有相当比例还是支援CF卡。过往,CF的特点主要是以最少的价钱换取最大的MB数,但如今相同容量的小型记忆卡已比CF卡便宜得多。现时高端SD卡的容量和性能已经不输CF卡,但平均来说CF卡仍往往有着比其他小型记忆卡更高的容量(自CF 1.0标准开始已支援137GB之理论上限,至2007年第三季,最大容量为64GB),更快的存取速度(Sandisk Extreme IV :40MB/s,CF 4.0标准支援最高133MB/s),更开放的规格及使用条款,较佳的兼容性(自CF 1.0标准起极少出现重大的改动,CF Type II能使用MicroDrive,以及透过转接器使用多种较小记忆卡)。  闪存型存储设备具有非易失性和固态,所以它比磁盘驱动器更稳固,耗电量仅相当于磁盘驱动器的5%,却仍然具有较快的传输速率(SanDisk Extreme IV型CF卡的写入速度和读取速度可达40MB/s)。它们的工作电压为3.3伏特或5伏特,可以在不同的系统间转换。闪存型CF卡可以适应极端的温度变化,工业标准的闪存卡可以在-45至85摄氏度的范围内工作。  到2018年,CF卡的容量规格从最小的8MB到最大可达256GB。(这里的1MB=1,000,000byte,1GB=1000MB)
title: 微型硬盘.
content: 微型硬盘是一种符合CF-II型标准的微型硬盘驱动器(约1英寸宽)。在1999年IBM首次发布了拥有340MB容量的微型硬盘,后于2002年将其部门连同Microdrive商标一起卖给了日立。目前,许多其他的厂商(如:希捷、索尼等)也在出售微型硬盘,截止到2005年中期,微型硬盘的容量已经达到了6GB并且还在高速成长着。  做为一种机械式存储设备,这些微型硬盘在运行的时候需要消耗比闪存更多的能源,所以在某些供能不足的设备上它们也许不能很好的运行。同时,作为机械设备,它们对物理震动和温度的变化要比闪存更加敏感,尽管在实际使用中并无大碍。
title: CF规范.
content: 在CompactFlash规范第一次标准化的时候,即使是全尺寸的硬盘的容量也很少超过4GB的,因此ATA规范自身存在的限制被认为是可接受的。但是,在硬盘由于不断增长的容量需求而对ATA规范作出大量改变的今天,闪存卡很快就超过了4GB的限制。  采用 Serial ATA 总线,称为CompactFast,简称CFast<br> CFast 1.0 / 1.1支持比使用SATA 2.0(300 MByte / s)接口,第一批CFast卡于2009年底上市。<br> CFast 2.0规范于2012年第二季度发布,将电气接口更新为SATA 3.0(600 MByte / s)。截至2014年,唯一采用CFast 2.0卡的产品是Arri Amira数码产品相机,允许帧速率高达200 fps;用于Arri Alexa / XT相机的CFast 2.0适配器也已发布。<br> 2014年4月7日,Blackmagic Design宣布了URSA电影摄影机,该摄像机将记录到CFast媒体上。<br> 2015年4月8日,佳能公司宣布推出XC10摄像机,该摄像机也使用CFast卡。Blackmagic Design还宣布其URSA Mini将使用CFast 2.0。<br> 截至2016年10月,越来越多的中高端专业设备利用CFast媒体提供的更快的数据速率。例子包括Arri Amira和Arri Alexa Mini;哈苏H6D-100C;佳能C700,C300 Mark II,EOS 1D X II和XC10;和Blackmagic Ursa,Ursa Mini 4.6K和Ursa Mini 4K。用于视频的其他录制设备包括Atomos Ninja Star和Atomos Shogun Studio 4K。<br> 截至2017年,在更广泛的嵌入式电子行业中,从CF到CFast的过渡仍然相对缓慢,可能是由于硬件成本考虑和一些惯性(熟悉CF)以及因为行业的重要部分对提供的较低性能感到满意通过CF卡,因此没有理由改变。<br> 采用PCIE®接口和高效的NVM Express,称为CFexpress,2016年9月7日<br> 2017年4月18日,CompactFlash协会发布了CFexpress 1.0规范。版本1.0将使用XQD外形尺寸(38.5 mm×29.8 mm×3.8 mm)和PCIe 3.0 x2,速度高达2 GB / s。 NVMe 1.2用于低延迟访问,低开销和高并行访问。<br> 2019年2月28日,CompactFlash协会发布了CFexpress 2.0规范。提升为NVM ExpressTM 1.3,一样使用PCIe 3.0。<br> 类型有3种,A型,PCIe x1,;B型,PCIe x2;C型,PCIe x4<br>
title: 符合CF标准的其他设备.
content: CompactFlash规范还被应用于多种输入/输出以及接口设备。由于它的电气性能与PCMCIA卡一致,因此大多数PCMCIA卡都有类似的CF版本。如:

Summary: CompactFlash(CF卡)最初是一种用于便携式电子设备的数据存储设备,于1994年首次由SanDisk公司生产并制定了相关规范。它的物理格式曾被多种设备所采用。从外形上CF卡可以分为两种:CF I型卡以及稍厚一些的CF II型卡。从速度上它可以分为CF卡、高速CF卡(CF+/CF 2.0规范)、CF3.0、CF4.0,更快速的CF4.1标准也在2007年被采用。CF II型卡槽主要用于微型硬盘等一些其他的设备。
罗伯特·菲佐

title: 政治生涯.
content: 菲佐大学毕业后,在斯洛伐克国家科学院和法律研究所工作。1987年,他加入了捷克斯洛伐克共产党。  1989年发生天鹅绒革命,捷克斯洛伐克的共产党政权因此垮台。此后菲佐加入民主左派党(SDL),该党是斯洛伐克共产党演变而来。  1999年,菲佐离开民主左派党,并创立一个新的党派方向-社会民主党(SMER),新的社会民主党进行改革,走第三条道路,作为一个受欢迎的反对派政治家,他经常批评米库拉什·祖林达领导的右翼政府的改革。
title: 2006年首次执政:联合政府.
content: 菲佐领导的方向-社会民主党在2006年选举中赢得29.1%的选票,选举过后,社会民主党与弗拉基米尔·梅恰尔领导的中间派人民党-民主斯洛伐克运动(HZDS)和扬·斯洛塔领导的的斯洛伐克民族党(SNS)组成了联合政府。方向党与极右派民族主义的斯洛伐克民族党组成联盟,因此遭到欧洲社会党(PES)停权处分。欧洲社会党主席波尔·尼鲁普·拉斯穆森表示“我们大多数成员坚持着我们的价值观,与极端右派组成联盟无法接受”。然而在2008年2月底PES大会有条件恢复方向党加入,并签署文件,承诺尊重少数人的权利。
title: 2010年大选:短暂下野.
content: 方向-社会民主党在2010年斯洛伐克国民议会选举中继续蝉联第一大党宝座,并领先第二大党民主与基督教联盟-民主党,后者仅得到28席。然而,由于他的联盟伙伴人民党-民主斯洛伐克运动失去了所有席位,斯洛伐克民族党的席位由20席减为9席,因此执政联盟失去了26个席位,这导致菲佐很难再组织内阁。6月14日,加什帕罗维奇总统邀请菲佐组阁,但23日菲佐表示,自己已经无法组织内阁,故将组阁权交给了反对党领导人拉迪乔娃。四个中间偏右反对党-斯洛伐克民主与基督教联盟-民主党、自由与团结党、基督教民主运动、桥党筹组新政府。菲佐选择辞职。他说,他尊重选举结果。2012年,菲佐推动社民党向联合政府提出不信任动议,获得通过,提前大选。
title: 2012年大选:多数政府.
content: 2012年3月12日的大选,菲佐领导的方向-社会民主党获得44.4%的选票,成为国民议会第一大党,并拿下绝对多数的83个席位(全部150个席位)。菲佐组建自1993年斯洛伐克独立以来首个多数党政府。  2013年12月,菲佐宣布代表社民党参选2014年的总统选举。在2014年3月举行的总统选举中,败于独立人士安德烈·基斯卡。  2016年3月6日,菲佐领导的左翼执政党斯洛伐克方向党在新一届国民议会选举中获胜,菲佐第三次当选斯洛伐克总理。
title: 2018年:宣布辞职.
content: 2018年2月25日,斯洛伐克一名记者与其未婚妻被发现在家中遭枪击身亡,警方怀疑这名记者是因为调查斯洛伐克政治人物与“黑手党”的联系而遭毒手。该案持续发酵,导致斯洛伐克政坛震荡,文化部长、内务部长在两周内相继辞职。  3月15日,罗伯特·菲佐向总统安德烈·基斯卡递交辞呈,宣布辞去总理职务。基斯卡委托副总理彼得·佩莱格里尼组建新政府,新政府于3月22日正式成立。
title: 个人生活.
content: 菲佐在1964年出生于托波尔恰尼,他的父亲是一个叉车操作员,母亲在一家鞋店工作。有两个兄弟姐妹。他已婚,妻子是斯韦特兰娜·菲佐娃(Svetlana Ficová),他们有一个儿子。

Summary: 罗伯特·菲佐(Robert Fico,;1964年-9月15日),斯洛伐克政治家,2012年4月任斯洛伐克总理,2018年3月22日卸任。此前,他曾经于2006年7月4日起至2010年7月8日担任总理职务。
原生质体

title: 结构.
content: 指去除细胞壁后剩余的细胞结构,即质膜、细胞质、细胞核。
title: 用于制备原生质体的酶.
content: 细胞壁是由各种多糖组成的。原生质体可以通过合适的多糖降解酶的混合物降解细胞壁来制备。  在细胞壁降解期间和降解之后原生质体对渗透压会变的非常敏感。这意味着整个降解过程和原生质体的保存都要在细胞等渗溶液中,以防止细胞膜的破裂。
title: 原生质体的应用.
content: 原生质体可用于研究生物膜,包括高分子和病毒的摄取。也用于体细胞的变异克隆。  原生质体广泛用于DNA转化(用于制备转基因生物),因为细胞壁会阻止DNA进入细胞。 如果是植物细胞,原生质体可以首先通过脱分化成愈伤组织,然后通过再分化和植物组织培养从愈伤组织发育成芽(发育不全)而再生成全植物。 原生质体生长到愈伤组织和再生芽后在组织培养基中用植物生长调节剂诱导分化,植物生长调节剂必须要为每种生物单独调配。不同于来自维管植物的原生质体,来自苔藓的原生质体,例如小立碗藓,不需要植物激素进行再生,也不需要在再生过程中形成愈伤组织。 相反,它们直接再生成原丝体,模拟发芽的苔藓孢子。  使用原生质体融合技术可让原生质体也用于植物育种。通过电刺激或聚乙二醇诱导不同物种的原生质体融合。 该技术可用于在组织培养中产生体细胞杂交体。  此外,在某些细胞中表达荧光蛋白的植物的原生质体可用于荧光活化细胞分选(FACS),方便保留了特定波长发荧光的细胞除此之外,该技术用于分离特异性细胞类型(例如,叶的保卫细胞,根的中柱鞘细胞)用于进一步研究,例如转录物组学。

Summary: 原生质体的英语(Protoplast)来自于古希腊语 读"prōtóplastos,"有"首先形成"的意思。这个词在宗教语境中代表第一个人,或者更广泛的说法是一个物种的第一个生命体。
背包问题

title: 定义.
content: 我们有 "n" 种物品,物品 "j" 的重量为"w",价格为"p"。 我们假定所有物品的重量和价格都是非负的。背包所能承受的最大重量为"W"。 如果限定每种物品只能选择0个或1个,则问题称为0-1背包问题。 可以用公式表示为:  如果限定物品"j"最多只能选择"b"个,则问题称为有界背包问题。 可以用公式表示为:  如果不限定每种物品的数量,则问题称为无界背包问题。 各类复杂的背包问题总可以变换为简单的0-1背包问题进行求解。
title: 计算复杂度.
content: 在计算机科学领域,人们对背包问题感兴趣的原因在于:
title: 动态规划解法.
title: 无界背包问题.
content: 如果重量"w",..., "w"和"W"都是非负数,那么用动态规划,可以用伪多项式时间解决背包问题。下面描述了无界背包问题的解法。  简便起见,我们假定重量都是正数(w > 0)。在总重量不超过"W"的前提下,我们希望总价格最高。对于"Y" ≤ "W",我们将在总重量不超过"Y"的前提下,总价格所能达到的最高值定义为"A"("Y")。"A"("W")即为问题的答案。  显然,"A"("Y")满足: 其中,"p"为第"j"种物品的价格。  关于第二个公式的一个解释:总重量为"Y"时背包的最高价值可能有两种情况,第一种是该重量无法被完全填满,这对应于表达式"A"("Y - 1")。第二种是刚好填满,这对应于一个包含一系列刚好填满的可能性的集合,其中的可能性是指当最后放进包中的物品恰好是重量为"w"的物品时背包填满并达到最高价值。而这时的背包价值等于重量为"w"物品的价值"p"和当没有放入该物品时背包的最高价值之和。故归纳为表达式"p" + "A"("Y" - "w")。最后把所有上述情况中背包价值的最大值求出就得到了"A"("Y")的值。  如果总重量为0,总价值也为0。然后依次计算"A"(0), "A"(1),..., "A"("W"),并把每一步骤的结果存入表中供后续步骤使用,完成这些步骤后"A"("W")即为最终结果。由于每次计算"A"("Y")都需要检查"n"种物品,并且需要计算"W"个"A"("Y")值,因此动态规划解法的时间复杂度为O("nW")。如果把"w",..., "w", "W"都除以它们的最大公因数,算法的时间将得到很大的提升。  尽管背包问题的时间复杂度为O("nW"),但它仍然是一个NP完全问题。这是因为"W"同问题的"输入大小"并不成线性关系。原因在于问题的输入大小仅仅取决于表达输入所需的比特数。事实上,formula_5,即表达"W"所需的比特数,同问题的输入长度成线性关系。
title: 0-1背包问题.
content: 类似的方法可以解决0-1背包问题,算法同样需要伪多项式时间。我们同样假定"w",..., "w"和"W"都是正整数。我们将在总重量不超过"Y"的前提下,前"j"种物品的总价格所能达到的最高值定义为"A"("j", "Y")。  "A"("j", "Y")的递推关系为:  通过计算"A"("n", "W")即得到最终结果。为提高算法性能,我们把先前计算的结果存入表中。因此算法需要的时间和空间都为O("nW"),通过对算法的改进,空间的消耗可以降至O("W")。
title: 二次背包问题.
content: 推广的背包问题有二次背包问题、多维背包问题、多目标背包问题等。  二次背包问题是背包问题的一种推广形式:

Summary: 背包问题(Knapsack problem)是一种组合优化的NP完全问题。问题可以描述为:给定一组物品,每种物品都有自己的重量和价格,在限定的总重量内,我们如何选择,才能使得物品的总价格最高。问题的名称来源于如何选择最合适的物品放置于给定背包中。
欧洲野牛

title: 历史.
content: 历史上,欧洲野牛的栖息地包括了欧洲的大片低地,从法国的中央高原一直延伸到伏尔加河和高加索山脉,可能也一度囊括了乌拉尔山以东的俄罗斯部分地区。不列颠群岛、意大利和伊比利亚半岛等地区未有过欧洲野牛的踪迹。  随着人类数量增长,森林被破坏,欧洲野牛的栖息地渐渐缩小。巴尔干地区最晚近的关于该物种的记录出现在公元3世纪,在现代希腊、北马其顿共和国和保加利亚的交界处附近。它的高卢种群在8世纪灭绝。在阿登高地和孚日山脉,欧洲野牛于15世纪灭绝。今属罗马尼亚的特兰西瓦尼亚的最后一头欧洲野牛死于1790年。  在东欧,欧洲野牛被规定为波兰君主、立陶宛君主及俄国君主的财产。波兰国王西格蒙德一世在16世纪中叶下令盗猎欧洲野牛为死刑。尽管有这些措施,欧洲野牛的数量在接下来的四个世纪间依然持续地下降著。波兰的最后一头野生欧洲野牛于1919年被杀,而世上最后一头野生欧洲野牛于1927年在西高加索被屠夫所杀。那个年代的欧洲野牛剩下不到50头,全部都在动物园里。  在1951年,欧洲野牛开始被重新放归大自然。牠们多发现在一些禁猎区例如西高加索,俄罗斯、波兰和白俄罗斯。牧群多数发现于波兰、立陶宛、白俄罗斯、乌克兰、俄罗斯和 吉尔吉斯坦。分布在30个国家的动物园中还有许多欧洲野牛,2000年约为3000头,全部都是12头野牛的后代,由于基因的限制,其健康程度不容乐观。  1996年IUCN将欧洲野牛定为濒危物种。但近来积极的保育计划,为欧洲野牛进行人工繁殖及野放,欧洲野牛的数量于2000年开始回升,IUCN于2008年将欧洲野牛定为近危物种。然而,部分欧洲野牛群落的数量仍然正在下降,并未摆脱濒危状况。持续的保育工作对欧洲野牛的存活尤其重要。

Summary: 欧洲野牛(学名:')为美洲野牛属内的一种,且为欧洲最重的陆上动物。一般的欧洲野牛约长2.9米,高1.8至2米,重300至1000公斤。比同属的美洲野牛(')较瘦及较轻,且在颈部、头部和前半部的毛发都较短。欧洲野牛居住在森林里。由十九世纪的一些文献可知其天敌只有狼和熊。欧洲野牛第一次被科学地记载是在1758年由卡尔·林奈所完成。后来有一些记载将其和美洲野牛视为同种。它和原牛("")不同。(在英语里,原牛的英文名称aurochs亦被用来指欧洲野牛。)
的黎波里

title: 历史.
content: 的黎波里在公元前就已是一个繁盛的古城,于公元前7世纪由腓尼基人建立。后来由昔兰尼统治,不久却被迦太基人驱逐。故在不同的时代,有着不同的名字。后来此城长期被罗马人占领,成了他们在非洲的一个省份,名为Regio Syrtica。公元3世纪,它被改名为Regio Tripolitana,辖下有三个重要城市欧亚(Oea)、塞卜拉泰(Sabrata)及烈波提斯(Leptis)。在十字军东征期间,穆斯林为了躲避十字军的攻击,放弃了老城区,在靠近内陆的地方重新修建了新的城区。  在1986年,因为利比亚卡扎菲政权触犯美国在当地的利益,黎波里遭到美国空袭作为报复。  2011年8月20日,的黎波里之战开始,的黎波里也成为了2011年利比亚内战中政府军与反抗军进行争夺的焦点城市。最后,的黎波里被反抗军(现政府军)占领。
title: 中文名称问题.
content: 中文里,“的”一字可以是定语(例:他「的」东西),因此一般而言“的”一词于粤语口语里会被固有定语“嘅”取代(例:佢「嘅」嘢)。所以,与波罗的海这个名词一样,不知道的黎波里此名的粤语使用者很容易会把的黎波里误读为“嘅黎波里”。曾有香港电台新闻报道员犯下这个错误。
title: 地理.
content: 的黎波里位于利比亚西部,接近利比亚与突尼斯边界。
title: 气候.
content: 的黎波里属副热带半干旱气候(柯本气候分类法)
title: 经济.
content: 的黎波里和米苏拉塔一道是利比亚的主要经济城市,它是国家银行业、金融和交通的中心,也是利比亚最重要的商业与制造业城市。许多大型企业都把总部或办公室设在这里。  的黎波里的主要生产品包括加工食物、针织品、建筑材料、布料与烟草等。自从对利比亚的制裁与1999年和2003被取消后,的黎波里的旅游业和外国投资都有所增长。的黎波里国际机场和城市的港口都有了增长的交通流量。  的黎波里是的黎波里国际博览会的诞生地,这是一个在欧麦尔·穆赫塔尔大道(英语:Omar Muktar Avenue)上举行的工业,农业以及商业盛会。其中最活跃的成员之一是总部设于法国巴黎的国际展览业协会(英语:UFI)。该博览会于每年四月2日至二十日举办, 平均有三十多个国家,超过两千多个企业与组织参加。  因为利比亚旅游业的增长和外国旅客的大量涌入,城市中的酒店需求不断增加。为了迎合这样的需求, 位于中心商业区的科林西亚巴布非洲酒店于2003年完工,成为利比亚最大的酒店。的黎波里其他的高端酒店包括埃尔沃丹酒店和Tripoli Radisson Blu Hote。  一项正在建设中的项目计划于2015年完工,它是商业区建设的一部分并计划包括大楼,酒店,一个大型市场,餐厅以及地上与地下停车场。这项计划的花费预计超过约28亿美元。  以的黎波里为总部的企业包括泛非航空和利比亚航空。巴拉克航空在米提加国际机场之上设立总部。  截止2017年,由于利比亚内战持续,通货膨胀、军阀混战、官员腐败、中央银行不唯一、分崩离析的政府和其他问题带来的影响,利比亚的经济大幅萎缩。由于中央银行拒绝向公众发放美元,当地人不得不在黑市上兑换美金,而不以1.37:1的官方汇率。现在在黑市上第瓦尔对美元的汇率达到了1:10,这样摧毁了利比亚的经济,破坏当地人民的购买力。然而军阀们依靠着他们的军事影响提高汇率从这种剥削中不断受惠。

Summary: 的黎波里(阿拉伯语:,),位于北纬32°54'8"、东经13°11'9",2011年人口180万人,位处利比亚西北部沙漠的边缘及地中海沿岸,是该国首都,也是该国最大城市、主要港口、最大商业和制造中心。的黎波里于公元前7世纪由腓尼基人建立。由于城市历史悠久,那里有很多重要的考古发现。当地气候属于副热带半干旱气候,夏天干燥酷热,冬天较凉有些许降水。
ElGamal加密算法

title: 算法.
content: ElGamal加密算法由三部分组成:密钥生成、加密和解密。
title: 密钥生成.
content: 密钥生成的步骤如下:
title: 加密.
content: 使用Alice的公钥formula_12向她加密一条消息formula_13的加密算法工作方式如下:  值得注意的是,如果一个人知道了formula_20,那么它很容易就能知道formula_24的值。因此对每一条信息都产生一个新的formula_15可以提高安全性。所以formula_15也被称作临时密钥。
title: 解密.
content: 利用私钥formula_7对密文formula_28进行解密的算法工作方式如下:
title: 实际使用.
content: ElGamal加密系统通常应用在混合加密系统中。例如:用对称加密体制来加密消息,然后利用ElGamal加密算法传递密钥。这是因为在同等安全等级下,ElGamal加密算法作为一种非对称密码学系统,通常比对称加密体制要慢。对称加密算法的密钥和要传递的消息相比通常要短得多,所以相比之下使用ElGamal加密密钥然后用对称加密来加密任意长度的消息,这样要更快一些。

Summary: 在密码学中,ElGamal加密算法是一个基于迪菲-赫尔曼密钥交换的非对称加密算法。它在1985年由塔希尔·盖莫尔提出。GnuPG和PGP等很多密码学系统中都应用到了ElGamal算法。
单调函数

title: 一般定义.
content: 设 是在两个带有偏序≤的集合"P"和"Q"之间的函数。在微积分中,它们是带有平常次序的实数集的子集之间的函数,但是定义仍保持同更一般的序理论定义一样。  函数"f"是单调的,如果只要"x" ≤ "y",则"f"("x") ≤ "f"("y")。因此单调函数保持次序关系。
title: 微积分和实分析中的单调性.
content: 在微积分中,经常不需要诉诸序理论的抽象方法。如上所述,函数通常是按自然次序排序的实数集的子集之间的映射。  受在实数上的单调函数的图的形状的启发,这种函数也叫做单调递增的(或"非递减"的)。类似的,函数叫做单调递减的(或"非递增"的),如果只要"x" < "y",则"f"("x") ≥ "f"("y"),就说它反转了次序。  如果把定义中的次序≥替换为严格次序>,则得到了更严格的要求。有这样性质的函数叫做严格递增的。还有通过反转序符号,可以得到对应的严格递减。严格递增或递减的函数是一一映射(因为formula_1蕴涵formula_2)。  要避免把术语非递减和非递增混淆于严格递增和严格递减。
title: 序理论中的单调性.
content: 在序理论中,不限制于实数集合,可以考虑任意偏序集合甚至是预序集合。在这些情况下上述定义同样适用。但是要避免术语"递增"和"递减",因为一旦处理的不是全序的次序就没有了吸引人的图像动机。进一步的,严格关系<和>在多数非全序的次序中很少使用,因此不介入它们的额外术语。  单调(monotone)函数也叫做isotone或序保持函数。对偶概念经常叫做反单调、antitone或序反转。因此,反单调函数"f"满足性质  常数函数是单调的也是反单调的;反过来,如果"f"是单调的也是反单调的,并且如果"f"的定义域是格,则"f"必定是常量函数。  单调函数是序理论的中心。它们大量出现于这个主题的文章和在这些地方的找到的应用中。著名的特殊单调函数是序嵌入("x" ≤ "y"当且仅当"f"("x") ≤ "f"("y")的函数)和序同构(双射序嵌入)。

Summary: 在数学中在有序集合之间的函数是单调(monotone)的,如果它们保持给定的次序。这些函数最先出现在微积分中后来推广到序理论中更加抽象结构中。尽管概念一般是一致的,两个学科已经发展出稍微不同的术语。在微积分中,我们经常说函数是单调递增和单调递减的,在序理论中偏好术语单调、反单调或序保持、序反转。