yuhuanstudio/wikipedia-omni-zh huggingface dataset:
服虔

<image>

服虔（？），字子慎，初名重，又名祇，后改名虔。荥阳（今河南省荥阳县）人，东汉经学家。

## 生平

早年清苦，入太学，举孝廉。郑玄想完成《左传》注，未成，有一天外出，与服虔同宿客店，两人素不相识。服虔在旅舍外车上同别人述说自己注释《左传》的心得，郑玄旁听良久，大为佩服，曰：“吾久欲注，尚未了。听君向言，多与吾同，今当尽以所注与君。”官至尚书侍郎、高平县令，中平末年，升迁九江太守，因事免官。当时社会动乱，汉献帝年间，权臣董卓伏诛后，余党李傕、郭汜继续把持朝政，徐州刺史陶谦率前扬州刺史周干、琅邪相阴德、东海相刘馗、彭城相汲廉、北海相孔融、沛相袁忠、泰山太守应劭、汝南太守徐璆、前九江太守服虔、博士郑玄等共推行车骑将军朱儁为太师，发檄文号召地方讨伐李傕，尊奉献帝。但朱儁应李傕征召入朝，陶谦等只能作罢。服虔不久以病卒。曾撰《春秋汉议驳》二卷，以驳难今文经学家何休所论汉事，有六十条。著有《春秋左氏传解谊》一书，马国翰《玉函山房辑佚书》辑存四卷。
柯达克罗姆胶卷

<image>

柯达克罗姆（Kodachrome）是一款彩色幻灯片品牌，由美国伊士曼柯达公司（Eastman Kodak）拥有。柯达克罗姆是世界上第一款成功大量销售、使用减色法三层乳剂的彩色幻灯片，也是第一款真正意义上的多层彩色胶片。发明者为柯达公司的小利奥波德·戈多夫斯基（Leopold Godowsky, Jr.）和利奥波德·曼内斯（Leopold Mannes）。此幻灯片需以K-14冲印处理冲印。

柯达克罗姆从1935年开始上市一直到生产到2009年，也是世界上使用时间最长的一款彩色幻灯片。2010年12月30日，全球最后一家可冲印柯达克罗姆幻灯片的美国堪萨斯州Dwayne's Photo公司终止该幻灯片的冲印服务。

## 外部链接

- Technical data on Kodachrome 40 movie film
- Kodachrome Discontinuation Notice
- Dwayne's Photo Last color Kodachrome processing facility in the world.
- Kodachrome Slide Dating Guide.
- The Kodachrome Project.
- Club by and for Kodachrome users.
- The pre paid processing packet project 2010
- Film Rescue International Worldwide - Can process Kodachrome in black and white
- Process C-22 UK and Europe
- Old Film Processing UK and Worldwide
感应卡

<image>

感应卡（Proximity card）是一种以积体电路技术制作的非接触型电子装置，它通常使用于门禁系统上，适用于ISO/IEC 14443标准，与ISO/IEC 15693标准。它也可以用来指那些使用125 kHz或13.56 MHz的非接触型RFID感应卡，这些技术通常被使用于非接触型智能卡之上。
高级软卧

高级软卧又称高包软卧、高包，是中华人民共和国铁路客运中次高等级的卧铺席别（最高等级是一人软包）。不同车型的高级软卧设施略有不同。每节车厢分为八至十余个包厢，包厢内设有两个或四个铺位，以及沙发、衣柜，部分具有独立卫生间（部分带淋浴）、电视屏幕、空调等设施。K3/4次国际联运快速列车的高级软卧为上下铺双人布置，带沙发一个，衣柜一个，两个软卧包厢共用一个卫生间（淋浴间）。高级软卧车厢有RW18、RW19T、RW19K等型号，部分卧铺动车组（仅第一代CRH1E）也设置高级软卧车厢。

高级软卧车内设施优于其他席别，票价也较贵。仅有少部分列车设有此席别，国际联运列车的国内回转车并不发售高级软卧，仅有部分较远国际区段发售本席别。

## RW19K型

<image>

- RW19K型高级软卧车内部走廊

<image>

- RW19K型高级软卧车包厢内部

<image>

- RW19K型高级软卧车包厢内部

<image>

- RW19K型高级软卧车车身标记

## RW19T型

<image>

- RW19T型高级软卧车内部走廊

<image>

- RW19T型高级软卧车包厢内部

<image>

- RW19T型高级软卧车包厢内部

<image>

- RW19T型高级软卧车车身标记

## CRH1E

<image>

- 头批CRH1E高级软卧车的公共空间

<image>

- CRH1E高级软卧车包厢内部

## 外部链接

- 京沪动卧列车高级软卧2330元遇冷 明年1月将取消
髀关穴

髀关穴是属于足阳明胃经的腧穴。

## 定位

在大腿外前侧，当髂前上棘与髌骨外上缘的连线上，大腿弯曲时与会阴相平，缝匠肌外侧凹陷处。

## 主治

下肢痿痹、疼痛等。

## 操作

直刺0.8～1.2寸；可灸。

## 基本资料

- 简 / 繁体：髀关
- 简 / 繁体：髀关
- 国际代码：ST31
- 汉语拼音：Bìguān
- 所属经脉：足阳明胃经
- 地点：髂前上棘与髌骨外上缘的连线上，大腿弯曲时与会阴相平
- treat：下肢痿痹、疼痛等
- processing：直刺0.8～1.2寸；可灸
伏兔穴

伏兔穴是属于足阳明胃经的腧穴。

## 定位

在大腿外前侧，当髂前上棘与髌骨外上缘的连线上，距髌骨外上缘6寸。

## 主治

下肢疼痛、疝气、腹胀等。

## 操作

直刺1～2寸；可灸。

## 基本资料

- 简 / 繁体：伏兔
- 国际代码：ST32
- 汉语拼音：Fútù
- 所属经脉：足阳明胃经
- 地点：髂前上棘与髌骨外上缘的连线上，距髌骨外上缘6寸
- treat：下肢疼痛、疝气、腹胀等
- processing：直刺1～2寸；可灸
西樵大饼

西樵大饼，是广东省佛山市南海区西樵镇的一种民间小食。为一种白色粉状圆形大饼，因较其他饼类的体积略大，故叫大饼。相传该饼由明朝嘉靖年间籍贯南海的宰相方献夫所创制。

其缩小版则为光酥饼。两者原料一样，但分量有别。光酥饼体积较小，易于携带。

2013年5月15日，中华人民共和国广东省卫生厅发布广东省食品安全地方标准《西樵大饼》（DBS44/ 003-2013）。根据该标准，西樵大饼的主要原料是“小麦粉、白砂糖、鲜鸡蛋、水、食用植物油和西樵大饼面种”，烤好的圆形大饼直径不少于18公分。

## 外部链接

- DB 44 广东省食品安全地方标准 DBS 44/003－2013
石墨慢化反应堆

石墨慢化反应堆简称石墨反应堆或石墨堆，是一类利用核石墨作为中子慢化剂的核反应堆。石墨慢化反应堆技术已被用于商业发电。

## 类型

石墨慢化反应堆主要分为以下几个类型：

- 气冷反应堆
- 镁诺克斯反应堆
- 进阶版气冷反应堆
- 高温气冷反应堆（已竣工）
- 天龙座反应堆
- 煤球炉式反应堆
- 桃底核电站
- 钍高温反应堆-300
- 圣符仑堡核电站
- 高温气冷反应堆（研发或建设中）
- 球床反应堆
- 棱镜燃料反应堆
- 超高温实验堆
- 水冷反应堆
- 大功率管式反应堆
- 石墨慢化水冷天然铀热中子反应堆：可使用天然铀生产钚-239

## 历史

1942年，恩里科·费米及其率领的团队制造出首个能通过核反应释放少量的热的石墨慢化装置（芝加哥1号堆），该装置也是世界上第一个核反应堆。该反应堆的建设与测试是曼哈顿计划的一部分。该研究为后来也为橡树岭国家实验室的世界上首个可持续运行的核反应堆（X-10石墨反应堆）的建设提供了技术与经验。X-10于1943年投入运作。

### 事故

- 1986年4月26日，位于乌克兰切尔诺贝利的切尔诺贝利核电站石墨慢化大功率管式反应堆由于功率剧增而发生熔毁，使大量危险放射性物质被释放到环境中。切尔诺贝利核事故是国际核事件分级表中第一项被分类为第七级（最严重）的事件。
- 德国于1976年开始运行的石墨慢化AVR反应堆在使用过程中因燃料温度不稳定、局部温度高于最高额定温度，使回路受到严重的放射性同位素（主要为铯-137及锶-90）沾污。该核电站于1988年关闭。
大巨穴

大巨穴是属于足阳明胃经的腧穴。

## 定位

脐中直下2寸（石门穴），旁开2寸。或天枢穴直下2寸。

## 主治

小腹胀满、小便不利、遗精、早泄等。

## 操作

直刺0.8～1.2寸；可灸。

## 基本资料

- 简 / 繁体：大巨
- 国际代码：ST27
- 汉语拼音：Dàjù
- 所属经脉：足阳明胃经
- 地点：脐中直下2寸（石门穴），旁开2寸
- treat：小腹胀满、小便不利、遗精、早泄等
- processing：直刺0.8～1.2寸；可灸
水道穴

水道穴是属于足阳明胃经的腧穴。

## 定位

脐中直下3寸（关元穴），旁开2寸。或天枢穴直下3寸。

## 主治

小腹胀满、腹痛、痛经、小便不利等。

## 操作

直刺0.8～1.2寸；可灸。

## 基本资料

- 简 / 繁体：水道
- 国际代码：ST28
- 汉语拼音：Shuǐdào
- 所属经脉：足阳明胃经
- 地点：脐中直下3寸（关元穴），旁开2寸
- treat：小腹胀满、腹痛、痛经、小便不利等。
- processing：直刺0.8～1.2寸；可灸
归来穴

归来穴是属于足阳明胃经的腧穴。

## 定位

脐中直下4寸（中极穴），旁开2寸。或天枢穴直下4寸。

## 主治

少腹疼痛、痛经、白带、疝气等。

## 操作

直刺0.8～1.2寸；可灸。

## 基本资料

- 简 / 繁体：归来
- 国际代码：ST29
- 汉语拼音：Guīlái
- 所属经脉：足阳明胃经
- 地点：脐中直下4寸（中极穴），旁开2寸
- treat：少腹疼痛、痛经、白带、疝气等
- processing：直刺0.8～1.2寸；可灸
不忽木

不忽木（Бүхүм，1255年1300年－6月30日）。又名时用，字用臣，康里人，元朝政治人物。元世祖侍从燕真之子，不忽木跟王恂、许衡学习儒学，历仕元世祖、元成宗两朝，官居中书平章政事、昭文馆大学士。后为平章军国事，行御史中丞，后病亡。他汉化较深，主张兴建学校，重视儒学，反对任用敛财之臣阿合马、桑哥等。其子康里巎巎。

## 参考文献

- 《元史》卷一百三十 列传第十七
气冲穴

气冲穴是属于足阳明胃经的腧穴。

## 定位

脐中直下5寸（曲骨穴），旁开2寸。或天枢穴直下5寸。

## 主治

少腹痛、疝气、腹股沟痛等。

## 操作

直刺0.8～1.2寸；可灸。

## 基本资料

- 简 / 繁体：气冲
- 简 / 繁体：气冲
- 国际代码：ST30
- 汉语拼音：Qìchōng
- 所属经脉：足阳明胃经
- 地点：脐中直下5寸（曲骨穴），旁开2寸
- treat：少腹痛、疝气、腹股沟痛
- processing：直刺0.8～1.2寸；可灸
黄石火山

<image>

黄石火山口（Yellowstone Caldera），也叫黄石超级火山（Yellowstone Supervolcano），是位于美国西部黄石国家公园的破火山口和超级火山。破火山口和公园的大部分地区位于怀俄明州的西北角。破火山口长70 by 45km，火山口后熔岩溢出到火山口外很远的地方。

火山口是在过去210万年的三次超级喷发中的最后一次爆发中形成的：第一次发生在210万年前的哈克贝利岭喷发（形成了岛屿公园火山口和哈克贝利岭凝灰岩），第二次发生在130万年前的梅萨瀑布喷发（形成了亨利福克火山口和梅萨瀑布凝灰岩），以及第三次发生大约在64万年前的熔岩溪喷发（形成了黄石火山口和熔岩溪凝灰岩）。

在2019年发现其宽度是其两倍以上阿波拉基火山口之前，黄石火山口是已知最大的破火山口。

如果黄石公园的火山再次爆发，规模将是1980年圣海伦火山爆发的2500倍，火山爆发指数8，引发全球灾难。科学界目前并没有能力预测黄石火山何时会再次喷发。

## 地质

黄石国家公园存在目前全球唯一活跃的超级火山。

### 成因

黄石火山是蛇河-黄石热点（Snake River Plain - Yellowstone hotspot）的一部分。该热点最早的一次是大约1600万年前，位置是现在的俄勒冈州和内华达州的边界附近。最近一次喷发是在60万年以前，它喷发后形成了黄石火山口（Yellowstone Caldera）。这一串共七次火山活动中心，扫过了上千公里的距离。然而并不是火山热点在移动，而是火山热点存在于上地幔之中，热点上方的北美大陆在移动（板块漂移）。

蛇河-黄石热点是在1600万年前突然出现的，与附近的哥伦比亚河玄武岩平原（Columbia River Basalt Plain）形成于同一时间。其成因通说是东太平洋的胡安·德富卡板块以小角度俯冲到北美板块的下方，富含水的胡安德富卡板块温度较低，替北美板块隔开了温度较高的地幔。在1600万年前，由于受重力的牵拉使得俯冲在北美板块之下的胡安德富卡板块发生断裂，沉入地幔中。高温的地幔在短时间内填补了胡安德富卡版块曾经占据的位置。剧烈的温差导致了在地幔上层靠近岩石圈的地方（约130km深）发生了剧烈的局部热循环。一个形成于地幔浅层的地幔热柱，即蛇河-黄石热点就出现了。

由于北美大陆西部的地壳被弧后拉张，地壳减薄破裂，形成了大片盆地-山岭区域。在黄石附近，地幔热柱熔化岩石圈下层所产生的熔岩流就可以侵入含硅量66%-70%的地壳上层，将其部分熔化，形成了含硅量达到75%以上的流纹岩的岩浆。同时，岩石圈下层的熔岩流甚至可以直接喷出地表，在蛇河平原和哥伦比亚高原形成大规模的玄武岩省。含硅量75%的流纹岩的岩浆。由于含硅量大，这种岩浆粘度很高。其内部的气体形成气泡，但因被高粘度的岩浆包围，它们很难通过膨胀体积来减压。当这种岩浆在黄石下面聚集，里面的气体也越来越多，温度也越来越高。高温使得气体膨胀，但高粘度的岩浆阻止气体膨胀，因此其内部的压强变得非常的高。当高压的气体最终冲破大量的高粘度的岩浆喷出地表，就会形成猛烈而量大的超级火山爆发。

### 喷发历史

黄石公园的所在地，地质学上被称为黄石高原（Yellowstone Plataeu），是由三次大规模火山喷发形成的：

- 210万年前的越桔梅岭喷发（Huckleberry Ridge Eruption），喷出了2500立方千米的喷出物，留下了一个巨大的岛屿公园火山口（Island Park Caldera）其火山灰被直接抛射到了墨西哥北部和洛杉矶附近
- 130万年前的亨利福克火山口喷发（Henry's Fork Eruption），在黄石的西侧形成了梅萨瀑布凝灰岩（Mesa Falls Tuff，因此这一次也叫作梅萨瀑布火山喷发），喷出物为280立方千米，其火山灰被直接抛射到了内布拉斯加和堪萨斯
- 64万年前的熔岩溪火山喷发（Lava Creek Eruption），喷出物为1000立方千米，形成了现在黄石公园内的黄石火山口，其火山灰直接落到了墨西哥湾

### 喷发危险

近几年该地区地质的异常变动频繁，包括地震，地表隆起等，但没有证据表明该超级火山会在以后的几年内爆发。如果黄石公园的火山爆发，规模将是1980年圣海伦火山爆发的2500倍，从而引起全球性的灾难，包括：

- 火山灰将覆盖全美3/4的土地。
- 在火山一千公里范围内，灰尘引起大量暴雨，爆发泥石流，火山灰将压垮多数民房。
- 火山灰尘导致电子设备无法正常使用，将使通讯，交通，物流等行业全线瘫痪。
- 多数民众将死于化学气体中毒、受污染的水和食物，比如氟。
- 全球性的天气灾难。硫酸气体层将在2周内覆盖全球，反射阳光，致使全球平均气温下降12--15度。赤道附近可能持续两三年的积雪，季风消失，大部分人类和动植物会死于寒冷和饥饿。

2017年，美国宇航局以“能否阻止黄石火山爆发”为题进行了一项研究。研究认为只要将其岩浆房降温35%就能避免爆发。一种可能的方法是向地下10千米处注入高压水，水返回地表释放大量的热，再重新循环回地下，缓慢降温火山。这些热能或许还可加以收集利用，建立一座超级地热能发电站，在未来数千年源源不断地供应清洁电能。该计划如果付诸实行，预计成本为34.6亿美元。然而该计划只是一个猜想，以现阶段的技术难以实现，基本上是科幻小说的情节。就算可行，也会是设计者有生之年都无法建成的超级工程。喷气推进实验室的发言人布莱恩·威尔逊（Brian Wilson）也表示，并不能保证该计划一定有效，或许本工程反而会导致（而不是避免）火山爆发。

## 基本资料

- OS格网系统：黄石火山、Yellowstone Caldera
- 说明：黄石火山口的东北部分，图中黄石河流经海登山谷（Hayden Valley），而远方是火山口边沿
- 海拔：10308
- 海拔：在谢里登山（Mount Sheridan）
- 位置：美国怀俄明州黄石国家公园
- 所属山脉：洛矶山脉
- 座标：44°N 24°W
- 地形图：USGS 黄石国家公园
- 山脉类型：破火山口和 超级火山
- 岩石年代：640,000年
- 最近喷发：1350 BC ± 200年
- 最简路线：远足／乘车
完颜斡鲁

完颜斡鲁（11世纪?－1128年1月23日），金朝官员。金太祖阿骨打伯父韩国公完颜劾者的第三子，完颜撒改的弟弟，秦王完颜宗翰（粘罕）的亲叔父。

康宗完颜乌雅束（金太祖的哥哥）主持完颜部时，辅佐完颜斡带（金太祖的弟弟）讨伐含国部斡豁叛乱。后来出兵对抗王氏高丽，有功。金太祖在1115年建立金朝，和完颜阇母（金太祖的弟弟）、完颜迪古乃讨伐高永昌，克沈州、辽阳，封金源郡王、南路都统、迭勃极烈。讨平烛偎水部实里古达的叛乱。和粘罕经略西北，大破西夏军。粘罕伐北宋，为西路军，完颜斡鲁负责镇守西北，北宋灭亡之年（天会五年）十二月二十乙亥日，完颜斡鲁去世。皇统五年（1145年），追封郑国王。天德二年（1150年），配享太祖庙廷。

其子光禄大夫完颜撒八。

## 参考文献

- 《金史》卷七十一·列传第九
新知岛

新知岛，俄语音译锡木施尔岛（Симушир），是俄罗斯千岛群岛中部的一个火山岛。日语和俄语的岛名皆来源于阿伊努语的“si-mosir”，意思是“大的岛屿”。

在1987年至1994年期间此岛曾作为苏联海军秘密潜艇基地。当时约有3000人常驻。

现今该岛无人居住。由俄罗斯萨哈林州管理。

2013年8月，中国户外极限体验倡导者张昕宇、梁红、曾乔等一行人曾抵达此地（《侣行 第二季》第5~6期）。

该岛以前准备建设成为俄罗斯的一个核废料永久性存储地，结果因该岛为地震多发带，所以遭到很多人的反对。

## 地理

<image>

新知岛长约59公里，面积为227.6平方公里。细长的岛由众多火山构成。东北部为7.5平方公里的武鲁顿湾。岛上植被多为亚寒带针叶林。

该岛正好位于千岛群岛的中央，属于火山岛，岛上有多座火山，其中部分火山仍有活动，低烈度浅源地震十分常见。

岛屿北部有一个形似泻湖的海湾，是由火山爆发毁坏火山基座后火山下沉形成。该海湾东南角有一个废弃海军基地。

## 外部链接

- 新知岛（日文）
- 北の自然と野生（日文）（2007年11月10日放送分）

## 基本资料

- 英国格网参考：锡木施尔岛 / 新知岛
- 原文名：Симушир、新知岛
- 说明：卫星图片里的新知岛
- 人口密度：227.6
- 所处海域：鄂霍茨克海
- 座标：46°N 58°E
- 所属群岛：千岛群岛
- 国家：俄罗斯
- country admin divisions title：行政区划
- country admin divisions：萨哈林州
- 最高点：新知岳
- 海拔：1540m
- 人口：俄罗斯边境警备队驻扎
- 人口统计时间：2011年
- 族群：阿伊努人、俄罗斯人
楼缓

楼缓（？），战国时期纵横家，秦赵联盟的策动者。

## 生平

曾奉赵武灵王之命，出使秦国。前300年，樗里疾去世，秦昭襄王以楼缓为丞相。前299年，秦昭襄王与齐国结盟，以孟尝君为丞相。前298年，秦昭襄王罢免孟尝君，再用楼缓，孟尝君靠“鸡鸣狗盗”之徒逃出函谷关，回到齐国。前295年，秦昭襄王罢免楼缓，命他舅舅魏冉为丞相。前259年，长平之战之后，楼缓到赵国劝赵孝成王投靠秦国，被虞卿和平原君阻止。

## 参考文献

- 《资治通鉴》周纪
头桥耀明宫

头桥耀明宫是当地的宗教信仰中心，位于嘉义县民雄乡兴南村头桥99号，奉祀主神为马府千岁、池府千岁，以庙内古物石制香炉考证认为该庙创建于清同治八年（1869年），原名为池、马王爷庙，明治三十九年（1906年）因开辟铁路遭拆除，乃由蔡禄、萧旺树发起迁建于现址，当时为木竹建造成庙宇。至昭和十一年（1936年）萧集和、何天注、卢利干、金水丹等发起重建庙宇。战后初期因为过于庙宇简陋，由村长黄适月及何天注、洪春木、刘罗生等倡议、俱资添建拜亭、油漆内殿、及至今日面貌。

## 马府神迹

马王爷又名马府千岁，根据历史记载，马王俗姓马名仙池，汉朝云南人，世代为农，仙池少有大志，身长高大刚毅武勇，遇萧府太傅一同为代天巡狩，察访四方，除暴安良。
Α-酮戊二酸

α-酮戊二酸（α-ketoglutaric acid，AKG）旧称2-氧代戊二酸（2-oxoglutaric acid），是一种常见的二羧酸，为谷氨酸的直接前体，也是胃肠道细胞的主要能量来源，可以促进胃肠道细胞增殖。

α-酮戊二酸的结构为两种带酮基的戊二酸的衍生物中的一种；如果不特别说明，“酮戊二酸”这个术语大多数指的就是α型，β-酮戊二酸只是酮基的位置不同而已，并且不太常用。

α-酮戊二酸盐（α-ketoglutarate）是α-酮戊二酸的共轭碱，为一种重要的生物化合物，并且是三羧酸循环的中间产物。

## 功能

### 三羧酸循环

α-酮戊二酸是三羧酸循环中的一个关键物质，在循环中的位置位于异柠檬酸之后以及琥珀酰辅酶A之前。在这一部位，回补反应可以通过自谷氨酸的转氨基作用产生α-酮戊二酸而达到补充此中间代谢产物的目的，通过谷氨酸脱氢酶作用于谷氨酸也可以达到这一目的。

### 生成氨基酸

谷氨酸在谷氨酰胺合酶的作用下可以生成谷氨酰胺，此酶使用一分子ATP以产生谷氨酰磷酸盐；这一中间产物被作为亲核试剂的氨攻击，从而形成谷氨酰胺与无机磷酸。

### 氮素运载体

α-酮戊二酸的另一个作用是结合细胞中形成的氮素，因此阻止了细胞中氮素的过度积累。

α-酮戊二酸是代谢途径中最重要的氮素运载体之一。氨基酸的氨基通过转氨基作用被结合到α-酮戊二酸之上，并随着血液载到肝脏，在肝脏中氨进入尿素循环。

α-酮戊二酸被转氨基化后与谷氨酰胺一起形成兴奋性神经递质谷氨酸。谷氨酸之后可被脱羧（需要维生素B6）从而形成抑制性神经递质GABA。

据报道，蛋白质摄入过多、接触铝过多、雷氏症候群、肝硬化以及尿素循环紊乱时会产生高氨或高氮素水平。

### 与氧分子的关系

在涉及到分子氧的氧化反应时，α-酮戊二酸以作为共底物的形式发挥重要作用。

分子氧（O2）在加氧酶的催化下直接氧化许多化合物以为生物体产生重要的产物，例如抗生素类等。在加氧酶中，α-酮戊二酸与主要底物一同被氧化从而帮助反应的进行。事实上，有一种α-酮戊二酸依赖型加氧酶的作用是作为一个O2传感器，这样可以告诉生物体此种环境下的氧气分压水平。

### 膳食补充品

α-酮戊二酸作为膳食补充品出售，商品名为AKG或a-KG，卖给健身爱好者或健美运动员，销售方声称这种物质可以提高训练顶峰时的表现。销售方声称这是基于“研究表明过多的氨可以结合到α-酮戊二酸上被带走以减少氨中毒带来的众多问题”。然而，表现出α-酮戊二酸可以减少氨中毒有效的唯一研究仅仅用于已进行血液透析的患者。

## 产物

α-酮戊二酸可由下列过程产生：

- 由异柠檬酸脱氢酶催化下进行的异柠檬酸氧化脱羧。
- 由谷氨酸脱氢酶催化下进行的谷氨酸氧化脱氨。

α-酮戊二酸可以用于产生下列物质：

- 肌酸-α-酮戊二酸

## 基本资料

- verifiedrevid：401794790
- 日语原文：α-酮戊二酸
- IUPACName：2-酮基戊二酸、2-戊酮二酸
- 其他名称：α-酮戊二酸
- ChemSpiderID：50
- UNII：8ID597Z82X
- InChI：1/C5H6O5/c6-3(5(9)10)1-2-4(7)8/h1-2H2,(H,7,8)(H,9,10)
- InChIKey：KPGXRSRHYNQIFN-UHFFFAOYAN
- StdInChI：1S/C5H6O5/c6-3(5(9)10)1-2-4(7)8/h1-2H2,(H,7,8)(H,9,10)
- StdInChIKey：KPGXRSRHYNQIFN-UHFFFAOYSA-N
- CASNo：328-50-7
- PubChem：51
- 3D模型（JSmol）：O=C(O)C(=O)CCC(=O)O
- MeSHName：alpha-ketoglutaric+acid
- 化学式：C5H6O5

- MeltingPt：113.5
- SolubleOther：四氢呋喃：2.33 M，乙醇：1.94 M，甲醇：3.75 M
- Solvent：四氢呋喃，乙醇，甲醇
电影电视工程师协会

<image>

电影电视工程师协会（Society of Motion Picture and Television Engineers，缩写：SMPTE）是美国的一个国际性组织，它成立于1916年，最初名称为电影工程师协会，1950年后改为现名。该组织制定了多项电影、电视行业的标准。
南彩镇

南彩镇是中国北京市顺义区下辖的一个镇。

## 历史

1962年南彩人民公社成立，1983年撤社建乡，1990年改镇。1997年与其西面的俸伯乡合并为南彩镇。

## 地理

南彩镇位于潮白河东畔，隔河与马坡地区、仁和地区相望，北接北小营镇，东临杨镇地区，南界李遂镇。

## 交通

南彩镇位于顺义区的地理中心位置，距首都国际机场10公里，天津港100公里，有京平路、顺平路、顺密路、顺燕路等公路过境。是顺义区东部最大的交通枢纽，由顺义城区向潮白河以东地区发送的公交线路均需经过南彩镇，北京地铁15号线的终点站和市域公交顺义区总站也设在该镇。

## 经济

### 农业

#### 果林生产业

果林生产业在南彩镇农业生产中占比重达60％以上。镇域内建立了8个观光采摘园，有3000户农户从事观光、采摘等服务业生产。

### 工业

南彩镇形成了以汽车配件、高档家具、高档门窗、航空配件、医疗器械为主导产业的工业体系。伟世通汽车空调、曲美家具集团等企业也落户于此。

## 区域发展

南彩镇位于北京市东部产业发展带“两轴、两带、多中心”的重点发展区域，同时被定位为顺义新城河东新区和“北京市新城规划预留地”。按照《顺义新城规划》及街区层面控规，南彩镇是顺义新城31、32街区的所在地。31街区的主导功能为居住、商务，积极发展商务、现代服务业等产业，为新城远期发展、体现国际化职能奠定基础。32街区是河东新区的重要产业基地，以先进制造业及绿色食品加工业为主导产业的地区，将构建成为南彩组团及周边地区人口主要就业基地和产业配套服务区。
春牟古丹岛

春牟古丹岛（Харимкотан）俄语音译哈里姆科坦岛，是俄罗斯千岛群岛中部的一个岛屿，岛名由来于阿伊努语“harum-kotan/ハリム・コタン”（大百合的村庄），岛的别名为加林古丹（かりんこたん）。原为日本领土，现在为俄罗斯领土。

## 地理

春牟古丹岛位于温祢古丹岛和舍子古丹岛之间，长约13公里，形状为顶点于西北方的三角形。岛中央为标高1157米的成层火山春牟古丹岳。岛北部有一个小港湾和沙滩，湾口的东端有一被称作丸崎的150米高台。岛的丘陵地区盛产樽前草。

## 参考文献

- ‘北方领土地名考’ 北方领土问题对策协会编、1978年

## 基本资料

- 原文名：Kharimkotan
- 说明：卫星图片里的春牟古丹岛
- 人口密度：68
- 所处海域：鄂霍茨克海
- 座标：49°N 07°E
- 所属群岛：千岛群岛
- 国家：俄罗斯
- 最高点：春牟古丹岳
- 海拔：1157
- 人口：俄罗斯边境警备队驻扎
- 人口统计时间：2011年
- 族群：爱奴人、日本人
他曲

他曲，又名“塔克”，意为印度商人的码头，老挝中南部城市。甘蒙省首府，为一边境口岸城市，对岸是泰国湄公河畔城市那空拍侬。

该市法国风味浓厚，也是老挝岩鼠首次被发现的地方。连接泰国那空拍侬府的第三泰寮友谊大桥于2009年启用。

## 基本资料

- 原文名：lo
- 类型：城市
- 说明：他曲市区的苏空桑本市场，本地人在此进行凤梨农产品贸易
- 位置：Laos
- 位置：他曲在老挝的位置
- 国家：老挝
- 省：甘蒙省
- 人口统计时间：2015
- 人口：90,800
- 时区：ICT
- 时区：+7
- 座标：17°N 24°E
不容穴

不容穴是属于足阳明胃经的腧穴。

## 定位

脐中直上6寸（巨阙穴），旁开2寸。或天枢穴直上6寸。

## 主治

呕吐、胃痛、腹胀等。

## 操作

直刺0.5～0.8寸；可灸。

## 基本资料

- 简 / 繁体：不容
- 国际代码：ST19
- 汉语拼音：Bùróng
- 所属经脉：足阳明胃经
- 地点：脐中直上6寸，旁开2寸
- treat：呕吐、胃痛、腹胀等
- processing：直刺0.5～0.8寸；可灸
承满穴

承满穴是属于足阳明胃经的腧穴。

## 定位

脐中直上5寸（上脘穴），旁开2寸。或天枢穴直上5寸。

## 主治

呕吐、胃痛、腹胀等

## 操作

直刺0.5～0.8寸；可灸。

## 基本资料

- 简 / 繁体：承满
- 简 / 繁体：承满
- 国际代码：ST20
- 汉语拼音：Chéngmǎn
- 所属经脉：足阳明胃经
- 地点：脐中直上5寸，旁开2寸
- treat：呕吐、胃痛、腹胀等
- processing：直刺0.5～0.8寸；可灸
丁明

丁明（？1年），山阳郡瑕丘（今山东省兖州市）人，汉朝政治人物。汉哀帝母亲丁姬之兄。前7年，汉哀帝即位，封阳安侯。前5年，被任命为大司马、卫将军。前2年，改任大司马、骠骑将军。不久免职。公元1年，被王莽所杀。

## 参考文献

- 《资治通鉴》汉纪
梁门穴

梁门穴是属于足阳明胃经的腧穴。

## 定位

脐中直上4寸（中脘穴），旁开2寸。或天枢穴直上4寸。

## 主治

呕吐、胃痛、腹胀等。

## 操作

直刺0.5～0.8寸；可灸。

## 基本资料

- 简 / 繁体：梁门
- 简 / 繁体：梁门
- 国际代码：ST21
- 汉语拼音：Liángmén
- 所属经脉：足阳明胃经
- 地点：脐中直上4寸（中脘穴），旁开2寸
- treat：呕吐、胃痛、腹胀等
- processing：直刺0.5～0.8寸；可灸
关门穴

关门穴是属于足阳明胃经的腧穴。

## 定位

脐中直上3寸（建里穴），旁开2寸。或天枢穴直上3寸。

## 主治

腹痛、腹胀、泄泻等。

## 操作

直刺0.5～0.8寸；可灸。

## 基本资料

- 简 / 繁体：关门
- 简 / 繁体：关门
- 国际代码：ST22
- 汉语拼音：Guānmén
- 所属经脉：足阳明胃经
- 地点：脐中直上3寸，旁开2寸
- treat：腹痛、腹胀、泄泻等
- processing：直刺0.5～0.8寸；可灸
韦赏

韦赏（？前2年），长安杜陵人，韦贤的孙子，韦玄成的侄子，父亲韦弘。开始为定陶国太傅、光禄大夫。前2年十一月，汉哀帝以韦赏为大司马、车骑将军。不久，韦赏去世。汉哀帝以董贤接替他为大司马。

## 参考文献

- 《资治通鉴》汉纪
太乙穴

太乙穴是属于足阳明胃经的腧穴。

## 定位

脐中直上2寸（下脘穴），旁开2寸。或天枢穴直上2寸。

## 主治

腹痛、腹胀、心烦、癫狂等。

## 操作

直刺0.5～0.8寸；可灸。

## 基本资料

- 简 / 繁体：太乙
- 国际代码：ST23
- 汉语拼音：Tàiyǐ
- 所属经脉：足阳明胃经
- 地点：脐中直上2寸，旁开2寸
- treat：腹痛、腹胀、心烦、癫狂等
- processing：直刺0.5～0.8寸；可灸
滑肉门穴

滑肉门穴是属于足阳明胃经的腧穴。

## 定位

脐中直上1寸（水分穴），旁开2寸。或天枢穴直上1寸。

## 主治

癫狂、呕吐、腹胀、腹泻等。

## 操作

直刺0.5～0.8寸；可灸。

## 基本资料

- 简 / 繁体：滑肉门
- 简 / 繁体：滑肉门
- 国际代码：ST24
- 汉语拼音：Huáròumén
- 所属经脉：足阳明胃经
- 地点：脐中直上1寸（水分穴），旁开2寸
- treat：癫狂、呕吐、腹胀、腹泻等
- processing：直刺0.5～0.8寸；可灸
王接 (汉朝)

王接（？前41年），涿郡蠡吾人，汉朝政治人物。汉宣帝母亲王翁须的兄弟王无故的长子（宣帝表兄弟、元帝表叔）。开始为侍中、卫尉，封平昌侯。前43年，被汉元帝封为大司马、车骑将军。前41年四月，王接去世，谥号考（平昌考侯）。

## 参考文献

- 《汉书》卷八十二 王商史丹傅喜传第五十二
坦佩高地

<image>

滕比高地（Tempe Terra）是位在火星北半球的一个高地，属于范围更大的塔尔西斯区的一部分。中心位于39.7°N 289°E，且延伸最宽达 2700 公里。

## 地理特征

滕比高地是一个地质状况相当复杂的区域，是火星南半球有大量撞击坑的古老陨击高原和北半球较年轻的低地之间的转形区域。这个地质省的名字由来是地球上奥林帕斯山南方的坦佩谷，该峡谷在古希腊时期以风景优美闻名。

ESA的火星快车号在此地发现了地堑。经由研究该地区裂谷的张裂过程，一般认为这个区域是火星上受应力影响最强烈的区域，且该区域附近有许多平缓的盾状火山。

## 外部链接

- Mars Express
- HiRISE image of a hill in Tempe Terra
杰西达邦·福尔迪

杰西达邦·福尔迪（เจษฎาภรณ์ ผลดี，1977年6月5日），小名Tik（迪），是一位泰国演员、主持人兼制作人。

## 影视作品

### 电影

年份｜电影｜角色｜备注

1997｜《2499喋血青春》

《命运变奏曲》

1998｜《勾魂名单》

2000｜《泰铢》

《人妖打排球》

2003｜《人妖打排球Ⅱ》

《恋人的奇迹》

2004｜《见鬼2》

2006｜《江湖五怪》

2008｜《丛林深处》

2012｜《尸恋人》

2014｜《救救上班族》

### 电视剧

年份｜电视剧｜角色｜播放平台

1999｜《苏打和冰茶》｜Pin Pattaya｜泰国三台

2000｜《谜》｜Taan Chai Puthpreecha｜泰国七台

2001｜《日出东方》｜布拉帕｜泰国五台

《神秘城堡》：哇丽宫｜帕东｜泰国三台

《都是爱情惹的祸》｜Bok Rak

2002｜《千方百计爱上你》｜Kongpope｜泰国五台

2003｜《出逃的公主》｜阿诺泰

2004｜《真心小姐与好好先生》｜好好先生｜泰国七台

2005｜《姻缘天注定》｜Ratrawee｜泰国五台

2006｜《同一天空下》｜Hu-toh｜泰国三台

2007｜《你是我的眼睛》｜Chisanu Naresuan

2008｜《爱的旋律》｜Folk｜泰国五台

2010｜《一诺倾情》｜Prajak Mahasak｜泰国三台

2012｜《秋意在心中：爱是永恒》｜Patin｜True

2013｜《勿忘我》｜泰国三台

2014｜《龙裔黑帮之狮子》

2016｜《军中骄子》三部曲系列｜泰国true有线台

《房屋神灵》｜Raiwin｜泰国三台

《仇火女郎》｜Theephob

2018｜《傲世双雄》｜Mat督察

《时光的魔咒》｜Geli

《宛如我心》｜Rangsiman

2023年｜《风吹过的星星》｜Songwat｜泰国7台
王接 (晋朝)

王接（267年305年），字祖游。河东郡猗氏人，中国晋朝政治人物，是西汉京兆尹王尊的十世孙。

晋惠帝时举秀才，为中郎、征虏将军司马。八王之乱时，在成都王司马颖、东海王司马越属下做事，才学通博，研究礼传，注释《春秋公羊传》。

## 参考文献

- 《晋书》卷五十一 列传第二十一
傅晏

傅晏（??），汉朝政治人物。汉哀帝祖母傅太后的叔叔傅中叔之子。汉哀帝开始以傅晏伯父傅子孟的儿子傅喜为大司马，他被封为孔乡侯。傅晏的女儿为皇后。前2年，为大司马、卫将军。前1年，傅晏因乱妻妾之位，免职，迁徙到合浦郡。

## 参考文献

- 《资治通鉴》汉纪
天枢穴

天枢穴是属于足阳明胃经的腧穴。

## 定位

脐中旁开2寸。

## 主治

腹痛、腹胀、泄泻、便秘、水肿、月经不调等

## 操作

直刺0.8～1.2寸；可灸。

## 基本资料

- 简 / 繁体：天枢
- 简 / 繁体：天枢
- 国际代码：ST25
- 汉语拼音：Tiānshū
- 所属经脉：足阳明胃经
- 地点：脐中旁开2寸
- treat：腹痛、腹胀、泄泻、便秘等
- processing：直刺0.8～1.2寸；可灸
外陵穴

外陵穴是属于足阳明胃经的腧穴。

## 定位

脐中直下1寸（阴交穴），旁开2寸。或天枢穴直下1寸。

## 主治

腹痛、疝气、痛经等。

## 操作

直刺1～1.5寸；可灸。

## 基本资料

- 简 / 繁体：外陵
- 国际代码：ST26
- 汉语拼音：Wàilíng
- 所属经脉：足阳明胃经
- 地点：脐中直下1寸（阴交穴），旁开2寸
- treat：腹痛、疝气、痛经等
- processing：直刺1～1.5寸；可灸
广东新安县知县列表

新安县知县由明朝万历元年（1573年）至清末广州府新安县的主官，正七品。

## 沿革

明万历元年（1573年）改东莞守御所为新安县。清顺治三年（1646年），广东总督佟养甲入粤，明知县杨昌归顺清廷离任，清朝知县张文煋莅任。康熙五年（1666年），新安县并入东莞县。康熙八年七月，复新安县，委番禺县丞路一鳌暂署县事。康熙九年，知县李可成莅任。

## 历任

### 明朝

明万历元年改东莞守御所为新安县。

姓名｜籍贯｜出身｜任命时间

吴大训｜广西马平｜岁贡｜万历元年

曾孔志｜福建闽县｜举人｜万历四年

范经｜福建松溪｜岁贡｜万历七年

邹守约｜江西宜黄｜举人｜万历十一年

梁大皞｜广西马平｜举人｜万历十二年

邱体干｜江西临川｜举人｜万历十四年

宋臣熙｜江南溧阳｜选贡｜万历十七年

喻烛｜江西新建｜举人｜万历二十一年

叶宗舜｜福建｜举人｜万历二十六年

李汝祥｜江西瑞昌｜举人｜万历二十八年

李时偕｜江西永新｜举人｜万历二十九年

林一圭｜福建｜举人｜万历三十二年

俞尧衢｜湖广蕲州｜举人｜万历三十五年

邓文照｜江西｜岁贡｜万历三十八年

王廷钺｜江南金坛｜贡生｜万历四十一年

陶学修｜广西全州｜举人｜万历四十六年

陈良言｜江西进贤｜举人｜天启二年

黄绳卿｜福建晋江｜岁贡｜天启四年

喻承芳｜湖广石首｜举人｜天启六年

陈谷｜福建同安｜举人｜崇祯元年

乌文明｜浙江慈谿籍定海｜恩贡｜崇祯四年

李玄｜福建漳平｜进士｜崇祯八年

彭允年｜贵州石阡｜举人｜崇祯十年

周希曜｜江南旌德｜举人｜崇祯十三年

孙文奎｜浙江绍兴｜举人｜崇祯十七年

杨昌｜四川｜举人｜隆武二年

### 清朝

清顺治三年，广东总督佟养甲入粤，明朝知县杨昌归顺清廷离任，清朝知县张文煜莅任。康熙五年，新安县并入东莞县。康熙八年七月，复新安县，委番禺县丞路一鳌暂署县事。康熙九年，知县李可成莅任。

姓名｜籍贯｜出身｜任命时间

张文煜｜奉天｜岁贡生｜顺治3年

杨美开｜江南｜贡生｜顺治5年

李君柱｜湖广黄冈｜贡生｜顺治7年

何中贤｜山西｜贡生｜顺治11年

马以懋｜陕西｜举人｜顺治13年

张鹏彩｜山西｜贡生｜顺治18年

张璞｜陕西甘肃卫｜拔贡｜康熙2年

李可成｜辽东铁岭｜荫生｜康熙9年

罗呜珂｜正红旗｜监生｜康熙14年

张明达｜奉天府沈阳正蓝旗｜监生｜康熙17年

安定枚｜辽东东宁卫镶红旗｜监生｜康熙23年

靳文谟｜直隶开州｜进士｜康熙26年

丁棠发｜浙江嘉善｜进士｜康熙33年

金启贞｜正白旗｜监生｜康熙39年

赵大嵋｜浙江钱塘｜康熙52年

黄廷贤｜福建惠安｜举人｜康熙61年

徐云祥｜浙江上虞｜进士｜雍正2年

段𪩘生｜湖广长宁｜进士｜雍正2年

王师旦｜浙江海盐｜进士｜雍正3年

何梦篆｜江南江宁｜进士｜雍正8年

汤登鳌｜江南｜乾隆6年

唐若时｜陕西渭南｜进士｜乾隆9年

邓均｜灵邱｜进士｜乾隆10年

汪鼎金｜浙江钱塘｜进士｜乾隆11年

赵长民｜陕西兴平｜举人｜乾隆16年

胡垣｜江南昆山｜监生｜乾隆17年

沈永宁｜江南吴县｜监生｜乾隆18年

王文征｜江苏镇洋｜进士｜乾隆□□年署任

张之浚｜江苏无锡｜乾隆□□年

书图｜镶黄旗｜举人｜乾隆□□年署任

严源｜江苏元和｜副榜｜乾隆23年

邢玙｜陕西省西安府泾阳｜贡生｜乾隆27年

杨士机｜江南娄县｜进士｜乾隆29年

谭见龙｜江南昭文｜举人｜乾隆32年

郑尚桂｜直隶宛平｜举人｜乾隆33年

富森布｜镶黄旗｜举人｜乾隆35年

李文藻｜山东益郡｜进士｜乾隆36年

杨士机｜江南娄县｜进士｜乾隆36年

曾璞｜安徽舒城｜举人｜乾隆39年

缪一经｜江苏无锡｜乾隆40年

高暎｜河南商城｜监生｜乾隆40年

杨任｜直隶长垣｜拔贡｜乾隆41年

舒明阿｜乾隆41年

苏灿｜浙江｜举人｜乾隆42年

夏家瑜｜江西新建｜监生｜乾隆42年

洪肇楷｜江苏仪征｜监生｜乾隆43年

高质敬｜直隶任邱｜举人｜乾隆44年

吴沂｜直隶沧州｜举人｜乾隆45年

李大根｜山西榆次｜进士｜乾隆49年

朱启｜直隶保安｜举人｜乾隆53年

陈寅｜浙江海宁｜举人｜乾隆55年

胡傅书｜江苏青浦｜监生｜乾隆56年

师保元｜山东｜举人｜乾隆59年

陈兆言｜江西赣县｜附贡｜乾隆60年

袁嘉熙｜广西临桂｜举人｜乾隆60年

陆来｜浙江归安｜附生｜嘉庆2年

张宗豳｜浙江开化｜附监｜嘉庆2年

龚鲲｜江苏江宁｜举人｜嘉庆4年

孙树新｜浙江钱塘｜举人｜嘉庆5年

王廷锦｜湖北天门｜举人｜嘉庆8年

朱麟征｜江苏宜兴｜举人｜嘉庆8年

田文焘｜河南固始｜举人｜嘉庆10年

许濬｜江南武进｜吏员｜嘉庆10年

李维榆｜江西吉水｜举人｜嘉庆11年

白书田｜河南新郑｜增贡｜嘉庆13年

郑域轮｜河南息县｜拔贡｜嘉庆14年

李维榆｜江西吉水｜举人｜嘉庆14年

章予之｜浙江山阴｜议叙｜嘉庆18年

孙海观｜甘肃平凉｜拔贡｜嘉庆19年

吴廷扬｜甘肃秦州｜举人｜嘉庆21年

舒懋官｜江西靖安｜进士｜嘉庆21年

舒懋官｜江西靖安｜进士｜嘉庆23年

姚敔｜安徽｜监生｜嘉庆24年

邓寅春｜江西新城（今江西黎川县）｜进士｜道光1年

盛氏｜不明｜不明｜道光15年

梁星源｜陕西岐山｜举人｜道光18年

王铭鼎｜贵州恩南｜进士｜道光20年

张起鹃｜江西新城｜进士｜道光30年

黄光周｜福建福州｜进士｜咸丰2年

沈赓扬｜浙江绍兴｜举人｜咸丰6年

王寿仁｜广西桂林｜举人｜咸丰8年

徐世琛｜浙江湖州｜监生｜咸丰8年

郑晓如｜山东兖州｜举人｜咸丰8年

乌廷梧｜陕西西安｜监生｜同治1年

李灏｜湖南岳州｜监生｜同治3年

吴滨｜贵州贵阳｜举人｜同治4年

李海楼｜江苏淮安｜监生｜同治7年

伊绍鉴｜福建汀州｜举人｜同治9年

唐大琬｜湖南零陵｜进士｜光绪年间（约1880年代至1883年）

沈春晖｜不详｜不详｜光绪9年（1883年起）

邓清圻｜不详｜不详｜光绪18年（？）

赵新｜山西平遥｜举人｜光绪23年（？）

刘骏声｜不详｜不详｜光绪29年（？）

沈毓岱｜不详｜不详｜光绪31年（？）

孙庆璋｜不详｜不详｜光绪33年（？）

- 光绪以后有待补充

## 参考文献

- 列表据嘉庆《新安县志》卷五·职官志·文官表、光绪《广州府志》·卷二十七·职官表十一
- 《新安县志》香港史料选，和平图书有限公司 ISBN 978-962-238-611-2
自动推理

自动推理（automated reasoning）是计算机科学和数理逻辑的一个交叉领域，致力于理解推理的不同方面。自动推理的研究有助于开发能够让计算机完全或近乎完全自动地进行推理的计算机程序。虽然自动推理被视为人工智能的一个子领域，但它也与理论计算机科学和哲学有密切联系。

自动推理中发展最成熟的子领域包括自动定理证明（以及交互式定理证明）和证明自动检查。在类比推理、归纳推理和溯因推理方面也有大量研究工作。其他重要主题包括不确定性推理和非单调逻辑推理。自动推理的工具和技术包括经典逻辑和演算、模糊逻辑、贝叶斯推断、最大熵推理以及许多非形式化的特设技术。

2020年代，为增强大语言模型解决复杂问题的能力，人工智能研究者设计了推理语言模型，能够在生成答案前花费额外时间进行推理，以及利用符号化的推理系统来防止幻觉的神经符号人工智能架构。

## 早期历史

形式逻辑的发展在自动推理领域中发挥了重要作用，而自动推理本身又推动了人工智能的发展。形式证明是一种每个逻辑推论都已回溯到数学基本公理的证明，所有中间逻辑步骤无一例外地得到提供，无需诉诸直觉。

一些人认为1957年在康奈尔大学召开的暑期会议——汇聚了众多逻辑学家和计算机科学家——是自动推理（或者说自动演绎）的起源。另一些人则认为，其起源更早，可以追溯到1955年纽厄尔、肖和西蒙的逻辑理论家程序，或者马丁·戴维斯1954年对普雷斯伯格算术判定程序的实现。

自动推理虽然是一个重要且热门的研究领域，但在1980年代和1990年代初经历了“人工智能低谷”。此后该领域得以复兴。例如，2005年微软开始在多个内部项目中使用验证技术，并计划在2012版的Visual C中纳入逻辑规约和检查语言。

## 重要贡献

《数学原理》（Principia Mathematica）是阿尔弗雷德·诺思·怀特海和伯特兰·罗素在形式逻辑方面的里程碑式著作，旨在以符号逻辑推导数学表达式。该书最初于1910、1912和1913年分三卷出版。

逻辑理论家（LT）是1956年由艾伦·纽厄尔、克利夫·肖和赫伯特·西蒙开发的第一个旨在“模拟人类推理”的定理证明程序。它在《数学原理》第二章的52条定理中证明了38条，其中一条定理的证明比怀特海和罗素的原证明更简洁。

以下是一些具有里程碑意义的自动证明示例：

年份｜定理｜证明系统｜形式化者

1986｜哥德尔不完备定理｜Boyer–Moore｜Shankar

2004｜四色定理｜Coq｜Gonthier

2005｜若尔当曲线定理｜HOL Light｜Hales

2012｜费特-汤普森定理｜Coq｜Gonthier et al.

2016｜布尔毕达哥拉斯三元组问题｜SAT求解器｜Heule et al.

## 证明系统

NQTHM（Boyer–Moore定理证明器）的设计受到约翰·麦卡锡和伍迪·布莱索的影响。该项目于1971年在苏格兰爱丁堡启动，是一个用Pure Lisp构建的全自动定理证明器，其特点包括使用Lisp作为工作逻辑、依赖全递归函数的定义原则、广泛使用重写和“符号求值”，以及基于符号求值失败的归纳启发式。

HOL Light以OCaml编写，旨在拥有简洁清晰的逻辑基础和精简的实现，是一个用于经典高阶逻辑的证明助手。

Rocq（原名Coq）是在法国开发的自动证明助手，能够从规约中自动提取可执行的OCaml或Haskell程序。属性、程序和证明使用同一种称为归纳构造演算（CIC）的语言进行形式化。

## 应用

自动推理最常被用于构建自动定理证明器。然而，定理证明器通常需要一定的人工引导才能有效运行，因此更一般地被称为证明助手。在某些情况下，这些证明器提出了证明定理的新方法。自动推理程序被应用于解决形式逻辑、数学和计算机科学、逻辑编程、软件和硬件验证、电路设计等领域中日益增多的问题。TPTP问题库（Sutcliffe和Suttner, 1998）定期更新，自动演绎会议（CADE）定期举办自动定理证明竞赛，其题目选自TPTP库。
罗伯特·朱利安·本特利

<image>

罗伯特·朱利安·本特利（Robert Julian Bentley，1943年2月3日）美国亚拉巴马州前州长。

## 背景

本特利是一名退休的皮肤科医生，也是一名共和党人。当选州长之前，他一直在塔斯卡卢萨第一浸信会担任执事和主日学老师。他在一个乡村小镇长大，父亲是一名锯木厂工人。在当选亚拉巴马州州长之前，本特利以主张财政保守主义和传统家庭观念的竞选纲领曾当选为该州众议员。

## 宗教言论争议

本特利2011年1月17日宣誓就职后不久，在亚拉巴马州首府蒙哥马利市一个基督教浸信会发表了一段引起争议的讲话。他表示，已经得救的基督徒是他在基督里的兄弟姐妹，反之，没有接受耶稣为他们救主的人就不是他的弟兄和姐妹。但是，他希望成为他们的弟兄。

本特利的讲话使一些人对非基督徒能否受到他领导的亚拉巴马州政府的公平对待提出严重质疑。本特利很快出面道歉说，他在教会对会众发表讲话时无意伤害任何人。他说，任何人都不应该因为肤色或宗教原因而仇视他人。他表示自己是所有亚拉巴马人的州长，而不只是基督徒的州长。

伯明翰犹太教堂Temple Emanu-El的资深拉比乔纳森·米勒表示，事件发生后，他致函本特利州长，对他的讲话表示不满。本特利州长第二天就在蒙哥马利会晤了包括他在内的几位宗教人士。据米勒拉比介绍，本特利州长对自己的讲话当面表示歉意。米勒认为，他的道歉是真诚的。他说：“他为自己的讲话冒犯了不同信仰的人并引起他们不安而表示歉意。他的道歉是真诚的。他表示自己无意剥夺其他人的信仰权利，也不认为某些阿拉巴马人就低别人一等。他重申了美国的一个原则，那就是，人们有顺从自己良心的引导，去信仰、敬拜和从事宗教活动的自由。”

伯明翰伊斯兰协会会长阿什法克·陶菲格虽然对本特利的道歉表示接受，但是对他作为一名政府官员所发表的上述讲话提出了批评。他说：“令我不安的是，他起初说自己是所有阿拉巴马人的州长，之后却把基督徒和非基督徒区别对待。更令我不安的是，他以宣教士的身份说希望成为大家的朋友，言外之意，他希望我们转信基督教而得救。我认为，他如果在自己的教堂以会友的身份、而不是以州长的身份讲这番话要更合适。这个说法得不到美国宪法和价值观的支持。”

新泽西州“美国无神论者”组织的主席戴维·西尔维曼指出，本特利在讲这番话时无视一个事实，那就是，该州还有很多信仰其它宗教的人，而且仅亚拉巴马州就有30万无神论者。西尔维曼说：“州长是所有人的州长。他既不是回教老师，也不是传道人或基督教牧师。作为州长，他的职责不是对有关宗教圈子的问题发号施令，这和他的本职工作是完全背道而驰的。亚拉巴马州州长把圣经置于宪法之上，向神学政治迈出了危险的一步，因为它把一个宗教凌驾于其它宗教之上。”

本特利所在的塔斯卡卢萨第一浸信会主任牧师吉尔·麦克基表示，本特利的讲话被一些批评人士断章取意了，因为他是在一个基督教堂发表上述讲话的，而且主要对象是基督徒。因此，他不认为本特利的讲话有任何越格的地方。
霍禹

霍禹（？前66年），西汉政治人物，大司马。权臣霍光和妻子显之子、皇后霍成君的哥哥。

## 生平

开始为中郎将。前68年，父亲霍光去世，霍禹为右将军、袭封博陆侯。他和堂侄乐平侯霍山、冠阳侯霍云等人，扩建门第，饮酒玩乐。前67年，霍禹被汉宣帝任命为大司马，却没得到印绶，实际上是被设计解除兵权。

霍禹、霍山、霍云被解除兵权之后，天天发牢骚。母亲显告诉了他们，她毒杀汉宣帝前任皇后许平君的事情。又加上汉宣帝立平君之子奭为太子。霍禹、霍云、霍山等人越来越害怕，打算发动兵变，计划杀害丞相魏相、平恩侯许广汉，废黜汉宣帝，立霍禹为帝。前66年七月，事情败露，霍云、霍山自杀，霍禹被腰斩，霍家一族遭到满门抄斩，皇后霍成君被废。

## 家庭

- 父亲：霍光
- 母亲：□显（谋反被诛）
- 妹妹：霍成君（自杀）
- 妻子：□氏
- 女儿：霍□，女婿：王汉

## 参考文献

- 《汉书·卷六十八·第三十八》
- 《资治通鉴·卷二十五》

汉帝国封爵
霍云

霍云（？前66年），中国汉朝政治人物。霍去病的孙子，霍光的侄孙子，开始为中郎将。前68年，霍光去世，汉宣帝念其功德，封霍云兄霍山为乐平侯，次年又封霍云为冠阳侯。

霍云为人骄纵，朝请时称病不去，却带着宾客外出围猎，让苍头朝谒，没人敢谴责。

霍光的儿子博陆侯霍禹与霍山、霍云三人被汉宣帝设计，解除兵权，牢骚满腹。霍光之妻显告诉他们，她毒杀皇后许平君的事情。霍云的舅舅李竟因交通诸侯王获罪，宣帝下诏免去霍山、霍云的宿卫之职让他们回家。霍禹、霍云、霍山等人越来越害怕，打算发动兵变，计划杀害丞相魏相、平恩侯许广汉，罢黜汉宣帝，立霍禹为帝。还没有行动，霍云又被任为玄菟太守。

前66年七月，事情败露，霍云、霍山自杀，霍禹被腰斩，霍家一族遭到满门抄斩。

## 参考文献

- 《资治通鉴》汉纪
霍山 (汉朝)

霍山（？前66年），中国汉朝政治人物。霍去病的孙子，霍光的侄孙子，开始为奉车都尉、侍中。

前68年，霍光去世，临终请求从自己在东武阳的封邑分三千五百户封霍山为列侯为霍去病奉祀，霍光死后，宣帝念其功德，封霍山为乐平侯。五月，汉宣帝亲政，复使乐平侯霍山领尚书事。

霍光的儿子博陆侯霍禹、霍山与弟冠阳侯霍云三人被汉宣帝设计，解除了兵权，与霍光之妻显天天在家中发牢骚。霍山问显是否如传言所说毒杀了皇后许平君，显承认，霍禹三人大惊。霍云的舅舅李竟因交通诸侯王获罪，宣帝下诏免去霍山、霍云的宿卫之职让他们回家。霍禹三人越来越害怕，打算发动兵变，计划杀害丞相魏相、平恩侯许广汉，废黜宣帝，立霍禹为帝。

前66年七月，事情败露，霍云、霍山自杀，霍禹被腰斩，霍家一族遭到满门抄斩。

## 参考文献

- 《资治通鉴》汉纪
鲨鱼保护法

鲨鱼保护法（Shark Conservation Act of 2010）美国奥巴马总统2011年1月4日签字批准，使这项法案正式成为法律。

## 禁止切割鱼翅行为

这个法案可以说主要是针对亚洲人吃鱼翅的习惯，禁止船只将切割下来的鱼翅运到美国海岸，运到美国的鱼翅必须和鲨鱼的身体连在一起，因为人们为了获得鱼翅，常常在海上把鱼翅切下来以后把鲨鱼丢进海里。这种残忍的方式造成很多鲨鱼死亡。由于全球对鱼翅的需求，某些鲨鱼种类已经濒临灭绝。
史高

史高（？前42年），字子长，鲁国人，西汉时官员、外戚。

汉宣帝祖母史良娣的哥哥史恭的长子（宣帝表叔）。史高开始为侍中，前66年，史高因检举霍禹，而封乐陵侯。前49年，汉宣帝临终，他和萧望之、周堪作为宣帝的托孤之臣。为大司马、车骑将军，领尚书事。史高辅政五年，前43年，向汉元帝乞骸骨，汉元帝赐安车驷马、黄金，致仕回家。前42年，史高去世，谥号安（乐陵安侯）。子史丹。

## 亲属

- 父亲：史恭
- 母亲：□氏
- 二弟：史曾
- 三弟：史玄
- 妻子：□氏
- 长子：史术，儿媳：□氏
- 次子：史丹，儿媳：□氏

## 参考文献

- 《汉书》卷八十二 王商史丹傅喜传第五十二
小明上广州

《小明上广州》（Siu Ming Visit Guangzhou）为2010年尾开始热门的歌曲，此曲由何沛澄编曲、制作，香港儿科医生、九龙乐善堂主席李家仁主唱，韦然作曲、填词，此外还推出了英文版本、国语版本，亦由李家仁主唱，皆由韦然填词。部分影片被放上影片分享网站YouTube供全球网民观看。

此歌之前有小明坐火车（2001年），之后亦出现小明去拜年（2011年1月）以及小明搭高铁（2017年12月），被香港网民热烈在网上讨论区讨论及引起关注，部分网民指此歌带洗脑之意。

## 歌词

此歌之歌词内容旨在宣扬2010年广州亚运及广州文化，但因其歌词给予网民洗脑之意，加上歌词里出现“政治敏感”字眼，例如提及广东话、普通话、河蟹等，引起网民关注，在YouTube上更出现大量恶搞及十分钟洗脑版本。
龚泰源

龚泰源（1982年10月1日），出生于台湾台南市，为划船运动员。

## 基本资料

- 英文名字：KUNG TAI YUAN
- 身高：178公分
- 体重：88公斤
- 学历：长荣大学运动竞技学系所 硕士
- 启蒙教练：洪瑞昌
- 任教：国立成功大学 兼任讲师
- 任教：国立中正大学 兼任讲师
- 任教：国立高雄科技大学 兼任讲师&西式划船队指导教练
- 任教：国立高雄海洋科技大学 兼任讲师&西式划船队指导教练
- 任教：国立高雄应用科技大学 兼任讲师
- 任教：南台科技大学 兼任讲师
- 任教：昆山科技大学 兼任讲师
- 任教：实践大学高雄校区 兼任讲师
- 任教：长荣大学 兼任讲师
- 任教：康宁大学 兼任讲师
- 任教：国立高雄第一科技大学 兼任讲师
- 任教：敏惠医护管理专科学校 兼任讲师
- 证照：教育部大专院校讲师、行政院体委会初级划船专任运动教练、中华民国划船协会国家级划船教练、中华民国划船协会A级划船裁判

## 比赛纪录

- 2000年印度亚洲青年锦标赛 双人单桨银牌
- 2001年日本大阪东亚运动会 四人单浆第五名
- 2001年中国西安亚洲锦标赛 双人单桨银牌
- 2002年韩国釜山亚运 四人单桨第五名 八人单桨第六名

## 外部链接

- 2002年釜山亚运会中华代表团名单
- 2002年釜山亚运会中华代表团名单
- 2001年大阪东亚运动会中华代表团名单
- 2012_3_20_101年度第1次各级学校专任运动教练资格复查审定及第2次各级学校专任运动教练资格审定合格名单
- 动静态热身对测功仪成绩影响之研究
- Introduction Indoor Rowing
- ANALYSIS OF TAIWAN ELITE ROWER ANTHROPOMETRIC -A CASE STUDY ON Qiu Pei Yu Abstract