stanford-oval/wikipedia huggingface dataset:
泽德斯

| 泽德斯 Zedes |
| --- | --- |
堂区
泽德斯在葡萄牙的位置
坐标：41°16′51″N 7°18′03″W﻿ / ﻿41.2808°N 7.3008°W﻿ / 41.2808; -7.3008
国家: 葡萄牙
区: 布拉干萨区
面积
 • 总计: 10.07 平方公里（3.89 平方英里）
人口（2001）
 • 總計: 214人
 • 密度: 21.3人/平方公里（55人/平方英里）
泽德斯（葡萄牙语：）是葡萄牙布拉干萨区的一个堂区。总面积10.07平方公里，总人口214人，人口密度21.3人/平方公里。
流量 (消歧义)

流量通常指单位时间（对应的国际单位制基本单位为秒）内流过特定截面的流体。
流量也可以指：
电流，也称电流量
网络流量，通过网络传输的数据量
网站流量，网站提供或接收到的资料量，通常代表网站的访问量
通过移动网络上网的方式，计费方式与网络流量相关
在经济学中，流量（flow）是在一定的时期内测度某一经济变量发生变动的数值，与“存量”相对应
泰卡里

| 泰卡里 Tekari |
| --- | --- |
城镇
泰卡里在印度的位置
坐标：24°56′N 84°50′E﻿ / ﻿24.93°N 84.83°E﻿ / 24.93; 84.83
國家:  印度
邦: 比哈尔邦
縣: Gaya
人口（2001）
 • 總計: 17,615人
泰卡里（Tekari），是印度比哈尔邦Gaya县的一个城镇。总人口17615（2001年）。
人口

该地2001年总人口17615人，其中男性9192人，女性8423人；0—6岁人口3015人，其中男1562人，女1453人；识字率65.60%，其中男性为73.57%，女性为56.90%。
立陶宛羽毛球國際賽

| --- | --- |
賽事資訊
創立: 1992年，​32年前​（1992）
地點:  立陶宛
場館: Athletic Arena
級別: 未來系列賽
獎金: 不設獎金（2022）
上屆賽事
2022年立陶宛羽毛球國際賽
立陶宛羽毛球國際賽（）是自1992年起在立陶宛舉行的羽毛球賽事，2007年至2010年間曾經停止舉辦，2011年起以立陶宛羽毛球公開賽（）的名義被世界羽聯列為國際挑戰賽級別的賽事重新舉辦，2013年起則為未來系列賽級別。
歷屆優勝者

| 年份 | 男子單打 | 女子單打 | 男子雙打 | 女子雙打 | 混合雙打 |
| --- | --- | --- | --- | --- | --- |
| 1992 |  Ovidijus Zukauskas |  Rasa Mikšytė | 沒有舉行 | 沒有舉行 | 沒有舉行 |
1993- 1998: 沒有舉辦
| 1999 |  Jacek Niedźwiedzki |  Katarzyna Krasowska |  Aivaras Kvedarauskas   Donatas Vievesis |  Katarzyna Krasowska   Joanna Szleszyńska |  Aivaras Kvedarauskas   Jūratė Prevelienė |
| 2000 |  Aivaras Kvedarauskas |  Neringa Karosaitė |  Donatas Narvilas   Donatas Vievesis |  Margarita Mikelsone   Kristīne Šefere |  Jūratė Prevelienė   Aivaras Kvedarauskas |
| 2001 |  Johan Uddfolk |  Natalia Golovkina |  Donatas Narvilas   Johan Uddfolk |  Neringa Karosaitė   Erika Milikauskaitė |  Dmitry Miznikov   Natalia Golovkina |
| 2002 |  Johan Uddfolk |  Kai-Riin Saluste |  Aivaras Kvedarauskas   Dainius Mikalauskas |  Kristina Dovidaitytė   Ugnė Urbonaitė |  Aivaras Kvedarauskas   Jūratė Prevelienė |
2003: 沒有舉辦
| 2004 |  Rafał Hawel |  卡蒂·托爾莫夫 |  Bruce Topping   Mark Topping |  Kristina Dovidaitytė   卡蒂·托爾莫夫 |  彼得·考卡爾   Martina Benešová |
| 2005 |  Rafał Hawel |  卡米拉·奧古斯丁 |  盧卡斯·莫倫   沃伊切赫·蘇庫德拉爾塞克 |  Kristina Dovidaitytė   厄維爾·斯塔普賽蒂特 |  Baptiste Carême   Emilie Despierre |
| 2006 |  凱斯圖蒂斯·納維茨卡斯 |  馬婭·特夫爾迪 |  亞當·克瓦林納   沃伊切赫·蘇庫德拉爾塞克 |  安娜斯塔西亞·普洛科朋科   Elena Chernyavskaya |  亞當·克瓦林納   Małgorzata Kurdelska |
2007- 2010: 沒有舉辦
| 2011 |  凱斯圖蒂斯·納維茨卡斯 |  克洛伊·馬吉 |  盧卡斯·莫倫   沃伊切赫·蘇庫德拉爾塞克 |  安娜·科布切娃   埃琳娜·普魯斯 |  山姆·馬吉   克洛伊·馬吉 |
2012: 沒有舉辦
| 2013 |  阿德里安·齊奧爾科 |  厄維爾·斯塔普賽蒂特 |  安德烈·阿什馬林   阿納托利·亞特瑟夫 |  伊琳娜·克列布科   克謝尼婭·波利卡波娃 |  安德烈·阿什馬林   叶卡捷琳娜·博洛托娃 |
| 2014 |  卡斯帕·萊希科伊寧 |  安娜·納雷爾 |  丹尼斯·格拉切夫   阿提姆·卡爾波夫 |  Anastasia Dobrinina   維多利亞·沃羅比娃 |  帕維爾·皮特里亞   阿內塔·維特科夫斯卡 |
| 2015 |  亞當·曼德雷克 |  李怡逢 |  米洛什·博哈特   帕維爾·皮特里亞 |  瑪麗·巴托梅內   泰沙娜·維尼斯·瓦漢 |  索倫·托夫特   泰沙娜·維尼斯·瓦漢 |
| 2016 |  卡斯帕·萊希科伊寧 |  埃琳娜·科門德魯夫斯卡亞 |  盧卡斯·莫倫   沃伊切赫·蘇庫德拉爾塞克 |  叶卡捷琳娜·博洛托娃   阿納斯塔西婭·塞梅諾娃 |  丹尼斯·格拉切夫   叶卡捷琳娜·博洛托娃 |
| 2017 |  卡伊·舍費爾 |  埃琳娜·科門德魯夫斯卡亞 |  伊萊亞斯·布拉克   利奧·羅西 |  克里斯汀·庫巴   赫莉娜·呂特爾 |  夏蘭·錢伯斯   西尼德·錢伯斯 |
| 2018 |  菲利克斯·布雷施泰特 |  克里斯汀·库巴 |  亚罗米尔·雅纳切克  托马斯·斯韦达 |  克里斯汀·庫巴   赫莉娜·呂特爾 |  卡勒姆·亨明  劉飛騰 |
| 2019 |  乔治·卡尔波夫 |  莉昂妮絲·休特 |  罗伯特·齐布尔斯基  帕维尔·皮特里亚 |  黛博拉·吉尔  阿莉莎·蒂尔托森托诺 |  蒂斯·范德拉克  黛博拉·吉尔 |
2020: 取消舉辦
| 2021 |  亞歷克斯·拉尼耶 |  瑪爾薇卡·班索德 |  埃米爾·勞里岑  麥斯·維斯特加德 |  Tea Margueritte  Anna Tatranova |  麥斯·維斯特加德  Clara Løber |
| 2022 |  沙布達·佩卡薩·貝拉瓦 |  Aisyah Sativa Fatetani |  M R N Fadillah  Rahmat Hidayat |  Nethania Irawan  费比·塞蒂安格鲁姆 |  阿姆里·薩納維  溫妮·奧克塔溫納·坎道 |
| 2023 |  Matthias Kicklitz |  Deswanti Hujansih Nurtertiati |  Putra Erwiansyah（英语：）  Patra Harapan Rindorindo（英语：） |  凱蒂-克雷特·馬蘭  赫莉娜·呂特爾 |  Marwan Faza  Jessica Maya Rismawardani |
| 2024 |  William Bøgebjerg |  希蒂·諾蘇海妮 |  Nicolas Hoareau  Aymeric Tores |  Marie Cesari  Lilou Schaffner |  Alden Lefilson Putra Mainaky  菲特里亚尼 |
註釋

↑  本賽事原定於2020年6月4日－6月7日舉行，因2019冠状病毒病疫情停辦
參考資料

↑  . bwfbadminton.com. 2020-05-22  [2023-02-12]. （原始内容存档于2021-10-05） （英语）.
楊子黎

| 楊子黎> 男艺人 |
| --- | --- |
本名: 楊子黎
英文名: Troy Yang
昵称: 奶油哥哥
国籍:  中華民國
出生:  (1983-10-29) 1983年10月29日（40歲）  臺灣高雄市
职业: 主持、歌手、演員
语言: 國語、英語
教育程度: 台灣藝術大學（舞蹈學系）
音乐类型: 華語流行音樂
出道日期: 2008年（主持） 2013年（歌手）
出道作品: 《愛人好累》
活跃年代: 2008年－至今
经纪公司: 米樂士娛樂（2013年－2016年） 藝見傳播有限公司（2016年－至今）
网站: http://www.star-opinions.com 藝見傳播
相关团体: MOMO家族（2007年 - 2015年）
楊子黎（1983年10月29日—），藝名奶油哥哥，擁有1/4的俄羅斯混血（祖母為俄羅斯人），台灣藝術大學舞蹈系畢業。曾為臺灣MOMO親子台的兒童節目主持人及MOMO家族成員，成員內稱為奶油哥哥。
電視節目 > 主持

2008年：MOMO親子台《親子玩科學1～3季》。
2006-2014年：MOMO親子台《MOMO歡樂谷1～8季》。
2010-2013年：台視《MR.Q特工隊1～3季》外景主持。
唱片 > MOMO歡樂谷

2008年1月：MOMO歡樂谷1-快樂BABY加加油。
2009年1月：MOMO歡樂谷2-歡樂谷的異想世界。
2010年1月：MOMO歡樂谷3-歡樂谷的夢想嘉年華。
2010年12月：MOMO歡樂谷4-歡樂谷的奇幻樂園。
2011年12月：MOMO歡樂谷5-歡樂谷愛的進行曲。
2012年12月：MOMO歡樂谷6-歡樂谷的音樂魔法。
2014年12月：MOMO歡樂谷8-MOMO飛到歡樂谷。
2015年12月：MOMO歡樂谷9-歡樂谷的快樂萬花筒。
唱片 > 單曲

2009年：八八風災賑災公益單曲 (藝人大合唱)。
2013年1月29日：數以百萬計的祝福 (藝人徐哲緯、亦帆、林采緹、黃宥傑大合唱)。
2013年5月17日：愛人好累 (個人數位單曲)。
2018年8月31日：在誰的黑夜裡 (個人數位單曲)。
2018年12月：著迷Complicated (<音樂合IV>數位合輯)。
戲劇/舞台劇

2001年：台灣高雄市觀光局《高雄愛情故事》。屏風表演班舞台劇《女兒紅》。
2002年：映畫製作《升空高飛》(飾演：阿雷)。舞台劇《夢幻胡桃鉗》。
2010年：momo玩劇場舞台劇《芊芊的夢遊仙境》。
2011年：如果兒童劇團舞台劇《豬探長》。中信銀文教舞台劇《食神群英會》。
2012年：如果兒童劇團舞台劇《誰是聖誕老公公》。
2017年：TIFA果陀劇場音樂劇《愛呀！我的媽》。
2018年：果陀劇場音樂劇《吻我吧娜娜》。
歌唱活動/比賽

2001年：《超級星期天》與王力宏合作演出。
2005年：《雪碧新聲飛揚絕對暢響大賽》南京站 第二名。
2006年：《娛樂百分百》黃力行歌舞大賽 第二名。
2007年：《娛樂百分百》陳小春歌唱大賽 第二名。
2010年：《娛樂百分百》羅志祥歌唱大賽 第一名。
2012年：《央視兒童春節聯歡晚會》奶油哥哥演出。
2016年：men's uno雜誌《第19屆超級男模大賽-演藝組》總決賽。
廣告／平面／活動

1999年：可口可樂廣告。
2001年：台灣高雄市觀光局《高雄愛情故事》。
2005-2006年：深入台灣偏遠山區關懷弱勢團體活動。
2010年：滿天星零食廣告。關懷癌末病童巡迴表演。
2015年：夏姿春裝發表會活動演出。
2016年：men’s uno雜誌。men’s body 雜誌。
連結

楊子黎Facebook專頁 （页面存档备份，存于）
楊子黎Facebook粉絲團
楊子黎粉絲後援會
楊子黎新浪微博
藝見傳播-楊子黎 （页面存档备份，存于）
參考來源

(蘋果日報)蘋果姊姊 奶油哥哥 帶跳 兒童嬉哈
↑  . 蘋果日報. 2008-11-15. （原始内容存档于2018-01-04）.
波卡洪塔斯 (密西西比州)

| 波卡洪塔斯 Pocahontas |
| --- | --- |
非建制地區

波卡洪塔斯波卡洪塔斯在密西西比州的位置
坐标： 32°28′28″N 90°17′10″W﻿ / ﻿32.47444°N 90.28611°W﻿ / 32.47444; -90.28611
國家: 美国
州份: 密西西比州
縣: 海恩茲縣
海拔: 90 公尺（295 英尺）
时区: CST（UTC-6）
 • 夏时制: CDT（UTC-5）
郵區編號: 39072
電話區號: 601（英语：）
GNIS ID: 676161
波卡洪塔斯（英語：）是位於美國密西西比州海恩茲縣的非建制地區。
地理

波卡洪塔斯所處的海拔為高於海平面90米（即295英呎），而該地所採用的時區為UTC-6，即北美中部時區（CST）。同時該地設有夏令時間，為UTC-6調快一小時，即UTC-5（CDT）。
參考文獻

↑  . . United States Geological Survey.
泰南庫省

泰南庫省（法語：），是馬里的省份，位於該國中部，由莫普提區負責管轄，首府設於泰南庫，面積11,297平方公里，2009年人口163,641，人口密度每平方公里14人。
參考資料

(PDF), Commissariat à la Sécurité Alimentaire, République du Mali, USAID-Mali, 2006, （原始内容 (PDF)存档于2012年9月20日） （法语）
(PDF), République de Mali: Institut National de la Statistique,   [2015-07-11], （原始内容存档 (PDF)于2012-09-19）
14°40′N 5°00′W﻿ / ﻿14.667°N 5.000°W﻿ / 14.667; -5.000
格里維察鄉 (加拉茨縣)

45°43′00″N 27°39′00″E﻿ / ﻿45.7167°N 27.65°E﻿ / 45.7167; 27.65

格里維察鄉（羅馬尼亞語：），是羅馬尼亞的鄉份，位於該國東部，由加拉茨縣負責管轄，面積39平方公里，海拔高度71米，2007年人口3,863，人口密度每平方公里98人。
參考資料

Romanian census data, 2002; retrieved on March 1, 2010
泽弗希尔斯 (佛罗里达州)

| Zephyrhills |
| --- | --- |

坐标：28°14′14″N 82°10′46″W﻿ / ﻿28.2372°N 82.1794°W﻿ / 28.2372; -82.1794
國家:  美国
州: 佛罗里达州
县: 帕斯科縣
人口（2010）
 • 總計: 13,288人
泽弗希尔斯（英語：），是美国佛罗里达州帕斯科縣下属的一座城市。建立于1914年。面积约为16.4平方公里（约合6.4平方英里）。根据2010年美国人口普查，该市有人口13,288人。论人口在本州排行第135。
参考资料

↑  . U.S. Census Bureau.   [November 18, 2011]. （原始内容存档于2006-02-08）.
歐文冰川 (彭內爾海岸)

71°7′S 163°25′E﻿ / ﻿71.117°S 163.417°E﻿ / -71.117; 163.417
歐文冰川是南極洲的冰川，位於維多利亞地的彭內爾海岸，處於鮑爾斯山脈，與蒙蒂尼冰川匯流，美國地質調查局根據測量和該國海軍的空中照片繪入地圖。
模擬市民2：寵物當家

| 模擬市民2：寵物當家 |
| --- | --- |


官方译名: 中国大陆：
类型: 生活模拟
平台: Microsoft Windows、Mac OS X、Wii、GameCube、NDS、GBA、N-Gage、PlayStation 2、PlayStation Portable
开发商: Maxis
发行商: 全球：美商藝電 中国大陆：中视网元
设计师: 亨特·豪（Hunter Howe） 查理·倫敦（Charles London） 邁克·達加（Mike Darga） 拉克希米·加拉柏甄（Lakshmi Jalapayan）
系列: 模拟人生系列 
引擎: 自研引擎
模式: 单人
发行日: Microsoft Windows&PlayStation 2北美：2006年10月17日 欧洲：2006年10月20日 澳洲：2006年10月26日 中国大陆：2007年4月25日（仅Windows）Nintendo DS澳洲：2006年10月26日 欧洲：2006年10月27日 北美：2006年10月31日Game Boy Advance北美：2006年11月7日 澳洲：2006年11月16日 欧洲：2006年11月17日PlayStation Portable北美：2006年12月14日 澳洲：2006年12月14日 欧洲：2006年12月15日Wii北美：2007年6月12日 PAL：2007年6月22日
《模擬市民2：寵物當家》（英语：，）是《模擬市民2》的第四款資料片，亦針對了不同的電視遊樂器而發行了對應版本，由美商藝電發行。在電腦平台方面，Windows版於2006年10月18日發行到北美地區，並於10月20日發行到餘下地區；Mac OS X版則於同年11月7日由Aspyr發行。在電視遊樂器平台方面，Wii版於2007年6月13日發行。
遊戲特色 > 寵物

模擬市民能飼養狗和貓作為寵物，並訓練自己的寵物來賺錢。市民能以責罵方式阻止寵物進行某些行為，或是以稱讚方式鼓勵和訓練他們的寵物。
以下是本資料片所新增的寵物，當中貓和狗一旦被市民領養後便會計入玩家的家庭人數中，每戶家庭最多只可飼養6隻寵物（只限貓狗）。
狗（72種內建品種）
貓（30種內建品種）
天竺鼠
魚
鳥
市民可以透過以下的方式領養寵物：
撥電話到領養中心
在寵物創造模式（Create-A-Pet）自創貓狗
收養流浪貓狗
送贈或交易寵物
到寵物店購買
在購買模式下直接購買天竺鼠籠、鳥籠或魚缸
遊戲特色 > 狼人

狼人是本資料片新增的人種。狼人只能於夜間生活。在這段時間內，牠們的精力會徐徐上升，但與此同時牠們會較容易飢餓。狼人訓練寵物的能力較常人的強，亦能打擊夜賊。牠們有時會向月光嗥叫，或召喚其他狼群。當狼人嗥叫的時候，在用地上所有模擬市民的如廁度會大大下降。要成為狼人，市民可讓狼群的頭狼（眼睛發光的狼）咬一口，或接觸其他的狼人。設置樹林、雜草和未經修剪的樹籬能吸引狼群。
遊戲特色 > 職業

遊戲新增了不同的寵物職業，等同模擬市民的工作，寵物必須履行一些事務來取得晉升。
保全業
娛樂業
服務業
遊戲特色 > 追加下载内容

希拉里·达夫作为追加下载内容出现在本作中。
音樂

以下是本資料片新增的流行音樂，並以模擬市民語重新演唱：
小野貓 - "Don't Cha"
Aly & AJ - "Chemicals React"
Cowboy Troy - "I Play Chicken with the Train"
Saving Jane - "Girl Next Door"
The Flaming Lips - "Free Radicals"
Skye Sweetnam - "Boyhunter"
The Format - "The Compromise"
The New Amsterdams - "Turn Out the Light"
The Films - "Black Shoes"
以下是其他地區語言版本獨有的歌曲（美國英語版除外）：
丹麥語：West End Girls - "Booglurbia"
荷蘭語：Krezip - "Can't You be Mine"
芬蘭語：Roni - "Never Coming Back"
法語：Kisha - "Sowieso"
德語：Kisha - "Sowieso", Krezip - "Can't You be Mine"
意大利語：Finley - "Run Away"
日語：West End Girls - "Booglurbia"
韓語：West End Girls - "Booglurbia"
挪威語：琳恩·瑪蓮 - "What If"
俄羅斯語：The Smokebreakers - "Baby Let's Dance"
西班牙語：La Oreja de Van Gogh - "Dulce Locura"
瑞典語：Lene Marlin - "What If", West End Girls - "Booglurbia"
英國英語：Finley - "Run Away", West End Girls - "Booglurbia"
註釋

↑  . 出版者. 2007-04-25  [2018-05-04]. （原始内容存档于2019-08-22） （中文（中国大陆））.
↑  . 新浪. 2007-06-05  [2018-05-04]. （原始内容存档于2019-08-28） （中文（中国大陆））.
↑  . 新浪. 2006-10-16  [2018-05-04]. （原始内容存档于2019-08-23） （中文（中国大陆））.
外部連結

模擬市民2：寵物當家官方網站（美國） （英文）
模擬市民2：寵物當家官方網站（台灣） （繁體中文）
第8号交响曲 (德沃夏克)

| 第8号交响曲 |
| --- | --- |
德沃夏克作品
德沃夏克的签名封面
調性: G大调
目錄號: B. 163
作品号: 88
风格: 浪漫主义
创作: 1889年，​134年前​（1889）
献给: 波西米亚弗朗茨·约瑟夫科学、文学和艺术院
出版: 1890年
时长: 约36分钟
樂章: 4
首演
日期: 1890年2月2日
位置: 布拉格
指挥: 安东宁·德沃夏克
表演者: 布拉格国家剧院乐团
G大調第8号交响曲，作品88（布氏號B. 163），是捷克作曲家安东宁·德沃夏克於1889年创作的交响曲，于1890年2月2日在布拉格首演，德沃夏克本人親任指挥。
创作背景

德沃夏克在入选波希米亚弗朗茨·约瑟夫科学、文学和艺术院之际，创作了这部作品。与第七交响曲——一首暴风雨般的浪漫主义作品——截然不同，第八交响曲欢快、如歌，更多地取材于德沃夏克喜爱的波西米亚民乐。德沃夏克的创作灵感来自其消夏之地普日布拉姆的美丽风景，作者试图“写一部不同于自己其他交响曲的作品，带有个人风格和新近的展现手法”。
创作背景 > 表演和出版

1890年2月2日，在该作品的首演中，作曲家本人指挥布拉格國家劇院乐团演出。首演成功后，德沃夏克于1890年11月7日在法兰克福以及次年在剑桥再次指挥该曲演出，在剑桥德沃夏克被授予荣誉博士学位。在德沃夏克第六次访问英国期间，皇家爱乐乐团多次演奏该曲。
汉斯·里希特指挥了该曲在维也纳和伦敦的首演。音乐会结束后，他在维也纳写信给德沃夏克：“如果您在现场，一定会非常喜欢这次表演。所有人都认为这是一部伟大的作品，所以我们都很激动……掌声热烈而亲切。”
德沃夏克于1890年委托伦敦出版商文森特·诺维罗（英语：）出版了这首交响曲。
分析 > 配器

I. Allegro con brio
II. Adagio
III. Allegretto grazioso
IV. Allegro
DuPage交响乐团，Barbara Schubert指挥
本作品的配器包括：2支长笛（第二长笛兼任短笛）、2支双簧管（第一双簧管兼任英国管）、2支单簧管（A调和B♭调）、2个低音管、4个法國號、2支小号、3支长号、大号、定音鼓，以及弦乐 。依照工具書《管弦樂作品手冊》指示，上述之配器可簡記為"*2 *2 2 2—4 2 3 1—tmp—str"。
在此交响曲中，短笛和英国管的编排很不寻常。 第一乐章的呈示部中，短笛仅与长笛保持一致的长音；在第一乐章的“鸟鸣”主题第二次再现中，短笛只演奏了一个简短但突出的乐句。在某些版本中，兼吹英国管的是第二双簧管，而不是大多数乐谱中的第一双簧管。
分析 > 樂章探實

本曲分為四个乐章：
有生气的快板（Allegro con brio）；G小调 → G大调
慢板（Adagio）；E♭大调 → C小调 → C大调
优雅的小快板，非常活泼（Allegretto grazioso — Molto vivace）；G小调 → G大调的三重奏和结尾
非进行曲式的快板（Allegro ma non troppo）；G大调
德沃夏克以四个乐章保留了交响曲的典型形式，但以一种不同寻常的方式来组织它们。各个乐章都显示出不同主题，其中许多都基于波西米亚旋律，乐章中主题的发展不时有即兴创作。
该曲的表演一般約需36分钟，是德沃夏克较短的交响曲之一。
分析 > 樂章探實 > 第一乐章

此乐章為奏鸣曲式架構，以有力而辉煌的呈示部开始，特点是定音鼓的自由应用。开头是抒情的G小調主题，由大提琴、低音管等中音域樂器合奏。这引出了“鸟鸣”的长笛主題（第18小節），达到了乐章的主调G大调。乐评家彼得·洛基（Peter Laki）认为此乐章的发展部“风起云涌”，匈牙利指揮豪勒隆·嘉保（匈牙利语：）則評為「後貝多芬時代最為刺激的發展部寫作」。再现部中，第二个主题改由英国管演奏，較呈示部的旋律低两个八度。乐章以“简短但充满活力的尾声”结束。
浪漫主義時期的作品特色之一，便在於音樂主題的不同面貌，透過節奏、調性、配器等改變展現出來。在第一樂章當中，開端的大提琴主題之後將被小號重現（第219小節），而大提琴與小號的強烈音域對比，正是浪漫時期管弦樂團色彩變化的必要元素。另外，原來由長笛演繹的“鸟鸣”主題，則被賦予推進的功能，分別由圓號（第34小節）、樂團全體（第57小節）繼承，此亦是第一樂章主題發展的一例。
分析 > 樂章探實 > 第二乐章

尽管被标记为慢板，第二乐章在速度選擇上仍不應過慢，這點可由作曲家的速度提示窺見：此處拍號雖記為 
 拍慢板，但亦有「♪ = 80」的提示，似是作曲家並不屬意詠唱式的詮釋，而特別提示應在音樂行進中保持細小的脈動。樂章起初的九個小節是一個短小動機的模進（sequence），期間作曲家利用了變格終止的手法，使調性無法真正被確定，製造了聽覺上的期待感。隨後，美丽的单簧管二重奏开始（第12小節），与贝多芬的《田园交响曲》类似，音乐的灵感来自宁静的风景，描绘了一个被暴风雨打断的夏日。
前述無法被解決的和聲懸疑，在此樂章的中間段（第47小節起）獲得了滿足。此處的調性是確切的C大調，伴奏聲部提供穩定的主-屬和弦，長笛與雙簧管的齊奏則倘佯其上。總地說來，小調與大調間的對比性，構成了第二樂章的大部分畫面。
分析 > 樂章探實 > 第三乐章

起初是忧郁的华尔兹，
 拍，此段音樂富有斯拉夫式的色彩，然而樂章中段（第87小節起）的節奏錯置卻來自經典的捷克舞蹈。接近樂章尾声时，节拍一变而为 
，以与第二乐章类似的方式结束。
该乐章不是典型的小步舞曲或诙谐曲，而是类似于勃拉姆斯第一和第二交响曲的第三乐章“间奏曲”（intermezzo）。
分析 > 樂章探實 > 第四乐章

终乐章最为激荡，形式上是复杂的主题和变奏。必須注意的是，變奏曲是古老的作曲手法，在德沃夏克所處的年代已經罕有例子，這個樂章的可貴之處在於其繼承自巴赫、貝多芬、勃拉姆斯等人的變奏曲寫作傳統，將一個簡單、易於哼唱的主題加以各種變化，展現多樣的音樂可能性。
开场是嘹亮的小号。指挥家库贝利克曾说：“先生们，在波西米亚，小号从不呼唤战斗——他们总是呼唤舞蹈！”音乐随后发展成优美的主題，先是由大提琴演奏。德沃夏克巧妙地建立张力，在约两分钟后一气释放出来，一系列乐器凯旋般地演奏初始主题，而速度更快。主题引出对比鲜明的变奏后，乐章随即展开出一个激烈的中间部分，其中调性在大小调之间变化了数次。返回到缓慢的抒情部分后，作品以半音音階尾声结尾，其中铜管和定音鼓非常突出。乐评家彼得·拉基总结：“德沃夏克对形式的处理借鉴于贝多芬和勃拉姆斯，但他用明显的捷克风格的旋律，和当时作曲家少有的愉悦感，来填充他的形式。这些变奏的特点迥异：有些较慢，有些较快，有些柔和（例如，极具技巧的长笛独奏），有些则喧闹。大多数都是大调，中间那让人联想到乡村乐队的部分是小调。音乐总是开朗而乐观。”
軼事

第8號交響曲創作期間，德沃夏克与自己长期合作的出版商弗里茨·西姆罗克產生了意見上的分歧，后者对赚钱的短作品更感兴趣。西姆罗克希望对乐章题目和作曲家名字使用德语，被“骄傲的波西米亚人”德沃夏克拒绝，作品後來遂轉由倫敦的诺维罗出版。
由于在英国首次出版，这首交响曲偶尔会被称为“英国交响曲”。亦有意見指，与第7號交响曲（多有模仿德国作曲家勃拉姆斯）相比，第8號更值得“捷克”之名。
註釋

↑  作曲家在世时，此曲编为「第4号交响曲」，一些較早出版的樂譜（如歐伊倫堡出版社No. 525）便採用了此編號。
↑  德語原文："An dieser Aufführung hätten Sie gewiß Freude gehabt. Wir alle haben gefühlt, daß es sich um ein herrliches Werk handelt: darum waren wir alle auch mit Enthusiasmus dabei. [...] Der Beifall war warm und herzlich."
↑  按：詳外部連結。
参考资料

1 2 3 4 5 6 7  Elizabeth Schwartz. . Oregon Symphony. 2013  [2019-11-20]. （原始内容存档于2021-07-30）.
1 2 3 4 5  Peter Laki. . Kennedy Center. 2010  [2019-11-20]. （原始内容存档于2019-07-20）.
1 2  Jürgen Ostmann. . Rheingau Musik Festival. 2013.
↑  Daniels, David.  3rd ed. Lanham: Scarecrow Press, Inc. 1996: 131. ISBN 0-8108-3228-3.  引文格式1维护：冗余文本 (link)
↑  . Slovenská filharmónia.   [2019-11-11]. （原始内容存档于2019-11-11）.
↑  Paul Serotsky. . Music Web International. 2010  [2019-11-11]. （原始内容存档于2019-11-16）.
Christoph Hahn, Siegmar Hohl. . Gütersloh/Munich: Bertelsmann Lexikon Verlag. 1993. ISBN 3-570-10519-9.
Annette Retinski,  Alfred Beaujean.  4. ed. Dortmund: Harenberg Kommunikation. 1998. ISBN 3-611-00535-5.  引文格式1维护：冗余文本 (link)
Hansjürgen Schaefer. . Leipzig: VEB Deutscher Verlag für Musik. 1958.
參見

古典音乐主题
德沃夏克的夏季住所，他在此创作了该交响曲
作曲家与妻子安娜在伦敦（1886年）
洪幼樵

| 洪幼樵 |
| --- | --- |

个人资料
性别: 男
出生: 1916年  中華民國廣東省潮循道揭陽縣白塔鄉
逝世: 1990年（73—74歲）  臺灣
籍贯: 廣東揭揚
国籍:  中華民國
政党:  中國國民黨（1952年－1990年）
其他政党:  中国共产党（1937年10月－1951年4月27日 ）
配偶: 許敏蘭

 学历  廣東省揭陽縣奐道小學（1929年）  廣東省揭陽縣]]第一中學初中部（1932年）  廣東省揭陽縣第一中學高中部（1935年）  廣州中山大學肄業（1935年－1936年）  抗日軍政大學第五分校高幹班（1940年10月） 
 经历  潮陽縣溪東國教師  中國共產主義青年團（1933年－1937年）  中國共產黨揭陽縣第三區區委書記（1937年）  中國共產黨潮陽縣中心區區委書記、縣委書記 （1938年）  潮陽縣峽山國小教師（1938年）  潮汕警備司令部政工隊副隊長（1938年）  普寧縣橋柱小學教師（1939年）  中國共產黨橋柱國小支部書記（1939年）  中國共產黨廣東環南特委組織部長（1939年）  揭陽縣寶坵國小校長（1939年）  中國共產黨揭陽縣工委青年工作委員會（1940年）  中國共產黨嶺東青年抗敵同志總會組織部長（1939年10月－1940年12月）  中國共產黨鹽阜區黨委文協（1940年）  中國共產黨漣淮幹部學校組織部科長（1940年）  中國共產黨蘇北漣東縣委兼組織部長（1940年12月－1942年）  中國共產黨蘇北軍漣東總隊政治部主任（1942年－1943年）  中國共產黨蘇北軍漣東縣委書記代理縣長 1943年－1945年  中國共產黨濱海縣委書記兼蘇北軍濱海獨立團政委 1945年  中國共產黨台灣省工作委員會委員兼宣傳部長（1946年－1952年）  台南市北門初級中學 教師 1946年2月  台中縣員林中學 教師 1947年  中國共產黨台灣省工作委員會台中工作委員會負責人（1947年－1951年4月27日）  保密局（中央情報局）匪情研究室研究員  文化大學中國大陸問題研究所教授（1975年－1986年） 
 
洪幼樵（1916年—1990年），曾化名劉志敬，廣東省揭陽縣人，廣州中山大學畢業，抗日軍政大學五分校高幹班，1933年參加共產主義青年團，1937年加入中國共產黨，曾任黨區委、縣書記、特委，蘇北漣東縣委組織部長。1946年奉華東局調派至台灣協助蔡孝乾成立台灣省工作委員會任宣傳部長，台中地區工作領導。1950年2月16日遭逮捕，1951年4月27日奉准自新，任保密局（中央情報局）匪情研究室研究員，退休後擔任文化大學中國大陸問題研究所教授。
生平

洪幼樵，1916年生，廣東省揭陽縣人，廣州中山大學畢業，抗日軍政大學五分校高幹班，1933年參加共產主義青年團，1937年普寧梅峰中學教師陳初民介紹加入中國共產黨，從事地下活動，曾任黨區委、縣書記、特委，領導青年運動，擔任廣東嶺東十縣市青年抗敵同志總會組織部長。1941年任蘇北漣東縣委組織部長，認識妻子許敏蘭，隔年兼任蘇北軍漣東總隊政治部主任，1945年任濱海縣委書記。
1946年華東局調派幹部林英傑、洪幼樵、張志忠等三人來臺，林英傑當時是鹽城市委書記與洪幼樵為抗大五分校同期，張志忠嘉義人具作戰經驗，共同協助蔡孝乾成立台灣省工作委會，洪幼樵任宣傳部長兼台中地區負責人，陳澤民為副書記及組織部長發展台南、高雄、屏東組織，張志忠任武裝部長領導海山、桃園與新竹。
1946年4月洪幼樵化名劉志敬抵台，到台南市北門區找王正南，王正南即李友邦將軍秘書潘華，由他介紹進入台南市北門初級中學任教。一個約月後，蔡孝乾來台，蔡孝乾在台北蘆洲地區透過舊台共的關係，認識台灣農民組合的成員，郭琇琮、簡吉、李媽兜等人加入，再透過李媽兜吸收陳福星加入，1946年陳福星擔任新豐農業學校校長，1946年至1947年前後將林英傑與洪幼樵妻子許敏蘭安排在該校任教。洪幼樵即轉至員林中學任教，與林英傑主持台灣省工作委員會台灣中部地區的發展工作。
洪幼樵兄長洪仲樵介紹劉特慎來台取得聯繫，在高雄屏東地區組織活動，洪幼樵與張志忠、陳澤民互相支援，1947年1月組織派張伯哲到台中與洪幼樵取得聯繫，並與老台共李喬松與其子李舜雨等人組成台灣省工作委員會台中市工作委員會，初由林英傑任書記，後林英傑前往台南任教，轉由唐海光接任，不久轉交洪幼樵主持，透過謝富吸收陳孟德成立台中大肚鄉支部，透過鍾浩東的關係1946年11月洪幼樵與張志忠到新竹黎明華恢復與組織關係。
1947年5月洪幼樵吸收施部生、呂煥章、李漢堂等，1948年由張志忠指導在台灣中部地區分別設立武裝基地，苗栗人曾永賢在洪幼樵監誓下加入組織，梁錚卿由謝漢光與組織取得聯繫成立直屬支部發展組織。
1948年6月，蔡孝乾率核心幹部十人（朱子慧、李武昌、李媽兜、計梅真、洪幼樵、唐海光、孫古平、郭琇琮、陳添福、張志忠）飛往香港，與臺盟及上海同鄉會代表們一同參加「華東局」幹部劉曉所主持的臺灣工作幹部會議，即「香港會議」。
1949年光明報事件導致省工委組織瓦解，1950年初蔡孝乾落網後洪幼樵成為省工委實際領導人，徐懋德、陳仲豪等人陸續撤離，1950年2月洪幼樵決定搭永平輪逃往香港，透過弟弟洪淑樵的同學陳定中代為辦理申請出境手續，在陳定中家中等候，洪幼樵在碼頭遭到谷正文誘捕。
據谷正文口述，當獲得蔡孝乾的情資得知洪幼樵將搭乘四川輪前往香港，當晚前往基隆港碼頭埋伏，因雨改變原本打算強力逮捕的計畫，他採取了戲劇化的誘捕行動，他冒著雨打著傘跑到洪幼樵旁邊拍拍洪的肩膀急切的說：「洪先生，多危險啊，你不知道國民黨特務很快就要來了。動作快，我的車在那邊。」於是，未等他反應就趕緊把洪幼樵拉到車上，雨水打在車窗上，發出聲響，車內的人都不說話，靜默中氣氛非常詭異，經過十分鐘左右洪幼樵按耐不住開口問：「你不是說國民黨特務就要來了嗎?怎麼過這麼久沒有動靜?」谷正文：「其實他們已經來了。」洪幼樵問：「在哪裡?」谷正文指指自己說：「就在這裡。」
落網後蔡孝乾、洪幼樵、陳澤民都接受當局安排以及吐實，而洪妻許敏蘭一度因洪幼樵等叛亂案遭判處死刑，由於當局預備吸收洪幼樵，參謀總長周至柔呈請總統特赦其妻，1951年4月27日奉准「自新」，任保密局（中央情報局）匪情研究室研究員，退休後擔任文化大學中國大陸問題研究所教授，1990年癌症病逝。
參見

中國共產黨臺中市工作委員會
張伯哲、謝富、蔡孝乾、陳福添
参考资料

↑  洪幼樵. . 中央日報. 1952-12-14.
1 2  國防部軍事情報局. . 國家檔案管理局. 1950  [2018-06-29]. （原始内容存档于2018-06-30）.
↑  政治中心. . Nownews. 2009-03-08  [2018-06-29]. （原始内容存档于2018-06-30）.
1 2 3  國防部軍事情報局. . 國家檔案管理局. 1950-12-31  [2022-09-30]. （原始内容存档于2022-09-30）.
1 2  郭乾輝. . 內政部調查局. 1955.
↑  林正慧. . 台灣: 《臺灣文獻》. 2009-03.
↑  曾建元. . 2013-02.
↑  思想編輯委員會. . 聯經出版公司. 2007-04-24.
↑  李禎祥. . 新台灣新聞周刊. 2008.
↑  中共問題原始資料編輯委員會. . 阿爾泰出版社. 1984.
↑  谷正文口述 許俊榮 黃志明 公小穎整理. . 台灣: 獨家. 1995-09-25 [1995]. ISBN 9789579488242.
↑  國防部軍法局. . 國家檔案管理局. 1951-02-03~1955-02-24  [2018-06-29]. （原始内容存档于2018-06-30）.  请检查|date=中的日期值 (帮助)
↑  國防部. . 國家檔案管理局. 1951-02-13  [2018-06-29]. （原始内容存档于2018-06-30）.
泰万菌素

| --- | --- |

臨床資料
商品名（英语：）: Aiviosin
AHFS/Drugs.com: 药物兽用信息
核准狀況:  美 DailyMed: Tylvalosin 
给药途径: 口服
藥物類別（英语：）: 大环内酯抗生素
ATCvet碼: QJ01FA92 (WHO) 
法律規範狀態
法律規範:  美：处方药（℞-only） 
识别
CAS号: 63409-12-1 63428-13-7
PubChem CID: 6441094
DrugBank: DB11554 酒石酸盐: DBSALT001708
ChemSpider: 4945313 酒石酸盐: 30790860
UNII: 9T02S42WQO 酒石酸盐: AL5667FY0W
KEGG: D10032 酒石酸盐: D10034
ChEMBL: ChEMBL2103834
CompTox Dashboard（英语：） (EPA): DTXSID901016510 
ECHA InfoCard: 100.058.284 
化学
化学式: C53H87NO19
摩尔质量: 1,042.27 g·mol−1
3D模型（JSmol（英语：））: 交互式图像 酒石酸盐: 交互式图像
 SMILES CC[C@H]1OC(=O)C[C@@H](OC(C)=O)[C@H](C)[C@@H](O[C@@H]2O[C@H](C)[C@@H](O[C@H]3C[C@@](C)(O)[C@@H](OC(=O)CC(C)C)[C@H](C)O3)[C@@H]([C@H]2O)N(C)C)[C@@H](CC=O)C[C@@H](C)C(=O)\C=C\C(\C)=C\[C@@H]1CO[C@@H]1O[C@H](C)[C@@H](O)[C@@H](OC)[C@H]1OC  酒石酸盐: O[C@H]([C@@H](O)C(O)=O)C(O)=O.CC[C@H]1OC(=O)C[C@@H](OC(C)=O)[C@H](C)[C@@H](O[C@@H]2O[C@H](C)[C@@H](O[C@H]3C[C@@](C)(O)[C@@H](OC(=O)CC(C)C)[C@H](C)O3)[C@@H]([C@H]2O)N(C)C)[C@@H](CC=O)C[C@@H](C)C(=O)\C=C\C(\C)=C\[C@@H]1CO[C@@H]1O[C@H](C)[C@@H](O)[C@@H](OC)[C@H]1OC 
 InChI InChI=1S/C53H87NO19/c1-16-38-36(26-65-52-49(64-15)48(63-14)44(60)31(7)67-52)22-28(4)17-18-37(57)29(5)23-35(19-20-55)46(30(6)39(69-34(10)56)24-41(59)70-38)73-51-45(61)43(54(12)13)47(32(8)68-51)72-42-25-53(11,62)50(33(9)66-42)71-40(58)21-27(2)3/h17-18,20,22,27,29-33,35-36,38-39,42-52,60-62H,16,19,21,23-26H2,1-15H3/b18-17+,28-22+/t29-,30+,31-,32-,33+,35+,36-,38-,39-,42+,43-,44-,45-,46-,47-,48-,49-,50+,51+,52-,53-/m1/s1 Key:KCJJINQANFZSAM-HZDSEHBESA-N  酒石酸盐: InChI=1S/C53H87NO19.C4H6O6/c1-16-38-36(26-65-52-49(64-15)48(63-14)44(60)31(7)67-52)22-28(4)17-18-37(57)29(5)23-35(19-20-55)46(30(6)39(69-34(10)56)24-41(59)70-38)73-51-45(61)43(54(12)13)47(32(8)68-51)72-42-25-53(11,62)50(33(9)66-42)71-40(58)21-27(2)3;5-1(3(7)8)2(6)4(9)10/h17-18,20,22,27,29-33,35-36,38-39,42-52,60-62H,16,19,21,23-26H2,1-15H3;1-2,5-6H,(H,7,8)(H,9,10)/b18-17+,28-22+;/t29-,30+,31-,32-,33+,35+,36-,38-,39-,42+,43-,44-,45-,46-,47-,48-,49-,50+,51+,52-,53-;1-,2-/m11/s1 Key:OLLSDNUHBJHKJS-XKORHJEPSA-N 
泰万菌素（INN：tylvalosin），别名乙酰异戊酰泰乐菌素（英語：），是由英国伊科动物保健品公司（ECO Animal Health）研制的第三代大环内酯类广谱畜禽专用抗生素，对支原体 、螺旋体 、大部分革兰氏阳性菌和部分革兰氏阴性菌均有较强的抗菌活性。为泰乐菌素（英语：）的衍生物，由泰乐菌素进行乙酰化、异戊酰化和醇解反应制得，抗菌和抗支原体活性均高于泰乐菌素。市售为其酒石酸盐（酒石酸泰万菌素），主要用于治疗家禽支原体感染和猪的传染性支原体肺炎 、喘气病、回肠炎、慢性肺阻塞、猪蓝耳病等。
历史

2004年9月在欧盟上市，被批准用于预防和治疗由猪肺炎支原体（英语：）（Mycoplasma hyopneumoniae）引起的猪气喘病、由猪痢疾短螺旋体（英语：）（Brachyspira hyodysenteriae）引起的猪痢疾、由胞内劳森氏菌（英语：）（Lawsonia intracellularis）引起的猪增生性肠炎（porcine proliferative enteropathy，PPE）和由鸡毒支原体（英语：）（Mycoplasma gallisepticum）引起的鸡慢性呼吸道疾病。2012年7月通过美国FDA批准用于预防由胞内劳森菌引起的猪增生性肠炎。
作用机制

泰万菌素作为大环内酯类抗生素能与敏感菌核糖体50S亚基结合，干扰核糖体转肽功能使肽链合成和延长被抑制，继而影响细菌蛋白质合成。对鸡毒支原体和滑液囊支原体（英语：）（Mycoplasma synoviae）等支原体，以及大多数革兰氏阳性菌有抗菌活性，如葡萄球菌、微球菌、微杆菌、芽孢杆菌、棒状杆菌、气球菌属、弯曲杆菌、肠球菌、链球菌、节杆菌和梭菌等；但对多数革兰氏阴性菌无效。其可直达支气管腔对支原体进行消灭。
泰万菌素可在动物体内经代谢后以原药和3-乙酰泰乐菌素（3-O-acetyltylosin）的形式残留在肝脏和皮脂中。对此欧盟规定鸡皮，脂肪、鸡肝和鸡蛋中泰万菌素和3-乙酰泰乐菌素最大残留限量为50 μｇ/kg，单一物质不超过25 μｇ/kg。
用途

泰万菌素可用于控制猪增生性肠炎疫区建筑物内肉猪和雌性种猪的胞内劳森氏菌感染和爆发。或者控制由支气管败血波氏杆菌（英语：）（Bordetella bronchiseptica）、副猪嗜血杆菌（Glaesserella parasuis，原Haemophilus parasuis）、多杀巴斯德杆菌（英语：）（Pasteurella multocida）、猪链球菌（Streptococcus suis）以及猪肺炎支原体引起的肉猪或雌性种猪相关呼吸道疾病爆发。但不能用在雄性种猪身上。
在禽类身上可控制鸡毒支原体引起鸡慢性呼吸道病；以及鸡滑液囊支原体感染。
泛等基础

泛等基础是一种建立数学基础的方法，它以类型作为构建数学结构的基础对象。泛等基础中的类型并不完全对应于集合论基础中的任何东西，但它们都可以视作一个空间，其中相等类型对应于同伦等价空间，类型的相等元素对应于由路径（Path）连接的空间上的点。泛等基础启发自早期的Hermann Grassmann和Georg Cantor的数学哲学理念，以及Alexander Grothendieck风格的“范畴论”式数学。泛等基础脱胎自（且兼容于）经典的一阶逻辑，并使用Martin-Löf类型论的一个版本代替它作为形式化演绎推理系统的底层基础。泛等基础的发展与同伦类型论的发展密切相关。
泛等基础与结构主义兼容，因此沿用了数学结构（如范畴论）中合适的记法。
历史

泛等基础的主要理念是由Vladimir Voevodsky在2006年至2009年期间提出的。泛等基础和早期思想之间的哲学联系的唯一参考来源是 Voevodsky在2014年 Bernays 的讲座。“泛等性（Univalence）”这个名字是由 Voevodsky 提出的。有关泛等基础现阶段思想的贡献历史的详细讨论可以在同伦类型理论（HoTT）页面找到。
泛等基础的一个基本特征是，当它与 Martin-Löf 类型论（MLTT）相结合时，为现代数学的形式化提供了一个实用的系统。使用该系统和现代证明助手（例如Coq和Agda）已经形式化了相当多的数学。第一个此类库名为“Foundations”，由 Vladimir Voevodsky 于2010年创建。现在 Foundations 是一个由多位作者共同开发的名为UniMath的更大开发项目的一部分。基金会还启发了其他形式化数学库，例如 HoTT Coq 库和 HoTT Agda 库，它们在新的方向上发展了泛等性的理念。
泛等基础的一个重要里程碑是2014年6月由Thierry Coquand主持的Bourbaki 研讨会演讲。
主要概念

泛等基础源于某些基于高阶范畴论建立数学基础的尝试。最接近泛等基础的早期思想是Michael Makkai表示“具有依值种类（Dependent Sorts）的一阶逻辑”（FOLDS）的思想。泛等基础和 Makkai 预想的基础之间的主要区别是认识到“集合的高维类比”对应于无穷广群，并且范畴应被视为偏序集的高维类比。
最初，泛等基础是由 Vladimir Voevodsky 设计的，目的是使那些从事经典纯数学工作的人能够使用计算机来验证他们的定理和构造。泛等基础本质上是构造性的这一事实是在编写 Foundations 库（现在是 UniMath 的一部分）的过程中发现的。目前，在泛等基础上，经典数学被认为是构造性数学的一个“收缩”，即经典数学既是由使用排中律作为假设的定理和构造组成的构造性数学的一个子集，又是构造性数学乘以等价关系再对排中律公理取模的“商”。
在基于 Martin-Löf 类型理论及其衍生理论（例如归纳构造演算）的泛等基础形式化系统中，集合的高维类比由类型表示。类型的集合通过h-层级（或同伦层级）的概念进行分层。
h-层级0的类型是等于一个点的类型。它们也称为可收缩类型。
h-层级1的类型是任意两个元素相等的类型。这样的类型在泛等基础中叫做“命题”。 h-层级中命题的定义与早期 Awodey 和 Bauer 提出的定义一致。因此，虽然所有命题都是类型，但并非所有类型都是命题。具有“需要证明”这一性质的类型才能成为命题。例如，泛等基础中的第一个基本构造叫做 iscontr，它是一个从类型到类型的函数。如果 X 是一个类型，则 iscontr X 是一个具有对象的类型当且仅当 X 是可收缩的。这是一个定理（在 UniMath 库中称为 isapropiscontr）：对于任何 X ，类型 iscontr X 具有 h-层级1，因此可收缩类型是一种性质。 h-层级1类型的对象所拥有的属性与高阶 h-层级类型的对象所拥有的结构之间的这种区别在泛等基础中非常重要。
h-层级2的类型称为集合。自然数的类型具有h-层级2是一个定理（在 UniMath 中称为 isasetnat）。泛等基础的创造者声称，Martin-Löf 类型理论中集合的泛等形式化是目前对集合论数学（无论是构造性的还是经典的）所有方面进行形式推理的最佳环境。
范畴被定义为（参见 UniMath 中的 RezkCompletion 库）h-层级3的类型，并带有一个附加结构，该结构与定义偏序集的 h-层级2类型的结构非常相似。泛等基础中的范畴论与集合论世界中的范畴论有些不同，也更丰富，其中最关键的区别就是是预范畴和范畴之间的区别。
关于泛等基础的主要思想及其与构造性数学的联系参见 Thierry Coquand 的教程。从经典数学角度对主要思想的介绍参见 Alvaro Pelayo 和 Michael Warren 在2014年的综述，以及 Daniel Grayson 的介绍。另请参阅：Vladimir Voevodsky（2014）。
目前的进展

Chris Kapulkin、Peter LeFanu Lumsdaine 和 Vladimir Voevodsky 撰写的论文中可以找到 Voevodsky 构造具有 Kan-单纯集的 Martin-Löf 类型论的泛等模型的说明。Michael Shulman构造了具有单纯集逆图范畴中值的泛等模型。这些模型表明，泛等公理独立于命题的排中律公理。
Voevodsky 的模型被认为是非构造性的，因为它以不可消除的方式使用选择公理。
为 Martin-Löf 类型理论的规则找到一个构造性解释，同时满足泛等公理和自然数规范性的问题仍是个开放问题。Marc Bezem、Thierry Coquand和Simon Huber的论文中概述了部分解决方案，剩下的关键问题是恒同类型消除子的可计算性。这篇论文的思想现在正在几个方向上发展，包括立方型理论的发展。
新的方向

大多数在泛等基础框架内的数学形式化工作都是使用归纳构造演算（CIC）的各种子系统和扩展来完成的。
尽管进行了多次尝试，但仍无法使用 CIC 构造三个常规问题的解决方案：
使用类型定义半单纯形类型、H-类型或(∞,1)-范畴结构。
使用全域管理系统来扩展 CIC，使其能实现尺寸调整规则。
开发泛等公理的构造性变体。
这些未解决的问题表明，虽然 CIC 对于泛等基础发展的初始阶段来说是一个很好的系统，但在更复杂方面的工作中转向使用计算机证明助手将需要开发新一代的形式演绎和计算系统。
另见

同伦类型论