wanng/wikipedia-zh-mnbvc huggingface dataset:
【天主教卡加延-德奥罗总教区】
天主教卡加延-德奥罗总教区（Archidioecesis Cagayana）是罗马天主教会以菲律宾南部棉兰老岛北部城市卡加延-德奥罗为中心的一个总教区，管辖东米萨米斯省、甘米银省和布基农省一个市。总教区下辖四个教区，2006年时有1,158,000名教友，占辖区总人口达82.9%。总教区由129名司铎管理56个堂区。主教座堂为Saint Augustine Metropolitan Cathedral。
现任总主教为若瑟·A·卡班坦，荣休总主教为安多尼·J·莱德斯马。
教区于1933年1月20日成立，1951年6月29日升为总教区。
==参考文献==
【HD 15385】
HD 15385，又名BD+22 354，SAO 75398、HR 723，是一颗恒星，视星等为6.19，位于银经150.24，银纬-34.16，其B1900.0坐标为赤经31.4，赤纬21。
== 参考文献 ==
【法租界】
法租界可以指：
* 上海法租界
* 天津法租界
* 广州法租界
* 汉口法租界
【神功戏 (香港)】
厦村乡约甲午太平清醮大戏棚
盂兰胜会神功戏的戏棚
神功戏，泛指一切因神诞、庙宇开光、鬼节打醮、太平清醮及传统节日而上演的所有戏曲，是人﹑神共享的戏剧表演。神功是指为神做功德，平日的烧香、拜神、修建祭坛或庙宇的活动，都属于神功活动。百姓为了酬谢神恩、酬神祈福，神功戏是举行一连串庆祝活动之一，亦是当中的重点节目，一般都在为节庆而建立的大戏棚内演出。在广东一般称「神功戏」，而中国北方多称「社戏」（社戏一词中的“社”字指的是旧事奉社神之所在，另有一说“社”字为古代地区的一个小单位，社中演戏，即称社戏），台湾称为「酬神戏」。
==类别==
神功戏大致有庙会戏、节令戏、祠堂戏、喜庆戏、事务戏、平安大戏等这几种分类。最常见的是庙会戏，一般是在关帝、北帝、吕祖、天后、龙王、城隍、山神、土地神等神祇诞辰时所演出的戏。对于这些神的祭祀活动一般都是当地神庙的重大活动，同时，在祭祀期间，当地神庙也会举行庙会进行庆祝。
在香港，神功戏多为粤剧、潮州戏及福佬戏。每年约有600多台神功戏，每台4至5日，天后诞是神功戏的「旺季」，虽然正诞在农历三月廿三日，但前后一个月均有不同的乡村举办酬神活动。较为人熟悉的神功戏节庆还有盂兰胜会、太平清醮等。
==发展==
北宋时长江下游地区已广泛举行庙戏「木偶戏」，上演时观众「秽谈群笑，无所不至，乡人聚观饮酒，醉又殴击」。社戏的习俗已经传承多年了，从唐代诗人王驾所写的《社日》以及宋代诗人陆游所写的《春社(又)》中就可见，社戏的庆祝活动十分丰富。著名文学家鲁迅写过一篇小说《社戏》。
香港神功戏传承自岭南，与珠江三角洲地区一脉相承，早年曾演木偶戏，其后改演粤剧（广东大戏），一直沿用至今。神功戏是因应神诞、节庆或醮会，由地方团体筹组的活动，场地是因应每次演出而在当地临时搭建的戏棚，具有民俗仪式的性质，在香港市区和乡村有悠久的历史。
十九世纪的香港粤剧演出场合主要分为神功戏和「戏院戏」两种，「戏院戏」的演出场地较固定，而演出的台期较密集，并以门票收益作营运经费。六、七十年代，香港粤剧陷于低潮，「戏院戏」没落，当时很多粤剧工作者都需要改行以维持生计。但由于有神功戏的支持，让部分剧团可以继续演出，而粤剧的表演者，包括演员、乐师等，大多是自由身工作，有演出的时候才会「埋班」，所以每次的演出也会有不同的表演组合，神功戏成为当时粤剧演员的主要收入来源，让他们不须完全脱离粤剧舞台，维系粤剧的传统。
现在香港的太平清醮和盂兰胜会等酬神祈福活动中亦常见神功戏，由当地人筹集资金聘请戏班演出戏曲作为主要庆祝活动，场地支出都由主会包办，通常日场由新人担当主角，直到夜场才跟老倌同台演出，有助戏班培育二线演员（又名「二步针」）。老倌演出一晚可收得高达港币4万至10万元的报酬，剧班支出往往占节庆活动支出的一大部分。
==戏棚布局==
剧棚内未端的舞台左右各设一道面向观众席的楼梯，棚面（即乐队）位于舞台左边。后台正中位置由六柱（即六位台柱）瓜分，从左至右，依次为小生、文武生、丑生、文生、正印花旦、二帮花旦，以布帐划开。六柱左右两边延伸开去的空间叫作「揹仔」，供六柱以外的其他演员使用。前方留一条5至6呎放满衣箱、头饰和配件的通道，分为衣边和杂边，台左是衣边，主要放置衣箱，部分演员拥有「私伙」戏服的自家衣箱，六柱的衣箱靠放在最边一排，以前还会附加一把太平刀，据说是为了方便走火警时开路；杂边在台右，用来放道具靶子。两边揹仔各连接一条走火通道。现代的戏棚一般均会设置多部音响、风扇、及灯光照明，公演潮剧时还会配上字幕方便观看。门前、台前有大量由主办及友好团体、居民和戏迷送赠的花牌。戏棚上挂著的大型花牌，一般均会由花牌公司循环再用。
神功戏主要为了娱神或答谢神祇，顺便才演给善信观赏。故戏台往往搭在庙宇正面，观众不许上前、太过靠近，只可以在两旁或后方看戏，可说神祇坐在贵宾席或者前面几排的席位。但有时由于地理环境不许可，戏台不能面向寺庙时，剧团会在戏棚内临时竖立一个面向戏台的小型神龛，用作诸神的座位，让众神在神龛欣赏表演。传统盂兰胜会的戏棚面向天地父母棚（又称神棚），喻意表演神功戏供众神欣赏。潮剧的舞台结构跟粤剧稍有不同，一般粤剧后台设有两个出舞台位，舞台楼梯设在左右两旁；而潮剧和福佬剧的楼梯则搭建在舞台正前方，方便演出《落地送子》例戏。
以前观众席特别是公演潮剧时是分开男棚（左边）和女棚（右边），两边的坐位均需要收费，而中间「迫地」位置不用收费，可以站著免费睇戏。观众席一如剧院，通常会以20度角斜建上去，方便后排观众睇戏。
==流程==
#请神
#拜先人（I）
#拜地方菩萨
#拜戏神－华光天王
#破台：如建戏棚之地未曾上演过粤剧，戏班便要破台（粤剧戏班规定在未完成破台仪式前，台前台后所有人均不准开口说话，否则不吉利）；潮州人、鹤佬人则不论该地曾否做戏皆破台。传统「破台」戏为《祭白虎》。
#-{丑}-生开笔，以朱砂笔在后台写上「大吉」二字。「吉」字的「口」一定要开口，以示吉利
#台口上香
#例戏，依次序为贺寿（贺寿分《碧天贺寿》和《香花山大贺寿》，以及相对简单的小贺寿，《香花山贺寿》只在华光诞时演出，碧天贺寿也只在特别日子才演，一般戏班只演小贺寿），《六国封相》（简称封相，只于首晚演出），《跳加官》（简称加官），《天姬送子》（简称送子。平日只演简单的送子，称小送子。正诞演大送子。特别节日时，在演戏换幕途中，演员会在师父神位前演送子，称后台送子）。
#拜先人（II）
#贺诞
#还炮
#抽／抢花炮
#问杯选来年值理
#竞投胜物
#分猪肉、红鸡蛋
#封台（送师）
#送神
盂兰胜会神功戏在上演正场戏前，会先演一出长约半小时的《五福连》（即《十仙贺寿》、《加官》、《落地送子》、《李世民》及《团圆》）供神灵欣赏。
==戏班师父==
广东传说，华光天王本为天庭的火神。由于玉皇大帝觉得凡间戏棚十分吵耳，便派遣天王烧毁戏棚。可是，华光被戏棚内的表演所吸引，又看见平民十分欣赏，有点于心不忍。于是华光教导百姓烧香拜祭，以瞒骗玉皇大帝，逃过一场灾难，故戏班人称华光师父。
==参考文献==
==外部连结==
* 厦村乡醮会2004 - 神功戏详情 date=20190611154829
* 戏棚文化
【吉尔卡湖】
吉尔卡湖（英文：Chilika Lake）一译奇利卡湖，是印度东海岸的一个咸淡水混合的潟湖，位于奥里萨邦境内Eastern Coastal Plains的Daya River河口，横跨普里县、科尔达县及甘贾姆县，濒临孟加拉湾。其面积最大时超过1100平方公里，为印度最大的海岸潟湖、印度次大陆最大的候鸟栖息地之一，也是继New Caledonian barrier reef之后boat-duesseldorf.com全球最大的咸淡水潟湖envfor.nic.in。
==参考文献==
【SSPI】
安全支持提供者接口（Security Support Provider Interface，缩写SSPI）是Microsoft Windows操作系统中用于执行各种安全相关操作（如身份验证）的一个Win32 API。
SSPI的功能是作为众多安全支持提供程序（SSP）的通用接口：安全支持提供者（Security Support Provider）是可以为应用程序提供一种或多种安全功能包的动态链接库（dynamic-link library）。
== Windows SSP ==
下列SSP已经在Windows中预装：
* NTLM（Windows NT 3.51中引入）(msv1_0.dll) - 为Windows 2000之前的客户端-服务器域和非域身份验证（SMB/CIFS）提供NTLM质询/响应身份验证。
* Kerberos（Windows 2000中引入，Windows Vista中更新为支持AES） (kerberos.dll) - Windows 2000及更高版本中首选的客户端-服务器域相互身份验证。
* Negotiate（Windows 2000中引入）(secur32.dll) - 选择Kerberos，如果不可用则选择NTLM协议。协商SSP提供单一登入能力，有时称为集成Windows身份验证（尤其是用于IIS时）。在Windows 7及更高版本中，NEGOExts引入了协商使用客户端和服务器上支持的已安装定制SSP进行身份验证。
* 安全通道（也称SChannel） - Windows 2000中引入，Windows Vista中更新为支持更强的AES加密和ECC该提供者使用SSL/TLS记录来加密数据有效载荷。(Schannel.dll)
* PCT（过时）和微软的TLS/SSL - 公开密钥加密 SSP为通过互联网的客户端和服务器进行身份验证，提供加密和安全通信。Windows 7中更新为支持TLS 1.2。
* 摘要SSP（Windows XP中引入）(wdigest.dll) - 在Windows与Kerberos不可用的非Windows系统间提供基于HTTP和SASL身份验证的质询/响应。
* 凭据 (CredSSP)（Windows Vista中引入，Windows XP SP3上也可用）(credssp.dll) - 为远程桌面连接提供单点登录（SSO）和网络级身份验证。
* 分布式密码验证（DPA） - （Windows 2000中引入）(msapsspc.dll) - 提供使用数字证书完成的互联网身份验证。
* 用户对用户的公开密钥加密技术（Public Key Cryptography User-to-User，PKU2U）（Windows 7中引入）(pku2u.dll) - 在不隶属域的系统之间提供使用数字证书的对等身份验证。
== 比较 ==
SSPI是GSSAPI的一个专有变体，进行了扩展并具有许多特定于Windows的数据类型。最早随Windows NT 3.51和Windows 95中的NT LAN管理器的安全支持提供程序（NTLMSSP）出现。在Windows 2000中，增加了一个Kerberos 5的实现，使用符合官方协议标准RFC 1964 （Kerberos 5 GSSAPI机制）的令牌格式并提供提供与其他供应商的Kerberos 5实现的线级互操作性。
SSPI生成和接受的令牌大多与GSS-API兼容，因此Windows上的SSPI客户端可能能够根据具体情况与Unix上的GSS-API服务器进行身份验证。SSPI的一个重要缺点是缺乏通道绑定是一种将应用层的端到端身份验证以加密方式绑定到较低层安全通道的方法。这种加密绑定是一种消除安全通道中“中间人攻击”的方法。对于打算依靠TLS或IPsec进行会话/传输安全的应用程序来说，这一点尤为有用。通道绑定还会刺激IPsec API的开发和IPsec的非身份验证模式。，这使得不可能做到一些GSSAPI的互操作性。
互联网工程任务组（IETF）定义的GSSAPI与微软SSPI的另一个根本区别是“扮演”概念。在这种模式下，一个服务器可以切换成经过身份验证客户端的“完整”特权并进行操作，以便操作系统执行完整的存取控制检查。所持权限高于或低于原始权限全取决于哪个客户端在连接/验证。在传统（GSSAPI）模型中，当服务器运行在服务帐户下时，其不能提升自己的特权，并必须以特定客户端或应用程序的方式执行访问控制。而在Windows Vista中通过将扮演限制在选定的服务帐户，限制了“扮演”概念带来的显著安全隐患。
【麦克白 (2015年电影)】
《麦克白》（Macbeth）是一部2015年的英国剧情片，由贾斯汀·库泽尔导演，改编自威廉·莎士比亚的同名戏剧作品。主演有迈克尔·法斯宾德、玛丽昂·歌迪亚和派迪·康斯丁等。该片被选入了第68届坎城影展的主竞赛单元，并将于10月2日在英国公映。
== 剧情 ==
故事叙述马克白偶遇女巫，女巫预言他将成为苏格兰国王，燃起了他对权力的欲望，加上枕边人马克白夫人的怂恿，马克白趁机杀害国王、嫁祸给仆人，自己继承王位；一切的阴谋终将逐步被揭露。
== 演员 ==
* 迈克尔·法斯宾德 饰 马克白（Macbeth）
* 玛丽昂·歌迪亚 饰 马克白夫人（Lady Macbeth）
* 派迪·康斯丁 饰 班柯（Banquo）
* 西恩·哈里斯 饰 麦克德夫（Macduff）
* 杰克·雷诺 饰 马尔科姆（Malcolm）
* 伊莉莎白·戴比基 饰 麦克德夫夫人（Lady Macduff）
* 大卫·休里斯 饰 邓肯国王（King Duncan）
* 罗斯·安德森 饰 罗斯（Rosse）
* 大卫·海曼 饰 伦诺克斯（Lennox）
* 莫里斯·鲁夫斯 饰 门蒂思（Menteith）
* 希尔顿·麦克雷 饰 麦克唐纳沃德（Macdonwald）
== 发行 ==
导演和剧组出席于第68届坎城影展宣传电影
《马克白》于2015年5月23日的第68届坎城影展上首映，并于2015年10月2日在英国上映。
【Lorem ipsum】
Lorem ipsum，简称为Lipsum，是指一篇常用于排版设计领域的拉丁文文章，主要的目的为测试文章或文字在不同字型、版型下看起来的效果。中文的类似用法则称为乱数假文、随机假文。
== 应用 ==
从15世纪开始就被广泛地使用在西方的印刷、设计领域中，在电脑排版盛行之后，这段被传统印刷产业使用几百年的无意义文字又再度流行。由于这段文字以「Lorem ipsum」起头，并且常被用于标题的测试中，所以一般称为Lorem ipsum，简称为Lipsum。
常见的Lorem ipsum起头如下：
== 意义 ==
原先大家以为这段拉丁文只是没有意义的组合，目的是让阅读者不要被文章内容所影响，而只专注于观察字型或版型，并借此填满空间。但根据美国拉丁学者Richard McClintock的研究，Lorem ipsum原来起源于西赛罗《善恶之尽》（De finibus bonorum et malorum）第一章（Liber Primus）的32、33两节：
粗略中译（经过英文转译）：
为了减少Lorem ipsum的可读性，并且让字母频率与现代英语接近，所以有些版本中部分字母被K、W、Z等拉丁文中没有的字母替换，或是加入zzril、takimata等字。除了原始的Lorem ipsum版本外，网上还有不同长度和不同语言的版本可供使用。
【潘敦仔】
敦仔·阿打歪efn|巴宰语原名（汉名潘敦efn|通称潘敦仔，「仔」为闽语外加暱称），）是清治台湾年间，巴宰族岸里社第三任总土官。
==生平==
康熙四十四年（1705年），敦仔阿打歪出生于岸里社；敦仔阿打歪的祖父阿穆（亦作「阿莫」）在康熙年间协助清军镇压平埔族通宵社乱事，因而于康熙五十四年（1715年）被封为岸里九社第一任总土官。
康熙六十年（1721年）五月，敦仔阿打歪在朱一贵事件爆发时与通事张达京率领岸里社族人于大肚溪防守并拦截起事分子。
雍正元年起，敦仔阿打歪与张达京及其所代表的六馆业户进行「割地换水」，以土地作为交换将耕作及水利技术引进岸里社，并依各社人口平均分配田地，进而奠定岸里社土地私有化，复使岸里社人生活型态由狩猎游耕变成定居农耕；另外，敦仔阿打歪又招聘业户及佃户开垦岸里社部分土地。
雍正四年（1726年），敦仔阿打歪参与围剿水沙连社。
雍正九至十年（1731年 - 1732年），敦仔阿打歪协助清军镇压大甲西社抗清事件与吴福生事件，并因而奉诏由王郡带领前往紫禁城晋见雍正帝，复获其赏赐御衣及号「大由仁」。
雍正十二年（1734年），敦仔阿打歪叙封正七品官衔，并被赐与蟒袍等宝物。
乾隆二年（1737年），敦仔阿打歪带领岸里社人随北路参将靳光瀚、淡水厅同知赵奇芳搜山围捕后垅及加志阁社反叛族人。
乾隆五年（1740年），敦仔阿打歪被赐以潘姓；十月，巡台御史杨二酉赏赐潘敦「忠勇可嘉」匾额。
乾隆七年（1742年），南北投社王永兴计谋反叛，潘敦率领族众前往围剿。
乾隆二十三年（1758年）十一月，潘敦被任命为岸里社通事，并担任该职直至乾隆三十六年（1771年）四月；他是岸里社首位非汉人通事。
乾隆三十一年（1766年），潘敦招抚东势十三社泰雅族人归顺清廷。
潘敦名下田产分布于后神冈与丰原周遭，当时每年租金收入达谷数千石。
乾隆三十六年（1771年，或乾隆四十一年（1776年）），潘敦逝世，随后被葬在大社枫仔林，后复迁葬大社潘家墓园。
== 家族 ==
潘敦的姑丈是张达京；张达京自雍正元年（1723年）起任岸里五社总通事，但因稍后发生多起通事入侵番界开垦事件，且有通事联系高山族出草抵御，当局于是整肃革去张达京等具极大势力的汉人通事，并将其遣回其户籍所在地。
== 宅第 ==
潘敦的家族宅第属彷汉式大型三合院形式，其单元包含正厅、虎平、龙平、后陵等规制。
【被夺走的十二年】
-{T|zh:被夺走的十二年;zh-hans:为奴十二年;zh-hant:被夺走的十二年;}-
1892年出版的《-{zh:被夺走的十二年;zh-hans:为奴十二年;zh-hant:被夺走的十二年;}-》，现由金赛家族收藏
《-{zh:被夺走的十二年;zh-hans:为奴十二年;zh-hant:被夺走的十二年;}-》是美裔黑人所罗门·诺萨普根据自身经历的一部口述自传，再由作家大卫·威尔逊编辑成书，于1853年出版。自传讲述诺萨普在华盛顿被绑架，再辗转被卖到路易斯安那作为奴隶。由于此书描述了当时美国贩卖黑奴的状况，以及路易斯安那种植糖及棉花的贸易，因此《-{zh:被夺走的十二年;zh-hans:为奴十二年;zh-hant:被夺走的十二年;}-》极具历史意义。同时间，自传内容多次被改编成不同媒体，包括于2013年同时赢得金球奖最佳剧情片及奥斯卡最佳影片奖的电影《-{zh:被夺走的十二年;zh-hans:为奴十二年;zh-hant:被夺走的十二年;}-》。
【浦航路站】
浦航路站位于上海市闵行区浦航路与三鲁公路交叉口，为上海轨道交通浦江线的高架车站，于2018年3月31日启用。
该站点规划时，浦航路并未建成，故称为“规划路站”。
==车站结构==
===楼层分布===
== 车站出口 ==
【上阿尔】
上阿尔（德语：Oberahr）是德国莱茵兰-普法尔茨州的一个市镇。总面积4.27平方公里，总人口568人，其中男性301人，女性267人（2011年12月31日），人口密度133人/平方公里。
【杜维明】
杜维明（catIdx=D杜），生于云南昆明，祖籍广东南海，拥有中华民国与美国双重国籍，中文学者，第三代新儒家代表人物，哈佛大学教授，中华民国中央研究院院士，中华人民共和国孟子研究院名誉院长。
==生平==
因国共内战，于1949年随其家庭移居至台湾台北市。高中就读建国中学，1957年考取东海大学中文系，师事徐复观，亦受牟宗三思想影响。1961年大学毕业，次年获「哈佛－燕京奖学金」赴美国哈佛大学就读，1968年获哈佛大学哲学博士学位。曾任教于普林斯顿大学、柏克莱加州大学，1981年起任哈佛大学中国历史和哲学教授，并曾担任过该校宗教研究会主席、东亚语言和文明系主任。1988年成为美国人文、艺术及科学院院士。曾任美国夏威夷东西文化交流中心文化交流所 (Institute of Culture and Communication) 主任 (1990-1991)。1996至2008年间，出任哈佛燕京学社社长。
2010年，应聪为北京大学高等人文研究院院长，至中华人民共和国任教。杜维明也是拉曼大学国际顾问委员会成员之一。
杜维明早年受徐复观、牟宗三等新儒家思想的影响，以后在美国又系统地研习过西方哲学，自述从1966年起，决心全力从事对儒家精神作长期的探索，并以此作为自己专业研究工作。他把儒学看成是「哲学的人类学」、「宗教哲学」，试图从文化认同的意义上说明儒家传统的历史和价值。认为儒家思想的原初形式是环绕着孔子的仁学而展开的，这套思想具有成熟的道德理性、浓厚的人文关切和强烈的入世精神。孔子的仁学属于伦理学的范畴，其核心思想是探索如何做人的道理，仁学的兴起象征古代中国人文意识逐渐取代宗教神学而成为中华民族的主导思想。儒学具有「道统」、「学统」和「政统」，是可以转化社会政治和道德的精神源泉。他指出，应该区分「儒家传统」和「儒教中国」，前者是一种涵盖性很强的人文主义精神，具有历久长新的恒常价值；后者是以政治化的儒家伦理为主导思想的中国传统封建社会的意识形态，是封建遗毒；五四新文化运动批判的实际上是「儒教中国」，从对「儒家传统」的发扬来说这种批判是有利的。他发挥牟宗三关于儒学发展的「三期说」理论，提出了「儒学第三期发展的前景」问题。认为从先秦到西汉是儒学发展的第一期，他用雅斯贝尔斯的「轴心时代」的理论来说明这一期儒学出现和发展的原因；宋元明清是儒学发展的第二期，它的出现是针对佛教文化挑战的「一个创造性的回应」，并用岛田虔次的说法指出这一期儒学是东亚文明的集中体现；而第三期儒学的发展，则是对西方文化挑战的回应，认为儒学在二十一世纪是否还有生命力，主要取决于儒学是否能经过纽约、巴黎、东京最后回到中国，儒学只有在这些文化中生根，才能以康庄的姿态回到中国，他的估计是有可能的。杜维明还认为，儒学要想在现时代得到真正的发展，确立起新儒家哲学人类学，必须与西方对话，在超越层面上与基督教对话，在社会政治层面上与马克思主义对话，在深度心理学层面上与弗洛依德主义对话，还须酌取现象学、解释学的方法。
==著作==
杜维明的著作主要有:《今日儒家伦理》、《现代精神与儒家传统》、《人性与自我修养》、《儒家思想：创造转化的人格》、《新加坡的挑战》等。
==家庭==
杜维明的前妻为郝若山(Rosanne Hall)，现在的妻子是艾蓓。
==相关条目==
*波士顿儒家
【蕾拉·哈塔米】
蕾拉·哈塔米（لیلا حاتمی, Leylâ Hâtami，），伊朗女演员。高中毕业后，蕾拉前往瑞士洛桑联邦理工学院学习电气工程。在两年的学习后，蕾拉转至法语文学专业继续学习。在瑞士学习法语若干年后，蕾拉返回伊朗国内。1996年拍摄电影《蕾-{}-拉》使她在国内声名鹊起。2012年因出演奥斯卡最佳外语片电影《纳德和西敏：一次别离》女主角而世界闻名。
== 演出作品 ==
== 获奖 ==
【碱式碳酸铜】
碱式碳酸铜（Basic copper carbonate）化学式为Cu2(OH)2CO3，也有写作CuCO3·Cu(OH)2，颜色翠绿，在自然界中铜通常以此种化合物的形式存在，它是铜与空气中的氧气、二氧化碳和水等物质反应产生的物质。不溶于水。
碱式碳酸铜一般常称为铜锈或铜绿。
== 孔雀石 ==
碱式碳酸铜的结晶为孔雀石，是一种名贵的矿物宝石。
2Cu + O2 + CO2 + H2O → Cu2（OH）2CO3
孔雀石
== 制备 ==
=== 用碳酸钠与硫酸铜作用制备 ===
反应方程式：
2Na2CO3 + 2CuSO4 + H2O → Cu2（OH）2CO3↓ + CO2↑ + 2Na2SO4
具体方法：
按体积比V（CuSO4）：V(Na2CO3)=1:1.2取0.5mol/L的碳酸钠溶液和0.5mol/L的硫酸铜溶液，同时置于70℃的水浴中直到恒温。然后将两者混合，置于70℃的水浴环境下搅拌。可以观察到有浅蓝色沉淀产生。调节pH值为8.50~8.88，不断搅拌悬浊液直到沉淀变为绿色。此时停止搅拌，静置，待沉淀沉降之后进行过滤，并用去离子水洗涤沉淀，直到不含硫酸根离子（硫酸钠）为止。然后将沉淀至于烘箱中以100℃烘干，即可得到绿色的碱式碳酸铜。
=== 用碳酸氢钠与硫酸铜作用制备 ===
反应方程式：
2CuSO4 + 4NaHCO3 → Cu2（OH）2CO3↓ + 3CO2↑ + H2O + 2Na2SO4
该反应会放出较多气泡，因此需缓慢投料。不管是使用碳酸钠还是碳酸氢钠，反应都可以在常温下进行而无需水浴加热，只不过反应速率会减慢，可能需要1d以上才能反应完全。
== 分解 ==
碱式碳酸铜加热会分解为氧化铜、水和二氧化碳。反应式：
== 除锈 ==
碱式碳酸铜放入稀硫酸生成硫酸铜、水和二氧化碳。反应式：
Cu2（OH）2CO3 + 2H2SO4 → 2CuSO4 + CO2↑ + 3H2O
==其他反应==
===与盐酸反应===
Cu2（OH）2CO3+4HCl→2CuCl2+CO2↑+3H2O.
== 相关条目 ==
* 孔雀石绿
==参考文献==
【二维图像引擎】
二维图像引擎（以下简称引擎）是主要使用在二维游戏中，绘制图像，并向外部表达图像的系统。在三维游戏中，亦有使用二维引擎来绘制游戏界面以及一些二维元素。
==历史==
==概述==
一般来说，一套引擎可以使用在多个不同的游戏中，即“可重用性”，由于引擎研发的投资较大，一个商业公司往往开发一款引擎，反复用于多款游戏，从而获得较高利润。如大宇公司的《轩辕剑系列》其正传和外传就是采用同一款引擎开发。也有本身不制作游戏，专门开发引擎并出售的公司。这样的引擎也称作“商业引擎”。出于游戏开发周期和开发成本的考虑，一些商业游戏公司更愿意购买“商业引擎”。
游戏引擎的程序基础是建立在使用图形API函数基础之上的，而不是直接控制显卡，主要适用于2D图像的API是DirectX，而纯2D图形API往往不能提供更丰富的图像操作支持，一些引擎也使用用于3D图像的API如OpenGL，Direct3D等来模拟2D。
===引擎组成===
由于二维游戏的图像都是平面结构，所以图像引擎在显示图像之前也往往只对图像本身进行处理，而不像三维游戏那样还要处理图像周围的环境。这种处理一般是将图像伸缩，变形，色彩处理，图像合成等。图像引擎还可分为以下几个部分。
====角色图像====
在二维游戏中，角色的动作是靠一系列由美工预先设计好的图像，按照一定的速率连续显示来实现。就像播放电影的方法一样。而考虑到角色移动带有方向性，角色的一种动作往往要以不同的方向绘制许多组。在早期DOS游戏中，为了节约资源，角色动作往往只有四个方向，而后来的RPG游戏则往往是八个方向，或十二个方向。方向的多少影响着角色动作的流畅度，也极大的影响游戏占用资源的多少。一种缓和的办法是采用“纸娃娃系统”。
====场景地图====
典型的30°地图贴图划分情况
场景地图是承载全部游戏内容的场所。引擎对付地图的办法大致可分为两种：整版式和贴图式。前者是直接将整张图像作为地图来显示，这样的好处是美工可以针对不同的场景单独绘制不同的地图，但由于地图的不可拆分性，整版式地图也是最占用资源的。后者贴图式则正是针对前者的劣势，在贴图式地图中，美工并不直接绘制地图，而是绘制许多细小的地图元素，如一块草地，一个池塘，一棵树等，并在此之后，将数量一定的元素组合并接成完整地图。这种解决办法的劣势就是场景变化度不高，容易出现完全相同的区域。
在贴图式场景地图系统中，每个地图都是由一个贴图方阵组成，根据单个贴图的形状，可以将贴图式地图分为90°和45°和30°地图三种。90°的贴图单元成矩形，一些早期DOS游戏都是这种；45°的贴图单元成正方形，一些早期RPG多用此种，如《网络创世纪》；30°则是菱形，是时下比较流行的一种。三者相比起来，30°表现的场景最为自然。然而一些采用90°贴图的游戏有意将建筑，设施等图像倾斜绘制，模拟30°贴图的画面效果，如《传奇》。
一般，引擎习惯将角色固定在屏幕正中央，并移动场景来实现角色行动的效果。这种效果也称“地图卷动”。
====动态&光影====
在二维游戏中，或多或少的会使用一些特殊的效果，如图像的淡入淡出，颜色的加强等。游戏引擎中，一般有专门的系统负责处理图像，由于这部分代码比较常用且运算量大，好的引擎多用ASM语言书写代码。
此外，游戏中的特效，如火焰，魔法技能，流水等都是引擎需要处理的内容。
==其他技术==
===脏矩形技术（Dirty Rectangle）===
在2D游戏中，每次更新屏幕，都将会将整个屏幕上的图像重新绘制一遍，而更新的内容往往不是很多，甚至只是一个小区域，强制重绘带来了很大的资源浪费，尤其是在一些休闲游戏、桌面游戏中体现明显。脏矩形技术正是利用只更新变化区域来达到提高引擎效率的目的。在脏矩形系统中，屏幕上更新的区域被称为“脏矩形”，引擎仅仅将脏矩形部分重绘，而其他部分保持原样。
===alpha混合===
由于2D游戏的平面性，导致一个物体对另一个物体时有覆盖的情况。被覆盖的物体则不可见，可能给玩家带来不便。通常，游戏开发者会将一部分被遮盖的物体进行透明化处理。这种透明化算法被称为“alpha混合”，混合的对象主要是角色图像，以便让玩家知道被遮挡的角色身在何处。
此外，引擎在处理一些火焰，流水时，也常常使用透明化算法，使之更为真实。
===图像压缩===
在2D游戏中，图像是游戏中最大的资源，而开发者为了压缩游戏所占的空间大小，往往在图像压缩上大作文章。被压缩后的图像，经过归类，被放置在一个个“打包文件”中，通常，这些文件以.lib .pak作为文件名后缀。
【元末起义政权君主列表】
==韩宋==
==徐宋==
==周吴==
==陈汉==
==明夏==
==参看==
* 中国君主列表
* 元朝民变
【再摄取抑制剂】
Escitalopram, 一作为抗忧郁剂的选择性血清素再吸收抑制剂
再摄取抑制剂（英语：reuptake inhibitor，RI）是一种再摄取调节剂，它可抑制由细胞膜转运体中介的神经传导物再摄取，进而增加胞膜外神经传导物的浓度。达成更多神经传导. 数种药物借由再吸收抑制达到心理和生理上的作用，包括各式抗忧郁剂及兴奋剂。
多数已知的再吸收抑制剂影响单胺神经传导物血清素、去甲肾上腺素（肾上腺素）及多巴胺。 但也有不少药品及研究用化合物作用于其他神经递质，例如谷氨酸、GABA、甘胺酸、腺苷、胆碱（乙酰胆碱前驱物）及大麻素。
== 参考文献 ==
【博比·雷诺兹】
博比·雷诺兹（Bobby Reynolds，7月17日）是一位美国职业网球运动员。目前他和他的双打搭档罗比·吉内普里居住在乔治亚州的Acworth。他是2008年温网赛事中，唯一一个进入第三轮赛事的美国选手。
==外部连结==
* R483
* id=10026011
* 10026011
【Love & Peace = Paradise】
「Love & Peace = Paradise」（Love & Peace = パラダイス）是日本的女子偶像歌手真野惠里菜的第5张单曲。2009年11月25日由hachama发售。
== 概要 ==
* 「Love & Peace = Paradise」是东京电视台儿童电视剧「Kitty's Paradise peace」的片尾曲，亦是舞台剧「恋するハローキティ」的主题曲
* 此单曲是S/mileage从Hello! Project Egg毕业前最后一次担任伴舞。
* 此单曲有4个版本，分别有「初回生产限定盘A - C」和「CD ONLY」。「初回生产限定盘」收录了「Love & Peace = Paradise」的PV。
* 在12月7日于公信榜单曲周排行榜取得第12位。
== 收录内容 ==
===CD（初回生产限定盘A、初回生产限定盘B、CD ONLY）===
# Love & Peace = Paradise（作词：三浦徳子 作曲：経冢泰诚 编曲：大久保薫）
# Love & Peace = Paradise（feat. Hello Kitty）（作词：三浦徳子 作曲：経冢泰诚 编曲：大久保薫）
# 18岁的季节（18才の季节）（作词：三浦徳子 作曲：経冢泰诚 编曲：高桥谕一）
# Love & Peace = Paradise(Instrumental)
===DVD（初回生产限定盘A）===
# Love & Peace = Paradise（Dance Shot Ver.）
===DVD（初回生产限定盘B）===
# Love & Peace = Paradise（Buranko Ver.）
【奥林匹克运动会利比里亚代表团】
利比里亚（国际奥委会国家编码为：LBR）自1956年起参加奥林匹克运动会，此后除了1968年、1976年，及1992年（仅参加开幕式），每一届夏季奥运会都有参与。该国未曾参与过冬季奥林匹克运动会，且未曾取得任何一面奖牌。
该国国家奥林匹克委员会成立于1954年，并于1955年获得国际奥林匹克委员会承认。
==奖牌榜==
=== 夏季运动会奖牌榜 ===
【三性】
三性可以指：
*三种特性，善、恶与无记三者的合称
*三种自性，即三自性
【龙头山古墓群】
龙头山古墓群位于中国吉林省延边朝鲜族自治州和龙市头道镇南龙头山东侧，是渤海国文化遗迹，1988年被列为第三批全国重点文物保护单位。
龙头山古墓群分布范围约600平方米，由北至南分为龙湖墓区、龙海墓区、石国墓区，自1980年以来共发现十余座古墓葬。最早发现的墓葬是龙海墓区西北最高处的贞孝公主墓，墓内壁画是目前保存最完整的渤海国壁画。
==参考文献==
【黄振棠】
黄振棠，中国人民解放军将领、中国人民解放军开国少将。
曾任中国人民解放军第65军政委。1955年，授予中国人民解放军少将。
【路尔斯·卡路士·韦拉】
路尔斯·卡路士·韦拉·祖利亚（Luiz Carlos Vieira Júnior，1982年7月27日－），生于巴西圣利奥波尔杜，巴西足球运动员，司职中场，于巴甲劲旅国际体育会青训出身，现时效力Campeonato Gaúcho球会圣路易斯。
==球会生涯==
卡路士生于巴西圣利奥波尔杜，于巴甲劲旅国际体育会青训出身，出道初期已经出国揾食，曾加盟科威特超级联赛及玻利维亚甲组联赛球会，直至2012年他重返巴西，于2015年担任Grêmio Esportivo Glória的队长，凭出色表现助该队夺取巴西南里奥格兰德州联赛冠军。2015年9月，卡路士加盟香港超级联赛球队南华，他未来港先轰动，获南华前教练米路吹捧为「超级10号」。2015年10月16日，卡路士于南华以2–1小胜灏天黄大仙的联赛取得了加盟后的首个入球。2015年12月14日，卡路士夺得香港超级联赛10月最有价值球员。
2016年2月中，卡路士右足踝无故肿胀及上阵期间发烧和呕吐，其后经医生检查后表示是细菌感染，若延误就医就要截肢了，后来医生帮卡路士把患处㓥开放脓，最终休息了数星期已经完全康复。 2016年2月18日，南华公布出战亚协杯的外援名额再有变动，卡路士会取代菲力斯保耶，与保赞、艾华，以及亚援赖恩格菲斯出战。 2016年5月24日，亚协杯16强，南华凭在加时下半场由巴西中场卡路士窝利劲射破网建功，以1–0险胜United Football League (Philippines)球队塞列斯，连续两届跻身8强。直到2017年6月，南华宣布经重新检视球队近年发展后决定来届退出港超联，转战甲组联赛，培育青年球员，而卡路士与南华解决合约问题后离队。
==家庭生活==
卡路士自小很崇拜薛高，长大后喜欢施丹，两人都是他的模仿对象。
卡路士于22岁结婚，由于当时足球事业才刚起步，长年在外地比赛亦令首段婚姻失败收场，与前妻聚少离多最终离婚收场，有两名女儿，现在跟前妻一起生活。
卡路士于2012年再婚，现任妻子原来是青梅竹马的儿时玩伴：今次来港揾食，卡路士携同现任妻子前来一起生活，以免重蹈覆辙。2016年8月29日，卡路士与妻子(Aline)在香港正式注册结成夫妇。
==个人荣誉==
* 香港超级联赛「十月最有价值球员」（2015/2016季度）
【无畏无惧】
《无畏无惧》（No Fear.）是台湾歌手柯有伦个人第四张录音室专辑，于2010年12月3日正式发行，一共收录十首歌曲。
==曲目==
CD
==参考文献==
【库克群岛足球协会】
库克群岛足球协会是专门管辖库克群岛足球事务的组织。库克群岛足球协会足球协会成立于1971年，并在1994年先后加入国际足协和大洋洲足协。
==外部连结==
*  官方网页 date=20150102065215
*  国际足协网页 date=20150817205449
*  大洋洲足协网页fix-attempted=yes
【新流星搜剑录】
《新流星搜剑录》是《流星蝴蝶剑.net》制作人“流星之父”蔡浚松于2011年加盟空中网，并进行新作《新流星搜剑录》的研发，新作《新流星搜剑录》是基于《流星蝴蝶剑.net》之上而研发及继承《流星OL》的意志，保留了原有特色玩法的同时，强化了游戏画面和打击效果，另外还加入了一些竞技游戏的元素，如匹配系统等。
该游戏的steam版本已经于2020年3月12日停止服务器运行,于2020年8月14日由创天互娱接手,并于2022年1月19日再次停运。
==来源及注解==
==外部连结==
Steam商店 date=20201030173917
【加姆斯】
加姆斯（Gams）是瑞士圣加仑州的市镇，位于该国东北部，面积22.3平方公里，海拔高度490米，2011年人口3,131，六成人口信奉罗马天主教，人口密度每平方公里140人。
==外部连结==
*  Official website
【纳丁·阿什拉芙】
纳丁·阿什拉芙（Nadine Ashraf，4月1日），埃及女子羽毛球运动员。
==简历==
2013年8月，纳丁·阿什拉芙参加中国广州举行的世界羽毛球锦标赛，在比赛首日与Mahmoud El Sayad出战混合双打项目，首圈就以0比2（18-21、16-21）负于纽西兰的奥利弗·莱顿-戴维斯/苏珊娜·莱顿-戴维斯出局。
2015年8月，阿什拉芙参加印尼雅加达举行的世界羽毛球锦标赛，与门纳·埃尔坦纳尼合作出战女子双打项目，首圈就以0比2（5-21、1-21）不敌英格兰的希瑟·奥利弗/劳伦·史密斯出局。
==主要比赛成绩==
只列出曾进入准决赛的国际赛事成绩：
===奥运会和世锦赛参赛纪录===
【2010年亚洲运动会举重比赛】
2010年亚洲运动会举重比赛于11月13日至19日在东莞体育馆举行，共产生15枚金牌，其中男子8枚，女子7枚。共有来自31个代表团的176名运动员参赛。
== 奖牌统计 ==
== 各项成绩 ==
=== 男子 ===
=== 女子 ===
【黑蓝子鱼】
黑蓝子鱼（学名：Siganus niger）为辐鳍鱼纲鲈形目刺尾鱼亚目蓝子鱼科的其中一种，分布于中太平洋东部的东加海域，栖息深度2-15公尺，体长可达22公分，栖息在珊瑚礁海域，成鱼成对活动，稚鱼成小群活动，以藻类为食，可做为食用鱼。
其种加词“niger”意为“黑色的”。
== 参考文献 ==
*month=7
【外屏二】
外屏二（ε Psc，双鱼座ε）是双鱼座的一颗黄橙恒星，距离地球约190光年。它的光谱型为G9III或K0III，这说明它的表面温度约为5,000开。它是一颗普通的巨星，比太阳表面温度稍低，但是比太阳更亮、更大。 它被怀疑是是一个双星系统，两颗成员星有相同的星等，两星距离0.25弧秒。
【柏度·祖亚昆·加云】
柏度·祖亚昆·加云（Pedro Joaquín Galván，catIDx=Pedro Joaquín Galván），阿根廷足球运动员，司职中场。
加云的职业生涯开始于2003年在甘拿比亚出道， 2005年，他加入圣马丁。07年他在厄瓜多尔的奥美度比赛，然后回到圣马丁。
圣马丁从阿根廷甲级联赛降级后，加云加盟比尼特拉维夫。
==连结==
*  The Israel Football Association date=20160304193407
*   Argentine Primera statistics
【小行星23323】
小行星23323（23323 Anand）是一颗绕太阳运转的小行星，为主小行星带小行星。该小行星于2001年1月20日发现。
== 轨道参数 ==
小行星23323的轨道半长轴为454 976 326 km，3.0412856 UA，离心率为0.055。
【门第】
门第可以指：
*旧时名门的社会地位，参见门阀。
*门第 (图书)，连谏著小说。
*门第 (电视剧)，2013年播出的一部电视剧。
【德米特伦基 (新桑扎里区)】
德米特伦基（Дмитренки），是乌克兰的村落，位于该国中部波尔塔瓦州，由新桑扎里区负责管辖，处于波卢济尔亚河畔，分别距离布里杜尼1.5公里和比洛科尼0.5公里，面积2.849平方公里，海拔高度78米。
【蕴涵命题演算】
在数理逻辑中，蕴涵命题演算是只使用叫做蕴涵或条件的一个连结词的经典(二值)命题演算。用公式表达，这个二元运算被指示为“implies”
“如果 ..., 则 ...”, “→”, “”等等。
==作为算子的实质完备性==
单独的蕴涵作为逻辑算子不是完备的，因为不能用它形成所有其他二值真值函数。但是如果有已知为假的一个命题并作为给虚假的零元连结词那样使用它，则可以定义所有其他真值函数。所以蕴涵作为算子实质上是完备的。如果 P,Q 和 F 是命题而 F 已知为假，则:
*¬P 等价于 P→F
*P∧Q 等价于 (P→(Q→F))→F
*P∨Q 等价于 (P→F)→Q
*P↔Q 等价于 ((P→Q)→((Q→P)→F))→F
更一般的说，因为上述算子对表达任何真值函数是充分的，可以得出任何真值函数都依据“→”和“F”来表达，如果有一个命题 F 已知为假。
==公理==
*公理模式 1 是 P→(H→P)。
*公理模式 2 是 (H→(P→Q))→((H→P)→(H→Q))。
*公理模式 3 (皮尔士定律)是 ((P→Q)→P)→P。
*唯一的推理规则(肯定前件)是: 从 P 和 P→Q 推出 Q。
在这里每个情况下，P, Q, H 可以被替代为只包含“→”作为连结词的任何命题。
==演绎元定理==
首要任务是使用公理 1, 2 和肯定前件导出演绎元定理。
我们开始于证明一个定理模式(这里的 A 和 B 可替代为只包含“→”作为连结词的任何命题):
*(A→((B→A)→A))→((A→(B→A))→(A→A)) 1. 公理 2
*A→((B→A)→A) 2. 公理 1
*(A→(B→A))→(A→A) 3. 肯定前件 2,1
*A→(B→A) 4. 公理 1
*A→A 5. 肯定前件 4,3 QED
后续过程详见演绎定理。
==取代虚假==
如果 A 和 Z 是命题，则 A→Z 等价于 (¬A*)∨Z，这里的 A* 是把 A 中 Z 的所有、某个或零个出现替代为虚假的结果。类似的，(A→Z)→Z 等价于 A*∨Z。所以在某些条件下，它们可以分别作为表说 A* 为假或 A* 为真的替代品。
==公理的完备性，第一部分==
我们将看到这些公理在任何只包含“→”作为连结词的重言式都可用从它们演绎出的意义上。考虑只包含 P1, P2, ..., Pn 作为原子命题(命题变量)的重言式 S。
在真值表中选择一行给 S。它展示了对一个特定赋值(从命题变量到 {假, 真} 的函数)每个 S 的子公式的真值。通过在子公式长度上的数学归纳法，我们将证实从形如 Pk→Z (在 Pk 被给予值假的时候)或(Pk→Z)→Z (在 Pk 被给予值真的时候)的命题，可以为每个 S 的子公式演绎出类似的命题。这需要下面给出的三个引理。
===真结论的引理===
考虑 S 的子公式 P→Q。如果 Q 被赋值给予值真，则 P→Q 也将被给予值真。所以我们需要证实 ((P→Q)→Z)→Z 可以证明自关于这个赋值的假定。
**(Q→Z)→Z 1. 假设
***(P→Q)→Z 2. 假设
****Q 3. 假设
*****P 4. 假设
*****Q 5. 重复 3
****P→Q 6. 演绎自 4 到 5
****Z 7. 肯定前件 6,2
***Q→Z 8. 演绎自 3 到 7
***Z 9. 肯定前件 8,1
**((P→Q)→Z)→Z 10. 演绎自 2 到 9
*((Q→Z)→Z)→(((P→Q)→Z)→Z) 11. 演绎自 1 到 10 QED
===假前提的引理===
如果 P 被赋值给予值假，则 P→Q 将给给予值真。所以我们需要证实 ((P→Q)→Z)→Z 可以证明自关于这个赋值的假定。
**P→Z 1. 假设
***(P→Q)→Z 2. 假设
****Z→Q 3. 假设
*****P 4. 假设
*****Z 5. 肯定前件使用步骤 4 和 1
*****Q 6. 肯定前件使用步骤 5 和 3
****P→Q 7. 演绎自 4 到 6
****Z 8. 肯定前件使用步骤 7 和 2
***(Z→Q)→Z 9. 演绎自 3 到 8
***((Z→Q)→Z)→Z 10. 皮尔士定律
***Z 11. 肯定前件使用步骤 9 和 10
**((P→Q)→Z)→Z 12. 演绎自 2 到 11
*(P→Z)→((P→Q)→Z)→Z) 13. 演绎自 1 到 12 QED
===真前提和假结论的引理===
如果 P 被赋值给予值真而 Q 被给予值假，则 P→Q 将被给予值假。所以我们需要证明 (P→Q)→Z 可以证明自关于这个赋值的假定。
**(P→Z)→Z 1. 假设
***Q→Z 2. 假设
****P→Q 3. 假设
*****P 4. 假设
*****Q 5. 肯定前件 4,3
*****Z 6. 肯定前件 5,2
****P→Z 7. 演绎自 4 到 6
****Z 8. 肯定前件 7,1
***(P→Q)→Z 9. 演绎自 3 到 8
**(Q→Z)→((P→Q)→Z) 10. 演绎自 2 到 9
*((P→Z)→Z)→(Q→Z)→((P→Q)→Z) 11. 演绎自 1 到 10 QED
==公理的完备性，第二部分==
在完备性证明的第一部分，我们证实了假定关于命题变量的适当假设，(S→Z)→Z 可以证明自重言式 S 每个赋值。现在我们将把这些赋值合并起来并除去关于命题变量的假定。
考虑仍未从假定中除去的命题变量中的一个，比如它是 P。则使用演绎元定理，我们得到 (P→Z)→((S→Z)→Z) 并且类似的我们得到 ((P→Z)→Z)→((S→Z)→Z)，二者都从 P 不出现的假定的简约集合中得出。
**(P→Z)→((S→Z)→Z) 1. 假设
***((P→Z)→Z)→((S→Z)→Z) 2. 假设
****S→Z 3. 假设
*****P→Z 4. 假设
*****(S→Z)→Z 5. 肯定前件 4,1
*****Z 6. 肯定前件 3,5
****(P→Z)→Z 7. 演绎自 4 到 6
****(S→Z)→Z 8. 肯定前件 7,2
****Z 9. 肯定前件 3,8
***(S→Z)→Z 10. 演绎自 3 到 9
**((P→Z)→Z)→((S→Z)→Z)→(S→Z)→Z 11. 演绎自 2 到 10
*(P→Z)→((S→Z)→Z)→(((P→Z)→Z)→((S→Z)→Z)→(S→Z)→Z) 12. 演绎自 1 到 11 QED
所以我们可以组合成对的真值表的行到一起并重复这个过程直到关于命题变量的值的假定都被除去了。结果将是我们已经证明了 (S→Z)→Z，这里的 S 是重言式而 Z 是任何命题。现在我们选择 Z 一样于 S。因此 (S→S)→S 是个定理只要 S 是重言式。但是 S→S 是我们早先证明的定理模式的一个实例。所以通过肯定前件 S 是对于任何重言式 S 的一个定理。我们的公理是完备的。
这个证明是构造性的。就是说给定一个重言式，我们可以服从指导并从我们的公理建立它的一个证明。但是，这种证明的长度随着重言式中命题变量的数目呈超指数增长。所以除了对非常短的重言式之外它不是实用性的方法。
==在完备性定理中的排中律==
有趣的是排中律(皮尔士定理形式的公理 3)只在我们的完备性证明中出现了一次。
相反的，Mendelson 命题逻辑的完备性证明在很多地方使用了排中律，特别是在把真值表的行合并在一起来除去命题变量依赖的步骤中。他使用了他的第三个公理 (¬A→¬B)→((¬A→B)→A) 来推导 (A→B)→((¬A→B)→B)，它接着被用来合并真值表的行到一起。
【科瓦萨区】
科瓦萨区（Distrito de Coasa），是秘鲁的一个区，位于该国东南部普诺大区的卡拉瓦亚省，面积3,572.92平方公里，海拔高度3,783米，2005年人口8,897，人口密度每平方公里2.5人。
【淳亲王府】
淳亲王府是位于中华人民共和国北京市东城区东长安街14号院内的清朝淳亲王允祐及其后人的府第。后来该府及周边地区在清朝末期被改建为英国驻华使馆。
==历史==
淳亲王府位于东长安街14号院内，东临正义路，北为中华人民共和国公安部大楼，西临如今平移之后的英国使馆旧址（原公安部6号楼）。
淳亲王府是康熙帝第七子淳亲王允祐的府第，府北一墙之隔为翰林院。允祐于康熙四十八年（1709年）晋封为淳郡王，雍正元年（1723年）晋封为淳亲王。允祐获封淳郡王后，建淳郡王府。但乾隆十五年《乾隆京城全图》中，如今的府址处为一片空地，所以可能允祐最初的府第并不在这里，到乾隆十五年之后才在这里建府。《啸亭杂录》载： “淳亲王府在玉河桥西岸。”该府传至允祐的重孙、镇国公奕梁，故也称“梁公府”。
咸丰十一年（1861年），英国通过恭亲王奕䜣同意，以每年一千两白银租下梁公府作为英国驻华使馆，并以“该府修理工程甚巨”为借口，未交前两年的租银。奕梁则不得不从该府迁出。该府和临近的翰林院、銮驾库、鸿胪寺的一部分，均被划作英国驻华使馆与兵营。《顺天府志》载： “王讳允祐，圣祖七子，谥曰度。裔孙奕梁降袭，后俗称 ‘梁公府’，今废为英国使馆。”
该府被充作英国驻华使馆之后，该府建筑接受了改建，并加建了若干新建筑。1949年后，该处建筑曾归英国驻华代办处使用。如今，该处建筑属于中华人民共和国公安部。
1995年，“淳亲王府”、“英国使馆旧址”分别被列为北京市文物保护单位。2001年，二者作为“东交民巷使馆建筑群”的一部分，被列为第五批全国重点文物保护单位。
==建筑==
东交民巷使馆区地图。图中42. British Legation 即英国驻华使馆。其中：a. Minister（公使）；b. 1st Secretary（一秘）；c. 2nd Secretary（二秘）；d. Church（教堂）
如今，淳亲王府位于中华人民共和国公安部大院内，坐落于面临东长安街的中华人民共和国公安部大楼的东南侧，由公安部使用。英国使馆建筑也全部位于中华人民共和国公安部大院内；其中，原公安部6号楼（英式楼房）因中华人民共和国公安部大楼的兴建，而于2000年代初向东南方向整体平移，成为大型文物建筑整体平移的样例之一。
淳亲王府坐北朝南，街门向东面临御河（今正义路），该街门为西洋式，是英国驻华使馆时期兴建。淳亲王府建筑分为东、中、西三路，格局和东单北极阁的宁郡王府很相似。中路为主要建筑，是宫殿式绿琉璃瓦顶建筑，分前殿、后寝两个院落。自南向北依次为：
*仪门：面阔五间，带前后廊，歇山顶，中启三门，檐下五踩重昂斗栱。
*银安殿（正殿）：面阔五间，周围廊，绿琉璃瓦歇山顶，檐下单翘重昂七踩斗栱。殿内为井口天花，中绘团龙。银安殿前有月台，有甬道同仪门相连。原先在正殿之后还有后殿五间，现已无存。
**东、西翼楼：在银安殿前左右两侧，二层，面阔五间，带前廊，硬山顶。
*二门：位于银安殿以北，和银安殿之间有月台连接。面阔三间，歇山顶。左右各带顺山房三间。
**仿中国古典式楼房：在二门的东顺山房以东，有一座二层砖木结构楼房，采用中国传统式屋顶，檐下五踩重昂斗栱。该楼是英国驻华使馆时期所建的官邸。
*后寝：面阔七间，殿前两侧有配殿。
**东、西配殿：位于后寝前左右两侧。
*后罩楼：位于后寝以北，面阔七间，现已无存。
*英式楼房（原公安部6号楼）：在英国驻华使馆占用时期兴建了英式楼房（原公安部6号楼），该楼建于1903年，欧式风格，两层，长74.6米，宽约17.4米，高15.95米，总建筑面积约1,800平方米，已于2000年代初向东南方向平移，到达公安部5号楼以北。
东路原有建筑已无存，有上文提到的英国驻华使馆占用时期兴建的仿中国古典式楼房一座。
西路原为花园，今存改建的四合院一所，以及英国驻华使馆占用时期添建的英式楼房（公安部5号楼）。
英国驻华使馆占用时期，还兴建过其他许多建筑，其中不少建筑已经被拆毁无存。
==相册==
== 参考文献 ==
【浙江大学医学院附属儿童医院】
浙江大学医学院附属儿童医院，又名浙江省儿童医院、浙江省儿童保健院，是附属于浙江大学医学部的一所三级甲等医院。老院区（湖滨院区）位于杭州市拱墅区竹竿巷57号，建在滨江区的新院区于2014年年底开业。作为浙江省最大的三级甲等综合性儿童医院，它承担着全省儿科医疗、教学、科研、儿童保健和突发性公共卫生事件应急任务。
== 简介 ==
医院前身是1951年成立的“浙江省立妇幼保健院”。1998年，新浙江大学成立后，医院正式命名为“浙江大学医学院附属儿童医院”。每年门急诊病人170万人次，住院病人3.8万人次，手术1.7万余台。
医院综合实力位居中国儿童医院前列，儿科学为国家重点学科，是儿科学硕士学位、博士学位授予点和博士后流动站。国家临床重点专科有儿科重症专业、新生儿专业、小儿消化专业、小儿呼吸专业，省医学重点学科有新生儿专业、心胸外科专业、血液肿瘤专业、儿童保健专业、小儿围手术期医学、青春期医学。拥有教育部重点实验室——浙江大学生殖遗传教育部重点实验室、省重点实验室——新生儿疾病防治重点实验室、省重点创新团队——儿童出生缺陷早期筛查与干预技术创新团队、省重点学科群——新生儿与围产医学。
医院还被国家食品药品监督管理局认定为包括小儿消化、小儿呼吸、小儿心脏病、小儿肾病、小儿血液病、小儿神经病学、小儿内分泌、儿童保健、小儿重症医学、小儿麻醉共10个专业的药物临床试验机构。
现任院长是杜立中。
== 医学指导中心 ==
医院是以下医学中心：
*浙江省新生儿疾病防治中心
*浙江省小儿心血管疾病防治中心
*浙江省新生儿疾病筛查中心
*浙江省基因诊断中心
*浙江省听力筛查管理中心
== 滨江院区 ==
浙医儿院滨江院区位于滨江区长河街道江南大道与信诚路交叉口，省疾控中心东侧与南侧，占地6公顷（91.5亩），投资7.44亿人民币，建筑面积16万平米，停车位近800个。设床位1250张，一期开放900张床位。滨江院区已经成为浙医儿院的主院区，而竹竿巷老院区会保留下来。2014年12月27日对外营业，其门急诊接待量可达一万人次。而老院区有400余张床位，门诊接待量4000人次。
血液科设在湖滨院区，滨江院区不设血液科。2015年1月5号后湖滨院区的烧伤整形外科、神经外科门诊全面停诊，此后看这两个专科只能到滨江院区。1月15日起眼科湖滨院区仅保留周一至周五工作日门诊，双休日和节假日停诊。
== 交通 ==
经过湖滨院区的公交车有：K1、K55、K56、K151、K95、K105、K106、K287、K290、K517、K801、K900路等。
到达滨江院区可乘公交车：172路、355路、1504路、B支3路、B支6路。
== 参考文献 ==
【建教合作】
，是一种结合课堂教学与实际工作经验的结构化教学方法。作为教学过程的一部分，合作教育经验通常被计入学分。此种教学方法的重要意义在于帮助没有什么工作与社会经验的青年学子能更全面地从学校至工作衔接，在此过程中学习与经验是并重的，除了学习理论以外，也著重实际操作和参与过程的经验养成。合作教学采用主动参与的方法，在平等、公平和参与决策的基础上使学生学会如何共同解决问题。通常使用的方法有：游戏，陈述观点，公平参与，分享。加拿大的滑铁卢大学为世界上最大的建教合作大学，一学年在120个科系中有超过6700的雇主及19800实习学生。
== 各国建教合作 ==
=== 台湾 ===
德国一间建教合作学校，学校设在一间工厂旁
建教合作指职业学校、附设职业类科或专门学程之高级中学及特殊教育学校，与建教合作事业机构合作，以培育学生职业技能为目标之机制。建教合作的学生在台湾劳动基准法中称为「技术生」。
建教合作教育是具有教育制度，经济功能与社会适应的职业教育制度，整合了「教育」与「建设」两方面的功能，由学校及事业机构双方共同培育人才，使教育与经济制度密切结合，是配合国家经济发展、开发人力资源，具经济功能的一种教育措施。职业学校主动为业界服务；而业界则提供训练资源配合学校教育。
过去中华民国政府为因应台湾经济建设与工商业发展之基层技术人才需求，1969年开始试办「建教合作实验班」，其办理方式是学生一方面在学校修习一般科目及专业理论课程，一方面到相关行业职场工作，办理的类科以各校设立的职业类科或学程为主，并透过厂校双方的合作规划，安排学生到业界职场实习、工作，并期望使学生获得生活津贴、且习得一技之长。然而在执行上，却常常压榨学生、让学生得不偿失。
2004年教育部订颁《高级职业学校建教合作实施办法》，供各校做为办理之依据。建教合作教育课程由「学时制」改以「学分制」修读，学生三年修满150学分可获得高职毕业证书，并自2009学年度起提供建教合作班学生免学费之措施，期望能照顾建教合作教育之学生。自2010年，在台湾约仍有3.5万建教合作班学生。
=== 加拿大 ===
*滑铁卢大学
=== 美国 ===
*辛辛纳提大学
==外部连结==
*  高级职业学校建教合作实施办法 date=20200804145951