Blaze7451/Wiki-zh-20250601 huggingface dataset:
戈尔登瓦利镇区 (明尼苏达州罗索县)

戈尔登瓦利镇区（Golden Valley Township）是位于美国明尼苏达州罗索县的一个行政镇区。

**地方资料**
戈尔登瓦利镇区的面积为93.71平方千米，皆为陆地。根据2020年美国人口普查的数据，当地共有人口180人，而人口密度为每平方千米1.92人。
格里姆斯塔德镇区 (明尼苏达州罗索县)

格里姆斯塔德镇区（Grimstad Township）是位于美国明尼苏达州罗索县的一个行政镇区。

**地方资料**
格里姆斯塔德镇区的面积为96.10平方千米，皆为陆地。根据2020年美国人口普查的数据，当地共有人口121人，而人口密度为每平方千米1.26人。
赫里姆镇区 (明尼苏达州罗索县)

赫里姆镇区（Hereim Township）是位于美国明尼苏达州罗索县的一个行政镇区。

**地方资料**
赫里姆镇区的面积为85.79平方千米，皆为陆地。根据2020年美国人口普查的数据，当地共有人口227人，而人口密度为每平方千米2.65人。
胡斯镇区 (明尼苏达州罗索县)

胡斯镇区（Huss Township）是位于美国明尼苏达州罗索县的一个行政镇区。

**地方资料**
胡斯镇区的面积为94.53平方千米，皆为陆地。根据2020年美国人口普查的数据，当地共有人口106人，而人口密度为每平方千米1.12人。
贾迪斯镇区 (明尼苏达州罗索县)

贾迪斯镇区（Jadis Township）是位于美国明尼苏达州罗索县的一个行政镇区。

**地方资料**
贾迪斯镇区的面积为128.04平方千米，皆为陆地。根据2020年美国人口普查的数据，当地共有人口624人，而人口密度为每平方千米4.87人。
莱克镇区 (明尼苏达州罗索县)

莱克镇区（Lake Township）是位于美国明尼苏达州罗索县的一个行政镇区。

**地方资料**
莱克镇区的面积为150.54平方千米，当中陆地面积为149.59平方千米，而水域面积为0.95平方千米。根据2020年美国人口普查的数据，当地共有人口1980人，而人口密度为每平方千米13.15人。
莱奥纳镇区 (明尼苏达州罗索县)

莱奥纳镇区（Laona Township）是位于美国明尼苏达州罗索县的一个行政镇区。

**地方资料**
莱奥纳镇区的面积为98.60平方千米，当中陆地面积为98.56平方千米，而水域面积为0.03平方千米。根据2020年美国人口普查的数据，当地共有人口508人，而人口密度为每平方千米5.15人。
林德镇区 (明尼苏达州罗索县)

林德镇区（Lind Township）是位于美国明尼苏达州罗索县的一个行政镇区。

**地方资料**
林德镇区的面积为93.68平方千米，皆为陆地。根据2020年美国人口普查的数据，当地共有人口32人，而人口密度为每平方千米0.34人。
马隆镇区 (明尼苏达州罗索县)

马隆镇区（Malung Township）是位于美国明尼苏达州罗索县的一个行政镇区。

**地方资料**
马隆镇区的面积为92.87平方千米，皆为陆地。根据2020年美国人口普查的数据，当地共有人口391人，而人口密度为每平方千米4.21人。
马隆 (明尼苏达州)

马隆（Malung）是位于美国明尼苏达州罗索县的一个非建制地区。

**历史**
马隆的邮局于1895年成立，其后于1954年停运。此地得名自同名瑞典城市。

**地理**
马隆所处的海拔为高于海平面324米（即1063英呎），而该地所采用的时区为UTC-6，即北美中部时区（CST）。同时该地设有夏令时间，为UTC-6调快一小时，即UTC-5（CDT）。
米基诺克镇区 (明尼苏达州罗索县)

米基诺克镇区（Mickinock Township）是位于美国明尼苏达州罗索县的一个行政镇区。

**地方资料**
米基诺克镇区的面积为97.68平方千米，皆为陆地。根据2020年美国人口普查的数据，当地共有人口261人，而人口密度为每平方千米2.67人。
穆斯镇区 (明尼苏达州罗索县)

穆斯镇区（Moose Township）是位于美国明尼苏达州罗索县的一个行政镇区。

**地方资料**
穆斯镇区的面积为94.45平方千米，当中陆地面积为94.44平方千米，而水域面积为0.01平方千米。根据2020年美国人口普查的数据，当地共有人口103人，而人口密度为每平方千米1.09人。
莫兰维尔镇区 (明尼苏达州罗索县)

莫兰维尔镇区（Moranville Township）是位于美国明尼苏达州罗索县的一个行政镇区。

**地方资料**
莫兰维尔镇区的面积为91.85平方千米，皆为陆地。根据2020年美国人口普查的数据，当地共有人口56人，而人口密度为每平方千米0.61人。
2024年奥尔良羽毛球大师赛

2024年奥尔良羽毛球大师赛为第12届奥尔良羽毛球大师赛，是2024年世界羽联世界巡回赛的其中一站。本届赛事于2024年3月12日至3月17日在法国奥尔良Palais des Sports举行，总奖金为21万美元。

**优胜者**

**赛事资料**

**比赛日程**
大会公布的日程如下：

**积分配置**
依据BWF积分排名系统中的世界巡回赛超级300级别赛事点数分配，本赛事各名次积分配置如下表：

**奖金安排**
本届赛事的总奖金达美金240,000元。按世界羽联的指引，奖金分布的安排如下：

**赛事种子**
大会根据2024年2月6日世界羽联世界排名决定参赛资格，并以2024年2月13日世界排名决定种子排名。种子的安排如下：

**赛事结果**

**男子单打**
上半区
第一小区
第二小区
下半区
第三小区
第四小区
准决赛及决赛
----

**女子单打**
上半区
第一小区
第二小区
下半区
第三小区
第四小区
准决赛及决赛
----

**男子双打**
上半区
第一小区
第二小区
下半区
第三小区
第四小区
准决赛及决赛
----

**女子双打**
上半区
第一小区
第二小区
下半区
第三小区
第四小区
准决赛及决赛
----

**混合双打**
上半区
第一小区
第二小区
下半区
第三小区
第四小区
准决赛及决赛
内勒森镇区 (明尼苏达州罗索县)

内勒森镇区（Nereson Township）是位于美国明尼苏达州罗索县的一个行政镇区。

**地方资料**
内勒森镇区的面积为93.90平方千米，皆为陆地。根据2020年美国人口普查的数据，当地共有人口56人，而人口密度为每平方千米0.6人。
帕姆维尔镇区 (明尼苏达州罗索县)

帕姆维尔镇区（Palmville Township）是位于美国明尼苏达州罗索县的一个行政镇区。

**地方资料**
帕姆维尔镇区的面积为92.66平方千米，当中陆地面积为92.62平方千米，而水域面积为0.04平方千米。根据2020年美国人口普查的数据，当地共有人口42人，而人口密度为每平方千米0.45人。
波利茨镇区 (明尼苏达州罗索县)

波利茨镇区（Pohlitz Township）是位于美国明尼苏达州罗索县的一个行政镇区。

**地方资料**
波利茨镇区的面积为117.12平方千米，当中陆地面积为111.71平方千米，而水域面积为5.41平方千米。根据2020年美国人口普查的数据，当地共有人口37人，而人口密度为每平方千米0.32人。
波洛尼亚镇区 (明尼苏达州罗索县)

波洛尼亚镇区（Polonia Township）是位于美国明尼苏达州罗索县的一个行政镇区。

**地方资料**
波洛尼亚镇区的面积为95.10平方千米，当中陆地面积为95.07平方千米，而水域面积为0.03平方千米。根据2020年美国人口普查的数据，当地共有人口26人，而人口密度为每平方千米0.27人。
波普勒格罗夫镇区 (明尼苏达州罗索县)

波普勒格罗夫镇区（Poplar Grove Township）是位于美国明尼苏达州罗索县的一个行政镇区。

**地方资料**
波普勒格罗夫镇区的面积为93.15平方千米，当中陆地面积为93.10平方千米，而水域面积为0.05平方千米。根据2020年美国人口普查的数据，当地共有人口81人，而人口密度为每平方千米0.87人。
赖恩镇区 (明尼苏达州罗索县)

赖恩镇区（Reine Township）是位于美国明尼苏达州罗索县的一个行政镇区。

**地方资料**
赖恩镇区的面积为93.69平方千米，当中陆地面积为93.47平方千米，而水域面积为0.22平方千米。根据2020年美国人口普查的数据，当地共有人口94人，而人口密度为每平方千米1人。
罗斯镇区 (明尼苏达州罗索县)

罗斯镇区（Ross Township）是位于美国明尼苏达州罗索县的一个行政镇区。

**地方资料**
罗斯镇区的面积为92.45平方千米，皆为陆地。根据2020年美国人口普查的数据，当地共有人口403人，而人口密度为每平方千米4.36人。
《黑天鹅》获奖名单

获奖和提名总数
总计
61
188
参考资料
黑天鹅是由戴伦·艾洛诺夫斯基执导，于2010年上映的独立心理学恐惧电影。此影片作为第67届威尼斯国际电影节的开幕影片首映，并于同年12月3日在北美部分城市有限上映，首日票房约为41.58万美元。首周末票房收入超过140万美元，平均每家影院的票房收入约为8.02万美元，是2010年首周末每家影院票房第二高的电影。当《黑天鹅》结束全球公映时，其票房收入超过3.25亿美元，取得了票房大片的地位。影评家们对这部电影赞赏有加。根据评论聚合网站烂番茄汇总的322篇评论文章，85%的评论家给予该电影正面评价。《滚石》杂志将该片列入其年度最佳电影名单。
《黑天鹅》获得的各类荣誉主要涉及对电影本身的认可，以及其摄影、导演和剪辑，还有演员的表演，特别是娜塔莉·波特曼在片中扮演的女主角芭蕾舞演员妮娜·塞耶斯。该片曾申请角逐威尼斯国际电影节金狮奖，但最终败给了苏菲亚·柯波拉执导的电影《在某处》。在该影片饰演女主角妮娜的对手莉莉的演员米拉·库尼斯后来凭借此角色在同一电影节上获得了马切洛·马斯楚安尼奖。此片导演达伦·阿伦诺夫斯基获得了美国导演工会奖杰出长片导演奖的提名，他还分别荣获了圣地牙哥影评人协会和旧金山湾区影评人协会颁发的最佳导演奖。该片也获得了视觉效果工会奖音响效果工会奖的提名，而艾米·威斯科特凭借其在该电影中设计的当代服装赢得了服装设计师工会奖。
娜塔莉·波特曼凭借在此片中的表演荣获了大部分2010年度的影评人奖项。此片入围第68届金球奖四项奖项，最终波特曼拿下了最佳女主角奖。该电影还获得了第83届奥斯卡金像奖五项提名，包括最佳影片、最佳导演、最佳女主角、最佳摄影以及最佳剪辑，其中唯一获奖的是最佳女主角。美国演员工会在第17届美国演员工会奖颁奖典礼上对这部电影给予了更多认可，不仅授予波特曼最佳女主角奖，还提名整个演员阵容最佳整体演出奖。库尼斯和波特曼在该影片中的一段吻戏分别获得由观众票选出的MTV影视大奖最佳吻戏和青少年选择奖最佳电影吻戏的提名。
《黑天鹅》分别在奥斯汀影评人协会和独立精神奖上一举夺得五项和四项奖项。还在纽约在线影评人协会和俄克拉荷马影评人协会上各获得三项奖项，并创纪录地获得了评论家选择协会奖的12项提名。该片在评论家选择协会奖上获得的提名的类别大相径庭，涵盖了从制作设计、服装与化妆到配乐等各种类别的提名。《黑天鹅》在第64届英国电影学院奖上表现相似，同样获得了12项提名，且入围了类似的奖项。另一个给予该片同样数量的提名的奖项是女性电影记者联盟奖，他们在包括“最佳裸露、性欲或性诱惑描写”等在内的多个奖项中对这部电影给予了认可。但即便《黑天鹅》入围了最佳影片奖，却也仍入围他们的“你想爱却无法爱的电影”一奖项。

**奖项和提名**

**参考资料**

**外部链接**
 section=awards
罗斯 (明尼苏达州)

罗斯（Ross）是位于美国明尼苏达州罗索县迪特尔镇区的一个非建制地区。

**地理**
罗斯所处的海拔为高于海平面315米（即1033英呎），而该地所采用的时区为UTC-6，即北美中部时区（CST）。同时该地设有夏令时间，为UTC-6调快一小时，即UTC-5（CDT）。
斯卡恩镇区 (明尼苏达州罗索县)

斯卡恩镇区（Skagen Township）是位于美国明尼苏达州罗索县的一个行政镇区。

**地方资料**
斯卡恩镇区的面积为90.93平方千米，皆为陆地。根据2020年美国人口普查的数据，当地共有人口202人，而人口密度为每平方千米2.22人。
索莱尔镇区 (明尼苏达州罗索县)

索莱尔镇区（Soler Township）是位于美国明尼苏达州罗索县的一个行政镇区。

**地方资料**
索莱尔镇区的面积为94.53平方千米，皆为陆地。根据2020年美国人口普查的数据，当地共有人口87人，而人口密度为每平方千米0.92人。
斯普鲁斯镇区 (明尼苏达州罗索县)

斯普鲁斯镇区（Spruce Township）是位于美国明尼苏达州罗索县的一个行政镇区。

**地方资料**
斯普鲁斯镇区的面积为92.10平方千米，当中陆地面积为91.90平方千米，而水域面积为0.20平方千米。根据2020年美国人口普查的数据，当地共有人口582人，而人口密度为每平方千米6.32人。
斯塔福德镇区 (明尼苏达州罗索县)

斯塔福德镇区（Stafford Township）是位于美国明尼苏达州罗索县的一个行政镇区。

**地方资料**
斯塔福德镇区的面积为93.26平方千米，皆为陆地。根据2020年美国人口普查的数据，当地共有人口269人，而人口密度为每平方千米2.88人。
淀

淀可能指：
*地名
**淀町
**淀村
**淀 (京都市)
*人名
**淀殿
*河川
**淀川
*交通
**淀车站
**淀车库
**淀桥
*军事
**淀城
**淀号通报舰
*调味品
**淀粉
斯托克斯镇区 (明尼苏达州罗索县)

斯托克斯镇区（Stokes Township）是位于美国明尼苏达州罗索县的一个行政镇区。

**地方资料**
斯托克斯镇区的面积为93.26平方千米，皆为陆地。根据2020年美国人口普查的数据，当地共有人口219人，而人口密度为每平方千米2.35人。
北罗索 (明尼苏达州)

北罗索（North Roseau）是位于美国明尼苏达州罗索县的一个未组织地区。

**地方资料**
北罗索的面积为309.95平方千米，当中陆地面积为309.91平方千米，而水域面积为0.04平方千米。根据2020年美国人口普查的数据，当地共有人口157人，而人口密度为每平方千米0.51人。
西北罗索 (明尼苏达州)

西北罗索（Northwest Roseau）是位于美国明尼苏达州罗索县的一个未组织地区。

**地方资料**
西北罗索的面积为326.26平方千米，当中陆地面积为318.15平方千米，而水域面积为8.11平方千米。根据2020年美国人口普查的数据，当地共有人口26人，而人口密度为每平方千米0.08人。
东南罗索 (明尼苏达州)

东南罗索（Southeast Roseau）是位于美国明尼苏达州罗索县的一个未组织地区。

**地方资料**
东南罗索的面积为463.83平方千米，当中陆地面积为462.85平方千米，而水域面积为0.98平方千米。根据2020年美国人口普查的数据，当地共有人口211人，而人口密度为每平方千米0.45人。
卡斯佩森 (明尼苏达州)

卡斯佩森（Casperson）是位于美国明尼苏达州罗索县的一个非建制地区。

**历史**
卡斯佩森的邮局于1903年成立，其后于1917年停运。此地得名自当地一对定居者兄弟。

**地理**
卡斯佩森所处的海拔为高于海平面354米（即1161英呎），而该地所采用的时区为UTC-6，即北美中部时区（CST）。同时该地设有夏令时间，为UTC-6调快一小时，即UTC-5（CDT）。
福克斯 (明尼苏达州)

福克斯（Fox）是位于美国明尼苏达州罗索县罗斯镇区的一个非建制地区。

**历史**
福克斯的邮局于1891年成立，其后于1937年停运。此地得名自当地的狐狸。

**地理**
福克斯所处的海拔为高于海平面333米（即1093英呎），而该地所采用的时区为UTC-6，即北美中部时区（CST）。同时该地设有夏令时间，为UTC-6调快一小时，即UTC-5（CDT）。
豪格 (明尼苏达州)

豪格（Haug）是位于美国明尼苏达州罗索县的一个非建制地区。

**历史**
豪格的邮局于1897年成立，其后于1931年停运。此地得名自来自挪威的定居者西奥多·E·豪格（Theodore E. Haug）。

**地理**
豪格所处的海拔为高于海平面315米（即1033英呎），而该地所采用的时区为UTC-6，即北美中部时区（CST）。同时该地设有夏令时间，为UTC-6调快一小时，即UTC-5（CDT）。
利奥 (明尼苏达州)

利奥（Leo）是位于美国明尼苏达州罗索县的一个非建制地区。

**历史**
利奥的邮局于1897年成立，其后于1915年停运。此地得名自教宗良八世。

**地理**
利奥所处的海拔为高于海平面314米（即1030英呎），而该地所采用的时区为UTC-6，即北美中部时区（CST）。同时该地设有夏令时间，为UTC-6调快一小时，即UTC-5（CDT）。
朗沃思 (明尼苏达州)

朗沃思（Longworth）是位于美国明尼苏达州罗索县的一个非建制地区。
此地得名自美国政治家尼古拉斯·朗沃斯。

**地理**
朗沃思所处的海拔为高于海平面329米（即1079英呎），而该地所采用的时区为UTC-6，即北美中部时区（CST）。同时该地设有夏令时间，为UTC-6调快一小时，即UTC-5（CDT）。
彭瑟 (明尼苏达州)

彭瑟（Pencer）是位于美国明尼苏达州罗索县米基诺克镇区的一个非建制地区。

**地理**
彭瑟所处的海拔为高于海平面333米（即1093英呎），而该地所采用的时区为UTC-6，即北美中部时区（CST）。同时该地设有夏令时间，为UTC-6调快一小时，即UTC-5（CDT）。
派恩克里克 (明尼苏达州罗索县)

派恩克里克（Pinecreek）是位于美国明尼苏达州罗索县迪特尔镇区的一个非建制地区。

**历史**
派恩克里克的邮局于1896年成立，其后于1975年停运。

**地理**
派恩克里克所处的海拔为高于海平面320米（即1050英呎），而该地所采用的时区为UTC-6，即北美中部时区（CST）。同时该地设有夏令时间，为UTC-6调快一小时，即UTC-5（CDT）。
奥德修斯号月球着陆器

奥德修斯号月球着陆器（Odysseus）是直觉机器公司（Intuitive Machines）设计的第一个直觉机器Nova-C月球着陆器，任务代号IM-1。
2024年2月15日，奥德修斯号发射升空；2月22日，奥德修斯号在月球南极地区马拉柏特环形山（E）着陆，随后侧翻至30度角，但所有仪器仍然正常工作，因此任务被判定为成功；2月29日，奥德修斯号在月夜前最后一次与地球通信；3月23日，直觉机器公司宣布任务结束。
IM-1任务是民营航天公司首次实现月球软着陆，而奥德修斯号则是1972年阿波罗17号之后第一艘在月球上软着陆的美国制造的航天器。
着陆器的名字源自古希腊史诗《奥德赛》中的人物奥德修斯。

**任务设备**
奥德修斯号月球着陆器上搭载了美国国家航空航天局开发的六种仪器以及Embry–Riddle Aeronautical University, Daytona Beach的学生制造的EagleCam、月球望远镜和杰夫·昆斯的艺术作品。酬载总共包括六台美国太空总署科学仪器和六台商业仪器（其中五台是科学仪器，一台是文化仪器） 。
美国航空航太公司直觉机器公司设计了Nova-C级月球着陆器，并开发了部署在月球上的 IM-1 奥德修斯号月球着陆器。

**任务事件**

**发射之前**
2024年1月31日，奥德修斯号月球着陆器被装入猎鹰9号Block 5的有效载荷整流罩中。 

**发射**
猎鹰9号Block 5从甘迺迪太空中心发射中心39A发射。
世界标准时间2024年2月15日06:05，搭载奥德修斯号月球着陆器的猎鹰9号Block 5成功发射。

**轨迹修正动作**
直觉机器公司计划在任务的跨月阶段进行最多三次轨道调整机动。第一次调整机动于2月18日完成，并在2月20日进行第二次调整机动，其后无需进行第三次调整机动。
2月20日，直觉机器公司报道称，奥德修斯号已完成约72%的月球旅程。

**登月**
显示马拉柏特环形山「卫星陨石坑」位置的地图。
截至2020年，最受欢迎的登陆地点是宁静之海（澄海）和危机之海（危海）之间，这些月海是熔岩流入古代撞击盆地时所形成的大平原。
2024年，该计划选择在月球南极附近的月球高地位置进行着陆，因为该地区被认为拥有未来月球基地的水源，而选择距月球南极km的马拉珀特-A陨石坑区域是因为除了其他考虑因素外，它似乎是靠近月球南极的一个相对平坦且安全的着陆地点。
2月22日，奥德修斯号月球着陆器成功降落至月球表面。根据遥测数据，奥德修斯号月球着陆器在月球着陆时倾侧倒地，不过整体仍正常运作，只有杰夫·昆斯（Jeff Koons）的艺术项目装置因为面向倾侧地面而未能正常运作。
2月27日，奥德修斯号停止运作。

**参见**
 月球25号- 月船3号- 游隼号月球着陆器- 智能月球探测器

**参考文献**

**外部连结**
  直觉机器公司 date=20240808203430
萨洛尔 (明尼苏达州)

萨洛尔（Salol）是位于美国明尼苏达州罗索县恩斯特龙镇区的一个非建制地区。

**历史**
萨洛尔的邮局于1907年成立，其后于1993年停运。此地由一名转任为县官的药剂师命名。

**地理**
萨洛尔所处的海拔为高于海平面329米（即1079英呎），而该地所采用的时区为UTC-6，即北美中部时区（CST）。同时该地设有夏令时间，为UTC-6调快一小时，即UTC-5（CDT）。
斯基梅 (明尼苏达州)

斯基梅（Skime）是位于美国明尼苏达州罗索县赖恩镇区的一个非建制地区。

**地理**
斯基梅所处的海拔为高于海平面363米（即1191英呎），而该地所采用的时区为UTC-6，即北美中部时区（CST）。同时该地设有夏令时间，为UTC-6调快一小时，即UTC-5（CDT）。
斯威夫特 (明尼苏达州)

斯威夫特（Swift）是位于美国明尼苏达州罗索县莱奥纳镇区及莫兰维尔镇区的一个非建制地区。

**地理**
斯威夫特所处的海拔为高于海平面354米（即1161英呎），而该地所采用的时区为UTC-6，即北美中部时区（CST）。同时该地设有夏令时间，为UTC-6调快一小时，即UTC-5（CDT）。
托芬 (明尼苏达州)

托芬（Torfin）是位于美国明尼苏达州罗索县的一个非建制地区。

**历史**
托芬的邮局于1907年成立，其后于1914年停运。此地得名自县政府专员艾弗‧托芬（Iver Torfin）。

**地理**
托芬所处的海拔为高于海平面345米（即1132英呎），而该地所采用的时区为UTC-6，即北美中部时区（CST）。同时该地设有夏令时间，为UTC-6调快一小时，即UTC-5（CDT）。
旺纳斯卡 (明尼苏达州)

旺纳斯卡（Wannaska）是位于美国明尼苏达州罗索县格里姆斯塔德镇区及米基诺克镇区的一个非建制地区。

**历史**
旺纳斯卡的邮局自1896年营运至今。此地得名自同名的河，该河得名自「罗索」的奥及布韦语。

**地理**
旺纳斯卡所处的海拔为高于海平面338米（即1109英呎），而该地所采用的时区为UTC-6，即北美中部时区（CST）。同时该地设有夏令时间，为UTC-6调快一小时，即UTC-5（CDT）。
温纳 (明尼苏达州)

温纳（Winner）是位于美国明尼苏达州罗索县的一个鬼镇。

**历史**
温纳的邮局于1913年成立，其后于1937年停运。

**地理**
温纳所处的海拔为高于海平面377米（即1237英呎），而该地所采用的时区为UTC-6，即北美中部时区（CST）。同时该地设有夏令时间，为UTC-6调快一小时，即UTC-5（CDT）。
直觉机器公司

直觉机器公司位于休士顿太空港的月球作业设施
直觉机器公司（Intuitive Machines, Inc.）是一家美国太空探索公司，总部位于休斯敦。它成立于2013年。   2023年2月，纳斯达克上市Inflection Point Acquisition Corp. 与该公司合并。  该公司已和美国国家航空航天局签约，并研发了奥德修斯月球着陆器。奥德修斯月球着陆器也是1972 年以来第一艘登陆月球的美国航天器。
蕨 (消歧义)

蕨是一种碗蕨科蕨属的植物。
蕨类植物则为一个曾经存在的生物分类，是传统上对属于维管束植物但非种子植物物种的通称。
此外，蕨还可能指：
*地名
**蕨市
*人名
**日本姓氏
*交通
**蕨车站
*文化
**蕨饼
*军事
**蕨城
**蕨号驱逐舰
*气象学
**台风古莎莉，自2023年「台风梅姬」被除名后，台风委员会决定用以上植物名称韩语音译代替。
肠道双联囊肿

肠重复囊肿，有时简称为复制囊肿，是罕见的胃肠道先天畸形。 它们最常发生在小肠，特别是回肠，但也可以发生在胃肠道的任何地方。 它们的形状可能是囊状或管状的。 
出现复制囊肿的情况称为肠重复。 

**症状和体征**
症状取决于重复的位置。发生在胃肠道（例如食道）高位的重复可能会因气道受压而导致呼吸困难。肠道下部重复（例如十二指肠、结肠）可能与腹痛、消化道出血、可触及肿块、呕吐等症状，或者可能导致肠梗阻。较小的病变可以作为肠套叠的所谓“引导点”。 

**诊断**

**治疗**
重复通常会通过手术切除，即使它们是偶然发现的（即不会引起症状或因其他原因在常规研究中遇到），因为未经治疗的病例导致并发症的发生率很高。 从技术上讲，囊状通常比管状畸形更容易切除，因为管状结构通常与相关肠道共享血液的供应。 

**参考**

**外部链接**
 Medscape 的 胃肠道重复 date=20220303065813
西海社区

西海社区是3什刹海街道的一个社区。位于什刹海街道西北角，紧临北二环,东至德内大街，西至新街口北大街，南至新街口东街，北至德胜门西大街，占地面积0.31平方公里，常住人口2367人。

**辖区范围**
德胜门内大街（单）1-105号、（双）2-98号
*新街口北大街（双）2-60号
*西顺城街(双)2-42号 46-60号
*西海北沿（单）1-11号、（双）2-12号 （单双）15-36号
*西海东沿1-11号
*水章胡同1-6号
*板桥头条、
*板桥二条
*板桥三条
*西海西沿（单双）1-10号
*水车胡同、水车胡同东岔
*铁炉胡同
*辛勤胡同、辛勤胡同北岔
*西海南沿
*小半截胡同（单）1-15号、（双）2-8号
*小铜井胡同
中国国货运动

中国国货运动又称国货运动，是20世纪上半叶中华民国境内的提倡购买国货的运动。中国国货运动在20世纪30年代初的九一八事件前后达到高潮。

**背景**
20世纪初，张謇等人倡导发展实业、实业救国。此时随着一系列反帝国主义以及爱国运动的兴起，许多青年学生、民族工商业者发起的抵制洋货运动迅速转变为支持国货的运动。许多国货团体成立，并得到政府的支持。这些国货团体又进一步推动国货运动的开展。

**活动**
1915年，群众为反对二十一条而发起“抵制日货，提倡国货”运动。
1930年11月，全国工商会议召开，会议提到要提倡和发展国货。

**上海**
1911年12月，上海成立中华国货维持会，以“提倡国货，发展实业，改进工艺，扩大贸易”为宗旨。此后各地仿效上海成立提倡销售和生产国货的团体。
1923年，中华国货维持会开设国货公司。1926年，国货维持会名誉会董匡仲谋建成占地24亩的蓬莱国货市场，宣传推广国货。
1927年，由三友实业社、五洲固本皂药厂、家庭工业社、冠生园食品厂、天厨味精厂、中国化学工业社等企业发起成立上海机制国货工厂联合会，并要求政府迅速制定国货奖励办法。
1928年，国民政府在上海煤屑路（今国货路）举办全国性的中华国货展览会，展出各地生产的纱布、绸缎、日用品、土特产品、工艺品等商品。
1932年9月18日，为纪念九一八事变一周年，中国化学工业社、三友实业社、华福制帽厂、五和织造厂、美亚织绸厂等联合组成九厂国货临时联合商场，在上海南京路举行廉价销售八天的活动。1933年2月，由方液仙任董事长兼总经理，李康年任副经理的中国国货公司开张。
1933年，当年被定为国货年。同年底，上海市商会、上海市地方协会、妇女节制会、妇女提倡国货会、中华国货产销会五团体召开联席会议，定1934年为“妇女国货年”，并于1934年元旦举行一次国货游行。1935年又定为学生国货年。
1937年4月，中国国货联合营业股份有限公司成立，王性尧担任副经理。

**北平**
1931年，北平基督教青年会为提倡国货，发起国货展览会，展期共五天。1932年，北平基督教女青年会举办国货家庭展览会。

**汉口**
九一八事变后，中国国民党汉口特别市党部发起汉口市国货运动委员会。1934年，中国国民党汉口市党部与有关部门发起提倡国货、抵制日货运动，举办国货宣传周，市党部同时改组汉口市国货运动委员会。1月，中国国民党汉口市党部举办提倡国货宣传周，通过演讲、表演等宣传方式，鼓动市民购买国货。3月，中国国民党汉口市党部举办20余天的国货流动展览会，参观市民达50万人次。中国国民党汉口市党部又举办宣传游艺大会、妇女国货时装表演会、中小学生提倡国货讲演会、国货广告灯彩游行大会等。中国国民党汉口市党部、汉口市国货运动委员会又推动商界在汉口设立中华国货商场、新市场国货商场。5月，中国国民党汉口市党部组织为期7天的学生国货扩大宣传周，中国国民党汉口市党部主要负责人胡国亭、陈乐三等亲自出面宣传国货。
盔唇瓢虫族

盔唇瓢虫族（学名：Chilocorini）是瓢虫科的一个类群，其种类广泛分布于世界各地。该族昆虫主要以捕食介壳虫为生，许多种类被广泛应用于害虫的生物防治。盔唇瓢虫族在瓢虫科内的分类地位一直存在争议，经多次修订后盔唇瓢虫族分为22个属约280余种。

**分类**
盔唇瓢虫族由法国昆虫学家艾蒂安·穆尔山（Étienne Mulsant）于1846年命名，仅包括盔唇瓢虫属（Chilocorus）和光瓢虫属（Exochomus）。1850年穆尔山将盔唇瓢虫族放入到亚科Gymnosomides中,并建立了Brumus、Orcus、Egius、Elpis、Corystes5个新属以及Cladis、Zagreus、Axion、Halmus、Harpasus、Curinus、Priasus7个亚属。之后的分类修订都是在此框架下展开。
到1932年，盔唇瓢虫族已包括21属（亚属）。2020年，最新修订后的盔唇瓢虫族共有22个属。
盔唇瓢虫族的属有：- Arawana- Axion- 纵条瓢虫属（Brumoides）- 珠润瓢虫属（Brumus）- Chapinaria- 盔唇瓢虫属（Chilocorus）- 壮唇瓢虫属（Chujochilus)- Cladis- Curinus- Endochilus- 光缘瓢虫属（Exochomus）- Halmus- Harpasus- Hypoceras- Orcus- 细齿光瓢虫属（Parexochomus）- 平缘光瓢虫属（Priscibrumus）- 任氏唇瓢虫属（Renius）- Sicardiana- Trichorcus- 黑缘光瓢虫属（Xanthocorus）- Zagreus

**系统发育**
盔唇瓢虫族在瓢虫科内的分类地位一直存在争议。1968年基于形态学特征将盔唇瓢虫族归入盔唇瓢虫亚科（Chilocorinae）并得到广泛认可。直到2007年将盔唇瓢虫族归入了瓢虫亚科（Coccinellinae），此后的大多数研究都支持这一分类。
安复

安复（catIdx=A安），字来一，江苏无锡人，早期中共党员。1927年1月4日，无锡总工会宣布成立，安复担任宣传部长。

**简介**
1925年，毕业于无锡公益工商中学商科，同年加入中国共产党。四一二事件之后，由武汉前往苏联留学，就读于莫斯科中山大学。在留学期间接受“托洛茨基主义”思想，并成为中共留苏“托派”领袖。
硫酸钡悬浮液

硫酸钡悬浮液（Barium sulfate suspension ），通常被简称为钡餐，是进行X光检查时使用的contrast agent。具体来说，此悬浮液是在放射摄影或电脑断层扫描（CT扫描）过程中用来改善消化道（食道、胃、肠）的视觉化用途。它可经由口服或是直肠的途经给药。
使用此悬浮液后的副作用有便秘、腹泻、阑尾炎及因吸入而造成的Pneumonitis。不建议患有肠胃穿孔或肠梗阻的人使用。过敏反应案例罕见。个体于怀孕期间使用对胎儿属于安全，然而照射X光可能会对胎儿有害。此浮液通常是由硫酸钡粉末与水混合制成，是一种非碘化显影剂。

**医疗用途**
影像诊断技师会在CT扫描或Fluoroscopy之前或是过程中（例如在upper gastrointestinal series或大肠钡剂灌肠显影案例）提供此种悬浮液，以便仔细观察个体的消化道。在前者程序，个体被指示要经禁食之后再吞咽硫酸钡混悬液。禁食的时间会有所不同，取决于设备的要求和要扫描的身体部位，但通常会在扫描前几个小时前即开始禁食。禁食通常是取消用餐一次，且不饮用任何液体。
个体在CT扫描/萤光透视检查前90分钟至两小时开始吞咽悬浮液。吞咽数量采节奏式进行，从扫描前两小时开始，在容器上标记份量，于此两个小时内每个小时依指示服用。有一小部分悬浮液是在测试前几分钟才服用，以确保消化道内有越多的区域受到悬浮液覆盖。而钡剂吞咽检查（或称吞咽摄影）中的吞咽时机是在检查开始后才进行，以判断个体是否有吞咽或咀嚼困难的状况。
个体于扫描完成后，会被鼓励恢复正常饮食，特别是要多喝水。多喝水有助于防止便秘，促使硫酸钡随粪便排出（参阅约翰霍普金斯医院医学图书馆中所备的相关教育说明）。

**副作用**
一些对于硫酸钡悬浮液过敏或是胃部敏感的个体会与影像诊断技师讨论使用替代品，但在大多数使用者中常见的副作用是会稍有不快，但并非严重的问题。
于网站MedlinePlus上列出的副作用有恶心和腹泻，可能会在服用后15分钟内开始，并持续到测试完成后一日。其他少见的副作用有虚弱感、皮肤苍白、耳鸣、便秘和呕吐，如果发生，建议立即与医生或护士联系，寻求帮助。

**悬浮液口感与质地**
口服式硫酸钡悬浮液有时被描述为一种稠度非常浓的牛奶或是非常稀的奶昔饮品。有些个体可能认为这是一种白垩式液状，带有轻微药味的碳酸钙抗酸剂。 研究人员Roscoe Miller在他发表的关于"加味硫酸钡悬浮液"的报告中指出每个人的味觉阈值不同，且对药物的药物耐受性也不同。如果需要悬浮液快速通过上消化道，可预先将其冷藏后再服用。

**交互作用**
硫酸钡与其他药物无显著的交互作用。但为谨慎，建议个体在服用之前应先行告知医护人员本身目前正服用的处方药或非处方药。

**作用机转**
硫酸钡悬浮液为一种称为"显影剂"的药物类别。它可覆盖在食道、胃或肠道表面，不会被身体吸收，使受损或异常区域在X光检查或CT扫描中显得更加清晰。
虽然钡为重金属，其水溶性化合物通常具有高度毒性，但硫酸钡具有的的低溶解性可保护个体，免于吸收有害数量的金属。硫酸钡比之前使用的Thorotrast（二氧化钍悬浮液）更易从人体排出。由于钡的原子序数 (Z = 56) 相对较高，其化合物更能吸收X射线。

**历史**
硫酸钡自中世纪以来就已为人所知。到1910年时已普遍在美国作医疗用途。此悬浮液也被列入世界卫生组织基本药物标准清单。
硫酸钡悬浮液一直是消化道检查用的标准显影剂。制造厂家一直努力设法让硫酸钡颗粒的颗粒能够在溶液中悬浮越久，更均匀。有些产品会加入不同口味让个体更易入口及吞咽。

**参见**

**外部连结**
  title = Barium sulfate 
分类:RTT
分类:世界卫生组织基本药物
兰州公交集团

兰州公交集团是中华人民共和国甘肃省兰州市一家市属国有公交企业，总部位于七里河区西津东路493号，主要承担着兰州市近郊四区和兰州新区及周边地区城市客运任务。兰州公交集团下属第一至第七客运公司、新区客运公司共八个客运公司，另有10家分支机构和10家全资子公司。

**历史**
公司成立于1953年。2003年，兰州市公共交通总公司改制为兰州公交集团有限公司。
2020年开始，由于兰州公交集团的收入已经低于成本，兰州公交集团未能向该公司的员工下发2022年6月至9月期间的的工资，该公司于是鼓励公司员工自己向兰州农商银行贷款，未来公司再替员工还贷款。
白发症

白发症、灰发症（英文：Poliosis）、有限白发症（英文：poliosis circumscripta）、白额发（英文：white forelock）、花白是指头毛、眉毛、睫毛或任何其他多毛区域的黑色素减少或消失。
这种情况会导致头发出现单个或多个白色斑块。与简单的胎记相似。
白发症受影响的毛囊通常不存在或很少黑色素。受影响的毛囊通常不影响正常皮肤的黑素细胞。 

**参考**

**相关**
 白癜风- 色素脱失- 白色变型
**《月亮的小孩》：台湾以白化症为主题的纪录片- 菲茨帕特里克度量- 面色苍白
不丹政治

不丹自2008年7月18日起实行君主立宪制。不丹国王为国家元首，行政权由首相领导的部长会议（宗卡语：ལྷན་རྒྱས་གཞུང་ཚོགས་；威利转写：lhan-rgyas gzhung-tshogs）行使。立法权分属由上议院的国家委员会和下议院的国民议会所组成的两院制议会。2007年时颁布的皇家法令也解除之前对政党的禁令，以迎接隔年的国会选举。2008年，不丹通过了首部现代宪法，将政府运作模式和以民主多党制的为基础的法律框架编入宪法。

**主权**
1910年《普那卡条约》签订后，不丹的对外关系和外交政策长期受英国控制。但由于不丹自我孤立主义政策，英国无法彻底控制不丹的外交。1949年印度独立后，不丹和印度达成十条永久条约，并延续两国关系发展，印度也取代了英国的地位，印方同意不干涉不丹的内政，而不丹则同意在对外关系上遵从印度政府的建议。该条约也确立了两国之间的自由贸易和引渡制度。
2007年2月，《印度－不丹友好条约》进行大幅修改，删除条约中「受到印度政府指导」等措辞，消除对不丹主权和独立地位的最后疑虑。

**政府部门**
不丹宪法规定政府由三个主要部门组成——行政、立法和司法与事实上的非政治性竹巴噶举国教领导的Dratshang Lhentshog。政府的世俗和宗教（双轨制）部门由国王统筹。
但世俗政府的三分法并不是绝对的，仍有许多独立机构在框架之外运作，例如皇家金融管理局和选举委员会。也有一些机构的成员来自多个政府部门，如司法委员会。立法部门本身主要负责监督接受中央下放权力的地方政府。

**行政部门**
不丹的国家元首称为“朱甲布”（意为「龙王」）。此头衔是世袭的，且必须在65岁之前退休，并且可以由议会三分之二多数票罢免他，然后进行全民公投，公投必须在该国所有 20 个地区以简单多数通过。2008年之前存在类似的退位程序，一院制国民议会可以迫使国王退位。
基堪布是不丹执掌宗教的最高官员，也是寺院事务委员会的负责人。他通常被视为是不丹国王最亲密、且最有权势的顾问。现任的基堪布是Jigme Chhoeda。
不丹政府由首相领导。首相由在国民议会中赢得最多席位的政党提名，并领导内阁，即为部长会议。
1998年，行政权由国王身上移转到部长会议。当时的部长会议的候选人由国民议会选举产生，任期为五年，且是立法机构的一部分。部长会议由首相领导，首相是政府首脑。首相由获得最高票数的五名候选人每年轮流担任。在此之前，部长会议的候选人由国王提名，并由国民议会选举产生，成员任期五年。还有一个皇家顾问委员会，成员由国王提名。

**立法部门**
乌颜·旺楚克与他的议员在不丹普那卡，1905年
不丹根据2008年实施的宪法以普选产生立法部门。不丹国会实行两院制，由国家委员会（上议院）和国民议会（下议院）组成。
2008年前立法部门是一院制议会，有150名议员，其中106名成员是借由在不同日期举行的单席次选区选举产生的，任期三年，还包括34名被任命的议员和10名寺院代表。当时不丹的选举权很独特，以家庭为单位，每个家庭皆有一票，而不是每个人都有一票。

**政党和选举**
在不丹的政党、选举和公民投票均受到独立于政府外的选举委员会的监督。
不丹大多数选举的候选人必须是无党派的，但政党可以提名参选国民议会议员席次的候选人，且由赢得最多席次的政党提名首相。首任首相由不丹和平与繁荣党的吉格梅·廷莱担任。现任首相则由人民民主党的策林·托杰担任。
不丹的政治压力团体包括佛教僧侣、尼泊尔少数民族组织领导激进的反政府运动、印度商人组成的团体和流亡的民主统一阵线。

**司法部门**
不丹的法律体系以夏仲阿旺朗杰于17世纪制定的法典为基础，并受到英印法律体系的影响。根据2008年开始实行的宪法，司法部门由最高法院、高等法院和20个Dzongkhag Court组成。在不丹的六个宗的十三个东，Dungkhag Court是一审法院。在东法院以外的所有区域中，宗法院是负责一审民事和刑事法院。高等法院是上诉法院，最高法院是终审法院。最高法院还对国王提交的宪法问题和具有国家重要性的事项具有初审的权力。最高法院和高等法院的法官由国王任命。 
2008年之前，在不丹司法系统中，由君主负责终审，地方政府官员负责裁决轻微犯罪。不丹王家法院是该国的最高法院，并对全国二十个地区拥有初审权。法官由君主任命，并且可以随时被君主召回。

**法律体制**
刑事司法制度以法官小组的审判为基础，因此更像拿破仑式的体制，而不是基于英国或美国的审判体制。检察官是政府公务员，并试图让被告承认有罪。法官可以随时因缺乏证据而驳回案件审理。轻微刑事犯罪可由宗法院的法官审理。
不丹目前尚未接受国际法院的强制管辖权。

**行政区划**
不丹全国分为20个宗：布姆唐、楚卡、达加纳、加萨、哈阿、伦奇、蒙加尔、帕罗、佩马加策尔、普那卡、萨姆德鲁琼卡尔、佩马加策尔、萨姆、盖莱普、廷布、塔希冈、塔希央奇、奇朗、通萨、旺杜波德朗和谢姆冈。

**国际参与**
不丹是亚洲开发银行、Bay of Bengal Initiative for Multi-Sectoral Technical and Economic Cooperation、可伦坡计划、联合国亚太经社会、联合国粮农组织、七十七国集团、国际复兴开发银行、国际民航组织、国际开发协会、国际农业发展基金、国际货币基金组织、国际金融公司、国际通讯卫星组织、国际刑警组织、国际奥林匹克委员会、国际电信联盟、不结盟运动、禁止化学武器组织、南亚区域合作联盟、联合国、联合国贸易和发展会议、联合国教科文组织、联合国工业发展组织、万国邮政联盟、世界卫生组织、世界智慧财产权组织、世界气象组织、世界旅行组织的成员。

**参见**
 不丹宪法- 不丹政党列表
贝尔普莱恩 (明尼苏达州)

贝尔普莱恩（Belle Prairie）是一个位于美国明尼苏达州斯科特县的城市。

**人口**
根据2020年美国人口普查的数据，贝尔普莱恩的面积为16.00平方千米，当中陆地面积为15.42平方千米，而水域面积为0.58平方千米。当地共有人口7395人，而人口密度为每平方千米462人。
贝尔普莱恩镇区 (明尼苏达州斯科特县)

贝尔普莱恩镇区（Belle Prairie Township）是位于美国明尼苏达州斯科特县的一个行政镇区。

**地方资料**
贝尔普莱恩镇区的面积为97.83平方千米，皆为陆地。根据2020年美国人口普查的数据，当地共有人口870人，而人口密度为每平方千米8.89人。
克雷迪特里弗 (明尼苏达州)

克雷迪特里弗（Credit River）是一个位于美国明尼苏达州斯科特县的城市。

**历史**
克雷迪特里弗镇区于1858年成立，得名自当地同名的河。2015年，明尼苏达州政府首次将克雷迪特里弗镇区升格为城市一事提上日程。克雷迪特里弗于2021年5月11日正式成为城市。

**人口**
根据2020年美国人口普查的数据，克雷迪特里弗的面积为61.60平方千米，当中陆地面积为60.50平方千米，而水域面积为1.10平方千米。当地共有人口5493人，而人口密度为每平方千米89人。
泛等基础

泛等基础是一种建立数学基础的方法，它以类型作为构建数学结构的基础对象。泛等基础中的类型并不完全对应于集合论基础中的任何东西，但它们都可以视作一个空间，其中相等类型对应于同伦等价空间，类型的相等元素对应于由路径（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 对于泛等基础发展的初始阶段来说是一个很好的系统，但在更复杂方面的工作中转向使用计算机证明助手将需要开发新一代的形式演绎和计算系统。

**另见**
 同伦类型论

**注记**

**参考来源**

**外部链接**
 univalent
 形式化数学库- dead-url=no- dead-url=no-  Introduction to Univalent Foundations of Mathematics with Agda date=20240305011726
埃尔科纽马基特 (明尼苏达州)

埃尔科纽马基特（Elko New Market）是一个位于美国明尼苏达州斯科特县的城市。
2006年3月21日，公投通过将埃尔科及纽马基特两座城市合并，于2007年1月1日正式合并。

**气候**

**人口**
根据2020年美国人口普查的数据，埃尔科纽马基特的面积为9.03平方千米，皆为陆地。当地共有人口4846人，而人口密度为每平方千米537人。
埃尔科 (明尼苏达州)

埃尔科（Elko）是位于美国明尼苏达州斯科特县的一个非建制地区，于2007年1月1日与纽马基特合并为埃尔科纽马基特。

**地理**
埃尔科所处的海拔为高于海平面378米（即1142英呎），而该地所采用的时区为UTC-6，即北美中部时区（CST）。同时该地设有夏令时间，为UTC-6调快一小时，即UTC-5（CDT）。
纽马基特 (明尼苏达州)

纽马基特（New Market）是位于美国明尼苏达州斯科特县的一个非建制地区，于2007年1月1日与埃尔科合并为埃尔科纽马基特。

**地理**
纽马基特所处的海拔为高于海平面339米（即1112英呎），而该地所采用的时区为UTC-6，即北美中部时区（CST）。同时该地设有夏令时间，为UTC-6调快一小时，即UTC-5（CDT）。
乔丹 (明尼苏达州)

乔丹（Jordan）是一个位于美国明尼苏达州斯科特县的城市。

**人口**
根据2020年美国人口普查的数据，乔丹的面积为8.53平方千米，当中陆地面积为8.47平方千米，而水域面积为0.06平方千米。当地共有人口6656人，而人口密度为每平方千米780人。
萨维奇 (明尼苏达州)

萨维奇（Savage）是一个位于美国明尼苏达州斯科特县的城市。

**人口**
根据2020年美国人口普查的数据，萨维奇的面积为42.53平方千米，当中陆地面积为40.41平方千米，而水域面积为2.11平方千米。当地共有人口32465人，而人口密度为每平方千米763人。
维克托·穆什塔科夫

维克托·阿列克谢耶维奇·穆什塔科夫（Виктор Алексеевич Муштаков，12月19日），俄罗斯男子速度滑冰运动员，2019年世界单程距离速度滑冰锦标赛男子500米和男子团体竞速赛铜牌得主、2020年欧洲速度滑冰锦标赛男子团体竞速赛金牌得主。
普赖尔莱克 (明尼苏达州)

普赖尔莱克（Prior Lake）是一个位于美国明尼苏达州斯科特县的城市。

**人口**
根据2020年美国人口普查的数据，普赖尔莱克的面积为50.57平方千米，当中陆地面积为42.16平方千米，而水域面积为8.41平方千米。当地共有人口27617人，而人口密度为每平方千米546人。
锡达莱克镇区 (明尼苏达州斯科特县)

锡达莱克镇区（Cedar Lake Township）是位于美国明尼苏达州斯科特县的一个行政镇区。

**地方资料**
锡达莱克镇区的面积为93.89平方千米，当中陆地面积为90.96平方千米，而水域面积为2.93平方千米。根据2020年美国人口普查的数据，当地共有人口3050人，而人口密度为每平方千米32.48人。
梅德里·巴赫里

梅德里·巴赫里（提格里尼亚语：መረብ ምላሽ）是位于马雷布河以北、厄立特里亚高地的一个埃塞俄比亚帝国半自治省。pp=121–122孟尼利克二世后来在《乌查勒条约》 中承认埃塞俄比亚帝国不再对梅雷布·梅拉什拥有主权 。
锡达莱克 (明尼苏达州)

锡达莱克（Cedar Lake）是位于美国明尼苏达州斯科特县锡达莱克镇区的一个非建制地区。

**地理**
锡达莱克所处的海拔为高于海平面287米（即942英呎），而该地所采用的时区为UTC-6，即北美中部时区（CST）。同时该地设有夏令时间，为UTC-6调快一小时，即UTC-5（CDT）。
斯普林莱克镇区 (明尼苏达州斯科特县)

斯普林莱克镇区（Spring Lake Township）是位于美国明尼苏达州斯科特县的一个行政镇区。

**地方资料**
斯普林莱克镇区的面积为77.09平方千米，当中陆地面积为73.03平方千米，而水域面积为4.06平方千米。根据2020年美国人口普查的数据，当地共有人口3464人，而人口密度为每平方千米44.93人。
斯普林莱克 (明尼苏达州斯科特县)

斯普林莱克（Spring Lake）是位于美国明尼苏达州斯科特县斯普林莱克镇区的一个非建制地区。

**地理**
斯普林莱克所处的海拔为高于海平面282米（即925英呎），而该地所采用的时区为UTC-6，即北美中部时区（CST）。同时该地设有夏令时间，为UTC-6调快一小时，即UTC-5（CDT）。
布莱克利镇区 (明尼苏达州斯科特县)

布莱克利镇区（Blakeley Township）是位于美国明尼苏达州斯科特县的一个行政镇区。

**地方资料**
布莱克利镇区的面积为70.50平方千米，当中陆地面积为68.56平方千米，而水域面积为1.94平方千米。根据2020年美国人口普查的数据，当地共有人口408人，而人口密度为每平方千米5.79人。
丹尼斯·尤斯科夫

丹尼斯·伊戈尔耶维奇·尤斯科夫（Денис Игоревич Юсков，10月11日），俄罗斯男子速度滑冰运动员，2018年欧洲速度滑冰锦标赛男子1500米和男子团体竞速赛金牌得主、男子1000米银牌得主、2020年欧洲速度滑冰锦标赛男子1500米和男子团体追逐赛银牌得主、男子5000米铜牌得主。
布莱克利 (明尼苏达州)

布莱克利（Blakeley）是位于美国明尼苏达州斯科特县布莱克利镇区的一个非建制地区。

**历史**
布莱克利于1866年设立，1868年设立邮局，其后于1966年停运。此地得名自商人拉塞尔·布莱克利（Russell Blakely）。

**地理**
布莱克利所处的海拔为高于海平面227米（即745英呎），而该地所采用的时区为UTC-6，即北美中部时区（CST）。同时该地设有夏令时间，为UTC-6调快一小时，即UTC-5（CDT）。
海伦娜镇区 (明尼苏达州斯科特县)

海伦娜镇区（Helena Township）是位于美国明尼苏达州斯科特县的一个行政镇区。

**历史**
海伦娜镇区于1866年设立，得名自神话中的海伦（Helen of Troy）。

**地方资料**
海伦娜镇区的面积为16.53平方千米，当中陆地面积为16.23平方千米，而水域面积为0.00平方千米。根据2020年美国人口普查的数据，当地共有人口1795人，而人口密度为每平方千米108.59人。